// priority: 1000 global.allTFCStoneTypeNames = [ 'gabbro', 'shale', 'claystone', 'limestone', 'conglomerate', 'dolomite', 'chert', 'chalk', 'rhyolite', 'dacite', 'quartzite', 'slate', 'phyllite', 'schist', 'gneiss', 'marble', 'basalt', 'diorite', 'andesite', 'granite' ]; global.allTFCStoneTypeNamesWithoutDups = [ 'gabbro', 'shale', 'claystone', 'limestone', 'conglomerate', 'dolomite', 'chert', 'chalk', 'rhyolite', 'dacite', 'quartzite', 'slate', 'phyllite', 'schist', 'gneiss', 'marble' ]; global.allTFCStoneTypeNamesOnlyDups = [ 'basalt', 'diorite', 'andesite', 'granite' ]; global.slabTypes = [ 'raw', 'smooth', 'bricks', 'cobble', 'mossy_bricks', 'mossy_cobble', 'cracked_bricks' ];