Lines Matching refs:extract

5 (assert (= ((_ extract 55 55) s) ((_ extract  0  0) s)))
6 (assert (= ((_ extract 54 54) s) ((_ extract  1  1) s)))
7 (assert (= ((_ extract 53 53) s) ((_ extract  2  2) s)))
8 (assert (= ((_ extract 52 52) s) ((_ extract  3  3) s)))
9 (assert (= ((_ extract 51 51) s) ((_ extract  4  4) s)))
10 (assert (= ((_ extract 50 50) s) ((_ extract  5  5) s)))
11 (assert (= ((_ extract 49 49) s) ((_ extract  6  6) s)))
12 (assert (= ((_ extract 48 48) s) ((_ extract  7  7) s)))
13 (assert (= ((_ extract 47 47) s) ((_ extract  8  8) s)))
14 (assert (= ((_ extract 46 46) s) ((_ extract  9  9) s)))
15 (assert (= ((_ extract 45 45) s) ((_ extract 10 10) s)))
16 (assert (= ((_ extract 44 44) s) ((_ extract 11 11) s)))
17 (assert (= ((_ extract 43 43) s) ((_ extract 12 12) s)))
18 (assert (= ((_ extract 42 42) s) ((_ extract 13 13) s)))
19 (assert (= ((_ extract 41 41) s) ((_ extract 14 14) s)))
20 (assert (= ((_ extract 40 40) s) ((_ extract 15 15) s)))
21 (assert (= ((_ extract 39 39) s) ((_ extract 16 16) s)))
22 (assert (= ((_ extract 38 38) s) ((_ extract 17 17) s)))
23 (assert (= ((_ extract 37 37) s) ((_ extract 18 18) s)))
24 (assert (= ((_ extract 36 36) s) ((_ extract 19 19) s)))
25 (assert (= ((_ extract 35 35) s) ((_ extract 20 20) s)))
26 (assert (= ((_ extract 34 34) s) ((_ extract 21 21) s)))
27 (assert (= ((_ extract 33 33) s) ((_ extract 22 22) s)))
28 (assert (= ((_ extract 32 32) s) ((_ extract 23 23) s)))
29 (assert (= ((_ extract 31 31) s) ((_ extract 24 24) s)))
30 (assert (= ((_ extract 30 30) s) ((_ extract 25 25) s)))
31 (assert (= ((_ extract 29 29) s) ((_ extract 26 26) s)))
32 (assert (= ((_ extract 28 28) s) ((_ extract 27 27) s)))
35 (assert ((_ extract 55 55) s))