forked from skair39/milagro-crypto-c
-
Notifications
You must be signed in to change notification settings - Fork 0
/
test_vector_BN254_CX.txt
248 lines (236 loc) · 53.3 KB
/
test_vector_BN254_CX.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
# FP4 ARITHMETICS - CURVE: BN254_CX, Modulo := 0x2400000008702a0db0bddf647a6366d3243fd6ee18093ee1be6623ef5c1b55b3, Frobenius_constent = [0x1359082fa63a0164afe18b8aaca7189868677326f173f8215bd9083355c80ea3,0x10a6f7d0623628a900dc53d9cdbc4e3abbd863c7269546c0628d1bbc06534710]
# test 1
FP4_1 = [[09E20F1B6B73A2C284B2E2DC6A6539840B4E54B033D4B2D43F9665A34F3FFEE2,1B1A3F65184B9BA8B43038FE33DA22A2D55E5147584B9C5DB8489E2B2A24A18B],[033F1C91F4902D2D900F065FF0E8864EF07B092F1CCDC90E680322DA71CADDF7,0A3059CD413A1160BBE0167BBA0269F376352CF846820F8853A895A44A9E655E]]
FP4_2 = [[0D30298A0B3F4712AEFA4B69A1D6C94BA27208EB7A2E94628F230C6DDC265941,109DC20CF1BD2EB1BF865B2DA02DEEEAA25180404B62765D380C54AE82F881DB],[11F1EE2635588270969F3942A17B3A9C7B9174430BEA75DDB4E3C333B57FFB76,1DCBB7F7C92665B9A8744ED6B4E8AA637CAA6F9BFD04090937050C35DE4446A8]]
FP4add = [[171238A576B2E9D533AD2E460C3C02CFADC05D9BAE034736CEB972112B665823,07B801720198A04CC2F8B4C759A4AABA536FFA998BA4D3D931EECEEA5101CDB3],[15310AB829E8AF9E26AE3FA29263C0EB6C0C7D7228B83EEC1CE6E60E274AD96D,03FC11C501F04D0CB39685EDF487AD83CE9FC5A62B7CD9AFCC477DEACCC75653]]
FP4neg = [[1A1DF0E49CFC874B2C0AFC880FFE2D4F18F1823DE4348C0D7ECFBE4C0CDB56D1,08E5C09AF0248E64FC8DA666468944304EE185A6BFBDA284061D85C431F6B428],[20C0E36E13DFFCE020AED904897AE08433C4CDBEFB3B75D356630114EA5077BC,19CFA632C73618ACF4DDC8E8C060FCDFAE0AA9F5D1872F596ABD8E4B117CF055]]
FP4sub = [[20B1E59168A485BD867676D742F1D70B8D1C22B2D1AF5D536ED97D24CF34FB54,0A7C7D58268E6CF6F4A9DDD093AC33B8330CD1070CE92600803C497CA72C1FB0],[154D2E6BC7A7D4CAAA2DAC81C9D0B28599296BDA28EC92127185839618663834,1064A1D58083D5B4C429A7097F7D26631DCA944A61874560DB09AD5DC8757469]]
FP4conj = [[09E20F1B6B73A2C284B2E2DC6A6539840B4E54B033D4B2D43F9665A34F3FFEE2,1B1A3F65184B9BA8B43038FE33DA22A2D55E5147584B9C5DB8489E2B2A24A18B],[20C0E36E13DFFCE020AED904897AE08433C4CDBEFB3B75D356630114EA5077BC,19CFA632C73618ACF4DDC8E8C060FCDFAE0AA9F5D1872F596ABD8E4B117CF055]]
FP4nconj = [[1A1DF0E49CFC874B2C0AFC880FFE2D4F18F1823DE4348C0D7ECFBE4C0CDB56D1,08E5C09AF0248E64FC8DA666468944304EE185A6BFBDA284061D85C431F6B428],[033F1C91F4902D2D900F065FF0E8864EF07B092F1CCDC90E680322DA71CADDF7,0A3059CD413A1160BBE0167BBA0269F376352CF846820F8853A895A44A9E655E]]
FP2sc = [23623650FAC954A1F9D1540C44977D431D753CD192CE9AF6173FBFE56B5F2252,0BC99D6BBEF4FC6CB16EBBAA7605EAB6EEC6C10A1AA34D1FAFF3D5B645A7256A]
FP4pmul = [[06960017F9110728FD4E623182057F78BB5537BC35FD1A8B23F60AEF7EF9DEEC,1C0531E985709B4354B9B78E8B1D1E8149F5384CD32355BBA211DB3398B9BE8A],[15AF42470FE2F0819D32DF066C1C41CE69CDF854E6C2CEA221B5CB53966FC53F,1F85305E392AC53C03A91F772661551863A0D4159A5635B98A614DA184C175A2]]
FP4imul = [[00,00],[00,00]]
FP4sqr = [[13B8298C6222356440C11BB17F79C9F3BAF6514055D2E6072D3C6A329883683E,11B5CC671AFA133BBC65373E64A2DBFB15667986FB3FC36161D0F6CA39C75C92],[1B57753EB5BFF284A4963267178EC1DAAD5EB7F1EEF41775EC3CD4D8303C02F4,22778AC0D8C4AFD99E7EDD083F0439BCE543C22C35EBAD974F6466B473216238]]
FP4mul = [[13502A80D4D0B307C0C8163B1B43DFB49FA5C249C1090C692DBA50C0587D2030,1853AAD834324EB354D1400F1727D8EDCC81EEF1A816BED201FC26D15FED55A2],[0E6C7E6D4CEB16DF37E81B4A11469A1A9397C08BB8BAD64D089BBFDAB2AD9524,2348B048EAD07384E078B7A928B3EE7311AFA8AF1DB8C52C5EA6B9CD17BF0910]]
FP4inv = [[0FD0F8C89F4570EEC6B1597FC6CE07E8E46E98B5626D0C72C0E3474BEE7167AD,0DB404C6D23FD20250C12EB94500FFB75C87C2991ACD6C0EA7C555607641A63D],[07CF4E247C7075BC84DA9AB7F2C97C634608598703BBF0E844CBC97C3B2DE64C,104AAC736034C30BD9D420B458022140B9FC7FFA314D679995F2F3C42AF66724]]
FP4mulj = [[1D0EC2C4BBC645DA84ECCF48B149832E9E85B324EE54F867D2C0B1258347CE4C,0D6F765F35CA3E8E4BEF1CDBAAEAF04266B03627634FD896BBABB87EBC694355],[09E20F1B6B73A2C284B2E2DC6A6539840B4E54B033D4B2D43F9665A34F3FFEE2,1B1A3F65184B9BA8B43038FE33DA22A2D55E5147584B9C5DB8489E2B2A24A18B]]
BIGsc = 17093374016B8323E2EE4C1353059BAEB052006A1D3BA56FDA2B65F42EF8A776
FP4pow = [[02D66E7A89AB47D10834E1B6002E94D0881AF0832DC5AB3DCFA3E101CDFD9E14,0DA5DA6D5B0CC3C19F7E0A0D376B3193C4E3915A5CA51C13937B423A45C4C3CC],[1E38E9C62BA36D7FFD180D4A4C677BE8C12B80742A4F88E853150DDAAC73D82C,1D08130C23C4FAC6AD0B1FBBF3A428D2443E7D08BE356B26D0FF915E304328D5]]
FP4frob = [[09E20F1B6B73A2C284B2E2DC6A6539840B4E54B033D4B2D43F9665A34F3FFEE2,08E5C09AF0248E64FC8DA666468944304EE185A6BFBDA284061D85C431F6B428],[1E16446528F7A171C32EB0EC943DDE8A07DAD68D6B899B2CD175C67DCC6D9C15,050BE05C2739300466A3A2EB519BF83C03672BCC0D6BEDDDA5B1B17335F1B98C]]
FP4_xtrA = [[20F2E97F36391A5A6D72A1159FC9123CC7E0A1061FB1EF5A45F68CA9419664F1,1EBF45667AEC57760BB3A2760546AAC006167E95FDCDE6E9634D32E45D5CD848],[1B2C3CCAF57E627AECD9987D2A191C5236A5B477A070C2AC4F6CF8A3ACFBD718,08A5FAC98C0E0D4F6F1D5A34D7F05565B2DDBE005192FEF12955C01073AD1EF4]]
FP4_xtrD = [[23F40B5593AB19ECE819355D2512BDBEC8997ECE0632BF406C75C2DB561EC02D,23814D9CFB433005B580840AF1B5645BB32984D47ABB08696E0C02529DB4C4E2],[21D5AE629EE04CDFC4B43F26F95FCE788E54CA50288FA992BC431A8D13D1BEE2,12D83E5B52C8A88D65812A9B38A5A6D0AD6E452EAAE68DC6384F6E0DAC42D741]]
# test 2
FP4_1 = [[23BB889DBC7AE707888DD6CE650B91BABAB570A9C8558F565E964F01AEE9CB88,095B6227BB90449DA31CDCE9D3C46FF81172A1779FC733F2DF0DC86301967E00],[13DC5008112ADA472BC74E7E9A60B79E7D8B4C61FDBEF8263517A0A7FB837DC3,1F95D7A694545D981DF7EAC156B87FDFA99EC69EB4D91697331DE1D3B6272E42]]
FP4_2 = [[0E687CE7B4117764DACB2825C833AD4C1F995E105C8D1FC68E11CB6FF906AAED,23AF925997F62299BB0C23D236866CBB3F4E24349D3DE7ECF263CE760F88BDC9],[1CCF5A4AB3240C60404AD7F4FF1C94B64A07B2261A344ADEBB911ADEE9A174E3,14531A2577B5F52E29FF7D8773C7F1BE5DC8EFD2B21E97FDE970263E7F576E2A]]
FP4add = [[0E240585681C345EB29B1F8FB2DBD833B60EF7CC0CD9703B2E41F6824BD520C2,090AF4814B163D29AD6B21578FE775E02C80EEBE24FBDCFE130B72E9B503E616],[0CABAA52BBDEBC99BB54470F1F19E581A3532799FFEA04233242979789099CF3,0FE8F1CC039A28B8973988E4501D0ACAE327DF834EEE6FB35E27E422D96346B9]]
FP4neg = [[4477624BF54306283008961557D518698A66444FB3AF8B5FCFD4EDAD318A2B,1AA49DD84CDFE5700DA1027AA69EF6DB12CD357678420AEEDF585B8C5A84D7B3],[1023AFF7F7454FC684F690E5E002AF34A6B48A8C1A4A46BB894E83476097D7F0,046A2859741BCC7592C5F4A323AAE6F37AA1104F6330284A8B48421BA5F42771]]
FP4sub = [[15530BB608696FA2ADC2AEA89CD7E46E9B1C12996BC86F8FD0848391B5E3209B,09ABCFCE2C0A4C1198CE987C17A16A0FF66454311A928AE7AB101DDC4E2915EA],[1B0CF5BD6676F7F49C3A55EE15A789BB57C37129FB93EC2937ECA9B86DFD5E93,0B42BD811C9E6869F3F86D39E2F08E214BD5D6CC02BA7E9949ADBB9536CFC018]]
FP4conj = [[23BB889DBC7AE707888DD6CE650B91BABAB570A9C8558F565E964F01AEE9CB88,095B6227BB90449DA31CDCE9D3C46FF81172A1779FC733F2DF0DC86301967E00],[1023AFF7F7454FC684F690E5E002AF34A6B48A8C1A4A46BB894E83476097D7F0,046A2859741BCC7592C5F4A323AAE6F37AA1104F6330284A8B48421BA5F42771]]
FP4nconj = [[4477624BF54306283008961557D518698A66444FB3AF8B5FCFD4EDAD318A2B,1AA49DD84CDFE5700DA1027AA69EF6DB12CD357678420AEEDF585B8C5A84D7B3],[13DC5008112ADA472BC74E7E9A60B79E7D8B4C61FDBEF8263517A0A7FB837DC3,1F95D7A694545D981DF7EAC156B87FDFA99EC69EB4D91697331DE1D3B6272E42]]
FP2sc = [09F703BE89E17CAF99149E5952C0D72DD7CA74E78C2D015781B4C499C1404399,1AD2D0C18E234562F5117250B385BD44817BE42F9B0F8735638256133DAC19E7]
FP4pmul = [[03F89BA734449214E50D89269957D2C798E76E2F4D4370C60B032CCB34A1904A,1A0B07431B4ABE9F8AC05849FADE9CEC1D63662CF5E83F40A88EB1CDA19308BB],[1C94A4179B2D1437B793149ADE6AFC01577C4CE3991A3A4C9BBB88D786B8B071,039A1789B3868E41B007BF2D6EA6837BA2E41C4A40F25B9EB901910A2D392B9F]]
FP4imul = [[23BB889DBC7AE707888DD6CE650B91BABAB570A9C8558F565E964F01AEE9CB88,095B6227BB90449DA31CDCE9D3C46FF81172A1779FC733F2DF0DC86301967E00],[13DC5008112ADA472BC74E7E9A60B79E7D8B4C61FDBEF8263517A0A7FB837DC3,1F95D7A694545D981DF7EAC156B87FDFA99EC69EB4D91697331DE1D3B6272E42]]
FP4sqr = [[2352E737C23DC39564F54A5F68E9B3FBA8A1968B9B501E5A376DBFD948FBBDD0,116AA4CA74B66C148F1D54B3073655D6BD6990B1CA0264A51B6CC34A6082F29F],[0E6788178DC1ED59541558965453B7EBEC5523DE6474BF4FD1260AB602F1E445,200DBC661B5AACD3440DF24897033D85C58C18696FBC3E4AC6F6AD3F150433BB]]
FP4mul = [[11AFDC598A7E6B4324FB98F6E9F8ABFA51B0567A2600008E4D6F7B0E6665A971,11FCDF8E519305A5D70B255EA8D772CD76C6A5E05DEBE35FC739AF91F1232B43],[1491F3727D0DDDB66257AB78E2D4E3047E8716321D1531C7C0F08867BBD14804,1F2059D94E1DF1E136004652E5D5426ACF150BC0AAEB5B7A4CDDC80E96679FF0]]
FP4inv = [[1E576380C9A24E32A9118339ACB3AB4E001A03EB01A824C5B09CD1478AE5B5D1,077BCBDAC74026FC8F5FAAF8F17CD6BD8086BB2B5664BE472DB84A074A0C1CDB],[103335A1825407DC734D060650820EDBDAB8019D42CD4FE40098D0CB6D557D74,182E5EF2C202A9F2B490BDE877A049ECB09C3D33F314D2CF887228E2DA9BB209]]
FP4mulj = [[184678618546A6BCBE8D4321BE0B9E91F82C5CB160EF2070C05FE2C3A177A534,0F7227AE9D0F0DD1990159DB76B5D0AB02EA3C129A8ECFDBA9CF5E8C558F5652],[23BB889DBC7AE707888DD6CE650B91BABAB570A9C8558F565E964F01AEE9CB88,095B6227BB90449DA31CDCE9D3C46FF81172A1779FC733F2DF0DC86301967E00]]
BIGsc = 2090142B0C71F949F5FCDAC3F20B07D2428C13BC2A77912B06108E4EFB2AC898
FP4pow = [[21DD36ACA12F99EB6E142B9821648069F740AB2259F38825CF81F3FAB0227791,10F27AC7275DA2C0784B98CC259BB6370AC6E365BCF60E4BB92B21190498D1F8],[1CF490B8BB065B62103C6EACD571632534F0363C896DD52EB158A5D560F35FBF,1D2402B14F0D725C8BB3F142624DA076433350A9CF4C2DF01148F25EDA187B38]]
FP4frob = [[23BB889DBC7AE707888DD6CE650B91BABAB570A9C8558F565E964F01AEE9CB88,1AA49DD84CDFE5700DA1027AA69EF6DB12CD357678420AEEDF585B8C5A84D7B3],[1C004B5C5B74BEA7C99605F1949A517A41796679CD78FA988AB39A6AC8C80973,0AC89385F5E076A8E382F465FB86A4D6F854D54B67A5CA4E81204A4CCF7B5B72]]
FP4_xtrA = [[08AD2474DFFCF6F7788804D04024AFE394A2E826BB52178B45DFF5D76C7AD68A,11F18DA7471BFE18F8FAB738B2229C4AC0A5A14C9CC3605888820C67FD7A9C54],[0C41381E50108BA0370E0E6D8E5CDFFD410A17AA765F0AD4C557432B15C3A6B5,17EC96C57DF0D276983F0F6C716114B6585DC71E10091F168536A76BA89E0F6F]]
FP4_xtrD = [[23DBD5FC5A2849A1B5555B8B93995E2C7BB663143AB77D70F70D69B4A35ED226,22B3E07B06060CE6F9A17A43DA10DCB9BEC424B0A27D3BA11BB75673B9714C52],[12202827A7A777D9FAE6162F0EB1C055C32BE5B447E970BA7CEF28169DDD8A18,17396BB3332313E81E8209024FAD6F9ED049F7CAA95BEDB5B0662907C91BE4D9]]
# test 3
FP4_1 = [[1B3844F0F9FCB745B2C7042FEDD9D0DBAC4E91B7AB8EAA12B3799D441F02B3FA,10D9D19F60EE9907D5C5A7990673F41FED7D30E710C3BCE18958A98D0723B5AE],[16D228558FD2F245E22008B6182D552C5760028BDDEC14117C652EA6E9C8AB86,20347237ACAD7FAF92B79CBBE191AC6FF137652C09EBE47E8D478DA64898406A]]
FP4_2 = [[220666B53B39E94E30FAF21D1722B51B21EDB3F085F7B8D3B21D0140B81618EA,10707B85A188A0BAC2B6183BFEABB9C442989FEB84D84745330AB8837AC0BAD2],[186362EE017F4CC149B7FD553A250F889966CE359F0FAD822D691AA6BBC6AF08,0A88C067A592DB3E2FA2FC5F2D5A1CC93F9FA504C634042C1D84E8BEF0799E1B]]
FP4add = [[193EABA62CC67686330416E88A991F23A9FC6EBA197D2404A7307A957AFD7731,214A4D25027739C2987BBFD5051FADE43015D0D2959C0426BC63621081E47080],[0B358B4388E214F97B1A26A6D7EEFDE1CC86F9D364F282B1EB68255E497404DB,06BD329F49D030E0119CB9B6948862660C973342B816A9C8EC665275DCF688D2]]
FP4neg = [[08C7BB0F0E7372C7FDF6DB348C8995F777F145366C7A94CF0AEC86AB3D18A1B9,13262E60A7819105DAF837CB73EF72B336C2A60707458200350D7A6254F7A005],[0D2DD7AA789D37C7CE9DD6AE623611A6CCDFD4623A1D2AD04200F5487252AA2D,03CB8DC85BC2AA5E1E0642A898D1BA63330871C20E1D5A63311E964913831549]]
FP4sub = [[1D31DE3BC732F8053289F177511A8293AEA0B4B53DA03020BFC2BFF2C307F0C3,695619BF65F84D130F8F5D07C83A5BAAE490FB8BEB759C564DF1098C62FADC],[226EC56796C3CF924925EAC5586BAC76E2390B4456E5A5710D6237EF8A1D5231,15ABB1D0071AA4716314A05CB4378FA6B197C02743B7E0526FC2A4E7581EA24F]]
FP4conj = [[1B3844F0F9FCB745B2C7042FEDD9D0DBAC4E91B7AB8EAA12B3799D441F02B3FA,10D9D19F60EE9907D5C5A7990673F41FED7D30E710C3BCE18958A98D0723B5AE],[0D2DD7AA789D37C7CE9DD6AE623611A6CCDFD4623A1D2AD04200F5487252AA2D,03CB8DC85BC2AA5E1E0642A898D1BA63330871C20E1D5A63311E964913831549]]
FP4nconj = [[08C7BB0F0E7372C7FDF6DB348C8995F777F145366C7A94CF0AEC86AB3D18A1B9,13262E60A7819105DAF837CB73EF72B336C2A60707458200350D7A6254F7A005],[16D228558FD2F245E22008B6182D552C5760028BDDEC14117C652EA6E9C8AB86,20347237ACAD7FAF92B79CBBE191AC6FF137652C09EBE47E8D478DA64898406A]]
FP2sc = [0334E6AD15AFE3F6ECC1605B4BC2E84FD9EA02BFD6B9D91F60F41154AEC7CB7A,09D3D9449C8CA0E690E867D0C2DC8E0AB61E1B4C36954E2BF243F9942E92882D]
FP4pmul = [[09023FCFF2F3803613C5882EC19E4D010598E763E0EF24456FE9EF54E8AA5942,15F6177950E3607E58020F63EC87A3DD26DDAF82A8736111DF407F4E5AD2C6A1],[17A1865AAB26F4B0A1ECA1A2E3219A57A7A555B25E70B2907EBD5CD267C870AE,1D050B0B4D865C9572446AE29DFE9E1EB1943DEE6DF90F4D7074EAECE60B27F2]]
FP4imul = [[127089E1EB89447DB4D028FB61503AE4345D4C813F141543A88D1698E1EA1241,21B3A33EC1DD320FAB8B4F320CE7E83FDAFA61CE218779C312B1531A0E476B5C],[09A450AB1735BA7E13823207B5F743858A802E29A3CEE9413A64395E77760159,1C68E46F50EAD55174B15A1348BFF20CBE2EF369FBCE8A1B5C28F75D35152B21]]
FP4sqr = [[1FDF37CA5989D43F36E3E27967F8FF36640B45884B9D5C020479FE50A9AA2062,08F23A7D662996868AE93A22B8F64416EC53506F5021C0B13EA3E95220BB890A],[08FF28213F4F1509D458C550C93E1B1EA8EF239FFA8BDDB25CBBFCDD80C76F5B,2262D5DC1E50D653DAF36A6F05D53E605612C5CDB8BAF40DBA4146B7027EF1A2]]
FP4mul = [[045149D9D24B31FC2463D9509FA91FA0A3A7D5F2D4554DF7C20E113B69389F2F,0FCE301F803F9E4E83345EB871162C41A42411AFEDD0E10723ECA2EA55F4AC20],[0B4FF180D1EB688008666C861B27D20C364B9457DDF7ED2319DE13E87FA42301,06529ADF0F8573E2787E20BE1A580BB791B8EC9E448186FC05DFC31A11E3E492]]
FP4inv = [[1A8D643F5F0941283069AB5FFD477105EF823DB2FD38F8E534481368820A735C,1EED58DEB89E884C1BBD0451F96DA4AD6857709306FE1616B33446D2B3F6302D],[1BA33856D7437AA22045EC745E9E02FA1E458EEE1BC554A39A797B8324FEE545,092AD17C1C4AD7471CB32D90C012C6711F3629D9EB6FE81263231E2AC5F4946B]]
FP4mulj = [[1A9DB61DEB959CA400264B5EB0FF0F8F8A68744DEC096E74AD83C4EFFD4BC0CF,13069A8D341047E7C419C60D7F5B9AC9245790C9CFCEB9AE4B46985DD645963D],[1B3844F0F9FCB745B2C7042FEDD9D0DBAC4E91B7AB8EAA12B3799D441F02B3FA,10D9D19F60EE9907D5C5A7990673F41FED7D30E710C3BCE18958A98D0723B5AE]]
BIGsc = 1F6E95E775F8D240B4FA4BA8EFB5926D0BA4A128933C2052AF164A2864AA8128
FP4pow = [[0F4F9D481468469AFD7C56E138A2F9157A19AFED4D9A719B97136E8D3415688D,048B42565EFA3D906CD6D4237653E05450E3D991086F3BD03A1F6389BC5CC881],[0B3FD44F934C8540121D62050DB482C40A3FB289FC6E7E964797A6CFB7F8C9A7,095B673EF4A56B01BBCFBB13CB3F1B420DB92C9262A9440709DBE6401A03FD89]]
FP4frob = [[1B3844F0F9FCB745B2C7042FEDD9D0DBAC4E91B7AB8EAA12B3799D441F02B3FA,13262E60A7819105DAF837CB73EF72B336C2A60707458200350D7A6254F7A005],[170BC3341D2E9BB742311C3E5235268DD4012D36C81115275438CDD97EEB281F,1796511081C0D7CCF8C64E054A489DDF47AB66C847AFAEEF4FCD5FB6A39D3AC4]]
FP4_xtrA = [[059C0129E23FF1735315FC4B61BE34FDD169F4AB8CB46BE972930EC9D9A5730C,18A8855A5B348C8E76AA43D92B07BAD6BDD6E22A5E860905BA3DCEB26CFDCFD3],[130D8E75B0E8D56EB3929C8A6E5B88C06CD4DBBD4F487625BB0D594C848D44A2,0957C41F2C60C406594230F7EDB8CE3905BAC1D39B557E81BE27D90914BF1FBA]]
FP4_xtrD = [[0D6EADE86E008FC18213B97E06A8C4522FADF9070C8946BE5BECE7B7C7C00E21,0B3E973EACBC8E84901BCA552671C2AA3598C58F46A385CFEA58BA276E8F7361],[12A378CC5684CF87E7DAF7587F355EA4336F51C99E5AC6F39720363BF83D70B4,1ACBBA4B66CB81979EE6E51DD431C999F001E2499C803F4758041A24DB78C710]]
# test 4
FP4_1 = [[1BAC1D159C0434AACE1969CE2B558C9B5107906572D03D0FBF2551B3D8B31487,02E1D29DE66132DD7033ECB22954968D7D19801EBA79E7C228EB4E5CE774055F],[17A5676EFCCCE5F8BAC8648675599268262754D456C84F322BF747674F5D87A6,1297CC0E8D6D7385E531F5613DF2C68E81BE7DC9012B4B1104744BED1F2F1CDF]]
FP4_2 = [[1ECB36FC72939A3F5B94E1878F914BBBD009F82D44C320BC720092526C65879C,0BEF607470337EEFF6B684E78DD88CF56A4731DE5EC80ADD6DA999EE601D2991],[07A830B834D59395B1C025C3753764AFD7B6F691BC153FBC0DE0B71876FE1E6D,22C20BE04EBEC11A8FEFB5E732C2021BB6A5C54411C130B46050F28AEF23CEB3]]
FP4add = [[167754120627A4DC78F06BF140837183FCD1B1A49F8A1EEA72BFC016E8FD4670,0ED133125694B1CD66EA7199B72D2382E760B1FD1941F29F9694E84B47912EF0],[1F4D982731A2798E6C888A49EA90F717FDDE4B6612DD8EEE39D7FE7FC65BA613,1159D7EED3BC0A92C463CBE3F65161D714246C1EFAE33CE3A65F1A88B23795DF]]
FP4neg = [[0853E2EA6C6BF562E2A475964F0DDA37D3384688A53901D1FF40D23B8368412C,211E2D62220EF7304089F2B2510ED045A72656CF5D8F571F957AD59274A75054],[0C5A98910BA34414F5F57ADE0509D46AFE188219C140EFAF926EDC880CBDCE0D,116833F17B02B687CB8BEA033C70A044A281592516DDF3D0B9F1D8023CEC38D4]]
FP4sub = [[20E0E61931E0C479234267AB1627A7B2A53D6F2646165B350B8AE350C868E29E,1AF272297E9DDDFB2A3B472F15DF706B3712252E73BB1BC679A7D85DE3723181],[0FFD36B6C7F7526309083EC300222DB84E705E429AB30F761E16904ED85F6939,13D5C02E471EDC7906001EDE85942B45EF588F730773593E62897D518C26A3DF]]
FP4conj = [[1BAC1D159C0434AACE1969CE2B558C9B5107906572D03D0FBF2551B3D8B31487,02E1D29DE66132DD7033ECB22954968D7D19801EBA79E7C228EB4E5CE774055F],[0C5A98910BA34414F5F57ADE0509D46AFE188219C140EFAF926EDC880CBDCE0D,116833F17B02B687CB8BEA033C70A044A281592516DDF3D0B9F1D8023CEC38D4]]
FP4nconj = [[0853E2EA6C6BF562E2A475964F0DDA37D3384688A53901D1FF40D23B8368412C,211E2D62220EF7304089F2B2510ED045A72656CF5D8F571F957AD59274A75054],[17A5676EFCCCE5F8BAC8648675599268262754D456C84F322BF747674F5D87A6,1297CC0E8D6D7385E531F5613DF2C68E81BE7DC9012B4B1104744BED1F2F1CDF]]
FP2sc = [0B5AC07D9B655D7E58E677763220C7A79731567B58F6FD8599AB2F223B5D15EE,14850984871293E5005955BE2FF03E537EB79F09CB41E7CA3EF455C94CD809B9]
FP4pmul = [[0E073BFB96E59490DCFBF375A043ECDBB4AF4F3F89CDD686871326F11774CC21,1F25634BC98C52A00D53CC68D12857DA2930384B69E54C61C73D2D86967C6C27],[15B1C11F21597686927999EF22EC980E1A81B7603C4ECBC798C3AA4F63AA50B6,1FBB19C944410F74CADE9334385E546A5CD2D68C201D1A9149A053BED838E71A]]
FP4imul = [[0B045740C32C49E508D07EA18D39D82BAA970354285E396BC0A3AD3CD1E2922F,08A577D9B3239898509BC6167BFDC3A8774C805C2F6DB7467AC1EB16B65C101D],[22F0364CEDF687DC7F9B4E2EE5A950654E36278EEC4FAEB4C57FB24691FD413F,13C7642B9FD83083FED800BF3F74ECD860FBA26CEB78A2514EF6BFD8017200EA]]
FP4sqr = [[186EACB3FEE8110A41C30EC3340050D0BFAFCE7B287640D65C6ADC5BE5E49723,062DF55B9ED3C20FD6F42C44F22AD90303240424AEDF2EC925ECBC372E8484B3],[10EAB964B5ADF72973F3D14678858BC7E097E9A6F6B198A625FABC393C5ECAC8,1729DBC0CBC99E7C18C5DF53F5C448A6D33AB13136F8B1D46E50903A208C30B0]]
FP4mul = [[14AB16607F93017E5A66E0CA93F92B2C8DC3EF206C7E14AE54323F4BBDAA4B51,05CC73B02B62C7A660734E98B6C9BDA9B7CE7E41CD50E25DE661D119AFB9CF8A],[0FF75230E8EC13F31FA868150D7CE1117EE27B7D79FCA2D442A267BF46A9635A,0AB6B40D5B6CE3014FF5580567A9EC61BB42A6498AEE7A752F545F935CF64911]]
FP4inv = [[1CDC61333B6A7EC44E772216BC4D1FD8D50C6C10983C3025AF25E5C8226D03D0,0E405F05121F9143E6DC291A6FBFE952953B6300EA8E0F9DFF6CC403CBF9445A],[026217C8596E85F5FA58F02EA49AD4BE7A4FA4C7BDCEED51F53CFC5FDA314B6A,0AD30072DE52517C2535CBB30B60D7CAA07D00901433AAA94B715BE8F8C7DDCA]]
FP4mulj = [[050D9B606F5F7272D5966F253766CBD9A468D70B559D04212782FB7A302E6AC7,063D337D81CA2F70EF3C7A8338E8F22383A5FBAF3FEA5B6172056F6512714ED2],[1BAC1D159C0434AACE1969CE2B558C9B5107906572D03D0FBF2551B3D8B31487,02E1D29DE66132DD7033ECB22954968D7D19801EBA79E7C228EB4E5CE774055F]]
BIGsc = 17FF39045E5037B218FF129FAACAD0A635E8DFF96BBA8906E69F76C124E0C296
FP4pow = [[19B991D25C4788BCB1603778E9C5A8CBFAD26776DC9BA4A038A8E0DCB1509A6B,096530A64EF02B9D3B73C54D1FC2B118F37F87F7CC860F62E33045C495D05090],[16F1BE1DB4B5CD68211902D7A3633B1E99A6D21C84958BF8C514EBE8F62ED72C,198DE81016A1196A940D7156926A51E450D2A2023AE2335272A73AE65AEA0FF1]]
FP4frob = [[1BAC1D159C0434AACE1969CE2B558C9B5107906572D03D0FBF2551B3D8B31487,211E2D62220EF7304089F2B2510ED045A72656CF5D8F571F957AD59274A75054],[199A869E815D42245169BC9ED51FE8D32944BC0AF7DF6410BC9AD550E9EBD854,2280B433804A06878F6DB3B69AB30EF2B2C7A3E9FFB79E456710E1C4D52564CC]]
FP4_xtrA = [[08917C869E2229B0AC3C7A3853A636068FAFD38E174D3DEFF5783B47F2125209,200D779B0332BAF8EB10AD8B34F99B7A6C5C57A51F3F8FB13153186E39ADA470],[11F9746D5170878F42964EBB6A1F564F1CE54BFF1CABE59D0C7428AD77053629,051E51DAE69965F6F1C42B235E889B2BDA50AA53380C13EFBBCD4CB63398195A]]
FP4_xtrD = [[05167288CF4FD1C2564E1A8B57B89E6D41E0849E5ADF05989C865CE39099C3C8,6A501FD2115C54F68C52E09F81ABE808F103E739EB5F44D4161F7D5F9C79F5],[1C358842A6D7990D38C6BAEEE8D549C508A6BC618C38F828BF8327187EFE8461,185973DDDE345B7A326BEAB1F7466EF0B277D5D521460914B8D3042502CF14BB]]
# test 5
FP4_1 = [[03D31E4FC3D514C830991AA34A9941B4DC726F10936FD97CD32F933001E61BFD,185B3EF404E3086EE128A2A151C03F383F3CAA8843EE940447D98E06F340C6E8],[02E96BC2D60F7E33F4F7688BF15735D51A3C185773DD113E847BA6AA233C91A3,0E9FF45C1892007BB31897D0ADF761AC0EBCFFC7039838506B852087C5723B73]]
FP4_2 = [[0F9706C5C51FCA094DAED672B7C75886DE486FCBE07C6D259C8BF1D1F3183E1F,1BF18255A5D59FCC14E508BBE8D400B4D08F517B86E6A7A2C3A340B957D05048],[12101828B1EA491A4A279258EA4AF6925D6E31C56E6008592649B3DF5F390EA2,172A991B6BC865ADB5C062663D14C3FF2FFDDBC144D0FA96A3D4107C788DEC7B]]
FP4add = [[136A251588F4DED17E47F11602609A3BBABADEDC73EC46A26FBB8501F4FE5A1C,104CC149A2487E2D454FCBF8C030D919EB8C2515B2CBFCC54D16AAD0EEF5C17D],[14F983EB87F9C74E3F1EFAE4DBA22C6777AA4A1CE23D1997AAC55A898275A045,01CA8D777BEA3C1BB81B1AD270A8BED81A7B049A305FF40550F30D14E1E4D23B]]
FP4neg = [[202CE1B0449B15458024C4C12FCA251E47CD67DD84996564EB3690BF5A3539B6,0BA4C10C038D219ECF953CC328A3279AE5032C65D41AAADD768C95E868DA8ECB],[2116943D3260ABD9BBC676D8890C30FE0A03BE96A42C2DA339EA7D4538DEC410,15600BA3EFDE2991FDA54793CC6C05271582D7271471069152E1036796A91A40]]
FP4sub = [[183C178A072574CC93A823950D3550012269D632CAFCAB38F509C54D6AE93391,2069BC9E677D92B07D017949E34FA55692ED2FFAD5112B43429C713CF78BCC53],[14D9539A2C955F275B8DB597816FA615E10DBD801D8647C71C9816BA201ED8B4,1B755B40B539C4DBAE1614CEEB46048002FEFAF3D6D07C9B861733FAA8FFA4AB]]
FP4conj = [[03D31E4FC3D514C830991AA34A9941B4DC726F10936FD97CD32F933001E61BFD,185B3EF404E3086EE128A2A151C03F383F3CAA8843EE940447D98E06F340C6E8],[2116943D3260ABD9BBC676D8890C30FE0A03BE96A42C2DA339EA7D4538DEC410,15600BA3EFDE2991FDA54793CC6C05271582D7271471069152E1036796A91A40]]
FP4nconj = [[202CE1B0449B15458024C4C12FCA251E47CD67DD84996564EB3690BF5A3539B6,0BA4C10C038D219ECF953CC328A3279AE5032C65D41AAADD768C95E868DA8ECB],[02E96BC2D60F7E33F4F7688BF15735D51A3C185773DD113E847BA6AA233C91A3,0E9FF45C1892007BB31897D0ADF761AC0EBCFFC7039838506B852087C5723B73]]
FP2sc = [0B64E4C7E94363BA7CF0C331D495D34C66B8AB8128FE54F33E1DC07EF1368B4F,15E6835CEF8A7F08385FFE228AE869CFB57119DDE2DCDF8FE72EB91A42681967]
FP4pmul = [[04E4B79699A57884B295FCF827DCD2CE53A9BBB85BA8838B8D1468F767F1AC36,0B1822733ACF7B3E12C0456F8B96729B059AC9E03AE58BA10D2589133EA5E18E],[22331B0FC24451B2253A6195F9A0F7473AE5110D3A0AF1C2EB51959EC4FD7BFF,17BE2FE8165FDC2114753FA488930C8AC6311928A680D00717A8939E65AF5686]]
FP4imul = [[0F4C793F0F545320C2646A8D2A6506D371C9BC424DBF65F34CBE4CC007986FF4,196CFBD002ABCDA02326CBBC523A2F3AB472FC44DFA7D24DA299F03D14CC703A],[0BA5AF0B583DF8CFD3DDA22FC55CD75468F0615DCF7444FA11EE9AA88CF2468C,167FD17059D7D7E11BA47FDE3D7A1FDD16B4282DF657A25FEFAE5E2FB9AD9819]]
FP4sqr = [[11D19C52402D03FAD770BB64C9F85271F4D151A8E943A4B24B87B6263AB2461D,129A4A29CB1C6FBD029F7429627524F11F4AD0255B66EDB6A006FA16A3138CBE],[028E773BB7E8ECD55500ACAF6F2391C1871C8885DD88E6D2E100DD29ED04847A,0C6DB8C7E1E4E19A29C069E81414A66D6E0713693F9C76396ACD32C95C69A600]]
FP4mul = [[0B94F4157A0ED1BCA9E2989CE68D91D832C64827E8ADFB9503D07BF904CEDE7C,0F7B1A538AFF3ABA893BCC03F3C351E3C31B63FAF17358BA02A698AD0A501ED3],[0B1F91A8B59CB2E067C8ADDAF7003D7A9C87E37A5E255CCD7182161830A4F7B5,0A7DB48B30B8E50A02B08F90A367AE682B5D6E6E048E8A18F3F3CB2F81FDF670]]
FP4inv = [[0BD2DF4AEBAF83BC6CA46CC96AC0F5AFE8D8AE794684890A790B4BAA92D358E6,12BC20A81C61C75BF80878E27A5F8ECAFDECD008F1756D9DE226F4665DE65D84],[1AA6DC2841B0C006C639E14CE00FDD8E4F16AD7CAAA028EA868EF11A65F806AB,1750E61B3FCD053750F7BBF04942C1F15D5C92F89777F74E34F889A85707D54D]]
FP4mulj = [[18497766C5EDA7C5F29CB01FBDC33AFC2FBEEF7E884E17CFD75CAA11B9E5ABE3,1189601EEEA17EAFA810005C9F4E978128F9181E7775498EF000C731E8AECD16],[03D31E4FC3D514C830991AA34A9941B4DC726F10936FD97CD32F933001E61BFD,185B3EF404E3086EE128A2A151C03F383F3CAA8843EE940447D98E06F340C6E8]]
BIGsc = 07062125B67C10FB37FBD49260F95E9C5B5AF01D1484C9BBED5882D323A6B1C2
FP4pow = [[1C46F11E031BBEF683A6D8D405DD82AF03EDF9F3BF2361D9086AB59A83B021EC,063705D3441F5F2D93C3F1492CEA7B72CCB4BDFD508BBF632FF7279506B82735],[BCAC6A8DE78CF452A97A5084C759BBCDF78AE1AA25FC8EEBF8BD8CC8BD234B,1B1AB4E9F7153907A601F2EE5E9BBECB63C9B1711F26690D60731B11110D340C]]
FP4frob = [[03D31E4FC3D514C830991AA34A9941B4DC726F10936FD97CD32F933001E61BFD,0BA4C10C038D219ECF953CC328A3279AE5032C65D41AAADD768C95E868DA8ECB],[1EB39709ED7F8B7A60E4A2B24ABC8126158F8767A4E6B270221C5534AF34BEBB,0E3DF5009B427113DC4BBCDB5DE88C5CFE873799070497ED83215F9E0F34EA01]]
FP4_xtrA = [[0ABE3C2AB73BB4653758CF35EF9C24E3E194D44EAE16586FF079B4B8C064B40B,1DD48C4D91DFF764B7B85AEFB341527A0CA4AD9EF9D83748CCF8C9862F6939A5],[0C52D61926034E72BEF20F48EDC5F87785E51FF42E5C2B40C893C8ACC1A83FE5,07C847F9F7587AB00CAB23A11378886812CDC6C08A41BC71D06041E600F5080E]]
FP4_xtrD = [[0A2B5FB2B882DA6A763E861E34C5CF083BEC7387C263F1B8A5288FC636E60E23,05E3CC41C9C688ECF10C0E4B39580D53C5115202EB93048FCEBA01F818AD54A1],[08614EC16407E93D3EEF7DC751D1FD6BBB94B934C543094FE9F82A7E337DA7C0,05ADA1800A98B883DF33BA24F5A002F267413C092EC3A7F883714FE98B32C733]]
# test 6
FP4_1 = [[113B3967050AADAA882DB0D04CAB586A6D0D35A83E0DC835C77477564B9531B8,02DB1E071EA31DAEA6D464A982767B6735E89098C8C04D183ADE62A72081DF38],[0875E006A03C73AC589EF8B749D2E7DFB0C5E5A6E82E4548EB2F008B91F6859A,027FA38833ABFC119773B398EA0120A74475F54274FAE561D2FFAC47CB5EC26E]]
FP4_2 = [[045058658B2AF5FAAF229AC3FF3FCA482E660FCF6F669FF9C94D194BD067A88D,222A5E5CB776F00F99683AF28BD72A442AC16A9504A8AE6A2318EA4D3938F63A],[237BAD50730E8183FC6105BB326A1ED06395FA97E83107D9744D0594D3131378,12A77E49101EC081914EBAB3A797B0E19A656D40F421195499D8D47BF8647CD4]]
FP4add = [[158B91CC9035A3A537504B944BEB22B29B734577AD74682F90C190A21BFCDA45,01057C63CDA9E3B08F7EC03793EA3ED83C6A243FB55FBCA09F912904FD9F7FBF],[07F18D570ADACB22A4421F0E01D99FDCF01C0950B8560E40A115E23108EE435F,152721D143CABC9328C26E4C9198D188DEDB6283691BFEB66CD880C3C3C33F42]]
FP4neg = [[12C4C69903657C6328902E942DB80E68B732A145D9FB76ABF6F1AC99108623FB,2124E1F8E9CD0C5F09E97ABAF7ECEB6BEE5746554F48F1C98387C1483B99767B],[1B8A1FF96833B661581EE6AD30907EF37379F1472FDAF998D3372363CA24D019,21805C77D4C42DFC194A2BCB9062462BDFC9E1ABA30E597FEB6677A790BC9345]]
FP4sub = [[0CEAE10179DFB7AFD90B160C4D6B8E223EA725D8CEA7283BFE275E0A7B2D892B,04B0BFAA6F9C57ACBE2A091B7102B7F62F66FCF1DC20DD8FD62B9C4943643EB1],[08FA32B6359E1C360CFBD26091CC2FE2716FC1FD18067C5135481EE61AFEC7D5,13D8253F2BFD659DB6E2D849BCCCD698CE505EEF98E30AEEF78CFBBB2F159B4D]]
FP4conj = [[113B3967050AADAA882DB0D04CAB586A6D0D35A83E0DC835C77477564B9531B8,02DB1E071EA31DAEA6D464A982767B6735E89098C8C04D183ADE62A72081DF38],[1B8A1FF96833B661581EE6AD30907EF37379F1472FDAF998D3372363CA24D019,21805C77D4C42DFC194A2BCB9062462BDFC9E1ABA30E597FEB6677A790BC9345]]
FP4nconj = [[12C4C69903657C6328902E942DB80E68B732A145D9FB76ABF6F1AC99108623FB,2124E1F8E9CD0C5F09E97ABAF7ECEB6BEE5746554F48F1C98387C1483B99767B],[0875E006A03C73AC589EF8B749D2E7DFB0C5E5A6E82E4548EB2F008B91F6859A,027FA38833ABFC119773B398EA0120A74475F54274FAE561D2FFAC47CB5EC26E]]
FP2sc = [08207B6D0C5952870706D02E02294F3C9238CB0CA0760AAD96B348EBD92EFCCE,1434549130C3DAE306B3B25439E6ED86F544F339A977B6C8DA0C1D6334A99E90]
FP4pmul = [[11E48888AD34F59DF162826179DC2FAC9E8EDFFADE67EC0E4487A1D11F7E4B0B,12EFC9BE16372B598F1E9BC75F84C3BE619B131511EE26146BD01C0B87854167],[0BF5811F3C2E4367EB04D3B00B5E8AF8DB2C167B7FD6547C06674E89B5FE71C3,04936C31592ED5C51318BE70FB966198C520F9F4FF207D642E228F3F3DF9A3C0]]
FP4imul = [[0E281F03085510394768B5488A91EC6DD8C25E6D06326B49687A0CD0C1B34D32,0E479623992F94694225F74F8C5069040D8AD2FBEBC181792657ED43A2895C18],[064D602118BE18500A5CFC2FF6BB208B4F9DA55470DE1B8AD984DECA7DB5464F,0C7E31A9025BEC57F54281FC9205A344564DCA4C48E67AE91EFE5D66F8D9CC26]]
FP4sqr = [[14F13D843CD88A99D0EAA0E160F735A20D4D78A001139AF453C2D29E8A9A7CCB,1FD1F1AD53F8B40B9840DF27E19DC6046A127198AD6C3D824134C8CE0B43736D],[18789ABEF1A6BC64CBE53F963F1912A1CA07428A273C32242A0EA16174C703B4,172681F3E3B0E0FFB59C2FE28553A7AD46E0A7511BB717F2315D5E22695892DA]]
FP4mul = [[1B36C8E9F196425DCB29B752A4FCEABD8BC6BEDD816D8664E28549DBFAF8BFAB,127E8B92AE2DF7027F759A8855A22C9F5B7090ABD5FF2527F5423A18C58E685F],[04953CF9F1D82EDFFAAA8A8F72BC02B90B1B9F5B766B7A31981DC7074790030F,23D53577269B7ABA53CADC03EB2ED40F690667633B078B5EB0646078EA452F1B]]
FP4inv = [[02BE470116CAFBE04EC588580C0C8E86D9B65A4ACE49263BDD1D551C2D5A7EFE,21DC463A5884543E0893395AE361C0336194FA27DDA792C3E6B237EAB3DFD949],[01F8B1936B5DEAE0B4FAA7F4449B0849F3774467501BA49B440A77AEA8E7FAA4,041E2ADEDFF087E3BF9B2DC2F582A53039CF4E4549F0CF43EF02A7B447B854A3]]
FP4mulj = [[05F63C7E6C90779AC12B451E5FD1C7386C4FF06473335FE7182F5443C697C32C,0AF5838ED3E86FBDF012AC5033D40886F53BDAE95D292AAABE2EACD35D554808],[113B3967050AADAA882DB0D04CAB586A6D0D35A83E0DC835C77477564B9531B8,02DB1E071EA31DAEA6D464A982767B6735E89098C8C04D183ADE62A72081DF38]]
BIGsc = 09E6D0531A2B8614DA433368355124A06223ED2D2B11A2F7BF436B358DDAD556
FP4pow = [[0A8E3ACE1669D13A872CFD1E5D28198C759F114BDB6A672018809B7FFEB210FD,06F8E41578CE4F9AB311F740EE0951BE453748748AB83AC4A8BF4F8C9496F1C3],[0613BD3AF2D7F2835AC65D655540449F788B28B459081F4CE7F4E524D09153EF,106DF9B519E6409F763DBA5222E48FD7AB124EB0E6D8A90FECE8A9C0CFB814C4]]
FP4frob = [[113B3967050AADAA882DB0D04CAB586A6D0D35A83E0DC835C77477564B9531B8,2124E1F8E9CD0C5F09E97ABAF7ECEB6BEE5746554F48F1C98387C1483B99767B],[18F44E1E45B7E57F551F0E035BDB78628B3C838E0FE669F12B75820ADD8CD2A5,0699E95A048E7D3A6564403C591BAACC769AC2330AFA4F47857C2E0A60882FDB]]
FP4_xtrA = [[2009A5C0981C7D1C4395C98841B7F32C0F2744970DC47ED843482F3622F6A534,1A5A167950BEEA29D3C1DEFF09C4427B6E166CC0148F6CEEDF9B6AF145E1E565],[0D36F76AEA2E588124C8CF2F4CEE00932E8E8FF14FB4294C0CCAA5E0AA1D1323,1FF3AC36112A976562E638FDCAB5033EAB0441ADE81B46C44B2D76CBB9A27D54]]
FP4_xtrD = [[167ACAB63B335952714D1EA54203EBA05772E43D9D01496A834007E14F8B6F0E,1A1BB59F16B278AE4A9815D4DCB0CF35FE4150671BEBA351CB78037FCA3FB4FD],[05645ACC29AF79AFCC6551A0585B7B8E075336E9DF8F7DD442067E893C98B935,1C25C9044B08D922E48397145955E8FBCFCC91D605ACE2B5D75CB6B2001617B6]]
# test 7
FP4_1 = [[20DDBFEC74438DE61D5A47C89C70A9938B228EEEA334369B8F037062D1304573,0C5A3592876C833E55BD4CFF63A39C17A3E3D2A4CDB55988136B7A9F2560FC94],[026E4A3F2F569E869D1B2D48F8B2C1E5C22C2E33C8C98B554ACCA5CB7C2526EA,2128A8E2FB1CD798A02B7FE202F5FB43A399F8C3FB91EF700BB744A8979ADBCB]]
FP4_2 = [[1E02435679AE07C82ABDD8A7FD1193EC80486780FC00A11710E43191E0506672,01C3368B20D59A8920FA48D67E2159E5FEF04429323782BFB9518166CCF6E670],[0DB6B84CF850406AFDCF6A365C1F61569066E7C3E36BEB5C1768B9319687E02A,0E78608F76D4C58281F9319018254F96BDD4DC7030B4920969FA7C21E1EE2C64]]
FP4add = [[1AE00342E5816BA0975A410C1F1ED6ACE72B1F81872B98D0E1817E0555655632,0E1D6C1DA8421DC776B795D5E1C4F5FDA2D416CDFFECDC47CCBCFC05F257E304],[1025028C27A6DEF19AEA977F54D2233C529315F7AC3576B162355EFD12AD0714,0BA109726981730D7166D20DA0B7E4073D2EFE46143D4297B74B9CDB1D6DB27C]]
FP4neg = [[03224013942C9C279363979BDDF2BD3F991D47FF74D508462F62B38C8AEB1040,17A5CA6D8103A6CF5B00926516BFCABB805C04494A53E559AAFAA95036BA591F],[2191B5C0D9198B8713A2B21B81B0A4ED6213A8BA4F3FB38C73997E23DFF62EC9,02D7571D0D53527510925F82776D6B8F80A5DE2A1C774F71B2AEDF46C48079E8]]
FP4sub = [[02DB7C95FA95861DF29C6F209F5F15A70ADA276DA73395847E1F3ED0F0DFDF01,0A96FF076696E8B534C30428E5824231A4F38E7B9B7DD6C85A19F938586A1624],[18B791F23F7688295009A27716F6C76256051D5DFD66DEDAF1CA108941B89C73,12B04853844812161E324E51EAD0ABACE5C51C53CADD5D66A1BCC886B5ACAF67]]
FP4conj = [[20DDBFEC74438DE61D5A47C89C70A9938B228EEEA334369B8F037062D1304573,0C5A3592876C833E55BD4CFF63A39C17A3E3D2A4CDB55988136B7A9F2560FC94],[2191B5C0D9198B8713A2B21B81B0A4ED6213A8BA4F3FB38C73997E23DFF62EC9,02D7571D0D53527510925F82776D6B8F80A5DE2A1C774F71B2AEDF46C48079E8]]
FP4nconj = [[03224013942C9C279363979BDDF2BD3F991D47FF74D508462F62B38C8AEB1040,17A5CA6D8103A6CF5B00926516BFCABB805C04494A53E559AAFAA95036BA591F],[026E4A3F2F569E869D1B2D48F8B2C1E5C22C2E33C8C98B554ACCA5CB7C2526EA,2128A8E2FB1CD798A02B7FE202F5FB43A399F8C3FB91EF700BB744A8979ADBCB]]
FP2sc = [17B7EECDE883B96DEEC755F3407CC0827CF426EE91707E9AE014701D44CE9517,1318A711B0641E6854DAE56E0245CA6A84541A4E92C41221794E698282BBBDF5]
FP4pmul = [[01DFD2D3641BBC6DD33FDD7365CC66E0D3FA29E26161838CFE99808F8AF97869,18C6E6843472A0DDA24F66F9A22D00EC4D77F172D6DA25E2B71B10FCC97EB384],[03BCA503981D4F48541DBC7B7A8D3A8B2FDF1F7806D556EE969901251CF88198,052AD30DCAA5D3A78363A5D15F9D47FA835E974B20030F59366FD193DA358D63]]
FP4imul = [[11327F8A8F6481203C6851BD46B2F7558D9026F15B0B0D3CA215EEA41A98F433,021D416F1BAABF5AA0F40F33610EDAE78ED74200A22D9B6CF7B897DC280F4012],[0E95BD7B1C07B727AEA30FB5D4308B628D091536B4B943FFC0CBE2C4E8DEE97C,12F3F551B87C3B4F4D4FA255ADD2E176205CA1F16D3D62378E4CE846C1187A43]]
FP4sqr = [[23F8F5CBECC3D227727E846B0388C94D50E4B3EDB1C91D4AAB3312B4A750DC15,1EA5ACBDEBF124F036877E0B889662DE2ADD0B5D7F7286370E4EB8FBA75BB807],[0F9B02CA0E30BF57EFFF1E7F4374E18DDA4D0B4EE1BD6D79AF5E6FED3C9AAE5F,14B222BA3A51BA417895D9437B5DBDFF121765C3F93DBC628266F8B24F221432]]
FP4mul = [[1FF8BB0B391EFBE2FE8E6466F9CFC4FE116C449FECD3ACF19B21B1D70D29F555,1738C69F62FD132A6B5B20E2BE7210FE793BEC300CCE1FCBD8074300C9A174EA],[14DA7565FD43CEA6B4852A726BDB411B982F354FC8797D6656D4509FA3AF767F,1B4F6872EC4BCA8003814D4276B1B77F408142E3A37C5D21B913A39E97E70B49]]
FP4inv = [[0DD2B9101291FD18B723A49429DD6C7B24EEDBDC4CD41BB910C59458B92AEB56,01C146B54B0EE91107BBCE58045C5C3DB8E19043E1A8E02D9FD5BCAE20E39522],[15FA3A6D3DA5BCB83A93B9A1095AD2BD2788F47AB7C04F87572F633B5FA5AD77,040E0EBE708B9DD90C2E78B183B7CD82D8191BD5B397265B400A784B19423102]]
FP4mulj = [[0545A15C3CA9F0FBADAD8CCB70202D7542D20C5DE540DAC6FD7B851240A5A0D2,2396F3222A73761F3D46AD2AFBA8BD2965C626F7C45B7AC55683EA7413C002B5],[20DDBFEC74438DE61D5A47C89C70A9938B228EEEA334369B8F037062D1304573,0C5A3592876C833E55BD4CFF63A39C17A3E3D2A4CDB55988136B7A9F2560FC94]]
BIGsc = 223BD795AD7C08C2EC0C324DBB112BBAA3FE87F226A7EA916C219D667DA04E90
FP4pow = [[16866FB7D601A912DF14C9DDD7FFBC21C7C06C32E8B1E2BEDF411A6EC22AF191,1EF23A5636DD079113C95DB0094FA7276773E0C9E1DCBCDBC28DB0B44E602611],[147EEBC1B822E04D004EC4A8CB8818ABFB09064DD34A149F613F147136406A88,09CC04680A564955DF3322560681BCAFA7894A158F39E7E89D2F1E06FC07E720]]
FP4frob = [[20DDBFEC74438DE61D5A47C89C70A9938B228EEEA334369B8F037062D1304573,17A5CA6D8103A6CF5B00926516BFCABB805C04494A53E559AAFAA95036BA591F],[0D3914C93AADD1476BA9F9A50BCC515C97C3E05180D7E03E396A961C62F69D5E,03ACEED130C824F79CF6B62CAF376C888F1FDDF91ECC465D79DF8611544FAA48]]
FP4_xtrA = [[1B27DC3A3421E1647D7DBB972ED9A0B691E3BF8E91F1CAFF5C2D2FB7A36013CA,1DC8209768EADB826BF719A15D174034C70E22C4298A07C1B456033C4A941212],[0D84343A176AF9C28C3C39A15BB86C14A5BB48B8198008E57ACE8BFC28D3FCB4,1F55BA31458642DB55580F35BC7CE588209C022670F2C6BDFF7F4E2B69325BC5]]
FP4_xtrD = [[063D75F30CACE068E887D43E450ADCF95EDF6CFE8369EEF54B9255DE610BA6E2,05F14198DD181E738B0CE40CC14F2AAEE3156613E407D326E777C3BD5C99BEDF],[147797486CDDFC652A35791134DA65595EA567B67350842444F7BB8434E4FC33,0F0374801FAB155757711A3E8C82E6E010CBA96FC04F1D7F1D093A24C6212062]]
# test 8
FP4_1 = [[191AA5C874FC4C3946B618641F8558F4440578883988C5B024C624A289540110,164C6BAA05956D5A9BC1BA44902AC0185FB8817EB74518A6B11BC8A69FBF50F1],[18BAD0F675A93A673D1A9D7F43EBFCE4341A51576723DFF22AA66341915F015F,15E233A28DFF2844070F04DAA7451A0B4F002E03ADFB7C78F52923AE686B7229]]
FP4_2 = [[03B997A7F6DE02880B8F6F5671CEDD05FB5F43B48B875F031E22E6BA86607446,1A741C7077B3CDD67BBA61E2BB0657B7E6EA7B22DBDA87D88ADF1CF559B2879B],[11368B8DAA0C3E367979F9D8122435EE08C4B50D57350C5B992AEDE70734EDA0,13E55661EA715965CF72C8B17AB94038B1945F6CC81EE74A98C2C1F853502558]]
FP4add = [[1CD43D706BDA4EC1524587BA915435FA3F64BC3CC51024B342E90B5D0FB47556,0CC0881A74D9112366BE3CC2D0CDB0FD226325B37B16619D7D94C1AC9D5682D9],[05F15C8417454E9005D6B7F2DBACCBFF189F2F76A64FAD6C056B2D393C78994C,05C78A047000579C25C3EE27A79AF370DC54B6825E1124E1CF85C1B75FA041CE]]
FP4neg = [[0AE55A379373DDD46A07C7005ADE0DDEE03A5E65DE807931999FFF4CD2C754A3,0DB3945602DABCB314FC251FEA38A6BAC487556F60C4263B0D4A5B48BC5C04C2],[0B452F0992C6EFA673A341E5367769EEF0258596B0E55EEF93BFC0ADCABC5454,0E1DCC5D7A7101C9A9AEDA89D31E4CC7D53FA8EA6A0DC268C93D0040F3AFE38A]]
FP4sub = [[15610E207E1E49B13B26A90DADB67BEE48A634D3AE0166AD06A33DE802F38CCA,1FD84F399651C991D0C537C64F87CF339D0DDD49F373CFAFE4A2CFA0A2281F09],[07844568CB9CFC30C3A0A3A731C7C6F62B559C4A0FEED396917B755A8A2A13BF,01FCDD40A38DCEDE379C3C292C8BD9D29D6BCE96E5DC952E5C6661B6151B4CD1]]
FP4conj = [[191AA5C874FC4C3946B618641F8558F4440578883988C5B024C624A289540110,164C6BAA05956D5A9BC1BA44902AC0185FB8817EB74518A6B11BC8A69FBF50F1],[0B452F0992C6EFA673A341E5367769EEF0258596B0E55EEF93BFC0ADCABC5454,0E1DCC5D7A7101C9A9AEDA89D31E4CC7D53FA8EA6A0DC268C93D0040F3AFE38A]]
FP4nconj = [[0AE55A379373DDD46A07C7005ADE0DDEE03A5E65DE807931999FFF4CD2C754A3,0DB3945602DABCB314FC251FEA38A6BAC487556F60C4263B0D4A5B48BC5C04C2],[18BAD0F675A93A673D1A9D7F43EBFCE4341A51576723DFF22AA66341915F015F,15E233A28DFF2844070F04DAA7451A0B4F002E03ADFB7C78F52923AE686B7229]]
FP2sc = [05D19E3386DA1E357920CDCF39654C57D13F3E9AD873A40752DB489CC0BDC7FB,1ADF4B559AB8BEE75650B6F058EA5566313DE40A1319B5872EDC73BC778FD476]
FP4pmul = [[1B3D2A03001C11190E57CE49EF063ADAFBBB15A22AB46A45850D3C9712C6069E,1E08A78FF9C6C822A8A843AF1891BAC17E819F0E023778399A8CF5110C0996F5],[18AB297EF074355D16EEFEDDA51F97C1ECA667A53D78149698F634E795F15DD4,146FBE2B61DA44C35CA3A9DEA6CF33285C2BB397BB29F473D74FC1267BB65E59]]
FP4imul = [[1FBA887B11256D5A2C032D2AF317D3614B26F00132986C4A07D270B450DEB0A4,0C16F1A6055555437F549A4E079DA55E0D0C2EBEA2BEB107DE29ECD0EDCDDFCB],[1D1BB6BD15DFF09BE8C2D0E8F1E64EF0DBB8DDAB71D6241830F4270D892BB2CD,092F6971C03971A56E71A468A9561B029801E66161BB6BC7BA876A076A82C853]]
FP4sqr = [[1EA6E59A751F2D9BEB4B7D41EC7DC6183DBECBF1B12BE584C2E658B830244B7C,048203403DE504E074677732B59A8ACE782AABEEBDA5E793018DC9FE9B80FFF4],[15D46302640540F0E837EC377468BCBA01F278F8491A8B4E031A00D570B96073,0C5573B22E7E6ADAE7310665E12B8ECBBCFD75EE9A0982AFBFEF330B317350B2]]
FP4mul = [[1816579F3250041E565ADDAD863BFEC41EE5EC0418422D59C8C5427F5974AB44,0C82A9F4AAF48C57E123F355EC2696BCA72740166B964265A0E04429EBB11684],[1145695AD51BFA8453311C7DC44E1E77A3E240BD51B6EF79DE2AB7DD8AC8E3F2,0FAD10EEA6777F6804A032009C1DE17FA3EDF86C77711DBE0DF01B878DF3C774]]
FP4inv = [[1C401B8BAF269F9E620EDC43F81EA7B5069D6B886122B8F58D7F6C22715C225C,0B12935B4BFE3A311FF5754D899A44A551A8746EEFAF5140E46C383F7D52881E],[232877D6A338EDA43C4F525B4FBDADFF6DC1F19069B86CA0930248AAE5237DDB,201965FED34E2519535733AEEEE7B3EED8528574A1507B865B0599F134BC43CA]]
FP4mulj = [[02D89D53E7AA1223360B98A49CA6E2D8E51A2353B9286379357D3F9328F38F36,0A9D0498FB38389D936BC2F570CDB01C5EDAA86CFD161D89616963009DAF1DD5],[191AA5C874FC4C3946B618641F8558F4440578883988C5B024C624A289540110,164C6BAA05956D5A9BC1BA44902AC0185FB8817EB74518A6B11BC8A69FBF50F1]]
BIGsc = 10929FC0DE9F2F7D28F98AB4E33BE2D05ABD79CB5A25C33EC99ED95B71591E4B
FP4pow = [[168C373E261308606F4FF4237A65537F2B61E975011EB0DEE894410627C4CF92,0FBDE2F82066608674273DB3F12EDA34344891C29DA2ED07AB94021FEA53DB8B],[032354E3725BD1EC7151A14D7337F01F160BC620B05169857AA46426AA1077D5,1A0DF8FD7BBB54BC5FABD3A612384D3AEA4E7B3723CFBDF70FB5F2BE668B8335]]
FP4frob = [[191AA5C874FC4C3946B618641F8558F4440578883988C5B024C624A289540110,0DB3945602DABCB314FC251FEA38A6BAC487556F60C4263B0D4A5B48BC5C04C2],[1C09D9184E8DAC0E96BE8828BCA86E3316A7919E8E6355294938DB6B9B207F2F,1FA4486B8DB16897466BC801AEFCB1AB4BC8977C02D55D54F0CD295205AC4C8C]]
FP4_xtrA = [[08F21EE515B73105089877EF93C7297AC7B7226723B5230E17188A91698C3266,222A571E72A7DD6111933271937D0C5360B105B0A6F4893997AC471E8C346354],[235C944B088FB1617AE77F4BFEF235EBE9CE59619AC7DB617AB38D9F144EA0DD,148548A113E24381F5E0F5BD3A54EB858795555BFC42738C2F3F7A61873E9F70]]
FP4_xtrD = [[10719A099396BF370E9D2BDE27D67B02D9F3B1CF5623990637C0336279979F0F,1FE92BEC439A7E469E5FC1728A0BD844013956CD7F2E34091C22809014390978],[234A04EF46E78BB1B1AF47D181DD4FAF45E744B8FF590C509A00A369375C0D7E,1419DAF7420C9155449130B6B5525C0F36BDFB07DDF73CBFEBDB5678A62EDF51]]
# test 9
FP4_1 = [[16A69AC8F8511F8BCBABFA4A3D6CBFDC7F56407CD2AAD8F537A48F34716F9B22,11BDF1F22DCD9263AC32817215528D23B72B30B5B76EFECC36202A189FF1E042],[22B7DE8C1B2B50484140C63791B0E12FF6BF047E07A96A2E566A26BAB12B8CDC,1B44817426B6D1A663D905585983B4B36FA2363C459B1132B8D22D5A875C586D]]
FP4_2 = [[0696F926F6660C1DDDECCE7FCA2CAE72FCEC3F3FB489A186AC3727D264073437,23FA0FCEF4BDE58F190584B83A9D01D1B76752E591E3309BFA60AF6CE96721BD],[1F673D7FE54F1E738B9F791FBDA9FBEA28271DA376DABEF6348BFC6FE0B31202,160046172124E2B02944A3895C865B2C886CEB210B22A9F26409E5E3ECD3CD]]
FP4add = [[1D3D93EFEEB72BA9A998C8CA07996E4F7C427FBC87347A7BE3DBB706D576CF59,11B801C11A1B4DE5147A26C5D58C28224A52ACAD3148F086721AB5962D3DAC4C],[1E1F1C0BF80A44AE1C225FF2D4F77646FAA64B33667AEA42CC8FFF3B35C3492B,1B5A81BA3DD7F689140249FBE2E03B0E9C2AA32766A633DCAB3637406B492C3A]]
FP4neg = [[0D596537101F0A81E511E51A3CF6A6F6A4E99671455E65EC86C194BAEAABBA91,12420E0DDAA297AA048B5DF26510D9AF6D14A638609A40158845F9D6BC297571],[01482173ED44D9C56F7D192CE8B285A32D80D270105FD4B367FBFD34AAEFC8D7,08BB7E8BE1B958674CE4DA0C20DFB21FB49DA0B1D26E2DAF0593F694D4BEFD46]]
FP4sub = [[100FA1A201EB136DEDBF2BCA73401169826A013D1E21376E8B6D67620D6866EB,11C3E223417FD6E243EADC1E5518F2252403B4BE3D950D11FA259E9B12A61438],[0350A10C35DC31D4B5A14D17D406E545CE97E6DA90CEAB3821DE2A4AD0787ADA,1B2E812E0F95ACC3B3AFC0B4D0272E584319C951248FEE88C66E2374A36F84A0]]
FP4conj = [[16A69AC8F8511F8BCBABFA4A3D6CBFDC7F56407CD2AAD8F537A48F34716F9B22,11BDF1F22DCD9263AC32817215528D23B72B30B5B76EFECC36202A189FF1E042],[01482173ED44D9C56F7D192CE8B285A32D80D270105FD4B367FBFD34AAEFC8D7,08BB7E8BE1B958674CE4DA0C20DFB21FB49DA0B1D26E2DAF0593F694D4BEFD46]]
FP4nconj = [[0D596537101F0A81E511E51A3CF6A6F6A4E99671455E65EC86C194BAEAABBA91,12420E0DDAA297AA048B5DF26510D9AF6D14A638609A40158845F9D6BC297571],[22B7DE8C1B2B50484140C63791B0E12FF6BF047E07A96A2E566A26BAB12B8CDC,1B44817426B6D1A663D905585983B4B36FA2363C459B1132B8D22D5A875C586D]]
FP2sc = [2204E175DE8021A2F9208951E1FE5B23110BDBC80B5FF950D4E4484FD4D6EB81,15DDB4A6BFB8B96CADCA8298E9732DC3DBAD543D873FE8485F6F9D01B7EE4F83]
FP4pmul = [[23808922E9FA6E0372C98127DDA8034B590801DCB143D83BF54F39E37F717112,1DB99061FE6CEC915E384653F4072CDE3DA3543C485F4E9ED138A12002688205],[14CEAD2375C833EF421E5AC63F967933B679A3AABA3990AFC8EAC7B75CDC4CCB,1304A67460290122289CD78CBC96E435F4F052C1A0779E1FDBA08BEE13162C37]]
FP4imul = [[0134D64798582A19E9AA755B8774FCC44572D1401D288D410525C5F6BEF42C91,21EF8F91551C14F44F5A6D633B6A34A44C9A00E3735C39BC75CEE4F6EB3D00F7],[19BEF4609E495BE234D515FD34CF39B9B839436D950A99467E863A4A049D0EFB,02240BA1031590E0FA54EE67EDC93CA8A392A84D9CA1104B502C9338123EC136]]
FP4sqr = [[1B65862F7D17DA76CB65CF7EBBC066F1981F6028CA753F25495E4C4BD76C5A17,16419D77AA70E5DB1C9952CB3388856D0EC634C08BD3349E89633D98C9BE6F28],[0C2BDFEC3F2EA2A566B79F110854D24CE311F0681D404C7B1EBFD008951801C3,1530832E2C9881D5A68B2C24CB39AF0538B0A72E4C5F4B6E40D38EF02CBE6F67]]
FP4mul = [[095AEED5ECFE14E87DC0F2193DB7CCBE3FBC8526CBC2A60C5D0F49A2991E0BB0,1D6C24B1D920A7BC494CD635AE77E352C5C5B16FD63A58DF6CA2C2DF06908E38],[719A8F600E435C6EFD994E479DC8C696E09AF1B205158A25261B8EAE7C3DEF,0B0EC1C532209256F1A1140CE6C99416AAFCDC7926CD54CE225A7CF69F898494]]
FP4inv = [[1847D7D5DCEA64A3E4AB00BF96B675232E21FDFD41279A72E31E0B8E32199486,175465C06FDC80B9B4B394E5DD076808448D63EE5D2071B9FB51DE49DDAA7500],[2077CF37A1777F76F184B3EB326752FE0E027641665A57E59C4171EFDD26F92A,026DD0ABC33B4822D5C179C8AE78B112C4774DEEEC9BB353E9FE711CD1AD50F7]]
FP4mulj = [[07735D17F4747EA1DD67C0DF382D2C7C871CCE41C20E58FB9D97F96029CF346F,19FC60003971F7E0F45BEC2B70D12F10422163CC353B3C7F50D63025DC6C8F96],[16A69AC8F8511F8BCBABFA4A3D6CBFDC7F56407CD2AAD8F537A48F34716F9B22,11BDF1F22DCD9263AC32817215528D23B72B30B5B76EFECC36202A189FF1E042]]
BIGsc = 22208DF6145D00DE467ADA41219417948EC07D96203E6010246D954476AEB8B2
FP4pow = [[218F96DFC48DE6B816B9547C9134DBF44B6A876DC7A85590BBC9EB2B16C2165D,01E4220BAE5D79408D01A853743CC5C05AFC3F3679D504D5C97AAE262C173829],[140B7516836A6297D1F7CF08D8DEF82C4EE4DC701D3DDCCC839EC00E2BB077E8,047CF4F748A925F70ABB5A432E315DAFC9A4F861C8217A9C497E72515CA450A9]]
FP4frob = [[16A69AC8F8511F8BCBABFA4A3D6CBFDC7F56407CD2AAD8F537A48F34716F9B22,12420E0DDAA297AA048B5DF26510D9AF6D14A638609A40158845F9D6BC297571],[02386997362451EB0C178DF105D973FA3F73E3F3D134A81BAC3AFCEF7C4D0EFB,200D713B31B6A02A2188AAA5E596DF25BEE653DF25373B53E80552E70954B2B6]]
FP4_xtrA = [[187B98D3038C67881B8E758FBEB663748C67EDB0D53EFDDBB755914CF1E9AA65,075D332C02DD9FEB2FF939436CCF2AC39C961D6D8F9311FC35763E7C5C46C364],[19124C02365A2D60FB8A2E75F5C6AF6974614E49E9B64AB3012B4A20DDED2BE0,1DE2CB099F77BF9BB039C6C370367847C9F1D6239EC9607C8CDF017DA49C6CEA]]
FP4_xtrD = [[1218509D94E5C56CE4CBBA4EBB4A4E0BBDB2B61D3D28CC1C987B51D250A87986,16C5B9935745EB2174F22F4B8346D1F8C4AFAA4334FE75E7DB890D56E5F60457],[099B9D0464A4EF1A87BD6CB736EFC70688104B87FC80A3144EC7D59F3F387015,03B986166925D1070CC1780C897A4AC5CF7565CAA782F01035ABA1C6834074DB]]
# test 10
FP4_1 = [[07F4E4603408DD24FAE25F328088D81BDA4AD078415EDE2D0ED9FF8E86FB6E54,15D57717A3A79326ACAFBAD4CD1A2FDCA0EA7DB1A06095C8E2C3A5F8C4FCB338],[1B6F5D1695C1B04FCA1A2C8421E1DAD5D66B0ACE939860E0FF1CE4799821E3B7,177C210E38ED4664C97D8CF2B4A43E59D16C36C3452BF524B75F5F90E45D4D66]]
FP4_2 = [[0B384DA0633CFAE20D2F4209D80451EA8B017B7139528D330307F9AC5A1B7349,232E723E48810C69A10B06A62BD1190489B2196E00B131F854427A2E2CDB01A7],[153E0B95F7ADCEDE1CD0366486313BCC0DCDE9D01B7650F1724093234265BC61,128C13875949A0408B4FA7CC5452B6A48AB20D628E741133FCE94807306184D7]]
FP4add = [[132D32009745D8070811A13C588D2A06654C4BE97AB16B6011E1F93AE116E19D,1503E955E3B875829CFCE2167E87E20E065CC031890888DF789FFC3795BC5F2C],[0CAD68AC84FF5520362C83842DAFAFCEBFF91DB0970572F0B2F753AD7E6C4A65,0608349589C6BC97A40F555A8E938E2B37DE6D37BB96C776F5E283A8B8A37C8A]]
FP4neg = [[1C0B1B9FD4674CE8B5DB8031F9DA8EB749F50675D6AA60B4AF8C2460D51FE75F,0E2A88E864C896E7040E248FAD4936F68355593C77A8A918DBA27DF6971EA27B],[0890A2E972AE79BDE6A3B2E058818BFD4DD4CC1F8470DE00BF493F75C3F971FC,0C83DEF1CF82E3A8E7405271C5BF287952D3A02AD2DD49BD0706C45E77BE084D]]
FP4sub = [[20BC96BFD93C0C509E70FC8D22E7ED0473892BF520158FDBCA3829D188FB50BE,16A704D96396B0CABC6293931BAC7DAB3B783B31B7B8A2B24CE74FB9F43D0744],[063151809E13E171AD49F61F9BB09F09C89D20FE78220FEF8CDC515655BC2756,04F00D86DFA3A6243E2DE526605187B546BA2960B6B7E3F0BA761789B3FBC88F]]
FP4conj = [[07F4E4603408DD24FAE25F328088D81BDA4AD078415EDE2D0ED9FF8E86FB6E54,15D57717A3A79326ACAFBAD4CD1A2FDCA0EA7DB1A06095C8E2C3A5F8C4FCB338],[0890A2E972AE79BDE6A3B2E058818BFD4DD4CC1F8470DE00BF493F75C3F971FC,0C83DEF1CF82E3A8E7405271C5BF287952D3A02AD2DD49BD0706C45E77BE084D]]
FP4nconj = [[1C0B1B9FD4674CE8B5DB8031F9DA8EB749F50675D6AA60B4AF8C2460D51FE75F,0E2A88E864C896E7040E248FAD4936F68355593C77A8A918DBA27DF6971EA27B],[1B6F5D1695C1B04FCA1A2C8421E1DAD5D66B0ACE939860E0FF1CE4799821E3B7,177C210E38ED4664C97D8CF2B4A43E59D16C36C3452BF524B75F5F90E45D4D66]]
FP2sc = [20CBFD36B803BE2824DDE0F2BFCC72A26AAF843D68D4AB097D13694A1837AE77,069F7A718172A584FE4CC442706B6581990A6365A6D7C470D150D2E77165C25C]
FP4pmul = [[1E15126FB074F341B304B3C98F0A8403326C76EC889122D404127B15891D37B2,01DBA1A18C80782091F0B55E664FB39813FF3622EB34BD80D686D6814D92F918],[15CE4AB9C4EB52A7B2F09D7C3D5EFDD0467063C6A196BA76EF3BB3E068AC9375,211478FC33512DF84DE9150D52C09C0CF168BB5ACE06AAF663D9BADE90F74CCF]]
FP4imul = [[239C0761CBDF9C3F213779620A6C322788617D4C344C90B3C743D81362BB8B41,10812FD496B35A179E783484D1FAACA1F2FF38982B3709A740E222122059A079],[1EEA45CB112E367BF678544A529C4891B04457AEA023EE9E819F30AA308CFF3D,1F5D297FD626A746A1B49791F5D52F08A78EBA36F65D63E1BA5BA86B3ABF0C17]]
FP4sqr = [[18D026D353BDFDA75A9DCBED0FBA7424BBF6505F8D43FCEA64F55FBCD3F551E8,13FD3BEE249494FAAB46464B6A81B9F857BBCD0FC8848E811D0CF852294B3656],[213816ED6B310BC0BC46489B0E44CD2F85E3566A5A6BEC29FC3759D206EABAD3,232E7F1D100E70FDEC7E718E018D522FB2AFACDC7D0F27AD0B2A4B2B0B30398A]]
FP4mul = [[58E828A7548256A0FF0F706D1CBC6344E2BFF109BBF5EE6A041DC54D6C6214,1A09876A6C4118BE6B2C58BD550EFFBFB0F706088E9E672BA37A2966D9552296],[1A77F96B1EAF772B94482FA4A425D8C4A2C54DA58BA589FCBEBD0F5C13F89899,1AC931F2613B68AB9F853FCBB57BF2431E185B664AFEADD9C717236F3EC21508]]
FP4inv = [[1B401FAD9EF357F82D769D8C0D400BE39F0C800E09F23BEECE965F2D2E7B4109,1BB126215EC13DC4B25FF097F6436D306C8B24E3021559D2A4A8980E9ABFC0BB],[0E806F68D136A627A002D0F309DC5DB10A975DD0EB2986EE7E531BF24B030BAC,06AA998F4CB9EBBAE4BEBC35FE203282E59BA27843E338228542571B0D3337A1]]
FP4mulj = [[03F33C085CD469EB009C9F916D3D9C7C04FED40B4E6C6BBC47BD84E8B3C49651,0EEB7E24C63ECCA6E2D9DA125C22B25C83976AA3C0BB1723F816201B2063DB6A],[07F4E4603408DD24FAE25F328088D81BDA4AD078415EDE2D0ED9FF8E86FB6E54,15D57717A3A79326ACAFBAD4CD1A2FDCA0EA7DB1A06095C8E2C3A5F8C4FCB338]]
BIGsc = 15AF867338DC6852E2FFB3565E71CAD92C0F02C3026035C49612337CD6735699
FP4pow = [[1A5BFED7408215852831837A61D36CEDB6DCED9F5E6EC7B9416CA189C4EF0888,170EF0011CEF0E5C867F42438CBCAC7AFCBB76D97FCBA30FE7180613A6FE022F],[1D778E97E5D06938A5DBFD7D4787401694E555D650D91F746070628AE7138960,1B65E49A22522D0CD507C649CFBB7B60469A229A1E1E75EEF548DDC55BF8B3A6]]
FP4frob = [[07F4E4603408DD24FAE25F328088D81BDA4AD078415EDE2D0ED9FF8E86FB6E54,0E2A88E864C896E7040E248FAD4936F68355593C77A8A918DBA27DF6971EA27B],[1FAE1B0EEB31E734A3A0A16ED6DB2C669D7DB5FF6941AD4F0B09C4E67B3D1492,11E76B5F18379757BABDB48EEF2BA3BA2209F7CA518B057C13C5A3701169196A]]
FP4_xtrA = [[23BB33D67E447C1959D01A4E46E944D97CD383BF45CEEC78F8A7B1D0E6E01886,06388ABDE31BCB450F47A9C214179CC7DA88CEB163F996930B3898D9AAC1E502],[2397A4134DEA60EF86ACD8BF5EFE0DD143CC1E4F0E42091E662CC23B800017D4,1F67862435745A2EE57D20E8A073FC3BA0D721978F3F9274B3B1F6ABF8A5264B]]
FP4_xtrD = [[08E65E12EBAC435D64D90D880EA8C3ED0760AF6F0A8640904741609FC5FE7540,0C524DBEE5B598BB02A4B0064AB0C1123A26A89A9FCCA1D115EBD04FFB6D2599],[1016D11A85D41844EEFEE2DA5D41B534EA39BE2B518A30287DA4DAE67EF7D6DB,0A26C1397108A9AC1DFDCCAA760F013D0D086C86D7549432FD1CC26E1BB428F0]]
# test 11
FP4_1 = [[10153C9957CD7A6B931D5B94D827A6C7DF98A68F3C8CDAEA2F24A18A53A49174,20FDDEA884990FFB90D224B5FB95AD28A329D50D3A321D5FA80FD67113F7306C],[0C75DC3DB92BBB4CAED75767B9A20435F893947D227648CA20DCF79F8CAAB353,1BCB20A13046763B6C677B634A836372E6A4CD573A861E2D3766060F037F3F54]]
FP4_2 = [[09404F0D767827CF4FF590EE100EABD4ED7D57633D870C7964BBB61498CCEB8D,0958B94CA1780AE50D5E321E0A9B88085648B84BD2FCCC8C352C1888E804288A],[197720F6E67ACD19530E470D4FC2F767329C58BC4663D537DAAE35807869D98D,1B8297AC7E0104706A31A452BB50884110BD868874A60E035F6DDF7C0799A482]]
FP4add = [[19558BA6CE45A23AE312EC82E836529CCD15FDF27A13E76393E0579EEC717D01,065697F51DA0F0D2ED72776F8BCDCE5DD532B66AF525AB0A1ED5CB0A9FE00343],[01ECFD3497365E585127BF108F0194CA06F0164B50D0DF203D250930A8F9372D,134DB84DA5D7509E25DB40518B7084E0D3227CF19722ED4ED86DC19BAEFD8E23]]
FP4neg = [[13EAC366B0A2AFA21DA083CFA23BC00B44A7305EDB7C63F78F4182650876C43F,0302215783D71A121FEBBAAE7ECDB9AA811601E0DDD7218216564D7E48242547],[178A23C24F446EC101E687FCC0C1629D2BAC4270F592F6179D892C4FCF70A260,0834DF5ED829B3D2445664012FE003603D9B0996DD8320B487001DE0589C165F]]
FP4sub = [[06D4ED8BE155529C4327CAA6C818FAF2F21B4F2BFF05CE70CA68EB75BAD7A5E7,17A5255BE32105168373F297F0FA25204CE11CC1673550D372E3BDE82BF307E2],[16FEBB46DB2118410C86EFBEE44273A1EA3712AEF41BB2740494E60E705C2F79,4888F4B24571CB0235D7108F32DB31D5E746CEC5E01029D7F82692FBE59AD2]]
FP4conj = [[10153C9957CD7A6B931D5B94D827A6C7DF98A68F3C8CDAEA2F24A18A53A49174,20FDDEA884990FFB90D224B5FB95AD28A329D50D3A321D5FA80FD67113F7306C],[178A23C24F446EC101E687FCC0C1629D2BAC4270F592F6179D892C4FCF70A260,0834DF5ED829B3D2445664012FE003603D9B0996DD8320B487001DE0589C165F]]
FP4nconj = [[13EAC366B0A2AFA21DA083CFA23BC00B44A7305EDB7C63F78F4182650876C43F,0302215783D71A121FEBBAAE7ECDB9AA811601E0DDD7218216564D7E48242547],[0C75DC3DB92BBB4CAED75767B9A20435F893947D227648CA20DCF79F8CAAB353,1BCB20A13046763B6C677B634A836372E6A4CD573A861E2D3766060F037F3F54]]
FP2sc = [0E5D9CFE6B7529816B9076D8D4E301EDA2523C237D065813AE94FE64094A242C,1339141819E19494D30BCA295AF65E991A816D7DBB7C3E157C6CD3EFF805AE16]
FP4pmul = [[1F140A59164559ABFA462DB9B62D231A621E15D1A6BC2661C08543EB33BBA9AE,8C5ED29BB107828A939B4B6B68EC0F8EBEB31CB3D2FFF0374B601D3A3A4B55],[1FBA1A9B8EF78B57159F96FDA300177D5222D1EEAD451C393FE48A3482F2E63C,1B3CFBB1A50769397DA746C16C39C9725E523F18557B7D76B2A0D513FC41663B]]
FP4imul = [[10D45DFD4C461FFCFC2E163E87FEE8822AF725DFFD5B919EDDD5BFA9D40057BC,05EAB294E209255871889493865A262A1963C4256DA1EFCCDF071D008AB1E0ED],[109A9A692264D2D5C22FCBDFD129F5A24904481910831B400D6F406D6A590025,19EF464BA7AF77F266D9B621906A12B704B124E5A0FC7597F531410A9E392163]]
FP4sqr = [[111629C7154B2EF0D9D49AEA61DF675A9E63109CB4672F519F72E05EA26C5C70,19E9648046A4C6EEC1231E9269DD290EE941E46D231B58AF0B2671B0ECC4BE7E],[0903A42888BF7BC82C5A540A63A109E4F69CAFA9C7D777CC58383E84C104D629,21A7B23AA206390CA894E1EC75CB4A00EB61BAB61DCB8C475CF6EDFE47BE853E]]
FP4mul = [[1C3D6017CC398A072858AB27F0B8E85FF778DB7EDB9FD7FA7347B938D54C86EF,17831DC41DD43179710B0275B371BF2883E21FA531E2BBA418AE6C406673A2D7],[09DBEEC11020EEBF9AB8EE67F81C79EF6882EE0A338E3A4272285B55F44CBD06,0EF5B36AE7F91F4DE4D607FD1D8A32665CEADF474271B5E100895042419FA31F]]
FP4inv = [[0BA22A9869AC5DDAAD7E53FCF8022C860B21A7DD5794CB7E5AF5B61CC915C581,0EB5BD92DCFB4DC51DD879648DE5C5C3ECB38A86FB1E95DFB9C395C73439F57F],[09ECA4917ABF47D3022EB034C2567347173C8494F93117BFDC8A22BA0954E54B,2250DB767BE6B57D74F80A93E48F53E5669274E6897D0578662BA964749CE979]]
FP4mulj = [[14AABB9C91556F1EF32DBB68E9820796362E9E13FFF9697EA7DD157FE546C9B2,0440FCDEE102077A6A80F36689C200D5BAF88AE644F3281599DCD9BF340E9CF4],[10153C9957CD7A6B931D5B94D827A6C7DF98A68F3C8CDAEA2F24A18A53A49174,20FDDEA884990FFB90D224B5FB95AD28A329D50D3A321D5FA80FD67113F7306C]]
BIGsc = C3B5E51D3A86B9B87777FD3155D3534CB30F575E01699FA5662CCD485DA3A6
FP4pow = [[1B70CEA858C125175D2F849D4B60DA45810FA0245A9730A770B3D33C74703F5A,174786E90F9C5084EFF225BA70BA31B7EA2B11A812AD34F3CAC05BEFAF6D6DF6],[078237DFED831BFA951882CBFFA679649A8D600F4A582D74B2D3DE6C637EC334,075E8B1200DEFDBB99DD0EE8DABC31526DF82E701A685D7F293AB7BE2F0E9DAE]]
FP4frob = [[10153C9957CD7A6B931D5B94D827A6C7DF98A68F3C8CDAEA2F24A18A53A49174,0302215783D71A121FEBBAAE7ECDB9AA811601E0DDD7218216564D7E48242547],[06414B1CF1BB9D520103DDFFC72E1DA914945BEE0DE268609805C7E2D37E1810,0D37D3E05D171872EABD74DC1ADB9D5C81C507F6ECF37337D6E6D7E5A6BB3E6F]]
FP4_xtrA = [[1716020D7CB280B558947462629E014505875C37B0BE14976BCACAEF79E34909,156D852DC90D69D07A3EB17B332CC1447B562E7D722E4799BF76E01EA6E790C6],[183B6A69D0EE07D671D7B7E277EA4D6E730FFF36CF1E979F0B7AA93E32F4B65C,133C501C5B3FDBDA132730F377DF97EBAC8F700193678C492079670BC54754E3]]
FP4_xtrD = [[14EBB0946E2064276457C3252BF3809E03719A6C5356B85EFF8FC139573E8F3B,1FEDA72F4E52FB1300FA93EF67789C63EB6DE82EDEC99BB337D30CAD7D0D090C],[21EF5CA3FB16F2618A0902D9D6E51250E7C3D8A40CC4096099F22DC3DA5A3CCF,113DF37CF1B2D1681FE819EA160B4340702BA78862C54ADE4EF6B23D96865880]]
# test 12
FP4_1 = [[00,00],[00,00]]
FP4_2 = [[01,01],[01,01]]
FP4add = [[01,01],[01,01]]
FP4neg = [[00,00],[00,00]]
FP4sub = [[2400000008702a0db0bddf647a6366d3243fd6ee18093ee1be6623ef5c1b55b2,2400000008702a0db0bddf647a6366d3243fd6ee18093ee1be6623ef5c1b55b2],[2400000008702a0db0bddf647a6366d3243fd6ee18093ee1be6623ef5c1b55b2,2400000008702a0db0bddf647a6366d3243fd6ee18093ee1be6623ef5c1b55b2]]
FP4conj = [[00,00],[00,00]]
FP4nconj = [[00,00],[00,00]]
FP2sc = [00,00]
FP4pmul = [[00,00],[00,00]]
FP4imul = [[00,00],[00,00]]
FP4sqr = [[00,00],[00,00]]
FP4mul = [[00,00],[00,00]]
FP4mulj = [[00,00],[00,00]]
FP4frob = [[00,00],[00,00]]