1{"SetOption":{"value":"wrap"}}
 2{"SetOption":{"value":"columns=12"}}
 3{"Put":{"state":"tˇwelve char twelve char\ntwelve char\n"}}
 4{"Key":"j"}
 5{"Get":{"state":"twelve char twelve char\ntˇwelve char\n","mode":"Normal"}}
 6{"Key":"k"}
 7{"Get":{"state":"tˇwelve char twelve char\ntwelve char\n","mode":"Normal"}}
 8{"Key":"g"}
 9{"Key":"j"}
10{"Get":{"state":"twelve char tˇwelve char\ntwelve char\n","mode":"Normal"}}
11{"Key":"g"}
12{"Key":"j"}
13{"Get":{"state":"twelve char twelve char\ntˇwelve char\n","mode":"Normal"}}
14{"Key":"g"}
15{"Key":"k"}
16{"Get":{"state":"twelve char tˇwelve char\ntwelve char\n","mode":"Normal"}}
17{"Key":"g"}
18{"Key":"^"}
19{"Get":{"state":"twelve char ˇtwelve char\ntwelve char\n","mode":"Normal"}}
20{"Key":"^"}
21{"Get":{"state":"ˇtwelve char twelve char\ntwelve char\n","mode":"Normal"}}
22{"Key":"g"}
23{"Key":"$"}
24{"Get":{"state":"twelve charˇ twelve char\ntwelve char\n","mode":"Normal"}}
25{"Key":"$"}
26{"Get":{"state":"twelve char twelve chaˇr\ntwelve char\n","mode":"Normal"}}
27{"Put":{"state":"tˇwelve char twelve char\ntwelve char\n"}}
28{"Key":"enter"}
29{"Get":{"state":"twelve char twelve char\nˇtwelve char\n","mode":"Normal"}}
30{"Put":{"state":"twelve char\ntˇwelve char twelve char\ntwelve char\n"}}
31{"Key":"o"}
32{"Key":"o"}
33{"Key":"escape"}
34{"Get":{"state":"twelve char\ntwelve char twelve char\nˇo\ntwelve char\n","mode":"Normal"}}
35{"Put":{"state":"twelve char\ntˇwelve char twelve char\ntwelve char\n"}}
36{"Key":"shift-a"}
37{"Key":"a"}
38{"Key":"escape"}
39{"Get":{"state":"twelve char\ntwelve char twelve charˇa\ntwelve char\n","mode":"Normal"}}
40{"Key":"shift-i"}
41{"Key":"i"}
42{"Key":"escape"}
43{"Get":{"state":"twelve char\nˇitwelve char twelve chara\ntwelve char\n","mode":"Normal"}}
44{"Key":"shift-d"}
45{"Get":{"state":"twelve char\nˇ\ntwelve char\n","mode":"Normal"}}
46{"Put":{"state":"twelve char\ntwelve char tˇwelve char\ntwelve char\n"}}
47{"Key":"shift-o"}
48{"Key":"o"}
49{"Key":"escape"}
50{"Get":{"state":"twelve char\nˇo\ntwelve char twelve char\ntwelve char\n","mode":"Normal"}}