#!/usr/bin/python

import base64
import ast


fp = open('electrum.dat')
read = ast.literal_eval(fp.read())
e = base64.b64decode(read['seed'])

ret = 'u32 initvector[4] = {'
i = 0

for i in range(0, 16, 4):

    ret += '0x'
    ret += '%02x' % ord(e[i+3])
    ret += '%02x' % ord(e[i+2])
    ret += '%02x' % ord(e[i+1])
    ret += '%02x' % ord(e[i])

    if(i != 16-4):
        ret += ', '

ret += '};'
print ret


ret = 'u32 encoded[4] = {'
i = 0

for i in range(16, 32, 4):

    ret += '0x'
    ret += '%02x' % ord(e[i+3])
    ret += '%02x' % ord(e[i+2])
    ret += '%02x' % ord(e[i+1])
    ret += '%02x' % ord(e[i])

    if(i != 32-4):
        ret += ', '

ret += '};'
print ret