#!/bin/bash
 
N=$1

function out {
	echo $1 >> flip$N.sm 
}  

echo "ctmc // model is a ctmc" > flip$N.sm
out "module machine"
for idx in $(seq 0 1 $((N-1)))
do
    out "b$idx : [0..1] init 0;"
done

num=$((N-1))
for idx in $(seq 0 1 $num) 
do
	out "[] b$idx = 0 -> ("
	for i in $(seq $num -1 1)
	do
 	rate=$((20 + 1 * i))
 	out "(1+0.$rate*b$i)*" 
	done
	out "(1+0.1*b0))"
	out ": (b$idx'=1);"
	out "[] b$idx = 1 -> ("
	for i in $(seq $num -1 1)
	do
 	rate=$((20 + 1 * i))
 	out "(1+0.$rate*b$i)*" 
	done
	out "(1+0.1*b0))"
	out ": (b$idx'=0);"
done

out "endmodule"
out "rewards \"notS0\""
out "	b0=0 : 1;"
out "endrewards"