added peano modulo 17 demo for demo and benchmarking purposes