reglove5.unisat#74,173,348snsreglove2.unisat#74,173,289snsreglove3.unisat#74,173,249snsreglove4.unisat#74,173,211snsreglove1.unisat#74,173,181sns#51,645,121vedamint1,000.bos#51,108,457BRC-100mint1,000.bos#51,108,423BRC-100mint1,000.bos#51,108,415BRC-100mint1,000.bos#51,108,413BRC-100mint1,000.bos#51,108,357BRC-100mint1,000.bos#51,108,324BRC-100mint1,000.bos#51,108,289BRC-100mint1,000.bos#51,108,271BRC-100mint1,000.bos#51,108,234BRC-100mint1,000.bos#51,108,216BRC-100mint1,000.bos#51,108,196BRC-100mint1,000.bos#51,108,180BRC-100mint1,000.bos#51,108,165BRC-100mint1,000.bos#51,108,122BRC-100mint1,000.bos#51,108,118BRC-100mint1,000.bos#51,108,103BRC-100mint1,000.bos#51,108,053BRC-100mint1,000.bos#51,108,041BRC-100mint1,000.bos#51,108,011BRC-100mint1,000.bos#51,108,002BRC-100mint1,000.bos#51,107,998BRC-100mint1,000.bos#51,107,951BRC-100mint1,000.bos#51,107,934BRC-100mint1,000.bos#51,107,933BRC-100mint1,000.bos#51,076,302BRC-100mint1,000.bos#51,076,286BRC-100mint1,000.bos#51,076,280BRC-100mint1,000.bos#51,076,275BRC-100mint1,000.bos#51,076,270BRC-100mint1,000.bos#51,076,255BRC-100mint1,000.bos#51,076,242BRC-100mint1,000.bos#51,076,236BRC-100mint1,000.bos#51,076,235BRC-100mint1,000.bos#51,076,216BRC-100mint1,000.bos#51,076,212BRC-100mint1,000.bos#51,076,210BRC-100mint1,000.bos#51,076,204BRC-100mint1,000.bos#51,076,197BRC-100mint1,000.bos#51,076,195BRC-100mint1,000.bos#51,076,189BRC-100mint1,000.bos#51,076,170BRC-100mint1,000.bos#51,076,168BRC-100mint1,000.bos#51,076,158BRC-100mint1,000.bos#51,076,152BRC-100mint1,000.bos#51,076,148BRC-100mint1,000.bos#51,076,146BRC-100mint1,000.bos#51,076,130BRC-100mint1,000.bos#51,076,129BRC-100#50,135,734veda