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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal3__37_16.min1.thm12017-02-06 12:46 310  
[ ]ordinal3__37_16.min1.thm1.tptp2017-02-06 16:47 236  
[ ]ordinal3__42_16.min1.thm12017-02-06 12:46 331  
[ ]ordinal3__42_16.min1.thm1.tptp2017-02-06 16:47 254  
[ ]ordinal3__43_17.min1.thm12017-02-06 12:46 490  
[ ]ordinal3__49_27.min1.thm12017-02-06 12:46 563  
[ ]ordinal3__50_17.min1.thm12017-02-06 12:46 825  
[ ]ordinal3__57_41.min1.thm12017-02-06 12:46 621  
[ ]ordinal3__58_17.min1.thm12017-02-06 12:46 355  
[ ]ordinal3__58_17.min1.thm1.tptp2017-02-06 16:47 288  
[ ]ordinal3__64_35.min1.thm12017-02-06 12:46 315  
[ ]ordinal3__65_17.min1.thm12017-02-06 12:46 381  
[ ]ordinal3__65_17.min1.thm1.tptp2017-02-06 16:47 314  
[ ]ordinal3__74_19.min1.thm12017-02-06 12:46 653  
[ ]ordinal3__75_25.min1.thm12017-02-06 12:46 347  
[ ]ordinal3__82_18.min1.thm12017-02-06 12:46 435  
[ ]ordinal3__83_17.min1.thm12017-02-06 12:46 645  
[ ]ordinal3__89_14.min1.thm12017-02-06 12:46 543  
[ ]ordinal3__91_17.min1.thm12017-02-06 12:46 708  
[ ]ordinal3__92_17.min1.thm12017-02-06 12:46 629  
[ ]ordinal3__98_21.min1.thm12017-02-06 12:46 394  
[ ]ordinal3__99_32.min1.thm12017-02-06 12:46 619  
[ ]ordinal3__100_17.min1.thm12017-02-06 12:46 648  
[ ]ordinal3__106_28.min1.thm12017-02-06 12:46 440  
[ ]ordinal3__107_11.min1.thm12017-02-06 12:46 244  
[ ]ordinal3__114_24.min1.thm12017-02-06 12:46 501  
[ ]ordinal3__115_14.min1.thm12017-02-06 12:46 403  
[ ]ordinal3__123_20.min1.thm12017-02-06 12:46 481  
[ ]ordinal3__124_19.min1.thm12017-02-06 12:46 752  
[ ]ordinal3__129_20.min1.thm12017-02-06 12:46 481  
[ ]ordinal3__130_19.min1.thm12017-02-06 12:46 752  
[ ]ordinal3__137_18.min1.thm12017-02-06 12:46 477  
[ ]ordinal3__138_17.min1.thm12017-02-06 12:46 810  
[ ]ordinal3__144_18.min1.thm12017-02-06 12:46 477  
[ ]ordinal3__145_17.min1.thm12017-02-06 12:46 810  
[ ]ordinal3__148_16.min1.thm12017-02-06 12:46 446  
[ ]ordinal3__154_28.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__158_13.min1.thm12017-02-06 12:46 503  
[ ]ordinal3__167_11.min1.thm12017-02-06 12:46 947  
[ ]ordinal3__177_19.min1.thm12017-02-06 12:46 785  
[ ]ordinal3__178_11.min1.thm12017-02-06 12:46 739  
[ ]ordinal3__179_17.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal3__188_19.min1.thm12017-02-06 12:46 681  
[ ]ordinal3__189_17.min1.thm12017-02-06 12:46 681  
[ ]ordinal3__190_17.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__199_13.min1.thm12017-02-06 12:46 772  
[ ]ordinal3__200_17.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__201_17.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal3__210_19.min1.thm12017-02-06 12:46 681  
[ ]ordinal3__211_17.min1.thm12017-02-06 12:46 681  
[ ]ordinal3__212_17.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__221_21.min1.thm12017-02-06 12:46 545  
[ ]ordinal3__232_11.min1.thm12017-02-06 12:46 495  
[ ]ordinal3__241_49.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__242_25.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal3__243_17.min1.thm12017-02-06 12:46 794  
[ ]ordinal3__249_20.min1.thm12017-02-06 12:46 852  
[ ]ordinal3__250_18.min1.thm12017-02-06 12:46 852  
[ ]ordinal3__251_17.min1.thm12017-02-06 12:46 847  
[ ]ordinal3__259_16.min1.thm12017-02-06 12:46 482  
[ ]ordinal3__260_14.min1.thm12017-02-06 12:46 482  
[ ]ordinal3__261_17.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__270_14.min1.thm12017-02-06 12:46 539  
[ ]ordinal3__271_12.min1.thm12017-02-06 12:46 539  
[ ]ordinal3__272_17.min1.thm12017-02-06 12:46 795  
[ ]ordinal3__286_25.min1.thm12017-02-06 12:46 925  
[ ]ordinal3__287_25.min1.thm12017-02-06 12:46 823  
[ ]ordinal3__289_17.min1.thm12017-02-06 12:46 811  
[ ]ordinal3__290_27.min1.thm12017-02-06 12:46 691  
[ ]ordinal3__291_18.min1.thm12017-02-06 12:46 618  
[ ]ordinal3__293_40.min1.thm12017-02-06 12:46 481  
[ ]ordinal3__294_19.min1.thm12017-02-06 12:46 824  
[ ]ordinal3__306_16.min1.thm12017-02-06 12:46 343  
[ ]ordinal3__306_16.min1.thm1.tptp2017-02-06 16:47 266  
[ ]ordinal3__307_20.min1.thm12017-02-06 12:46 862  
[ ]ordinal3__309_20.min1.thm12017-02-06 12:46 519  
[ ]ordinal3__321_18.min1.thm12017-02-06 12:46 692  
[ ]ordinal3__322_34.min1.thm12017-02-06 12:46 728  
[ ]ordinal3__323_21.min1.thm12017-02-06 12:46 944  
[ ]ordinal3__324_21.min1.thm12017-02-06 12:46 712  
[ ]ordinal3__325_23.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__328_23.min1.thm12017-02-06 12:46 573  
[ ]ordinal3__333_21.min1.thm12017-02-06 12:46 602  
[ ]ordinal3__334_21.min1.thm12017-02-06 12:46 780  
[ ]ordinal3__335_25.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__337_26.min1.thm12017-02-06 12:46 885  
[ ]ordinal3__338_33.min1.thm12017-02-06 12:46 628  
[ ]ordinal3__339_30.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal3__343_26.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__344_20.min1.thm12017-02-06 12:46 505  
[ ]ordinal3__344_20.min1.thm1.tptp2017-02-06 16:47 432  
[ ]ordinal3__345_22.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__346_18.min1.thm12017-02-06 12:46 374  
[ ]ordinal3__346_18.min1.thm1.tptp2017-02-06 16:47 297  
[ ]ordinal3__350_22.min1.thm12017-02-06 12:46 410  
[ ]ordinal3__351_20.min1.thm12017-02-06 12:46 941  
[ ]ordinal3__352_19.min1.thm12017-02-06 12:46 339  
[ ]ordinal3__352_19.min1.thm1.tptp2017-02-06 16:47 262  
[ ]ordinal3__354_19.min1.thm12017-02-06 12:46 673  
[ ]ordinal3__359_18.min1.thm12017-02-06 12:46 630  
[ ]ordinal3__360_22.min1.thm12017-02-06 12:46 394  
[ ]ordinal3__361_16.min1.thm12017-02-06 12:46 409  
[ ]ordinal3__364_14.min1.thm12017-02-06 12:46 474  
[ ]ordinal3__364_14.min1.thm1.tptp2017-02-06 16:47 413  
[ ]ordinal3__372_16.min1.thm12017-02-06 12:46 692  
[ ]ordinal3__374_15.min1.thm12017-02-06 12:46 559  
[ ]ordinal3__376_18.min1.thm12017-02-06 12:46 280  
[ ]ordinal3__378_15.min1.thm12017-02-06 12:46 463  
[ ]ordinal3__388_12.min1.thm12017-02-06 12:46 547  
[ ]ordinal3__390_14.min1.thm12017-02-06 12:46 716  
[ ]ordinal3__394_19.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__395_16.min1.thm12017-02-06 12:46 487  
[ ]ordinal3__395_16.min1.thm1.tptp2017-02-06 16:47 414  
[ ]ordinal3__403_17.min1.thm12017-02-06 12:46 694  
[ ]ordinal3__406_28.min1.thm12017-02-06 12:46 828  
[ ]ordinal3__407_22.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal3__411_20.min1.thm12017-02-06 12:46 702  
[ ]ordinal3__412_36.min1.thm12017-02-06 12:46 824  
[ ]ordinal3__413_24.min1.thm12017-02-06 12:46 620  
[ ]ordinal3__414_29.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__415_21.min1.thm12017-02-06 12:46 825  
[ ]ordinal3__420_20.min1.thm12017-02-06 12:46 617  
[ ]ordinal3__421_30.min1.thm12017-02-06 12:46 570  
[ ]ordinal3__422_22.min1.thm12017-02-06 12:46 940  
[ ]ordinal3__425_19.min1.thm12017-02-06 12:46 639  
[ ]ordinal3__427_17.min1.thm12017-02-06 12:46 852  
[ ]ordinal3__438_40.min1.thm12017-02-06 12:46 850  
[ ]ordinal3__439_25.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__440_26.min1.thm12017-02-06 12:46 670  
[ ]ordinal3__462_16.min1.thm12017-02-06 12:46 684  
[ ]ordinal3__463_32.min1.thm12017-02-06 12:46 720  
[ ]ordinal3__464_21.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__465_22.min1.thm12017-02-06 12:46 751  
[ ]ordinal3__467_24.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__468_30.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal3__469_21.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal3__471_18.min1.thm12017-02-06 12:46 537  
[ ]ordinal3__472_28.min1.thm12017-02-06 12:46 604  
[ ]ordinal3__474_26.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal3__475_19.min1.thm12017-02-06 12:46 503  
[ ]ordinal3__475_19.min1.thm1.tptp2017-02-06 16:47 430  
[ ]ordinal3__476_22.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal3__477_18.min1.thm12017-02-06 12:46 503  
[ ]ordinal3__477_18.min1.thm1.tptp2017-02-06 16:47 430  
[ ]ordinal3__478_33.min1.thm12017-02-06 12:46 830  
[ ]ordinal3__482_37.min1.thm12017-02-06 12:46 791  
[ ]ordinal3__484_18.min1.thm12017-02-06 12:46 486  
[ ]ordinal3__487_24.min1.thm12017-02-06 12:46 825  
[ ]ordinal3__489_18.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__490_15.min1.thm12017-02-06 12:46 967  
[ ]ordinal3__492_17.min1.thm12017-02-06 12:46 583  
[ ]ordinal3__495_28.min1.thm12017-02-06 12:46 836  
[ ]ordinal3__496_38.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__497_24.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal3__500_25.min1.thm12017-02-06 12:46 892  
[ ]ordinal3__501_21.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__503_23.min1.thm12017-02-06 12:46 576  
[ ]ordinal3__504_26.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__505_19.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal3__507_20.min1.thm12017-02-06 12:46 575  
[ ]ordinal3__508_20.min1.thm12017-02-06 12:46 395  
[ ]ordinal3__508_20.min1.thm1.tptp2017-02-06 16:47 318  
[ ]ordinal3__510_14.min1.thm12017-02-06 12:46 444  
[ ]ordinal3__512_14.min1.thm12017-02-06 12:46 524  
[ ]ordinal3__512_14.min1.thm1.tptp2017-02-06 16:47 447  
[ ]ordinal3__522_12.min1.thm12017-02-06 12:46 547  
[ ]ordinal3__523_17.min1.thm12017-02-06 12:46 716  
[ ]ordinal3__533_12.min1.thm12017-02-06 12:46 547  
[ ]ordinal3__534_17.min1.thm12017-02-06 12:46 716  
[ ]ordinal3__535_17.min1.thm12017-02-06 12:46 635  
[ ]ordinal3__537_13.min1.thm12017-02-06 12:46 823  
[ ]ordinal3__539_19.min1.thm12017-02-06 12:46 971  
[ ]ordinal3__540_15.min1.thm12017-02-06 12:46 349  
[ ]ordinal3__540_15.min1.thm1.tptp2017-02-06 16:47 278  
[ ]ordinal3__541_15.min1.thm12017-02-06 12:46 349  
[ ]ordinal3__541_15.min1.thm1.tptp2017-02-06 16:47 278  
[ ]ordinal3__542_17.min1.thm12017-02-06 12:46 972  
[ ]ordinal3__543_17.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal3__553_21.min1.thm12017-02-06 12:46 545  
[ ]ordinal3__554_22.min1.thm12017-02-06 12:46 924  
[ ]ordinal3__564_11.min1.thm12017-02-06 12:46 495  
[ ]ordinal3__573_49.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__574_43.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal3__575_17.min1.thm12017-02-06 12:46 875  
[ ]ordinal3__582_17.min1.thm12017-02-06 12:46 392  
[ ]ordinal3__584_13.min1.thm12017-02-06 12:46 823  
[ ]ordinal3__586_19.min1.thm12017-02-06 12:46 971  
[ ]ordinal3__587_17.min1.thm12017-02-06 12:46 971  
[ ]ordinal3__588_17.min1.thm12017-02-06 12:46 705  
[ ]ordinal3__597_14.min1.thm12017-02-06 12:46 505  
[ ]ordinal3__598_12.min1.thm12017-02-06 12:46 547  
[ ]ordinal3__599_17.min1.thm12017-02-06 12:46 716  
[ ]ordinal3__600_17.min1.thm12017-02-06 12:46 635  
[ ]ordinal3__602_13.min1.thm12017-02-06 12:46 823  
[ ]ordinal3__604_15.min1.thm12017-02-06 12:46 351  
[ ]ordinal3__604_15.min1.thm1.tptp2017-02-06 16:47 280  
[ ]ordinal3__610_19.min1.thm12017-02-06 12:46 856  
[ ]ordinal3__611_18.min1.thm12017-02-06 12:46 630  
[ ]ordinal3__614_16.min1.thm12017-02-06 12:46 859  
[ ]ordinal3__615_17.min1.thm12017-02-06 12:46 460  
[ ]ordinal3__625_15.min1.thm12017-02-06 12:46 678  
[ ]ordinal3__628_16.min1.thm12017-02-06 12:46 654  
[ ]ordinal3__655_38.min1.thm12017-02-06 12:46 716  
[ ]ordinal3__656_30.min1.thm12017-02-06 12:46 733  
[ ]ordinal3__657_18.min1.thm12017-02-06 12:46 733  
[ ]ordinal3__659_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__680_38.min1.thm12017-02-06 12:46 716  
[ ]ordinal3__681_30.min1.thm12017-02-06 12:46 733  
[ ]ordinal3__682_18.min1.thm12017-02-06 12:46 733  
[ ]ordinal3__684_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__705_38.min1.thm12017-02-06 12:46 716  
[ ]ordinal3__706_30.min1.thm12017-02-06 12:46 733  
[ ]ordinal3__707_18.min1.thm12017-02-06 12:46 733  
[ ]ordinal3__709_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__731_38.min1.thm12017-02-06 12:46 716  
[ ]ordinal3__732_30.min1.thm12017-02-06 12:46 733  
[ ]ordinal3__733_18.min1.thm12017-02-06 12:46 733  
[ ]ordinal3__735_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__748_33.min1.thm12017-02-06 12:46 891  
[ ]ordinal3__754_36.min1.thm12017-02-06 12:46 717  
[ ]ordinal3__761_15.min1.thm12017-02-06 12:46 579  
[ ]ordinal3__764_17.min1.thm12017-02-06 12:46 668  
[ ]ordinal3__765_32.min1.thm12017-02-06 12:46 709  
[ ]ordinal3__766_21.min1.thm12017-02-06 12:46 883  
[ ]ordinal3__767_29.min1.thm12017-02-06 12:46 964  
[ ]ordinal3__768_33.min1.thm12017-02-06 12:46 725  
[ ]ordinal3__769_31.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal3__772_22.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal3__775_29.min1.thm12017-02-06 12:46 707  
[ ]ordinal3__778_19.min1.thm12017-02-06 12:46 486  
[ ]ordinal3__779_24.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal3__780_31.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__782_19.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__789_36.min1.thm12017-02-06 12:46 507  
[ ]ordinal3__792_14.min1.thm12017-02-06 12:46 641  
[ ]ordinal3__795_17.min1.thm12017-02-06 12:46 660  
[ ]ordinal3__796_30.min1.thm12017-02-06 12:46 700  
[ ]ordinal3__797_35.min1.thm12017-02-06 12:46 572  
[ ]ordinal3__798_19.min1.thm12017-02-06 12:46 886  
[ ]ordinal3__800_24.min1.thm12017-02-06 12:46 473  
[ ]ordinal3__801_16.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__802_30.min1.thm12017-02-06 12:46 815  
[ ]ordinal3__803_19.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__805_17.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal3__818_26.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__819_25.min1.thm12017-02-06 12:46 525  
[ ]ordinal3__819_25.min1.thm1.tptp2017-02-06 16:47 452  
[ ]ordinal3__828_32.min1.thm12017-02-06 12:46 517  
[ ]ordinal3__831_15.min1.thm12017-02-06 12:46 663  
[ ]ordinal3__834_17.min1.thm12017-02-06 12:46 684  
[ ]ordinal3__835_20.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal3__837_25.min1.thm12017-02-06 12:46 787  
[ ]ordinal3__838_32.min1.thm12017-02-06 12:46 722  
[ ]ordinal3__839_25.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__840_37.min1.thm12017-02-06 12:46 848  
[ ]ordinal3__841_21.min1.thm12017-02-06 12:46 641  
[ ]ordinal3__842_31.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__844_30.min1.thm12017-02-06 12:46 904  
[ ]ordinal3__845_39.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__846_14.min1.thm12017-02-06 12:46 565  
[ ]ordinal3__847_21.min1.thm12017-02-06 12:46 402  
[ ]ordinal3__849_21.min1.thm12017-02-06 12:46 720  
[ ]ordinal3__850_24.min1.thm12017-02-06 12:46 594  
[ ]ordinal3__851_20.min1.thm12017-02-06 12:46 689  
[ ]ordinal3__853_21.min1.thm12017-02-06 12:46 807  
[ ]ordinal3__855_19.min1.thm12017-02-06 12:46 888  
[ ]ordinal3__858_17.min1.thm12017-02-06 12:46 590  
[ ]ordinal3__870_12.min1.thm12017-02-06 12:46 552  
[ ]ordinal3__871_29.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__872_23.min1.thm12017-02-06 12:46 509  
[ ]ordinal3__872_23.min1.thm1.tptp2017-02-06 16:47 436  
[ ]ordinal3__876_28.min1.thm12017-02-06 12:46 500  
[ ]ordinal3__879_13.min1.thm12017-02-06 12:46 624  
[ ]ordinal3__882_15.min1.thm12017-02-06 12:46 654  
[ ]ordinal3__883_28.min1.thm12017-02-06 12:46 694  
[ ]ordinal3__885_16.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__886_17.min1.thm12017-02-06 12:46 334  
[ ]ordinal3__886_17.min1.thm1.tptp2017-02-06 16:47 257  
[ ]ordinal3__887_15.min1.thm12017-02-06 12:46 553  
[ ]ordinal3__888_19.min1.thm12017-02-06 12:46 692  
[ ]ordinal3__889_14.min1.thm12017-02-06 12:46 766  
[ ]ordinal3__890_19.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__908_36.min1.thm12017-02-06 12:46 717  
[ ]ordinal3__911_16.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__914_14.min1.thm12017-02-06 12:46 567  
[ ]ordinal3__917_16.min1.thm12017-02-06 12:46 660  
[ ]ordinal3__918_30.min1.thm12017-02-06 12:46 702  
[ ]ordinal3__919_36.min1.thm12017-02-06 12:46 572  
[ ]ordinal3__920_21.min1.thm12017-02-06 12:46 887  
[ ]ordinal3__921_16.min1.thm12017-02-06 12:46 929  
[ ]ordinal3__923_27.min1.thm12017-02-06 12:46 605  
[ ]ordinal3__924_19.min1.thm12017-02-06 12:46 702  
[ ]ordinal3__925_19.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal3__932_36.min1.thm12017-02-06 12:46 507  
[ ]ordinal3__935_14.min1.thm12017-02-06 12:46 641  
[ ]ordinal3__938_17.min1.thm12017-02-06 12:46 660  
[ ]ordinal3__939_30.min1.thm12017-02-06 12:46 700  
[ ]ordinal3__940_35.min1.thm12017-02-06 12:46 572  
[ ]ordinal3__941_19.min1.thm12017-02-06 12:46 886  
[ ]ordinal3__943_24.min1.thm12017-02-06 12:46 473  
[ ]ordinal3__944_16.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__945_32.min1.thm12017-02-06 12:46 896  
[ ]ordinal3__946_19.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__948_17.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal3__954_63.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__955_25.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__956_17.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal3__963_63.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__964_25.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__965_17.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal3__976_25.min1.thm12017-02-06 12:46 587  
[ ]ordinal3__977_33.min1.thm12017-02-06 12:46 591  
[ ]ordinal3__978_30.min1.thm12017-02-06 12:46 394  
[ ]ordinal3__978_30.min1.thm1.tptp2017-02-06 16:47 317  
[ ]ordinal3__979_19.min1.thm12017-02-06 12:46 513  
[ ]ordinal3__984_43.min1.thm12017-02-06 12:46 699  
[ ]ordinal3__985_16.min1.thm12017-02-06 12:46 661  
[ ]ordinal3__986_22.min1.thm12017-02-06 12:46 548  
[ ]ordinal3__988_17.min1.thm12017-02-06 12:46 734  
[ ]ordinal3__999_44.min1.thm12017-02-06 12:46 670  
[ ]ordinal3__1000_29.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__1001_31.min1.thm12017-02-06 12:46 896  
[ ]ordinal3__1002_31.min1.thm12017-02-06 12:46 751  
[ ]ordinal3__1015_28.min1.thm12017-02-06 12:46 603  
[ ]ordinal3__1017_33.min1.thm12017-02-06 12:46 758  
[ ]ordinal3__1018_27.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__1023_18.min1.thm12017-02-06 12:46 411  
[ ]ordinal3__1024_18.min1.thm12017-02-06 12:46 417  
[ ]ordinal3__1025_23.min1.thm12017-02-06 12:46 627  
[ ]ordinal3__1026_21.min1.thm12017-02-06 12:46 909  
[ ]ordinal3__1036_38.min1.thm12017-02-06 12:46 492  
[ ]ordinal3__1037_47.min1.thm12017-02-06 12:46 822  
[ ]ordinal3__1038_30.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal3__1039_23.min1.thm12017-02-06 12:46 820  
[ ]ordinal3__1040_24.min1.thm12017-02-06 12:46 809  
[ ]ordinal3__1041_21.min1.thm12017-02-06 12:46 881  
[ ]ordinal3__1042_27.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal3__1044_36.min1.thm12017-02-06 12:46 635  
[ ]ordinal3__1045_14.min1.thm12017-02-06 12:46 405  
[ ]ordinal3__1046_24.min1.thm12017-02-06 12:46 926  
[ ]ordinal3__1048_24.min1.thm12017-02-06 12:46 477  
[ ]ordinal3__1049_32.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__1051_25.min1.thm12017-02-06 12:46 2.5K 
[ ]ordinal3__1052_21.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__1055_36.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal3__1056_27.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__1057_47.min1.thm12017-02-06 12:46 713  
[ ]ordinal3__1058_33.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal3__1061_19.min1.thm12017-02-06 12:46 820  
[ ]ordinal3__1061_19.min1.thm1.tptp2017-02-06 16:47 740  
[ ]ordinal3__1063_22.min1.thm12017-02-06 12:46 395  
[ ]ordinal3__1063_22.min1.thm1.tptp2017-02-06 16:47 318  
[ ]ordinal3__1064_20.min1.thm12017-02-06 12:46 575  
[ ]ordinal3__1065_23.min1.thm12017-02-06 12:46 460  
[ ]ordinal3__1065_23.min1.thm1.tptp2017-02-06 16:47 383  
[ ]ordinal3__1067_10.min1.thm12017-02-06 12:46 504  
[ ]ordinal3__1069_14.min1.thm12017-02-06 12:46 584  
[ ]ordinal3__1069_14.min1.thm1.tptp2017-02-06 16:47 507  
[ ]ordinal3__1081_14.min1.thm12017-02-06 12:46 394  
[ ]ordinal3__1083_19.min1.thm12017-02-06 12:46 714  
[ ]ordinal3__1089_15.min1.thm12017-02-06 12:46 359  
[ ]ordinal3__1089_15.min1.thm1.tptp2017-02-06 16:47 288  
[ ]ordinal3__1091_16.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__1094_23.min1.thm12017-02-06 12:46 898  
[ ]ordinal3__1095_23.min1.thm12017-02-06 12:46 777  
[ ]ordinal3__1097_21.min1.thm12017-02-06 12:46 804  
[ ]ordinal3__1106_21.min1.thm12017-02-06 12:46 940  
[ ]ordinal3__1107_18.min1.thm12017-02-06 12:46 720  
[ ]ordinal3__1111_20.min1.thm12017-02-06 12:46 606  
[ ]ordinal3__1112_16.min1.thm12017-02-06 12:46 416  
[ ]ordinal3__1113_21.min1.thm12017-02-06 12:46 714  
[ ]ordinal3__1114_28.min1.thm12017-02-06 12:46 940  
[ ]ordinal3__1116_21.min1.thm12017-02-06 12:46 952  
[ ]ordinal3__1120_28.min1.thm12017-02-06 12:46 371  
[ ]ordinal3__1121_31.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1122_23.min1.thm12017-02-06 12:46 892  
[ ]ordinal3__1125_46.min1.thm12017-02-06 12:46 713  
[ ]ordinal3__1126_19.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1137_20.min1.thm12017-02-06 12:46 736  
[ ]ordinal3__1139_20.min1.thm12017-02-06 12:46 615  
[ ]ordinal3__1141_19.min1.thm12017-02-06 12:46 920  
[ ]ordinal3__1142_31.min1.thm12017-02-06 12:46 961  
[ ]ordinal3__1143_21.min1.thm12017-02-06 12:46 713  
[ ]ordinal3__1144_20.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1145_21.min1.thm12017-02-06 12:46 476  
[ ]ordinal3__1151_32.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__1152_21.min1.thm12017-02-06 12:46 441  
[ ]ordinal3__1159_23.min1.thm12017-02-06 12:46 390  
[ ]ordinal3__1160_19.min1.thm12017-02-06 12:46 542  
[ ]ordinal3__1161_18.min1.thm12017-02-06 12:46 468  
[ ]ordinal3__1164_14.min1.thm12017-02-06 12:46 525  
[ ]ordinal3__1164_14.min1.thm1.tptp2017-02-06 16:47 476  
[ ]ordinal3__1180_14.min1.thm12017-02-06 12:46 711  
[ ]ordinal3__1181_26.min1.thm12017-02-06 12:46 835  
[ ]ordinal3__1182_29.min1.thm12017-02-06 12:46 961  
[ ]ordinal3__1184_20.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__1185_23.min1.thm12017-02-06 12:46 732  
[ ]ordinal3__1186_16.min1.thm12017-02-06 12:46 579  
[ ]ordinal3__1193_15.min1.thm12017-02-06 12:46 711  
[ ]ordinal3__1194_26.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1195_29.min1.thm12017-02-06 12:46 961  
[ ]ordinal3__1197_21.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__1198_24.min1.thm12017-02-06 12:46 732  
[ ]ordinal3__1199_16.min1.thm12017-02-06 12:46 579  
[ ]ordinal3__1202_18.min1.thm12017-02-06 12:46 579  
[ ]ordinal3__1203_17.min1.thm12017-02-06 12:46 934  
[ ]ordinal3__1223_13.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1224_18.min1.thm12017-02-06 12:46 747  
[ ]ordinal3__1226_23.min1.thm12017-02-06 12:46 858  
[ ]ordinal3__1227_23.min1.thm12017-02-06 12:46 650  
[ ]ordinal3__1228_27.min1.thm12017-02-06 12:46 963  
[ ]ordinal3__1229_17.min1.thm12017-02-06 12:46 422  
[ ]ordinal3__1232_16.min1.thm12017-02-06 12:46 733  
[ ]ordinal3__1233_30.min1.thm12017-02-06 12:46 702  
[ ]ordinal3__1234_16.min1.thm12017-02-06 12:46 762  
[ ]ordinal3__1235_19.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1237_22.min1.thm12017-02-06 12:46 686  
[ ]ordinal3__1238_29.min1.thm12017-02-06 12:46 630  
[ ]ordinal3__1239_24.min1.thm12017-02-06 12:46 870  
[ ]ordinal3__1240_35.min1.thm12017-02-06 12:46 854  
[ ]ordinal3__1241_26.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__1245_31.min1.thm12017-02-06 12:46 901  
[ ]ordinal3__1246_24.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__1247_17.min1.thm12017-02-06 12:46 464  
[ ]ordinal3__1254_17.min1.thm12017-02-06 12:46 338  
[ ]ordinal3__1254_17.min1.thm1.tptp2017-02-06 16:47 261  
[ ]ordinal3__1259_43.min1.thm12017-02-06 12:46 691  
[ ]ordinal3__1260_27.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1261_32.min1.thm12017-02-06 12:46 777  
[ ]ordinal3__1262_26.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__1263_28.min1.thm12017-02-06 12:46 560  
[ ]ordinal3__1282_30.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__1287_22.min1.thm12017-02-06 12:46 620  
[ ]ordinal3__1288_32.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal3__1289_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1291_17.min1.thm12017-02-06 12:46 643  
[ ]ordinal3__1292_23.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__1295_22.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__1296_21.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal3__1301_43.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__1302_19.min1.thm12017-02-06 12:46 342  
[ ]ordinal3__1302_19.min1.thm1.tptp2017-02-06 16:47 265  
[ ]ordinal3__1303_23.min1.thm12017-02-06 12:46 601  
[ ]ordinal3__1304_24.min1.thm12017-02-06 12:46 558  
[ ]ordinal3__1305_17.min1.thm12017-02-06 12:46 361  
[ ]ordinal3__1305_17.min1.thm1.tptp2017-02-06 16:47 290  
[ ]ordinal3__1306_19.min1.thm12017-02-06 12:46 348  
[ ]ordinal3__1306_19.min1.thm1.tptp2017-02-06 16:47 271  
[ ]ordinal3__1307_21.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__1309_19.min1.thm12017-02-06 12:46 808  
[ ]ordinal3__1309_19.min1.thm1.tptp2017-02-06 16:47 733  
[ ]ordinal3__1311_15.min1.thm12017-02-06 12:46 338  
[ ]ordinal3__1311_15.min1.thm1.tptp2017-02-06 16:47 261  
[ ]ordinal3__1313_13.min1.thm12017-02-06 12:46 782  
[ ]ordinal3__1315_14.min1.thm12017-02-06 12:46 524  
[ ]ordinal3__1315_14.min1.thm1.tptp2017-02-06 16:47 447  
[ ]ordinal3__1323_14.min1.thm12017-02-06 12:46 761  
[ ]ordinal3__1324_15.min1.thm12017-02-06 12:46 640  
[ ]ordinal3__1324_15.min1.thm1.tptp2017-02-06 16:47 631  
[ ]ordinal3__1325_13.min1.thm12017-02-06 12:46 131  
[ ]ordinal3__1329_13.min1.thm12017-02-06 12:46 131  
[ ]ordinal3__1330_14.min1.thm12017-02-06 12:46 861  
[ ]ordinal3__1331_15.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1338_13.min1.thm12017-02-06 12:46 713  
[ ]ordinal3__1345_16.min1.thm12017-02-06 12:46 692  
[ ]ordinal3__1346_17.min1.thm12017-02-06 12:46 778  
[ ]ordinal3__1352_14.min1.thm12017-02-06 12:46 482  
[ ]ordinal3__1353_17.min1.thm12017-02-06 12:46 810  
[ ]ordinal3__1362_11.min1.thm12017-02-06 12:46 692  
[ ]ordinal3__1363_16.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1365_20.min1.thm12017-02-06 12:46 778  
[ ]ordinal3__1366_11.min1.thm12017-02-06 12:46 739  
[ ]ordinal3__1367_23.min1.thm12017-02-06 12:46 778  
[ ]ordinal3__1368_17.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1374_14.min1.thm12017-02-06 12:46 333  
[ ]ordinal3__1374_14.min1.thm1.tptp2017-02-06 16:47 256  
[ ]ordinal3__1375_17.min1.thm12017-02-06 12:46 933  
[ ]ordinal3__1382_22.min1.thm12017-02-06 12:46 849  
[ ]ordinal3__1383_17.min1.thm12017-02-06 12:46 669  
[ ]ordinal3__1389_16.min1.thm12017-02-06 12:46 333  
[ ]ordinal3__1389_16.min1.thm1.tptp2017-02-06 16:47 256  
[ ]ordinal3__1390_12.min1.thm12017-02-06 12:46 547  
[ ]ordinal3__1391_20.min1.thm12017-02-06 12:46 894  
[ ]ordinal3__1392_24.min1.thm12017-02-06 12:46 213  
[ ]ordinal3__1393_26.min1.thm12017-02-06 12:46 963  
[ ]ordinal3__1394_17.min1.thm12017-02-06 12:46 919  
[ ]ordinal3__1401_13.min1.thm12017-02-06 12:46 285  
[ ]ordinal3__1404_35.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1405_37.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1406_35.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1407_21.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1413_29.min1.thm12017-02-06 12:46 945  
[ ]ordinal3__1414_29.min1.thm12017-02-06 12:46 886  
[ ]ordinal3__1416_26.min1.thm12017-02-06 12:46 227  
[ ]ordinal3__1418_35.min1.thm12017-02-06 12:46 765  
[ ]ordinal3__1419_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1420_21.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1423_14.min1.thm12017-02-06 12:46 454  
[ ]ordinal3__1432_20.min1.thm12017-02-06 12:46 778  
[ ]ordinal3__1437_20.min1.thm12017-02-06 12:46 782  
[ ]ordinal3__1438_13.min1.thm12017-02-06 12:46 757  
[ ]ordinal3__1439_33.min1.thm12017-02-06 12:46 967  
[ ]ordinal3__1440_43.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__1441_33.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__1442_19.min1.thm12017-02-06 12:46 874  
[ ]ordinal3__1446_21.min1.thm12017-02-06 12:46 751  
[ ]ordinal3__1447_19.min1.thm12017-02-06 12:46 945  
[ ]ordinal3__1449_17.min1.thm12017-02-06 12:46 597  
[ ]ordinal3__1449_17.min1.thm1.tptp2017-02-06 16:47 508  
[ ]ordinal3__1461_20.min1.thm12017-02-06 12:46 782  
[ ]ordinal3__1462_13.min1.thm12017-02-06 12:46 757  
[ ]ordinal3__1463_34.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1464_19.min1.thm12017-02-06 12:46 914  
[ ]ordinal3__1468_21.min1.thm12017-02-06 12:46 751  
[ ]ordinal3__1469_19.min1.thm12017-02-06 12:46 945  
[ ]ordinal3__1471_17.min1.thm12017-02-06 12:46 597  
[ ]ordinal3__1471_17.min1.thm1.tptp2017-02-06 16:47 508  
[ ]ordinal3__1479_18.min1.thm12017-02-06 12:46 463  
[ ]ordinal3__1480_33.min1.thm12017-02-06 12:46 717  
[ ]ordinal3__1481_17.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__1487_18.min1.thm12017-02-06 12:46 463  
[ ]ordinal3__1488_14.min1.thm12017-02-06 12:46 482  
[ ]ordinal3__1489_17.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1496_13.min1.thm12017-02-06 12:46 225  
[ ]ordinal3__1499_21.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1503_23.min1.thm12017-02-06 12:46 759  
[ ]ordinal3__1504_21.min1.thm12017-02-06 12:46 765  
[ ]ordinal3__1507_14.min1.thm12017-02-06 12:46 364  
[ ]ordinal3__1517_33.min1.thm12017-02-06 12:46 741  
[ ]ordinal3__1518_17.min1.thm12017-02-06 12:46 340  
[ ]ordinal3__1518_17.min1.thm1.tptp2017-02-06 16:47 263  
[ ]ordinal3__1519_17.min1.thm12017-02-06 12:46 340  
[ ]ordinal3__1519_17.min1.thm1.tptp2017-02-06 16:47 263  
[ ]ordinal3__1520_16.min1.thm12017-02-06 12:46 751  
[ ]ordinal3__1521_19.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal3__1525_25.min1.thm12017-02-06 12:46 782  
[ ]ordinal3__1526_34.min1.thm12017-02-06 12:46 936  
[ ]ordinal3__1527_19.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1529_17.min1.thm12017-02-06 12:46 828  
[ ]ordinal3__1529_17.min1.thm1.tptp2017-02-06 16:47 745  
[ ]ordinal3__1536_13.min1.thm12017-02-06 12:46 191  
[ ]ordinal3__1539_51.min1.thm12017-02-06 12:46 901  
[ ]ordinal3__1540_21.min1.thm12017-02-06 12:46 948  
[ ]ordinal3__1544_27.min1.thm12017-02-06 12:46 678  
[ ]ordinal3__1545_32.min1.thm12017-02-06 12:46 473  
[ ]ordinal3__1546_21.min1.thm12017-02-06 12:46 806  
[ ]ordinal3__1549_14.min1.thm12017-02-06 12:46 364  
[ ]ordinal3__1555_23.min1.thm12017-02-06 12:46 489  
[ ]ordinal3__1556_17.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__1565_22.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__1566_17.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1572_36.min1.thm12017-02-06 12:46 555  
[ ]ordinal3__1575_17.min1.thm12017-02-06 12:46 552  
[ ]ordinal3__1577_44.min1.thm12017-02-06 12:46 889  
[ ]ordinal3__1579_25.min1.thm12017-02-06 12:46 936  
[ ]ordinal3__1581_31.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal3__1590_14.min1.thm12017-02-06 12:46 392  
[ ]ordinal3__1591_20.min1.thm12017-02-06 12:46 573  
[ ]ordinal3__1592_17.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__1598_17.min1.thm12017-02-06 12:46 338  
[ ]ordinal3__1598_17.min1.thm1.tptp2017-02-06 16:47 261  
[ ]ordinal3__1599_22.min1.thm12017-02-06 12:46 571  
[ ]ordinal3__1600_30.min1.thm12017-02-06 12:46 751  
[ ]ordinal3__1601_17.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal3__1607_21.min1.thm12017-02-06 12:46 187  
[ ]ordinal3__1608_15.min1.thm12017-02-06 12:46 338  
[ ]ordinal3__1608_15.min1.thm1.tptp2017-02-06 16:47 261  
[ ]ordinal3__1609_25.min1.thm12017-02-06 12:46 889  
[ ]ordinal3__1610_24.min1.thm12017-02-06 12:46 873  
[ ]ordinal3__1611_27.min1.thm12017-02-06 12:46 757  
[ ]ordinal3__1612_11.min1.thm12017-02-06 12:46 375  
[ ]ordinal3__1612_11.min1.thm1.tptp2017-02-06 16:47 304  
[ ]ordinal3__1618_15.min1.thm12017-02-06 12:46 349  
[ ]ordinal3__1618_15.min1.thm1.tptp2017-02-06 16:47 278  
[ ]ordinal3__1619_16.min1.thm12017-02-06 12:46 333  
[ ]ordinal3__1619_16.min1.thm1.tptp2017-02-06 16:47 256  
[ ]ordinal3__1620_14.min1.thm12017-02-06 12:46 733  
[ ]ordinal3__1621_23.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__1623_12.min1.thm12017-02-06 12:46 333  
[ ]ordinal3__1623_12.min1.thm1.tptp2017-02-06 16:47 256  
[ ]ordinal3__1632_41.min1.thm12017-02-06 12:46 251  
[ ]ordinal3__1638_39.min1.thm12017-02-06 12:46 375  
[ ]ordinal3__1638_39.min1.thm1.tptp2017-02-06 16:47 310  
[ ]ordinal3__1639_13.min1.thm12017-02-06 12:46 786  
[ ]ordinal3__1640_19.min1.thm12017-02-06 12:46 687  
[ ]ordinal3__1642_17.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1656_21.min1.thm12017-02-06 12:46 323  
[ ]ordinal3__1663_16.min1.thm12017-02-06 12:46 802  
[ ]ordinal3__1664_30.min1.thm12017-02-06 12:46 778  
[ ]ordinal3__1665_16.min1.thm12017-02-06 12:46 565  
[ ]ordinal3__1666_19.min1.thm12017-02-06 12:46 599  
[ ]ordinal3__1676_17.min1.thm12017-02-06 12:46 677  
[ ]ordinal3__1677_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1678_17.min1.thm12017-02-06 12:46 918  
[ ]ordinal3__1688_16.min1.thm12017-02-06 12:46 482  
[ ]ordinal3__1689_14.min1.thm12017-02-06 12:46 482  
[ ]ordinal3__1690_17.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__1698_24.min1.thm12017-02-06 12:46 225  
[ ]ordinal3__1699_40.min1.thm12017-02-06 12:46 825  
[ ]ordinal3__1700_26.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1709_49.min1.thm12017-02-06 12:46 436  
[ ]ordinal3__1709_49.min1.thm1.tptp2017-02-06 16:47 355  
[ ]ordinal3__1710_27.min1.thm12017-02-06 12:46 803  
[ ]ordinal3__1711_21.min1.thm12017-02-06 12:46 801  
[ ]ordinal3__1713_12.min1.thm12017-02-06 12:46 500  
[ ]ordinal3__1715_16.min1.thm12017-02-06 12:46 282  
[ ]ordinal3__1727_17.min1.thm12017-02-06 12:46 465  
[ ]ordinal3__1729_16.min1.thm12017-02-06 12:46 567  
[ ]ordinal3__1730_12.min1.thm12017-02-06 12:46 465  
[ ]ordinal3__1731_19.min1.thm12017-02-06 12:46 567  
[ ]ordinal3__1732_17.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__1751_48.min1.thm12017-02-06 12:46 884  
[ ]ordinal3__1752_32.min1.thm12017-02-06 12:46 953  
[ ]ordinal3__1753_23.min1.thm12017-02-06 12:46 597  
[ ]ordinal3__1753_23.min1.thm1.tptp2017-02-06 16:47 518  
[ ]ordinal3__1755_30.min1.thm12017-02-06 12:46 627  
[ ]ordinal3__1756_26.min1.thm12017-02-06 12:46 509  
[ ]ordinal3__1758_11.min1.thm12017-02-06 12:46 493  
[ ]ordinal3__1758_11.min1.thm1.tptp2017-02-06 16:47 414  
[ ]ordinal3__1760_24.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal3__1762_16.min1.thm12017-02-06 12:46 390  
[ ]ordinal3__1762_16.min1.thm1.tptp2017-02-06 16:47 313  
[ ]ordinal3__1763_17.min1.thm12017-02-06 12:46 390  
[ ]ordinal3__1763_17.min1.thm1.tptp2017-02-06 16:47 313  
[ ]ordinal3__1765_9.min1.thm12017-02-06 12:46 348  
[ ]ordinal3__1786_49.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__1787_33.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal3__1788_33.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal3__1789_35.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal3__1790_33.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal3__1791_37.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__1792_35.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal3__1793_23.min1.thm12017-02-06 12:46 671  
[ ]ordinal3__1793_23.min1.thm1.tptp2017-02-06 16:47 592  
[ ]ordinal3__1795_24.min1.thm12017-02-06 12:46 613  
[ ]ordinal3__1796_20.min1.thm12017-02-06 12:46 701  
[ ]ordinal3__1797_23.min1.thm12017-02-06 12:46 451  
[ ]ordinal3__1797_23.min1.thm1.tptp2017-02-06 16:47 374  
[ ]ordinal3__1799_11.min1.thm12017-02-06 12:46 517  
[ ]ordinal3__1799_11.min1.thm1.tptp2017-02-06 16:47 438  
[ ]ordinal3__1801_24.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal3__1803_17.min1.thm12017-02-06 12:46 391  
[ ]ordinal3__1803_17.min1.thm1.tptp2017-02-06 16:47 314  
[ ]ordinal3__1804_17.min1.thm12017-02-06 12:46 391  
[ ]ordinal3__1804_17.min1.thm1.tptp2017-02-06 16:47 314  
[ ]ordinal3__1806_9.min1.thm12017-02-06 12:46 348  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80