【习题】1835年，在今四川自贡市境内，钻出了井深1001.42米的（ ），成为当时世界上第一口超千米的深井。