experiments/e8_theta_decomp.json

{
  "1": {
    "('(48+16*sqrt5)', '(48+-16*sqrt5)')": 24,
    "('(36+16*sqrt5)', '(36+-16*sqrt5)')": 24,
    "('20', '20')": 24,
    "('(28+8*sqrt5)', '(28+-8*sqrt5)')": 144,
    "('8', '8')": 24
  },
  "2": {
    "('(96+32*sqrt5)', '(96+-32*sqrt5)')": 24,
    "('(84+32*sqrt5)', '(84+-32*sqrt5)')": 288,
    "('(68+16*sqrt5)', '(68+-16*sqrt5)')": 288,
    "('(76+24*sqrt5)', '(76+-24*sqrt5)')": 192,
    "('16', '16')": 24,
    "('(72+32*sqrt5)', '(72+-32*sqrt5)')": 24,
    "('(56+16*sqrt5)', '(56+-16*sqrt5)')": 144,
    "('40', '40')": 24,
    "('(64+24*sqrt5)', '(64+-24*sqrt5)')": 192,
    "('(48+8*sqrt5)', '(48+-8*sqrt5)')": 192,
    "('(44+16*sqrt5)', '(44+-16*sqrt5)')": 288,
    "('28', '28')": 288,
    "('(36+8*sqrt5)', '(36+-8*sqrt5)')": 192
  },
  "3": {
    "('(144+48*sqrt5)', '(144+-48*sqrt5)')": 96,
    "('(140+56*sqrt5)', '(140+-56*sqrt5)')": 144,
    "('(108+24*sqrt5)', '(108+-24*sqrt5)')": 144,
    "('(132+48*sqrt5)', '(132+-48*sqrt5)')": 144,
    "('(116+32*sqrt5)', '(116+-32*sqrt5)')": 144,
    "('(124+40*sqrt5)', '(124+-40*sqrt5)')": 576,
    "('(80+32*sqrt5)', '(80+-32*sqrt5)')": 144,
    "('48', '48')": 144,
    "('(64+16*sqrt5)', '(64+-16*sqrt5)')": 288,
    "('(120+48*sqrt5)', '(120+-48*sqrt5)')": 144,
    "('(88+16*sqrt5)', '(88+-16*sqrt5)')": 144,
    "('(104+32*sqrt5)', '(104+-32*sqrt5)')": 288,
    "('(60+24*sqrt5)', '(60+-24*sqrt5)')": 144,
    "('(28+-8*sqrt5)', '(28+8*sqrt5)')": 144,
    "('(52+16*sqrt5)', '(52+-16*sqrt5)')": 144,
    "('36', '36')": 144,
    "('(44+8*sqrt5)', '(44+-8*sqrt5)')": 576,
    "('(108+48*sqrt5)', '(108+-48*sqrt5)')": 96,
    "('(92+32*sqrt5)', '(92+-32*sqrt5)')": 288,
    "('(76+16*sqrt5)', '(76+-16*sqrt5)')": 288,
    "('60', '60')": 96,
    "('(100+40*sqrt5)', '(100+-40*sqrt5)')": 576,
    "('(84+24*sqrt5)', '(84+-24*sqrt5)')": 1152,
    "('(68+8*sqrt5)', '(68+-8*sqrt5)')": 576,
    "('24', '24')": 96
  },
  "4": {
    "('(192+64*sqrt5)', '(192+-64*sqrt5)')": 24,
    "('(188+72*sqrt5)', '(188+-72*sqrt5)')": 192,
    "('(156+40*sqrt5)', '(156+-40*sqrt5)')": 192,
    "('(180+64*sqrt5)', '(180+-64*sqrt5)')": 576,
    "('(164+48*sqrt5)', '(164+-48*sqrt5)')": 576,
    "('(144+64*sqrt5)', '(144+-64*sqrt5)')": 24,
    "('80', '80')": 24,
    "('(112+32*sqrt5)', '(112+-32*sqrt5)')": 144,
    "('(128+48*sqrt5)', '(128+-48*sqrt5)')": 192,
    "('(96+16*sqrt5)', '(96+-16*sqrt5)')": 192,
    "('(176+72*sqrt5)', '(176+-72*sqrt5)')": 192,
    "('(144+40*sqrt5)', '(144+-40*sqrt5)')": 576,
    "('(160+56*sqrt5)', '(160+-56*sqrt5)')": 576,
    "('(128+24*sqrt5)', '(128+-24*sqrt5)')": 192,
    "('(168+64*sqrt5)', '(168+-64*sqrt5)')": 288,
    "('(152+48*sqrt5)', '(152+-48*sqrt5)')": 192,
    "('(136+32*sqrt5)', '(136+-32*sqrt5)')": 288,
    "('(116+48*sqrt5)', '(116+-48*sqrt5)')": 576,
    "('(84+16*sqrt5)', '(84+-16*sqrt5)')": 1152,
    "('(100+32*sqrt5)', '(100+-32*sqrt5)')": 1152,
    "('68', '68')": 576,
    "('(108+40*sqrt5)', '(108+-40*sqrt5)')": 576,
    "('(76+8*sqrt5)', '(76+-8*sqrt5)')": 576,
    "('32', '32')": 24,
    "('(156+64*sqrt5)', '(156+-64*sqrt5)')": 576,
    "('(124+32*sqrt5)', '(124+-32*sqrt5)')": 1152,
    "('(140+48*sqrt5)', '(140+-48*sqrt5)')": 1152,
    "('(108+16*sqrt5)', '(108+-16*sqrt5)')": 576,
    "('(148+56*sqrt5)', '(148+-56*sqrt5)')": 576,
    "('(116+24*sqrt5)', '(116+-24*sqrt5)')": 576,
    "('(96+40*sqrt5)', '(96+-40*sqrt5)')": 192,
    "('(64+8*sqrt5)', '(64+-8*sqrt5)')": 576,
    "('(80+24*sqrt5)', '(80+-24*sqrt5)')": 576,
    "('(48+-8*sqrt5)', '(48+8*sqrt5)')": 192,
    "('(88+32*sqrt5)', '(88+-32*sqrt5)')": 288,
    "('(72+16*sqrt5)', '(72+-16*sqrt5)')": 192,
    "('56', '56')": 288,
    "('(68+24*sqrt5)', '(68+-24*sqrt5)')": 192,
    "('(36+-8*sqrt5)', '(36+8*sqrt5)')": 192,
    "('(60+16*sqrt5)', '(60+-16*sqrt5)')": 576,
    "('44', '44')": 576
  },
  "5": {
    "('(240+80*sqrt5)', '(240+-80*sqrt5)')": 144,
    "('(244+96*sqrt5)', '(244+-96*sqrt5)')": 24,
    "('(196+48*sqrt5)', '(196+-48*sqrt5)')": 24,
    "('(220+72*sqrt5)', '(220+-72*sqrt5)')": 720,
    "('(236+88*sqrt5)', '(236+-88*sqrt5)')": 576,
    "('(204+56*sqrt5)', '(204+-56*sqrt5)')": 576,
    "('(228+80*sqrt5)', '(228+-80*sqrt5)')": 288,
    "('(212+64*sqrt5)', '(212+-64*sqrt5)')": 288,
    "('(192+80*sqrt5)', '(192+-80*sqrt5)')": 288,
    "('(128+16*sqrt5)', '(128+-16*sqrt5)')": 288,
    "('(176+64*sqrt5)', '(176+-64*sqrt5)')": 576,
    "('(144+32*sqrt5)', '(144+-32*sqrt5)')": 576,
    "('(160+48*sqrt5)', '(160+-48*sqrt5)')": 576,
    "('(84+32*sqrt5)', '(84+-32*sqrt5)')": 24,
    "('(36+-16*sqrt5)', '(36+16*sqrt5)')": 24,
    "('(60+8*sqrt5)', '(60+-8*sqrt5)')": 720,
    "('(232+96*sqrt5)', '(232+-96*sqrt5)')": 24,
    "('(200+64*sqrt5)', '(200+-64*sqrt5)')": 144,
    "('(168+32*sqrt5)', '(168+-32*sqrt5)')": 24,
    "('(216+80*sqrt5)', '(216+-80*sqrt5)')": 192,
    "('(184+48*sqrt5)', '(184+-48*sqrt5)')": 192,
    "('(180+80*sqrt5)', '(180+-80*sqrt5)')": 144,
    "('(116+16*sqrt5)', '(116+-16*sqrt5)')": 144,
    "('(164+64*sqrt5)', '(164+-64*sqrt5)')": 144,
    "('100', '100')": 144,
    "('(172+72*sqrt5)', '(172+-72*sqrt5)')": 720,
    "('(140+40*sqrt5)', '(140+-40*sqrt5)')": 1440,
    "('(108+8*sqrt5)', '(108+-8*sqrt5)')": 720,
    "('(156+56*sqrt5)', '(156+-56*sqrt5)')": 1152,
    "('(124+24*sqrt5)', '(124+-24*sqrt5)')": 1152,
    "('(148+48*sqrt5)', '(148+-48*sqrt5)')": 576,
    "('(132+32*sqrt5)', '(132+-32*sqrt5)')": 576,
    "('40', '40')": 144,
    "('(112+48*sqrt5)', '(112+-48*sqrt5)')": 24,
    "('(80+16*sqrt5)', '(80+-16*sqrt5)')": 144,
    "('(48+-16*sqrt5)', '(48+16*sqrt5)')": 24,
    "('(96+32*sqrt5)', '(96+-32*sqrt5)')": 192,
    "('64', '64')": 192,
    "('(212+88*sqrt5)', '(212+-88*sqrt5)')": 576,
    "('(180+56*sqrt5)', '(180+-56*sqrt5)')": 1152,
    "('(196+72*sqrt5)', '(196+-72*sqrt5)')": 1152,
    "('(164+40*sqrt5)', '(164+-40*sqrt5)')": 1152,
    "('(148+24*sqrt5)', '(148+-24*sqrt5)')": 576,
    "('(204+80*sqrt5)', '(204+-80*sqrt5)')": 192,
    "('(188+64*sqrt5)', '(188+-64*sqrt5)')": 576,
    "('(172+48*sqrt5)', '(172+-48*sqrt5)')": 576,
    "('(156+32*sqrt5)', '(156+-32*sqrt5)')": 192,
    "('(152+64*sqrt5)', '(152+-64*sqrt5)')": 288,
    "('88', '88')": 288,
    "('(136+48*sqrt5)', '(136+-48*sqrt5)')": 576,
    "('(104+16*sqrt5)', '(104+-16*sqrt5)')": 576,
    "('(120+32*sqrt5)', '(120+-32*sqrt5)')": 576,
    "('(76+24*sqrt5)', '(76+-24*sqrt5)')": 576,
    "('(44+-8*sqrt5)', '(44+8*sqrt5)')": 576,
    "('(68+16*sqrt5)', '(68+-16*sqrt5)')": 288,
    "('52', '52')": 288,
    "('(132+56*sqrt5)', '(132+-56*sqrt5)')": 576,
    "('(100+24*sqrt5)', '(100+-24*sqrt5)')": 1152,
    "('(116+40*sqrt5)', '(116+-40*sqrt5)')": 1152,
    "('(84+8*sqrt5)', '(84+-8*sqrt5)')": 1152,
    "('(68+-8*sqrt5)', '(68+8*sqrt5)')": 576,
    "('(124+48*sqrt5)', '(124+-48*sqrt5)')": 192,
    "('(108+32*sqrt5)', '(108+-32*sqrt5)')": 576,
    "('(92+16*sqrt5)', '(92+-16*sqrt5)')": 576,
    "('76', '76')": 192
  }
}