.. auction.out basic_bank.out board.out bubblesort.out core.out fibonacci.out groups.out helloworld.out interest.out lottery.out message.out move.out ntzdebruijn.out ntzgaudet.out ntzloops.out ntzmasks.out ntzreisers.out ntzseals.out ntzsearchtree.out ntzsmallvals.out simple_token.out tictactoe.out token.out twoadicity.out verify.out vote.out