The consistency condition for the propagator !

S 11 S 12
S=
S 12 S 22
in the GN model is as follows: Let
q1 = z1 2 − 2 z1 − 5 z2 + 1,
q2 = 5 z1 2 − 10 z1 − z2 + 5,
q3 = 23 z1 4 − 32 z1 3 − 58 z1 2 z2 − 2 z1 2 + 56 z1 z2 + 3 z2 2 + 8 z1 − 6 z2 + 3

Then we have
p11,1 p11,2 p11,3 p12,1 p12,2 p12,3
!
e 1 )(C1 )−1 − (Γ2 − K
e 2 )(C2 )−1 = q1 + q2 + q3 q1 + q2 + q3
(Γ1 − K p21,1 p21,2 p21,3 p22,1 p22,2 p22,3
q1 + q2 + q3 q1 + q2 + q3

with
234906828020149926797 z2 35203663244859657861741 z1 95324728782998501929075 z1 2
p11,1 = − + −
22477665475339240818 17382727967595679565920 20859273561114815479104
1147879124800303440767 z2 2 7361916145469118495069 z1 3 197684882881106981 z2 3
+ + +
22477665475339240818 2172840995949459945740 8281335071196480
3838693428813824154337 z1 4 4820047967 z2 4 227638445408188099 z1 5
− − +
3596426476054278530880 53729472 45478331765987336
31411674122845597 z1 6 415793171855 z1 7 21730535 z1 8 694406601449600348135 z1 z2
− + − +
1656267014239296 17703861024 2336064 151154156239962431008
154980495755628449 z1 z2 2 602260736750949 z1 2 z2 2 1009213106001 z1 z2 3
+ + −
4704655010274552 17252781398326 29506435040
119964321 z1 2 z2 3 11350946059 z1 5 z2 597230 z1 6 z2
− − +
5596820 368830438 12167
1494878085188063678929 z2 380317312923885883345 z1 17959390701408837186355 z1 2
p11,2 = − +
22477665475339240818 119880882535142617696 719285295210855706176
2426117906412627435479 z2 2 2394257875109083 z2 3 14916039444111258624935 z1 4
− + −
112388327376696204090 1656267014239296 719285295210855706176
494329 z2 4 3459340340672312075 z1 5 260174991593256425 z1 6 2312604951475 z1 7
+ − + −
11680320 45478331765987336 1656267014239296 17703861024
113413675 z1 8 10666847036601223451457 z1 z2 316411037597010955 z1 z2 2 9075461665 z1 z2 3
+ − + +
2336064 119880882535142617696 136434995297962008 5901287008
160171972543657022472 z2 2266355734693778179194 z1 11606437642925522672952 z1 2
p11,3 =− − −
18731387896116034015 543210248987364986435 543210248987364986435
480105465460885903644 z2 2 23403600715369879784952 z1 3 1485547671341204994672 z2 3
+ − −
18731387896116034015 543210248987364986435 18731387896116034015
26637179354934571295892 z1 4 1000028477632860 z2 4 381969592928036968998 z1 5
− + +
543210248987364986435 8626390699163 543210248987364986435
15027120 z2 5 6214022402315502441168 z1 6 23883068078746356 z1 7 1926830921748 z1 8
− + − −
279841 18731387896116034015 247164846554279 16306976747
2384979175953044636892 z1 z2 7992059299768426558152 z1 2 z2 13222335489896253992094 z1 z2 2
− − −
108642049797472997287 108642049797472997287 108642049797472997287
1059164560581432 z1 z2 3 184050964284 z1 z2 4 283565808 z1 2 z2 4 92008908 z1 7 z2
− − + +
5684791470748417 184415219 279841 348611

1
 2496590418313269313 z2 12937938784372596861163 z1 570799092631581518173 z1 2
p12,1 = − +
68217497648981004 39566148636408982320 860133666008890920
21983119249416404087 z2 2 3508814236251358802669 z1 3 501194004942821 z2 3
− − −
227391658829936680 9891537159102245580 1570814694840
895427937422265077 z1 4 944427653 z2 4 226447207695968 z1 5 12272943199421 z1 6
+ − − +
34108748824490502 1679046 43131953495815 314162938968
50505185 z1 7 12999865 z1 8 259907184352254012581 z1 z2 1975748208440391 z1 z2 2
− + + −
584016 292008 164858952651704093 11898469929880
15594670507854 z1 2 z2 2 446036069 z1 z2 3 37078794 z1 3 z2 2 224935757 z1 2 z2 3
− − − −
65450612285 730020 279841 1399205
52329985 z1 z2 4 295132 z1 3 z2 3 2673895 z1 6 z2 55027 z1 7 z2
− − − +
584016 12167 12167 25392
18389717556819245981 z2 457450179873352157735 z1 467772381706707897415 z1 2
p12,2 =− + −
68217497648981004 272869990595924016 136434995297962008
12650707018714708261 z2 2 123501065454736643425 z1 3 5283119855209 z2 3
− + +
227391658829936680 68217497648981004 1570814694840
4 4
574314224057205475 z1 1353931 z2 676101941699890 z1 5 54316407416425 z1 6
− + − −
34108748824490502 365010 8626390699163 314162938968
252525925 z1 7 64999325 z1 8 73851887256366559 z1 z2 2 6200345 z1 z2 3 25363 z1 z2 4
+ − + + +
584016 292008 345055627966520 146004 25392
123335 z1 7 z2
−
25392
1476691366313224854 z2 20507276997163482072 z1 1785788418075810998 z1 2
p12,3 = − −
28423957353742085 824294763258520465 35838902750370455
8445114224308665963 z2 2 15905335053833780480 z1 3 138423060613839888 z2 3
− + +
28423957353742085 164858952651704093 1235824232771395
55476740007638356227 z1 4 6015053119725 z2 4 70343788265671355824 z1 5
+ + −
164858952651704093 13090122457 164858952651704093
91328724 z2 5 7016530801722060132 z1 6 784745354168768 z1 7 2553734993 z1 8
− − + −
279841 28423957353742085 1875302325905 24745033
219944680912215494504 z1 z2 58721062687429471526 z1 2 z2 47453051633415867552 z1 z2 2
+ − +
824294763258520465 164858952651704093 824294763258520465
173411036386836636 z1 z2 3 1735729880 z1 z2 4 1409568996 z1 3 z2 3 1455233100 z1 2 z2 4
− − + +
43131953495815 279841 279841 279841
635916 z1 z2 5 11132140 z1 3 z2 4
− +
12167 12167

2
 8594746121644875457931 z2 120842085508018990941067 z1 59850151667219040030073 z1 2
p21,1 = − +
149851103168928272120 8991066190135696327200 2247766547533924081800
7964547717280260046531 z2 2 19069180488373303154071 z1 3 549065072397860701 z2 3
+ − −
29970220633785654424 1498511031689282721200 207033376779912
617916159569518809383 z1 4 161427805 z2 4 5126287297590877403 z1 5
− − +
280970818441740510225 292008 852718720612262550
1227979552715141 z1 6 11340910493 z1 7 299183 z1 8 53172051959064983847 z1 z2 2
− + − −
172527813983260 3848665440 2920080 45478331765987336
412838948393 z1 z2 3 1655715 z1 z2 4 76895 z1 7 z2
− − +
384866544 16928 16928
41683948971524215114999 z2 3549478182179569715531327 z1 1672121145031042490879861 z1 2
p21,2 =− + −
149851103168928272120 52148183902787038697760 13037045975696759674440
2046152372254336004309951 z2 2 559295690363958308672987 z1 3 138112234914258949 z2 3
− + +
749255515844641360600 8691363983797839782960 1035166883899560
90622647625777074607 z1 4 569383711 z2 4 1711483032980199487 z1 5
+ + −
11238832737669620409 6716184 34108748824490502
6 7
1800445262072501 z1 11340910493 z1 299183 z1 8 850888404791782198658073 z1 z2
+ − + +
34505562796652 769733088 584016 2716051244936824932175
5371787132196806926191 z1 z2 2 42336425861315471 z1 2 z2 2 42538801167679 z1 z2 3
+ − +
1136958294149683400 43131953495815 44259652560
1536178898459 z1 3 z2 2 71576543 z1 2 z2 3 5537737 z1 z2 4 1317769 z1 3 z2 3 2484771 z1 6 z2
− − + − −
1844152190 279841 389344 24334 60835
238195 z1 7 z2
−
16928
483668113762560815496 z2 1408053201469343070012 z1 14512571604978976409088 z1 2
p21,3 =− − −
93656939480580170075 2716051244936824932175 2716051244936824932175
2311680579541492733532 z2 2 49035412017991284674832 z1 3 10417498429075090670376 z2 3
+ − −
93656939480580170075 2716051244936824932175 93656939480580170075
61610023884259349976132 z1 4 7292341859107788 z2 4 46048377748586250202788 z1 5
− + +
2716051244936824932175 43131953495815 2716051244936824932175
5 6
21648024 z2 1121425767458342439288 z1 284812870935871272 z1 7 1244490672516 z1 8
− + + −
279841 18731387896116034015 6179121163856975 16306976747
49828931648777740138104 z1 z2 8132241674138040004632 z1 2 z2 95919648806887724831652 z1 z2 2
− − −
2716051244936824932175 543210248987364986435 2716051244936824932175
1928618326058115936 z1 z2 3 1286654235816 z1 z2 4 313816824 z1 2 z2 4 222240 z1 z2 5
+ − + −
142119786768710425 922076095 279841 12167
4044192 z1 3 z2 4 170593176 z1 7 z2
+ +
12167 1743055

3
 34040716802676161 z1 6 314453531171 z2 4 95674619314829403577 z1 5
p22,1 = − −
207033376779912 839523000 1705437441224525100
53119357366466089 z2 3 211059846246 z1 5 z2 1399096263 z1 2 z2 3 6578129339522746 z1 2 z2 2
+ + + +
345055627966520 922076095 6996025 215659767479075
156891999988 z1 z2 3 135918354284362622 z1 z2 2 154710336696811281530496 z1 z2
+ − −
13831141425 4900682302369325 543210248987364986435
92411441775743273614 z1 4 528819470116629691634147 z1 3 326043492106253812169818 z1 2
− + −
280970818441740510225 8148153734810474796525 2716051244936824932175
10325960216349285409717 z2 2 27324027 z2 5 18010745 z1 8 95732865190 z1 7
− − + −
749255515844641360600 304175 292008 553245657
3602149 z1 6 z2 111679245327104553079 z2 476745304373917145372081 z1
− − +
12167 449553309506784816360 8148153734810474796525
2021 z1 7 z2 583 z1 6 z2 2 377749 z1 4 z2 3 77312284 z1 3 z2 3 39526623 z1 2 z2 4 372646429 z1 z2 4
− + + + − −
529 115 13225 304175 1520875 1520875
15393490064131911795539 z2 3339654770590132924313 z1 2375699535315451867946 z1 2
p22,2 = − +
449553309506784816360 11238832737669620409 3746277579223206803
2
10364757569373002951303 z2 3728541705665901744779 z1 3 6063236695059463 z2 3
− − +
749255515844641360600 11238832737669620409 1725278139832600
503801022400701920794 z1 4 178296203 z2 4 19270857822189154853 z1 5 656 z2 5
− − + +
11238832737669620409 7300200 68217497648981004 125
165565407258213445 z1 6 478664325950 z1 7 90053725 z1 8 1557163517522427276 z1 z2 2
− + − +
207033376779912 553245657 292008 142119786768710425
8934998998 z1 z2 3 897279 z1 z2 4 10105 z1 7 z2
− + +
2766228285 13225 529
3647877485219005945984 z1 6 20874263163413544 z2 4 440777339814163703129304 z1 5
p22,3 = + +
18731387896116034015 43131953495815 2716051244936824932175
33393529566794365850208 z2 3 3136718105430071088 z1 z2 3 300202767428585701117416 z1 z2 2
− + −
93656939480580170075 142119786768710425 2716051244936824932175
15244041761147551469664 z1 2 z2 232191095211254154164432 z1 z2 293070858150607679903056 z1 4
+ − −
543210248987364986435 2716051244936824932175 2716051244936824932175
188706536891888207185456 z1 3 20277180522416858998304 z1 2 8378719911940306543056 z2 2
− − +
2716051244936824932175 2716051244936824932175 93656939480580170075
43968432 z2 5 486120 z2 6 1680498824336 z1 8 444246203509462624 z1 7
− − − −
279841 12167 16306976747 6179121163856975
1854386729687048628768 z2 7504637361652128653304 z1 383710928 z1 7 z2 27178752 z1 3 z2 4
− + + +
93656939480580170075 2716051244936824932175 1743055 12167
8996648 z1 2 z2 5 650963016 z1 2 z2 4 10430032 z1 z2 5 3908844331968 z1 z2 4
+ + − −
12167 279841 12167 922076095
This simplifies to
z1 2 r11,1 r11,2
!
z1 z2 r12,1 r12,2
e 1 )(C1 )−1 − (Γ2 − K
(Γ1 − K e 2 )(C2 )−1 = 8 q1 q2 q3 2 q1 q2 q3
z1 z2 r21,1 r21,2 z2 2 r22,1 r22,2
4 q1 q2 q3 q1 q2 q3

4
with

r11,1 = 25 z1 4 − 80 z1 3 − 116 z1 2 z2 + 90 z1 2 + 156 z1 z2 + 15 z2 2 − 40 z1 − 40 z2 + 5

r11,2 = 15 z1 8 − 100 z1 7 + 120 z1 6 z2 + 280 z1 6 + 372 z1 5 z2 − 34 z1 4 z2 2 − 420 z1 5 − 1420 z1 4 z2 − 60 z1 3 z2 2
− 96 z1 2 z2 3 + 350 z1 4 + 840 z1 3 z2 − 212 z1 z2 3 − 5 z2 4 − 140 z1 3 + 480 z1 2 z2 + 60 z1 z2 2 − 12 z2 3
− 380 z1 z2 + 34 z2 2 + 20 z1 − 12 z2 − 5
r12,1 = 25 z1 4 − 80 z1 3 − 116 z1 2 z2 + 90 z1 2 + 156 z1 z2 + 15 z2 2 − 40 z1 − 40 z2 + 5
r12,2 = 11 z1 8 − 58 z1 7 + 64 z1 6 z2 + 118 z1 6 + 438 z1 5 z2 − 34 z1 4 z2 2 − 106 z1 5 − 474 z1 4 z2 − 94 z1 3 z2 2
− 40 z1 2 z2 3 + 20 z1 4 − 564 z1 3 z2 − 94 z1 2 z2 2 − 30 z1 z2 3 − z2 4 + 34 z1 3 + 476 z1 2 z2 − 34 z1 z2 2
+ 2 z2 3 − 22 z1 2 + 62 z1 z2 + 2 z1 − 2 z2 + 1
r21,1 = 53 z1 4 − 92 z1 3 − 154 z1 2 z2 + 28 z1 2 + 152 z1 z2 + 9 z2 2 + 8 z1 − 12 z2 + 3
r21,2 = 15 z1 8 − 100 z1 7 + 120 z1 6 z2 + 280 z1 6 + 372 z1 5 z2 − 34 z1 4 z2 2 − 420 z1 5 − 1420 z1 4 z2 − 60 z1 3 z2 2
− 96 z1 2 z2 3 + 350 z1 4 + 840 z1 3 z2 − 212 z1 z2 3 − 5 z2 4 − 140 z1 3 + 480 z1 2 z2 + 60 z1 z2 2 − 12 z2 3
− 380 z1 z2 + 34 z2 2 + 20 z1 − 12 z2 − 5
r22,1 = 53 z1 4 − 92 z1 3 − 154 z1 2 z2 + 28 z1 2 + 152 z1 z2 + 9 z2 2 + 8 z1 − 12 z2 + 3
r22,2 = 11 z1 8 − 58 z1 7 + 64 z1 6 z2 + 118 z1 6 + 438 z1 5 z2 − 34 z1 4 z2 2 − 106 z1 5 − 474 z1 4 z2 − 94 z1 3 z2 2
− 40 z1 2 z2 3 + 20 z1 4 − 564 z1 3 z2 − 94 z1 2 z2 2 − 30 z1 z2 3 − z2 4 + 34 z1 3 + 476 z1 2 z2 − 34 z1 z2 2
+ 2 z2 3 − 22 z1 2 + 62 z1 z2 + 2 z1 − 2 z2 + 1

Next, we consider the symmetry of S = S T . Here, we have

p112,3
 
 T 0 p112,0 + q3 
e 1 )(C1 )−1 − (Γ1 − K
(Γ1 − K e 1 )(C1 )−1 =  p112,3

− p112,0 + q3 0

5
with
23226900 z2 3 33 z1 5 z2 2095 z1 4 z2 11303 z1 3 z2 2 236266618 z1 3 z2 419979 z1 2 z2 2
p112,0 = − − + − + −
279841 46 1058 2116 8018053 12167
539401 z1 z2 3 9489462447 z1 z2 2 5594798967917 z1 2 z2 594944237039077687 z1 z2
− + + −
48668 737660876 594923496494 56847914707484170
4926488371135 z1 4 675048337480811776 z1 3 59259725571512072250 z1 2
− − −
375060465181 28423957353742085 3746277579223206803
150002979288465 z2 2 221988862457966105778 z2 1765677037775184239386 z1
+ − −
8626390699163 18731387896116034015 543210248987364986435
665966587373898317334 z2 5297031113325552718158 z1 39903396925809225343838 z1 2
p112,3 = + +
18731387896116034015 543210248987364986435 543210248987364986435
2309084832473404664643 z2 2 103912473920191016884636 z1 3 7284404967282761867784 z2 3
− + +
18731387896116034015 543210248987364986435 18731387896116034015
50925304960752267940911 z1 4 4745969446805595 z2 4 203074918032764195450594 z1 5
+ − −
543210248987364986435 8626390699163 543210248987364986435
69680700 z2 5 7912631368221592578588 z1 6 155599403628337376 z1 7
+ − +
279841 18731387896116034015 1235824232771395
4926488371135 z1 8 57690717710184069125348 z1 z2 13191823010389097599786 z1 2 z2
+ + +
16306976747 543210248987364986435 108642049797472997287
235574022460204151934294 z1 z2 2 4752217671628635732 z1 z2 3 837462142696 z1 z2 4
+ − +
543210248987364986435 28423957353742085 184415219
1141416276 z1 2 z2 4 413676 z1 z2 5 7087948 z1 3 z2 4 247795164 z1 7 z2
− + − −
279841 12167 12167 348611
This simplifies to !
−1

−1
T 0 − z14zq23r1
(Γ1 − K
e 1 )(C1 ) − (Γ1 − K
e 1 )(C1 ) = z1 z2 r1
4 q3 0
with

r1 = 66 z1 8 − 274 z1 7 + 325 z1 6 z2 + 380 z1 6 + 3112 z1 5 z2 − 211 z1 4 z2 2 − 102 z1 5 + 731 z1 4 z2 − 618 z1 3 z2 2

− 177 z1 2 z2 3 − 220 z1 4 − 4272 z1 3 z2 − 478 z1 2 z2 2 − 44 z1 z2 3 − 3 z2 4 + 194 z1 3 − 45 z1 2 z2 − 98 z1 z2 2
+ 7 z2 3 − 36 z1 2 + 152 z1 z2 − 3 z2 2 − 10 z1 − 3 z2 + 2

Furthermore, we have
p212,1 p212,2
 
 T 0 q1 + q2 
e 2 )(C2 )−1 − (Γ2 − K
(Γ2 − K e 2 )(C2 )−1 =   p212,1 p212,2

− q1 + q2 0

6
with
335 z1 6 5095 z1 7 665 z1 8 2011 z2 481 z1 481 z1 2 9587 z2 2 887 z1 3 8091 z2 3 175 z1 4
p212,1 = − + − − + − − + + +
16 96 24 48 48 24 48 96 4 48
2795 z2 4 175 z1 5 82609 z1 z2 2 21627 z1 z2 3 535 z1 z2 4 6 83 z1 7 z2
+ − + + + + 139 z1 z2 −
24 24 96 32 24 24
559 z2 4 875 z1 5 1675 z1 6 25475 z1 7 3325 z1 8 10055 z2 2405 z1 2405 z1 2 96199 z2 2
p212,2 =− + + − + + − + +
24 24 16 96 24 48 48 24 48
4435 z1 3 1171 z2 3 875 z1 4 957 z1 z2 335045 z1 z2 2 1525 z1 2 z2 2 10871 z1 z2 3 2365 z1 3 z2 2
− − − − − + − +
96 4 48 4 96 2 32 4
4 3 3 7
119 z 1 z2 51 z 1 z2 265 z 1 z2
+ 48 z1 2 z2 3 − + +
24 4 24
This simplifies to !

e 2 )(C2 )−1 − (Γ2 − K
e 2 )(C2 )−1
T 0 − z41qz12qr22
(Γ2 − K = z1 z2 r2
4 q1 q2 0
with

r2 = 25 z1 8 − 170 z1 7 + 207 z1 6 z2 + 490 z1 6 + 556 z1 5 z2 − 51 z1 4 z2 2 − 770 z1 5 − 2365 z1 4 z2 − 90 z1 3 z2 2

− 171 z1 2 z2 3 + 700 z1 4 + 1680 z1 3 z2 − 424 z1 z2 3 − 10 z2 4 − 350 z1 3 + 485 z1 2 z2 + 90 z1 z2 2 − 45 z2 3
+ 70 z1 2 − 572 z1 z2 + 51 z2 2 + 10 z1 + 9 z2 − 5