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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal5__44_13.min1.thm12017-02-06 12:46 614  
[ ]ordinal5__45_23.min1.thm12017-02-06 12:46 266  
[ ]ordinal5__46_18.min1.thm12017-02-06 12:46 757  
[ ]ordinal5__52_11.min1.thm12017-02-06 12:46 449  
[ ]ordinal5__57_15.min1.thm12017-02-06 12:46 654  
[ ]ordinal5__67_15.min1.thm12017-02-06 12:46 457  
[ ]ordinal5__77_26.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__78_20.min1.thm12017-02-06 12:46 2.2K 
[ ]ordinal5__79_16.min1.thm12017-02-06 12:46 624  
[ ]ordinal5__84_26.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__85_20.min1.thm12017-02-06 12:46 2.3K 
[ ]ordinal5__86_16.min1.thm12017-02-06 12:46 624  
[ ]ordinal5__97_16.min1.thm12017-02-06 12:46 474  
[ ]ordinal5__98_17.min1.thm12017-02-06 12:46 959  
[ ]ordinal5__105_50.min1.thm12017-02-06 12:46 660  
[ ]ordinal5__106_18.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__109_27.min1.thm12017-02-06 12:46 671  
[ ]ordinal5__113_25.min1.thm12017-02-06 12:46 374  
[ ]ordinal5__114_26.min1.thm12017-02-06 12:46 745  
[ ]ordinal5__124_31.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__125_22.min1.thm12017-02-06 12:46 891  
[ ]ordinal5__130_31.min1.thm12017-02-06 12:46 618  
[ ]ordinal5__131_32.min1.thm12017-02-06 12:46 723  
[ ]ordinal5__132_29.min1.thm12017-02-06 12:46 2.3K 
[ ]ordinal5__133_21.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__137_29.min1.thm12017-02-06 12:46 610  
[ ]ordinal5__138_30.min1.thm12017-02-06 12:46 711  
[ ]ordinal5__141_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__153_29.min1.thm12017-02-06 12:46 734  
[ ]ordinal5__154_21.min1.thm12017-02-06 12:46 528  
[ ]ordinal5__157_27.min1.thm12017-02-06 12:46 732  
[ ]ordinal5__158_19.min1.thm12017-02-06 12:46 524  
[ ]ordinal5__178_45.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__179_19.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__186_45.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__187_19.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__195_42.min1.thm12017-02-06 12:46 630  
[ ]ordinal5__196_19.min1.thm12017-02-06 12:46 753  
[ ]ordinal5__207_34.min1.thm12017-02-06 12:46 898  
[ ]ordinal5__208_15.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__210_26.min1.thm12017-02-06 12:46 656  
[ ]ordinal5__212_40.min1.thm12017-02-06 12:46 808  
[ ]ordinal5__213_30.min1.thm12017-02-06 12:46 627  
[ ]ordinal5__214_22.min1.thm12017-02-06 12:46 847  
[ ]ordinal5__215_36.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__216_36.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal5__223_49.min1.thm12017-02-06 12:46 575  
[ ]ordinal5__224_22.min1.thm12017-02-06 12:46 574  
[ ]ordinal5__235_15.min1.thm12017-02-06 12:46 757  
[ ]ordinal5__236_12.min1.thm12017-02-06 12:46 351  
[ ]ordinal5__236_12.min1.thm1.tptp2017-02-06 16:47 286  
[ ]ordinal5__237_19.min1.thm12017-02-06 12:46 325  
[ ]ordinal5__237_19.min1.thm1.tptp2017-02-06 16:47 242  
[ ]ordinal5__246_34.min1.thm12017-02-06 12:46 818  
[ ]ordinal5__248_6.min1.thm12017-02-06 12:46 792  
[ ]ordinal5__249_27.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__259_27.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__270_13.min1.thm12017-02-06 12:46 211  
[ ]ordinal5__273_34.min1.thm12017-02-06 12:46 738  
[ ]ordinal5__275_21.min1.thm12017-02-06 12:46 752  
[ ]ordinal5__276_23.min1.thm12017-02-06 12:46 877  
[ ]ordinal5__282_30.min1.thm12017-02-06 12:46 758  
[ ]ordinal5__283_32.min1.thm12017-02-06 12:46 820  
[ ]ordinal5__284_32.min1.thm12017-02-06 12:46 445  
[ ]ordinal5__284_32.min1.thm1.tptp2017-02-06 16:47 359  
[ ]ordinal5__287_24.min1.thm12017-02-06 12:46 743  
[ ]ordinal5__288_24.min1.thm12017-02-06 12:46 706  
[ ]ordinal5__289_19.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__290_23.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__291_21.min1.thm12017-02-06 12:46 741  
[ ]ordinal5__292_23.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__293_23.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__301_18.min1.thm12017-02-06 12:46 520  
[ ]ordinal5__302_42.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__303_48.min1.thm12017-02-06 12:46 546  
[ ]ordinal5__304_17.min1.thm12017-02-06 12:46 309  
[ ]ordinal5__304_17.min1.thm1.tptp2017-02-06 16:47 228  
[ ]ordinal5__305_47.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__306_19.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal5__316_17.min1.thm12017-02-06 12:46 799  
[ ]ordinal5__317_47.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__318_19.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__324_16.min1.thm12017-02-06 12:46 422  
[ ]ordinal5__326_21.min1.thm12017-02-06 12:46 729  
[ ]ordinal5__331_11.min1.thm12017-02-06 12:46 414  
[ ]ordinal5__334_39.min1.thm12017-02-06 12:46 568  
[ ]ordinal5__335_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__344_27.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__345_30.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__346_32.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__347_30.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__351_35.min1.thm12017-02-06 12:46 874  
[ ]ordinal5__352_36.min1.thm12017-02-06 12:46 855  
[ ]ordinal5__353_29.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__354_59.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__355_30.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__356_31.min1.thm12017-02-06 12:46 2.7K 
[ ]ordinal5__357_37.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__359_21.min1.thm12017-02-06 12:46 861  
[ ]ordinal5__362_21.min1.thm12017-02-06 12:46 489  
[ ]ordinal5__372_38.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__373_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__384_26.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__385_28.min1.thm12017-02-06 12:46 924  
[ ]ordinal5__386_22.min1.thm12017-02-06 12:46 778  
[ ]ordinal5__386_53.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__389_30.min1.thm12017-02-06 12:46 780  
[ ]ordinal5__390_32.min1.thm12017-02-06 12:46 775  
[ ]ordinal5__392_20.min1.thm12017-02-06 12:46 688  
[ ]ordinal5__393_27.min1.thm12017-02-06 12:46 787  
[ ]ordinal5__397_17.min1.thm12017-02-06 12:46 632  
[ ]ordinal5__398_26.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__405_27.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__406_27.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__470_16.min1.thm12017-02-06 12:46 486  
[ ]ordinal5__470_16.min1.thm1.tptp2017-02-06 16:47 409  
[ ]ordinal5__498_16.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__499_38.min1.thm12017-02-06 12:46 915  
[ ]ordinal5__499_59.min1.thm12017-02-06 12:46 384  
[ ]ordinal5__499_59.min1.thm1.tptp2017-02-06 16:47 307  
[ ]ordinal5__500_14.min1.thm12017-02-06 12:46 354  
[ ]ordinal5__500_14.min1.thm1.tptp2017-02-06 16:47 283  
[ ]ordinal5__507_12.min1.thm12017-02-06 12:46 702  
[ ]ordinal5__512_39.min1.thm12017-02-06 12:46 903  
[ ]ordinal5__513_13.min1.thm12017-02-06 12:46 661  
[ ]ordinal5__525_26.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__531_33.min1.thm12017-02-06 12:46 684  
[ ]ordinal5__532_34.min1.thm12017-02-06 12:46 792  
[ ]ordinal5__533_23.min1.thm12017-02-06 12:46 713  
[ ]ordinal5__534_15.min1.thm12017-02-06 12:46 822  
[ ]ordinal5__535_27.min1.thm12017-02-06 12:46 331  
[ ]ordinal5__535_27.min1.thm1.tptp2017-02-06 16:47 266  
[ ]ordinal5__538_20.min1.thm12017-02-06 12:46 253  
[ ]ordinal5__538_20.min1.thm1.tptp2017-02-06 16:47 164  
[ ]ordinal5__542_31.min1.thm12017-02-06 12:46 437  
[ ]ordinal5__543_39.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__546_25.min1.thm12017-02-06 12:46 725  
[ ]ordinal5__547_38.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__550_27.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__553_16.min1.thm12017-02-06 12:46 315  
[ ]ordinal5__553_16.min1.thm1.tptp2017-02-06 16:47 238  
[ ]ordinal5__559_14.min1.thm12017-02-06 12:46 193  
[ ]ordinal5__560_38.min1.thm12017-02-06 12:46 901  
[ ]ordinal5__560_59.min1.thm12017-02-06 12:46 381  
[ ]ordinal5__560_59.min1.thm1.tptp2017-02-06 16:47 304  
[ ]ordinal5__566_14.min1.thm12017-02-06 12:46 193  
[ ]ordinal5__567_38.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__567_66.min1.thm12017-02-06 12:46 428  
[ ]ordinal5__567_66.min1.thm1.tptp2017-02-06 16:47 351  
[ ]ordinal5__574_11.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal5__582_33.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__583_23.min1.thm12017-02-06 12:46 2.1K 
[ ]ordinal5__584_15.min1.thm12017-02-06 12:46 451  
[ ]ordinal5__585_58.min1.thm12017-02-06 12:46 2.0K 
[ ]ordinal5__586_23.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__586_39.min1.thm12017-02-06 12:46 537  
[ ]ordinal5__596_33.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__597_22.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__598_16.min1.thm12017-02-06 12:46 952  
[ ]ordinal5__600_36.min1.thm12017-02-06 12:46 503  
[ ]ordinal5__601_18.min1.thm12017-02-06 12:46 922  
[ ]ordinal5__610_14.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__611_23.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__615_45.min1.thm12017-02-06 12:46 564  
[ ]ordinal5__616_38.min1.thm12017-02-06 12:46 905  
[ ]ordinal5__619_25.min1.thm12017-02-06 12:46 970  
[ ]ordinal5__620_22.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__622_27.min1.thm12017-02-06 12:46 924  
[ ]ordinal5__625_24.min1.thm12017-02-06 12:46 787  
[ ]ordinal5__629_35.min1.thm12017-02-06 12:46 912  
[ ]ordinal5__642_26.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__643_55.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__644_25.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__646_33.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__647_25.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__648_28.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__653_51.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__654_22.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__656_33.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__660_40.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__661_33.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__664_30.min1.thm12017-02-06 12:46 813  
[ ]ordinal5__669_21.min1.thm12017-02-06 12:46 802  
[ ]ordinal5__680_13.min1.thm12017-02-06 12:46 750  
[ ]ordinal5__681_38.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__689_8.min1.thm12017-02-06 12:46 487  
[ ]ordinal5__692_41.min1.thm12017-02-06 12:46 544  
[ ]ordinal5__693_18.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__696_20.min1.thm12017-02-06 12:46 434  
[ ]ordinal5__698_26.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__699_42.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__700_25.min1.thm12017-02-06 12:46 792  
[ ]ordinal5__704_25.min1.thm12017-02-06 12:46 407  
[ ]ordinal5__705_25.min1.thm12017-02-06 12:46 828  
[ ]ordinal5__718_33.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__719_32.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__720_23.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__722_35.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__723_23.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__724_26.min1.thm12017-02-06 12:46 927  
[ ]ordinal5__728_22.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__729_53.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__730_23.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__734_19.min1.thm12017-02-06 12:46 520  
[ ]ordinal5__739_36.min1.thm12017-02-06 12:46 568  
[ ]ordinal5__741_16.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal5__744_17.min1.thm12017-02-06 12:46 322  
[ ]ordinal5__744_17.min1.thm1.tptp2017-02-06 16:47 245  
[ ]ordinal5__745_11.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__748_42.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__749_74.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__751_21.min1.thm12017-02-06 12:46 3.4K 
[ ]ordinal5__754_8.min1.thm12017-02-06 12:46 2.5K 
[ ]ordinal5__757_41.min1.thm12017-02-06 12:46 2.0K 
[ ]ordinal5__761_19.min1.thm12017-02-06 12:46 586  
[ ]ordinal5__776_17.min1.thm12017-02-06 12:46 799  
[ ]ordinal5__777_41.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__778_42.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__779_19.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__786_18.min1.thm12017-02-06 12:46 885  
[ ]ordinal5__787_13.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__788_10.min1.thm12017-02-06 12:46 565  
[ ]ordinal5__789_47.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__790_20.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__791_26.min1.thm12017-02-06 12:46 464  
[ ]ordinal5__797_19.min1.thm12017-02-06 12:46 523  
[ ]ordinal5__798_11.min1.thm12017-02-06 12:46 568  
[ ]ordinal5__802_55.min1.thm12017-02-06 12:46 701  
[ ]ordinal5__803_21.min1.thm12017-02-06 12:46 439  
[ ]ordinal5__804_35.min1.thm12017-02-06 12:46 739  
[ ]ordinal5__804_61.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__805_21.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__815_22.min1.thm12017-02-06 12:46 463  
[ ]ordinal5__816_16.min1.thm12017-02-06 12:46 549  
[ ]ordinal5__826_11.min1.thm12017-02-06 12:46 723  
[ ]ordinal5__829_35.min1.thm12017-02-06 12:46 296  
[ ]ordinal5__830_21.min1.thm12017-02-06 12:46 459  
[ ]ordinal5__831_32.min1.thm12017-02-06 12:46 851  
[ ]ordinal5__832_18.min1.thm12017-02-06 12:46 656  
[ ]ordinal5__835_16.min1.thm12017-02-06 12:46 357  
[ ]ordinal5__835_16.min1.thm1.tptp2017-02-06 16:47 276  
[ ]ordinal5__845_11.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__849_21.min1.thm12017-02-06 12:46 439  
[ ]ordinal5__850_40.min1.thm12017-02-06 12:46 735  
[ ]ordinal5__850_67.min1.thm12017-02-06 12:46 674  
[ ]ordinal5__851_30.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__852_19.min1.thm12017-02-06 12:46 548  
[ ]ordinal5__853_22.min1.thm12017-02-06 12:46 710  
[ ]ordinal5__854_21.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__857_16.min1.thm12017-02-06 12:46 374  
[ ]ordinal5__857_16.min1.thm1.tptp2017-02-06 16:47 291  
[ ]ordinal5__873_33.min1.thm12017-02-06 12:46 660  
[ ]ordinal5__874_41.min1.thm12017-02-06 12:46 598  
[ ]ordinal5__875_21.min1.thm12017-02-06 12:46 881  
[ ]ordinal5__876_21.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__878_29.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__880_22.min1.thm12017-02-06 12:46 292  
[ ]ordinal5__880_22.min1.thm1.tptp2017-02-06 16:47 203  
[ ]ordinal5__883_45.min1.thm12017-02-06 12:46 365  
[ ]ordinal5__883_45.min1.thm1.tptp2017-02-06 16:47 287  
[ ]ordinal5__884_45.min1.thm12017-02-06 12:46 935  
[ ]ordinal5__885_14.min1.thm12017-02-06 12:46 725  
[ ]ordinal5__886_15.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__890_45.min1.thm12017-02-06 12:46 583  
[ ]ordinal5__891_29.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__892_36.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal5__893_25.min1.thm12017-02-06 12:46 698  
[ ]ordinal5__894_38.min1.thm12017-02-06 12:46 2.0K 
[ ]ordinal5__897_33.min1.thm12017-02-06 12:46 814  
[ ]ordinal5__911_41.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__912_14.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__913_36.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__914_21.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__916_51.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__922_31.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__923_22.min1.thm12017-02-06 12:46 869  
[ ]ordinal5__924_16.min1.thm12017-02-06 12:46 952  
[ ]ordinal5__927_39.min1.thm12017-02-06 12:46 640  
[ ]ordinal5__927_70.min1.thm12017-02-06 12:46 403  
[ ]ordinal5__938_15.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__939_28.min1.thm12017-02-06 12:46 924  
[ ]ordinal5__940_24.min1.thm12017-02-06 12:46 628  
[ ]ordinal5__941_41.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__944_37.min1.thm12017-02-06 12:46 966  
[ ]ordinal5__945_41.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__947_29.min1.thm12017-02-06 12:46 906  
[ ]ordinal5__952_32.min1.thm12017-02-06 12:46 887  
[ ]ordinal5__954_33.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__955_34.min1.thm12017-02-06 12:46 829  
[ ]ordinal5__956_43.min1.thm12017-02-06 12:46 653  
[ ]ordinal5__957_36.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__958_27.min1.thm12017-02-06 12:46 761  
[ ]ordinal5__959_57.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal5__960_28.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__961_26.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__962_23.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__964_50.min1.thm12017-02-06 12:46 725  
[ ]ordinal5__972_28.min1.thm12017-02-06 12:46 786  
[ ]ordinal5__974_12.min1.thm12017-02-06 12:46 403  
[ ]ordinal5__974_12.min1.thm1.tptp2017-02-06 16:47 325  
[ ]ordinal5__978_49.min1.thm12017-02-06 12:46 710  
[ ]ordinal5__979_61.min1.thm12017-02-06 12:46 599  
[ ]ordinal5__980_24.min1.thm12017-02-06 12:46 915  
[ ]ordinal5__991_51.min1.thm12017-02-06 12:46 794  
[ ]ordinal5__992_33.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__993_28.min1.thm12017-02-06 12:46 814  
[ ]ordinal5__994_33.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1000_10.min1.thm12017-02-06 12:46 663  
[ ]ordinal5__1001_27.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1005_36.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1006_20.min1.thm12017-02-06 12:46 724  
[ ]ordinal5__1007_18.min1.thm12017-02-06 12:46 932  
[ ]ordinal5__1008_30.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1009_36.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1012_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1015_36.min1.thm12017-02-06 12:46 745  
[ ]ordinal5__1020_19.min1.thm12017-02-06 12:46 363  
[ ]ordinal5__1035_21.min1.thm12017-02-06 12:46 955  
[ ]ordinal5__1036_29.min1.thm12017-02-06 12:46 946  
[ ]ordinal5__1045_30.min1.thm12017-02-06 12:46 751  
[ ]ordinal5__1046_34.min1.thm12017-02-06 12:46 651  
[ ]ordinal5__1049_19.min1.thm12017-02-06 12:46 348  
[ ]ordinal5__1049_19.min1.thm1.tptp2017-02-06 16:47 265  
[ ]ordinal5__1050_41.min1.thm12017-02-06 12:46 685  
[ ]ordinal5__1051_16.min1.thm12017-02-06 12:46 718  
[ ]ordinal5__1057_40.min1.thm12017-02-06 12:46 346  
[ ]ordinal5__1057_40.min1.thm1.tptp2017-02-06 16:47 268  
[ ]ordinal5__1059_16.min1.thm12017-02-06 12:46 312  
[ ]ordinal5__1062_23.min1.thm12017-02-06 12:46 349  
[ ]ordinal5__1062_23.min1.thm1.tptp2017-02-06 16:47 268  
[ ]ordinal5__1063_34.min1.thm12017-02-06 12:46 780  
[ ]ordinal5__1064_25.min1.thm12017-02-06 12:46 707  
[ ]ordinal5__1067_12.min1.thm12017-02-06 12:46 484  
[ ]ordinal5__1068_20.min1.thm12017-02-06 12:46 396  
[ ]ordinal5__1068_20.min1.thm1.tptp2017-02-06 16:47 314  
[ ]ordinal5__1076_38.min1.thm12017-02-06 12:46 684  
[ ]ordinal5__1077_20.min1.thm12017-02-06 12:46 610  
[ ]ordinal5__1078_25.min1.thm12017-02-06 12:46 373  
[ ]ordinal5__1078_25.min1.thm1.tptp2017-02-06 16:47 308  
[ ]ordinal5__1080_22.min1.thm12017-02-06 12:46 378  
[ ]ordinal5__1080_22.min1.thm1.tptp2017-02-06 16:47 300  
[ ]ordinal5__1082_24.min1.thm12017-02-06 12:46 589  
[ ]ordinal5__1084_60.min1.thm12017-02-06 12:46 489  
[ ]ordinal5__1084_60.min1.thm1.tptp2017-02-06 16:47 424  
[ ]ordinal5__1092_22.min1.thm12017-02-06 12:46 268  
[ ]ordinal5__1093_42.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1097_40.min1.thm12017-02-06 12:46 346  
[ ]ordinal5__1097_40.min1.thm1.tptp2017-02-06 16:47 268  
[ ]ordinal5__1099_15.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__1104_42.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__1105_66.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1106_58.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__1110_12.min1.thm12017-02-06 12:46 724  
[ ]ordinal5__1111_20.min1.thm12017-02-06 12:46 678  
[ ]ordinal5__1111_20.min1.thm1.tptp2017-02-06 16:47 592  
[ ]ordinal5__1117_16.min1.thm12017-02-06 12:46 381  
[ ]ordinal5__1118_25.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1119_28.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1120_30.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1124_37.min1.thm12017-02-06 12:46 675  
[ ]ordinal5__1125_43.min1.thm12017-02-06 12:46 578  
[ ]ordinal5__1126_48.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal5__1127_49.min1.thm12017-02-06 12:46 2.0K 
[ ]ordinal5__1128_36.min1.thm12017-02-06 12:46 875  
[ ]ordinal5__1130_34.min1.thm12017-02-06 12:46 763  
[ ]ordinal5__1131_38.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__1137_40.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__1138_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1140_24.min1.thm12017-02-06 12:46 2.1K 
[ ]ordinal5__1141_26.min1.thm12017-02-06 12:46 804  
[ ]ordinal5__1147_35.min1.thm12017-02-06 12:46 536  
[ ]ordinal5__1149_31.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1151_33.min1.thm12017-02-06 12:46 795  
[ ]ordinal5__1152_34.min1.thm12017-02-06 12:46 844  
[ ]ordinal5__1154_36.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1155_34.min1.thm12017-02-06 12:46 807  
[ ]ordinal5__1157_26.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1159_10.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal5__1160_49.min1.thm12017-02-06 12:46 2.1K 
[ ]ordinal5__1161_23.min1.thm12017-02-06 12:46 2.0K 
[ ]ordinal5__1163_41.min1.thm12017-02-06 12:46 595  
[ ]ordinal5__1170_36.min1.thm12017-02-06 12:46 676  
[ ]ordinal5__1171_43.min1.thm12017-02-06 12:46 567  
[ ]ordinal5__1173_19.min1.thm12017-02-06 12:46 511  
[ ]ordinal5__1174_19.min1.thm12017-02-06 12:46 777  
[ ]ordinal5__1175_16.min1.thm12017-02-06 12:46 769  
[ ]ordinal5__1177_41.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1178_28.min1.thm12017-02-06 12:46 775  
[ ]ordinal5__1179_25.min1.thm12017-02-06 12:46 642  
[ ]ordinal5__1182_12.min1.thm12017-02-06 12:46 521  
[ ]ordinal5__1183_23.min1.thm12017-02-06 12:46 588  
[ ]ordinal5__1185_44.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1186_29.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1214_30.min1.thm12017-02-06 12:46 751  
[ ]ordinal5__1215_34.min1.thm12017-02-06 12:46 651  
[ ]ordinal5__1221_34.min1.thm12017-02-06 12:46 630  
[ ]ordinal5__1222_20.min1.thm12017-02-06 12:46 732  
[ ]ordinal5__1223_26.min1.thm12017-02-06 12:46 654  
[ ]ordinal5__1227_38.min1.thm12017-02-06 12:46 330  
[ ]ordinal5__1227_38.min1.thm1.tptp2017-02-06 16:47 252  
[ ]ordinal5__1229_13.min1.thm12017-02-06 12:46 713  
[ ]ordinal5__1233_38.min1.thm12017-02-06 12:46 797  
[ ]ordinal5__1234_33.min1.thm12017-02-06 12:46 864  
[ ]ordinal5__1235_29.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1236_23.min1.thm12017-02-06 12:46 2.0K 
[ ]ordinal5__1239_10.min1.thm12017-02-06 12:46 492  
[ ]ordinal5__1240_18.min1.thm12017-02-06 12:46 396  
[ ]ordinal5__1240_18.min1.thm1.tptp2017-02-06 16:47 310  
[ ]ordinal5__1247_35.min1.thm12017-02-06 12:46 699  
[ ]ordinal5__1250_11.min1.thm12017-02-06 12:46 362  
[ ]ordinal5__1256_54.min1.thm12017-02-06 12:46 766  
[ ]ordinal5__1257_44.min1.thm12017-02-06 12:46 821  
[ ]ordinal5__1258_24.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1260_10.min1.thm12017-02-06 12:46 2.1K 
[ ]ordinal5__1261_23.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__1271_21.min1.thm12017-02-06 12:46 654  
[ ]ordinal5__1272_45.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1276_21.min1.thm12017-02-06 12:46 876  
[ ]ordinal5__1283_7.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1285_7.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1286_35.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1292_39.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1293_22.min1.thm12017-02-06 12:46 899  
[ ]ordinal5__1295_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1296_23.min1.thm12017-02-06 12:46 778  
[ ]ordinal5__1302_34.min1.thm12017-02-06 12:46 722  
[ ]ordinal5__1304_30.min1.thm12017-02-06 12:46 949  
[ ]ordinal5__1306_32.min1.thm12017-02-06 12:46 739  
[ ]ordinal5__1307_33.min1.thm12017-02-06 12:46 792  
[ ]ordinal5__1309_31.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1311_34.min1.thm12017-02-06 12:46 740  
[ ]ordinal5__1312_33.min1.thm12017-02-06 12:46 794  
[ ]ordinal5__1313_25.min1.thm12017-02-06 12:46 877  
[ ]ordinal5__1315_9.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__1316_36.min1.thm12017-02-06 12:46 729  
[ ]ordinal5__1317_35.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1318_41.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__1319_22.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1320_22.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1322_24.min1.thm12017-02-06 12:46 950  
[ ]ordinal5__1323_39.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__1324_22.min1.thm12017-02-06 12:46 869  
[ ]ordinal5__1341_47.min1.thm12017-02-06 12:46 862  
[ ]ordinal5__1350_42.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1351_25.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1352_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1355_37.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1359_26.min1.thm12017-02-06 12:46 302  
[ ]ordinal5__1360_29.min1.thm12017-02-06 12:46 317  
[ ]ordinal5__1367_36.min1.thm12017-02-06 12:46 562  
[ ]ordinal5__1368_16.min1.thm12017-02-06 12:46 271  
[ ]ordinal5__1380_19.min1.thm12017-02-06 12:46 378  
[ ]ordinal5__1380_19.min1.thm1.tptp2017-02-06 16:47 311  
[ ]ordinal5__1383_38.min1.thm12017-02-06 12:46 501  
[ ]ordinal5__1383_38.min1.thm1.tptp2017-02-06 16:47 428  
[ ]ordinal5__1384_26.min1.thm12017-02-06 12:46 601  
[ ]ordinal5__1384_26.min1.thm1.tptp2017-02-06 16:47 545  
[ ]ordinal5__1390_31.min1.thm12017-02-06 12:46 847  
[ ]ordinal5__1398_40.min1.thm12017-02-06 12:46 582  
[ ]ordinal5__1399_40.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1400_19.min1.thm12017-02-06 12:46 751  
[ ]ordinal5__1410_15.min1.thm12017-02-06 12:46 698  
[ ]ordinal5__1411_48.min1.thm12017-02-06 12:46 770  
[ ]ordinal5__1414_6.min1.thm12017-02-06 12:46 937  
[ ]ordinal5__1421_47.min1.thm12017-02-06 12:46 862  
[ ]ordinal5__1430_42.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1431_25.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1432_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1435_37.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1445_30.min1.thm12017-02-06 12:46 713  
[ ]ordinal5__1447_24.min1.thm12017-02-06 12:46 614  
[ ]ordinal5__1448_36.min1.thm12017-02-06 12:46 615  
[ ]ordinal5__1455_36.min1.thm12017-02-06 12:46 496  
[ ]ordinal5__1457_45.min1.thm12017-02-06 12:46 568  
[ ]ordinal5__1459_12.min1.thm12017-02-06 12:46 715  
[ ]ordinal5__1464_35.min1.thm12017-02-06 12:46 564  
[ ]ordinal5__1465_33.min1.thm12017-02-06 12:46 811  
[ ]ordinal5__1465_60.min1.thm12017-02-06 12:46 935  
[ ]ordinal5__1468_48.min1.thm12017-02-06 12:46 516  
[ ]ordinal5__1469_32.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1474_52.min1.thm12017-02-06 12:46 804  
[ ]ordinal5__1475_15.min1.thm12017-02-06 12:46 772  
[ ]ordinal5__1476_37.min1.thm12017-02-06 12:46 962  
[ ]ordinal5__1477_28.min1.thm12017-02-06 12:46 791  
[ ]ordinal5__1478_21.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__1480_22.min1.thm12017-02-06 12:46 815  
[ ]ordinal5__1481_28.min1.thm12017-02-06 12:46 828  
[ ]ordinal5__1482_15.min1.thm12017-02-06 12:46 376  
[ ]ordinal5__1483_14.min1.thm12017-02-06 12:46 439  
[ ]ordinal5__1486_28.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1487_21.min1.thm12017-02-06 12:46 780  
[ ]ordinal5__1496_24.min1.thm12017-02-06 12:46 383  
[ ]ordinal5__1496_24.min1.thm1.tptp2017-02-06 16:47 310  
[ ]ordinal5__1498_6.min1.thm12017-02-06 12:46 911  
[ ]ordinal5__1499_48.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1500_13.min1.thm12017-02-06 12:46 571  
[ ]ordinal5__1501_13.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1502_13.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1503_13.min1.thm12017-02-06 12:46 933  
[ ]ordinal5__1504_19.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1513_23.min1.thm12017-02-06 12:46 409  
[ ]ordinal5__1514_27.min1.thm12017-02-06 12:46 791  
[ ]ordinal5__1515_33.min1.thm12017-02-06 12:46 843  
[ ]ordinal5__1516_19.min1.thm12017-02-06 12:46 678  
[ ]ordinal5__1525_68.min1.thm12017-02-06 12:46 637  
[ ]ordinal5__1526_46.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1527_38.min1.thm12017-02-06 12:46 549  
[ ]ordinal5__1527_38.min1.thm1.tptp2017-02-06 16:47 478  
[ ]ordinal5__1528_43.min1.thm12017-02-06 12:46 796  
[ ]ordinal5__1529_31.min1.thm12017-02-06 12:46 497  
[ ]ordinal5__1529_31.min1.thm1.tptp2017-02-06 16:47 424  
[ ]ordinal5__1538_13.min1.thm12017-02-06 12:46 828  
[ ]ordinal5__1539_31.min1.thm12017-02-06 12:46 896  
[ ]ordinal5__1540_22.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal5__1541_57.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1542_28.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__1543_40.min1.thm12017-02-06 12:46 535  
[ ]ordinal5__1543_40.min1.thm1.tptp2017-02-06 16:47 462  
[ ]ordinal5__1544_37.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__1545_38.min1.thm12017-02-06 12:46 601  
[ ]ordinal5__1546_39.min1.thm12017-02-06 12:46 765  
[ ]ordinal5__1547_46.min1.thm12017-02-06 12:46 615  
[ ]ordinal5__1547_46.min1.thm1.tptp2017-02-06 16:47 544  
[ ]ordinal5__1548_39.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1549_36.min1.thm12017-02-06 12:46 921  
[ ]ordinal5__1550_33.min1.thm12017-02-06 12:46 706  
[ ]ordinal5__1551_34.min1.thm12017-02-06 12:46 542  
[ ]ordinal5__1558_47.min1.thm12017-02-06 12:46 862  
[ ]ordinal5__1567_42.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1568_25.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1569_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1572_37.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1582_35.min1.thm12017-02-06 12:46 759  
[ ]ordinal5__1584_24.min1.thm12017-02-06 12:46 614  
[ ]ordinal5__1585_36.min1.thm12017-02-06 12:46 615  
[ ]ordinal5__1592_36.min1.thm12017-02-06 12:46 542  
[ ]ordinal5__1594_46.min1.thm12017-02-06 12:46 568  
[ ]ordinal5__1595_23.min1.thm12017-02-06 12:46 246  
[ ]ordinal5__1596_22.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__1598_33.min1.thm12017-02-06 12:46 766  
[ ]ordinal5__1599_22.min1.thm12017-02-06 12:46 849  
[ ]ordinal5__1601_41.min1.thm12017-02-06 12:46 520  
[ ]ordinal5__1602_25.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1602_51.min1.thm12017-02-06 12:46 579  
[ ]ordinal5__1603_18.min1.thm12017-02-06 12:46 437  
[ ]ordinal5__1603_18.min1.thm1.tptp2017-02-06 16:47 364  
[ ]ordinal5__1604_27.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1604_59.min1.thm12017-02-06 12:46 621  
[ ]ordinal5__1605_23.min1.thm12017-02-06 12:46 437  
[ ]ordinal5__1605_23.min1.thm1.tptp2017-02-06 16:47 364  
[ ]ordinal5__1606_32.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1606_67.min1.thm12017-02-06 12:46 535  
[ ]ordinal5__1606_67.min1.thm1.tptp2017-02-06 16:47 462  
[ ]ordinal5__1607_52.min1.thm12017-02-06 12:46 667  
[ ]ordinal5__1608_30.min1.thm12017-02-06 12:46 791  
[ ]ordinal5__1609_14.min1.thm12017-02-06 12:46 569  
[ ]ordinal5__1610_56.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1611_43.min1.thm12017-02-06 12:46 694  
[ ]ordinal5__1614_8.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__1615_12.min1.thm12017-02-06 12:46 3.1K 
[ ]ordinal5__1621_8.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__1622_55.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1625_20.min1.thm12017-02-06 12:46 417  
[ ]ordinal5__1625_20.min1.thm1.tptp2017-02-06 16:47 340  
[ ]ordinal5__1627_25.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__1630_25.min1.thm12017-02-06 12:46 2.4K 
[ ]ordinal5__1634_21.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1642_33.min1.thm12017-02-06 12:46 2.3K 
[ ]ordinal5__1649_28.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1650_30.min1.thm12017-02-06 12:46 791  
[ ]ordinal5__1651_13.min1.thm12017-02-06 12:46 569  
[ ]ordinal5__1652_39.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1653_28.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1654_30.min1.thm12017-02-06 12:46 894  
[ ]ordinal5__1661_33.min1.thm12017-02-06 12:46 735  
[ ]ordinal5__1662_43.min1.thm12017-02-06 12:46 502  
[ ]ordinal5__1664_25.min1.thm12017-02-06 12:46 2.4K 
[ ]ordinal5__1665_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1669_31.min1.thm12017-02-06 12:46 659  
[ ]ordinal5__1670_41.min1.thm12017-02-06 12:46 610  
[ ]ordinal5__1672_23.min1.thm12017-02-06 12:46 924  
[ ]ordinal5__1673_21.min1.thm12017-02-06 12:46 920  
[ ]ordinal5__1724_29.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1739_29.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1741_16.min1.thm12017-02-06 12:46 412  
[ ]ordinal5__1741_16.min1.thm1.tptp2017-02-06 16:47 335  
[ ]ordinal5__1763_29.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1772_25.min1.thm12017-02-06 12:46 821  
[ ]ordinal5__1773_11.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__1776_48.min1.thm12017-02-06 12:46 419  
[ ]ordinal5__1776_48.min1.thm1.tptp2017-02-06 16:47 342  
[ ]ordinal5__1777_36.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1778_34.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1782_54.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1783_18.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1785_17.min1.thm12017-02-06 12:46 548  
[ ]ordinal5__1786_23.min1.thm12017-02-06 12:46 808  
[ ]ordinal5__1790_33.min1.thm12017-02-06 12:46 872  
[ ]ordinal5__1791_23.min1.thm12017-02-06 12:46 939  
[ ]ordinal5__1795_23.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__1807_17.min1.thm12017-02-06 12:46 804  
[ ]ordinal5__1808_41.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1809_23.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1811_30.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1812_25.min1.thm12017-02-06 12:46 800  
[ ]ordinal5__1812_57.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1813_16.min1.thm12017-02-06 12:46 500  
[ ]ordinal5__1814_36.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1815_29.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1818_25.min1.thm12017-02-06 12:46 708  
[ ]ordinal5__1819_18.min1.thm12017-02-06 12:46 681  
[ ]ordinal5__1821_39.min1.thm12017-02-06 12:46 956  
[ ]ordinal5__1825_36.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__1827_10.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal5__1828_30.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__1829_23.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__1833_16.min1.thm12017-02-06 12:46 727  
[ ]ordinal5__1844_40.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1845_19.min1.thm12017-02-06 12:46 810  
[ ]ordinal5__1857_39.min1.thm12017-02-06 12:46 833  
[ ]ordinal5__1858_28.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1859_22.min1.thm12017-02-06 12:46 776  
[ ]ordinal5__1860_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1871_26.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__1874_30.min1.thm12017-02-06 12:46 746  
[ ]ordinal5__1875_32.min1.thm12017-02-06 12:46 775  
[ ]ordinal5__1877_20.min1.thm12017-02-06 12:46 671  
[ ]ordinal5__1878_28.min1.thm12017-02-06 12:46 753  
[ ]ordinal5__1882_17.min1.thm12017-02-06 12:46 580  
[ ]ordinal5__1883_27.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1890_8.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1893_36.min1.thm12017-02-06 12:46 606  
[ ]ordinal5__1894_28.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1895_21.min1.thm12017-02-06 12:46 727  
[ ]ordinal5__1903_33.min1.thm12017-02-06 12:46 484  
[ ]ordinal5__1904_38.min1.thm12017-02-06 12:46 826  
[ ]ordinal5__1905_21.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1908_16.min1.thm12017-02-06 12:46 336  
[ ]ordinal5__1908_16.min1.thm1.tptp2017-02-06 16:47 255  
[ ]ordinal5__1919_38.min1.thm12017-02-06 12:46 377  
[ ]ordinal5__1920_40.min1.thm12017-02-06 12:46 359  
[ ]ordinal5__1920_40.min1.thm1.tptp2017-02-06 16:47 292  
[ ]ordinal5__1924_24.min1.thm12017-02-06 12:46 483  
[ ]ordinal5__1925_40.min1.thm12017-02-06 12:46 517  
[ ]ordinal5__1925_40.min1.thm1.tptp2017-02-06 16:47 447  
[ ]ordinal5__1926_20.min1.thm12017-02-06 12:46 837  
[ ]ordinal5__1927_26.min1.thm12017-02-06 12:46 689  
[ ]ordinal5__1929_25.min1.thm12017-02-06 12:46 501  
[ ]ordinal5__1931_52.min1.thm12017-02-06 12:46 704  
[ ]ordinal5__1932_14.min1.thm12017-02-06 12:46 646  
[ ]ordinal5__1939_37.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1941_26.min1.thm12017-02-06 12:46 570  
[ ]ordinal5__1942_42.min1.thm12017-02-06 12:46 531  
[ ]ordinal5__1942_42.min1.thm1.tptp2017-02-06 16:47 461  
[ ]ordinal5__1943_39.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__1944_28.min1.thm12017-02-06 12:46 558  
[ ]ordinal5__1945_17.min1.thm12017-02-06 12:46 775  
[ ]ordinal5__1946_23.min1.thm12017-02-06 12:46 688  
[ ]ordinal5__1948_20.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1950_16.min1.thm12017-02-06 12:46 411  
[ ]ordinal5__1964_35.min1.thm12017-02-06 12:46 375  
[ ]ordinal5__1964_35.min1.thm1.tptp2017-02-06 16:47 298  
[ ]ordinal5__1965_36.min1.thm12017-02-06 12:46 342  
[ ]ordinal5__1965_36.min1.thm1.tptp2017-02-06 16:47 265  
[ ]ordinal5__1967_29.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__1969_39.min1.thm12017-02-06 12:46 805  
[ ]ordinal5__1979_12.min1.thm12017-02-06 12:46 654  
[ ]ordinal5__1983_68.min1.thm12017-02-06 12:46 606  
[ ]ordinal5__1984_28.min1.thm12017-02-06 12:46 441  
[ ]ordinal5__1984_28.min1.thm1.tptp2017-02-06 16:47 364  
[ ]ordinal5__1985_18.min1.thm12017-02-06 12:46 605  
[ ]ordinal5__1993_25.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__1995_15.min1.thm12017-02-06 12:46 528  
[ ]ordinal5__1995_51.min1.thm12017-02-06 12:46 890  
[ ]ordinal5__1996_35.min1.thm12017-02-06 12:46 452  
[ ]ordinal5__1999_31.min1.thm12017-02-06 12:46 818  
[ ]ordinal5__2000_34.min1.thm12017-02-06 12:46 844  
[ ]ordinal5__2001_21.min1.thm12017-02-06 12:46 775  
[ ]ordinal5__2002_37.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__2007_32.min1.thm12017-02-06 12:46 818  
[ ]ordinal5__2008_34.min1.thm12017-02-06 12:46 844  
[ ]ordinal5__2009_23.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__2010_46.min1.thm12017-02-06 12:46 504  
[ ]ordinal5__2011_21.min1.thm12017-02-06 12:46 867  
[ ]ordinal5__2012_57.min1.thm12017-02-06 12:46 571  
[ ]ordinal5__2013_25.min1.thm12017-02-06 12:46 451  
[ ]ordinal5__2013_25.min1.thm1.tptp2017-02-06 16:47 374  
[ ]ordinal5__2013_45.min1.thm12017-02-06 12:46 779  
[ ]ordinal5__2014_50.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2016_19.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__2019_16.min1.thm12017-02-06 12:46 325  
[ ]ordinal5__2019_16.min1.thm1.tptp2017-02-06 16:47 244  
[ ]ordinal5__2033_15.min1.thm12017-02-06 12:46 838  
[ ]ordinal5__2034_42.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2035_38.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__2036_18.min1.thm12017-02-06 12:46 534  
[ ]ordinal5__2042_46.min1.thm12017-02-06 12:46 421  
[ ]ordinal5__2042_46.min1.thm1.tptp2017-02-06 16:47 344  
[ ]ordinal5__2043_48.min1.thm12017-02-06 12:46 528  
[ ]ordinal5__2044_18.min1.thm12017-02-06 12:46 705  
[ ]ordinal5__2046_21.min1.thm12017-02-06 12:46 557  
[ ]ordinal5__2049_18.min1.thm12017-02-06 12:46 344  
[ ]ordinal5__2049_18.min1.thm1.tptp2017-02-06 16:47 267  
[ ]ordinal5__2052_30.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2053_17.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__2062_40.min1.thm12017-02-06 12:46 764  
[ ]ordinal5__2063_19.min1.thm12017-02-06 12:46 637  
[ ]ordinal5__2066_51.min1.thm12017-02-06 12:46 743  
[ ]ordinal5__2067_19.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__2104_61.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__2106_24.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2107_40.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__2108_35.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__2117_34.min1.thm12017-02-06 12:46 771  
[ ]ordinal5__2118_35.min1.thm12017-02-06 12:46 780  
[ ]ordinal5__2122_15.min1.thm12017-02-06 12:46 628  
[ ]ordinal5__2123_42.min1.thm12017-02-06 12:46 888  
[ ]ordinal5__2124_29.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__2125_21.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal5__2133_15.min1.thm12017-02-06 12:46 596  
[ ]ordinal5__2134_32.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__2140_16.min1.thm12017-02-06 12:46 628  
[ ]ordinal5__2141_42.min1.thm12017-02-06 12:46 888  
[ ]ordinal5__2142_29.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__2143_21.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal5__2151_15.min1.thm12017-02-06 12:46 596  
[ ]ordinal5__2152_32.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__2162_47.min1.thm12017-02-06 12:46 678  
[ ]ordinal5__2168_43.min1.thm12017-02-06 12:46 884  
[ ]ordinal5__2169_24.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__2178_34.min1.thm12017-02-06 12:46 814  
[ ]ordinal5__2179_13.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__2180_37.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__2180_51.min1.thm12017-02-06 12:46 398  
[ ]ordinal5__2195_20.min1.thm12017-02-06 12:46 744  
[ ]ordinal5__2198_46.min1.thm12017-02-06 12:46 874  
[ ]ordinal5__2199_26.min1.thm12017-02-06 12:46 270  
[ ]ordinal5__2201_11.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2201_11.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]ordinal5__2205_21.min1.thm12017-02-06 12:46 439  
[ ]ordinal5__2206_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__2207_21.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2208_58.min1.thm12017-02-06 12:46 2.0K 
[ ]ordinal5__2213_18.min1.thm12017-02-06 12:46 710  
[ ]ordinal5__2214_36.min1.thm12017-02-06 12:46 2.5K 
[ ]ordinal5__2215_24.min1.thm12017-02-06 12:46 745  
[ ]ordinal5__2215_24.min1.thm1.tptp2017-02-06 16:47 675  
[ ]ordinal5__2216_24.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2217_23.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__2226_25.min1.thm12017-02-06 12:46 766  
[ ]ordinal5__2227_12.min1.thm12017-02-06 12:46 738  
[ ]ordinal5__2235_19.min1.thm12017-02-06 12:46 539  
[ ]ordinal5__2235_19.min1.thm1.tptp2017-02-06 16:47 480  
[ ]ordinal5__2238_34.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2239_36.min1.thm12017-02-06 12:46 709  
[ ]ordinal5__2240_53.min1.thm12017-02-06 12:46 838  
[ ]ordinal5__2241_24.min1.thm12017-02-06 12:46 660  
[ ]ordinal5__2242_15.min1.thm12017-02-06 12:46 544  
[ ]ordinal5__2243_29.min1.thm12017-02-06 12:46 485  
[ ]ordinal5__2244_51.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__2245_32.min1.thm12017-02-06 12:46 2.1K 
[ ]ordinal5__2246_29.min1.thm12017-02-06 12:46 856  
[ ]ordinal5__2247_31.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2248_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2251_16.min1.thm12017-02-06 12:46 640  
[ ]ordinal5__2268_19.min1.thm12017-02-06 12:46 539  
[ ]ordinal5__2268_19.min1.thm1.tptp2017-02-06 16:47 480  
[ ]ordinal5__2271_34.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2272_36.min1.thm12017-02-06 12:46 709  
[ ]ordinal5__2273_53.min1.thm12017-02-06 12:46 838  
[ ]ordinal5__2274_24.min1.thm12017-02-06 12:46 660  
[ ]ordinal5__2275_15.min1.thm12017-02-06 12:46 544  
[ ]ordinal5__2276_29.min1.thm12017-02-06 12:46 485  
[ ]ordinal5__2277_15.min1.thm12017-02-06 12:46 195  
[ ]ordinal5__2279_23.min1.thm12017-02-06 12:46 461  
[ ]ordinal5__2280_22.min1.thm12017-02-06 12:46 699  
[ ]ordinal5__2281_36.min1.thm12017-02-06 12:46 809  
[ ]ordinal5__2282_27.min1.thm12017-02-06 12:46 605  
[ ]ordinal5__2285_46.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__2288_30.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__2292_23.min1.thm12017-02-06 12:46 660  
[ ]ordinal5__2292_23.min1.thm1.tptp2017-02-06 16:47 600  
[ ]ordinal5__2309_24.min1.thm12017-02-06 12:46 747  
[ ]ordinal5__2310_19.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__2319_18.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2334_22.min1.thm12017-02-06 12:46 585  
[ ]ordinal5__2335_18.min1.thm12017-02-06 12:46 394  
[ ]ordinal5__2335_18.min1.thm1.tptp2017-02-06 16:47 313  
[ ]ordinal5__2338_15.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__2339_15.min1.thm12017-02-06 12:46 623  
[ ]ordinal5__2340_18.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__2343_37.min1.thm12017-02-06 12:46 649  
[ ]ordinal5__2346_17.min1.thm12017-02-06 12:46 811  
[ ]ordinal5__2347_24.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2353_24.min1.thm12017-02-06 12:46 866  
[ ]ordinal5__2354_22.min1.thm12017-02-06 12:46 968  
[ ]ordinal5__2355_39.min1.thm12017-02-06 12:46 2.0K 
[ ]ordinal5__2356_14.min1.thm12017-02-06 12:46 422  
[ ]ordinal5__2356_14.min1.thm1.tptp2017-02-06 16:47 345  
[ ]ordinal5__2359_35.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__2360_17.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2361_19.min1.thm12017-02-06 12:46 669  
[ ]ordinal5__2362_19.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2366_22.min1.thm12017-02-06 12:46 545  
[ ]ordinal5__2371_23.min1.thm12017-02-06 12:46 944  
[ ]ordinal5__2372_19.min1.thm12017-02-06 12:46 661  
[ ]ordinal5__2373_19.min1.thm12017-02-06 12:46 724  
[ ]ordinal5__2378_17.min1.thm12017-02-06 12:46 813  
[ ]ordinal5__2379_17.min1.thm12017-02-06 12:46 807  
[ ]ordinal5__2380_31.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2381_24.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__2386_15.min1.thm12017-02-06 12:46 504  
[ ]ordinal5__2394_41.min1.thm12017-02-06 12:46 749  
[ ]ordinal5__2394_65.min1.thm12017-02-06 12:46 951  
[ ]ordinal5__2396_15.min1.thm12017-02-06 12:46 309  
[ ]ordinal5__2398_13.min1.thm12017-02-06 12:46 131  
[ ]ordinal5__2401_14.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__2406_16.min1.thm12017-02-06 12:46 422  
[ ]ordinal5__2409_41.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2411_45.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__2412_36.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__2417_26.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2418_40.min1.thm12017-02-06 12:46 723  
[ ]ordinal5__2419_21.min1.thm12017-02-06 12:46 848  
[ ]ordinal5__2426_18.min1.thm12017-02-06 12:46 890  
[ ]ordinal5__2427_58.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__2428_26.min1.thm12017-02-06 12:46 883  
[ ]ordinal5__2429_23.min1.thm12017-02-06 12:46 953  
[ ]ordinal5__2430_32.min1.thm12017-02-06 12:46 2.1K 
[ ]ordinal5__2433_15.min1.thm12017-02-06 12:46 775  
[ ]ordinal5__2434_20.min1.thm12017-02-06 12:46 532  
[ ]ordinal5__2435_36.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__2436_38.min1.thm12017-02-06 12:46 540  
[ ]ordinal5__2438_15.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__2439_15.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__2442_40.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__2449_20.min1.thm12017-02-06 12:46 812  
[ ]ordinal5__2451_43.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2453_33.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2455_6.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__2456_26.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__2457_32.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__2458_10.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2466_20.min1.thm12017-02-06 12:46 812  
[ ]ordinal5__2468_43.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2470_12.min1.thm12017-02-06 12:46 930  
[ ]ordinal5__2471_29.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2471_52.min1.thm12017-02-06 12:46 398  
[ ]ordinal5__2472_21.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2481_20.min1.thm12017-02-06 12:46 575  
[ ]ordinal5__2483_43.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2484_28.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__2485_25.min1.thm12017-02-06 12:46 824  
[ ]ordinal5__2486_19.min1.thm12017-02-06 12:46 668  
[ ]ordinal5__2486_19.min1.thm1.tptp2017-02-06 16:47 584  
[ ]ordinal5__2497_18.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__2498_23.min1.thm12017-02-06 12:46 545  
[ ]ordinal5__2500_35.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2501_18.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2502_30.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2508_43.min1.thm12017-02-06 12:46 961  
[ ]ordinal5__2509_59.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__2510_13.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2511_39.min1.thm12017-02-06 12:46 703  
[ ]ordinal5__2530_59.min1.thm12017-02-06 12:46 480  
[ ]ordinal5__2531_18.min1.thm12017-02-06 12:46 607  
[ ]ordinal5__2543_49.min1.thm12017-02-06 12:46 879  
[ ]ordinal5__2544_19.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__2553_17.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__2554_53.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__2555_27.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__2563_40.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2565_23.min1.thm12017-02-06 12:46 881  
[ ]ordinal5__2566_38.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__2580_23.min1.thm12017-02-06 12:46 436  
[ ]ordinal5__2581_13.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2582_19.min1.thm12017-02-06 12:46 920  
[ ]ordinal5__2596_35.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__2597_25.min1.thm12017-02-06 12:46 970  
[ ]ordinal5__2601_41.min1.thm12017-02-06 12:46 2.5K 
[ ]ordinal5__2602_40.min1.thm12017-02-06 12:46 720  
[ ]ordinal5__2606_19.min1.thm12017-02-06 12:46 811  
[ ]ordinal5__2607_46.min1.thm12017-02-06 12:46 2.6K 
[ ]ordinal5__2608_57.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__2613_38.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2617_17.min1.thm12017-02-06 12:46 799  
[ ]ordinal5__2620_55.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__2628_18.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal5__2629_37.min1.thm12017-02-06 12:46 452  
[ ]ordinal5__2630_17.min1.thm12017-02-06 12:46 823  
[ ]ordinal5__2633_43.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2634_34.min1.thm12017-02-06 12:46 682  
[ ]ordinal5__2635_62.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal5__2636_13.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2637_54.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__2639_17.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__2640_19.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__2653_34.min1.thm12017-02-06 12:46 814  
[ ]ordinal5__2658_18.min1.thm12017-02-06 12:46 2.6K 
[ ]ordinal5__2661_16.min1.thm12017-02-06 12:46 448  
[ ]ordinal5__2666_30.min1.thm12017-02-06 12:46 388  
[ ]ordinal5__2668_40.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal5__2673_13.min1.thm12017-02-06 12:46 199  
[ ]ordinal5__2675_15.min1.thm12017-02-06 12:46 823  
[ ]ordinal5__2677_8.min1.thm12017-02-06 12:46 3.7K 
[ ]ordinal5__2678_54.min1.thm12017-02-06 12:46 2.9K 
[ ]ordinal5__2679_38.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__2686_21.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal5__2687_30.min1.thm12017-02-06 12:46 2.7K 
[ ]ordinal5__2688_39.min1.thm12017-02-06 12:46 2.9K 
[ ]ordinal5__2690_45.min1.thm12017-02-06 12:46 2.0K 
[ ]ordinal5__2693_21.min1.thm12017-02-06 12:46 1.9K 
[ ]ordinal5__2708_43.min1.thm12017-02-06 12:46 876  
[ ]ordinal5__2710_33.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal5__2712_27.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__2713_18.min1.thm12017-02-06 12:46 432  
[ ]ordinal5__2717_56.min1.thm12017-02-06 12:46 2.4K 
[ ]ordinal5__2719_52.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__2720_20.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal5__2727_47.min1.thm12017-02-06 12:46 2.7K 
[ ]ordinal5__2728_21.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal5__2729_42.min1.thm12017-02-06 12:46 2.0K 
[ ]ordinal5__2730_19.min1.thm12017-02-06 12:46 683  
[ ]ordinal5__2731_49.min1.thm12017-02-06 12:46 2.0K 
[ ]ordinal5__2733_10.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal5__2734_21.min1.thm12017-02-06 12:46 322  
[ ]ordinal5__2734_21.min1.thm1.tptp2017-02-06 16:47 241  
[ ]ordinal5__2735_48.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal5__2739_26.min1.thm12017-02-06 12:46 1.8K 
[ ]ordinal5__2743_16.min1.thm12017-02-06 12:46 422  
[ ]ordinal5__2746_62.min1.thm12017-02-06 12:46 822  
[ ]ordinal5__2748_20.min1.thm12017-02-06 12:46 442  
[ ]ordinal5__2752_8.min1.thm12017-02-06 12:46 640  
[ ]ordinal5__2753_18.min1.thm12017-02-06 12:46 437  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80