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: none
Table Content:
| chip | flash size | eeprom | sram | frequency | package |
| --- | --- | --- | --- | --- | --- |
| at90s1200 | 1k | 64 | 0 | 12 | pdip - 20 |
| at90s2313 | 2k | 128 | 128 | 10 | pdip - 20 |
| at90s / ls2323 | 2k | 128 | 128 | 10 | pdip - 8 |
| at90s / ls2343 | 2k | 128 | 128 | 10 | pdip - 8 |
| at90s4414 | 4k | 256 | 256 | 8 | pdip - 40 |
| at90s / ls4434 | 4k | 256 | 256 | 8 | pdip - 40 |
| at90s8515 | 8k | 512 | 512 | 8 | pdip - 40 |
| at90s / ls8535 | 8k | 512 | 512 | 8 | pdip - 40 |


Statement
pdip - 20 be the package when eeprom be less than 128 on 1 occasion


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