{
  "6,2": {
    "target": "6,1",
    "phi4_expression": "168*zeta[9]",
    "nonphi4_expression": "168*zeta[9]"
  },
  "7,6": {
    "target": "7,4",
    "phi4_expression": "420*zeta[3]*zeta[7]-200*zeta[5]^2",
    "nonphi4_expression": "420*zeta[3]*zeta[7]-200*zeta[5]^2"
  },
  "7,18": {
    "target": "7,5",
    "phi4_expression": "-189*zeta[3]*zeta[7]+450*zeta[5]^2",
    "nonphi4_expression": "-189*zeta[3]*zeta[7]+450*zeta[5]^2"
  },
  "7,24": {
    "target": "7,2",
    "phi4_expression": "-195379/192*zeta[11]+18*zeta[5,3,3]-1/21*Pi^6*zeta[5]+3/5*Pi^4*zeta[7]+135*Pi^2*zeta[9]+35*zeta[3]^2*zeta[5]",
    "nonphi4_expression": "-195379/192*zeta[11]+18*zeta[5,3,3]-1/21*Pi^6*zeta[5]+3/5*Pi^4*zeta[7]+135*Pi^2*zeta[9]+35*zeta[3]^2*zeta[5]"
  },
  "7,25": {
    "target": "7,1",
    "phi4_expression": "33759/64*zeta[11]",
    "nonphi4_expression": "33759/64*zeta[11]"
  },
  "7,28": {
    "target": "7,3",
    "phi4_expression": "-960211/240*zeta[11]+288/5*zeta[5,3,3]-16/105*Pi^6*zeta[5]+48/25*Pi^4*zeta[7]+432*Pi^2*zeta[9]+20*zeta[3]^2*zeta[5]",
    "nonphi4_expression": "-960211/240*zeta[11]+288/5*zeta[5,3,3]-16/105*Pi^6*zeta[5]+48/25*Pi^4*zeta[7]+432*Pi^2*zeta[9]+20*zeta[3]^2*zeta[5]"
  },
  "7,39": {
    "target": "7,2",
    "phi4_expression": "-195379/192*zeta[11]+18*zeta[5,3,3]-1/21*Pi^6*zeta[5]+3/5*Pi^4*zeta[7]+135*Pi^2*zeta[9]+35*zeta[3]^2*zeta[5]",
    "nonphi4_expression": "-195379/192*zeta[11]+18*zeta[5,3,3]-1/21*Pi^6*zeta[5]+3/5*Pi^4*zeta[7]+135*Pi^2*zeta[9]+35*zeta[3]^2*zeta[5]"
  },
  "7,40": {
    "target": "7,1",
    "phi4_expression": "33759/64*zeta[11]",
    "nonphi4_expression": "33759/64*zeta[11]"
  },
  "8,7": {
    "target": "8,16",
    "phi4_expression": "464/525*Pi^8*zeta[3]-80784/7*zeta[5]^2-6768/7*zeta[7,3]-3670083/5*zeta[11]+48672/5*zeta[5,3,3]-2704/105*Pi^6*zeta[5]+8112/25*Pi^4*zeta[7]+73008*Pi^2*zeta[9]+3600*zeta[3]*zeta[7]+6344/72765*Pi^10-2160*zeta[3]^2*zeta[5]-3456*zeta[3]*zeta[5,3]",
    "nonphi4_expression": "464/525*Pi^8*zeta[3]-80784/7*zeta[5]^2-6768/7*zeta[7,3]-3670083/5*zeta[11]+48672/5*zeta[5,3,3]-2704/105*Pi^6*zeta[5]+8112/25*Pi^4*zeta[7]+73008*Pi^2*zeta[9]+3600*zeta[3]*zeta[7]+6344/72765*Pi^10-2160*zeta[3]^2*zeta[5]-3456*zeta[3]*zeta[5,3]"
  },
  "8,9": {
    "target": "8,32",
    "phi4_expression": "125560*zeta[3]*zeta[9]+192/7*Pi^6*zeta[3]^2-6720*Pi^2*zeta[5]^2-192*Pi^4*zeta[5,3]-76140*zeta[5]*zeta[7]-5760*Pi^2*zeta[7,3]-19200*Pi^2*zeta[3]*zeta[7]+64*Pi^4*zeta[3]*zeta[5]+47040*zeta[9,3]+11520*zeta[6,4,1,1]+344620/1702701*Pi^12-960*zeta[3]^4",
    "nonphi4_expression": "125560*zeta[3]*zeta[9]+192/7*Pi^6*zeta[3]^2-6720*Pi^2*zeta[5]^2-192*Pi^4*zeta[5,3]-76140*zeta[5]*zeta[7]-5760*Pi^2*zeta[7,3]-960*zeta[3]^4+344620/1702701*Pi^12+47040*zeta[9,3]+11520*zeta[6,4,1,1]-19200*Pi^2*zeta[3]*zeta[7]+64*Pi^4*zeta[3]*zeta[5]"
  },
  "8,29": {
    "target": "8,10",
    "phi4_expression": "19011/2*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-3891*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]+113854613/10216206000*Pi^12-63*zeta[3]^4",
    "nonphi4_expression": "19011/2*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-3891*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]-63*zeta[3]^4+113854613/10216206000*Pi^12+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]"
  },
  "8,33": {
    "target": "8,5",
    "phi4_expression": "9573*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-15459/4*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]+113854613/10216206000*Pi^12-63*zeta[3]^4",
    "nonphi4_expression": "9573*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-15459/4*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]-63*zeta[3]^4+113854613/10216206000*Pi^12+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]"
  },
  "8,38": {
    "target": "8,31",
    "phi4_expression": "-793/41580*Pi^10*zeta[3]-1798/2625*Pi^8*zeta[5]+15304/6615*Pi^6*zeta[7]-30017/105*Pi^4*zeta[9]-28094*Pi^2*zeta[11]+423/2*zeta[3]*zeta[7,3]-2861/2*zeta[5]^2*zeta[3]-2686*zeta[5]*zeta[5,3]+1421*zeta[3]^2*zeta[7]-72974/175*zeta[5,5,3]+1748673539/5600*zeta[13]-3826/7*zeta[7,3,3]",
    "nonphi4_expression": "-793/41580*Pi^10*zeta[3]-1798/2625*Pi^8*zeta[5]+15304/6615*Pi^6*zeta[7]-30017/105*Pi^4*zeta[9]-28094*Pi^2*zeta[11]+423/2*zeta[3]*zeta[7,3]-2861/2*zeta[5]^2*zeta[3]-2686*zeta[5]*zeta[5,3]+1421*zeta[3]^2*zeta[7]+1748673539/5600*zeta[13]-3826/7*zeta[7,3,3]-72974/175*zeta[5,5,3]"
  },
  "8,63": {
    "target": "8,12",
    "phi4_expression": "-5802*zeta[3]*zeta[9]-36/35*Pi^6*zeta[3]^2+252*Pi^2*zeta[5]^2+36/5*Pi^4*zeta[5,3]+4641*zeta[5]*zeta[7]+216*Pi^2*zeta[7,3]-1772*zeta[9,3]-432*zeta[6,4,1,1]+720*Pi^2*zeta[3]*zeta[7]-12/5*Pi^4*zeta[3]*zeta[5]-18952411/2554051500*Pi^12+36*zeta[3]^4",
    "nonphi4_expression": "-5802*zeta[3]*zeta[9]-36/35*Pi^6*zeta[3]^2+252*Pi^2*zeta[5]^2+36/5*Pi^4*zeta[5,3]+4641*zeta[5]*zeta[7]+216*Pi^2*zeta[7,3]+36*zeta[3]^4-18952411/2554051500*Pi^12-1772*zeta[9,3]-432*zeta[6,4,1,1]+720*Pi^2*zeta[3]*zeta[7]-12/5*Pi^4*zeta[3]*zeta[5]"
  },
  "8,83": {
    "target": "8,12",
    "phi4_expression": "-5802*zeta[3]*zeta[9]-36/35*Pi^6*zeta[3]^2+252*Pi^2*zeta[5]^2+36/5*Pi^4*zeta[5,3]+4641*zeta[5]*zeta[7]+216*Pi^2*zeta[7,3]-1772*zeta[9,3]-432*zeta[6,4,1,1]+720*Pi^2*zeta[3]*zeta[7]-12/5*Pi^4*zeta[3]*zeta[5]-18952411/2554051500*Pi^12+36*zeta[3]^4",
    "nonphi4_expression": "-5802*zeta[3]*zeta[9]-36/35*Pi^6*zeta[3]^2+252*Pi^2*zeta[5]^2+36/5*Pi^4*zeta[5,3]+4641*zeta[5]*zeta[7]+216*Pi^2*zeta[7,3]+36*zeta[3]^4-18952411/2554051500*Pi^12-1772*zeta[9,3]-432*zeta[6,4,1,1]+720*Pi^2*zeta[3]*zeta[7]-12/5*Pi^4*zeta[3]*zeta[5]"
  },
  "8,127": {
    "target": "8,11",
    "phi4_expression": "-13669/3*zeta[3]*zeta[9]-8/7*Pi^6*zeta[3]^2+280*Pi^2*zeta[5]^2+8*Pi^4*zeta[5,3]+6415/2*zeta[5]*zeta[7]+240*Pi^2*zeta[7,3]-1960*zeta[9,3]-480*zeta[6,4,1,1]+800*Pi^2*zeta[3]*zeta[7]-8/3*Pi^4*zeta[3]*zeta[5]-86155/10216206*Pi^12+28*zeta[3]^4",
    "nonphi4_expression": "-13669/3*zeta[3]*zeta[9]-8/7*Pi^6*zeta[3]^2+280*Pi^2*zeta[5]^2+8*Pi^4*zeta[5,3]+6415/2*zeta[5]*zeta[7]+240*Pi^2*zeta[7,3]+28*zeta[3]^4-86155/10216206*Pi^12-1960*zeta[9,3]-480*zeta[6,4,1,1]+800*Pi^2*zeta[3]*zeta[7]-8/3*Pi^4*zeta[3]*zeta[5]"
  },
  "8,128": {
    "target": "8,11",
    "phi4_expression": "-13669/3*zeta[3]*zeta[9]-8/7*Pi^6*zeta[3]^2+280*Pi^2*zeta[5]^2+8*Pi^4*zeta[5,3]+6415/2*zeta[5]*zeta[7]+240*Pi^2*zeta[7,3]-1960*zeta[9,3]-480*zeta[6,4,1,1]+800*Pi^2*zeta[3]*zeta[7]-8/3*Pi^4*zeta[3]*zeta[5]-86155/10216206*Pi^12+28*zeta[3]^4",
    "nonphi4_expression": "-13669/3*zeta[3]*zeta[9]-8/7*Pi^6*zeta[3]^2+280*Pi^2*zeta[5]^2+8*Pi^4*zeta[5,3]+6415/2*zeta[5]*zeta[7]+240*Pi^2*zeta[7,3]+28*zeta[3]^4-86155/10216206*Pi^12-1960*zeta[9,3]-480*zeta[6,4,1,1]+800*Pi^2*zeta[3]*zeta[7]-8/3*Pi^4*zeta[3]*zeta[5]"
  },
  "8,136": {
    "target": "8,19",
    "phi4_expression": "-15040/3*zeta[3]*zeta[9]-8/7*Pi^6*zeta[3]^2+280*Pi^2*zeta[5]^2+8*Pi^4*zeta[5,3]+3680*zeta[5]*zeta[7]+240*Pi^2*zeta[7,3]-1960*zeta[9,3]-480*zeta[6,4,1,1]+800*Pi^2*zeta[3]*zeta[7]-8/3*Pi^4*zeta[3]*zeta[5]-86155/10216206*Pi^12-44*zeta[3]^4",
    "nonphi4_expression": "-15040/3*zeta[3]*zeta[9]-8/7*Pi^6*zeta[3]^2+280*Pi^2*zeta[5]^2+8*Pi^4*zeta[5,3]+3680*zeta[5]*zeta[7]+240*Pi^2*zeta[7,3]-44*zeta[3]^4-86155/10216206*Pi^12-1960*zeta[9,3]-480*zeta[6,4,1,1]+800*Pi^2*zeta[3]*zeta[7]-8/3*Pi^4*zeta[3]*zeta[5]"
  },
  "8,142": {
    "target": "8,10",
    "phi4_expression": "19011/2*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-3891*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]+113854613/10216206000*Pi^12-63*zeta[3]^4",
    "nonphi4_expression": "19011/2*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-3891*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]-63*zeta[3]^4+113854613/10216206000*Pi^12+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]"
  },
  "8,143": {
    "target": "8,5",
    "phi4_expression": "9573*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-15459/4*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]+113854613/10216206000*Pi^12-63*zeta[3]^4",
    "nonphi4_expression": "9573*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-15459/4*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]-63*zeta[3]^4+113854613/10216206000*Pi^12+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]"
  },
  "8,166": {
    "target": "8,3",
    "phi4_expression": "-13466*zeta[13]+800*zeta[5]^2*zeta[3]+112*zeta[5,5,3]+56/3*Pi^4*zeta[9]+1210*Pi^2*zeta[11]+320*zeta[5]*zeta[5,3]-40*zeta[7,3,3]+32/189*Pi^6*zeta[7]-280*zeta[3]^2*zeta[7]",
    "nonphi4_expression": "-40*zeta[7,3,3]+32/189*Pi^6*zeta[7]+56/3*Pi^4*zeta[9]+1210*Pi^2*zeta[11]+112*zeta[5,5,3]+800*zeta[5]^2*zeta[3]+320*zeta[5]*zeta[5,3]-280*zeta[3]^2*zeta[7]-13466*zeta[13]"
  },
  "8,167": {
    "target": "8,1",
    "phi4_expression": "1716*zeta[13]",
    "nonphi4_expression": "1716*zeta[13]"
  },
  "8,180": {
    "target": "8,4",
    "phi4_expression": "-13/98*Pi^6*zeta[7]+1627/840*Pi^4*zeta[9]+13387/32*Pi^2*zeta[11]+135*zeta[5]^2*zeta[3]+237/5*zeta[5]*zeta[5,3]+9/8*zeta[3]^2*zeta[7]-19689/700*zeta[5,5,3]-76207221/22400*zeta[13]+1755/56*zeta[7,3,3]",
    "nonphi4_expression": "-13/98*Pi^6*zeta[7]+1627/840*Pi^4*zeta[9]+13387/32*Pi^2*zeta[11]+135*zeta[5]^2*zeta[3]+237/5*zeta[5]*zeta[5,3]+9/8*zeta[3]^2*zeta[7]-76207221/22400*zeta[13]+1755/56*zeta[7,3,3]-19689/700*zeta[5,5,3]"
  },
  "8,181": {
    "target": "8,7",
    "phi4_expression": "-9819147/2800*zeta[13]+27054/175*zeta[5,5,3]+453/35*Pi^4*zeta[9]+1089/4*Pi^2*zeta[11]+972/5*zeta[5]*zeta[5,3]-675/7*zeta[7,3,3]+20/49*Pi^6*zeta[7]",
    "nonphi4_expression": "972/5*zeta[5]*zeta[5,3]+27054/175*zeta[5,5,3]+453/35*Pi^4*zeta[9]+1089/4*Pi^2*zeta[11]-9819147/2800*zeta[13]-675/7*zeta[7,3,3]+20/49*Pi^6*zeta[7]"
  },
  "8,185": {
    "target": "8,6",
    "phi4_expression": "-1717423/336*zeta[13]+705/7*zeta[7,3,3]-188/441*Pi^6*zeta[7]-47/21*Pi^4*zeta[9]+2585/4*Pi^2*zeta[11]-846/7*zeta[5,5,3]+183*zeta[3]^2*zeta[7]",
    "nonphi4_expression": "705/7*zeta[7,3,3]-188/441*Pi^6*zeta[7]-47/21*Pi^4*zeta[9]+2585/4*Pi^2*zeta[11]-846/7*zeta[5,5,3]+183*zeta[3]^2*zeta[7]-1717423/336*zeta[13]"
  },
  "8,186": {
    "target": "8,2",
    "phi4_expression": "-17/490*Pi^6*zeta[7]-697/168*Pi^4*zeta[9]-8789/32*Pi^2*zeta[11]-135*zeta[5]^2*zeta[3]-357/5*zeta[5]*zeta[5,3]+1305/8*zeta[3]^2*zeta[7]-16881/700*zeta[5,5,3]+94871691/22400*zeta[13]+459/56*zeta[7,3,3]",
    "nonphi4_expression": "-17/490*Pi^6*zeta[7]-697/168*Pi^4*zeta[9]-8789/32*Pi^2*zeta[11]-135*zeta[5]^2*zeta[3]-357/5*zeta[5]*zeta[5,3]+1305/8*zeta[3]^2*zeta[7]+94871691/22400*zeta[13]+459/56*zeta[7,3,3]-16881/700*zeta[5,5,3]"
  },
  "8,231": {
    "target": "8,3",
    "phi4_expression": "-13466*zeta[13]+800*zeta[5]^2*zeta[3]+112*zeta[5,5,3]+56/3*Pi^4*zeta[9]+1210*Pi^2*zeta[11]+320*zeta[5]*zeta[5,3]-40*zeta[7,3,3]+32/189*Pi^6*zeta[7]-280*zeta[3]^2*zeta[7]",
    "nonphi4_expression": "-40*zeta[7,3,3]+32/189*Pi^6*zeta[7]+56/3*Pi^4*zeta[9]+1210*Pi^2*zeta[11]+112*zeta[5,5,3]+800*zeta[5]^2*zeta[3]+320*zeta[5]*zeta[5,3]-280*zeta[3]^2*zeta[7]-13466*zeta[13]"
  },
  "8,232": {
    "target": "8,1",
    "phi4_expression": "1716*zeta[13]",
    "nonphi4_expression": "1716*zeta[13]"
  },
  "8,233": {
    "target": "8,5",
    "phi4_expression": "9573*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-15459/4*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]+113854613/10216206000*Pi^12-63*zeta[3]^4",
    "nonphi4_expression": "9573*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-15459/4*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]-63*zeta[3]^4+113854613/10216206000*Pi^12+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]"
  },
  "8,234": {
    "target": "8,13",
    "phi4_expression": "271/630*Pi^6*zeta[7]-75/8*Pi^4*zeta[9]-51579/32*Pi^2*zeta[11]-465*zeta[5]^2*zeta[3]-1047/5*zeta[5]*zeta[5,3]+2247/8*zeta[3]^2*zeta[7]+8007/100*zeta[5,5,3]+166607569/9600*zeta[13]-813/8*zeta[7,3,3]",
    "nonphi4_expression": "271/630*Pi^6*zeta[7]-75/8*Pi^4*zeta[9]-51579/32*Pi^2*zeta[11]-465*zeta[5]^2*zeta[3]-1047/5*zeta[5]*zeta[5,3]+2247/8*zeta[3]^2*zeta[7]+166607569/9600*zeta[13]-813/8*zeta[7,3,3]+8007/100*zeta[5,5,3]"
  },
  "8,239": {
    "target": "8,14",
    "phi4_expression": "-179/1470*Pi^6*zeta[7]-505/168*Pi^4*zeta[9]-341/32*Pi^2*zeta[11]+105*zeta[5]^2*zeta[3]-213/5*zeta[5]*zeta[5,3]+153/8*zeta[3]^2*zeta[7]-30129/700*zeta[5,5,3]+74218657/67200*zeta[13]+1611/56*zeta[7,3,3]",
    "nonphi4_expression": "-179/1470*Pi^6*zeta[7]-505/168*Pi^4*zeta[9]-341/32*Pi^2*zeta[11]+105*zeta[5]^2*zeta[3]-213/5*zeta[5]*zeta[5,3]+153/8*zeta[3]^2*zeta[7]+74218657/67200*zeta[13]+1611/56*zeta[7,3,3]-30129/700*zeta[5,5,3]"
  },
  "8,240": {
    "target": "8,2",
    "phi4_expression": "-17/490*Pi^6*zeta[7]-697/168*Pi^4*zeta[9]-8789/32*Pi^2*zeta[11]-135*zeta[5]^2*zeta[3]-357/5*zeta[5]*zeta[5,3]+1305/8*zeta[3]^2*zeta[7]-16881/700*zeta[5,5,3]+94871691/22400*zeta[13]+459/56*zeta[7,3,3]",
    "nonphi4_expression": "-17/490*Pi^6*zeta[7]-697/168*Pi^4*zeta[9]-8789/32*Pi^2*zeta[11]-135*zeta[5]^2*zeta[3]-357/5*zeta[5]*zeta[5,3]+1305/8*zeta[3]^2*zeta[7]+94871691/22400*zeta[13]+459/56*zeta[7,3,3]-16881/700*zeta[5,5,3]"
  },
  "8,241": {
    "target": "8,11",
    "phi4_expression": "-13669/3*zeta[3]*zeta[9]-8/7*Pi^6*zeta[3]^2+280*Pi^2*zeta[5]^2+8*Pi^4*zeta[5,3]+6415/2*zeta[5]*zeta[7]+240*Pi^2*zeta[7,3]-1960*zeta[9,3]-480*zeta[6,4,1,1]+800*Pi^2*zeta[3]*zeta[7]-8/3*Pi^4*zeta[3]*zeta[5]-86155/10216206*Pi^12+28*zeta[3]^4",
    "nonphi4_expression": "-13669/3*zeta[3]*zeta[9]-8/7*Pi^6*zeta[3]^2+280*Pi^2*zeta[5]^2+8*Pi^4*zeta[5,3]+6415/2*zeta[5]*zeta[7]+240*Pi^2*zeta[7,3]+28*zeta[3]^4-86155/10216206*Pi^12-1960*zeta[9,3]-480*zeta[6,4,1,1]+800*Pi^2*zeta[3]*zeta[7]-8/3*Pi^4*zeta[3]*zeta[5]"
  },
  "8,245": {
    "target": "8,4",
    "phi4_expression": "-13/98*Pi^6*zeta[7]+1627/840*Pi^4*zeta[9]+13387/32*Pi^2*zeta[11]+135*zeta[5]^2*zeta[3]+237/5*zeta[5]*zeta[5,3]+9/8*zeta[3]^2*zeta[7]-19689/700*zeta[5,5,3]-76207221/22400*zeta[13]+1755/56*zeta[7,3,3]",
    "nonphi4_expression": "-13/98*Pi^6*zeta[7]+1627/840*Pi^4*zeta[9]+13387/32*Pi^2*zeta[11]+135*zeta[5]^2*zeta[3]+237/5*zeta[5]*zeta[5,3]+9/8*zeta[3]^2*zeta[7]-76207221/22400*zeta[13]+1755/56*zeta[7,3,3]-19689/700*zeta[5,5,3]"
  },
  "8,246": {
    "target": "8,2",
    "phi4_expression": "-17/490*Pi^6*zeta[7]-697/168*Pi^4*zeta[9]-8789/32*Pi^2*zeta[11]-135*zeta[5]^2*zeta[3]-357/5*zeta[5]*zeta[5,3]+1305/8*zeta[3]^2*zeta[7]-16881/700*zeta[5,5,3]+94871691/22400*zeta[13]+459/56*zeta[7,3,3]",
    "nonphi4_expression": "-17/490*Pi^6*zeta[7]-697/168*Pi^4*zeta[9]-8789/32*Pi^2*zeta[11]-135*zeta[5]^2*zeta[3]-357/5*zeta[5]*zeta[5,3]+1305/8*zeta[3]^2*zeta[7]+94871691/22400*zeta[13]+459/56*zeta[7,3,3]-16881/700*zeta[5,5,3]"
  },
  "8,256": {
    "target": "8,6",
    "phi4_expression": "-1717423/336*zeta[13]+705/7*zeta[7,3,3]-188/441*Pi^6*zeta[7]-47/21*Pi^4*zeta[9]+2585/4*Pi^2*zeta[11]-846/7*zeta[5,5,3]+183*zeta[3]^2*zeta[7]",
    "nonphi4_expression": "705/7*zeta[7,3,3]-188/441*Pi^6*zeta[7]-47/21*Pi^4*zeta[9]+2585/4*Pi^2*zeta[11]-846/7*zeta[5,5,3]+183*zeta[3]^2*zeta[7]-1717423/336*zeta[13]"
  },
  "8,261": {
    "target": "8,10",
    "phi4_expression": "19011/2*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-3891*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]+113854613/10216206000*Pi^12-63*zeta[3]^4",
    "nonphi4_expression": "19011/2*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-3891*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]-63*zeta[3]^4+113854613/10216206000*Pi^12+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]"
  },
  "8,264": {
    "target": "8,7",
    "phi4_expression": "-9819147/2800*zeta[13]+27054/175*zeta[5,5,3]+453/35*Pi^4*zeta[9]+1089/4*Pi^2*zeta[11]+972/5*zeta[5]*zeta[5,3]-675/7*zeta[7,3,3]+20/49*Pi^6*zeta[7]",
    "nonphi4_expression": "972/5*zeta[5]*zeta[5,3]+27054/175*zeta[5,5,3]+453/35*Pi^4*zeta[9]+1089/4*Pi^2*zeta[11]-9819147/2800*zeta[13]-675/7*zeta[7,3,3]+20/49*Pi^6*zeta[7]"
  },
  "8,266": {
    "target": "8,4",
    "phi4_expression": "-13/98*Pi^6*zeta[7]+1627/840*Pi^4*zeta[9]+13387/32*Pi^2*zeta[11]+135*zeta[5]^2*zeta[3]+237/5*zeta[5]*zeta[5,3]+9/8*zeta[3]^2*zeta[7]-19689/700*zeta[5,5,3]-76207221/22400*zeta[13]+1755/56*zeta[7,3,3]",
    "nonphi4_expression": "-13/98*Pi^6*zeta[7]+1627/840*Pi^4*zeta[9]+13387/32*Pi^2*zeta[11]+135*zeta[5]^2*zeta[3]+237/5*zeta[5]*zeta[5,3]+9/8*zeta[3]^2*zeta[7]-76207221/22400*zeta[13]+1755/56*zeta[7,3,3]-19689/700*zeta[5,5,3]"
  },
  "8,269": {
    "target": "8,10",
    "phi4_expression": "19011/2*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-3891*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]+113854613/10216206000*Pi^12-63*zeta[3]^4",
    "nonphi4_expression": "19011/2*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-3891*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]-63*zeta[3]^4+113854613/10216206000*Pi^12+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]"
  },
  "8,270": {
    "target": "8,5",
    "phi4_expression": "9573*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-15459/4*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]+113854613/10216206000*Pi^12-63*zeta[3]^4",
    "nonphi4_expression": "9573*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-15459/4*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]-63*zeta[3]^4+113854613/10216206000*Pi^12+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]"
  },
  "8,281": {
    "target": "8,11",
    "phi4_expression": "-13669/3*zeta[3]*zeta[9]-8/7*Pi^6*zeta[3]^2+280*Pi^2*zeta[5]^2+8*Pi^4*zeta[5,3]+6415/2*zeta[5]*zeta[7]+240*Pi^2*zeta[7,3]-1960*zeta[9,3]-480*zeta[6,4,1,1]+800*Pi^2*zeta[3]*zeta[7]-8/3*Pi^4*zeta[3]*zeta[5]-86155/10216206*Pi^12+28*zeta[3]^4",
    "nonphi4_expression": "-13669/3*zeta[3]*zeta[9]-8/7*Pi^6*zeta[3]^2+280*Pi^2*zeta[5]^2+8*Pi^4*zeta[5,3]+6415/2*zeta[5]*zeta[7]+240*Pi^2*zeta[7,3]+28*zeta[3]^4-86155/10216206*Pi^12-1960*zeta[9,3]-480*zeta[6,4,1,1]+800*Pi^2*zeta[3]*zeta[7]-8/3*Pi^4*zeta[3]*zeta[5]"
  },
  "8,282": {
    "target": "8,4",
    "phi4_expression": "-13/98*Pi^6*zeta[7]+1627/840*Pi^4*zeta[9]+13387/32*Pi^2*zeta[11]+135*zeta[5]^2*zeta[3]+237/5*zeta[5]*zeta[5,3]+9/8*zeta[3]^2*zeta[7]-19689/700*zeta[5,5,3]-76207221/22400*zeta[13]+1755/56*zeta[7,3,3]",
    "nonphi4_expression": "-13/98*Pi^6*zeta[7]+1627/840*Pi^4*zeta[9]+13387/32*Pi^2*zeta[11]+135*zeta[5]^2*zeta[3]+237/5*zeta[5]*zeta[5,3]+9/8*zeta[3]^2*zeta[7]-76207221/22400*zeta[13]+1755/56*zeta[7,3,3]-19689/700*zeta[5,5,3]"
  },
  "8,283": {
    "target": "8,14",
    "phi4_expression": "-179/1470*Pi^6*zeta[7]-505/168*Pi^4*zeta[9]-341/32*Pi^2*zeta[11]+105*zeta[5]^2*zeta[3]-213/5*zeta[5]*zeta[5,3]+153/8*zeta[3]^2*zeta[7]-30129/700*zeta[5,5,3]+74218657/67200*zeta[13]+1611/56*zeta[7,3,3]",
    "nonphi4_expression": "-179/1470*Pi^6*zeta[7]-505/168*Pi^4*zeta[9]-341/32*Pi^2*zeta[11]+105*zeta[5]^2*zeta[3]-213/5*zeta[5]*zeta[5,3]+153/8*zeta[3]^2*zeta[7]+74218657/67200*zeta[13]+1611/56*zeta[7,3,3]-30129/700*zeta[5,5,3]"
  },
  "8,296": {
    "target": "8,6",
    "phi4_expression": "-1717423/336*zeta[13]+705/7*zeta[7,3,3]-188/441*Pi^6*zeta[7]-47/21*Pi^4*zeta[9]+2585/4*Pi^2*zeta[11]-846/7*zeta[5,5,3]+183*zeta[3]^2*zeta[7]",
    "nonphi4_expression": "705/7*zeta[7,3,3]-188/441*Pi^6*zeta[7]-47/21*Pi^4*zeta[9]+2585/4*Pi^2*zeta[11]-846/7*zeta[5,5,3]+183*zeta[3]^2*zeta[7]-1717423/336*zeta[13]"
  },
  "8,297": {
    "target": "8,2",
    "phi4_expression": "-17/490*Pi^6*zeta[7]-697/168*Pi^4*zeta[9]-8789/32*Pi^2*zeta[11]-135*zeta[5]^2*zeta[3]-357/5*zeta[5]*zeta[5,3]+1305/8*zeta[3]^2*zeta[7]-16881/700*zeta[5,5,3]+94871691/22400*zeta[13]+459/56*zeta[7,3,3]",
    "nonphi4_expression": "-17/490*Pi^6*zeta[7]-697/168*Pi^4*zeta[9]-8789/32*Pi^2*zeta[11]-135*zeta[5]^2*zeta[3]-357/5*zeta[5]*zeta[5,3]+1305/8*zeta[3]^2*zeta[7]+94871691/22400*zeta[13]+459/56*zeta[7,3,3]-16881/700*zeta[5,5,3]"
  },
  "8,304": {
    "target": "8,5",
    "phi4_expression": "9573*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-15459/4*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]+113854613/10216206000*Pi^12-63*zeta[3]^4",
    "nonphi4_expression": "9573*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-15459/4*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]-63*zeta[3]^4+113854613/10216206000*Pi^12+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]"
  },
  "8,311": {
    "target": "8,16",
    "phi4_expression": "464/525*Pi^8*zeta[3]-80784/7*zeta[5]^2-6768/7*zeta[7,3]-3670083/5*zeta[11]+48672/5*zeta[5,3,3]-2704/105*Pi^6*zeta[5]+8112/25*Pi^4*zeta[7]+73008*Pi^2*zeta[9]+3600*zeta[3]*zeta[7]+6344/72765*Pi^10-2160*zeta[3]^2*zeta[5]-3456*zeta[3]*zeta[5,3]",
    "nonphi4_expression": "464/525*Pi^8*zeta[3]-80784/7*zeta[5]^2-6768/7*zeta[7,3]-3670083/5*zeta[11]+48672/5*zeta[5,3,3]-2704/105*Pi^6*zeta[5]+8112/25*Pi^4*zeta[7]+73008*Pi^2*zeta[9]+3600*zeta[3]*zeta[7]+6344/72765*Pi^10-2160*zeta[3]^2*zeta[5]-3456*zeta[3]*zeta[5,3]"
  },
  "8,319": {
    "target": "8,3",
    "phi4_expression": "-13466*zeta[13]+800*zeta[5]^2*zeta[3]+112*zeta[5,5,3]+56/3*Pi^4*zeta[9]+1210*Pi^2*zeta[11]+320*zeta[5]*zeta[5,3]-40*zeta[7,3,3]+32/189*Pi^6*zeta[7]-280*zeta[3]^2*zeta[7]",
    "nonphi4_expression": "-40*zeta[7,3,3]+32/189*Pi^6*zeta[7]+56/3*Pi^4*zeta[9]+1210*Pi^2*zeta[11]+112*zeta[5,5,3]+800*zeta[5]^2*zeta[3]+320*zeta[5]*zeta[5,3]-280*zeta[3]^2*zeta[7]-13466*zeta[13]"
  },
  "8,376": {
    "target": "8,13",
    "phi4_expression": "271/630*Pi^6*zeta[7]-75/8*Pi^4*zeta[9]-51579/32*Pi^2*zeta[11]-465*zeta[5]^2*zeta[3]-1047/5*zeta[5]*zeta[5,3]+2247/8*zeta[3]^2*zeta[7]+8007/100*zeta[5,5,3]+166607569/9600*zeta[13]-813/8*zeta[7,3,3]",
    "nonphi4_expression": "271/630*Pi^6*zeta[7]-75/8*Pi^4*zeta[9]-51579/32*Pi^2*zeta[11]-465*zeta[5]^2*zeta[3]-1047/5*zeta[5]*zeta[5,3]+2247/8*zeta[3]^2*zeta[7]+166607569/9600*zeta[13]-813/8*zeta[7,3,3]+8007/100*zeta[5,5,3]"
  },
  "8,402": {
    "target": "8,13",
    "phi4_expression": "271/630*Pi^6*zeta[7]-75/8*Pi^4*zeta[9]-51579/32*Pi^2*zeta[11]-465*zeta[5]^2*zeta[3]-1047/5*zeta[5]*zeta[5,3]+2247/8*zeta[3]^2*zeta[7]+8007/100*zeta[5,5,3]+166607569/9600*zeta[13]-813/8*zeta[7,3,3]",
    "nonphi4_expression": "271/630*Pi^6*zeta[7]-75/8*Pi^4*zeta[9]-51579/32*Pi^2*zeta[11]-465*zeta[5]^2*zeta[3]-1047/5*zeta[5]*zeta[5,3]+2247/8*zeta[3]^2*zeta[7]+166607569/9600*zeta[13]-813/8*zeta[7,3,3]+8007/100*zeta[5,5,3]"
  },
  "8,409": {
    "target": "8,18",
    "phi4_expression": "727*zeta[3]*zeta[9]-735/2*zeta[5]*zeta[7]+72*zeta[3]^4",
    "nonphi4_expression": "727*zeta[3]*zeta[9]-735/2*zeta[5]*zeta[7]+72*zeta[3]^4"
  },
  "8,443": {
    "target": "8,20",
    "phi4_expression": "793/291060*Pi^10*zeta[3]-58/2625*Pi^8*zeta[5]+2623/2940*Pi^6*zeta[7]+17501/1680*Pi^4*zeta[9]-56287/64*Pi^2*zeta[11]-423/14*zeta[3]*zeta[7,3]+4563/7*zeta[5]^2*zeta[3]+948/5*zeta[5]*zeta[5,3]-4977/16*zeta[3]^2*zeta[7]+383001/1400*zeta[5,5,3]+311697839/44800*zeta[13]-23607/112*zeta[7,3,3]",
    "nonphi4_expression": "793/291060*Pi^10*zeta[3]-58/2625*Pi^8*zeta[5]+2623/2940*Pi^6*zeta[7]+17501/1680*Pi^4*zeta[9]-56287/64*Pi^2*zeta[11]-423/14*zeta[3]*zeta[7,3]+4563/7*zeta[5]^2*zeta[3]+948/5*zeta[5]*zeta[5,3]-4977/16*zeta[3]^2*zeta[7]+311697839/44800*zeta[13]-23607/112*zeta[7,3,3]+383001/1400*zeta[5,5,3]"
  },
  "8,446": {
    "target": "8,14",
    "phi4_expression": "-179/1470*Pi^6*zeta[7]-505/168*Pi^4*zeta[9]-341/32*Pi^2*zeta[11]+105*zeta[5]^2*zeta[3]-213/5*zeta[5]*zeta[5,3]+153/8*zeta[3]^2*zeta[7]-30129/700*zeta[5,5,3]+74218657/67200*zeta[13]+1611/56*zeta[7,3,3]",
    "nonphi4_expression": "-179/1470*Pi^6*zeta[7]-505/168*Pi^4*zeta[9]-341/32*Pi^2*zeta[11]+105*zeta[5]^2*zeta[3]-213/5*zeta[5]*zeta[5,3]+153/8*zeta[3]^2*zeta[7]+74218657/67200*zeta[13]+1611/56*zeta[7,3,3]-30129/700*zeta[5,5,3]"
  },
  "8,449": {
    "target": "8,5",
    "phi4_expression": "9573*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-15459/4*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]+113854613/10216206000*Pi^12-63*zeta[3]^4",
    "nonphi4_expression": "9573*zeta[3]*zeta[9]+9/5*Pi^6*zeta[3]^2-441*Pi^2*zeta[5]^2-63/5*Pi^4*zeta[5,3]-15459/4*zeta[5]*zeta[7]-378*Pi^2*zeta[7,3]-63*zeta[3]^4+113854613/10216206000*Pi^12+3193*zeta[9,3]+756*zeta[6,4,1,1]-1260*Pi^2*zeta[3]*zeta[7]+21/5*Pi^4*zeta[3]*zeta[5]"
  },
  "8,451": {
    "target": "8,29",
    "phi4_expression": "-16987/52920*Pi^6*zeta[7]-22957/3360*Pi^4*zeta[9]+7931/128*Pi^2*zeta[11]-2275/4*zeta[5]^2*zeta[3]-1853/20*zeta[5]*zeta[5,3]+10129/32*zeta[3]^2*zeta[7]-306689/2800*zeta[5,5,3]+107241779/89600*zeta[13]+16987/224*zeta[7,3,3]",
    "nonphi4_expression": "-16987/52920*Pi^6*zeta[7]-22957/3360*Pi^4*zeta[9]+7931/128*Pi^2*zeta[11]-2275/4*zeta[5]^2*zeta[3]-1853/20*zeta[5]*zeta[5,3]+10129/32*zeta[3]^2*zeta[7]+107241779/89600*zeta[13]+16987/224*zeta[7,3,3]-306689/2800*zeta[5,5,3]"
  },
  "8,455": {
    "target": "8,12",
    "phi4_expression": "-5802*zeta[3]*zeta[9]-36/35*Pi^6*zeta[3]^2+252*Pi^2*zeta[5]^2+36/5*Pi^4*zeta[5,3]+4641*zeta[5]*zeta[7]+216*Pi^2*zeta[7,3]-1772*zeta[9,3]-432*zeta[6,4,1,1]+720*Pi^2*zeta[3]*zeta[7]-12/5*Pi^4*zeta[3]*zeta[5]-18952411/2554051500*Pi^12+36*zeta[3]^4",
    "nonphi4_expression": "-5802*zeta[3]*zeta[9]-36/35*Pi^6*zeta[3]^2+252*Pi^2*zeta[5]^2+36/5*Pi^4*zeta[5,3]+4641*zeta[5]*zeta[7]+216*Pi^2*zeta[7,3]+36*zeta[3]^4-18952411/2554051500*Pi^12-1772*zeta[9,3]-432*zeta[6,4,1,1]+720*Pi^2*zeta[3]*zeta[7]-12/5*Pi^4*zeta[3]*zeta[5]"
  },
  "8,467": {
    "target": "8,2",
    "phi4_expression": "-17/490*Pi^6*zeta[7]-697/168*Pi^4*zeta[9]-8789/32*Pi^2*zeta[11]-135*zeta[5]^2*zeta[3]-357/5*zeta[5]*zeta[5,3]+1305/8*zeta[3]^2*zeta[7]-16881/700*zeta[5,5,3]+94871691/22400*zeta[13]+459/56*zeta[7,3,3]",
    "nonphi4_expression": "-17/490*Pi^6*zeta[7]-697/168*Pi^4*zeta[9]-8789/32*Pi^2*zeta[11]-135*zeta[5]^2*zeta[3]-357/5*zeta[5]*zeta[5,3]+1305/8*zeta[3]^2*zeta[7]+94871691/22400*zeta[13]+459/56*zeta[7,3,3]-16881/700*zeta[5,5,3]"
  },
  "8,468": {
    "target": "8,6",
    "phi4_expression": "-1717423/336*zeta[13]+705/7*zeta[7,3,3]-188/441*Pi^6*zeta[7]-47/21*Pi^4*zeta[9]+2585/4*Pi^2*zeta[11]-846/7*zeta[5,5,3]+183*zeta[3]^2*zeta[7]",
    "nonphi4_expression": "705/7*zeta[7,3,3]-188/441*Pi^6*zeta[7]-47/21*Pi^4*zeta[9]+2585/4*Pi^2*zeta[11]-846/7*zeta[5,5,3]+183*zeta[3]^2*zeta[7]-1717423/336*zeta[13]"
  },
  "8,476": {
    "target": "8,7",
    "phi4_expression": "-9819147/2800*zeta[13]+27054/175*zeta[5,5,3]+453/35*Pi^4*zeta[9]+1089/4*Pi^2*zeta[11]+972/5*zeta[5]*zeta[5,3]-675/7*zeta[7,3,3]+20/49*Pi^6*zeta[7]",
    "nonphi4_expression": "972/5*zeta[5]*zeta[5,3]+27054/175*zeta[5,5,3]+453/35*Pi^4*zeta[9]+1089/4*Pi^2*zeta[11]-9819147/2800*zeta[13]-675/7*zeta[7,3,3]+20/49*Pi^6*zeta[7]"
  },
  "8,477": {
    "target": "8,4",
    "phi4_expression": "-13/98*Pi^6*zeta[7]+1627/840*Pi^4*zeta[9]+13387/32*Pi^2*zeta[11]+135*zeta[5]^2*zeta[3]+237/5*zeta[5]*zeta[5,3]+9/8*zeta[3]^2*zeta[7]-19689/700*zeta[5,5,3]-76207221/22400*zeta[13]+1755/56*zeta[7,3,3]",
    "nonphi4_expression": "-13/98*Pi^6*zeta[7]+1627/840*Pi^4*zeta[9]+13387/32*Pi^2*zeta[11]+135*zeta[5]^2*zeta[3]+237/5*zeta[5]*zeta[5,3]+9/8*zeta[3]^2*zeta[7]-76207221/22400*zeta[13]+1755/56*zeta[7,3,3]-19689/700*zeta[5,5,3]"
  },
  "8,480": {
    "target": "8,3",
    "phi4_expression": "-13466*zeta[13]+800*zeta[5]^2*zeta[3]+112*zeta[5,5,3]+56/3*Pi^4*zeta[9]+1210*Pi^2*zeta[11]+320*zeta[5]*zeta[5,3]-40*zeta[7,3,3]+32/189*Pi^6*zeta[7]-280*zeta[3]^2*zeta[7]",
    "nonphi4_expression": "-40*zeta[7,3,3]+32/189*Pi^6*zeta[7]+56/3*Pi^4*zeta[9]+1210*Pi^2*zeta[11]+112*zeta[5,5,3]+800*zeta[5]^2*zeta[3]+320*zeta[5]*zeta[5,3]-280*zeta[3]^2*zeta[7]-13466*zeta[13]"
  },
  "8,481": {
    "target": "8,1",
    "phi4_expression": "1716*zeta[13]",
    "nonphi4_expression": "1716*zeta[13]"
  },
  "8,492": {
    "target": "8,4",
    "phi4_expression": "-13/98*Pi^6*zeta[7]+1627/840*Pi^4*zeta[9]+13387/32*Pi^2*zeta[11]+135*zeta[5]^2*zeta[3]+237/5*zeta[5]*zeta[5,3]+9/8*zeta[3]^2*zeta[7]-19689/700*zeta[5,5,3]-76207221/22400*zeta[13]+1755/56*zeta[7,3,3]",
    "nonphi4_expression": "-13/98*Pi^6*zeta[7]+1627/840*Pi^4*zeta[9]+13387/32*Pi^2*zeta[11]+135*zeta[5]^2*zeta[3]+237/5*zeta[5]*zeta[5,3]+9/8*zeta[3]^2*zeta[7]-76207221/22400*zeta[13]+1755/56*zeta[7,3,3]-19689/700*zeta[5,5,3]"
  },
  "8,494": {
    "target": "8,2",
    "phi4_expression": "-17/490*Pi^6*zeta[7]-697/168*Pi^4*zeta[9]-8789/32*Pi^2*zeta[11]-135*zeta[5]^2*zeta[3]-357/5*zeta[5]*zeta[5,3]+1305/8*zeta[3]^2*zeta[7]-16881/700*zeta[5,5,3]+94871691/22400*zeta[13]+459/56*zeta[7,3,3]",
    "nonphi4_expression": "-17/490*Pi^6*zeta[7]-697/168*Pi^4*zeta[9]-8789/32*Pi^2*zeta[11]-135*zeta[5]^2*zeta[3]-357/5*zeta[5]*zeta[5,3]+1305/8*zeta[3]^2*zeta[7]+94871691/22400*zeta[13]+459/56*zeta[7,3,3]-16881/700*zeta[5,5,3]"
  },
  "8,532": {
    "target": "8,6",
    "phi4_expression": "-1717423/336*zeta[13]+705/7*zeta[7,3,3]-188/441*Pi^6*zeta[7]-47/21*Pi^4*zeta[9]+2585/4*Pi^2*zeta[11]-846/7*zeta[5,5,3]+183*zeta[3]^2*zeta[7]",
    "nonphi4_expression": "705/7*zeta[7,3,3]-188/441*Pi^6*zeta[7]-47/21*Pi^4*zeta[9]+2585/4*Pi^2*zeta[11]-846/7*zeta[5,5,3]+183*zeta[3]^2*zeta[7]-1717423/336*zeta[13]"
  },
  "8,533": {
    "target": "8,2",
    "phi4_expression": "-17/490*Pi^6*zeta[7]-697/168*Pi^4*zeta[9]-8789/32*Pi^2*zeta[11]-135*zeta[5]^2*zeta[3]-357/5*zeta[5]*zeta[5,3]+1305/8*zeta[3]^2*zeta[7]-16881/700*zeta[5,5,3]+94871691/22400*zeta[13]+459/56*zeta[7,3,3]",
    "nonphi4_expression": "-17/490*Pi^6*zeta[7]-697/168*Pi^4*zeta[9]-8789/32*Pi^2*zeta[11]-135*zeta[5]^2*zeta[3]-357/5*zeta[5]*zeta[5,3]+1305/8*zeta[3]^2*zeta[7]+94871691/22400*zeta[13]+459/56*zeta[7,3,3]-16881/700*zeta[5,5,3]"
  },
  "8,534": {
    "target": "8,1",
    "phi4_expression": "1716*zeta[13]",
    "nonphi4_expression": "1716*zeta[13]"
  },
  "8,544": {
    "target": "8,4",
    "phi4_expression": "-13/98*Pi^6*zeta[7]+1627/840*Pi^4*zeta[9]+13387/32*Pi^2*zeta[11]+135*zeta[5]^2*zeta[3]+237/5*zeta[5]*zeta[5,3]+9/8*zeta[3]^2*zeta[7]-19689/700*zeta[5,5,3]-76207221/22400*zeta[13]+1755/56*zeta[7,3,3]",
    "nonphi4_expression": "-13/98*Pi^6*zeta[7]+1627/840*Pi^4*zeta[9]+13387/32*Pi^2*zeta[11]+135*zeta[5]^2*zeta[3]+237/5*zeta[5]*zeta[5,3]+9/8*zeta[3]^2*zeta[7]-76207221/22400*zeta[13]+1755/56*zeta[7,3,3]-19689/700*zeta[5,5,3]"
  },
  "8,574": {
    "target": "8,3",
    "phi4_expression": "-13466*zeta[13]+800*zeta[5]^2*zeta[3]+112*zeta[5,5,3]+56/3*Pi^4*zeta[9]+1210*Pi^2*zeta[11]+320*zeta[5]*zeta[5,3]-40*zeta[7,3,3]+32/189*Pi^6*zeta[7]-280*zeta[3]^2*zeta[7]",
    "nonphi4_expression": "-40*zeta[7,3,3]+32/189*Pi^6*zeta[7]+56/3*Pi^4*zeta[9]+1210*Pi^2*zeta[11]+112*zeta[5,5,3]+800*zeta[5]^2*zeta[3]+320*zeta[5]*zeta[5,3]-280*zeta[3]^2*zeta[7]-13466*zeta[13]"
  },
  "8,575": {
    "target": "8,1",
    "phi4_expression": "1716*zeta[13]",
    "nonphi4_expression": "1716*zeta[13]"
  }
}