Index of /~mptp/1147/MPTP2/ilp0/ordinal6

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ordinal6__62_24.min1.thm12017-02-06 12:46 319  
[   ]ordinal6__62_24.min1.thm1.tptp2017-02-06 16:47 244  
[   ]ordinal6__69_18.min1.thm12017-02-06 12:46 452  
[   ]ordinal6__69_18.min1.thm1.tptp2017-02-06 16:47 398  
[   ]ordinal6__79_18.min1.thm12017-02-06 12:46 574  
[   ]ordinal6__86_19.min1.thm12017-02-06 12:46 309  
[   ]ordinal6__86_19.min1.thm1.tptp2017-02-06 16:47 228  
[   ]ordinal6__87_19.min1.thm12017-02-06 12:46 485  
[   ]ordinal6__95_15.min1.thm12017-02-06 12:46 512  
[   ]ordinal6__105_13.min1.thm12017-02-06 12:46 192  
[   ]ordinal6__107_18.min1.thm12017-02-06 12:46 486  
[   ]ordinal6__110_21.min1.thm12017-02-06 12:46 575  
[   ]ordinal6__121_29.min1.thm12017-02-06 12:46 245  
[   ]ordinal6__123_22.min1.thm12017-02-06 12:46 602  
[   ]ordinal6__126_15.min1.thm12017-02-06 12:46 261  
[   ]ordinal6__134_18.min1.thm12017-02-06 12:46 576  
[   ]ordinal6__140_34.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__141_19.min1.thm12017-02-06 12:46 711  
[   ]ordinal6__147_36.min1.thm12017-02-06 12:46 513  
[   ]ordinal6__147_36.min1.thm1.tptp2017-02-06 16:47 461  
[   ]ordinal6__148_19.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__155_15.min1.thm12017-02-06 12:46 383  
[   ]ordinal6__155_15.min1.thm1.tptp2017-02-06 16:47 311  
[   ]ordinal6__167_48.min1.thm12017-02-06 12:46 510  
[   ]ordinal6__167_48.min1.thm1.tptp2017-02-06 16:47 469  
[   ]ordinal6__168_28.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__169_26.min1.thm12017-02-06 12:46 793  
[   ]ordinal6__170_36.min1.thm12017-02-06 12:46 743  
[   ]ordinal6__186_48.min1.thm12017-02-06 12:46 510  
[   ]ordinal6__186_48.min1.thm1.tptp2017-02-06 16:47 469  
[   ]ordinal6__187_28.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__188_26.min1.thm12017-02-06 12:46 793  
[   ]ordinal6__189_44.min1.thm12017-02-06 12:46 906  
[   ]ordinal6__191_19.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__198_26.min1.thm12017-02-06 12:46 451  
[   ]ordinal6__198_26.min1.thm1.tptp2017-02-06 16:47 408  
[   ]ordinal6__199_22.min1.thm12017-02-06 12:46 740  
[   ]ordinal6__200_19.min1.thm12017-02-06 12:46 772  
[   ]ordinal6__207_36.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__208_27.min1.thm12017-02-06 12:46 908  
[   ]ordinal6__209_50.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__210_24.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__217_39.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__224_16.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__225_32.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__226_15.min1.thm12017-02-06 12:46 251  
[   ]ordinal6__230_25.min1.thm12017-02-06 12:46 623  
[   ]ordinal6__231_19.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__232_23.min1.thm12017-02-06 12:46 596  
[   ]ordinal6__236_27.min1.thm12017-02-06 12:46 719  
[   ]ordinal6__238_35.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__240_29.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__242_27.min1.thm12017-02-06 12:46 782  
[   ]ordinal6__243_23.min1.thm12017-02-06 12:46 558  
[   ]ordinal6__248_33.min1.thm12017-02-06 12:46 759  
[   ]ordinal6__249_16.min1.thm12017-02-06 12:46 510  
[   ]ordinal6__249_16.min1.thm1.tptp2017-02-06 16:47 448  
[   ]ordinal6__252_32.min1.thm12017-02-06 12:46 629  
[   ]ordinal6__253_16.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__258_32.min1.thm12017-02-06 12:46 629  
[   ]ordinal6__259_32.min1.thm12017-02-06 12:46 743  
[   ]ordinal6__260_30.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__262_21.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__271_24.min1.thm12017-02-06 12:46 637  
[   ]ordinal6__272_40.min1.thm12017-02-06 12:46 823  
[   ]ordinal6__273_37.min1.thm12017-02-06 12:46 965  
[   ]ordinal6__278_29.min1.thm12017-02-06 12:46 793  
[   ]ordinal6__279_29.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__286_42.min1.thm12017-02-06 12:46 860  
[   ]ordinal6__287_19.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__295_21.min1.thm12017-02-06 12:46 342  
[   ]ordinal6__295_21.min1.thm1.tptp2017-02-06 16:47 275  
[   ]ordinal6__296_19.min1.thm12017-02-06 12:46 365  
[   ]ordinal6__296_19.min1.thm1.tptp2017-02-06 16:47 298  
[   ]ordinal6__305_30.min1.thm12017-02-06 12:46 465  
[   ]ordinal6__305_30.min1.thm1.tptp2017-02-06 16:47 406  
[   ]ordinal6__314_31.min1.thm12017-02-06 12:46 458  
[   ]ordinal6__315_19.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__328_29.min1.thm12017-02-06 12:46 904  
[   ]ordinal6__329_24.min1.thm12017-02-06 12:46 838  
[   ]ordinal6__330_19.min1.thm12017-02-06 12:46 579  
[   ]ordinal6__330_19.min1.thm1.tptp2017-02-06 16:47 495  
[   ]ordinal6__344_31.min1.thm12017-02-06 12:46 475  
[   ]ordinal6__345_12.min1.thm12017-02-06 12:46 827  
[   ]ordinal6__346_13.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__347_15.min1.thm12017-02-06 12:46 837  
[   ]ordinal6__348_13.min1.thm12017-02-06 12:46 201  
[   ]ordinal6__356_24.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__359_16.min1.thm12017-02-06 12:46 896  
[   ]ordinal6__360_34.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__371_15.min1.thm12017-02-06 12:46 952  
[   ]ordinal6__385_18.min1.thm12017-02-06 12:46 586  
[   ]ordinal6__385_18.min1.thm1.tptp2017-02-06 16:47 521  
[   ]ordinal6__390_14.min1.thm12017-02-06 12:46 431  
[   ]ordinal6__392_14.min1.thm12017-02-06 12:46 467  
[   ]ordinal6__394_14.min1.thm12017-02-06 12:46 467  
[   ]ordinal6__403_15.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__415_26.min1.thm12017-02-06 12:46 705  
[   ]ordinal6__416_36.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__417_19.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__424_11.min1.thm12017-02-06 12:46 344  
[   ]ordinal6__424_11.min1.thm1.tptp2017-02-06 16:47 266  
[   ]ordinal6__430_18.min1.thm12017-02-06 12:46 463  
[   ]ordinal6__438_21.min1.thm12017-02-06 12:46 342  
[   ]ordinal6__438_21.min1.thm1.tptp2017-02-06 16:47 275  
[   ]ordinal6__439_19.min1.thm12017-02-06 12:46 369  
[   ]ordinal6__439_19.min1.thm1.tptp2017-02-06 16:47 302  
[   ]ordinal6__446_14.min1.thm12017-02-06 12:46 497  
[   ]ordinal6__454_17.min1.thm12017-02-06 12:46 410  
[   ]ordinal6__455_19.min1.thm12017-02-06 12:46 620  
[   ]ordinal6__460_17.min1.thm12017-02-06 12:46 898  
[   ]ordinal6__465_18.min1.thm12017-02-06 12:46 325  
[   ]ordinal6__465_18.min1.thm1.tptp2017-02-06 16:47 245  
[   ]ordinal6__466_20.min1.thm12017-02-06 12:46 451  
[   ]ordinal6__467_36.min1.thm12017-02-06 12:46 682  
[   ]ordinal6__468_19.min1.thm12017-02-06 12:46 817  
[   ]ordinal6__475_21.min1.thm12017-02-06 12:46 337  
[   ]ordinal6__475_21.min1.thm1.tptp2017-02-06 16:47 263  
[   ]ordinal6__476_28.min1.thm12017-02-06 12:46 812  
[   ]ordinal6__477_40.min1.thm12017-02-06 12:46 933  
[   ]ordinal6__478_26.min1.thm12017-02-06 12:46 640  
[   ]ordinal6__479_23.min1.thm12017-02-06 12:46 906  
[   ]ordinal6__480_19.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__484_19.min1.thm12017-02-06 12:46 514  
[   ]ordinal6__496_16.min1.thm12017-02-06 12:46 355  
[   ]ordinal6__496_16.min1.thm1.tptp2017-02-06 16:47 291  
[   ]ordinal6__499_6.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__500_16.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__500_16.min1.thm1.tptp2017-02-06 16:47 920  
[   ]ordinal6__511_16.min1.thm12017-02-06 12:46 351  
[   ]ordinal6__511_16.min1.thm1.tptp2017-02-06 16:47 287  
[   ]ordinal6__514_6.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__515_16.min1.thm12017-02-06 12:46 805  
[   ]ordinal6__522_34.min1.thm12017-02-06 12:46 326  
[   ]ordinal6__522_47.min1.thm12017-02-06 12:46 309  
[   ]ordinal6__522_47.min1.thm1.tptp2017-02-06 16:47 232  
[   ]ordinal6__529_24.min1.thm12017-02-06 12:46 553  
[   ]ordinal6__530_19.min1.thm12017-02-06 12:46 736  
[   ]ordinal6__538_27.min1.thm12017-02-06 12:46 795  
[   ]ordinal6__539_27.min1.thm12017-02-06 12:46 628  
[   ]ordinal6__540_19.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__550_59.min1.thm12017-02-06 12:46 742  
[   ]ordinal6__551_19.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__559_19.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__571_16.min1.thm12017-02-06 12:46 355  
[   ]ordinal6__571_16.min1.thm1.tptp2017-02-06 16:47 291  
[   ]ordinal6__574_6.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__575_16.min1.thm12017-02-06 12:46 710  
[   ]ordinal6__585_13.min1.thm12017-02-06 12:46 342  
[   ]ordinal6__585_13.min1.thm1.tptp2017-02-06 16:47 275  
[   ]ordinal6__587_13.min1.thm12017-02-06 12:46 342  
[   ]ordinal6__587_13.min1.thm1.tptp2017-02-06 16:47 275  
[   ]ordinal6__589_18.min1.thm12017-02-06 12:46 546  
[   ]ordinal6__599_13.min1.thm12017-02-06 12:46 342  
[   ]ordinal6__599_13.min1.thm1.tptp2017-02-06 16:47 275  
[   ]ordinal6__601_18.min1.thm12017-02-06 12:46 574  
[   ]ordinal6__618_33.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__619_28.min1.thm12017-02-06 12:46 396  
[   ]ordinal6__620_28.min1.thm12017-02-06 12:46 676  
[   ]ordinal6__622_50.min1.thm12017-02-06 12:46 715  
[   ]ordinal6__623_40.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__625_32.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__626_17.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__627_37.min1.thm12017-02-06 12:46 910  
[   ]ordinal6__628_17.min1.thm12017-02-06 12:46 933  
[   ]ordinal6__629_22.min1.thm12017-02-06 12:46 927  
[   ]ordinal6__630_26.min1.thm12017-02-06 12:46 420  
[   ]ordinal6__639_40.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__640_23.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__644_35.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__648_21.min1.thm12017-02-06 12:46 813  
[   ]ordinal6__653_35.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__657_21.min1.thm12017-02-06 12:46 813  
[   ]ordinal6__669_22.min1.thm12017-02-06 12:46 657  
[   ]ordinal6__673_37.min1.thm12017-02-06 12:46 969  
[   ]ordinal6__674_16.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__678_36.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__679_20.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__682_32.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__683_42.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__686_40.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__692_37.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__697_31.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__704_19.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__709_12.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__711_25.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__716_54.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__717_40.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__726_35.min1.thm12017-02-06 12:46 656  
[   ]ordinal6__727_32.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__728_16.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__731_39.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__735_15.min1.thm12017-02-06 12:46 876  
[   ]ordinal6__736_21.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__741_21.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__746_18.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__747_33.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__751_27.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__757_8.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__767_21.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__782_44.min1.thm12017-02-06 12:46 636  
[   ]ordinal6__783_30.min1.thm12017-02-06 12:46 891  
[   ]ordinal6__784_32.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__785_46.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__786_25.min1.thm12017-02-06 12:46 876  
[   ]ordinal6__787_28.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__789_6.min1.thm12017-02-06 12:46 2.3K 
[   ]ordinal6__799_54.min1.thm12017-02-06 12:46 952  
[   ]ordinal6__800_52.min1.thm12017-02-06 12:46 383  
[   ]ordinal6__801_46.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__802_41.min1.thm12017-02-06 12:46 437  
[   ]ordinal6__803_36.min1.thm12017-02-06 12:46 411  
[   ]ordinal6__813_19.min1.thm12017-02-06 12:46 610  
[   ]ordinal6__820_11.min1.thm12017-02-06 12:46 734  
[   ]ordinal6__831_65.min1.thm12017-02-06 12:46 707  
[   ]ordinal6__832_24.min1.thm12017-02-06 12:46 669  
[   ]ordinal6__834_28.min1.thm12017-02-06 12:46 369  
[   ]ordinal6__834_28.min1.thm1.tptp2017-02-06 16:47 302  
[   ]ordinal6__835_19.min1.thm12017-02-06 12:46 352  
[   ]ordinal6__835_19.min1.thm1.tptp2017-02-06 16:47 275  
[   ]ordinal6__844_19.min1.thm12017-02-06 12:46 906  
[   ]ordinal6__845_18.min1.thm12017-02-06 12:46 819  
[   ]ordinal6__846_15.min1.thm12017-02-06 12:46 683  
[   ]ordinal6__847_65.min1.thm12017-02-06 12:46 781  
[   ]ordinal6__848_16.min1.thm12017-02-06 12:46 383  
[   ]ordinal6__856_15.min1.thm12017-02-06 12:46 514  
[   ]ordinal6__856_15.min1.thm1.tptp2017-02-06 16:47 441  
[   ]ordinal6__858_26.min1.thm12017-02-06 12:46 747  
[   ]ordinal6__860_66.min1.thm12017-02-06 12:46 818  
[   ]ordinal6__861_19.min1.thm12017-02-06 12:46 599  
[   ]ordinal6__866_11.min1.thm12017-02-06 12:46 880  
[   ]ordinal6__870_54.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__878_41.min1.thm12017-02-06 12:46 936  
[   ]ordinal6__879_30.min1.thm12017-02-06 12:46 819  
[   ]ordinal6__880_27.min1.thm12017-02-06 12:46 683  
[   ]ordinal6__882_46.min1.thm12017-02-06 12:46 781  
[   ]ordinal6__884_19.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__894_17.min1.thm12017-02-06 12:46 556  
[   ]ordinal6__895_13.min1.thm12017-02-06 12:46 805  
[   ]ordinal6__896_27.min1.thm12017-02-06 12:46 657  
[   ]ordinal6__897_57.min1.thm12017-02-06 12:46 950  
[   ]ordinal6__898_16.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__910_27.min1.thm12017-02-06 12:46 821  
[   ]ordinal6__911_13.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__912_18.min1.thm12017-02-06 12:46 601  
[   ]ordinal6__913_38.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__925_27.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__926_18.min1.thm12017-02-06 12:46 325  
[   ]ordinal6__926_18.min1.thm1.tptp2017-02-06 16:47 245  
[   ]ordinal6__927_35.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__928_15.min1.thm12017-02-06 12:46 514  
[   ]ordinal6__928_15.min1.thm1.tptp2017-02-06 16:47 441  
[   ]ordinal6__929_47.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__930_16.min1.thm12017-02-06 12:46 649  
[   ]ordinal6__931_16.min1.thm12017-02-06 12:46 950  
[   ]ordinal6__933_13.min1.thm12017-02-06 12:46 630  
[   ]ordinal6__934_18.min1.thm12017-02-06 12:46 603  
[   ]ordinal6__935_26.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__946_40.min1.thm12017-02-06 12:46 748  
[   ]ordinal6__947_13.min1.thm12017-02-06 12:46 400  
[   ]ordinal6__951_43.min1.thm12017-02-06 12:46 430  
[   ]ordinal6__956_49.min1.thm12017-02-06 12:46 485  
[   ]ordinal6__956_49.min1.thm1.tptp2017-02-06 16:47 416  
[   ]ordinal6__957_21.min1.thm12017-02-06 12:46 688  
[   ]ordinal6__958_17.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__959_23.min1.thm12017-02-06 12:46 572  
[   ]ordinal6__961_36.min1.thm12017-02-06 12:46 741  
[   ]ordinal6__962_20.min1.thm12017-02-06 12:46 417  
[   ]ordinal6__962_20.min1.thm1.tptp2017-02-06 16:47 347  
[   ]ordinal6__964_53.min1.thm12017-02-06 12:46 664  
[   ]ordinal6__965_29.min1.thm12017-02-06 12:46 751  
[   ]ordinal6__966_21.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__967_20.min1.thm12017-02-06 12:46 551  
[   ]ordinal6__968_34.min1.thm12017-02-06 12:46 789  
[   ]ordinal6__974_51.min1.thm12017-02-06 12:46 711  
[   ]ordinal6__975_21.min1.thm12017-02-06 12:46 686  
[   ]ordinal6__977_27.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__978_17.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__982_27.min1.thm12017-02-06 12:46 499  
[   ]ordinal6__984_50.min1.thm12017-02-06 12:46 542  
[   ]ordinal6__984_50.min1.thm1.tptp2017-02-06 16:47 473  
[   ]ordinal6__985_22.min1.thm12017-02-06 12:46 688  
[   ]ordinal6__987_28.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__988_31.min1.thm12017-02-06 12:46 2.5K 
[   ]ordinal6__989_22.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__990_28.min1.thm12017-02-06 12:46 737  
[   ]ordinal6__994_34.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__995_58.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__996_19.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__997_19.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__998_31.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__999_26.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__1000_39.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1003_31.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__1005_25.min1.thm12017-02-06 12:46 762  
[   ]ordinal6__1007_48.min1.thm12017-02-06 12:46 532  
[   ]ordinal6__1007_48.min1.thm1.tptp2017-02-06 16:47 463  
[   ]ordinal6__1008_30.min1.thm12017-02-06 12:46 746  
[   ]ordinal6__1009_34.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__1010_27.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__1011_17.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__1012_15.min1.thm12017-02-06 12:46 859  
[   ]ordinal6__1013_27.min1.thm12017-02-06 12:46 673  
[   ]ordinal6__1025_69.min1.thm12017-02-06 12:46 422  
[   ]ordinal6__1025_69.min1.thm1.tptp2017-02-06 16:47 359  
[   ]ordinal6__1026_19.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1039_27.min1.thm12017-02-06 12:46 821  
[   ]ordinal6__1046_33.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1053_56.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__1057_29.min1.thm12017-02-06 12:46 698  
[   ]ordinal6__1058_35.min1.thm12017-02-06 12:46 782  
[   ]ordinal6__1059_17.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1060_16.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1065_29.min1.thm12017-02-06 12:46 691  
[   ]ordinal6__1067_21.min1.thm12017-02-06 12:46 713  
[   ]ordinal6__1069_37.min1.thm12017-02-06 12:46 565  
[   ]ordinal6__1070_14.min1.thm12017-02-06 12:46 501  
[   ]ordinal6__1074_29.min1.thm12017-02-06 12:46 691  
[   ]ordinal6__1077_23.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__1079_21.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__1082_27.min1.thm12017-02-06 12:46 652  
[   ]ordinal6__1084_28.min1.thm12017-02-06 12:46 823  
[   ]ordinal6__1090_21.min1.thm12017-02-06 12:46 693  
[   ]ordinal6__1092_8.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__1093_20.min1.thm12017-02-06 12:46 331  
[   ]ordinal6__1093_20.min1.thm1.tptp2017-02-06 16:47 251  
[   ]ordinal6__1094_24.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1095_17.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1098_21.min1.thm12017-02-06 12:46 641  
[   ]ordinal6__1100_19.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1109_56.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__1112_18.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1113_17.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__1114_16.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1115_30.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__1126_23.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__1129_26.min1.thm12017-02-06 12:46 749  
[   ]ordinal6__1130_42.min1.thm12017-02-06 12:46 469  
[   ]ordinal6__1130_42.min1.thm1.tptp2017-02-06 16:47 388  
[   ]ordinal6__1134_35.min1.thm12017-02-06 12:46 775  
[   ]ordinal6__1136_28.min1.thm12017-02-06 12:46 560  
[   ]ordinal6__1138_35.min1.thm12017-02-06 12:46 825  
[   ]ordinal6__1141_22.min1.thm12017-02-06 12:46 956  
[   ]ordinal6__1141_44.min1.thm12017-02-06 12:46 612  
[   ]ordinal6__1142_32.min1.thm12017-02-06 12:46 669  
[   ]ordinal6__1145_34.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1146_21.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__1152_35.min1.thm12017-02-06 12:46 775  
[   ]ordinal6__1153_31.min1.thm12017-02-06 12:46 668  
[   ]ordinal6__1154_31.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1155_30.min1.thm12017-02-06 12:46 630  
[   ]ordinal6__1158_15.min1.thm12017-02-06 12:46 481  
[   ]ordinal6__1160_41.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1172_51.min1.thm12017-02-06 12:46 946  
[   ]ordinal6__1174_15.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1189_28.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1191_18.min1.thm12017-02-06 12:46 888  
[   ]ordinal6__1202_16.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1205_15.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__1206_20.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1207_21.min1.thm12017-02-06 12:46 592  
[   ]ordinal6__1211_21.min1.thm12017-02-06 12:46 922  
[   ]ordinal6__1221_16.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1223_6.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__1225_17.min1.thm12017-02-06 12:46 754  
[   ]ordinal6__1226_25.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__1234_45.min1.thm12017-02-06 12:46 2.2K 
[   ]ordinal6__1235_23.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__1236_22.min1.thm12017-02-06 12:46 2.4K 
[   ]ordinal6__1237_23.min1.thm12017-02-06 12:46 2.1K 
[   ]ordinal6__1262_21.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1263_21.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__1264_29.min1.thm12017-02-06 12:46 2.2K 
[   ]ordinal6__1273_30.min1.thm12017-02-06 12:46 959  
[   ]ordinal6__1274_31.min1.thm12017-02-06 12:46 445  
[   ]ordinal6__1274_31.min1.thm1.tptp2017-02-06 16:47 365  
[   ]ordinal6__1277_19.min1.thm12017-02-06 12:46 818  
[   ]ordinal6__1278_41.min1.thm12017-02-06 12:46 730  
[   ]ordinal6__1279_16.min1.thm12017-02-06 12:46 763  
[   ]ordinal6__1285_40.min1.thm12017-02-06 12:46 346  
[   ]ordinal6__1285_40.min1.thm1.tptp2017-02-06 16:47 268  
[   ]ordinal6__1287_16.min1.thm12017-02-06 12:46 326  
[   ]ordinal6__1290_23.min1.thm12017-02-06 12:46 349  
[   ]ordinal6__1290_23.min1.thm1.tptp2017-02-06 16:47 268  
[   ]ordinal6__1291_34.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1292_25.min1.thm12017-02-06 12:46 666  
[   ]ordinal6__1295_12.min1.thm12017-02-06 12:46 540  
[   ]ordinal6__1296_20.min1.thm12017-02-06 12:46 452  
[   ]ordinal6__1296_20.min1.thm1.tptp2017-02-06 16:47 370  
[   ]ordinal6__1304_38.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__1305_20.min1.thm12017-02-06 12:46 613  
[   ]ordinal6__1306_25.min1.thm12017-02-06 12:46 742  
[   ]ordinal6__1308_22.min1.thm12017-02-06 12:46 747  
[   ]ordinal6__1310_24.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__1312_71.min1.thm12017-02-06 12:46 520  
[   ]ordinal6__1312_71.min1.thm1.tptp2017-02-06 16:47 455  
[   ]ordinal6__1320_22.min1.thm12017-02-06 12:46 349  
[   ]ordinal6__1320_22.min1.thm1.tptp2017-02-06 16:47 269  
[   ]ordinal6__1321_42.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__1325_40.min1.thm12017-02-06 12:46 346  
[   ]ordinal6__1325_40.min1.thm1.tptp2017-02-06 16:47 268  
[   ]ordinal6__1327_15.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__1332_42.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__1338_12.min1.thm12017-02-06 12:46 888  
[   ]ordinal6__1339_20.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__1345_16.min1.thm12017-02-06 12:46 901  
[   ]ordinal6__1346_25.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__1347_28.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__1348_30.min1.thm12017-02-06 12:46 2.2K 
[   ]ordinal6__1349_26.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1353_37.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__1354_43.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1355_48.min1.thm12017-02-06 12:46 2.6K 
[   ]ordinal6__1356_49.min1.thm12017-02-06 12:46 2.4K 
[   ]ordinal6__1357_36.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__1360_38.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__1366_51.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__1367_23.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1369_24.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__1370_26.min1.thm12017-02-06 12:46 804  
[   ]ordinal6__1376_35.min1.thm12017-02-06 12:46 249  
[   ]ordinal6__1380_33.min1.thm12017-02-06 12:46 795  
[   ]ordinal6__1381_34.min1.thm12017-02-06 12:46 844  
[   ]ordinal6__1383_36.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__1384_34.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1386_26.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1388_10.min1.thm12017-02-06 12:46 2.7K 
[   ]ordinal6__1389_44.min1.thm12017-02-06 12:46 3.2K 
[   ]ordinal6__1392_41.min1.thm12017-02-06 12:46 2.4K 
[   ]ordinal6__1399_36.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__1400_43.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1402_19.min1.thm12017-02-06 12:46 561  
[   ]ordinal6__1403_19.min1.thm12017-02-06 12:46 872  
[   ]ordinal6__1404_16.min1.thm12017-02-06 12:46 828  
[   ]ordinal6__1406_41.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__1407_28.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1408_25.min1.thm12017-02-06 12:46 601  
[   ]ordinal6__1411_12.min1.thm12017-02-06 12:46 577  
[   ]ordinal6__1412_23.min1.thm12017-02-06 12:46 644  
[   ]ordinal6__1414_44.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__1415_29.min1.thm12017-02-06 12:46 2.2K 
[   ]ordinal6__1419_19.min1.thm12017-02-06 12:46 363  
[   ]ordinal6__1449_34.min1.thm12017-02-06 12:46 684  
[   ]ordinal6__1450_39.min1.thm12017-02-06 12:46 562  
[   ]ordinal6__1452_14.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__1455_24.min1.thm12017-02-06 12:46 463  
[   ]ordinal6__1455_24.min1.thm1.tptp2017-02-06 16:47 398  
[   ]ordinal6__1456_24.min1.thm12017-02-06 12:46 362  
[   ]ordinal6__1456_24.min1.thm1.tptp2017-02-06 16:47 285  
[   ]ordinal6__1458_23.min1.thm12017-02-06 12:46 706  
[   ]ordinal6__1461_47.min1.thm12017-02-06 12:46 581  
[   ]ordinal6__1462_21.min1.thm12017-02-06 12:46 563  
[   ]ordinal6__1464_54.min1.thm12017-02-06 12:46 899  
[   ]ordinal6__1472_30.min1.thm12017-02-06 12:46 959  
[   ]ordinal6__1473_31.min1.thm12017-02-06 12:46 445  
[   ]ordinal6__1473_31.min1.thm1.tptp2017-02-06 16:47 365  
[   ]ordinal6__1479_34.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1480_20.min1.thm12017-02-06 12:46 732  
[   ]ordinal6__1481_26.min1.thm12017-02-06 12:46 654  
[   ]ordinal6__1485_38.min1.thm12017-02-06 12:46 330  
[   ]ordinal6__1485_38.min1.thm1.tptp2017-02-06 16:47 252  
[   ]ordinal6__1487_13.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__1491_38.min1.thm12017-02-06 12:46 700  
[   ]ordinal6__1494_23.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1497_10.min1.thm12017-02-06 12:46 548  
[   ]ordinal6__1498_18.min1.thm12017-02-06 12:46 452  
[   ]ordinal6__1498_18.min1.thm1.tptp2017-02-06 16:47 366  
[   ]ordinal6__1505_35.min1.thm12017-02-06 12:46 840  
[   ]ordinal6__1508_11.min1.thm12017-02-06 12:46 418  
[   ]ordinal6__1514_54.min1.thm12017-02-06 12:46 847  
[   ]ordinal6__1515_44.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1516_24.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__1518_10.min1.thm12017-02-06 12:46 3.4K 
[   ]ordinal6__1529_21.min1.thm12017-02-06 12:46 654  
[   ]ordinal6__1530_45.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1534_21.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__1536_22.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1542_7.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__1545_35.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1551_50.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__1552_22.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1554_23.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1555_23.min1.thm12017-02-06 12:46 778  
[   ]ordinal6__1561_34.min1.thm12017-02-06 12:46 233  
[   ]ordinal6__1563_30.min1.thm12017-02-06 12:46 949  
[   ]ordinal6__1565_32.min1.thm12017-02-06 12:46 739  
[   ]ordinal6__1566_33.min1.thm12017-02-06 12:46 792  
[   ]ordinal6__1569_19.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__1571_34.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1572_33.min1.thm12017-02-06 12:46 896  
[   ]ordinal6__1573_25.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1575_9.min1.thm12017-02-06 12:46 2.9K 
[   ]ordinal6__1576_36.min1.thm12017-02-06 12:46 729  
[   ]ordinal6__1577_35.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__1578_41.min1.thm12017-02-06 12:46 2.3K 
[   ]ordinal6__1579_22.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1580_22.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__1582_24.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__1583_39.min1.thm12017-02-06 12:46 2.2K 
[   ]ordinal6__1584_22.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__1595_40.min1.thm12017-02-06 12:46 418  
[   ]ordinal6__1596_21.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1598_37.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__1602_36.min1.thm12017-02-06 12:46 517  
[   ]ordinal6__1615_22.min1.thm12017-02-06 12:46 713  
[   ]ordinal6__1616_21.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__1617_25.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__1620_35.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__1620_56.min1.thm12017-02-06 12:46 859  
[   ]ordinal6__1623_35.min1.thm12017-02-06 12:46 3.2K 
[   ]ordinal6__1628_45.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__1636_35.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__1637_21.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__1638_20.min1.thm12017-02-06 12:46 589  
[   ]ordinal6__1641_27.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__1643_15.min1.thm12017-02-06 12:46 389  
[   ]ordinal6__1643_15.min1.thm1.tptp2017-02-06 16:47 324  
[   ]ordinal6__1646_53.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1648_32.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__1649_14.min1.thm12017-02-06 12:46 2.5K 
[   ]ordinal6__1654_23.min1.thm12017-02-06 12:46 661  
[   ]ordinal6__1656_19.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__1660_32.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__1662_22.min1.thm12017-02-06 12:46 642  
[   ]ordinal6__1663_23.min1.thm12017-02-06 12:46 2.7K 
[   ]ordinal6__1673_41.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__1674_22.min1.thm12017-02-06 12:46 886  
[   ]ordinal6__1675_22.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__1676_25.min1.thm12017-02-06 12:46 629  
[   ]ordinal6__1677_28.min1.thm12017-02-06 12:46 658  
[   ]ordinal6__1678_22.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__1679_21.min1.thm12017-02-06 12:46 600  
[   ]ordinal6__1680_44.min1.thm12017-02-06 12:46 895  
[   ]ordinal6__1681_20.min1.thm12017-02-06 12:46 249  
[   ]ordinal6__1682_17.min1.thm12017-02-06 12:46 552  
[   ]ordinal6__1683_17.min1.thm12017-02-06 12:46 892  
[   ]ordinal6__1684_17.min1.thm12017-02-06 12:46 802  
[   ]ordinal6__1686_41.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1691_19.min1.thm12017-02-06 12:46 665  
[   ]ordinal6__1692_25.min1.thm12017-02-06 12:46 649  
[   ]ordinal6__1698_38.min1.thm12017-02-06 12:46 2.6K 
[   ]ordinal6__1699_27.min1.thm12017-02-06 12:46 967  
[   ]ordinal6__1704_21.min1.thm12017-02-06 12:46 496  
[   ]ordinal6__1706_19.min1.thm12017-02-06 12:46 2.2K 
[   ]ordinal6__1715_21.min1.thm12017-02-06 12:46 528  
[   ]ordinal6__1715_21.min1.thm1.tptp2017-02-06 16:47 451  
[   ]ordinal6__1721_31.min1.thm12017-02-06 12:46 726  
[   ]ordinal6__1722_37.min1.thm12017-02-06 12:46 766  
[   ]ordinal6__1723_21.min1.thm12017-02-06 12:46 2.1K 
[   ]ordinal6__1729_36.min1.thm12017-02-06 12:46 782  
[   ]ordinal6__1730_52.min1.thm12017-02-06 12:46 927  
[   ]ordinal6__1743_47.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__1744_33.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__1745_39.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1751_31.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__1753_23.min1.thm12017-02-06 12:46 2.6K 
[   ]ordinal6__1766_16.min1.thm12017-02-06 12:46 575  
[   ]ordinal6__1768_34.min1.thm12017-02-06 12:46 765  
[   ]ordinal6__1769_18.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1772_21.min1.thm12017-02-06 12:46 772  
[   ]ordinal6__1777_26.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__1778_14.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__1784_22.min1.thm12017-02-06 12:46 355  
[   ]ordinal6__1784_22.min1.thm1.tptp2017-02-06 16:47 275  
[   ]ordinal6__1785_39.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1786_51.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__1787_32.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1788_20.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__1804_30.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1805_36.min1.thm12017-02-06 12:46 644  
[   ]ordinal6__1806_37.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__1807_25.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1809_50.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__1812_32.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1813_29.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__1814_23.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__1817_18.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1829_35.min1.thm12017-02-06 12:46 422  
[   ]ordinal6__1833_16.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__1841_15.min1.thm12017-02-06 12:46 713  
[   ]ordinal6__1842_42.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__1843_23.min1.thm12017-02-06 12:46 674  
[   ]ordinal6__1851_11.min1.thm12017-02-06 12:46 286  
[   ]ordinal6__1851_11.min1.thm1.tptp2017-02-06 16:47 201  
[   ]ordinal6__1860_16.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__1869_16.min1.thm12017-02-06 12:46 703  
[   ]ordinal6__1880_19.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1881_13.min1.thm12017-02-06 12:46 570  
[   ]ordinal6__1882_15.min1.thm12017-02-06 12:46 2.1K 
[   ]ordinal6__1883_13.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__1884_13.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__1887_15.min1.thm12017-02-06 12:46 558  
[   ]ordinal6__1896_13.min1.thm12017-02-06 12:46 768  
[   ]ordinal6__1905_17.min1.thm12017-02-06 12:46 765  
[   ]ordinal6__1912_32.min1.thm12017-02-06 12:46 711  
[   ]ordinal6__1913_15.min1.thm12017-02-06 12:46 957  
[   ]ordinal6__1933_15.min1.thm12017-02-06 12:46 757  
[   ]ordinal6__1934_19.min1.thm12017-02-06 12:46 607  
[   ]ordinal6__1951_20.min1.thm12017-02-06 12:46 449  
[   ]ordinal6__1951_20.min1.thm1.tptp2017-02-06 16:47 386  
[   ]ordinal6__1952_16.min1.thm12017-02-06 12:46 304  
[   ]ordinal6__1961_22.min1.thm12017-02-06 12:46 658  
[   ]ordinal6__1962_41.min1.thm12017-02-06 12:46 479  
[   ]ordinal6__1970_57.min1.thm12017-02-06 12:46 794  
[   ]ordinal6__1980_16.min1.thm12017-02-06 12:46 616  
[   ]ordinal6__1980_16.min1.thm1.tptp2017-02-06 16:47 572  
[   ]ordinal6__1982_18.min1.thm12017-02-06 12:46 535  
[   ]ordinal6__1985_21.min1.thm12017-02-06 12:46 623  
[   ]ordinal6__1986_21.min1.thm12017-02-06 12:46 694  
[   ]ordinal6__1997_16.min1.thm12017-02-06 12:46 616  
[   ]ordinal6__1997_16.min1.thm1.tptp2017-02-06 16:47 572  
[   ]ordinal6__1999_18.min1.thm12017-02-06 12:46 559  
[   ]ordinal6__2002_21.min1.thm12017-02-06 12:46 623  
[   ]ordinal6__2003_21.min1.thm12017-02-06 12:46 696  
[   ]ordinal6__2012_11.min1.thm12017-02-06 12:46 597  
[   ]ordinal6__2022_24.min1.thm12017-02-06 12:46 470  
[   ]ordinal6__2022_24.min1.thm1.tptp2017-02-06 16:47 392  
[   ]ordinal6__2023_19.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2033_17.min1.thm12017-02-06 12:46 849  
[   ]ordinal6__2034_28.min1.thm12017-02-06 12:46 362  
[   ]ordinal6__2034_28.min1.thm1.tptp2017-02-06 16:47 281  
[   ]ordinal6__2035_25.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2036_29.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2045_11.min1.thm12017-02-06 12:46 734  
[   ]ordinal6__2059_52.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2060_24.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2062_19.min1.thm12017-02-06 12:46 369  
[   ]ordinal6__2062_19.min1.thm1.tptp2017-02-06 16:47 302  
[   ]ordinal6__2075_28.min1.thm12017-02-06 12:46 463  
[   ]ordinal6__2075_28.min1.thm1.tptp2017-02-06 16:47 386  
[   ]ordinal6__2076_16.min1.thm12017-02-06 12:46 890  
[   ]ordinal6__2077_15.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2079_76.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2080_19.min1.thm12017-02-06 12:46 638  
[   ]ordinal6__2081_49.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2085_54.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__2096_41.min1.thm12017-02-06 12:46 906  
[   ]ordinal6__2097_54.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2098_27.min1.thm12017-02-06 12:46 490  
[   ]ordinal6__2098_27.min1.thm1.tptp2017-02-06 16:47 411  
[   ]ordinal6__2101_50.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2102_27.min1.thm12017-02-06 12:46 753  
[   ]ordinal6__2104_19.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2113_6.min1.thm12017-02-06 12:46 463  
[   ]ordinal6__2113_6.min1.thm1.tptp2017-02-06 16:47 386  
[   ]ordinal6__2117_29.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2118_20.min1.thm12017-02-06 12:46 760  
[   ]ordinal6__2121_42.min1.thm12017-02-06 12:46 660  
[   ]ordinal6__2122_35.min1.thm12017-02-06 12:46 916  
[   ]ordinal6__2124_13.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2125_27.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2126_57.min1.thm12017-02-06 12:46 920  
[   ]ordinal6__2127_16.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2144_21.min1.thm12017-02-06 12:46 646  
[   ]ordinal6__2145_37.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2148_27.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2155_33.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2165_56.min1.thm12017-02-06 12:46 2.3K 
[   ]ordinal6__2172_33.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2173_43.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2175_17.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2176_16.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2182_29.min1.thm12017-02-06 12:46 751  
[   ]ordinal6__2184_21.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2186_37.min1.thm12017-02-06 12:46 565  
[   ]ordinal6__2187_14.min1.thm12017-02-06 12:46 501  
[   ]ordinal6__2191_30.min1.thm12017-02-06 12:46 691  
[   ]ordinal6__2194_23.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2196_16.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__2200_22.min1.thm12017-02-06 12:46 789  
[   ]ordinal6__2202_21.min1.thm12017-02-06 12:46 565  
[   ]ordinal6__2203_51.min1.thm12017-02-06 12:46 599  
[   ]ordinal6__2205_35.min1.thm12017-02-06 12:46 903  
[   ]ordinal6__2208_28.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2214_21.min1.thm12017-02-06 12:46 693  
[   ]ordinal6__2216_8.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__2217_20.min1.thm12017-02-06 12:46 331  
[   ]ordinal6__2217_20.min1.thm1.tptp2017-02-06 16:47 251  
[   ]ordinal6__2218_24.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2219_17.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2222_21.min1.thm12017-02-06 12:46 641  
[   ]ordinal6__2224_19.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2236_56.min1.thm12017-02-06 12:46 2.2K 
[   ]ordinal6__2240_17.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2241_16.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2242_30.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__2255_27.min1.thm12017-02-06 12:46 664  
[   ]ordinal6__2256_18.min1.thm12017-02-06 12:46 918  
[   ]ordinal6__2258_21.min1.thm12017-02-06 12:46 901  
[   ]ordinal6__2264_31.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2265_37.min1.thm12017-02-06 12:46 780  
[   ]ordinal6__2266_21.min1.thm12017-02-06 12:46 2.1K 
[   ]ordinal6__2272_36.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2273_52.min1.thm12017-02-06 12:46 945  
[   ]ordinal6__2283_24.min1.thm12017-02-06 12:46 818  
[   ]ordinal6__2287_47.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__2288_33.min1.thm12017-02-06 12:46 2.1K 
[   ]ordinal6__2289_39.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__2295_31.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__2300_19.min1.thm12017-02-06 12:46 625  
[   ]ordinal6__2316_18.min1.thm12017-02-06 12:46 699  
[   ]ordinal6__2317_45.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2318_23.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__2323_45.min1.thm12017-02-06 12:46 679  
[   ]ordinal6__2327_75.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2329_28.min1.thm12017-02-06 12:46 569  
[   ]ordinal6__2331_75.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2333_15.min1.thm12017-02-06 12:46 2.1K 
[   ]ordinal6__2334_21.min1.thm12017-02-06 12:46 2.1K 
[   ]ordinal6__2339_34.min1.thm12017-02-06 12:46 680  
[   ]ordinal6__2340_21.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2341_25.min1.thm12017-02-06 12:46 833  
[   ]ordinal6__2342_35.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2343_31.min1.thm12017-02-06 12:46 778  
[   ]ordinal6__2344_21.min1.thm12017-02-06 12:46 607  
[   ]ordinal6__2345_22.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__2346_23.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2346_46.min1.thm12017-02-06 12:46 812  
[   ]ordinal6__2347_37.min1.thm12017-02-06 12:46 718  
[   ]ordinal6__2355_76.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2359_34.min1.thm12017-02-06 12:46 680  
[   ]ordinal6__2360_21.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2361_30.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2362_25.min1.thm12017-02-06 12:46 833  
[   ]ordinal6__2363_34.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2364_38.min1.thm12017-02-06 12:46 905  
[   ]ordinal6__2366_37.min1.thm12017-02-06 12:46 681  
[   ]ordinal6__2370_15.min1.thm12017-02-06 12:46 490  
[   ]ordinal6__2372_41.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2388_36.min1.thm12017-02-06 12:46 533  
[   ]ordinal6__2390_17.min1.thm12017-02-06 12:46 757  
[   ]ordinal6__2393_59.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2394_24.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2396_31.min1.thm12017-02-06 12:46 423  
[   ]ordinal6__2396_31.min1.thm1.tptp2017-02-06 16:47 356  
[   ]ordinal6__2397_19.min1.thm12017-02-06 12:46 596  
[   ]ordinal6__2406_27.min1.thm12017-02-06 12:46 832  
[   ]ordinal6__2410_19.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__2425_51.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__2426_26.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2426_43.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2431_41.min1.thm12017-02-06 12:46 940  
[   ]ordinal6__2432_32.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2434_20.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2435_55.min1.thm12017-02-06 12:46 841  
[   ]ordinal6__2438_20.min1.thm12017-02-06 12:46 429  
[   ]ordinal6__2438_20.min1.thm1.tptp2017-02-06 16:47 347  
[   ]ordinal6__2440_20.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2441_23.min1.thm12017-02-06 12:46 613  
[   ]ordinal6__2442_25.min1.thm12017-02-06 12:46 645  
[   ]ordinal6__2447_26.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2448_54.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__2449_18.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2452_42.min1.thm12017-02-06 12:46 647  
[   ]ordinal6__2453_18.min1.thm12017-02-06 12:46 250  
[   ]ordinal6__2454_15.min1.thm12017-02-06 12:46 535  
[   ]ordinal6__2455_15.min1.thm12017-02-06 12:46 869  
[   ]ordinal6__2456_15.min1.thm12017-02-06 12:46 784  
[   ]ordinal6__2457_21.min1.thm12017-02-06 12:46 707  
[   ]ordinal6__2459_44.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2468_13.min1.thm12017-02-06 12:46 776  
[   ]ordinal6__2472_13.min1.thm12017-02-06 12:46 776  
[   ]ordinal6__2483_47.min1.thm12017-02-06 12:46 327  
[   ]ordinal6__2483_47.min1.thm1.tptp2017-02-06 16:47 236  
[   ]ordinal6__2494_12.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__2499_20.min1.thm12017-02-06 12:46 346  
[   ]ordinal6__2499_20.min1.thm1.tptp2017-02-06 16:47 266  
[   ]ordinal6__2500_47.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2501_28.min1.thm12017-02-06 12:46 883  
[   ]ordinal6__2501_52.min1.thm12017-02-06 12:46 641  
[   ]ordinal6__2501_52.min1.thm1.tptp2017-02-06 16:47 581  
[   ]ordinal6__2502_18.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2511_23.min1.thm12017-02-06 12:46 812  
[   ]ordinal6__2512_18.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2518_37.min1.thm12017-02-06 12:46 684  
[   ]ordinal6__2519_21.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2521_54.min1.thm12017-02-06 12:46 487  
[   ]ordinal6__2521_54.min1.thm1.tptp2017-02-06 16:47 399  
[   ]ordinal6__2523_29.min1.thm12017-02-06 12:46 665  
[   ]ordinal6__2524_45.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2528_44.min1.thm12017-02-06 12:46 909  
[   ]ordinal6__2529_31.min1.thm12017-02-06 12:46 966  
[   ]ordinal6__2529_60.min1.thm12017-02-06 12:46 796  
[   ]ordinal6__2532_27.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2532_51.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__2546_46.min1.thm12017-02-06 12:46 459  
[   ]ordinal6__2546_46.min1.thm1.tptp2017-02-06 16:47 377  
[   ]ordinal6__2547_59.min1.thm12017-02-06 12:46 614  
[   ]ordinal6__2547_59.min1.thm1.tptp2017-02-06 16:47 557  
[   ]ordinal6__2549_29.min1.thm12017-02-06 12:46 621  
[   ]ordinal6__2549_29.min1.thm1.tptp2017-02-06 16:47 581  
[   ]ordinal6__2550_46.min1.thm12017-02-06 12:46 460  
[   ]ordinal6__2550_46.min1.thm1.tptp2017-02-06 16:47 378  
[   ]ordinal6__2551_59.min1.thm12017-02-06 12:46 614  
[   ]ordinal6__2551_59.min1.thm1.tptp2017-02-06 16:47 557  
[   ]ordinal6__2553_29.min1.thm12017-02-06 12:46 621  
[   ]ordinal6__2553_29.min1.thm1.tptp2017-02-06 16:47 581  
[   ]ordinal6__2563_17.min1.thm12017-02-06 12:46 324  
[   ]ordinal6__2563_17.min1.thm1.tptp2017-02-06 16:47 241  
[   ]ordinal6__2564_27.min1.thm12017-02-06 12:46 639  
[   ]ordinal6__2565_26.min1.thm12017-02-06 12:46 750  
[   ]ordinal6__2576_24.min1.thm12017-02-06 12:46 733  
[   ]ordinal6__2577_22.min1.thm12017-02-06 12:46 541  
[   ]ordinal6__2578_25.min1.thm12017-02-06 12:46 381  
[   ]ordinal6__2578_25.min1.thm1.tptp2017-02-06 16:47 316  
[   ]ordinal6__2581_27.min1.thm12017-02-06 12:46 662  
[   ]ordinal6__2582_26.min1.thm12017-02-06 12:46 734  
[   ]ordinal6__2593_8.min1.thm12017-02-06 12:46 711  
[   ]ordinal6__2599_20.min1.thm12017-02-06 12:46 334  
[   ]ordinal6__2599_20.min1.thm1.tptp2017-02-06 16:47 254  
[   ]ordinal6__2602_27.min1.thm12017-02-06 12:46 552  
[   ]ordinal6__2603_23.min1.thm12017-02-06 12:46 691  
[   ]ordinal6__2604_34.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__2606_42.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2611_20.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2619_19.min1.thm12017-02-06 12:46 466  
[   ]ordinal6__2620_30.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2621_18.min1.thm12017-02-06 12:46 880  
[   ]ordinal6__2622_22.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2625_23.min1.thm12017-02-06 12:46 824  
[   ]ordinal6__2635_45.min1.thm12017-02-06 12:46 417  
[   ]ordinal6__2635_45.min1.thm1.tptp2017-02-06 16:47 350  
[   ]ordinal6__2643_21.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__2647_19.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2661_13.min1.thm12017-02-06 12:46 740  
[   ]ordinal6__2662_17.min1.thm12017-02-06 12:46 861  
[   ]ordinal6__2663_55.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2664_20.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2665_55.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2668_28.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2669_27.min1.thm12017-02-06 12:46 2.1K 
[   ]ordinal6__2670_19.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2671_16.min1.thm12017-02-06 12:46 522  
[   ]ordinal6__2672_17.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2673_16.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2675_27.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2680_23.min1.thm12017-02-06 12:46 454  
[   ]ordinal6__2680_23.min1.thm1.tptp2017-02-06 16:47 376  
[   ]ordinal6__2683_29.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2684_18.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2685_31.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2687_21.min1.thm12017-02-06 12:46 349  
[   ]ordinal6__2687_21.min1.thm1.tptp2017-02-06 16:47 284  
[   ]ordinal6__2689_27.min1.thm12017-02-06 12:46 653  
[   ]ordinal6__2702_8.min1.thm12017-02-06 12:46 2.3K 
[   ]ordinal6__2713_23.min1.thm12017-02-06 12:46 691  
[   ]ordinal6__2714_35.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__2715_35.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2716_21.min1.thm12017-02-06 12:46 334  
[   ]ordinal6__2716_21.min1.thm1.tptp2017-02-06 16:47 254  
[   ]ordinal6__2717_16.min1.thm12017-02-06 12:46 763  
[   ]ordinal6__2718_22.min1.thm12017-02-06 12:46 588  
[   ]ordinal6__2719_29.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__2720_45.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2721_18.min1.thm12017-02-06 12:46 717  
[   ]ordinal6__2723_20.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__2740_18.min1.thm12017-02-06 12:46 671  
[   ]ordinal6__2742_20.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__2746_18.min1.thm12017-02-06 12:46 620  
[   ]ordinal6__2749_21.min1.thm12017-02-06 12:46 474  
[   ]ordinal6__2750_32.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2751_23.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2752_21.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2753_24.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2759_35.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2760_36.min1.thm12017-02-06 12:46 754  
[   ]ordinal6__2762_31.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2763_24.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2785_13.min1.thm12017-02-06 12:46 740  
[   ]ordinal6__2787_6.min1.thm12017-02-06 12:46 2.3K 
[   ]ordinal6__2789_43.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2790_19.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2791_16.min1.thm12017-02-06 12:46 522  
[   ]ordinal6__2792_17.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2793_16.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2794_18.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2798_18.min1.thm12017-02-06 12:46 904  
[   ]ordinal6__2799_43.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__2802_17.min1.thm12017-02-06 12:46 455  
[   ]ordinal6__2804_36.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__2809_29.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2810_60.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__2811_18.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2812_23.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2813_19.min1.thm12017-02-06 12:46 863  
[   ]ordinal6__2814_29.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__2815_16.min1.thm12017-02-06 12:46 643  
[   ]ordinal6__2816_52.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2822_37.min1.thm12017-02-06 12:46 824  
[   ]ordinal6__2823_67.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__2824_25.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2825_22.min1.thm12017-02-06 12:46 820  
[   ]ordinal6__2826_25.min1.thm12017-02-06 12:46 691  
[   ]ordinal6__2827_44.min1.thm12017-02-06 12:46 2.8K 
[   ]ordinal6__2831_22.min1.thm12017-02-06 12:46 2.2K 
[   ]ordinal6__2836_31.min1.thm12017-02-06 12:46 572  
[   ]ordinal6__2840_51.min1.thm12017-02-06 12:46 2.9K 
[   ]ordinal6__2848_57.min1.thm12017-02-06 12:46 519  
[   ]ordinal6__2849_27.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__2850_52.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2860_66.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2861_18.min1.thm12017-02-06 12:46 747  
[   ]ordinal6__2862_26.min1.thm12017-02-06 12:46 679  
[   ]ordinal6__2863_41.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__2876_16.min1.thm12017-02-06 12:46 521  
[   ]ordinal6__2877_41.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2878_27.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2879_16.min1.thm12017-02-06 12:46 935  
[   ]ordinal6__2880_26.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2883_15.min1.thm12017-02-06 12:46 742  
[   ]ordinal6__2884_60.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__2885_22.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2887_24.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2892_24.min1.thm12017-02-06 12:46 914  
[   ]ordinal6__2893_49.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__2896_23.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2901_34.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2902_34.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__2903_30.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__2910_34.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2911_20.min1.thm12017-02-06 12:46 888  
[   ]ordinal6__2922_23.min1.thm12017-02-06 12:46 340  
[   ]ordinal6__2922_23.min1.thm1.tptp2017-02-06 16:47 260  
[   ]ordinal6__2924_32.min1.thm12017-02-06 12:46 411  
[   ]ordinal6__2924_32.min1.thm1.tptp2017-02-06 16:47 336  
[   ]ordinal6__2925_26.min1.thm12017-02-06 12:46 897  
[   ]ordinal6__2929_20.min1.thm12017-02-06 12:46 2.6K 
[   ]ordinal6__2930_25.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__2932_23.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__2941_33.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2942_20.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__2945_22.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__2946_45.min1.thm12017-02-06 12:46 673  
[   ]ordinal6__2947_26.min1.thm12017-02-06 12:46 816  
[   ]ordinal6__2949_29.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2950_45.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2951_18.min1.thm12017-02-06 12:46 630  
[   ]ordinal6__2953_27.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__2962_16.min1.thm12017-02-06 12:46 742  
[   ]ordinal6__2972_36.min1.thm12017-02-06 12:46 820  
[   ]ordinal6__2973_39.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__2985_11.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__2988_20.min1.thm12017-02-06 12:46 334  
[   ]ordinal6__2988_20.min1.thm1.tptp2017-02-06 16:47 254  
[   ]ordinal6__2989_40.min1.thm12017-02-06 12:46 729  
[   ]ordinal6__2990_21.min1.thm12017-02-06 12:46 2.4K 
[   ]ordinal6__3000_22.min1.thm12017-02-06 12:46 663  
[   ]ordinal6__3001_59.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__3003_21.min1.thm12017-02-06 12:46 2.3K 
[   ]ordinal6__3006_16.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__3006_16.min1.thm1.tptp2017-02-06 16:47 1.1K 
[   ]ordinal6__3013_19.min1.thm12017-02-06 12:46 862  
[   ]ordinal6__3016_58.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3020_41.min1.thm12017-02-06 12:46 509  
[   ]ordinal6__3021_12.min1.thm12017-02-06 12:46 493  
[   ]ordinal6__3022_41.min1.thm12017-02-06 12:46 745  
[   ]ordinal6__3031_20.min1.thm12017-02-06 12:46 334  
[   ]ordinal6__3031_20.min1.thm1.tptp2017-02-06 16:47 254  
[   ]ordinal6__3032_40.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__3034_49.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__3035_21.min1.thm12017-02-06 12:46 2.3K 
[   ]ordinal6__3043_31.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__3044_63.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__3045_52.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3046_48.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__3051_49.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__3052_17.min1.thm12017-02-06 12:46 945  
[   ]ordinal6__3053_29.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__3058_16.min1.thm12017-02-06 12:46 572  
[   ]ordinal6__3058_16.min1.thm1.tptp2017-02-06 16:47 497  
[   ]ordinal6__3066_28.min1.thm12017-02-06 12:46 739  
[   ]ordinal6__3068_42.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__3069_54.min1.thm12017-02-06 12:46 2.1K 
[   ]ordinal6__3070_23.min1.thm12017-02-06 12:46 578  
[   ]ordinal6__3071_23.min1.thm12017-02-06 12:46 631  
[   ]ordinal6__3072_59.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__3084_13.min1.thm12017-02-06 12:46 740  
[   ]ordinal6__3085_17.min1.thm12017-02-06 12:46 861  
[   ]ordinal6__3086_29.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3087_42.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__3088_16.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__3089_19.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__3093_18.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__3094_43.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__3097_16.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3098_51.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__3099_19.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__3105_19.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__3111_34.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__3112_20.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3113_64.min1.thm12017-02-06 12:46 2.8K 
[   ]ordinal6__3114_21.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__3116_19.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__3118_23.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__3124_20.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__3125_22.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__3132_32.min1.thm12017-02-06 12:46 615  
[   ]ordinal6__3134_38.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__3135_24.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3137_12.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__3138_26.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__3140_31.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__3141_26.min1.thm12017-02-06 12:46 1.8K 
[   ]ordinal6__3147_23.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3148_26.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__3149_28.min1.thm12017-02-06 12:46 2.7K 
[   ]ordinal6__3157_40.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__3158_25.min1.thm12017-02-06 12:46 2.1K 
[   ]ordinal6__3164_34.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3165_20.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3167_10.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__3168_23.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__3170_21.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__3174_30.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__3175_32.min1.thm12017-02-06 12:46 3.7K 
[   ]ordinal6__3177_19.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3186_44.min1.thm12017-02-06 12:46 931  
[   ]ordinal6__3187_17.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__3188_19.min1.thm12017-02-06 12:46 952  
[   ]ordinal6__3196_11.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__3203_11.min1.thm12017-02-06 12:46 507  
[   ]ordinal6__3206_14.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__3207_23.min1.thm12017-02-06 12:46 793  
[   ]ordinal6__3215_34.min1.thm12017-02-06 12:46 950  
[   ]ordinal6__3216_34.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__3217_19.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__3226_38.min1.thm12017-02-06 12:46 2.0K 
[   ]ordinal6__3234_13.min1.thm12017-02-06 12:46 345  
[   ]ordinal6__3235_16.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__3236_20.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__3237_17.min1.thm12017-02-06 12:46 594  
[   ]ordinal6__3238_16.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__3239_13.min1.thm12017-02-06 12:46 731  
[   ]ordinal6__3247_17.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__3250_49.min1.thm12017-02-06 12:46 2.4K 
[   ]ordinal6__3253_13.min1.thm12017-02-06 12:46 716  
[   ]ordinal6__3254_16.min1.thm12017-02-06 12:46 683  
[   ]ordinal6__3255_34.min1.thm12017-02-06 12:46 2.6K 
[   ]ordinal6__3257_17.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__3269_17.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__3271_13.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__3274_19.min1.thm12017-02-06 12:46 1.9K 
[   ]ordinal6__3275_17.min1.thm12017-02-06 12:46 892  
[   ]ordinal6__3277_20.min1.thm12017-02-06 12:46 2.9K 
[   ]ordinal6__3286_43.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__3293_34.min1.thm12017-02-06 12:46 2.9K 
[   ]ordinal6__3294_28.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3298_15.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3299_18.min1.thm12017-02-06 12:46 651  
[   ]ordinal6__3301_38.min1.thm12017-02-06 12:46 723  
[   ]ordinal6__3304_17.min1.thm12017-02-06 12:46 604  
[   ]ordinal6__3305_21.min1.thm12017-02-06 12:46 3.5K 
[   ]ordinal6__3307_41.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__3312_13.min1.thm12017-02-06 12:46 746  
[   ]ordinal6__3313_14.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__3314_17.min1.thm12017-02-06 12:46 3.5K 
[   ]ordinal6__3316_31.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__3323_42.min1.thm12017-02-06 12:46 666  
[   ]ordinal6__3324_19.min1.thm12017-02-06 12:46 912  
[   ]ordinal6__3336_20.min1.thm12017-02-06 12:46 538  
[   ]ordinal6__3338_25.min1.thm12017-02-06 12:46 770  
[   ]ordinal6__3341_46.min1.thm12017-02-06 12:46 725  
[   ]ordinal6__3342_34.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__3345_46.min1.thm12017-02-06 12:46 725  
[   ]ordinal6__3346_34.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__3351_18.min1.thm12017-02-06 12:46 846  
[   ]ordinal6__3353_41.min1.thm12017-02-06 12:46 732  
[   ]ordinal6__3357_44.min1.thm12017-02-06 12:46 799  
[   ]ordinal6__3358_41.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__3362_44.min1.thm12017-02-06 12:46 799  
[   ]ordinal6__3363_41.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__3374_16.min1.thm12017-02-06 12:46 952  
[   ]ordinal6__3376_19.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3382_47.min1.thm12017-02-06 12:46 2.1K 
[   ]ordinal6__3383_47.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__3391_17.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__3392_43.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__3394_35.min1.thm12017-02-06 12:46 3.6K 
[   ]ordinal6__3395_33.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3396_21.min1.thm12017-02-06 12:46 1.6K 
[   ]ordinal6__3397_39.min1.thm12017-02-06 12:46 422  
[   ]ordinal6__3397_39.min1.thm1.tptp2017-02-06 16:47 345  
[   ]ordinal6__3397_52.min1.thm12017-02-06 12:46 391  
[   ]ordinal6__3397_52.min1.thm1.tptp2017-02-06 16:47 318  
[   ]ordinal6__3398_19.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__3399_36.min1.thm12017-02-06 12:46 871  
[   ]ordinal6__3400_13.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__3401_16.min1.thm12017-02-06 12:46 562  
[   ]ordinal6__3404_49.min1.thm12017-02-06 12:46 2.2K 
[   ]ordinal6__3407_36.min1.thm12017-02-06 12:46 933  
[   ]ordinal6__3410_6.min1.thm12017-02-06 12:46 2.2K 
[   ]ordinal6__3418_29.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__3420_29.min1.thm12017-02-06 12:46 717  
[   ]ordinal6__3422_31.min1.thm12017-02-06 12:46 883  
[   ]ordinal6__3425_19.min1.thm12017-02-06 12:46 336  
[   ]ordinal6__3425_19.min1.thm1.tptp2017-02-06 16:47 254  
[   ]ordinal6__3434_34.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__3436_34.min1.thm12017-02-06 12:46 718  
[   ]ordinal6__3437_18.min1.thm12017-02-06 12:46 328  
[   ]ordinal6__3437_18.min1.thm1.tptp2017-02-06 16:47 248  
[   ]ordinal6__3438_34.min1.thm12017-02-06 12:46 682  
[   ]ordinal6__3439_13.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__3440_18.min1.thm12017-02-06 12:46 611  
[   ]ordinal6__3441_46.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__3443_34.min1.thm12017-02-06 12:46 1.1K 
[   ]ordinal6__3444_18.min1.thm12017-02-06 12:46 779  
[   ]ordinal6__3445_13.min1.thm12017-02-06 12:46 613  
[   ]ordinal6__3446_29.min1.thm12017-02-06 12:46 562  
[   ]ordinal6__3447_18.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__3448_13.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__3458_13.min1.thm12017-02-06 12:46 740  
[   ]ordinal6__3459_17.min1.thm12017-02-06 12:46 861  
[   ]ordinal6__3460_19.min1.thm12017-02-06 12:46 786  
[   ]ordinal6__3461_13.min1.thm12017-02-06 12:46 365  
[   ]ordinal6__3461_13.min1.thm1.tptp2017-02-06 16:47 282  
[   ]ordinal6__3462_17.min1.thm12017-02-06 12:46 1.0K 
[   ]ordinal6__3463_22.min1.thm12017-02-06 12:46 777  
[   ]ordinal6__3465_6.min1.thm12017-02-06 12:46 2.6K 
[   ]ordinal6__3466_55.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3468_22.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__3469_19.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__3470_17.min1.thm12017-02-06 12:46 693  
[   ]ordinal6__3471_49.min1.thm12017-02-06 12:46 1.7K 
[   ]ordinal6__3472_17.min1.thm12017-02-06 12:46 2.1K 
[   ]ordinal6__3473_19.min1.thm12017-02-06 12:46 2.4K 
[   ]ordinal6__3479_17.min1.thm12017-02-06 12:46 2.7K 
[   ]ordinal6__3480_19.min1.thm12017-02-06 12:46 2.8K 
[   ]ordinal6__3481_37.min1.thm12017-02-06 12:46 1.5K 
[   ]ordinal6__3483_22.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__3484_23.min1.thm12017-02-06 12:46 1.4K 
[   ]ordinal6__3485_29.min1.thm12017-02-06 12:46 720  
[   ]ordinal6__3490_31.min1.thm12017-02-06 12:46 658  
[   ]ordinal6__3491_29.min1.thm12017-02-06 12:46 531  
[   ]ordinal6__3492_30.min1.thm12017-02-06 12:46 1.3K 
[   ]ordinal6__3493_19.min1.thm12017-02-06 12:46 1.2K 
[   ]ordinal6__3500_11.min1.thm12017-02-06 12:46 264  
[   ]ordinal6__3501_29.min1.thm12017-02-06 12:46 499  
[   ]ordinal6__3501_29.min1.thm1.tptp2017-02-06 16:47 446  
[   ]ordinal6__3503_6.min1.thm12017-02-06 12:46 597  
[   ]ordinal6__3503_6.min1.thm1.tptp2017-02-06 16:47 583  
[   ]ordinal6__3505_16.min1.thm12017-02-06 12:46 356  
[   ]ordinal6__3505_16.min1.thm1.tptp2017-02-06 16:47 279  

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80