user
Instruction
This is a table fact verification task. The goal of this task is to distinguish whether the given statement is entailed or refuted by the given table.


Table
Table Title: 1995 san marino grand prix
Table Content:
| driver | constructor | laps | time / retired | grid |
| --- | --- | --- | --- | --- |
| damon hill | williams - renault | 63 | 1:41:42.522 | 4 |
| jean alesi | ferrari | 63 | + 18.510 | 5 |
| gerhard berger | ferrari | 63 | + 43.116 | 2 |
| david coulthard | williams - renault | 63 | + 51.890 | 3 |
| mika hã¤kkinen | mclaren - mercedes | 62 | + 1 lap | 6 |
| heinz - harald frentzen | sauber - ford | 62 | + 1 lap | 14 |
| johnny herbert | benetton - renault | 61 | + 2 laps | 8 |
| eddie irvine | jordan - peugeot | 61 | + 2 laps | 7 |
| olivier panis | ligier - mugen - honda | 61 | + 2 laps | 12 |
| nigel mansell | mclaren - mercedes | 61 | + 2 laps | 9 |
| aguri suzuki | ligier - mugen - honda | 60 | + 3 laps | 16 |
| pierluigi martini | minardi - ford | 59 | + 4 laps | 18 |
| gianni morbidelli | footwork - hart | 59 | + 4 laps | 11 |
| luca badoer | minardi - ford | 59 | + 4 laps | 20 |
| pedro diniz | forti - ford | 56 | + 7 laps | 26 |
| roberto moreno | forti - ford | 56 | + 7 laps | 25 |
| karl wendlinger | sauber - ford | 43 | wheel | 21 |
| bertrand gachot | pacific - ford | 36 | gearbox | 22 |
| domenico schiattarella | simtek - ford | 35 | suspension | 23 |
| rubens barrichello | jordan - peugeot | 31 | transmission | 10 |
| ukyo katayama | tyrrell - yamaha | 23 | spun off | 15 |
| mika salo | tyrrell - yamaha | 19 | engine | 13 |
| andrea montermini | pacific - ford | 15 | gearbox | 24 |
| jos verstappen | simtek - ford | 14 | gearbox | 17 |
| taki inoue | footwork - hart | 12 | spun off | 19 |
| michael schumacher | benetton - renault | 10 | accident | 1 |


Statement
there be 4 driver that complete 63 lap , while only 2 driver complete 62 lap


Answer Format
The final answer should be either "entailed" or "refuted" and use the following format:
```json
{
    "answer": "entailed" or "refuted"
}
```
rule
["entailed"]