The following pseudocode is executed on the "Library" dataset. At the end of execution, `Count` represents the number of book pairs that have different genres but are written by same authors. Select the correct pseudocode for Procedure `verifyPair`.
```
count = 0
while(Table 1 has more rows){
Read the first row X in Table 1
Move X to Table 2
while(Table 1 has more rows){
Read the first row Y in Table 1
if(verifyPair(X, Y)) {
count = count + 1
}
Move Y to Table 3
}
Move all rows from Table 3 to Table 1
}
```
