Lines Matching refs:R3
143 [D3,R3,D4,R4,D5,R5] :: [2,3],
146 LR = [R1,R2,R3,R4,R5,R6],
156 D1 ## R1, D2 ## R2, D3 ## R3, D4 ## R4, D5 ## R5, D6 ## R6,
174 LR = [R1,R2,R3,R4],
191 Vars = [O1,D1,R1,O2,D2,R2,O3,D3,R3,O4,D4,R4],
207 LR = [R1,R2,R3,R4,R5,R6,R7],
228 R1 #> R2, R2 #> R3, R3 #> R4, R4 #> R5, R5 #> R6, R6 #> R7,
232 % [R1,R2,R3,R4,R5,R6,R7] = [11,10,9,7,3,2,1],
239 Vars = [O1,D1,R1,O2,D2,R2,O3,D3,R3,O4,D4,R4,O5,D5,R5,O6,D6,R6,O7,D7,R7],
240 % Vars = [D1,R1,D2,R2,D3,R3,D4,R4,D5,R5,D6,R6,D7,R7,O1,O2,O3,O4,O5,O6,O7],