* declare , 0312 , 0518 , 1107 , 1213 , 1334 , 1555 , 1718 ,

1732 , 2097 , 2605 , 3853 , 5419 ,

* evident , 1212 , 1732 , 2612 , 4271 ,

* proof , 1382 , 1732 , 4136 ,

* token , 1730 , 1732 , 4592 , 4953 ,

~~~~~~