Portal solutions

Portal was solved using Python by 3 contestants. Solution sizes: average 3014 bytes (shortest: 2088; longest: 4187).