Output: [|B=0; -N+100000>=0; N>=0|]