Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/finset_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finset_1__55_19.min1.thm12017-02-06 12:45 827  
[ ]finset_1__64_14.min1.thm12017-02-06 12:45 341  
[ ]finset_1__64_14.min1.thm1.tptp2017-02-06 16:47 276  
[ ]finset_1__66_25.min1.thm12017-02-06 12:45 653  
[ ]finset_1__67_19.min1.thm12017-02-06 12:45 265  
[ ]finset_1__68_21.min1.thm12017-02-06 12:45 654  
[ ]finset_1__71_17.min1.thm12017-02-06 12:45 1.2K 
[ ]finset_1__72_19.min1.thm12017-02-06 12:45 337  
[ ]finset_1__72_19.min1.thm1.tptp2017-02-06 16:47 272  
[ ]finset_1__75_16.min1.thm12017-02-06 12:45 1.2K 
[ ]finset_1__82_26.min1.thm12017-02-06 12:45 227  
[ ]finset_1__83_16.min1.thm12017-02-06 12:45 310  
[ ]finset_1__83_16.min1.thm1.tptp2017-02-06 16:47 230  
[ ]finset_1__95_22.min1.thm12017-02-06 12:45 445  
[ ]finset_1__96_18.min1.thm12017-02-06 12:45 587  
[ ]finset_1__109_16.min1.thm12017-02-06 12:45 649  
[ ]finset_1__120_53.min1.thm12017-02-06 12:45 634  
[ ]finset_1__129_45.min1.thm12017-02-06 12:45 850  
[ ]finset_1__138_16.min1.thm12017-02-06 12:45 596  
[ ]finset_1__139_32.min1.thm12017-02-06 12:45 774  
[ ]finset_1__140_15.min1.thm12017-02-06 12:45 226  
[ ]finset_1__144_18.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__145_23.min1.thm12017-02-06 12:45 720  
[ ]finset_1__146_23.min1.thm12017-02-06 12:45 646  
[ ]finset_1__151_20.min1.thm12017-02-06 12:45 547  
[ ]finset_1__152_26.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__153_32.min1.thm12017-02-06 12:45 832  
[ ]finset_1__154_32.min1.thm12017-02-06 12:45 1.3K 
[ ]finset_1__155_22.min1.thm12017-02-06 12:45 786  
[ ]finset_1__156_23.min1.thm12017-02-06 12:45 517  
[ ]finset_1__162_16.min1.thm12017-02-06 12:45 635  
[ ]finset_1__166_16.min1.thm12017-02-06 12:45 596  
[ ]finset_1__167_23.min1.thm12017-02-06 12:45 903  
[ ]finset_1__168_21.min1.thm12017-02-06 12:45 1.7K 
[ ]finset_1__169_21.min1.thm12017-02-06 12:45 1.2K 
[ ]finset_1__174_16.min1.thm12017-02-06 12:45 726  
[ ]finset_1__175_32.min1.thm12017-02-06 12:45 517  
[ ]finset_1__177_18.min1.thm12017-02-06 12:45 528  
[ ]finset_1__179_22.min1.thm12017-02-06 12:45 817  
[ ]finset_1__181_24.min1.thm12017-02-06 12:45 725  
[ ]finset_1__182_17.min1.thm12017-02-06 12:45 1.3K 
[ ]finset_1__183_21.min1.thm12017-02-06 12:45 721  
[ ]finset_1__186_23.min1.thm12017-02-06 12:45 749  
[ ]finset_1__187_17.min1.thm12017-02-06 12:45 823  
[ ]finset_1__193_14.min1.thm12017-02-06 12:45 225  
[ ]finset_1__201_25.min1.thm12017-02-06 12:45 331  
[ ]finset_1__202_19.min1.thm12017-02-06 12:45 495  
[ ]finset_1__211_29.min1.thm12017-02-06 12:45 384  
[ ]finset_1__212_19.min1.thm12017-02-06 12:45 627  
[ ]finset_1__221_41.min1.thm12017-02-06 12:45 432  
[ ]finset_1__222_19.min1.thm12017-02-06 12:45 688  
[ ]finset_1__231_47.min1.thm12017-02-06 12:45 476  
[ ]finset_1__232_19.min1.thm12017-02-06 12:45 745  
[ ]finset_1__241_53.min1.thm12017-02-06 12:45 521  
[ ]finset_1__242_19.min1.thm12017-02-06 12:45 802  
[ ]finset_1__251_59.min1.thm12017-02-06 12:45 565  
[ ]finset_1__252_19.min1.thm12017-02-06 12:45 859  
[ ]finset_1__261_65.min1.thm12017-02-06 12:45 609  
[ ]finset_1__262_19.min1.thm12017-02-06 12:45 916  
[ ]finset_1__272_13.min1.thm12017-02-06 12:45 203  
[ ]finset_1__274_18.min1.thm12017-02-06 12:45 309  
[ ]finset_1__274_18.min1.thm1.tptp2017-02-06 16:47 228  
[ ]finset_1__278_16.min1.thm12017-02-06 12:45 329  
[ ]finset_1__278_16.min1.thm1.tptp2017-02-06 16:47 252  
[ ]finset_1__281_23.min1.thm12017-02-06 12:45 466  
[ ]finset_1__281_23.min1.thm1.tptp2017-02-06 16:47 403  
[ ]finset_1__297_20.min1.thm12017-02-06 12:45 1.2K 
[ ]finset_1__299_28.min1.thm12017-02-06 12:45 447  
[ ]finset_1__299_28.min1.thm1.tptp2017-02-06 16:47 361  
[ ]finset_1__300_24.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__305_17.min1.thm12017-02-06 12:45 329  
[ ]finset_1__307_25.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__310_25.min1.thm12017-02-06 12:45 1.2K 
[ ]finset_1__314_21.min1.thm12017-02-06 12:45 755  
[ ]finset_1__322_14.min1.thm12017-02-06 12:45 423  
[ ]finset_1__326_42.min1.thm12017-02-06 12:45 389  
[ ]finset_1__326_42.min1.thm1.tptp2017-02-06 16:47 339  
[ ]finset_1__329_52.min1.thm12017-02-06 12:45 311  
[ ]finset_1__336_18.min1.thm12017-02-06 12:45 367  
[ ]finset_1__336_18.min1.thm1.tptp2017-02-06 16:47 293  
[ ]finset_1__337_16.min1.thm12017-02-06 12:45 656  
[ ]finset_1__344_11.min1.thm12017-02-06 12:45 435  
[ ]finset_1__346_11.min1.thm12017-02-06 12:45 452  
[ ]finset_1__350_38.min1.thm12017-02-06 12:45 276  
[ ]finset_1__353_37.min1.thm12017-02-06 12:45 368  
[ ]finset_1__353_37.min1.thm1.tptp2017-02-06 16:47 308  
[ ]finset_1__363_21.min1.thm12017-02-06 12:45 691  
[ ]finset_1__365_21.min1.thm12017-02-06 12:45 746  
[ ]finset_1__366_27.min1.thm12017-02-06 12:45 730  
[ ]finset_1__367_16.min1.thm12017-02-06 12:45 972  
[ ]finset_1__372_36.min1.thm12017-02-06 12:45 343  
[ ]finset_1__387_21.min1.thm12017-02-06 12:45 455  
[ ]finset_1__387_21.min1.thm1.tptp2017-02-06 16:47 392  
[ ]finset_1__395_19.min1.thm12017-02-06 12:45 465  
[ ]finset_1__395_19.min1.thm1.tptp2017-02-06 16:47 388  
[ ]finset_1__397_48.min1.thm12017-02-06 12:45 481  
[ ]finset_1__399_21.min1.thm12017-02-06 12:45 798  
[ ]finset_1__401_19.min1.thm12017-02-06 12:45 811  
[ ]finset_1__402_17.min1.thm12017-02-06 12:45 439  
[ ]finset_1__402_17.min1.thm1.tptp2017-02-06 16:47 361  
[ ]finset_1__415_15.min1.thm12017-02-06 12:45 618  
[ ]finset_1__417_18.min1.thm12017-02-06 12:45 421  
[ ]finset_1__417_18.min1.thm1.tptp2017-02-06 16:47 369  
[ ]finset_1__431_24.min1.thm12017-02-06 12:45 1.2K 
[ ]finset_1__441_23.min1.thm12017-02-06 12:45 503  
[ ]finset_1__441_23.min1.thm1.tptp2017-02-06 16:47 435  
[ ]finset_1__443_49.min1.thm12017-02-06 12:45 475  
[ ]finset_1__445_26.min1.thm12017-02-06 12:45 299  
[ ]finset_1__446_30.min1.thm12017-02-06 12:45 953  
[ ]finset_1__447_41.min1.thm12017-02-06 12:45 914  
[ ]finset_1__449_27.min1.thm12017-02-06 12:45 730  
[ ]finset_1__450_20.min1.thm12017-02-06 12:45 253  
[ ]finset_1__451_16.min1.thm12017-02-06 12:45 270  
[ ]finset_1__452_26.min1.thm12017-02-06 12:45 737  
[ ]finset_1__453_22.min1.thm12017-02-06 12:45 1.8K 
[ ]finset_1__456_62.min1.thm12017-02-06 12:45 1.5K 
[ ]finset_1__459_19.min1.thm12017-02-06 12:45 622  
[ ]finset_1__460_17.min1.thm12017-02-06 12:45 279  
[ ]finset_1__462_19.min1.thm12017-02-06 12:45 627  
[ ]finset_1__477_23.min1.thm12017-02-06 12:45 384  
[ ]finset_1__477_23.min1.thm1.tptp2017-02-06 16:47 306  
[ ]finset_1__479_27.min1.thm12017-02-06 12:45 657  
[ ]finset_1__480_27.min1.thm12017-02-06 12:45 581  
[ ]finset_1__482_27.min1.thm12017-02-06 12:45 770  
[ ]finset_1__483_25.min1.thm12017-02-06 12:45 632  
[ ]finset_1__485_21.min1.thm12017-02-06 12:45 698  
[ ]finset_1__486_36.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__487_32.min1.thm12017-02-06 12:45 680  
[ ]finset_1__488_26.min1.thm12017-02-06 12:45 688  
[ ]finset_1__489_27.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__490_27.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__495_23.min1.thm12017-02-06 12:45 284  
[ ]finset_1__496_26.min1.thm12017-02-06 12:45 547  
[ ]finset_1__499_25.min1.thm12017-02-06 12:45 414  
[ ]finset_1__499_25.min1.thm1.tptp2017-02-06 16:47 330  
[ ]finset_1__501_23.min1.thm12017-02-06 12:45 642  
[ ]finset_1__509_32.min1.thm12017-02-06 12:45 493  
[ ]finset_1__510_26.min1.thm12017-02-06 12:45 658  
[ ]finset_1__514_17.min1.thm12017-02-06 12:45 757  
[ ]finset_1__520_45.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__521_36.min1.thm12017-02-06 12:45 676  
[ ]finset_1__522_30.min1.thm12017-02-06 12:45 683  
[ ]finset_1__524_26.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__527_36.min1.thm12017-02-06 12:45 579  
[ ]finset_1__529_25.min1.thm12017-02-06 12:45 777  
[ ]finset_1__533_42.min1.thm12017-02-06 12:45 902  
[ ]finset_1__534_28.min1.thm12017-02-06 12:45 590  
[ ]finset_1__535_21.min1.thm12017-02-06 12:45 509  
[ ]finset_1__542_33.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__543_27.min1.thm12017-02-06 12:45 648  
[ ]finset_1__545_24.min1.thm12017-02-06 12:45 510  
[ ]finset_1__546_25.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__547_25.min1.thm12017-02-06 12:45 597  
[ ]finset_1__549_23.min1.thm12017-02-06 12:45 476  
[ ]finset_1__549_23.min1.thm1.tptp2017-02-06 16:47 421  
[ ]finset_1__551_21.min1.thm12017-02-06 12:45 751  
[ ]finset_1__551_21.min1.thm1.tptp2017-02-06 16:47 732  
[ ]finset_1__561_14.min1.thm12017-02-06 12:45 641  
[ ]finset_1__562_22.min1.thm12017-02-06 12:45 803  
[ ]finset_1__563_18.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__569_59.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__578_23.min1.thm12017-02-06 12:45 589  
[ ]finset_1__579_21.min1.thm12017-02-06 12:45 864  
[ ]finset_1__580_20.min1.thm12017-02-06 12:45 933  
[ ]finset_1__581_19.min1.thm12017-02-06 12:45 410  
[ ]finset_1__581_19.min1.thm1.tptp2017-02-06 16:47 332  
[ ]finset_1__582_21.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__583_19.min1.thm12017-02-06 12:45 947  
[ ]finset_1__585_17.min1.thm12017-02-06 12:45 857  
[ ]finset_1__603_21.min1.thm12017-02-06 12:45 440  
[ ]finset_1__603_21.min1.thm1.tptp2017-02-06 16:47 372  
[ ]finset_1__605_48.min1.thm12017-02-06 12:45 469  
[ ]finset_1__606_16.min1.thm12017-02-06 12:45 226  
[ ]finset_1__607_20.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__610_58.min1.thm12017-02-06 12:45 694  
[ ]finset_1__611_27.min1.thm12017-02-06 12:45 504  
[ ]finset_1__614_26.min1.thm12017-02-06 12:45 755  
[ ]finset_1__616_22.min1.thm12017-02-06 12:45 466  
[ ]finset_1__618_17.min1.thm12017-02-06 12:45 790  
[ ]finset_1__620_20.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__621_19.min1.thm12017-02-06 12:45 394  
[ ]finset_1__621_19.min1.thm1.tptp2017-02-06 16:47 316  
[ ]finset_1__622_29.min1.thm12017-02-06 12:45 878  
[ ]finset_1__624_23.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__625_19.min1.thm12017-02-06 12:45 798  
[ ]finset_1__626_26.min1.thm12017-02-06 12:45 411  
[ ]finset_1__626_26.min1.thm1.tptp2017-02-06 16:47 331  
[ ]finset_1__627_27.min1.thm12017-02-06 12:45 521  
[ ]finset_1__630_19.min1.thm12017-02-06 12:45 320  
[ ]finset_1__630_19.min1.thm1.tptp2017-02-06 16:47 243  
[ ]finset_1__632_17.min1.thm12017-02-06 12:45 316  
[ ]finset_1__632_17.min1.thm1.tptp2017-02-06 16:47 228  
[ ]finset_1__645_12.min1.thm12017-02-06 12:45 223  
[ ]finset_1__647_12.min1.thm12017-02-06 12:45 972  
[ ]finset_1__654_38.min1.thm12017-02-06 12:45 420  
[ ]finset_1__654_38.min1.thm1.tptp2017-02-06 16:47 361  
[ ]finset_1__655_18.min1.thm12017-02-06 12:45 324  
[ ]finset_1__655_18.min1.thm1.tptp2017-02-06 16:47 243  
[ ]finset_1__656_47.min1.thm12017-02-06 12:45 393  
[ ]finset_1__657_24.min1.thm12017-02-06 12:45 333  
[ ]finset_1__658_16.min1.thm12017-02-06 12:45 352  
[ ]finset_1__658_16.min1.thm1.tptp2017-02-06 16:47 274  
[ ]finset_1__659_18.min1.thm12017-02-06 12:45 422  
[ ]finset_1__659_18.min1.thm1.tptp2017-02-06 16:47 354  
[ ]finset_1__660_25.min1.thm12017-02-06 12:45 765  
[ ]finset_1__661_19.min1.thm12017-02-06 12:45 1.3K 
[ ]finset_1__664_41.min1.thm12017-02-06 12:45 412  
[ ]finset_1__664_41.min1.thm1.tptp2017-02-06 16:47 353  
[ ]finset_1__665_14.min1.thm12017-02-06 12:45 251  
[ ]finset_1__687_20.min1.thm12017-02-06 12:45 662  
[ ]finset_1__688_22.min1.thm12017-02-06 12:45 847  
[ ]finset_1__689_25.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__697_22.min1.thm12017-02-06 12:45 762  
[ ]finset_1__698_17.min1.thm12017-02-06 12:45 387  
[ ]finset_1__698_17.min1.thm1.tptp2017-02-06 16:47 322  
[ ]finset_1__699_26.min1.thm12017-02-06 12:45 923  
[ ]finset_1__700_25.min1.thm12017-02-06 12:45 928  
[ ]finset_1__703_31.min1.thm12017-02-06 12:45 494  
[ ]finset_1__703_31.min1.thm1.tptp2017-02-06 16:47 434  
[ ]finset_1__704_28.min1.thm12017-02-06 12:45 796  
[ ]finset_1__705_18.min1.thm12017-02-06 12:45 659  
[ ]finset_1__718_17.min1.thm12017-02-06 12:45 443  
[ ]finset_1__718_17.min1.thm1.tptp2017-02-06 16:47 388  
[ ]finset_1__719_27.min1.thm12017-02-06 12:45 559  
[ ]finset_1__719_27.min1.thm1.tptp2017-02-06 16:47 491  
[ ]finset_1__720_23.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__726_16.min1.thm12017-02-06 12:45 716  
[ ]finset_1__727_27.min1.thm12017-02-06 12:45 585  
[ ]finset_1__728_17.min1.thm12017-02-06 12:45 368  
[ ]finset_1__728_17.min1.thm1.tptp2017-02-06 16:47 290  
[ ]finset_1__729_34.min1.thm12017-02-06 12:45 514  
[ ]finset_1__729_34.min1.thm1.tptp2017-02-06 16:47 443  
[ ]finset_1__730_28.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__731_21.min1.thm12017-02-06 12:45 837  
[ ]finset_1__734_25.min1.thm12017-02-06 12:45 446  
[ ]finset_1__734_25.min1.thm1.tptp2017-02-06 16:47 386  
[ ]finset_1__746_18.min1.thm12017-02-06 12:45 642  
[ ]finset_1__747_24.min1.thm12017-02-06 12:45 650  
[ ]finset_1__748_19.min1.thm12017-02-06 12:45 598  
[ ]finset_1__749_28.min1.thm12017-02-06 12:45 607  
[ ]finset_1__755_22.min1.thm12017-02-06 12:45 563  
[ ]finset_1__755_22.min1.thm1.tptp2017-02-06 16:47 504  
[ ]finset_1__756_16.min1.thm12017-02-06 12:45 621  
[ ]finset_1__757_21.min1.thm12017-02-06 12:45 895  
[ ]finset_1__759_21.min1.thm12017-02-06 12:45 402  
[ ]finset_1__759_21.min1.thm1.tptp2017-02-06 16:47 342  
[ ]finset_1__761_16.min1.thm12017-02-06 12:45 700  
[ ]finset_1__766_42.min1.thm12017-02-06 12:45 563  
[ ]finset_1__766_42.min1.thm1.tptp2017-02-06 16:47 504  
[ ]finset_1__767_21.min1.thm12017-02-06 12:45 405  
[ ]finset_1__767_21.min1.thm1.tptp2017-02-06 16:47 329  
[ ]finset_1__769_19.min1.thm12017-02-06 12:45 926  
[ ]finset_1__778_27.min1.thm12017-02-06 12:45 521  
[ ]finset_1__779_19.min1.thm12017-02-06 12:45 429  
[ ]finset_1__779_19.min1.thm1.tptp2017-02-06 16:47 352  
[ ]finset_1__788_29.min1.thm12017-02-06 12:45 741  
[ ]finset_1__789_19.min1.thm12017-02-06 12:45 473  
[ ]finset_1__789_19.min1.thm1.tptp2017-02-06 16:47 399  
[ ]finset_1__798_15.min1.thm12017-02-06 12:45 221  
[ ]finset_1__803_24.min1.thm12017-02-06 12:45 385  
[ ]finset_1__804_14.min1.thm12017-02-06 12:45 227  
[ ]finset_1__806_12.min1.thm12017-02-06 12:45 802  
[ ]finset_1__815_24.min1.thm12017-02-06 12:45 384  
[ ]finset_1__815_24.min1.thm1.tptp2017-02-06 16:47 306  
[ ]finset_1__816_23.min1.thm12017-02-06 12:45 606  
[ ]finset_1__822_76.min1.thm12017-02-06 12:45 343  
[ ]finset_1__826_43.min1.thm12017-02-06 12:45 291  
[ ]finset_1__827_22.min1.thm12017-02-06 12:45 228  
[ ]finset_1__832_27.min1.thm12017-02-06 12:45 426  
[ ]finset_1__832_27.min1.thm1.tptp2017-02-06 16:47 349  
[ ]finset_1__840_21.min1.thm12017-02-06 12:45 682  
[ ]finset_1__843_30.min1.thm12017-02-06 12:45 722  
[ ]finset_1__844_36.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__845_23.min1.thm12017-02-06 12:45 294  
[ ]finset_1__846_26.min1.thm12017-02-06 12:45 760  
[ ]finset_1__847_35.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__848_27.min1.thm12017-02-06 12:45 1.7K 
[ ]finset_1__861_34.min1.thm12017-02-06 12:45 528  
[ ]finset_1__862_29.min1.thm12017-02-06 12:45 1.5K 
[ ]finset_1__866_19.min1.thm12017-02-06 12:45 1.4K 
[ ]finset_1__869_27.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__870_32.min1.thm12017-02-06 12:45 701  
[ ]finset_1__871_19.min1.thm12017-02-06 12:45 523  
[ ]finset_1__872_25.min1.thm12017-02-06 12:45 1.4K 
[ ]finset_1__874_47.min1.thm12017-02-06 12:45 878  
[ ]finset_1__876_48.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__877_35.min1.thm12017-02-06 12:45 518  
[ ]finset_1__879_17.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__880_30.min1.thm12017-02-06 12:45 689  
[ ]finset_1__881_19.min1.thm12017-02-06 12:45 371  
[ ]finset_1__881_19.min1.thm1.tptp2017-02-06 16:47 293  
[ ]finset_1__882_22.min1.thm12017-02-06 12:45 441  
[ ]finset_1__882_22.min1.thm1.tptp2017-02-06 16:47 364  
[ ]finset_1__883_29.min1.thm12017-02-06 12:45 802  
[ ]finset_1__884_23.min1.thm12017-02-06 12:45 2.1K 
[ ]finset_1__886_21.min1.thm12017-02-06 12:45 623  
[ ]finset_1__886_21.min1.thm1.tptp2017-02-06 16:47 534  
[ ]finset_1__889_19.min1.thm12017-02-06 12:45 408  
[ ]finset_1__889_19.min1.thm1.tptp2017-02-06 16:47 331  
[ ]finset_1__897_22.min1.thm12017-02-06 12:45 378  
[ ]finset_1__903_24.min1.thm12017-02-06 12:45 349  
[ ]finset_1__903_24.min1.thm1.tptp2017-02-06 16:47 269  
[ ]finset_1__904_24.min1.thm12017-02-06 12:45 700  
[ ]finset_1__907_24.min1.thm12017-02-06 12:45 351  
[ ]finset_1__907_24.min1.thm1.tptp2017-02-06 16:47 273  
[ ]finset_1__908_19.min1.thm12017-02-06 12:45 526  
[ ]finset_1__916_27.min1.thm12017-02-06 12:45 489  
[ ]finset_1__917_17.min1.thm12017-02-06 12:45 465  
[ ]finset_1__924_22.min1.thm12017-02-06 12:45 541  
[ ]finset_1__925_14.min1.thm12017-02-06 12:45 559  
[ ]finset_1__931_11.min1.thm12017-02-06 12:45 629  
[ ]finset_1__940_15.min1.thm12017-02-06 12:45 705  
[ ]finset_1__956_22.min1.thm12017-02-06 12:45 471  
[ ]finset_1__957_28.min1.thm12017-02-06 12:45 430  
[ ]finset_1__957_28.min1.thm1.tptp2017-02-06 16:47 349  
[ ]finset_1__958_19.min1.thm12017-02-06 12:45 759  
[ ]finset_1__960_32.min1.thm12017-02-06 12:45 961  
[ ]finset_1__961_14.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__976_9.min1.thm12017-02-06 12:45 244  
[ ]finset_1__982_17.min1.thm12017-02-06 12:45 281  
[ ]finset_1__987_19.min1.thm12017-02-06 12:45 282  
[ ]finset_1__988_30.min1.thm12017-02-06 12:45 547  
[ ]finset_1__992_29.min1.thm12017-02-06 12:45 522  
[ ]finset_1__992_29.min1.thm1.tptp2017-02-06 16:47 460  
[ ]finset_1__993_37.min1.thm12017-02-06 12:45 1.2K 
[ ]finset_1__994_32.min1.thm12017-02-06 12:45 435  
[ ]finset_1__994_32.min1.thm1.tptp2017-02-06 16:47 361  
[ ]finset_1__995_23.min1.thm12017-02-06 12:45 862  
[ ]finset_1__1000_13.min1.thm12017-02-06 12:45 316  
[ ]finset_1__1004_49.min1.thm12017-02-06 12:45 692  
[ ]finset_1__1005_17.min1.thm12017-02-06 12:45 404  
[ ]finset_1__1005_17.min1.thm1.tptp2017-02-06 16:47 323  
[ ]finset_1__1007_17.min1.thm12017-02-06 12:45 482  
[ ]finset_1__1009_29.min1.thm12017-02-06 12:45 549  
[ ]finset_1__1012_34.min1.thm12017-02-06 12:45 524  
[ ]finset_1__1012_34.min1.thm1.tptp2017-02-06 16:47 462  
[ ]finset_1__1013_23.min1.thm12017-02-06 12:45 752  
[ ]finset_1__1016_21.min1.thm12017-02-06 12:45 690  
[ ]finset_1__1019_17.min1.thm12017-02-06 12:45 447  
[ ]finset_1__1019_17.min1.thm1.tptp2017-02-06 16:47 389  
[ ]finset_1__1034_9.min1.thm12017-02-06 12:45 244  
[ ]finset_1__1040_17.min1.thm12017-02-06 12:45 281  
[ ]finset_1__1045_19.min1.thm12017-02-06 12:45 282  
[ ]finset_1__1046_30.min1.thm12017-02-06 12:45 547  
[ ]finset_1__1050_29.min1.thm12017-02-06 12:45 522  
[ ]finset_1__1050_29.min1.thm1.tptp2017-02-06 16:47 460  
[ ]finset_1__1051_37.min1.thm12017-02-06 12:45 1.2K 
[ ]finset_1__1052_32.min1.thm12017-02-06 12:45 435  
[ ]finset_1__1052_32.min1.thm1.tptp2017-02-06 16:47 361  
[ ]finset_1__1053_23.min1.thm12017-02-06 12:45 862  
[ ]finset_1__1058_14.min1.thm12017-02-06 12:45 316  
[ ]finset_1__1062_49.min1.thm12017-02-06 12:45 692  
[ ]finset_1__1063_17.min1.thm12017-02-06 12:45 404  
[ ]finset_1__1063_17.min1.thm1.tptp2017-02-06 16:47 323  
[ ]finset_1__1065_17.min1.thm12017-02-06 12:45 482  
[ ]finset_1__1067_29.min1.thm12017-02-06 12:45 549  
[ ]finset_1__1070_34.min1.thm12017-02-06 12:45 524  
[ ]finset_1__1070_34.min1.thm1.tptp2017-02-06 16:47 462  
[ ]finset_1__1071_23.min1.thm12017-02-06 12:45 752  
[ ]finset_1__1074_21.min1.thm12017-02-06 12:45 690  
[ ]finset_1__1077_17.min1.thm12017-02-06 12:45 447  
[ ]finset_1__1077_17.min1.thm1.tptp2017-02-06 16:47 389  
[ ]finset_1__1111_21.min1.thm12017-02-06 12:45 600  
[ ]finset_1__1118_14.min1.thm12017-02-06 12:45 666  
[ ]finset_1__1121_17.min1.thm12017-02-06 12:45 1.3K 
[ ]finset_1__1122_16.min1.thm12017-02-06 12:45 494  
[ ]finset_1__1123_13.min1.thm12017-02-06 12:45 449  
[ ]finset_1__1124_19.min1.thm12017-02-06 12:45 449  
[ ]finset_1__1126_21.min1.thm12017-02-06 12:45 601  
[ ]finset_1__1133_15.min1.thm12017-02-06 12:45 666  
[ ]finset_1__1137_17.min1.thm12017-02-06 12:45 1.3K 
[ ]finset_1__1138_16.min1.thm12017-02-06 12:45 494  
[ ]finset_1__1139_13.min1.thm12017-02-06 12:45 449  
[ ]finset_1__1140_19.min1.thm12017-02-06 12:45 449  
[ ]finset_1__1149_15.min1.thm12017-02-06 12:45 1.2K 
[ ]finset_1__1150_17.min1.thm12017-02-06 12:45 403  
[ ]finset_1__1150_17.min1.thm1.tptp2017-02-06 16:47 326  
[ ]finset_1__1151_13.min1.thm12017-02-06 12:45 449  
[ ]finset_1__1152_16.min1.thm12017-02-06 12:45 403  
[ ]finset_1__1152_16.min1.thm1.tptp2017-02-06 16:47 326  
[ ]finset_1__1153_13.min1.thm12017-02-06 12:45 449  
[ ]finset_1__1155_14.min1.thm12017-02-06 12:45 788  
[ ]finset_1__1156_13.min1.thm12017-02-06 12:45 788  
[ ]finset_1__1157_19.min1.thm12017-02-06 12:45 786  
[ ]finset_1__1172_21.min1.thm12017-02-06 12:45 600  
[ ]finset_1__1179_14.min1.thm12017-02-06 12:45 666  
[ ]finset_1__1182_16.min1.thm12017-02-06 12:45 1.3K 
[ ]finset_1__1183_16.min1.thm12017-02-06 12:45 494  
[ ]finset_1__1184_13.min1.thm12017-02-06 12:45 449  
[ ]finset_1__1185_19.min1.thm12017-02-06 12:45 449  
[ ]finset_1__1195_15.min1.thm12017-02-06 12:45 1.2K 
[ ]finset_1__1196_16.min1.thm12017-02-06 12:45 403  
[ ]finset_1__1196_16.min1.thm1.tptp2017-02-06 16:47 326  
[ ]finset_1__1197_13.min1.thm12017-02-06 12:45 449  
[ ]finset_1__1198_18.min1.thm12017-02-06 12:45 788  
[ ]finset_1__1199_19.min1.thm12017-02-06 12:45 785  
[ ]finset_1__1209_25.min1.thm12017-02-06 12:45 505  
[ ]finset_1__1210_16.min1.thm12017-02-06 12:45 680  
[ ]finset_1__1229_18.min1.thm12017-02-06 12:45 642  
[ ]finset_1__1231_30.min1.thm12017-02-06 12:45 775  
[ ]finset_1__1232_18.min1.thm12017-02-06 12:45 631  
[ ]finset_1__1233_23.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__1237_26.min1.thm12017-02-06 12:45 632  
[ ]finset_1__1238_12.min1.thm12017-02-06 12:45 394  
[ ]finset_1__1238_12.min1.thm1.tptp2017-02-06 16:47 324  
[ ]finset_1__1239_25.min1.thm12017-02-06 12:45 909  
[ ]finset_1__1242_19.min1.thm12017-02-06 12:45 688  
[ ]finset_1__1252_28.min1.thm12017-02-06 12:45 578  
[ ]finset_1__1253_19.min1.thm12017-02-06 12:45 1.2K 
[ ]finset_1__1265_19.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__1266_19.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__1275_11.min1.thm12017-02-06 12:45 632  
[ ]finset_1__1295_18.min1.thm12017-02-06 12:45 642  
[ ]finset_1__1297_30.min1.thm12017-02-06 12:45 775  
[ ]finset_1__1298_18.min1.thm12017-02-06 12:45 631  
[ ]finset_1__1299_23.min1.thm12017-02-06 12:45 952  
[ ]finset_1__1303_26.min1.thm12017-02-06 12:45 632  
[ ]finset_1__1304_12.min1.thm12017-02-06 12:45 394  
[ ]finset_1__1304_12.min1.thm1.tptp2017-02-06 16:47 324  
[ ]finset_1__1305_25.min1.thm12017-02-06 12:45 909  
[ ]finset_1__1308_19.min1.thm12017-02-06 12:45 690  
[ ]finset_1__1319_19.min1.thm12017-02-06 12:45 441  
[ ]finset_1__1319_19.min1.thm1.tptp2017-02-06 16:47 363  
[ ]finset_1__1320_16.min1.thm12017-02-06 12:45 736  
[ ]finset_1__1329_34.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__1330_19.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__1353_15.min1.thm12017-02-06 12:45 263  
[ ]finset_1__1355_28.min1.thm12017-02-06 12:45 577  
[ ]finset_1__1356_30.min1.thm12017-02-06 12:45 621  
[ ]finset_1__1359_30.min1.thm12017-02-06 12:45 836  
[ ]finset_1__1366_40.min1.thm12017-02-06 12:45 606  
[ ]finset_1__1367_19.min1.thm12017-02-06 12:45 432  
[ ]finset_1__1367_19.min1.thm1.tptp2017-02-06 16:47 360  
[ ]finset_1__1384_15.min1.thm12017-02-06 12:45 295  
[ ]finset_1__1386_31.min1.thm12017-02-06 12:45 812  
[ ]finset_1__1389_31.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__1395_16.min1.thm12017-02-06 12:45 688  
[ ]finset_1__1396_19.min1.thm12017-02-06 12:45 1.2K 
[ ]finset_1__1407_33.min1.thm12017-02-06 12:45 635  
[ ]finset_1__1419_17.min1.thm12017-02-06 12:45 698  
[ ]finset_1__1429_17.min1.thm12017-02-06 12:45 460  
[ ]finset_1__1439_22.min1.thm12017-02-06 12:45 879  
[ ]finset_1__1440_21.min1.thm12017-02-06 12:45 878  
[ ]finset_1__1441_14.min1.thm12017-02-06 12:45 971  
[ ]finset_1__1450_16.min1.thm12017-02-06 12:45 384  
[ ]finset_1__1450_16.min1.thm1.tptp2017-02-06 16:47 306  
[ ]finset_1__1451_16.min1.thm12017-02-06 12:45 591  
[ ]finset_1__1460_15.min1.thm12017-02-06 12:45 384  
[ ]finset_1__1460_15.min1.thm1.tptp2017-02-06 16:47 306  
[ ]finset_1__1461_16.min1.thm12017-02-06 12:45 591  
[ ]finset_1__1470_20.min1.thm12017-02-06 12:45 409  
[ ]finset_1__1470_20.min1.thm1.tptp2017-02-06 16:47 331  
[ ]finset_1__1471_19.min1.thm12017-02-06 12:45 1.0K 
[ ]finset_1__1478_11.min1.thm12017-02-06 12:45 690  
[ ]finset_1__1487_16.min1.thm12017-02-06 12:45 388  
[ ]finset_1__1487_16.min1.thm1.tptp2017-02-06 16:47 313  
[ ]finset_1__1489_18.min1.thm12017-02-06 12:45 309  
[ ]finset_1__1489_18.min1.thm1.tptp2017-02-06 16:47 228  
[ ]finset_1__1493_18.min1.thm12017-02-06 12:45 308  
[ ]finset_1__1493_18.min1.thm1.tptp2017-02-06 16:47 228  
[ ]finset_1__1500_11.min1.thm12017-02-06 12:45 242  
[ ]finset_1__1509_36.min1.thm12017-02-06 12:45 393  
[ ]finset_1__1509_36.min1.thm1.tptp2017-02-06 16:47 337  
[ ]finset_1__1510_44.min1.thm12017-02-06 12:45 609  
[ ]finset_1__1512_19.min1.thm12017-02-06 12:45 343  
[ ]finset_1__1512_19.min1.thm1.tptp2017-02-06 16:47 263  
[ ]finset_1__1513_24.min1.thm12017-02-06 12:45 452  
[ ]finset_1__1513_24.min1.thm1.tptp2017-02-06 16:47 396  
[ ]finset_1__1514_18.min1.thm12017-02-06 12:45 595  
[ ]finset_1__1523_11.min1.thm12017-02-06 12:45 1.1K 
[ ]finset_1__1541_17.min1.thm12017-02-06 12:45 360  
[ ]finset_1__1541_17.min1.thm1.tptp2017-02-06 16:47 281  
[ ]finset_1__1550_12.min1.thm12017-02-06 12:45 195  
[ ]finset_1__1552_18.min1.thm12017-02-06 12:45 557  
[ ]finset_1__1555_18.min1.thm12017-02-06 12:45 584  
[ ]finset_1__1565_30.min1.thm12017-02-06 12:45 421  
[ ]finset_1__1567_18.min1.thm12017-02-06 12:45 464  
[ ]finset_1__1579_16.min1.thm12017-02-06 12:45 379  
[ ]finset_1__1579_16.min1.thm1.tptp2017-02-06 16:47 312  
[ ]finset_1__1585_13.min1.thm12017-02-06 12:45 558  
[ ]finset_1__1592_16.min1.thm12017-02-06 12:45 477  
[ ]finset_1__1603_13.min1.thm12017-02-06 12:45 598  
[ ]finset_1__1611_26.min1.thm12017-02-06 12:45 472  
[ ]finset_1__1611_26.min1.thm1.tptp2017-02-06 16:47 410  
[ ]finset_1__1612_14.min1.thm12017-02-06 12:45 600  
[ ]finset_1__1621_35.min1.thm12017-02-06 12:45 455  
[ ]finset_1__1622_17.min1.thm12017-02-06 12:45 481  
[ ]finset_1__1631_23.min1.thm12017-02-06 12:45 743  
[ ]finset_1__1634_21.min1.thm12017-02-06 12:45 365  
[ ]finset_1__1634_21.min1.thm1.tptp2017-02-06 16:47 300  
[ ]finset_1__1635_26.min1.thm12017-02-06 12:45 808  
[ ]finset_1__1644_18.min1.thm12017-02-06 12:45 459  
[ ]finset_1__1653_13.min1.thm12017-02-06 12:45 249  
[ ]finset_1__1655_20.min1.thm12017-02-06 12:45 570  
[ ]finset_1__1658_20.min1.thm12017-02-06 12:45 851  
[ ]finset_1__1667_17.min1.thm12017-02-06 12:45 448  
[ ]finset_1__1667_17.min1.thm1.tptp2017-02-06 16:47 378  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80