Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/enumset1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]enumset1__33_41.min1.thm12017-02-06 12:44 479  
[ ]enumset1__33_41.min1.thm1.tptp2017-02-06 16:47 424  
[ ]enumset1__34_19.min1.thm12017-02-06 12:44 475  
[ ]enumset1__34_19.min1.thm1.tptp2017-02-06 16:47 425  
[ ]enumset1__36_23.min1.thm12017-02-06 12:44 301  
[ ]enumset1__37_34.min1.thm12017-02-06 12:44 401  
[ ]enumset1__38_17.min1.thm12017-02-06 12:44 963  
[ ]enumset1__50_42.min1.thm12017-02-06 12:44 381  
[ ]enumset1__51_19.min1.thm12017-02-06 12:44 764  
[ ]enumset1__58_16.min1.thm12017-02-06 12:44 596  
[ ]enumset1__71_55.min1.thm12017-02-06 12:44 479  
[ ]enumset1__72_19.min1.thm12017-02-06 12:44 885  
[ ]enumset1__79_16.min1.thm12017-02-06 12:44 688  
[ ]enumset1__92_68.min1.thm12017-02-06 12:44 553  
[ ]enumset1__93_19.min1.thm12017-02-06 12:44 1.0K 
[ ]enumset1__100_16.min1.thm12017-02-06 12:44 780  
[ ]enumset1__113_69.min1.thm12017-02-06 12:44 627  
[ ]enumset1__114_19.min1.thm12017-02-06 12:44 1.1K 
[ ]enumset1__121_16.min1.thm12017-02-06 12:44 872  
[ ]enumset1__135_11.min1.thm12017-02-06 12:44 701  
[ ]enumset1__136_19.min1.thm12017-02-06 12:44 1.2K 
[ ]enumset1__144_16.min1.thm12017-02-06 12:44 964  
[ ]enumset1__158_24.min1.thm12017-02-06 12:44 775  
[ ]enumset1__159_19.min1.thm12017-02-06 12:44 1.3K 
[ ]enumset1__167_16.min1.thm12017-02-06 12:44 1.0K 
[ ]enumset1__182_36.min1.thm12017-02-06 12:44 859  
[ ]enumset1__183_19.min1.thm12017-02-06 12:44 1.4K 
[ ]enumset1__205_48.min1.thm12017-02-06 12:44 937  
[ ]enumset1__206_19.min1.thm12017-02-06 12:44 1.5K 
[ ]enumset1__222_38.min1.thm12017-02-06 12:44 381  
[ ]enumset1__223_57.min1.thm12017-02-06 12:44 589  
[ ]enumset1__223_57.min1.thm1.tptp2017-02-06 16:47 534  
[ ]enumset1__224_53.min1.thm12017-02-06 12:44 658  
[ ]enumset1__224_53.min1.thm1.tptp2017-02-06 16:47 600  
[ ]enumset1__226_17.min1.thm12017-02-06 12:44 506  
[ ]enumset1__226_17.min1.thm1.tptp2017-02-06 16:47 446  
[ ]enumset1__234_49.min1.thm12017-02-06 12:44 480  
[ ]enumset1__235_63.min1.thm12017-02-06 12:44 799  
[ ]enumset1__237_59.min1.thm12017-02-06 12:44 726  
[ ]enumset1__237_59.min1.thm1.tptp2017-02-06 16:47 668  
[ ]enumset1__239_17.min1.thm12017-02-06 12:44 574  
[ ]enumset1__239_17.min1.thm1.tptp2017-02-06 16:47 514  
[ ]enumset1__245_44.min1.thm12017-02-06 12:44 382  
[ ]enumset1__246_38.min1.thm12017-02-06 12:44 414  
[ ]enumset1__247_36.min1.thm12017-02-06 12:44 549  
[ ]enumset1__247_36.min1.thm1.tptp2017-02-06 16:47 482  
[ ]enumset1__248_29.min1.thm12017-02-06 12:44 414  
[ ]enumset1__255_60.min1.thm12017-02-06 12:44 555  
[ ]enumset1__256_69.min1.thm12017-02-06 12:44 793  
[ ]enumset1__256_69.min1.thm1.tptp2017-02-06 16:47 742  
[ ]enumset1__258_65.min1.thm12017-02-06 12:44 790  
[ ]enumset1__258_65.min1.thm1.tptp2017-02-06 16:47 732  
[ ]enumset1__261_17.min1.thm12017-02-06 12:44 638  
[ ]enumset1__261_17.min1.thm1.tptp2017-02-06 16:47 578  
[ ]enumset1__267_50.min1.thm12017-02-06 12:44 427  
[ ]enumset1__268_39.min1.thm12017-02-06 12:44 446  
[ ]enumset1__269_41.min1.thm12017-02-06 12:44 668  
[ ]enumset1__270_32.min1.thm12017-02-06 12:44 462  
[ ]enumset1__274_45.min1.thm12017-02-06 12:44 341  
[ ]enumset1__279_50.min1.thm12017-02-06 12:44 427  
[ ]enumset1__280_41.min1.thm12017-02-06 12:44 446  
[ ]enumset1__281_39.min1.thm12017-02-06 12:44 668  
[ ]enumset1__282_32.min1.thm12017-02-06 12:44 462  
[ ]enumset1__289_71.min1.thm12017-02-06 12:44 630  
[ ]enumset1__290_75.min1.thm12017-02-06 12:44 1.0K 
[ ]enumset1__292_71.min1.thm12017-02-06 12:44 951  
[ ]enumset1__295_17.min1.thm12017-02-06 12:44 799  
[ ]enumset1__301_56.min1.thm12017-02-06 12:44 475  
[ ]enumset1__302_42.min1.thm12017-02-06 12:44 494  
[ ]enumset1__303_44.min1.thm12017-02-06 12:44 700  
[ ]enumset1__304_35.min1.thm12017-02-06 12:44 507  
[ ]enumset1__310_56.min1.thm12017-02-06 12:44 475  
[ ]enumset1__311_42.min1.thm12017-02-06 12:44 494  
[ ]enumset1__312_44.min1.thm12017-02-06 12:44 700  
[ ]enumset1__313_35.min1.thm12017-02-06 12:44 494  
[ ]enumset1__317_51.min1.thm12017-02-06 12:44 369  
[ ]enumset1__322_56.min1.thm12017-02-06 12:44 475  
[ ]enumset1__323_44.min1.thm12017-02-06 12:44 482  
[ ]enumset1__324_42.min1.thm12017-02-06 12:44 617  
[ ]enumset1__324_42.min1.thm1.tptp2017-02-06 16:47 550  
[ ]enumset1__325_35.min1.thm12017-02-06 12:44 510  
[ ]enumset1__333_11.min1.thm12017-02-06 12:44 705  
[ ]enumset1__336_6.min1.thm12017-02-06 12:44 1.0K 
[ ]enumset1__336_6.min1.thm1.tptp2017-02-06 16:47 951  
[ ]enumset1__337_77.min1.thm12017-02-06 12:44 926  
[ ]enumset1__337_77.min1.thm1.tptp2017-02-06 16:47 868  
[ ]enumset1__340_17.min1.thm12017-02-06 12:44 774  
[ ]enumset1__340_17.min1.thm1.tptp2017-02-06 16:47 714  
[ ]enumset1__346_62.min1.thm12017-02-06 12:44 523  
[ ]enumset1__347_45.min1.thm12017-02-06 12:44 530  
[ ]enumset1__348_47.min1.thm12017-02-06 12:44 736  
[ ]enumset1__349_38.min1.thm12017-02-06 12:44 554  
[ ]enumset1__355_62.min1.thm12017-02-06 12:44 523  
[ ]enumset1__356_45.min1.thm12017-02-06 12:44 530  
[ ]enumset1__357_47.min1.thm12017-02-06 12:44 736  
[ ]enumset1__358_38.min1.thm12017-02-06 12:44 542  
[ ]enumset1__362_57.min1.thm12017-02-06 12:44 398  
[ ]enumset1__367_62.min1.thm12017-02-06 12:44 523  
[ ]enumset1__368_47.min1.thm12017-02-06 12:44 530  
[ ]enumset1__369_45.min1.thm12017-02-06 12:44 736  
[ ]enumset1__370_38.min1.thm12017-02-06 12:44 542  
[ ]enumset1__376_62.min1.thm12017-02-06 12:44 523  
[ ]enumset1__377_47.min1.thm12017-02-06 12:44 530  
[ ]enumset1__378_45.min1.thm12017-02-06 12:44 736  
[ ]enumset1__379_38.min1.thm12017-02-06 12:44 555  
[ ]enumset1__386_49.min1.thm12017-02-06 12:44 480  
[ ]enumset1__387_60.min1.thm12017-02-06 12:44 555  
[ ]enumset1__389_8.min1.thm12017-02-06 12:44 1.3K 
[ ]enumset1__391_17.min1.thm12017-02-06 12:44 931  
[ ]enumset1__397_68.min1.thm12017-02-06 12:44 567  
[ ]enumset1__398_48.min1.thm12017-02-06 12:44 578  
[ ]enumset1__399_50.min1.thm12017-02-06 12:44 685  
[ ]enumset1__399_50.min1.thm1.tptp2017-02-06 16:47 618  
[ ]enumset1__400_41.min1.thm12017-02-06 12:44 603  
[ ]enumset1__406_68.min1.thm12017-02-06 12:44 567  
[ ]enumset1__407_48.min1.thm12017-02-06 12:44 575  
[ ]enumset1__408_50.min1.thm12017-02-06 12:44 768  
[ ]enumset1__409_41.min1.thm12017-02-06 12:44 586  
[ ]enumset1__415_68.min1.thm12017-02-06 12:44 567  
[ ]enumset1__416_48.min1.thm12017-02-06 12:44 578  
[ ]enumset1__417_50.min1.thm12017-02-06 12:44 685  
[ ]enumset1__417_50.min1.thm1.tptp2017-02-06 16:47 618  
[ ]enumset1__418_41.min1.thm12017-02-06 12:44 578  
[ ]enumset1__422_63.min1.thm12017-02-06 12:44 422  
[ ]enumset1__427_68.min1.thm12017-02-06 12:44 567  
[ ]enumset1__428_50.min1.thm12017-02-06 12:44 562  
[ ]enumset1__429_48.min1.thm12017-02-06 12:44 768  
[ ]enumset1__430_41.min1.thm12017-02-06 12:44 587  
[ ]enumset1__436_68.min1.thm12017-02-06 12:44 567  
[ ]enumset1__437_50.min1.thm12017-02-06 12:44 562  
[ ]enumset1__438_48.min1.thm12017-02-06 12:44 768  
[ ]enumset1__439_41.min1.thm12017-02-06 12:44 599  
[ ]enumset1__446_60.min1.thm12017-02-06 12:44 555  
[ ]enumset1__447_60.min1.thm12017-02-06 12:44 555  
[ ]enumset1__450_14.min1.thm12017-02-06 12:44 1.5K 
[ ]enumset1__452_17.min1.thm12017-02-06 12:44 902  
[ ]enumset1__452_17.min1.thm1.tptp2017-02-06 16:47 842  
[ ]enumset1__458_74.min1.thm12017-02-06 12:44 611  
[ ]enumset1__459_51.min1.thm12017-02-06 12:44 610  
[ ]enumset1__460_53.min1.thm12017-02-06 12:44 717  
[ ]enumset1__460_53.min1.thm1.tptp2017-02-06 16:47 650  
[ ]enumset1__461_44.min1.thm12017-02-06 12:44 647  
[ ]enumset1__467_74.min1.thm12017-02-06 12:44 611  
[ ]enumset1__468_51.min1.thm12017-02-06 12:44 607  
[ ]enumset1__469_53.min1.thm12017-02-06 12:44 800  
[ ]enumset1__470_44.min1.thm12017-02-06 12:44 631  
[ ]enumset1__476_74.min1.thm12017-02-06 12:44 611  
[ ]enumset1__477_51.min1.thm12017-02-06 12:44 610  
[ ]enumset1__478_53.min1.thm12017-02-06 12:44 717  
[ ]enumset1__478_53.min1.thm1.tptp2017-02-06 16:47 650  
[ ]enumset1__479_44.min1.thm12017-02-06 12:44 622  
[ ]enumset1__483_69.min1.thm12017-02-06 12:44 446  
[ ]enumset1__488_74.min1.thm12017-02-06 12:44 611  
[ ]enumset1__489_52.min1.thm12017-02-06 12:44 610  
[ ]enumset1__490_50.min1.thm12017-02-06 12:44 717  
[ ]enumset1__490_50.min1.thm1.tptp2017-02-06 16:47 650  
[ ]enumset1__491_44.min1.thm12017-02-06 12:44 623  
[ ]enumset1__497_74.min1.thm12017-02-06 12:44 611  
[ ]enumset1__498_53.min1.thm12017-02-06 12:44 607  
[ ]enumset1__499_51.min1.thm12017-02-06 12:44 800  
[ ]enumset1__500_44.min1.thm12017-02-06 12:44 631  
[ ]enumset1__506_74.min1.thm12017-02-06 12:44 611  
[ ]enumset1__507_53.min1.thm12017-02-06 12:44 610  
[ ]enumset1__508_51.min1.thm12017-02-06 12:44 717  
[ ]enumset1__508_51.min1.thm1.tptp2017-02-06 16:47 650  
[ ]enumset1__509_44.min1.thm12017-02-06 12:44 647  
[ ]enumset1__517_32.min1.thm12017-02-06 12:44 345  
[ ]enumset1__518_43.min1.thm12017-02-06 12:44 495  
[ ]enumset1__518_43.min1.thm1.tptp2017-02-06 16:47 430  
[ ]enumset1__520_17.min1.thm12017-02-06 12:44 426  
[ ]enumset1__520_17.min1.thm1.tptp2017-02-06 16:47 366  
[ ]enumset1__526_44.min1.thm12017-02-06 12:44 382  
[ ]enumset1__527_26.min1.thm12017-02-06 12:44 342  
[ ]enumset1__528_19.min1.thm12017-02-06 12:44 334  
[ ]enumset1__534_50.min1.thm12017-02-06 12:44 427  
[ ]enumset1__535_29.min1.thm12017-02-06 12:44 374  
[ ]enumset1__536_22.min1.thm12017-02-06 12:44 382  
[ ]enumset1__542_56.min1.thm12017-02-06 12:44 474  
[ ]enumset1__543_32.min1.thm12017-02-06 12:44 410  
[ ]enumset1__544_25.min1.thm12017-02-06 12:44 430  
[ ]enumset1__550_62.min1.thm12017-02-06 12:44 519  
[ ]enumset1__551_35.min1.thm12017-02-06 12:44 442  
[ ]enumset1__552_28.min1.thm12017-02-06 12:44 474  
[ ]enumset1__558_68.min1.thm12017-02-06 12:44 563  
[ ]enumset1__559_38.min1.thm12017-02-06 12:44 474  
[ ]enumset1__560_31.min1.thm12017-02-06 12:44 519  
[ ]enumset1__566_74.min1.thm12017-02-06 12:44 607  
[ ]enumset1__567_41.min1.thm12017-02-06 12:44 506  
[ ]enumset1__568_34.min1.thm12017-02-06 12:44 563  
[ ]enumset1__574_34.min1.thm12017-02-06 12:44 310  
[ ]enumset1__575_16.min1.thm12017-02-06 12:44 262  
[ ]enumset1__581_40.min1.thm12017-02-06 12:44 358  
[ ]enumset1__582_19.min1.thm12017-02-06 12:44 310  
[ ]enumset1__588_46.min1.thm12017-02-06 12:44 402  
[ ]enumset1__589_22.min1.thm12017-02-06 12:44 358  
[ ]enumset1__595_52.min1.thm12017-02-06 12:44 446  
[ ]enumset1__596_25.min1.thm12017-02-06 12:44 402  
[ ]enumset1__602_58.min1.thm12017-02-06 12:44 490  
[ ]enumset1__603_28.min1.thm12017-02-06 12:44 446  
[ ]enumset1__609_64.min1.thm12017-02-06 12:44 534  
[ ]enumset1__610_31.min1.thm12017-02-06 12:44 490  
[ ]enumset1__616_37.min1.thm12017-02-06 12:44 329  
[ ]enumset1__617_16.min1.thm12017-02-06 12:44 262  
[ ]enumset1__623_43.min1.thm12017-02-06 12:44 377  
[ ]enumset1__624_19.min1.thm12017-02-06 12:44 310  
[ ]enumset1__630_49.min1.thm12017-02-06 12:44 421  
[ ]enumset1__631_22.min1.thm12017-02-06 12:44 358  
[ ]enumset1__637_55.min1.thm12017-02-06 12:44 465  
[ ]enumset1__638_25.min1.thm12017-02-06 12:44 402  
[ ]enumset1__644_61.min1.thm12017-02-06 12:44 509  
[ ]enumset1__645_28.min1.thm12017-02-06 12:44 446  
[ ]enumset1__651_40.min1.thm12017-02-06 12:44 348  
[ ]enumset1__652_16.min1.thm12017-02-06 12:44 262  
[ ]enumset1__658_46.min1.thm12017-02-06 12:44 396  
[ ]enumset1__659_19.min1.thm12017-02-06 12:44 310  
[ ]enumset1__665_52.min1.thm12017-02-06 12:44 440  
[ ]enumset1__666_22.min1.thm12017-02-06 12:44 358  
[ ]enumset1__672_58.min1.thm12017-02-06 12:44 484  
[ ]enumset1__673_25.min1.thm12017-02-06 12:44 402  
[ ]enumset1__679_43.min1.thm12017-02-06 12:44 367  
[ ]enumset1__680_16.min1.thm12017-02-06 12:44 262  
[ ]enumset1__686_49.min1.thm12017-02-06 12:44 415  
[ ]enumset1__687_19.min1.thm12017-02-06 12:44 310  
[ ]enumset1__693_55.min1.thm12017-02-06 12:44 459  
[ ]enumset1__694_22.min1.thm12017-02-06 12:44 358  
[ ]enumset1__700_46.min1.thm12017-02-06 12:44 386  
[ ]enumset1__701_16.min1.thm12017-02-06 12:44 262  
[ ]enumset1__707_52.min1.thm12017-02-06 12:44 434  
[ ]enumset1__708_19.min1.thm12017-02-06 12:44 310  
[ ]enumset1__714_49.min1.thm12017-02-06 12:44 405  
[ ]enumset1__715_16.min1.thm12017-02-06 12:44 262  
[ ]enumset1__721_44.min1.thm12017-02-06 12:44 382  
[ ]enumset1__722_22.min1.thm12017-02-06 12:44 469  
[ ]enumset1__722_22.min1.thm1.tptp2017-02-06 16:47 402  
[ ]enumset1__728_44.min1.thm12017-02-06 12:44 382  
[ ]enumset1__729_22.min1.thm12017-02-06 12:44 469  
[ ]enumset1__729_22.min1.thm1.tptp2017-02-06 16:47 402  
[ ]enumset1__735_44.min1.thm12017-02-06 12:44 562  
[ ]enumset1__736_22.min1.thm12017-02-06 12:44 382  
[ ]enumset1__742_37.min1.thm12017-02-06 12:44 339  
[ ]enumset1__743_22.min1.thm12017-02-06 12:44 339  
[ ]enumset1__749_50.min1.thm12017-02-06 12:44 430  
[ ]enumset1__750_32.min1.thm12017-02-06 12:44 419  
[ ]enumset1__751_25.min1.thm12017-02-06 12:44 430  
[ ]enumset1__757_50.min1.thm12017-02-06 12:44 430  
[ ]enumset1__758_32.min1.thm12017-02-06 12:44 419  
[ ]enumset1__759_25.min1.thm12017-02-06 12:44 430  
[ ]enumset1__765_50.min1.thm12017-02-06 12:44 430  
[ ]enumset1__766_32.min1.thm12017-02-06 12:44 419  
[ ]enumset1__767_25.min1.thm12017-02-06 12:44 430  
[ ]enumset1__773_50.min1.thm12017-02-06 12:44 430  
[ ]enumset1__774_32.min1.thm12017-02-06 12:44 419  
[ ]enumset1__775_25.min1.thm12017-02-06 12:44 430  
[ ]enumset1__781_50.min1.thm12017-02-06 12:44 430  
[ ]enumset1__782_32.min1.thm12017-02-06 12:44 512  
[ ]enumset1__782_32.min1.thm1.tptp2017-02-06 16:47 445  
[ ]enumset1__783_25.min1.thm12017-02-06 12:44 430  
[ ]enumset1__788_50.min1.thm12017-02-06 12:44 430  
[ ]enumset1__789_32.min1.thm12017-02-06 12:44 512  
[ ]enumset1__789_32.min1.thm1.tptp2017-02-06 16:47 445  
[ ]enumset1__790_25.min1.thm12017-02-06 12:44 430  
[ ]enumset1__796_43.min1.thm12017-02-06 12:44 383  
[ ]enumset1__797_25.min1.thm12017-02-06 12:44 383  
[ ]enumset1__801_38.min1.thm12017-02-06 12:44 298  
[ ]enumset1__806_43.min1.thm12017-02-06 12:44 383  
[ ]enumset1__807_25.min1.thm12017-02-06 12:44 383  
[ ]enumset1__813_43.min1.thm12017-02-06 12:44 383  
[ ]enumset1__814_25.min1.thm12017-02-06 12:44 383  
[ ]enumset1__820_43.min1.thm12017-02-06 12:44 383  
[ ]enumset1__821_25.min1.thm12017-02-06 12:44 383  
[ ]enumset1__826_50.min1.thm12017-02-06 12:44 430  
[ ]enumset1__827_32.min1.thm12017-02-06 12:44 512  
[ ]enumset1__827_32.min1.thm1.tptp2017-02-06 16:47 445  
[ ]enumset1__828_25.min1.thm12017-02-06 12:44 430  
[ ]enumset1__832_38.min1.thm12017-02-06 12:44 298  
[ ]enumset1__837_43.min1.thm12017-02-06 12:44 383  
[ ]enumset1__838_25.min1.thm12017-02-06 12:44 383  
[ ]enumset1__844_43.min1.thm12017-02-06 12:44 383  
[ ]enumset1__845_25.min1.thm12017-02-06 12:44 383  
[ ]enumset1__851_43.min1.thm12017-02-06 12:44 383  
[ ]enumset1__852_25.min1.thm12017-02-06 12:44 383  
[ ]enumset1__858_43.min1.thm12017-02-06 12:44 383  
[ ]enumset1__859_25.min1.thm12017-02-06 12:44 383  
[ ]enumset1__865_43.min1.thm12017-02-06 12:44 383  
[ ]enumset1__866_25.min1.thm12017-02-06 12:44 383  
[ ]enumset1__873_71.min1.thm12017-02-06 12:44 630  
[ ]enumset1__874_60.min1.thm12017-02-06 12:44 555  
[ ]enumset1__879_17.min1.thm12017-02-06 12:44 966  
[ ]enumset1__879_17.min1.thm1.tptp2017-02-06 16:47 906  
[ ]enumset1__886_4.min1.thm12017-02-06 12:44 655  
[ ]enumset1__887_56.min1.thm12017-02-06 12:44 642  
[ ]enumset1__888_56.min1.thm12017-02-06 12:44 749  
[ ]enumset1__888_56.min1.thm1.tptp2017-02-06 16:47 682  
[ ]enumset1__889_47.min1.thm12017-02-06 12:44 691  
[ ]enumset1__896_4.min1.thm12017-02-06 12:44 655  
[ ]enumset1__897_54.min1.thm12017-02-06 12:44 639  
[ ]enumset1__898_56.min1.thm12017-02-06 12:44 832  
[ ]enumset1__899_47.min1.thm12017-02-06 12:44 675  
[ ]enumset1__906_4.min1.thm12017-02-06 12:44 655  
[ ]enumset1__907_54.min1.thm12017-02-06 12:44 642  
[ ]enumset1__908_56.min1.thm12017-02-06 12:44 749  
[ ]enumset1__908_56.min1.thm1.tptp2017-02-06 16:47 682  
[ ]enumset1__909_47.min1.thm12017-02-06 12:44 667  
[ ]enumset1__914_4.min1.thm12017-02-06 12:44 470  
[ ]enumset1__920_4.min1.thm12017-02-06 12:44 655  
[ ]enumset1__921_55.min1.thm12017-02-06 12:44 654  
[ ]enumset1__922_53.min1.thm12017-02-06 12:44 749  
[ ]enumset1__922_53.min1.thm1.tptp2017-02-06 16:47 682  
[ ]enumset1__923_47.min1.thm12017-02-06 12:44 655  
[ ]enumset1__930_4.min1.thm12017-02-06 12:44 655  
[ ]enumset1__931_56.min1.thm12017-02-06 12:44 654  
[ ]enumset1__932_54.min1.thm12017-02-06 12:44 836  
[ ]enumset1__933_47.min1.thm12017-02-06 12:44 667  
[ ]enumset1__940_4.min1.thm12017-02-06 12:44 655  
[ ]enumset1__941_56.min1.thm12017-02-06 12:44 655  
[ ]enumset1__942_54.min1.thm12017-02-06 12:44 836  
[ ]enumset1__943_47.min1.thm12017-02-06 12:44 679  
[ ]enumset1__950_4.min1.thm12017-02-06 12:44 655  
[ ]enumset1__951_56.min1.thm12017-02-06 12:44 655  
[ ]enumset1__952_54.min1.thm12017-02-06 12:44 749  
[ ]enumset1__952_54.min1.thm1.tptp2017-02-06 16:47 682  
[ ]enumset1__953_47.min1.thm12017-02-06 12:44 691  
[ ]enumset1__962_27.min1.thm12017-02-06 12:44 314  
[ ]enumset1__964_66.min1.thm12017-02-06 12:44 1.6K 
[ ]enumset1__969_17.min1.thm12017-02-06 12:44 1.1K 
[ ]enumset1__983_26.min1.thm12017-02-06 12:44 519  
[ ]enumset1__983_26.min1.thm1.tptp2017-02-06 16:47 456  
[ ]enumset1__985_30.min1.thm12017-02-06 12:44 511  
[ ]enumset1__985_30.min1.thm1.tptp2017-02-06 16:47 454  
[ ]enumset1__986_19.min1.thm12017-02-06 12:44 488  
[ ]enumset1__986_19.min1.thm1.tptp2017-02-06 16:47 424  
[ ]enumset1__987_24.min1.thm12017-02-06 12:44 647  
[ ]enumset1__992_21.min1.thm12017-02-06 12:44 402  
[ ]enumset1__992_21.min1.thm1.tptp2017-02-06 16:47 348  
[ ]enumset1__994_19.min1.thm12017-02-06 12:44 477  
[ ]enumset1__995_19.min1.thm12017-02-06 12:44 453  
[ ]enumset1__995_19.min1.thm1.tptp2017-02-06 16:47 397  
[ ]enumset1__996_17.min1.thm12017-02-06 12:44 601  
[ ]enumset1__1005_44.min1.thm12017-02-06 12:44 427  
[ ]enumset1__1006_23.min1.thm12017-02-06 12:44 383  
[ ]enumset1__1007_20.min1.thm12017-02-06 12:44 358  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80