diff -r c112a6cb5e52 -r 183663740fb7 Attic/mand.prs --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Attic/mand.prs Mon Feb 03 01:10:16 2020 +0000 @@ -0,0 +1,6104 @@ +val mand = List( + ArrayDef("mem", 30000), + Assign("ptr", Num(15000)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(13))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(2))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(5))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(2))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(6))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(3))), + Assign("ptr", Aop("+", Var("ptr"), Num(10))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(15))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(26))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(17))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(16))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(15))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(10))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(11))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(36))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(13))), + Assign("ptr", Aop("+", Var("ptr"), Num(23))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(15))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(21))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(13))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(12))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(19))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(7))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Num(0)), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(13))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(15))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(10))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(10))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(36))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(36))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(36))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(35))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(8))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(2))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(12))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(11))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(14))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(11))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(11))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(14))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(11))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Assign("ptr", Aop("-", Var("ptr"), Num(10))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(14))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(10))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(10))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(14))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(10))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(11))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + Skip + ) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(14))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(11))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(14))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(11))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(14))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(11))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Skip + ) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(15))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(10))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(36))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(36))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(15))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(12))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(10))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(12))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(10))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(12))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(10))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(12))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(13))), + Skip + ) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(10))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(11))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(10))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(10))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(11))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(12))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(2))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(12))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(13))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(10))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(13))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(10))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(13))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(10))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(11))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Skip + ) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(13))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(11))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(13))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(11))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(13))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(11))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(12))), + Skip + ) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(13))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(11))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA( + "mem", + Var("ptr"), + Aop("-", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA( + "mem", + Var("ptr"), + Aop("+", Ref("mem", Var("ptr")), Num(1)) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(11))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(13))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(11))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(15))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(10))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(11))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(36))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(17))), + Assign("ptr", Aop("+", Var("ptr"), Num(19))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(15))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(21))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(13))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(11))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + Assign("x", Ref("mem", Var("ptr"))), + Write("x"), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + Assign("x", Ref("mem", Var("ptr"))), + Write("x"), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(11))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + Skip + ) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(14))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(16))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(14))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Assign("x", Ref("mem", Var("ptr"))), + Write("x"), + Assign("ptr", Aop("+", Var("ptr"), Num(10))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(10))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(15))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(10))), + Skip + ) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(15))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(7))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(27))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(17))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(7))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(2))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(15))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("+", Var("ptr"), Num(6))), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + AssignA("mem", Var("ptr"), Num(0)), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + Skip + ) + ), + Skip + ) + ), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("+", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(8))), + Skip + ) + ), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List(Assign("ptr", Aop("-", Var("ptr"), Num(9))), Skip) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(4))), + AssignA("mem", Var("ptr"), Num(0)), + Assign("ptr", Aop("-", Var("ptr"), Num(3))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(4))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(9))), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(5))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("+", Var("ptr"), Num(27))), + AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), + Assign("ptr", Aop("-", Var("ptr"), Num(6))), + While( + Bop("!=", Ref("mem", Var("ptr")), Num(0)), + List( + Assign("ptr", Aop("-", Var("ptr"), Num(4))), + Assign("ptr", Aop("-", Var("ptr"), Num(5))), + Skip + ) + ), + Skip + ) + ), + Assign("ptr", Aop("+", Var("ptr"), Num(3))), + Skip + ) + ), + Skip +) \ No newline at end of file