which gross domestic product has an inflation index (2000=100) smaller than 9.3?
none