参考下面的段落,然后以相同的语言回答后面的问题:  通过:蜘蛛是3D手持式彩色扫描仪,于2013年发布,旨在以高分辨率和精度捕捉较小,复杂的物体. 该设备的3D分辨率高达0.1mm,精度高达0.05mm. 在后处理过程中,蜘蛛不需要标记或手动对齐. 它需要30分钟的预热时间才能达到最大的准确性. 结果扫描可以导出到多种文件格式,包括OBJ和STL.  问题:扫描可以导出到什么格式?
OBJ 和 STL