1setb 12 2setb 12 3clearb 12 4clearb 12 5setb 12 6setb 14 7setb 16 8testb 13 9testb 15 10testb 12 11testb 14 12setb 13 13setb 15 14testb 12 15testb 11 16testb 15 17testb 16 18dump_bb 19ffzb 11 16 20ffzb 12 16 21ffzb 12 20 22ffsb 0 127 23ffsb 1 128 24ffsb 1 127 25ffsb 1 10 26ffsb 1 11 27ffsb 12 12 28ffsb 13 12 29ffsb 12 15 30clearb 13 31ffzb 12 20 32ffsb 13 18 33setb 13 34clearb 12 7 35testb 12 7 36setb 15 37testb 12 7 38clearb 15 39testb 12 7 40setb 12 7 41dump_bb 42seti 2 43seti 5 44seti 4 45seti 3 46seti 4 47seti 5 48testi 6 49testi 1 50dump_ib 51ffzi 1 6 52ffzi 2 5 53ffzi 2 6 54ffsi 0 31 55ffsi 1 33 56ffsi 1 32 57ffsi 2 32 58ffsi 6 32 59cleari 4 60ffzi 2 6 61ffsi 4 32 62ffsi 5 32 63zeroi 64testi 5 65seti 5 66seti 5 67cleari 5 68cleari 5 69testi 17 70testi 6 71testi 4 72clearb 7 12 73dump_bb 74setb 1 75dump_bb 76setb 2 77dump_bb 78setb 3 79dump_bb 80setb 4 81dump_bb 82setb 5 83dump_bb 84setb 6 85dump_bb 86setb 7 87dump_bb 88setb 8 89dump_bb 90setb 10 91setb 12 92setb 14 93setb 17 94setb 19 95setb 24 96setb 26 97setb 27 98setb 30 99setb 31 100setb 32 101setb 35 102setb 39 103setb 40 104setb 44 105setb 46 106setb 47 107setb 49 108setb 51 109setb 52 110clearb 2 111clearb 3 112clearb 7 113dump_bb 114ffsb 14 127 115ffsb 15 127 116ffsb 36 127 117ffsb 32 127 118ffsb 52 127 119ffsb 53 127 120ffsb 46 127 121ffsb 45 127 122ffsb 41 127 123ffsb 20 127 124ffsb 1 127 125ffsb 2 127 126ffsb 3 127 127ffsb 4 127 128ffsb 5 127 129ffsb 6 127 130ffsb 7 127 131ffsb 8 127 132ffzb 1 127 133ffzb 2 127 134ffzb 3 127 135ffzb 4 127 136ffzb 5 127 137ffzb 6 127 138ffzb 7 127 139ffzb 8 127 140ffzb 45 127 141ffzb 46 127 142ffzb 47 127 143ffzb 48 127 144ffzb 49 127 145ffzb 50 127 146ffzb 51 127 147quit 148 149