def bookname(bookindex):
nt = {<EOL><NUM_LIT:0>: '<STR_LIT>',<EOL><NUM_LIT:1>: '<STR_LIT>',<EOL><NUM_LIT:2>: '<STR_LIT>',<EOL><NUM_LIT:3>: '<STR_LIT>',<EOL><NUM_LIT:4>: '<STR_LIT>',<EOL><NUM_LIT:5>: '<STR_LIT>',<EOL><NUM_LIT:6>: '<STR_LIT>',<EOL><NUM_LIT:7>: '<STR_LIT>',<EOL><NUM_LIT:8>: '<STR_LIT>',<EOL><NUM_LIT:9>: '<STR_LIT>',<EOL><NUM_LIT:10>: '<STR_LIT>',<EOL><NUM_LIT:11>: '<STR_LIT>',<EOL><NUM_LIT:12>: '<STR_LIT>',<EOL><NUM_LIT>: '<STR_LIT>',<EOL><NUM_LIT>: '<STR_LIT>',<EOL><NUM_LIT:15>: '<STR_LIT>',<EOL><NUM_LIT:16>: '<STR_LIT>',<EOL><NUM_LIT>: '<STR_LIT>',<EOL><NUM_LIT>: '<STR_LIT>',<EOL><NUM_LIT>: '<STR_LIT>',<EOL><NUM_LIT:20>: '<STR_LIT>',<EOL><NUM_LIT>: '<STR_LIT>',<EOL><NUM_LIT>: '<STR_LIT>',<EOL><NUM_LIT>: '<STR_LIT>',<EOL><NUM_LIT>: '<STR_LIT>',<EOL><NUM_LIT>: '<STR_LIT>',<EOL><NUM_LIT>: '<STR_LIT>'<EOL>}<EOL>return nt[bookindex - <NUM_LIT:1>]<EOL>
Returns the name of the book given the index.