The tools comprised two pickaxes, two spades, a silk ropeladder, three iron-tipped sticks, a hatchet, a hammer, a dozen wedges and iron spikes, and a long knotted rope.
De gereedschappen bestonden uit twee breekijzers, twee houweelen, eene touwladder, drie met ijzer beslagen stokken, eene bijl, een hamer, een dozijn ijzeren wiggen en bouten en lange touwen met knoopen.