yep. in the code, k is 800.  There are only two numbers, not three, in SimpleTruthVlaues.