write encoder instruction lists to loadfile