[[4163779913938300929692849383966514284858040938385522126460051994426579147809, 449133568844659991942113905334926622035487276564288223114638793429864106507, 7553186830405894205378499368593286374073184183143078003248112820175678562370, 3415532569157459747972510189175641349766892889247758661381702176788619165312], [8311499246744978495761128922115769394116537109181036342970508207603253262512, 3033439665586981455293312667517961056235408866289167474858745075647266559402, 5460622676607182047905283835643977565952501947500276515847283673542627233660, 125503622931639993174483970227421324318208887010700742842599938113533585513], [6705153761066018965369651308449357881889234802686128812392565736004597417439, 7460965453811670962592753959002682861263288740980793700039151893748002702941, 2420075076849252407907563478050788072031177099741075843447973271606999526960, 6833756216848641998531724326223289603258556384014752315195528945724776477852], [1423439737246486511096573008708588834030066372755147543926099378688249829433, 3970756958336634358816852910559275452333794956702421860118144118653189547078, 2128141059721409710605388826780666526179366468419368690140341102542392819065, 1895593169467354299852961696355779236379423894760767721521166969013283075661]]