forked from skair39/milagro-crypto-c
-
Notifications
You must be signed in to change notification settings - Fork 0
/
test_vector_BN254_T2.txt
248 lines (236 loc) · 53.3 KB
/
test_vector_BN254_T2.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_T2, Modulo = 0x24000482410f5aadb74e200f3b89d00081cf93e428f0d651e8b2dc2bb460a48b, BIGmax: 2^256, Frobenius_constant = [0x124e0b8d29e8cab6bd0a41f67fa37f195bbcc69b33c3bce492b268c973aef062,0x11b1f8f517268ff6fa43de18bbe650e72612cd48f52d196d5600736240b1b429]
# test 1
FP4_1 = [[0E2AEC7D6F998735E4C5D6C27DEAEA4F1028696D6D06B55D5F99A55A776AC64E,1A4E0BD2BA242A1A27378307FC07EADBDA07D2EE0963EA6AFBBBBFBEF4091CB4],[1F3B2E4CE587DDF0A4B3215E3589B6A6F4DD3F3ACA7675375142F0AB92A49964,143023EEE129BC807BCA219E9349B2A1A748952081C1FE2D84CF266ACD0D2650]]
FP4_2 = [[1C7E183245C7A1CE13D51269B6A319FDA04A31907140EAA7D932DA2AFA8F829E,17D765BC7F2852FF6EBD80DF299E41987D81C68577B1E37A5DED782168EF1910],[1F02F9AE8291F10FECD84EE426CB9688A7360FE45C92096ACE8556C204D212F6,05EB03565EB45C2BDEFE970746D43E97E1D24CE4A92848F89BF2F117727A30C7]]
FP4add = [[06A9002D7451CE56414CC91CF904344C2EA30719B556C9B35019A359BD99A461,0E256D0CF83D226BDEA6E3D7EA1C5C73D5BA058F5824F79370F65BB4A8979139],[1A3E2379270A7452DA3D503320CB7D2F1A43BB3AFE17A85037156B41E31607CF,1A1B27453FDE18AC5AC8B8A5DA1DF139891AE2052AEA472620C217823F875717]]
FP4neg = [[15D51804D175D377D288494CBD9EE5B171A72A76BBEA20F4891936D13CF5DE3D,09B1F8AF86EB309390169D073F81E524A7C7C0F61F8CEBE6ECF71C6CC05787D7],[04C4D6355B877CBD129AFEB1060019598CF254A95E7A611A976FEB8021BC0B27,0FCFE0935FE59E2D3B83FE70A8401D5EDA86FEC3A72ED82463E3B5C0E7537E3B]]
FP4sub = [[15ACD8CD6AE14015883EE46802D1A051F1ADCBC124B6A1076F19A75B313BE83B,0276A6163AFBD71AB87A0228D269A9435C860C6891B206F09DCE479D8B1A03A4],[38349E62F5ECE0B7DAD27A0EBE201E4DA72F566DE46BCC82BD99E98DD2866E,0E452098827560549CCB8A974C757409C576483BD899B534E8DC35535A92F589]]
FP4conj = [[0E2AEC7D6F998735E4C5D6C27DEAEA4F1028696D6D06B55D5F99A55A776AC64E,1A4E0BD2BA242A1A27378307FC07EADBDA07D2EE0963EA6AFBBBBFBEF4091CB4],[04C4D6355B877CBD129AFEB1060019598CF254A95E7A611A976FEB8021BC0B27,0FCFE0935FE59E2D3B83FE70A8401D5EDA86FEC3A72ED82463E3B5C0E7537E3B]]
FP4nconj = [[15D51804D175D377D288494CBD9EE5B171A72A76BBEA20F4891936D13CF5DE3D,09B1F8AF86EB309390169D073F81E524A7C7C0F61F8CEBE6ECF71C6CC05787D7],[1F3B2E4CE587DDF0A4B3215E3589B6A6F4DD3F3ACA7675375142F0AB92A49964,143023EEE129BC807BCA219E9349B2A1A748952081C1FE2D84CF266ACD0D2650]]
FP2sc = [0EC37583B36651FDF780A2F9A1F9D4B6F17FF353890E5BACFEF85CD7A6D0DC61,0F9CDCC245A38FAE3A4C149698BA23F6E33DF1056BF2920FF1578B9F6154A439]
FP4pmul = [[1E8424B80675E140517ACCFF63230EA60E3248F2DFFFA018121346FC5E89D5C1,03CA472B17E78B81901257BF16F05C6990D0E198F2EB5652BEF908F4DFF80824],[20AD9483E4AD53725841D520DB115E4A413E3F0754E55C4A548DD2232E6AD480,18FE1004BFDC972FD5FBAC5D7FFE4FEB011620DCEE9E5564AA5DA828ADE0CB99]]
FP4imul = [[00,00],[00,00]]
FP4sqr = [[0C6772E6017060697393A4BCB186074D7D17000E7C643D209FA44B3762D36123,08F243C297E940EFCD50A54CE92DA3F3D85E043B293BD6E282CCF8F762A3E2E3],[1C192C02382F1B89192BA18A8D6CDF7945FC4A6995E216C20C193567DAA40246,041D481564A7FAEB66F07FF1F5310FF98610692D0A2FA17F41AA4777E857F852]]
FP4mul = [[2359AEF525EE0908C37EB93A987FDF303EC59434AE2FD62F7A703D3382532C64,0CBC9022D14F245A21A4634D79C3CC95C8F7B589F0368B8A8358C06985905797],[1CC0AC9166F37D02F9D9111AE0E7DB4AF9F483DBB418408531B1447CC908E27B,0E9C4DC00FCF4F17CC6AAA5C28D75F78843B29C663CA2EF7B39217D0E1557C05]]
FP4inv = [[188FBF9BF2CA9F72F21FA5F6DFC2E3AC4E23DB637FCA7B11D45F46EC93C63C38,1F08CA09FCD516F59991613266776C7B2B0B7652582253919101471E9083191B],[20FC51A03C77ABAB3435F9C8B7F6B0FDA9884C394B74CA67378B11DAB8F4EAE2,1860E0F05D968A0DB0E3942E478E683E3F22A55180686A79C12F1D18F97C52A4]]
FP4mulj = [[0B0B0A5E045E217028E8FFBFA24004054D94AA1A48B47709CC73CA40C5977314,0F6B4DB985A23FC3692F22ED8D4999481A56407723479D12ED5F3AEAAB511B29],[0E2AEC7D6F998735E4C5D6C27DEAEA4F1028696D6D06B55D5F99A55A776AC64E,1A4E0BD2BA242A1A27378307FC07EADBDA07D2EE0963EA6AFBBBBFBEF4091CB4]]
BIGsc = 080C00C7A031D6C20444CE4367C3CFE133549EDF08722AEBBF7A0A737640A7D0
FP4pow = [[195D62D94EAE27C0F309CCF463C694E41B7AA56D1B001DBD2692B8229BA4E226,1888A730FCB9C26EAE963074BF3F7059F4DF90993C198B8D9A54024496A6773F],[23891518FEE335398D9C80E1C63391678B2F1E771E4BF220B54876D73F24E0A0,1FDBFA5116ABD88CCF6F798C0A4E1221DEB4978A456E347583E91CE195972C09]]
FP4frob = [[0E2AEC7D6F998735E4C5D6C27DEAEA4F1028696D6D06B55D5F99A55A776AC64E,09B1F8AF86EB309390169D073F81E524A7C7C0F61F8CEBE6ECF71C6CC05787D7],[0480EA9B5EF28708BB0F9D9A49C86F57625F54D0F055EDAD8026DACEA647BA84,06F489E234D31FBEB45D65D436F829DE3107657A6441C93E434DE4FD76559CC6]]
FP4_xtrA = [[02D32A7DFA4A0036D6C86915706B65152F9902A0583D98F14E3F92904479754C,037B28AFCAF842195D72CBF0A70F96E78DD05C2A56B943CC022CF120B7FDDF34],[0FD593E574FFD51E220357E40C4566A127C8E092A188020058DBB69A188D00B5,19D477EEA0CF0ECB99DF37FD44C3138FA6677926A9AEA8F5D6DA4EE1CB9F80EA]]
FP4_xtrD = [[14119E6D634CACAB61561746F13A02AFDE95C117CB47A8B7C923DCAE285E7912,1C563521A5BFA216ED7DDF5B68316E3D27ED86276855AEB05CBB31D0E352F291],[128F7F978120220EF3F5A428816CACC62C17A116D8ED548CDD395E67972BEBF8,087D8B70E5EC193EA736A31FE03AA53C52D1FF89E4C2C7886295B821CE11A067]]
# test 2
FP4_1 = [[0F98D26B78F1B0A23778EB3D308A232330036298D5ABB0E791A7F14930BBEA6B,1052B47A1537E125C752964A09AC8B3F2A4F878631AC7C63A29393B917FC5C83],[2283D79AED36238044EDDB56BAF6CB29C45A391D335D915628EA5812AAE6B3F1,20392F6F5E199A8FC04BB7B87D02EAA21377BE57FC357F86263A561500958A03]]
FP4_2 = [[096EAAF824411ADFC86816BDC1B4844E21F29E5C0972031CF4A8A347124CD3D8,14D8C400C39D1DC72CC5AE9F319C60657BF35DF13FAE0EC956A57605F444E8F7],[11FEC7191BEE90D24B3D956AB37A7F80A950E70310FA1CFA9E82CCC13F4A2932,05F5073E55AA85ED610A7E39DE3F04143D6C761B58B06A214007308D8F481BE9]]
FP4add = [[19077D639D32CB81FFE101FAF23EA77151F600F4DF1DB404865094904308BE43,012B73F897C5A43F3CCA24D9FFBF1BA4247351934869B4DB10862D9357E0A0EF],[10829A31C81559A4D8DD50B232E77AA9EBDB8C3C1B66D7FEDEBA48A835D03898,022E322B72B4C5CF6A0815E31FB81EB5CF14A08F2BF513557D8EAA76DB7D0161]]
FP4neg = [[14673216C81DAA0B7FD534D20AFFACDD51CC314B5345256A570AEAE283A4BA20,13AD50082BD77987EFFB89C531DD44C157800C5DF74459EE461F48729C644808],[017C2CE753D9372D726044B8809304D6BD755AC6F59344FBBFC884190979F09A,03C6D512E2F5C01DF7026856BE86E55E6E57D58C2CBB56CBC2788616B3CB1A88]]
FP4sub = [[062A277354B095C26F10D47F6ED59ED50E10C43CCC39ADCA9CFF4E021E6F1693,1F79F4FB92AA1E0C51DB07BA1399FADA302BBD791AEF43EC34A0F9DED8181817],[10851081D14792ADF9B045EC077C4BA91B09521A2263745B8A678B516B9C8ABF,1A442831086F14A25F41397E9EC3E68DD60B483CA3851564E6332587714D6E1A]]
FP4conj = [[0F98D26B78F1B0A23778EB3D308A232330036298D5ABB0E791A7F14930BBEA6B,1052B47A1537E125C752964A09AC8B3F2A4F878631AC7C63A29393B917FC5C83],[017C2CE753D9372D726044B8809304D6BD755AC6F59344FBBFC884190979F09A,03C6D512E2F5C01DF7026856BE86E55E6E57D58C2CBB56CBC2788616B3CB1A88]]
FP4nconj = [[14673216C81DAA0B7FD534D20AFFACDD51CC314B5345256A570AEAE283A4BA20,13AD50082BD77987EFFB89C531DD44C157800C5DF74459EE461F48729C644808],[2283D79AED36238044EDDB56BAF6CB29C45A391D335D915628EA5812AAE6B3F1,20392F6F5E199A8FC04BB7B87D02EAA21377BE57FC357F86263A561500958A03]]
FP2sc = [11B063C711A5B6E58E5CCFCE24A7683A356A84226BD08DF543FBA7A39495BEB6,0C944311FD7AB001F61F752A0EDCC7C618BECA475ADCA01C346A1E37979A7509]
FP4pmul = [[DE19A8E39F24E89E28E9DCD42066569C35BCBA31A4B8499E3ED1E4031EB47E,10C1A127FF81489C06B4434DA2DF81CCC862C7E0FA2908A2C2F926B3040A9EA0],[0407326FB44CEBD324FEA4902EC284F8CB8933DDF7B894277168E07EA115129A,1D77A0C29E1AABFDFA2BF3A302CA75CD441142CC64B7D2A1D9E7E0BEB7501BE6]]
FP4imul = [[0F98D26B78F1B0A23778EB3D308A232330036298D5ABB0E791A7F14930BBEA6B,1052B47A1537E125C752964A09AC8B3F2A4F878631AC7C63A29393B917FC5C83],[2283D79AED36238044EDDB56BAF6CB29C45A391D335D915628EA5812AAE6B3F1,20392F6F5E199A8FC04BB7B87D02EAA21377BE57FC357F86263A561500958A03]]
FP4sqr = [[0391A8B6E5723D5FDAC34B3278B3E56B4F3C484486DD60684CD4DE11517BC32D,126AD7A1C8AA45D8763DC31016928BEF395540C32F558BDB4FD36777A08609EC],[1CD95079C173CA0134C32ECCDF121F6C2E44372B5C13DC485EC454E8C1CD3FD5,0D8FA1807C7879C20DBA3962574F0E149824CFC73B76AB86E1D19EAD20E513AA]]
FP4mul = [[1E6CD8CD14E62FB70D7D0CCC37C063B5BA468CFCFDF5BA781AEC2FBD0D556E22,0614CB05D951CEC93FFF41460917879E4D2644465B379DD16F036FE21E48ABF1],[0E4580517B11ABA4689A64ECC911A59AD513D3CCEA204913F1152CB16B970FBF,1BAE6050A1038C38399BE0D2475BD2911380547CEB57E26A72393EDE96F9E800]]
FP4inv = [[1C8C4D02A88FB37C3638261B0283FEE6D9259F716F44D78F58609FCA63B390D0,1EAF685F66D839A07735945CAA8E7215124E116EBE3F7F6166A0034059FAC444],[111E39184E844C9918C73206BAC23DAF8FE76C76C311D28C69556E1F071C85D0,1A27C3484A7E6C0F497D00F7EDA7756BE2DE651C0DC783EBCED26D8F92E4CA91]]
FP4mulj = [[024AA82B8F1C88F084A2239E3DF3E087B0E27AC5372811D002B001FDAA5129EE,1EBD02880A4063624DEB72FFFC6FE5CB5602639106A23A8A6671D1FBF71B9969],[0F98D26B78F1B0A23778EB3D308A232330036298D5ABB0E791A7F14930BBEA6B,1052B47A1537E125C752964A09AC8B3F2A4F878631AC7C63A29393B917FC5C83]]
BIGsc = 0C598B67D652FB1E0E27E30545BA2C831EFD2F6CBDD2CABEC7E2F119A02C7D3C
FP4pow = [[3704A2A4C45F6D4E576035B6073F120D5F6BEDA23EB84C6B3033369C46E687,04AE71F5E72D8DAD957410496CBD16B79FA8EF591697B90B6D66E6BE73E96940],[21C1434CB81DC8FB9E59BC485ED6DAD66D087D11B45C8A5DB4F4B2402F37C304,14A18FF4F4A495414A73DFCA00E8DB3E2770A708A105692C78658AC4D0765870]]
FP4frob = [[0F98D26B78F1B0A23778EB3D308A232330036298D5ABB0E791A7F14930BBEA6B,13AD50082BD77987EFFB89C531DD44C157800C5DF74459EE461F48729C644808],[03A11450C493D1258487941771A4E25334E19CFFD29608DC11C1008E291B70EE,09629108BFF0926DED7EEBDD4729DC1D581DDED3B8A50F55888631E3D0784752]]
FP4_xtrA = [[0EAAC641C9727FF3D150B4134C015347F04DC96EF4B7D7C6B2D85771589BC7C7,1064F180A64E5D348D1BC32AF7FC4588FBCF39D0D5FAE1B77969E9513079DE45],[0378C3821E9CB198DE532C3D437290CF517FBA17F696C418A5F70A8CA7D863F5,5D15E3FA3D8A50B75AD9850B8AC57D6F27805BB613340D3B1FEF16E661CD59]]
FP4_xtrD = [[08600862349E36C9231F94C753296F25710516F70476D4EB1237D7AAA46492E2,15C5732FDF49DE3A9EE6B68B3EC345716685C59AF4ED6965F35F1C3124EDF571],[19E0F6AB19C15BA65002A55BDDEC15BEB359819D70ED5250DF334CB6AED95EA1,0601F75AB68CF9861FB568B4DA414357BB7524AEE1FFFDEF5CE0927FB94EDE9A]]
# test 3
FP4_1 = [[C319945AB391F6ED62FBCE4CBC2527D88F9775F7CFE1D0B3181BC88B6E12B8,1C1C387845DE250BDF4578CAA67F2E0A760F65B59CACF014EBC25C518E2E51B2],[20BF008CB9D6631A2B19A1B2D5703692FC50385ECF29BBD29E514EE1AC0A504F,1EAFEAC57E5227CDC7F51BD9A862C9D452A77B7A20D36B61DF135AD32FDC7D3F]]
FP4_2 = [[16C90692AE0FBC57333A93CD149962416C644E8EFC9686C9A3668B59AA3FB3BA,116A060FAD0190397AA520DDC0E847CA6DFCBA7803B26B485B67F4F1B523DE8B],[0F3636ED36E7EF039CF60E70C927F5E030261B0725A703B7D231FC08A1458F9D,112D9AE225801BFFE2FC58609135944E230FA63503C1703C9440D31540BBA31D]]
FP4add = [[178C202708C34E4E209D8F9B6155876944F3E604F466689A567EA72235ADC672,09863A05B1D05A97A29C79992BDDA5D4623C8C49776E850B5E7775178EF18BB2],[0BF532F7AFAEF77010C19014630E5C72AAA6BF81CBDFE93887D06EBE98EF3B61,0BDD812562C2E91FF3A3542AFE0E8E21F3E78DCAFBA4054C8AA151BCBC377BD1]]
FP4neg = [[233CEAEDE65BC8B6C9EB2440EECDAAD8A93FFC6E3120F481359AC06328F291D3,07E3CC09FB3135A1D808A744950AA1F60BC02E2E8C43E63CFCF07FDA263252D9],[034103F58738F7938C347E5C6619996D857F5B8559C71A7F4A618D4A0856543C,055019BCC2BD32DFEF5904359327062C2F28186A081D6AF0099F81588484274C]]
FP4sub = [[0DFA1783EDB3304D7176881073AC92E6EDFADCCB242A3158F8646C9A958F0389,0AB2326898DC94D264A057ECE596E6400812AB3D98FA84CC905A675FD90A7327],[1188C99F82EE74168E2393420C4840B2CC2A1D57A982B81ACC1F52D90AC4C0B2,0D824FE358D20BCDE4F8C379172D35862F97D5451D11FB254AD287BDEF20DA22]]
FP4conj = [[C319945AB391F6ED62FBCE4CBC2527D88F9775F7CFE1D0B3181BC88B6E12B8,1C1C387845DE250BDF4578CAA67F2E0A760F65B59CACF014EBC25C518E2E51B2],[034103F58738F7938C347E5C6619996D857F5B8559C71A7F4A618D4A0856543C,055019BCC2BD32DFEF5904359327062C2F28186A081D6AF0099F81588484274C]]
FP4nconj = [[233CEAEDE65BC8B6C9EB2440EECDAAD8A93FFC6E3120F481359AC06328F291D3,07E3CC09FB3135A1D808A744950AA1F60BC02E2E8C43E63CFCF07FDA263252D9],[20BF008CB9D6631A2B19A1B2D5703692FC50385ECF29BBD29E514EE1AC0A504F,1EAFEAC57E5227CDC7F51BD9A862C9D452A77B7A20D36B61DF135AD32FDC7D3F]]
FP2sc = [1635D9DFBF85EAEE5486020A45C4602684DB11963BBD3C40953737C48933E565,1C8565D675B847048C1801C5C9F4C7AC4CB630298CD240CC73BAEA519F9E1C53]
FP4pmul = [[212A64D7B5A0E90571F5A1C7F30486C52DC06D18FA390F4F7F990B83FB1F6201,02566C3D7ED601287FD867444FC70D676BD376C6D0A8881E970486A414B36CB7],[0C689A2680D88EC4E1650065E6F8FF23E3A029671A8D838C857314DBB4EA43FD,19961F82DBB4CD461F18709787A1F77653720AE6B0C5798BDF2B18813D3E5C34]]
FP4imul = [[01863328B56723EDDAC5F79C99784A4FB11F2EEBEF9FC3A16630379116DC2570,14386C6E4AACEF6A073CD18611748C146A4F3787106909D7EED1DC7767FBFED9],[1D7DFC97329D6B869EE523566F569D2576D0DCD97562A15353EFC197A3B3FC13,195FD108BB94F4EDD89C17A4153BC3A8237F631018B60071D573D97AAB5855F3]]
FP4sqr = [[0A374004C0ECB65D7BFDC6D31068D31E78B1057766B7D80338B2079E608CA9D4,13435E2258C0F943E9A8E00544DFFF23E52C14DC3F59F4C48492E2695C4C4F9A],[06729EDF9A6CC6274BEE445D3EA0B1DECD773BDB45D7929554CDD74A30CE4401,1087F80D8C1AEBA110BCABD1F7209B53DE497FA60D9F7B1C77A119265DC3808F]]
FP4mul = [[1F9446AF2F1D57B8C02C7F6FA7132D1CC984EAA08C214F2E4645171358889497,168A53D4103636B0C1C3264425CA7F0D0579E99C22720B48D65DB9E499D50D76],[0697F41DB2ED453EF1E249F5F0FEC45DB11318267C5A2D78E9F9021326B39550,0E139259D50235E9CE5A33F95C737C348C5ECAE1512A1486449C4C5CE22FA74F]]
FP4inv = [[06C2CF38661C8B96DDB785064CE20261E61243F12FEDEE3F42DDF8610CAD7507,209A75AE3AB6966448FC890E0CE16D6830FDA0D9D4ADD1FFB6B02BEB8C0E37E1],[0CAAAE8EB2E2B2A2B48802E094B4B2999714BFE596B451DA88E4D443DBF96C54,0208C4ABBC11F168F2E32083929DBBE451708C355D0A331934E4985A9440A26D]]
FP4mulj = [[020F15C73B843B4C632485D92D0D6CBEA9A8BCE4AE565070BF3DF40E7C2DD310,1B6EE6CFF719303A3BC09D7D42493066CD281FF4C70C50E294B1CD8927862903],[C319945AB391F6ED62FBCE4CBC2527D88F9775F7CFE1D0B3181BC88B6E12B8,1C1C387845DE250BDF4578CAA67F2E0A760F65B59CACF014EBC25C518E2E51B2]]
BIGsc = 07069C1CA02DA1095A9D2A1E19E13DECBBC21F4F41292CD5DC8B07EFE8EE72EB
FP4pow = [[0FA9AAD544DFBF007BE8D305CC6DA5169B73E25C4C69FE0BF1F8950E172C8664,10237B8D872B17E72BD08B72D3CB619914FD7A9C6D03DEB47167330C3EF9DE6D],[10A3A1BDCFA5D849F041BB19E90BFA39460704B9D723F0EDABF51EE30730DC8F,16ED2E2ABEF4E5CC56B912304A3A3F19FF8DFA9087F492C30CBB1A16AC9B650C]]
FP4frob = [[C319945AB391F6ED62FBCE4CBC2527D88F9775F7CFE1D0B3181BC88B6E12B8,07E3CC09FB3135A1D808A744950AA1F60BC02E2E8C43E63CFCF07FDA263252D9],[114188D85FCA03F296356A7C586FCA1179772F622088A98D0E8E4E01BE95CAE9,0742706C0DD401A395FEEBD543BA36A33A0A055D5F6A90D49A0FA92963055BB6]]
FP4_xtrA = [[0A2FB596A02223B6E5D7EA5397D1BD691E5364AB0D0C7E7EF145ED6FAE374628,0A6E4BD6994353DD8504580F48C757DF1BA6C721E39C275CF31CABCC74A7831A],[0A6E83B3B9629BFE36AD589D2728CB908F9D62C8D28E55C7B2D4F6DCDB12F012,1507AC59FB5B84E2D00470D29054B3367AF324F3232E84EC8F454CF56FFA7E08]]
FP4_xtrD = [[08B10CDC0B85926FA137CF3676F088CEC791D68B77181461D281D00D49B08464,230AF6364F23648799BA2E8E6EF5430FFCAC713957E1C13E7E73E21DA8B0F54C],[23F09B76CD0A31ADEAD367B3ADF74F04444818B4BB3A33E8A8BD98E1D4824014,05E7C49406A085E1320AA366D0D28EFB7FF94ED1FD64A53C6462167554BB31F7]]
# test 4
FP4_1 = [[0C098C0B0CA8A1F31214E87157806D5E50B7911B2CDAF58D8500124A139E27BC,167C029CCD3ECC1D582F20B5175FAF9325B014330E99F15976ADC48B2C688A5D],[07D8184EF5C9D35CF9CD192DD75BB31B94FF0044542510304219733934822850,0BBBEB7B412C469D1585292EAEF84DBB8EDA98880C9921EBC5F9EE394705AF55]]
FP4_2 = [[0184C5F37930B0AA08CB399DDCF0915838813A95B12AE90B3D7E10AAF0C1F06A,18A551DBBC79DA14657476B96BEA4710C0ED4446E79F43AE71CE3847217323B6],[11E5B58F627960AB3888A3924A9077040394231E81F473C760989D1518093C73,038E03979A3BDA740A438C5CB45A6324AC6C5AD9F9D229A6D05924C0133579ED]]
FP4add = [[0D8E51FE85D9529D1AE0220F3470FEB68938CBB0DE05DE98C27E22F504601826,0B214FF648A94B840655775F47C026A364CDC495CD485EB5FFC920A6997B0988],[19BDCDDE584334083255BCC021EC2A1F98932362D61983F7A2B2104E4C8B64C3,0F49EF12DB6821111FC8B58B6352B0E03B46F362066B4B92965312F95A3B2942]]
FP4neg = [[17F678773466B8BAA539379DE40962A2311802C8FC15E0C463B2C9E1A0C27CCF,0D8401E573D08E905F1EFF5A242A206D5C1F7FB11A56E4F8720517A087F81A2E],[1C27EC334B458750BD8106E1642E1CE4ECD0939FD4CBC621A69968F27FDE7C3B,18441906FFE31410A1C8F6E08C918244F2F4FB5C1C57B46622B8EDF26D5AF536]]
FP4sub = [[0A84C6179377F1490949AED37A8FDC06183656857BB00C824782019F22DC3752,21D6B54351D44CB6AA08CA0AE6FF3882E69263D04FEB83FCED92686FBF560B32],[19F26741D45FCD5F789295AAC8550C18133A7109FB2172BACA33B24FD0D99068,082DE7E3A6F06C290B419CD1FA9DEA96E26E3DAE12C6F844F5A0C97933D03568]]
FP4conj = [[0C098C0B0CA8A1F31214E87157806D5E50B7911B2CDAF58D8500124A139E27BC,167C029CCD3ECC1D582F20B5175FAF9325B014330E99F15976ADC48B2C688A5D],[1C27EC334B458750BD8106E1642E1CE4ECD0939FD4CBC621A69968F27FDE7C3B,18441906FFE31410A1C8F6E08C918244F2F4FB5C1C57B46622B8EDF26D5AF536]]
FP4nconj = [[17F678773466B8BAA539379DE40962A2311802C8FC15E0C463B2C9E1A0C27CCF,0D8401E573D08E905F1EFF5A242A206D5C1F7FB11A56E4F8720517A087F81A2E],[07D8184EF5C9D35CF9CD192DD75BB31B94FF0044542510304219733934822850,0BBBEB7B412C469D1585292EAEF84DBB8EDA98880C9921EBC5F9EE394705AF55]]
FP2sc = [019EFE51437D51DA4E6AE56E906553D23909AAB04A0D07DABE3D39E1E91B37EC,0DB8717D5B4CA2955BC0CC26EC55B9C5527977AA9631DDF295C3E8193500103B]
FP4pmul = [[19751CFE66454015CB4AF6C71F8BE32F8F95903E10F0CE26014B57CF0D1A275E,0D64B0A650C6639FF929E16BD43C747434BEDA7F97065FB9C21C31E3DA313C21],[1468517CD79EA4AA733072963539B1B355F86122119FD357A5CAE329F0C8648C,0889C133BD5D0D2977936663A3E91EF3344A98AF91FB15193D516C2A968AE6B3]]
FP4imul = [[1C9F9EE4EA8B2B7EF09944CAF7781A70571F6D5DA00A56A64D5AB28679D2A9,1F74035426AD09AA513F42100A953EB8EF40A8B502DCFDBA7B567175D0D8FA8C],[178848ECE15D7A16ED674B8986131952BEFD00CCFC6F3090C64C59AB9D8678F0,2333C271C384D3D7408F7B8C0CE8E932AC8FC99825CB65C351EDCAABD5110DFF]]
FP4sqr = [[14A4E24170D9CA5BC4E25BA6968726D894AE047C52ACA97B27CBF34616D4A152,1EBF1EB0CE863452BBBEEAF716954BE75C3FF623F24AEA497BB304A71D130F4D],[14B32254E85AD3A21EB29C8D3C6B022ED227A931F38988735AD5E5951C1E075B,1EF3211A7B2D5F8FFD99D52F04D7378A552A2A21CD62B78C0D68B36B59F9D6CE]]
FP4mul = [[0115984E81642C6AD31E7329BDE3A4250B448A09FC505819D5951A65ADCE8B43,1FF54448569BF0A07FC28F69FF2AD3A54AF9FBF7C13999D39864B6A952CC24AD],[151BE3165DA27B299D223C41DECD32382EB153B8988F91742A79B4BAFC65F584,2339717F55D4ACDC951889C0B2E504F5DD06B9D7F33C8535F94006AA10D48262]]
FP4inv = [[0610C3F936BAB63A6DC54580E170928DDD1D5095A1FCC5782A4D99F5ACF0234C,163FE93BDEE336759F1EEBAEF016365107325C1C4146838F87CBD5DBA01E446D],[03F40EB5613F12F8076FDF732AAF87A5A09C6B0943F1911E3493A66F4ECE4CD8,0530EFF7FD9424B01D0E86470B3206C247260546590EB293E23418F44AE046F5]]
FP4mulj = [[201C3155F5ACE76D9B96100E63ED356087F3FBA0707CC49664D2612BA1DD1D86,139403CA36F619FA0F52425C865400D723D998CC60BE321C081361727B87D7A5],[0C098C0B0CA8A1F31214E87157806D5E50B7911B2CDAF58D8500124A139E27BC,167C029CCD3ECC1D582F20B5175FAF9325B014330E99F15976ADC48B2C688A5D]]
BIGsc = 1D8982A734F9716151AC246640B093DDFFC7364B8641A9C0D58A4F05D422E4AC
FP4pow = [[0C8A8BCFB5CD65E1710148862C7A54B88BF68C9662DB5FDA541073545BC36280,1F4C8DAD1F42AC899E65BB21FD1611A602FFDE29C8980146BDF90C15D0EEEC35],[085E7FBCF17C5F931B0DD46B42EBE533887B567D1BC5B2400DFE78FAA423FBAB,0E33F5A3C3009B0488A45B2464E0F3AB28BF64D20D4FCA5CA792AFE032139590]]
FP4frob = [[0C098C0B0CA8A1F31214E87157806D5E50B7911B2CDAF58D8500124A139E27BC,0D8401E573D08E905F1EFF5A242A206D5C1F7FB11A56E4F8720517A087F81A2E],[1FC7A3B10D0C3C90B74142C29110A1D04BA6475B5580EAE6B5AFB3825D143742,0BEEF736AB569D85C0E7F9EE8B741CED9DA51AE9F26E481C1A9C01C189DB636C]]
FP4_xtrA = [[0F7EE4461BA96D0033C4177BC70A31D5B48CE2C14267A628E7EED19B3093C3DF,1AA510B48F06E263927DE2C79D7A995DCC81C70D6256211CFD04D34AF4F9C58F],[1DF939DDBAE1CFC9B4CAA5080B016C43B3FF7A42D25651416DF1B0AA5AD3D67F,0162D7C8D616196854825B1D9A5D482D3648E90A56AA3207DDB2E9294D7B3BC8]]
FP4_xtrD = [[2091CEAD9897E1235806AAD323101C1C750E762A21E794B2067EAADDA3F8F665,15C71DF97517F6C5C2AEC99C235FBCC192AF61A1FE07DDE8770A57BC78A29F1E],[634E7092DF1FAE5AFEAED9AF9898657A5615D672E2D281F655EFDBD0C1B370,126AF38EBC76921C7156077D273E0300F10FC74DBDA42511B0A9B3B233A490ED]]
# test 5
FP4_1 = [[0167497A54710B722E41F7659F36AFC44675294B469976973AA6B8F636799F41,088C062363CA4CC3162BA2E541754BE505B83C209E0C1E3D5FC29A192281D0CD],[1253335FE0505E4F88301483FA330701423BA0B15E7468F776005E4A89DC7817,1B5C0A604F5E715FBD23B87B07E1DB43176BFF553E7E50C17668DF5AF312A679]]
FP4_2 = [[048C8BDC2972F0409F26F4CB465B5680D24E30B850EF121BDB46C014D41E0440,1A2F3DA646480FCDA51B585689AD3718EF0475A217082A8978557720EB1E3630],[01D12124D4BA91D1581136388F1A9BEBC3FE2E90D929A04414F9B3BF716AE87B,0BECF9710663237DBD707730FB5E29AE4D8C96288626473B0ABC1D2AEBD51B1B]]
FP4add = [[05F3D5567DE3FBB2CD68EC30E592064518C35A03978888B315ED790B0A97A381,22BB43C9AA125C90BB46FB3BCB2282FDF4BCB1C2B51448C6D818113A0DA006FD],[14245484B50AF020E0414ABC894DA2ED0639CF42379E093B8AFA1209FB476092,0348FF4F14B23A2FC3460F9CC7B634F0E32901999BB3C1AA9872205A2A871D09]]
FP4neg = [[2298BB07EC9E4F3B890C28A99C53203C3B5A6A98E2575FBAAE0C23357DE7054A,1B73FE5EDD450DEAA1227D29FA14841B7C1757C38AE4B81488F0421291DED3BE],[11ACD12260BEFC5E2F1E0B8B4156C8FF3F93F332CA7C6D5A72B27DE12A842C74,08A3FA21F1B0E94DFA2A679433A7F4BD6A63948EEA7285907249FCD0C14DFE12]]
FP4sub = [[20DAC2206C0D75DF466922A994652943F5F68C771E9B3ACD4812D50D16BC3F8C,125CCCFF5E9197A3285E6A9DF351E4CC98835A62AFF4CA05D01FFF23EBC43F28],[1082123B0B95CC7E301EDE4B6B186B157E3D7220854AC8B36106AA8B18718F9C,0F6F10EF48FB4DE1FFB3414A0C83B194C9DF692CB85809866BACC230073D8B5E]]
FP4conj = [[0167497A54710B722E41F7659F36AFC44675294B469976973AA6B8F636799F41,088C062363CA4CC3162BA2E541754BE505B83C209E0C1E3D5FC29A192281D0CD],[11ACD12260BEFC5E2F1E0B8B4156C8FF3F93F332CA7C6D5A72B27DE12A842C74,08A3FA21F1B0E94DFA2A679433A7F4BD6A63948EEA7285907249FCD0C14DFE12]]
FP4nconj = [[2298BB07EC9E4F3B890C28A99C53203C3B5A6A98E2575FBAAE0C23357DE7054A,1B73FE5EDD450DEAA1227D29FA14841B7C1757C38AE4B81488F0421291DED3BE],[1253335FE0505E4F88301483FA330701423BA0B15E7468F776005E4A89DC7817,1B5C0A604F5E715FBD23B87B07E1DB43176BFF553E7E50C17668DF5AF312A679]]
FP2sc = [177A2966C863B4EFD6BE44E191FFC539EBECF5C137DC15D412441E80BE5D23FF,23D03F75AB9D3D8E9D897CA4AD98ADA7025E97FE74A1D476877FD2E60DB61E49]
FP4pmul = [[0844054A30EEE7AA296A809CA0595E301217C191A3752BFF64C3E3720F53C267,11495603B3627A8D12D0C07877D068FEEE932FD386E3C27561308E52FB538910],[1A83B2C75F751B40529FD0F3D4B4930834169892DF076D10D65876399E90D425,12BFA62E911B0827212E0231DF2398FCE747CEC0130C9052950D6CE3DCEDBFCF]]
FP4imul = [[059D25E951C42DC8B907DD967CDABF1119D4A52D1A65DA5CEA9AE3D8D9E67D04,2230188D8F29330C58AE8B9505D52F9416E0F082783078F57F0A68648A074334],[014CC47AFF22C3E2B22411F171B87C04054F5AFD27EFF73A069BC0D2BEB09746,01701BFA7A4BB575CEA481BE6CE9FD0AD84141A87F26C0101F8AE8E8AF28AC43]]
FP4sqr = [[12779066BEE78777A3AD2872168E8DF3DE7F35919B96E90025845395EE42FB16,0DE73932F04A961DC7C29FA5E82D6E83CD08812792923ECDE12D03079B58CB3B],[17782DCA4006E51654B774A07BB8AEFD39B221EA743E05F8CF5DF2F38A2DA5A3,22AFB990D5754EE87EA84674FFBA524766F3FD5C5D28FD9F40DDDF64F3D5AEB5]]
FP4mul = [[22EC94ABFAE838707AA43DF1798825BADB909B47EE188CCF8C5BD32078498F9B,0ED92C6BFF6D04A1EFD2906B3EF6F4CDF21475532812C38F22DFD9987A21B4C1],[0ED21CE501746FDA01B236C4B523093F14A74CD75FE23DA6D2C168FDF74015DB,16F4C744F69304C45E2B14E6E46C0F8A77C6B40658F014A9561655D34C1A139F]]
FP4inv = [[0DA8B05DFB4006BFBAB3A4A67264B0A1060826A738C7C6AF762CDE9F7527BD83,1C039976BF76C8D29A1E88DF0DEC0ACC5040DBF951AF792A5F5C7CF51CC2F111],[02CBC12CAA3D72E981E0DBC7D60B0B41B02C75F8DFED2EE3ED5EC255BFDCB1D6,2122394995D807721695E3264ACB11BC9017626A0025B4BCBB910EB1B8A5F201]]
FP4mulj = [[1AF72D81D201479D825A7C182DDAFBBEAC9F354048E6EE87E84A5B1B4B2A7629,09AF393DEE9F75018E05ACEFC68B1243D7D80C227401E36703B66179C88E7A05],[0167497A54710B722E41F7659F36AFC44675294B469976973AA6B8F636799F41,088C062363CA4CC3162BA2E541754BE505B83C209E0C1E3D5FC29A192281D0CD]]
BIGsc = 10703705EC1245831C9373B9855BC3939357D38D1CCA1166D546B3721891B9
FP4pow = [[0EDC843CCF6893E02C2BA96C57B9A64A6D13F9F5050E8A309A9C9E358B19922E,1900960BE8EB4AC2F516C7EEA2090A544E411A112E59DF449C6FC70802BC3258],[1A3CDAA881638E6A42C0C32AE73DD3122933F258A621EBC953F2F6B087B520FC,0669818E88CAA1A1D213EFD10920E5E40687B39CDA2390C25C9E59EEE4ED7A43]]
FP4frob = [[0167497A54710B722E41F7659F36AFC44675294B469976973AA6B8F636799F41,1B73FE5EDD450DEAA1227D29FA14841B7C1757C38AE4B81488F0421291DED3BE],[03693CE05A7EBA17BD0ECBCEE0F427288B5CEDD3FC5915D3ECC15E1A7F8408C9,11B0F2FA9529E5F533D705422ADB0619669D1A0856EA65245E7444ACEEDC3E2A]]
FP4_xtrA = [[08F6A8806856035AE12FA60D78A2B8C133B56F60AADA45782FD950D7DCA0535F,017D09F7206854068246ECCB6AE91AB256E7613E65D863B45F3392BF891CD020],[0ACF60E0C9B074C42EE7EA4BBBE88EA58E2D7193B6B9E42A25B2497001D0709A,0B96FC865AC0B334441B70BE7D7F071808D17A8D839C164954B26AE213389F4F]]
FP4_xtrD = [[0FA8FD7216057093472939A6D8212E6B5194E2FB0E63FBD1B036E1A9814FBC94,20CF316E69C5574552B979EAA0CCA6BA43679CCA7F6AD8A50A5AAB010AB5CE2C],[181E9007BF984707ADC97D993494ECFF3C59CF6908360195D2ABD35CE985F146,1167C54CF2137C4C8A53774C986A68CC922CD43E8843F27E5C49E5C37139B291]]
# test 6
FP4_1 = [[02ED0FB10EAE1BF198A6F49D33D4EE16545580FF9079B69335D098453C56CBA2,1DA8D7A9FE2B01371E52159F8FD3F2554AF78C7A8B2C22FFCFC3038997C9CF0E],[20CD7F532F9128EBBB3868E68FB6506AF9BA651401F2483CE9ADED3CEDEB01EC,238DEA7AF8E4578B39EABB54F26134FC356960A996C711A5AAC348F9ED078DBA]]
FP4_2 = [[0A849E9A455DB1E43981C00926CFD640349B8AFEFC4230D992DE20F77FA5364C,18770AE093C141C2E41F26D970E3BD4FAA38DDA8834786863282F4BF59243889],[02E13F5359235F02E1F4B4C441495DF77B010EC9FCC1ED65C72D3A168F18F256,48ACFFC492E99C3841E6581348EA56F0A1A5517F88D2ED1900192F1B2FA6E2]]
FP4add = [[0D71AE4B540BCDD5D228B4A65AA4C45688F10BFE8CBBE76CC8AEB93CBBFC01EE,121FDE0850DCE84C4B231C69C52DDFA47360D63EE582D33419931C1D3C8D630C],[23AEBEA688B487EE9D2D1DAAD0FFAE6274BB73DDFEB435A2B0DB27537D03F442,23D6977ABD774127722CA1AD05AA1F53260B05FB164FE492C3C362290837349C]]
FP4neg = [[2112F4D132613EBC1EA72B7207B4E1EA2D7A12E498771FBEB2E243E67809D8E9,06572CD842E4597698FC0A6FABB5DDAB36D807699DC4B35218EFD8A21C96D57D],[0332852F117E31C1FC15B728ABD37F9588152ED026FE8E14FF04EEEEC675A29F,721A07482B03227D6364BA49289B044C66333A9229C4AC3DEF9331C75916D1]]
FP4sub = [[1C6875990A5FC4BB167354A3488EE7D6A18989E4BD285C0B8BA55379711239E1,0531CCC96A69BF743A32EEC61EF03505A0BEAED207E49C799D400ECA3EA59685],[1DEC3FFFD66DC9E8D943B4224E6CF2737EB9564A05305AD72280B3265ED20F96,23453D7B34516DEF01A8D4FCDF184AA544C7BB58173E3EB891C32FCAD1D7E6D8]]
FP4conj = [[02ED0FB10EAE1BF198A6F49D33D4EE16545580FF9079B69335D098453C56CBA2,1DA8D7A9FE2B01371E52159F8FD3F2554AF78C7A8B2C22FFCFC3038997C9CF0E],[0332852F117E31C1FC15B728ABD37F9588152ED026FE8E14FF04EEEEC675A29F,721A07482B03227D6364BA49289B044C66333A9229C4AC3DEF9331C75916D1]]
FP4nconj = [[2112F4D132613EBC1EA72B7207B4E1EA2D7A12E498771FBEB2E243E67809D8E9,06572CD842E4597698FC0A6FABB5DDAB36D807699DC4B35218EFD8A21C96D57D],[20CD7F532F9128EBBB3868E68FB6506AF9BA651401F2483CE9ADED3CEDEB01EC,238DEA7AF8E4578B39EABB54F26134FC356960A996C711A5AAC348F9ED078DBA]]
FP2sc = [14AA181D5B757B7E09175600B1C8618A813DC37DDAE65E1DC713FE5777568852,153F9AF690A497D08DB9A592D7D125BABA73B6AC42E971C71A46CF931FB82846]
FP4pmul = [[213344F656EC778AD0FF459350DE4713F803E89B4B84716F5B8010E5A5463D88,2085AA9738568FB6D60C4024321FB26FA4D6740EBA587AD5D12F97728C6E055F],[237E003D708012A50F6D4351B22AE5C2023C0932E812EC00F94500411319CE,198D972BEDAFA9CAADC98B60667B76E62E2B629AD0FE0AE65DA8E7739B53A5FD]]
FP4imul = [[0EA14E7549668BB7FB42C7120328A66FA5AB84FDD26090E00D12F95A2DB1FA2A,044C2448F2999B5CBA61EBE0E0FC7BA86F976ED4141955B76C03A101256E791A],[14036A96E99861E3CAE18C43E0685214D965A9D365F80FE8ED9A3181D4147770,21C5825DD8384B01445D286BCDBEC8EB03D093BF4E1FFEF4B304FC32CFA33276]]
FP4sqr = [[0629E6110802A6ECBB6955A6245AE0D891B025D21759A9C7C775735DA2198A3A,2318D94793718FD0F744A8A8D5102FB089BB5655344186FE071B88CCAC7FA21E],[0CEA71938497E292F2B38670296783EAA253081D3038968E5DF720642A12FC2D,1D625C5D14175E2B34DBF23695300A1CD84B2003D3B494F5327DE4B4C8911B18]]
FP4mul = [[1109FD98632BF447B431973190F18CEBAF7E012A6A15701510034E5B8176DE70,0C4DE789E37F77691FD9FE21A1FB36FAC7B1EC1782BB9DCFC53C02B80BFE8999],[053080B28915159F701DCA7D54CCE2CDCBA046D51D5537D89986618692FAC3BA,1FCF6C15D466F12F78631EAD50637378484B43C99C7AB2D973233794B08E2410]]
FP4inv = [[20FB4C8B3DFD780C1C3CD06BEC099FE64A44863AC2C5EB19B77F9DA925091F5C,19F46F8F39DFD94ED14CB440685CBE1652B41B1FBE78C0345DAB227985099089],[21B2DD4DCE360AFA5EF18EF85B13AEAB4711700283D686EC204310B0C7B0F2AB,04A57D9457C63745148A5FDCDF5A732A3A5B09F42C5E4C6756631D01BE03E2BE]]
FP4mulj = [[213F995A77BC2C0E389BCDA0D8DEEB6F4620984E941C0CE9279D806EB54418BD,205B654BE76625C93DD5042C468DB566AD5431D96FC88390ABBE5A0B2691EB1B],[02ED0FB10EAE1BF198A6F49D33D4EE16545580FF9079B69335D098453C56CBA2,1DA8D7A9FE2B01371E52159F8FD3F2554AF78C7A8B2C22FFCFC3038997C9CF0E]]
BIGsc = 02ED1B50220F1FF6C7403A884601462314D78942BA52410908E97914335EE570
FP4pow = [[0781D22BB8C77138B43B05EA6C158CF6C187F910173495ECE536430F3203472F,068CD39CD2EDE115875959E09A810724FDEE62D2D176729F258FD8992B69560C],[0461785790745BD8A15BDACA06A3CFAB811E571C1CFCD296C3240B7FFD7D56A7,22CF10AF4FADAFFE56A856E77AEA85E7091CA03B9206ECEECF939D8C5E2AA505]]
FP4frob = [[02ED0FB10EAE1BF198A6F49D33D4EE16545580FF9079B69335D098453C56CBA2,06572CD842E4597698FC0A6FABB5DDAB36D807699DC4B35218EFD8A21C96D57D],[13831145D0D590301059A8173DC9B67C4D07C9A62DC5DB5F125749B220E21796,038F98E5236F7948E7842B40BA00ADA29698614E351CCE38610FADB61A3B02E0]]
FP4_xtrA = [[099027961097473FED33DF9D0C916F161428A88558215A441C2941D9DB9F5E72,139621D22C9C7F17553AAD468C875BEDF25A95C78D3D026341FA5E76A747FC42],[23F3953CD1EC83853E9E881A0B573EB74F034FD75C43661A789842185410D0FE,12CCA7D1536AF01529C5268034B74254D9993A758B7AFD30928C5EC139F52478]]
FP4_xtrD = [[4FC6AEEAA66F098A1B6C6BBCB104ABE90523D2F6663CA15BD442D3296BF2F6,0BC72E75D82AE81071EE9D78F0F21B06759BD14446DA175050485DE5314CA88D],[06856735619B7F0EFA88181ED1C084BF9228AA7CE23B7A645FED42869D27B6EF,1C7E284E83C157E63A1528C202DED4143F7EB98EAF610B9CB69EBE5139DEED76]]
# test 7
FP4_1 = [[0E244C499A8325F0F225E36F6E5C44DDED71E62440BAABB7B728816830E986A3,046057134ACCB01E7750CC8B130384EA8963E2170DC29A91D5EAB65EC56A1C73],[0ADBA9FD0FA04844501AD5C09941B9AD081EEE486C34F7B1C49B4BB36666C9E9,1455C07C1C71AA7BFA598AAAFD0AFB111214A919B5FB2FA4DA43463BEE7BF080]]
FP4_2 = [[20D15FE987B16E8DCEBE3BFCB05AC2E98DAFB1024513B7DAFCE63417EA4C9FD0,05380413DC0F2F3F4DB28AF29581BE6511B1FE9CAFD522706CFB9D4E6C52261B],[17858A51D021ABED0F756425BD5DF0089E20AA667AC1395A2405410C514ED4A1,18EC8D0CD0220B385F01C9163559896DF35E75D8FA40AF1E47FDFDEC6C94C152]]
FP4add = [[0AF5A7B0E12539D10995FF5CE32D37C6F95203425CDD8D40CB5BD95466D581E8,09985B2726DBDF5DC503577DA885434F9B15E0B3BD97BD0242E653AD31BC428E],[2261344EDFC1F4315F9039E6569FA9B5A63F98AEE6F6310BE8A08CBFB7B59E8A,09424906AB845B06A20D33B1F6DAB47E83A38B0E874B0871398E67FCA6B00D47]]
FP4neg = [[15DBB838A68C34BCC5283C9FCD2D8B22945DADBFE8362A9A318A5AC383771DE8,1F9FAD6EF642AA8F3FFD538428864B15F86BB1CD1B2E3BC012C825CCEEF68818],[19245A85316F126967334A4EA248165379B0A59BBCBBDEA0241790784DF9DAA2,0FAA4406249DB031BCF495643E7ED4EF6FBAEACA72F5A6AD0E6F95EFC5E4B40B]]
FP4sub = [[1152F0E253E11210DAB5C781F98B51F4E191C9062497CA2EA2F5297BFAFD8B5E,23285781AFCCDB8CE0EC61A7B90B9685F981775E86DE4E7351A1F53C0D789AE3],[1756242D808DF704F7F391AA176D99A4EBCDD7C61A6494A98948E6D2C97899D3,1F6937F18D5EF9F152A5E1A4033B41A3A085C724E4AB56D87AF8247B3647D3B9]]
FP4conj = [[0E244C499A8325F0F225E36F6E5C44DDED71E62440BAABB7B728816830E986A3,046057134ACCB01E7750CC8B130384EA8963E2170DC29A91D5EAB65EC56A1C73],[19245A85316F126967334A4EA248165379B0A59BBCBBDEA0241790784DF9DAA2,0FAA4406249DB031BCF495643E7ED4EF6FBAEACA72F5A6AD0E6F95EFC5E4B40B]]
FP4nconj = [[15DBB838A68C34BCC5283C9FCD2D8B22945DADBFE8362A9A318A5AC383771DE8,1F9FAD6EF642AA8F3FFD538428864B15F86BB1CD1B2E3BC012C825CCEEF68818],[0ADBA9FD0FA04844501AD5C09941B9AD081EEE486C34F7B1C49B4BB36666C9E9,1455C07C1C71AA7BFA598AAAFD0AFB111214A919B5FB2FA4DA43463BEE7BF080]]
FP2sc = [041CF6320EC3BE4934D817EF3BD8C4D1CBF4F670613B2604A04A69E6B39BB352,1CF5721906C2E6CBCF079727E0504595C09F3661B819D4EE63657B11EA08FC20]
FP4pmul = [[1113619EDE27440D2931D8FD32B2CE30F788C4B29A265AA2206F44FF1CFA2907,104999CA0A8CDFF4DD6DA0BBD6273AC400036C6A3805816132ED8853583C4C4D],[03A43F1CA175BAB71581061F873DAAB5B9F7CBF32DB795F79A14980397565452,030381AB2A8CE9A399F6F46F0DD6592645ADF0EE0B24F8A278A1F959CBAF4816]]
FP4imul = [[0CD9C0B51CF42E4A3E47147E1F15FD328D0C3D11327E59AA798D5019BCB7DEBC,1A420A73C0CC20B6CBE4CB4272151D7F38574C8A528F9F6B03804638A07CAAB2],[1D25F76C1CB256EC2952E2745C008A0DAEEA01CE604CF7D8B2F0EA08B20816EB,0E027561E77BEEDEB82EDFD43BA47264E70D3AEDC9109AE7637B10E479C5B55F]]
FP4sqr = [[102E174CE14BECB43F5E32D632CE3C4FFC29FF4727A2E9AD0AE4370A587896FE,216D269457052DA9793C2B442EC1CC6E0DFEEEE35DEC6303539EC44AC7A0909A],[0DB5F7F074EE227B2EA80BDDA74BDFDE6B0AAF47C4B98A665518AB6B9D3ABBBC,04AE9DE53B1D026259BE3B428A7C7E5201F800C4842240C904FE2DC357127DEE]]
FP4mul = [[0AC2C2EFDB45F37B10D7B21BF06533EE1901994DDE6D083469D0604FC978E207,1D0E87CCBC19FC84F0D919AB5580134C12FBC444C9F929E3F76C649DF885BA5D],[0CABB86929702091395DA87C34E5C5FEFBC8F1220CE08767CB0E2B5592E0B34B,0AD9D4193CC3EF802E69DD82C31D48B710A6E1C68062C88F91AF884E25AA0D92]]
FP4inv = [[05060478956D73A3F4B343D0DECE4ACB1E57381FAF70C69FBBEAD684F6130DA4,185F172B163C59D4F2823F21171F116B7A1DC5C683111434332552B733355063],[18E1B70E542B058D95827270A343D84F572C1258F6D7ED6A5B4A37C2A1014057,A182738E8C75A79019887B53A79325CA8ADDBC6E02E6B8BED1C8A45D013EE4]]
FP4mulj = [[1A85EE03343DF8760D0F6B24D7C08E9C77D9D912DF2A9E5ED30AE1A32C4B7DF4,1F316A792C11F2C04A74606B964CB4BE1A339762223027569EDE91EF54E2BA69],[0E244C499A8325F0F225E36F6E5C44DDED71E62440BAABB7B728816830E986A3,046057134ACCB01E7750CC8B130384EA8963E2170DC29A91D5EAB65EC56A1C73]]
BIGsc = 0EE118B4D106622EFE77DD6D6898A2700C33DFD63392687601AD89211807EEBC
FP4pow = [[18B96E4ABB1CEC0C8BE40806B0F2D151C3DD08A33E5173F72F296D3D3082A039,102A7AA98AA2DA2E1659C3DE9D107990CFC40C36F3C7FE2AEF0609917D57AEE4],[0428749816268958F26C99B2A7E448F4CE4FBBEAE76B4C93C372A0C54769D9DC,1A7A1EF92A6F9D50BACDD97007B12DEF5E8348B2BA6911899D22F441AA32070C]]
FP4frob = [[0E244C499A8325F0F225E36F6E5C44DDED71E62440BAABB7B728816830E986A3,1F9FAD6EF642AA8F3FFD538428864B15F86BB1CD1B2E3BC012C825CCEEF68818],[0B320157C21415FC0048A79ECF8BA2E3AC76D79BAB1E92C9AC6EE14CB5F37A9B,1ACEC1E8E814E6FB13E74B0C782C18D15C605F6EF6E794710052BDF8DD886A51]]
FP4_xtrA = [[23D523ED651ECCFA36ADD171FA471C722CB4F9E98526C360D0E42F4CA6980457,195E2C3AD5B39BA4D390C71ADD75F3A30E9AED859C7B38DD72DF6377B34DF8A1],[08BD84625AD6DA876FA8B1CAA0F8B1D63588D9E88467AB98E95D8A765C07D980,22F509F511360BC7D1CF614B7DDAC7D112EDF449B4295E0AED902F05A99869A4]]
FP4_xtrD = [[17E5833BED54FB8012608C06919F8294A315C6E2CF1E688F85461065AB062E43,18AC786DC16BCD6C8A9A922E08BAC298FB372AB542672DDFA7C9578D3CCC57B4],[236D4BEA942EB303CEDDB75ED9CF53387B488BD89D2379C9DE4F42D26A084F8E,095A1A5B32F0FCAC972330894908A473A451BF13C727C9C0D0D1DE0F7FA9BA63]]
# test 8
FP4_1 = [[0B07F013B97D254D3DE1EC1487E33AE0D3BB87D670167766037DE2A078C95F47,1866C13BD7F4A94FD6CC8DD3661053CF982862BFBBD910453104FFD94B0BBDBE],[0580C3BEECC5C8DD309FC422E81A819F5798361BAA3F0923B320CD82FCD74436,2042D29E686B218BC44373E0204EEE128944491D2084B114A3C2260A00D0B37E]]
FP4_2 = [[23140A857F84AC897A406768E27FB462887C7AEEC5B9FECDCD2BFAD5C3EB9B5F,1FC134F9FAAAD3BB5FF3A040A821692B71F171E35C14F03DA8D994C41C784725],[21CF24A3DD09BF6A01A80C9411F929BBC6CEA1F4D41CDAE55DED4DC086A4D21D,0ECB0F10E737975E14E0EEA9308FD09B4919F7C34D941378970677C570904BE4]]
FP4add = [[0A1BF616F7F2772900D4336E2ED91F42DA686EE10CDF9FE1E7F7014A8854561B,1427F1B39190225D7F720E04D2A7ECFA884A40BEEEFD2A30F12BB871B3236058],[034FE3E088C02D997AF9B0A7BE89DB5A9C97442C556B0DB7285B3F17CF1B71C8,0B0DDD2D0E935E3C21D6427A1554EEAD508EACFC4527EE3B5215C1A3BD005AD7]]
FP4neg = [[18F8146E87923560796C33FAB3A6951FAE140C0DB8DA5EEBE534F98B3B974544,0B994346691AB15DE081923BD5797C30E9A731246D17C60CB7ADDC526954E6CD],[1E7F40C3544991D086AE5BEC536F4E612A375DC87EB1CD2E35920EA8B7896055,03BD31E3D8A43921F30AAC2F1B3AE1EDF88B4AC7086C253D44F0B621B38FF10D]]
FP4sub = [[0BF3EA107B07D3717AEFA4BAE0ED567ECD0EA0CBD34D4EEA1F04C3F6693E6873,1CA590C41E5930422E270DA1F978BAA4A80684C088B4F65970DE4740E2F41B24],[07B1A39D50CB6420E645D79E11AB27E41299280AFF1304903DE65BEE2A9316A4,1177C38D81338A2DAF628536EFBF1D77402A5159D2F09D9C0CBBAE449040679A]]
FP4conj = [[0B07F013B97D254D3DE1EC1487E33AE0D3BB87D670167766037DE2A078C95F47,1866C13BD7F4A94FD6CC8DD3661053CF982862BFBBD910453104FFD94B0BBDBE],[1E7F40C3544991D086AE5BEC536F4E612A375DC87EB1CD2E35920EA8B7896055,03BD31E3D8A43921F30AAC2F1B3AE1EDF88B4AC7086C253D44F0B621B38FF10D]]
FP4nconj = [[18F8146E87923560796C33FAB3A6951FAE140C0DB8DA5EEBE534F98B3B974544,0B994346691AB15DE081923BD5797C30E9A731246D17C60CB7ADDC526954E6CD],[0580C3BEECC5C8DD309FC422E81A819F5798361BAA3F0923B320CD82FCD74436,2042D29E686B218BC44373E0204EEE128944491D2084B114A3C2260A00D0B37E]]
FP2sc = [02BC3B4E76EA2B15F88D89BF28A3DDB43F77F89E7BD1DFB7A1BCE3EF9100DA7B,0E9D1BB8DA0E51BD9F9C0BA5EAE469F01D73BB27DC8909710F2C67537ADBAC40]
FP4pmul = [[0DC6461EB91B817BC168D44C44D0C79521AA4DC49497C1ED7104C4B3AD15DE73,1D5A9C9910F00C446910078BC6F70C2B9BD5A2D908A0538B7C66FA32BB55961A],[040F4F0FA86A3C69B965B4D11982AA0CB56884F00D910A66FFC271FD8FFD6881,0A3F4B4E976A75A0DBA1BA03C102D26849B92E2CD4A995046DA5E4A04F3C7611]]
FP4imul = [[05378785904D4FC1429134714022FC24C6818F14BEBB9726470B7A0BE4C051DB,1ACF3699E3733678025F608ADC4B0AAB21DC63AD7F2C189CB4578E423BCF9E06],[028555B63859235E9D103CE51D2FBB5AE359E6DD7EC869A7FD32C269358238EF,09D3A7475491CAC012036AC57CEDA27EB6008872EDFBD1A5061DE13FCB710D30]]
FP4sqr = [[2374CC72B809DB7202698693FEAC839CA9A7B8833FFE451CABBA3A863E1AE417,07CB0D5F67105D6DDBA0F7ED5D184DC709F7D70D1803A0FF49D29C6013558ABD],[035BA77BDFA288BBE59C59B881D0B3B62522C08C70524207555339AABD622F0D,19CC578D8802CE19CB0E5B2FC51B2860CE3C52F83B396BBB5F9C662B882F960A]]
FP4mul = [[14DFA62DF8E1DD97DF777DF67B64E725347F8D362A38CFB094F35B384451100C,211020E416BFA417D2D607AEF9297749479AD9728AC5067EA8E2A2E48DEED909],[149D8959545BB0C8A5FE6D16CEDBEA9653EF7CB46943F35193F76B63B8124A55,07DEB997F5B69F4845A596F3D1805829BBFBD4647E96677C01F6FC7AEC4F52A7]]
FP4inv = [[046BE1025FA6D70670FA161E40C6710B8CACE5FF57F68E63A1214C6398EF9D25,1B0DEC0149E874D6F217F55C964C20276850B30D2CA4760A7C9C840F5CF7489B],[15751E520F7A1D21CC774C09CC74DF839E77667989CADB6F8FFB055D40481036,0795FB8B7A490D8D1B15862521341F83B71631AA1DAFB173435ACD7759958F17]]
FP4mulj = [[093DF5A2C56A01FF23AA70520355638D502380E2B2AB2E60F81183A4B0673543,01C391DB14218FBB3D9517F3CCDF9FB15F0CEB54A1D2E3E66E30176149475329],[0B07F013B97D254D3DE1EC1487E33AE0D3BB87D670167766037DE2A078C95F47,1866C13BD7F4A94FD6CC8DD3661053CF982862BFBBD910453104FFD94B0BBDBE]]
BIGsc = 05D825898EBA63A40B6FFF62219F80EFBBAE68EF353AF0588CB7F1086941E244
FP4pow = [[19DB745FC7CD5B7F9D1732C3C065D99BB3962E59FE8C5E8B86C20E963ABC5705,1A444A4A562C2EF0FE03058230754F254E70BD9F93939A942B211837A25EB600],[0764853598D72675553B9CD2108FEF03B2E36FAC3FC1428FC78937767D63E093,2329FF669515328CF4D114EE5296AE2B8009515FD366B5677182650E2BEBF0C0]]
FP4frob = [[0B07F013B97D254D3DE1EC1487E33AE0D3BB87D670167766037DE2A078C95F47,0B994346691AB15DE081923BD5797C30E9A731246D17C60CB7ADDC526954E6CD],[07A552BCEE15E8864377E2F1F6A0DCBAED5F545CCA0B9AF57256798607966BD6,0205211E09D428A7918E340379836E20ABB347659FD9BFC4B6B0E4C579C40E97]]
FP4_xtrA = [[0F5DB4F05E331479B4DB072DC21F3E42A4C6CB9243A9B8C16EADE16B45AD3791,02DC1F5A9DF27491401A5C2B563DDFEC065C5CB832F8275052ECAFF589FD233B],[0C8A47F1DCEBEE09C0DDC66CD52D6A8DCB6B3F35D3232BE7CEC66CD66C8B096D,02C9AA32CA9700BA9C68D801B5549AABD8F74F5DE9029CC2667DC59089A7E13C]]
FP4_xtrD = [[0D64EC4B450F90D786A5AE6AEEE60DDB0230A8D65FD15650A4BE75454C882589,1EFD93EC3945C0299CA41C65080B4628DD463955F2332D18B92E5504E5FF5857],[0E5D2EF9B92E1A7646DBE1FE5205B6F4D4532CC3C4D0544EBB94D4B0B710B779,1251F3C5D6BA5BD5E4F902D18EA56484DD25BD6A2A612140D5BAF9E8210FB3F0]]
# test 9
FP4_1 = [[06D32C21F35652D7122A1B1D6E51BDD8C94600D96180312D5CD5097CD350A451,1346D3C484131184E7D381EA86E713B69AC3A7528E561F6A1AD8A4B48852B6DD],[1AE3AE23698DCDDD989FF5448DA242F57795AF965A0FEF65F2E75BB7A2A1D1AD,08BEF6ACFAC8D8F2F91CDD9B74D5043A80C6CB12F0C6AD1F80FE15A0CED07026]]
FP4_2 = [[1FB73C809DFFFFF9414C1C401486D8AFFC7760BC0FABC7082D5D9BFF831A945A,09390BBEA642D6E8B3587D74EFF9F2A445098ED25B8F755AF7CA303AFDA2D544],[1D7C16658856CBE8477540A2C11C8C0B4D93C67C0551EF0A2FE58779ECBC3F2A,04ED268AA3D07F79F57484185462ABEFACF34FBF9087A146B270B08B0637FCD7]]
FP4add = [[028A64205046F8229C28174E474EC68843EDCDB1483B21E3A17FC950A20A9420,1C7FDF832A55E86D9B2BFF5F76E1065ADFCD3624E9E594C512A2D4EF85F58C21],[145FC006B0D53F1828C715D81334FF004359E22E3671081E3A1A0705DAFD6C4C,0DAC1D379E99586CEE9161B3C937B02A2DBA1AD2814E4E66336EC62BD5086CFD]]
FP4neg = [[1D2CD8604DB907D6A52404F1CD381227B889930AC770A5248BDDD2AEE110003A,10B930BDBCFC4928CF7A9E24B4A2BC49E70BEC919A9AB6E7CDDA37772C0DEDAE],[091C565ED7818CD01EAE2ACAADE78D0B0A39E44DCEE0E6EBF5CB807411BED2DE,1B410DD5464681BABE314273C6B4CBC60108C8D1382A293267B4C68AE5903465]]
FP4sub = [[0B1BF4239665AD8B882C1EEC9554B5294E9E34017AC54077182A49A90496B482,0A0DC805DDD03A9C347B047596ED211255BA188032C6AA0F230E74798AAFE199],[21679C4022465CA30878D4B1080F86EAABD17CFE7DAED6ADABB4B0696A46370E,03D1D02256F8597903A859832072584AD3D37B53603F0BD8CE8D6515C898734F]]
FP4conj = [[06D32C21F35652D7122A1B1D6E51BDD8C94600D96180312D5CD5097CD350A451,1346D3C484131184E7D381EA86E713B69AC3A7528E561F6A1AD8A4B48852B6DD],[091C565ED7818CD01EAE2ACAADE78D0B0A39E44DCEE0E6EBF5CB807411BED2DE,1B410DD5464681BABE314273C6B4CBC60108C8D1382A293267B4C68AE5903465]]
FP4nconj = [[1D2CD8604DB907D6A52404F1CD381227B889930AC770A5248BDDD2AEE110003A,10B930BDBCFC4928CF7A9E24B4A2BC49E70BEC919A9AB6E7CDDA37772C0DEDAE],[1AE3AE23698DCDDD989FF5448DA242F57795AF965A0FEF65F2E75BB7A2A1D1AD,08BEF6ACFAC8D8F2F91CDD9B74D5043A80C6CB12F0C6AD1F80FE15A0CED07026]]
FP2sc = [134984FF7F16EABD245E72B15167A3F2DA8CD32EC8DE1608C202EFDE693C6554,1C76D4865779F54F5467A7A3988068D7327D9F5097EDF59D16A9A4D3A95608B3]
FP4pmul = [[1E9BC814456F992A083144A255DADCFC7A6135DA74AD76EB49CF1E2F61E0403A,0F684B7AF2C9DE010EE456571FDBB8C1FAB1267DD9E182A28AD380EB3F40E766],[06B22AE84E5A8AA695CC37B6BDD9EF7147EB4026CBAC212FA04284009E257F1F,0A17784F42E4F81087DFE1D2078DF0B2218E6CFA7394595E9D40002ED2519C74]]
FP4imul = [[12995C8D59A33C0ADA02B8DC37041EC5C86072E6E310B318FDF56FBAE6247DFD,0A368C1B1C5B217061638F1749115DB2CEDEEB03CEEDA20933F9B4F5711324BC],[231D5A900721A988307909D8436107A9339F993E03CB4B960BBC90E28F2B56B1,21F7B0E595376CEA1198CCCC6B1E51D38466C4B35D4492AA1F3DD0DAC222DCA5]]
FP4sqr = [[1B5EF10927CC77D4496D819BE164DB82902C524D1FB4FB2AF2DE81DB4217789D,1C9B36C2A019DEB045B053D19F3F3BF9BB298232E0D2EC28775AF4A770FD6093],[10FC693023F52411EBACF338B672C529DC38DFA6DE046AD8CE65567C79F2281A,1C0EAEBB549B1A40A46F9932513BA7F8E0913E64CD81E4C6FD92E44DDA7B6D77]]
FP4mul = [[166DA506DFE156F509EB8A1501421464F5DE27D4F580A81F8FD5B3896CAD1A59,0BA00AFAB863A4085CD23B421E6875361B833EE3B7A16E6258259496AC9AE1F4],[1DD2BD2C596F54CA73CC93D90AAD66B3B29A5AF2F164D6F9C4F05B1CE0EEBF68,233FAB4196A6BE4C4ED008CDBF546B25CB2A14CA9568890EF350235B13863868]]
FP4inv = [[0A1C4BFD87F144A58C2DA698F62BD36262750F1D939E309B700C8F1C87723171,0D3D52DD95B48CD3A136C5D53D2626D5E838DE6B73AE5E891AC3B6D119155DB3],[11DFCF53542EEC67087AF751F85F47F02F57B3B5C3F2F0A12B1DAEB56AB40A9A,1461126E1494F5990019FB7B4EBC21145FF7E6A375EA0077E1E0044173671F99]]
FP4mulj = [[1224B7766EC4F4EA9F8317A918CD3EBAF6CEE4836949424671E94616D3D16187,23A2A4D06456A6D091BCD2E00277472FF85C7AA94AD69C8573E57158717241D3],[06D32C21F35652D7122A1B1D6E51BDD8C94600D96180312D5CD5097CD350A451,1346D3C484131184E7D381EA86E713B69AC3A7528E561F6A1AD8A4B48852B6DD]]
BIGsc = 02BE72F6055F85CC24B5D0650EA6472FAD9148A8B886E6669F2564DC32949AF7
FP4pow = [[15D089B6110B81D68C7B6151DB40D8B7A861BA653F43864563CDE8E99452F0CC,101C7B0CDF9E091471C5F697EC551787D6BCE3AB3AC5AA751B3B3638B0EE4CAD],[036E06DE36C2160DFEF950A805B5674E28719B79A60D84337C93F09D07518B0B,11D220DE5C39C0DB18E2AC47FE54940A7FEDC36CA5D47C809311C8A67467C861]]
FP4frob = [[06D32C21F35652D7122A1B1D6E51BDD8C94600D96180312D5CD5097CD350A451,10B930BDBCFC4928CF7A9E24B4A2BC49E70BEC919A9AB6E7CDDA37772C0DEDAE],[0473B41B895F9B27F7858C9F955E716297DE4A60A7EB93B050DF3F522B1BD337,1B9FF4184FAC22BF4E4536F3DEED7D3D338844F5DFE4145540C20A3E9782DB66]]
FP4_xtrA = [[151835BFC5A3B74A1CC95D1A2FF80D6195B27E552F2B165A1CAF97A5F1D75CE4,0B3AC56284998A254625C3DC33746D11099393448A465438B137B6C33AC2ADB3],[206BEE88A767D0C0739CAF12BE4EE8ADDCB6CB5FB56535434E18EC1E97185169,14813B4464FA26393C62A4E930D4EE860604FB5D0B9669C761A59369103E8079]]
FP4_xtrD = [[0DB898C5411FD22625194B6104C15FD0FDA0509A5CB498D039346EE19B762FFB,1A0D93BBD90316542D57700BCCFAE48D0771C771ED1783A62A5C876A14B89764],[22C3C0F4B601651F659EBDB2962D7B144994AAEF69337352CB8131C00AD526E9,098C9793091D7178DF5B3459FF5BE06D604F40A6861E68B416DC3363C3BBA938]]
# test 10
FP4_1 = [[0D6B19F512653709ADCDC5769D9E8C8295664D4D240E7C7A5CE98CD84C9EB61C,1E8C21E72B08FF0E0FD49ECC996AFDD5870094530F76653DBD2799FA12C062B7],[20423CAFDD28F3565F602F7275E563EB52E13682B8AEDAEAF11A9189B266B7FF,1EB0A342FCD5125BA7D78D5B9F1CDEA4400123A1E38B410D92FA3393DD9A1D38]]
FP4_2 = [[20268F65577D83E0CB0DA600763C942568345BAAB48E8CF210B99C4D45796CA8,1B0ED00CDC9E199F7F6F4AFA606153253CF38C7851392B5BD40C620DE074D58B],[0A1CC6048DBEFABFE85552D681497A9FF0CD230EF165DB345286681D65FA911F,12C8915BCF9E54C0BF71BAF341131859CBD2E19AA4FDAD94CEED96AD10878298]]
FP4add = [[0991A4D828D3603CC18D4B67D85150A77BCB1513AFAC331A84F04CF9DDB77E39,159AED71C697BDFFD7F5C9B7BE4280FA42248CE737BEBA47A8811FDC3ED493B7],[065EFE3229D8936890676239BBA50E8AC1DEC5AD8123DFCD5AEE1D7B6400A493,0D79301C8B640C6EAFFB283FA4A626FD8A0471585F9818507934EE1539C0FB45]]
FP4neg = [[1694EA8D2EAA23A409805A989DEB437DEC69469704E259D78BC94F5367C1EE6F,0573E29B16065B9FA7798142A21ED22AFACEFF91197A71142B8B4231A1A041D4],[03BDC7D263E6675757EDF09CC5A46C152EEE5D617041FB66F7984AA201F9EC8C,054F613F443A48520F7692B39C6CF15C41CE70424565954455B8A897D6C68753]]
FP4sub = [[11448F11FBF70DD69A0E3F8562EBC85DAF0185869870C5DA34E2CCB6BB85EDFF,037D51DA4E6AE56E906553D23909AAB04A0D07DABE3D39E1E91B37EC324B8D2C],[162576AB4F69F896770ADC9BF49BE94B62141373C748FFB69E94296C4C6C26E0,0BE811E72D36BD9AE865D2685E09C64A742E42073E8D9378C40C9CE6CD129AA0]]
FP4conj = [[0D6B19F512653709ADCDC5769D9E8C8295664D4D240E7C7A5CE98CD84C9EB61C,1E8C21E72B08FF0E0FD49ECC996AFDD5870094530F76653DBD2799FA12C062B7],[03BDC7D263E6675757EDF09CC5A46C152EEE5D617041FB66F7984AA201F9EC8C,054F613F443A48520F7692B39C6CF15C41CE70424565954455B8A897D6C68753]]
FP4nconj = [[1694EA8D2EAA23A409805A989DEB437DEC69469704E259D78BC94F5367C1EE6F,0573E29B16065B9FA7798142A21ED22AFACEFF91197A71142B8B4231A1A041D4],[20423CAFDD28F3565F602F7275E563EB52E13682B8AEDAEAF11A9189B266B7FF,1EB0A342FCD5125BA7D78D5B9F1CDEA4400123A1E38B410D92FA3393DD9A1D38]]
FP2sc = [036400ADA1144634BB81D3964CA366F9A9CF45AF4DC758F45DFA23587977E549,05877B5D856E4A304DCF28A7B7B7489F9F2D54C752BD1F0BC62EBDA9D7FCB0DF]
FP4pmul = [[13FA44D97929818FEA66F329A80079E14362844328C2CD7EC8234B6F4621D4F3,18D8E3F435CC57789611653258B275CB6116DA9418BB67C4E26A2D1B2E14660D],[0D3711A57BFDC325E183244C10F5C62B8E63A3C99E4D9AA8C0EFD8BA3DC4CDB0,1F7E7BBC786D2FCD8F939325BF2D7F8B704DF64C07F30478F6ED6DAF45045C57]]
FP4imul = [[0CC3DC16E260DF4DF65190FDD7F58095BB29FC09C9AFDD578A1D5F179472795B,16ED1190BBE57CBE8B56B4C6C3FE3C7E32582BAE6C93B2EE49806498BA1EF8A2],[0253FE1CBDF5B89B9FF0AA8C48C20341DB6E4B77369EFFB334583C79A297539F,18359DCB1C122A78E37117CDF73F23C2B35D3573E14F6D3CCDE7CB00DBC6872B]]
FP4sqr = [[0A7DEEE9197F05373A53D02DC1F40B6F1BA3C1AEB2845CC49EC021444B70D904,09E689A8E763930F2836248F9636CF4C6466032766FF573F30F8750A5FAEC692],[0383A1C8D1A497556439BAC4E9F841C38F375DE3CD2544C487246524687F4224,106B65E9B5284A7228E44773ED52DDB40480C856831459FEBC7E7BE1687B4931]]
FP4mul = [[1E67659DFE3B58CD6CB9CB34520C555B1307EAEFE470970181DCFE06BA9E505C,20289FD1418718157CF32B16A53E10AEE8723C2624B62C49C3E5AF3AF902AA40],[1604F894EDC9922F7B3C7EC1083CE63A394261AF876792C9E40302269608CF0C,05AA8F710D12CFA9C9130238792156012E9D3ACC4BEBCD01D8957EFD55ADDE35]]
FP4inv = [[0125E0F8F9E400DC6C3909497D76C1F6456E536D6D3255B7F92E177C8DE80D80,1DCD40979534C2349B41216F16FA2A6262175EEECE5325E44F4AA68EE96D3E5D],[1C89FFA61EECE0D49CFFE7CA1F283D5E70E1B83DAFB448ACF06439CCA573711D,155018901062FA5A2804CCCF87F9D7AA0545AA113A0E340BAE44D8A3C7D8DDF5]]
FP4mulj = [[0191996CE053E0FAB788A216D6C8854712E012E0D52399DD5E205DF5D4CC9AC7,1AF2DB7098EEAB044FE99CBED978728F1112C640734945A69B61E8F1DBA030AC],[0D6B19F512653709ADCDC5769D9E8C8295664D4D240E7C7A5CE98CD84C9EB61C,1E8C21E72B08FF0E0FD49ECC996AFDD5870094530F76653DBD2799FA12C062B7]]
BIGsc = 0569A1B39D666A7966311DC9E63D5E648CF4CF58593E27D7CB2BD461BA01FC20
FP4pow = [[20B338664E10851948CEA080DF7B86D6D72DFA172D99A8A26A04F15CBBCCA843,0F426CB6866ED7909B7DC01032140292CF5910F1D8367FC8484CBE64DA7F155C],[058A4703F1E12A5A4F2518723661D37FED171F7650894028A0AEE579CE3672B5,09D3A6DB29F9B8BAE78359C1A97950E51CAC1CA90F80DD9BE2564CEC766BA00C]]
FP4frob = [[0D6B19F512653709ADCDC5769D9E8C8295664D4D240E7C7A5CE98CD84C9EB61C,0573E29B16065B9FA7798142A21ED22AFACEFF91197A71142B8B4231A1A041D4],[176D775C413742F67DB42D46019BB3ABE6CB9E6762F69D833A4652BC92AB5760,2210A4459201603A51F68F678DDA3190D0DCC6B70DE3392DB44998741591351E]]
FP4_xtrA = [[0261D3AC871466EEBD3E5BAFC70B5476BB1E72B0C800DB6484B934F260AD367B,1106E063C06F88ED5900E03B4B801021CB9BDB15EFB8AD1869872EC1281E79B3],[08A493E8D5E2C5FEC03219055611C97A9DD9941100499C64522D6DF61778F844,1D68E659D230237214839A8A0E493D26401580563DC470714B620FED3D0F656D]]
FP4_xtrD = [[13A7BF8135C3F1D19606654FC240C26A72A6BAF893583A21CD9FE3BF66941157,14CE4EDF13704A4E77292714DA7473A25A04024999F43967880EF96DA2EF4A3A],[200816A64AE723546BABF99A9A393999B32A37051592244880A6AC0C18EC0D97,05CCA36B2CB3B9CE09F7220CB478FAFB80E3E7D1F8492F76110D2AB1BAEE3A8B]]
# test 11
FP4_1 = [[172F7A046486E285A6A01D4BDF25B0829FE08C263D22F93A8F348929DA231BD5,19F09F52F02CBDC2E4C33851D409B90C3952222E6FAA36599418AACFB7206EA0],[0521934E550A1B98A90B2AFC709C8DCAF9FA68FB77D0C8137CC82FAA11F9B198,169ECDE71D45A969F715A2F68D3A568B448EAC87ED949146F13143E108675165]]
FP4_2 = [[153EE6B962D50BC216CA97E71DD2D150BAEC7089D42AA861D581BA7B33736F26,20BA0F6DDCE2D19D9211B91D225FF6EE1A6F0BAA5CEA36648BDC610C9D8C848E],[0E8C1D1C342D2148C1D76BB0512B820412BFDAB375FE36C1C2ADF2DDBCAA3B7E,012AB18CD04038BE2D9178F5031D664D9097C3F937234EB4E38D933D876A2497]]
FP4add = [[086E5C3B864C939A061C9523C16EB1D2D8FD68CBE85CCB4A7C0367795935E670,16AAAA3E8C0034B2BF86D15FBADFDFF9D1F199F4A3A3966C37422FB0A04C4EA3],[13ADB06A89373CE16AE296ACC1C80FCF0CBA43AEEDCEFED53F762287CEA3ED16,17C97F73ED85E22824A71BEB9057BCD8D526708124B7DFFBD4BED71E8FD175FC]]
FP4neg = [[0CD08A7DDC88782810AE02C35C641F7DE1EF07BDEBCDDD17597E5301DA3D88B6,0A0F652F50E29CEAD28AE7BD678016F4487D71B5B9469FF8549A315BFD4035EB],[1EDE7133EC053F150E42F512CAED423587D52AE8B1200E3E6BEAAC81A266F2F3,0D61369B23C9B143C0387D18AE4F79753D40E75C3B5C450AF781984AABF95326]]
FP4sub = [[01F0934B01B1D6C38FD58564C152DF31E4F41B9C68F850D8B9B2CEAEA6AFACAF,1D369467545946D309FF9F43ED33921EA0B2AA683BB0D646F0EF25EECDF48E9D],[1A957AB461EC54FD9E81DF5B5AFADBC7690A222C2AC367A3A2CD18F809B01AA5,15741C5A4D0570ABC9842A018A1CF03DB3F6E88EB67142920DA3B0A380FD2CCE]]
FP4conj = [[172F7A046486E285A6A01D4BDF25B0829FE08C263D22F93A8F348929DA231BD5,19F09F52F02CBDC2E4C33851D409B90C3952222E6FAA36599418AACFB7206EA0],[1EDE7133EC053F150E42F512CAED423587D52AE8B1200E3E6BEAAC81A266F2F3,0D61369B23C9B143C0387D18AE4F79753D40E75C3B5C450AF781984AABF95326]]
FP4nconj = [[0CD08A7DDC88782810AE02C35C641F7DE1EF07BDEBCDDD17597E5301DA3D88B6,0A0F652F50E29CEAD28AE7BD678016F4487D71B5B9469FF8549A315BFD4035EB],[0521934E550A1B98A90B2AFC709C8DCAF9FA68FB77D0C8137CC82FAA11F9B198,169ECDE71D45A969F715A2F68D3A568B448EAC87ED949146F13143E108675165]]
FP2sc = [1C6EB3002ACF1FC422682EC2721674C9C80CEA5D1F407F6E645505DEB27B87A9,0F4568C4036B31385E1DBEF3DC2C60750C153B660ABAB52B95037666AE397595]
FP4pmul = [[124ABE2EB3B889803F5AF5AA6D37B53CC423F9B0F6A62B52CDEDE560BC7CE01B,0CAC7F20056E0F98CBA77BCD83EB7FA7F05387B2ED1929E01D7C380C44F16BAC],[1D1603F702637D2D51DBD6F3EDD410648A48155FAD113596AAF8C795591FACE0,04AECCBB5E1E7CA19C370966914F26CA4CBFA31B6AA3818113FFED4AD8A1BA7F]]
FP4imul = [[0FDAA91E66E8B926366C649B523E051733E802256DB8B65E23DC329C4B1B3B10,076619AD9A53EEDCEC7D52C7A79C8A76B0884A933E1043426C12A6EB389FD273],[0F4FBC8D1155B948E3218DCD2A93B9ED41F885EE8536FA70F71F0078FF604B65,0A33EFF99E5C7E115B039D461F0C816DA2B545F65228A6D9F7BB7DC419C552B0]]
FP4sqr = [[06E10E9731FAD33142C87C2AD642851966A045F753CCCFC772DED908E80860C4,21B19B381994AB8F2FCBBFD4F219A5B4C06D43F03B8417843FBBE99A8A99CF],[03DD2EFCCB213EA54014368015D394568FD9C455E6E47B09F5349A00E02A1F0E,18727886748EB5579708FD642E81549DE47659F5BD9951B5FF1E8A3E4BFC77B2]]
FP4mul = [[9E1807DBB5A4894C993F60A16D9FC549F5A30B60CDDBAEBBBEB9B3F562B792,0B855AA805DF14028A29D9842850E695904386A6D59CB0BC2EAEAC12CB9EF4F4],[10F52677D1BABD3DD2B8A1A0768DEFF3EFFE2E8A34F12AA41DD7B1D50C7BAE94,0A89515A4B0C9B489599CD18ACCEFD827C6B3692988D569263BF05DC0A823B42]]
FP4inv = [[18771BDB6C332BB00811B5ED2594279CAEB360DE1B5074FC779E6BFF24A6C4EA,225F52810EA9575A42D750B1B3FD5F6A3EA04DF90C84BC99013C98E4AD5AF26F],[1B841A7AF720F2990D77FD1D0DE893F1F861A65C851FE4AFDC4528AD58C73746,0A7164D9D0407571DC582F9A7A6F4C26D18AB65A975EF7526F811FE08B358121]]
FP4mulj = [[1282C9E978D3CCDC6943A8151EEC0740373B5057B32D0D1E7449C7F4BDF304BE,1BC06135724FC502A020CDF2FDD6E4563E8915836565595A6DF9738B1A6102FD],[172F7A046486E285A6A01D4BDF25B0829FE08C263D22F93A8F348929DA231BD5,19F09F52F02CBDC2E4C33851D409B90C3952222E6FAA36599418AACFB7206EA0]]
BIGsc = 19C9B6F84E9A3B06687E32905080BD82E65F5FE0E437A564EBE57452B8A07DBD
FP4pow = [[0968B52C201E50F8E8FF1B3649B8CE6CDE3FA8C5D195DEEF01BA4970FF9CF5A9,1FE99F5FA8CA2EAF9B023FD1927D368FE6A137B5D6A3936FCA6101096C9C229E],[14B142B7BACDF2E2C4CF5EFCBDADB8D44AC318294605EDAB10D3DE4F78484674,2198B692B8EE529B948589A65D185C684CBB040B048E6BD315C2C0AC177214F4]]
FP4frob = [[172F7A046486E285A6A01D4BDF25B0829FE08C263D22F93A8F348929DA231BD5,0A0F652F50E29CEAD28AE7BD678016F4487D71B5B9469FF8549A315BFD4035EB],[1E5D1E1DA73113806246D660DE79FED47B666DC92D7F59866CD2A13C9AB31E01,207C6985326140A9334DE306771AD84C898A9716F7BD6374CAA9217DC7FF604A]]
FP4_xtrA = [[183B063F68179FD320AB930CDF8C7360F291E7037259B2736714FC4193DEDE71,13A5EE28E1B9636AD8778A9368C3531E585EBA62262888C9E0AB153BA809FDE9],[13D240C3D42A3616D2C7640D05AC4248D63BBB4893177C68BF6901E566B69414,12E7AE260B0B912EB3B803F1382658D635D29720C345FF38A3664461DE401FA4]]
FP4_xtrD = [[20822392EB0BC381642481B18F0AC4152A7E55732B6889F625DB7F0C9C837230,14407BF9D9DECE8134459B3AA3F2478E45BB50AF62C8C4082D741EA1950B05A5],[0E205599753575D6922A8C78F70CAFEC83CE964CD6860B30EEC4F955041D823E,21B00FD26E0AAD7DCDE623420D6C31B3EBC41F216FD19DF1F8CE35D4A86A75F1]]
# 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 = [[24000482410f5aadb74e200f3b89d00081cf93e428f0d651e8b2dc2bb460a48a,24000482410f5aadb74e200f3b89d00081cf93e428f0d651e8b2dc2bb460a48a],[24000482410f5aadb74e200f3b89d00081cf93e428f0d651e8b2dc2bb460a48a,24000482410f5aadb74e200f3b89d00081cf93e428f0d651e8b2dc2bb460a48a]]
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]]