ieee 0 0
boolLib.EXISTS_TAC ( ( Parse.Term [ HolKernel.QUOTE " (*#loc 437 18*)0:num,0:num,0:num" ] ) )
1
4508202 464926985138 22630690547146 137197464921209 169102581870585 213633424564147 388633309951556 457644544611742 492430633451091 620189859730554 649596140607003
ieee 0 1
BasicProvers.SRW_TAC [ ] tactictoe_thmlarg

22630690547146 84962372205897 137197464921209 169102581870585 252063363660227 288661503866530 290473843154131 335344845384093 388633309951556 492430633451091 577826585560866 652178527636492 666068740951863 778417488521154
