emitOrdinal 0 0
boolLib.REWRITE_TAC [ combinTheory.FAIL_THM ]

4508202 527123542431 20007174168585 57928218980245 67316058985581 162366944369735 188233918394510 208688131165109 227948097790852 288661503866530 362236544577836 426624484214733 469914774524971 536219594324421 558266360646989 638854855764113 701865353869699 703519903257177 725443117320865 761589282051421
