setb 12 0
setb 12
setb 12
clearb 12
clearb 12
setb 12
setb 14
setb 16
testb 13
testb 15
testb 12
testb 14
setb 13
setb 15
testb 12
testb 11
testb 15
testb 16
dump_bb
ffzb 11 16
ffzb 12 16
ffzb 12 20
ffsb 0 127
ffsb 1 128
ffsb 1 127
ffsb 1 10
ffsb 1 11
ffsb 12 12
ffsb 13 12
ffsb 12 15
clearb 13
ffzb 12 20
ffsb 13 18
setb 13
clearb 12 7
testb 12 7
setb 15
testb 12 7
clearb 15
testb 12 7
setb 12 0
setb 12 7
dump_bb
seti 2
seti 5
seti 4
seti 3
seti 4
seti 5
testi 6
testi 1
dump_ib
ffzi 1 6
ffzi 2 5
ffzi 2 6
ffsi 0 31
ffsi 1 33
ffsi 1 32
ffsi 2 32
ffsi 6 32
cleari 4
ffzi 2 6
ffsi 4 32
ffsi 5 32
zeroi
testi 5
seti 5
seti 5
cleari 5
cleari 5
testi 17
testi 6
testi 4
clearb 7 12
dump_bb
setb 1
dump_bb
setb 2
dump_bb
setb 3
dump_bb
setb 4
dump_bb
setb 5
dump_bb
setb 6
dump_bb
setb 7
dump_bb
setb 8
dump_bb
setb 10
setb 12
setb 14
setb 17
setb 19
setb 24
setb 26
setb 27
setb 30
setb 31
setb 32
setb 35
setb 39
setb 40
setb 44
setb 46
setb 47
setb 49
setb 51
setb 52
clearb 2
clearb 3
clearb 7
dump_bb
ffsb 14 127
ffsb 15 127
ffsb 36 127
ffsb 32 127
ffsb 52 127
ffsb 53 127
ffsb 46 127
ffsb 45 127
ffsb 41 127
ffsb 20 127
ffsb 1 127
ffsb 2 127
ffsb 3 127
ffsb 4 127
ffsb 5 127
ffsb 6 127
ffsb 7 127
ffsb 8 127
ffzb 1 127
ffzb 2 127
ffzb 3 127
ffzb 4 127
ffzb 5 127
ffzb 6 127
ffzb 7 127
ffzb 8 127
ffzb 45 127
ffzb 46 127
ffzb 47 127
ffzb 48 127
ffzb 49 127
ffzb 50 127
ffzb 51 127
quit