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