#!/usr/bin/env python
# coding: utf-8
import sys
sys.path.append('/home/pat/.pylib')

import codecs
sys.stdout = codecs.getwriter('utf-8')(sys.stdout)

import simplejson

pairs  = open('table.txt').read().decode('utf-8').splitlines()

velthuis = {}

for pair in pairs:
 before, after = pair.split()
 velthuis[before] = after

dumped = u""
for before, after in velthuis.items():
 dumped +=  "['%s', '%s'], " % (before, after)

dumped = dumped.strip()
dumped = dumped[:-1] # strip final comma

dumped = "[" + dumped + "]" # now it's JSON. 
sys.stdout.write( dumped + '\n')