040000 tree d4f97e386ad3ccbcd519232a6260105d10580e41	antidote
040000 tree 1386c1578e3bbd20c9e3638d5d33b0d8e7e016db	etc
040000 tree 8d814a5d47e8418231df7dab2ff80e4eb363611f	main
040000 tree 3c007a79d1572ac12bb440e7b1aa258f6a76de26	script
040000 tree fe399fae16658d594ed82aaf6e0fbb1ddde63df9	testcases