Arithmetic Miner Source Code