Hey mister super-duper robo-dabster. We need you to tell us, what Marvin is!

What we know:

Marvin is
using brainpool p256r1.
His friend is called meneze or something. Or was it van-stone?

What we heard:

(23372093078317551665216159139784413411806753229249201681647388827754827452856 : 1)
71164450240897430648972143714791734771985061339722673162401654668605658194656
12951693517100633909800921421096074083332346613461419370069191654560064909824
What we need to know:

What Marvin is