Ryan downloaded a video game to his computer. The size of the file was 3.1 times 10E4 kilobytes. After the game, Ryan installed a patch that is 40000 kilobytes. How many times larger was the game file than the patch file?