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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal1__42_16.min1.thm12017-02-06 12:46 803  
[ ]ordinal1__50_11.min1.thm12017-02-06 12:46 130  
[ ]ordinal1__56_11.min1.thm12017-02-06 12:46 414  
[ ]ordinal1__62_15.min1.thm12017-02-06 12:46 267  
[ ]ordinal1__63_17.min1.thm12017-02-06 12:46 477  
[ ]ordinal1__72_20.min1.thm12017-02-06 12:46 436  
[ ]ordinal1__74_27.min1.thm12017-02-06 12:46 465  
[ ]ordinal1__74_27.min1.thm1.tptp2017-02-06 16:47 403  
[ ]ordinal1__75_20.min1.thm12017-02-06 12:46 436  
[ ]ordinal1__76_30.min1.thm12017-02-06 12:46 465  
[ ]ordinal1__76_30.min1.thm1.tptp2017-02-06 16:47 403  
[ ]ordinal1__86_32.min1.thm12017-02-06 12:46 532  
[ ]ordinal1__87_19.min1.thm12017-02-06 12:46 438  
[ ]ordinal1__87_19.min1.thm1.tptp2017-02-06 16:47 373  
[ ]ordinal1__90_30.min1.thm12017-02-06 12:46 425  
[ ]ordinal1__90_30.min1.thm1.tptp2017-02-06 16:47 360  
[ ]ordinal1__91_17.min1.thm12017-02-06 12:46 528  
[ ]ordinal1__99_16.min1.thm12017-02-06 12:46 325  
[ ]ordinal1__99_16.min1.thm1.tptp2017-02-06 16:47 245  
[ ]ordinal1__121_30.min1.thm12017-02-06 12:46 315  
[ ]ordinal1__121_30.min1.thm1.tptp2017-02-06 16:47 243  
[ ]ordinal1__122_58.min1.thm12017-02-06 12:46 378  
[ ]ordinal1__122_58.min1.thm1.tptp2017-02-06 16:47 306  
[ ]ordinal1__138_14.min1.thm12017-02-06 12:46 273  
[ ]ordinal1__140_14.min1.thm12017-02-06 12:46 273  
[ ]ordinal1__149_14.min1.thm12017-02-06 12:46 318  
[ ]ordinal1__149_14.min1.thm1.tptp2017-02-06 16:47 244  
[ ]ordinal1__166_11.min1.thm12017-02-06 12:46 405  
[ ]ordinal1__167_17.min1.thm12017-02-06 12:46 812  
[ ]ordinal1__178_13.min1.thm12017-02-06 12:46 336  
[ ]ordinal1__178_13.min1.thm1.tptp2017-02-06 16:47 262  
[ ]ordinal1__182_18.min1.thm12017-02-06 12:46 446  
[ ]ordinal1__185_17.min1.thm12017-02-06 12:46 750  
[ ]ordinal1__188_38.min1.thm12017-02-06 12:46 548  
[ ]ordinal1__188_38.min1.thm1.tptp2017-02-06 16:47 494  
[ ]ordinal1__189_17.min1.thm12017-02-06 12:46 505  
[ ]ordinal1__195_10.min1.thm12017-02-06 12:46 264  
[ ]ordinal1__196_13.min1.thm12017-02-06 12:46 413  
[ ]ordinal1__197_22.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal1__198_19.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal1__201_13.min1.thm12017-02-06 12:46 372  
[ ]ordinal1__201_13.min1.thm1.tptp2017-02-06 16:47 308  
[ ]ordinal1__202_13.min1.thm12017-02-06 12:46 947  
[ ]ordinal1__207_26.min1.thm12017-02-06 12:46 415  
[ ]ordinal1__207_26.min1.thm1.tptp2017-02-06 16:47 332  
[ ]ordinal1__208_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal1__211_14.min1.thm12017-02-06 12:46 373  
[ ]ordinal1__211_14.min1.thm1.tptp2017-02-06 16:47 309  
[ ]ordinal1__212_11.min1.thm12017-02-06 12:46 695  
[ ]ordinal1__213_17.min1.thm12017-02-06 12:46 486  
[ ]ordinal1__224_11.min1.thm12017-02-06 12:46 494  
[ ]ordinal1__226_13.min1.thm12017-02-06 12:46 421  
[ ]ordinal1__227_11.min1.thm12017-02-06 12:46 390  
[ ]ordinal1__228_16.min1.thm12017-02-06 12:46 404  
[ ]ordinal1__229_17.min1.thm12017-02-06 12:46 493  
[ ]ordinal1__238_13.min1.thm12017-02-06 12:46 494  
[ ]ordinal1__244_13.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal1__247_26.min1.thm12017-02-06 12:46 384  
[ ]ordinal1__247_26.min1.thm1.tptp2017-02-06 16:47 318  
[ ]ordinal1__248_17.min1.thm12017-02-06 12:46 564  
[ ]ordinal1__251_38.min1.thm12017-02-06 12:46 528  
[ ]ordinal1__251_38.min1.thm1.tptp2017-02-06 16:47 474  
[ ]ordinal1__252_13.min1.thm12017-02-06 12:46 707  
[ ]ordinal1__253_37.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal1__257_30.min1.thm12017-02-06 12:46 352  
[ ]ordinal1__257_30.min1.thm1.tptp2017-02-06 16:47 285  
[ ]ordinal1__258_63.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal1__259_32.min1.thm12017-02-06 12:46 478  
[ ]ordinal1__259_32.min1.thm1.tptp2017-02-06 16:47 411  
[ ]ordinal1__260_17.min1.thm12017-02-06 12:46 365  
[ ]ordinal1__269_15.min1.thm12017-02-06 12:46 588  
[ ]ordinal1__270_20.min1.thm12017-02-06 12:46 410  
[ ]ordinal1__272_26.min1.thm12017-02-06 12:46 376  
[ ]ordinal1__272_26.min1.thm1.tptp2017-02-06 16:47 310  
[ ]ordinal1__273_15.min1.thm12017-02-06 12:46 550  
[ ]ordinal1__276_38.min1.thm12017-02-06 12:46 516  
[ ]ordinal1__276_38.min1.thm1.tptp2017-02-06 16:47 462  
[ ]ordinal1__277_13.min1.thm12017-02-06 12:46 947  
[ ]ordinal1__282_26.min1.thm12017-02-06 12:46 416  
[ ]ordinal1__282_26.min1.thm1.tptp2017-02-06 16:47 333  
[ ]ordinal1__283_19.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal1__285_16.min1.thm12017-02-06 12:46 373  
[ ]ordinal1__285_16.min1.thm1.tptp2017-02-06 16:47 309  
[ ]ordinal1__287_22.min1.thm12017-02-06 12:46 372  
[ ]ordinal1__287_22.min1.thm1.tptp2017-02-06 16:47 300  
[ ]ordinal1__288_32.min1.thm12017-02-06 12:46 699  
[ ]ordinal1__289_17.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal1__298_52.min1.thm12017-02-06 12:46 755  
[ ]ordinal1__304_39.min1.thm12017-02-06 12:46 406  
[ ]ordinal1__305_13.min1.thm12017-02-06 12:46 536  
[ ]ordinal1__306_16.min1.thm12017-02-06 12:46 338  
[ ]ordinal1__306_16.min1.thm1.tptp2017-02-06 16:47 252  
[ ]ordinal1__314_32.min1.thm12017-02-06 12:46 567  
[ ]ordinal1__315_19.min1.thm12017-02-06 12:46 929  
[ ]ordinal1__322_18.min1.thm12017-02-06 12:46 477  
[ ]ordinal1__323_17.min1.thm12017-02-06 12:46 654  
[ ]ordinal1__329_30.min1.thm12017-02-06 12:46 523  
[ ]ordinal1__330_17.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal1__335_14.min1.thm12017-02-06 12:46 403  
[ ]ordinal1__343_31.min1.thm12017-02-06 12:46 311  
[ ]ordinal1__345_28.min1.thm12017-02-06 12:46 644  
[ ]ordinal1__351_32.min1.thm12017-02-06 12:46 375  
[ ]ordinal1__351_32.min1.thm1.tptp2017-02-06 16:47 300  
[ ]ordinal1__355_15.min1.thm12017-02-06 12:46 503  
[ ]ordinal1__356_24.min1.thm12017-02-06 12:46 284  
[ ]ordinal1__357_26.min1.thm12017-02-06 12:46 571  
[ ]ordinal1__360_24.min1.thm12017-02-06 12:46 772  
[ ]ordinal1__363_35.min1.thm12017-02-06 12:46 472  
[ ]ordinal1__369_23.min1.thm12017-02-06 12:46 524  
[ ]ordinal1__370_22.min1.thm12017-02-06 12:46 524  
[ ]ordinal1__371_38.min1.thm12017-02-06 12:46 815  
[ ]ordinal1__373_37.min1.thm12017-02-06 12:46 598  
[ ]ordinal1__374_17.min1.thm12017-02-06 12:46 485  
[ ]ordinal1__381_34.min1.thm12017-02-06 12:46 334  
[ ]ordinal1__381_34.min1.thm1.tptp2017-02-06 16:47 257  
[ ]ordinal1__387_13.min1.thm12017-02-06 12:46 415  
[ ]ordinal1__387_13.min1.thm1.tptp2017-02-06 16:47 360  
[ ]ordinal1__388_13.min1.thm12017-02-06 12:46 318  
[ ]ordinal1__388_13.min1.thm1.tptp2017-02-06 16:47 232  
[ ]ordinal1__389_35.min1.thm12017-02-06 12:46 398  
[ ]ordinal1__390_13.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal1__391_19.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal1__399_13.min1.thm12017-02-06 12:46 407  
[ ]ordinal1__399_13.min1.thm1.tptp2017-02-06 16:47 352  
[ ]ordinal1__400_13.min1.thm12017-02-06 12:46 310  
[ ]ordinal1__400_13.min1.thm1.tptp2017-02-06 16:47 224  
[ ]ordinal1__403_13.min1.thm12017-02-06 12:46 408  
[ ]ordinal1__403_13.min1.thm1.tptp2017-02-06 16:47 353  
[ ]ordinal1__404_30.min1.thm12017-02-06 12:46 567  
[ ]ordinal1__405_11.min1.thm12017-02-06 12:46 312  
[ ]ordinal1__405_11.min1.thm1.tptp2017-02-06 16:47 226  
[ ]ordinal1__407_20.min1.thm12017-02-06 12:46 392  
[ ]ordinal1__408_11.min1.thm12017-02-06 12:46 311  
[ ]ordinal1__408_11.min1.thm1.tptp2017-02-06 16:47 225  
[ ]ordinal1__409_22.min1.thm12017-02-06 12:46 392  
[ ]ordinal1__410_17.min1.thm12017-02-06 12:46 520  
[ ]ordinal1__417_40.min1.thm12017-02-06 12:46 456  
[ ]ordinal1__419_15.min1.thm12017-02-06 12:46 550  
[ ]ordinal1__426_14.min1.thm12017-02-06 12:46 512  
[ ]ordinal1__428_14.min1.thm12017-02-06 12:46 312  
[ ]ordinal1__428_14.min1.thm1.tptp2017-02-06 16:47 231  
[ ]ordinal1__440_19.min1.thm12017-02-06 12:46 370  
[ ]ordinal1__440_19.min1.thm1.tptp2017-02-06 16:47 293  
[ ]ordinal1__444_37.min1.thm12017-02-06 12:46 424  
[ ]ordinal1__444_37.min1.thm1.tptp2017-02-06 16:47 347  
[ ]ordinal1__445_17.min1.thm12017-02-06 12:46 486  
[ ]ordinal1__445_17.min1.thm1.tptp2017-02-06 16:47 414  
[ ]ordinal1__455_11.min1.thm12017-02-06 12:46 484  
[ ]ordinal1__458_34.min1.thm12017-02-06 12:46 445  
[ ]ordinal1__458_34.min1.thm1.tptp2017-02-06 16:47 391  
[ ]ordinal1__459_17.min1.thm12017-02-06 12:46 960  
[ ]ordinal1__461_9.min1.thm12017-02-06 12:46 228  
[ ]ordinal1__463_16.min1.thm12017-02-06 12:46 308  
[ ]ordinal1__463_16.min1.thm1.tptp2017-02-06 16:47 222  
[ ]ordinal1__466_20.min1.thm12017-02-06 12:46 416  
[ ]ordinal1__467_25.min1.thm12017-02-06 12:46 547  
[ ]ordinal1__468_17.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal1__478_37.min1.thm12017-02-06 12:46 376  
[ ]ordinal1__478_37.min1.thm1.tptp2017-02-06 16:47 316  
[ ]ordinal1__480_17.min1.thm12017-02-06 12:46 397  
[ ]ordinal1__480_17.min1.thm1.tptp2017-02-06 16:47 333  
[ ]ordinal1__481_13.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal1__482_19.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal1__486_16.min1.thm12017-02-06 12:46 325  
[ ]ordinal1__486_16.min1.thm1.tptp2017-02-06 16:47 245  
[ ]ordinal1__487_17.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal1__496_32.min1.thm12017-02-06 12:46 532  
[ ]ordinal1__497_19.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal1__502_35.min1.thm12017-02-06 12:46 783  
[ ]ordinal1__504_18.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal1__505_16.min1.thm12017-02-06 12:46 325  
[ ]ordinal1__505_16.min1.thm1.tptp2017-02-06 16:47 245  
[ ]ordinal1__506_21.min1.thm12017-02-06 12:46 852  
[ ]ordinal1__507_20.min1.thm12017-02-06 12:46 833  
[ ]ordinal1__521_11.min1.thm12017-02-06 12:46 244  
[ ]ordinal1__525_43.min1.thm12017-02-06 12:46 467  
[ ]ordinal1__525_43.min1.thm1.tptp2017-02-06 16:47 411  
[ ]ordinal1__527_18.min1.thm12017-02-06 12:46 490  
[ ]ordinal1__528_16.min1.thm12017-02-06 12:46 331  
[ ]ordinal1__528_16.min1.thm1.tptp2017-02-06 16:47 251  
[ ]ordinal1__529_17.min1.thm12017-02-06 12:46 778  
[ ]ordinal1__533_16.min1.thm12017-02-06 12:46 525  
[ ]ordinal1__535_18.min1.thm12017-02-06 12:46 939  
[ ]ordinal1__537_25.min1.thm12017-02-06 12:46 519  
[ ]ordinal1__538_12.min1.thm12017-02-06 12:46 262  
[ ]ordinal1__544_16.min1.thm12017-02-06 12:46 756  
[ ]ordinal1__545_16.min1.thm12017-02-06 12:46 604  
[ ]ordinal1__565_39.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal1__569_15.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal1__572_26.min1.thm12017-02-06 12:46 1.6K 
[ ]ordinal1__574_17.min1.thm12017-02-06 12:46 657  
[ ]ordinal1__575_17.min1.thm12017-02-06 12:46 360  
[ ]ordinal1__575_17.min1.thm1.tptp2017-02-06 16:47 281  
[ ]ordinal1__576_22.min1.thm12017-02-06 12:46 741  
[ ]ordinal1__579_51.min1.thm12017-02-06 12:46 541  
[ ]ordinal1__580_16.min1.thm12017-02-06 12:46 276  
[ ]ordinal1__583_11.min1.thm12017-02-06 12:46 498  
[ ]ordinal1__584_17.min1.thm12017-02-06 12:46 621  
[ ]ordinal1__587_30.min1.thm12017-02-06 12:46 733  
[ ]ordinal1__588_30.min1.thm12017-02-06 12:46 731  
[ ]ordinal1__589_14.min1.thm12017-02-06 12:46 260  
[ ]ordinal1__607_13.min1.thm12017-02-06 12:46 415  
[ ]ordinal1__607_13.min1.thm1.tptp2017-02-06 16:47 360  
[ ]ordinal1__608_19.min1.thm12017-02-06 12:46 324  
[ ]ordinal1__608_19.min1.thm1.tptp2017-02-06 16:47 243  
[ ]ordinal1__610_13.min1.thm12017-02-06 12:46 507  
[ ]ordinal1__613_19.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal1__621_13.min1.thm12017-02-06 12:46 407  
[ ]ordinal1__621_13.min1.thm1.tptp2017-02-06 16:47 352  
[ ]ordinal1__622_17.min1.thm12017-02-06 12:46 316  
[ ]ordinal1__622_17.min1.thm1.tptp2017-02-06 16:47 235  
[ ]ordinal1__624_19.min1.thm12017-02-06 12:46 387  
[ ]ordinal1__627_14.min1.thm12017-02-06 12:46 408  
[ ]ordinal1__627_14.min1.thm1.tptp2017-02-06 16:47 353  
[ ]ordinal1__628_17.min1.thm12017-02-06 12:46 318  
[ ]ordinal1__628_17.min1.thm1.tptp2017-02-06 16:47 237  
[ ]ordinal1__629_22.min1.thm12017-02-06 12:46 390  
[ ]ordinal1__630_17.min1.thm12017-02-06 12:46 519  
[ ]ordinal1__640_25.min1.thm12017-02-06 12:46 359  
[ ]ordinal1__640_25.min1.thm1.tptp2017-02-06 16:47 292  
[ ]ordinal1__641_46.min1.thm12017-02-06 12:46 448  
[ ]ordinal1__646_37.min1.thm12017-02-06 12:46 316  
[ ]ordinal1__646_37.min1.thm1.tptp2017-02-06 16:47 235  
[ ]ordinal1__647_32.min1.thm12017-02-06 12:46 476  
[ ]ordinal1__648_22.min1.thm12017-02-06 12:46 393  
[ ]ordinal1__648_22.min1.thm1.tptp2017-02-06 16:47 329  
[ ]ordinal1__649_17.min1.thm12017-02-06 12:46 896  
[ ]ordinal1__662_19.min1.thm12017-02-06 12:46 325  
[ ]ordinal1__662_19.min1.thm1.tptp2017-02-06 16:47 244  
[ ]ordinal1__667_26.min1.thm12017-02-06 12:46 409  
[ ]ordinal1__668_21.min1.thm12017-02-06 12:46 333  
[ ]ordinal1__668_21.min1.thm1.tptp2017-02-06 16:47 252  
[ ]ordinal1__675_39.min1.thm12017-02-06 12:46 405  
[ ]ordinal1__675_39.min1.thm1.tptp2017-02-06 16:47 324  
[ ]ordinal1__676_19.min1.thm12017-02-06 12:46 506  
[ ]ordinal1__676_19.min1.thm1.tptp2017-02-06 16:47 434  
[ ]ordinal1__678_16.min1.thm12017-02-06 12:46 468  
[ ]ordinal1__694_18.min1.thm12017-02-06 12:46 324  
[ ]ordinal1__694_18.min1.thm1.tptp2017-02-06 16:47 243  
[ ]ordinal1__695_19.min1.thm12017-02-06 12:46 437  
[ ]ordinal1__697_33.min1.thm12017-02-06 12:46 388  
[ ]ordinal1__697_33.min1.thm1.tptp2017-02-06 16:47 325  
[ ]ordinal1__707_17.min1.thm12017-02-06 12:46 262  
[ ]ordinal1__710_43.min1.thm12017-02-06 12:46 437  
[ ]ordinal1__710_43.min1.thm1.tptp2017-02-06 16:47 371  
[ ]ordinal1__712_18.min1.thm12017-02-06 12:46 478  
[ ]ordinal1__713_16.min1.thm12017-02-06 12:46 325  
[ ]ordinal1__713_16.min1.thm1.tptp2017-02-06 16:47 245  
[ ]ordinal1__714_17.min1.thm12017-02-06 12:46 685  
[ ]ordinal1__718_16.min1.thm12017-02-06 12:46 489  
[ ]ordinal1__720_18.min1.thm12017-02-06 12:46 919  
[ ]ordinal1__722_20.min1.thm12017-02-06 12:46 398  
[ ]ordinal1__722_20.min1.thm1.tptp2017-02-06 16:47 319  
[ ]ordinal1__728_20.min1.thm12017-02-06 12:46 700  
[ ]ordinal1__729_16.min1.thm12017-02-06 12:46 727  
[ ]ordinal1__753_18.min1.thm12017-02-06 12:46 304  
[ ]ordinal1__753_18.min1.thm1.tptp2017-02-06 16:47 227  
[ ]ordinal1__758_13.min1.thm12017-02-06 12:46 482  
[ ]ordinal1__759_44.min1.thm12017-02-06 12:46 384  
[ ]ordinal1__759_44.min1.thm1.tptp2017-02-06 16:47 324  
[ ]ordinal1__761_17.min1.thm12017-02-06 12:46 405  
[ ]ordinal1__761_17.min1.thm1.tptp2017-02-06 16:47 341  
[ ]ordinal1__762_19.min1.thm12017-02-06 12:46 398  
[ ]ordinal1__763_18.min1.thm12017-02-06 12:46 508  
[ ]ordinal1__764_23.min1.thm12017-02-06 12:46 562  
[ ]ordinal1__765_37.min1.thm12017-02-06 12:46 508  
[ ]ordinal1__767_32.min1.thm12017-02-06 12:46 928  
[ ]ordinal1__768_13.min1.thm12017-02-06 12:46 503  
[ ]ordinal1__769_19.min1.thm12017-02-06 12:46 955  
[ ]ordinal1__777_24.min1.thm12017-02-06 12:46 398  
[ ]ordinal1__779_18.min1.thm12017-02-06 12:46 544  
[ ]ordinal1__780_18.min1.thm12017-02-06 12:46 331  
[ ]ordinal1__780_18.min1.thm1.tptp2017-02-06 16:47 251  
[ ]ordinal1__781_25.min1.thm12017-02-06 12:46 579  
[ ]ordinal1__784_20.min1.thm12017-02-06 12:46 673  
[ ]ordinal1__790_14.min1.thm12017-02-06 12:46 415  
[ ]ordinal1__790_14.min1.thm1.tptp2017-02-06 16:47 360  
[ ]ordinal1__791_13.min1.thm12017-02-06 12:46 502  
[ ]ordinal1__792_19.min1.thm12017-02-06 12:46 826  
[ ]ordinal1__794_22.min1.thm12017-02-06 12:46 673  
[ ]ordinal1__795_21.min1.thm12017-02-06 12:46 710  
[ ]ordinal1__796_17.min1.thm12017-02-06 12:46 300  
[ ]ordinal1__796_17.min1.thm1.tptp2017-02-06 16:47 223  
[ ]ordinal1__807_22.min1.thm12017-02-06 12:46 590  
[ ]ordinal1__811_18.min1.thm12017-02-06 12:46 613  
[ ]ordinal1__812_23.min1.thm12017-02-06 12:46 921  
[ ]ordinal1__817_29.min1.thm12017-02-06 12:46 543  
[ ]ordinal1__818_17.min1.thm12017-02-06 12:46 653  
[ ]ordinal1__840_21.min1.thm12017-02-06 12:46 447  
[ ]ordinal1__841_19.min1.thm12017-02-06 12:46 516  
[ ]ordinal1__854_35.min1.thm12017-02-06 12:46 468  
[ ]ordinal1__856_15.min1.thm12017-02-06 12:46 371  
[ ]ordinal1__857_23.min1.thm12017-02-06 12:46 396  
[ ]ordinal1__869_33.min1.thm12017-02-06 12:46 464  
[ ]ordinal1__870_12.min1.thm12017-02-06 12:46 435  
[ ]ordinal1__871_20.min1.thm12017-02-06 12:46 380  
[ ]ordinal1__872_17.min1.thm12017-02-06 12:46 633  
[ ]ordinal1__878_54.min1.thm12017-02-06 12:46 541  
[ ]ordinal1__883_14.min1.thm12017-02-06 12:46 376  
[ ]ordinal1__883_14.min1.thm1.tptp2017-02-06 16:47 295  
[ ]ordinal1__892_15.min1.thm12017-02-06 12:46 463  
[ ]ordinal1__892_15.min1.thm1.tptp2017-02-06 16:47 389  
[ ]ordinal1__893_20.min1.thm12017-02-06 12:46 449  
[ ]ordinal1__894_17.min1.thm12017-02-06 12:46 631  
[ ]ordinal1__902_24.min1.thm12017-02-06 12:46 470  
[ ]ordinal1__902_24.min1.thm1.tptp2017-02-06 16:47 392  
[ ]ordinal1__903_38.min1.thm12017-02-06 12:46 826  
[ ]ordinal1__904_19.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal1__909_64.min1.thm12017-02-06 12:46 965  
[ ]ordinal1__933_15.min1.thm12017-02-06 12:46 423  
[ ]ordinal1__933_15.min1.thm1.tptp2017-02-06 16:47 368  
[ ]ordinal1__934_35.min1.thm12017-02-06 12:46 434  
[ ]ordinal1__934_35.min1.thm1.tptp2017-02-06 16:47 357  
[ ]ordinal1__935_50.min1.thm12017-02-06 12:46 649  
[ ]ordinal1__936_21.min1.thm12017-02-06 12:46 646  
[ ]ordinal1__944_13.min1.thm12017-02-06 12:46 571  
[ ]ordinal1__945_33.min1.thm12017-02-06 12:46 422  
[ ]ordinal1__945_33.min1.thm1.tptp2017-02-06 16:47 345  
[ ]ordinal1__948_14.min1.thm12017-02-06 12:46 571  
[ ]ordinal1__949_33.min1.thm12017-02-06 12:46 424  
[ ]ordinal1__949_33.min1.thm1.tptp2017-02-06 16:47 347  
[ ]ordinal1__950_28.min1.thm12017-02-06 12:46 671  
[ ]ordinal1__951_28.min1.thm12017-02-06 12:46 498  
[ ]ordinal1__952_19.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal1__954_41.min1.thm12017-02-06 12:46 316  
[ ]ordinal1__964_33.min1.thm12017-02-06 12:46 422  
[ ]ordinal1__964_33.min1.thm1.tptp2017-02-06 16:47 345  
[ ]ordinal1__965_16.min1.thm12017-02-06 12:46 533  
[ ]ordinal1__966_19.min1.thm12017-02-06 12:46 604  
[ ]ordinal1__974_18.min1.thm12017-02-06 12:46 621  
[ ]ordinal1__975_38.min1.thm12017-02-06 12:46 422  
[ ]ordinal1__975_38.min1.thm1.tptp2017-02-06 16:47 345  
[ ]ordinal1__976_16.min1.thm12017-02-06 12:46 832  
[ ]ordinal1__977_16.min1.thm12017-02-06 12:46 491  
[ ]ordinal1__983_28.min1.thm12017-02-06 12:46 598  
[ ]ordinal1__984_17.min1.thm12017-02-06 12:46 806  
[ ]ordinal1__985_19.min1.thm12017-02-06 12:46 471  
[ ]ordinal1__988_18.min1.thm12017-02-06 12:46 422  
[ ]ordinal1__988_18.min1.thm1.tptp2017-02-06 16:47 367  
[ ]ordinal1__990_37.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal1__992_17.min1.thm12017-02-06 12:46 442  
[ ]ordinal1__992_17.min1.thm1.tptp2017-02-06 16:47 383  
[ ]ordinal1__1001_19.min1.thm12017-02-06 12:46 605  
[ ]ordinal1__1004_15.min1.thm12017-02-06 12:46 651  
[ ]ordinal1__1005_35.min1.thm12017-02-06 12:46 434  
[ ]ordinal1__1005_35.min1.thm1.tptp2017-02-06 16:47 357  
[ ]ordinal1__1006_40.min1.thm12017-02-06 12:46 261  
[ ]ordinal1__1007_28.min1.thm12017-02-06 12:46 811  
[ ]ordinal1__1008_38.min1.thm12017-02-06 12:46 847  
[ ]ordinal1__1009_28.min1.thm12017-02-06 12:46 662  
[ ]ordinal1__1011_19.min1.thm12017-02-06 12:46 852  
[ ]ordinal1__1012_19.min1.thm12017-02-06 12:46 618  
[ ]ordinal1__1013_21.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal1__1018_40.min1.thm12017-02-06 12:46 398  
[ ]ordinal1__1026_31.min1.thm12017-02-06 12:46 614  
[ ]ordinal1__1027_21.min1.thm12017-02-06 12:46 834  
[ ]ordinal1__1028_22.min1.thm12017-02-06 12:46 641  
[ ]ordinal1__1029_42.min1.thm12017-02-06 12:46 446  
[ ]ordinal1__1029_42.min1.thm1.tptp2017-02-06 16:47 369  
[ ]ordinal1__1030_29.min1.thm12017-02-06 12:46 935  
[ ]ordinal1__1031_24.min1.thm12017-02-06 12:46 918  
[ ]ordinal1__1034_16.min1.thm12017-02-06 12:46 677  
[ ]ordinal1__1035_16.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal1__1036_19.min1.thm12017-02-06 12:46 756  
[ ]ordinal1__1040_24.min1.thm12017-02-06 12:46 504  
[ ]ordinal1__1040_24.min1.thm1.tptp2017-02-06 16:47 432  
[ ]ordinal1__1041_34.min1.thm12017-02-06 12:46 864  
[ ]ordinal1__1042_19.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal1__1044_17.min1.thm12017-02-06 12:46 647  
[ ]ordinal1__1061_40.min1.thm12017-02-06 12:46 366  
[ ]ordinal1__1063_15.min1.thm12017-02-06 12:46 377  
[ ]ordinal1__1063_15.min1.thm1.tptp2017-02-06 16:47 313  
[ ]ordinal1__1065_45.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal1__1066_17.min1.thm12017-02-06 12:46 595  
[ ]ordinal1__1069_35.min1.thm12017-02-06 12:46 686  
[ ]ordinal1__1070_15.min1.thm12017-02-06 12:46 423  
[ ]ordinal1__1070_15.min1.thm1.tptp2017-02-06 16:47 346  
[ ]ordinal1__1072_15.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal1__1074_22.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal1__1075_23.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal1__1080_22.min1.thm12017-02-06 12:46 748  
[ ]ordinal1__1081_28.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal1__1087_40.min1.thm12017-02-06 12:46 412  
[ ]ordinal1__1088_44.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal1__1089_32.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal1__1093_44.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal1__1120_35.min1.thm12017-02-06 12:46 382  
[ ]ordinal1__1121_32.min1.thm12017-02-06 12:46 238  
[ ]ordinal1__1122_63.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal1__1123_35.min1.thm12017-02-06 12:46 383  
[ ]ordinal1__1124_63.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal1__1126_18.min1.thm12017-02-06 12:46 430  
[ ]ordinal1__1136_34.min1.thm12017-02-06 12:46 629  
[ ]ordinal1__1137_23.min1.thm12017-02-06 12:46 826  
[ ]ordinal1__1142_42.min1.thm12017-02-06 12:46 426  
[ ]ordinal1__1144_57.min1.thm12017-02-06 12:46 879  
[ ]ordinal1__1146_54.min1.thm12017-02-06 12:46 638  
[ ]ordinal1__1148_21.min1.thm12017-02-06 12:46 633  
[ ]ordinal1__1155_19.min1.thm12017-02-06 12:46 698  
[ ]ordinal1__1156_39.min1.thm12017-02-06 12:46 972  
[ ]ordinal1__1158_21.min1.thm12017-02-06 12:46 876  
[ ]ordinal1__1159_17.min1.thm12017-02-06 12:46 205  
[ ]ordinal1__1161_54.min1.thm12017-02-06 12:46 432  
[ ]ordinal1__1165_37.min1.thm12017-02-06 12:46 779  
[ ]ordinal1__1167_21.min1.thm12017-02-06 12:46 548  
[ ]ordinal1__1167_21.min1.thm1.tptp2017-02-06 16:47 484  
[ ]ordinal1__1173_18.min1.thm12017-02-06 12:46 690  
[ ]ordinal1__1173_18.min1.thm1.tptp2017-02-06 16:47 633  
[ ]ordinal1__1174_18.min1.thm12017-02-06 12:46 959  
[ ]ordinal1__1176_17.min1.thm12017-02-06 12:46 825  
[ ]ordinal1__1185_17.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal1__1187_20.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal1__1191_22.min1.thm12017-02-06 12:46 1.3K 
[ ]ordinal1__1193_20.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal1__1194_23.min1.thm12017-02-06 12:46 2.0K 
[ ]ordinal1__1195_29.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal1__1197_15.min1.thm12017-02-06 12:46 648  
[ ]ordinal1__1199_24.min1.thm12017-02-06 12:46 854  
[ ]ordinal1__1205_41.min1.thm12017-02-06 12:46 426  
[ ]ordinal1__1206_32.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal1__1207_54.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal1__1208_26.min1.thm12017-02-06 12:46 1.7K 
[ ]ordinal1__1210_17.min1.thm12017-02-06 12:46 1.1K 
[ ]ordinal1__1211_24.min1.thm12017-02-06 12:46 906  
[ ]ordinal1__1217_41.min1.thm12017-02-06 12:46 624  
[ ]ordinal1__1217_41.min1.thm1.tptp2017-02-06 16:47 587  
[ ]ordinal1__1219_21.min1.thm12017-02-06 12:46 252  
[ ]ordinal1__1222_17.min1.thm12017-02-06 12:46 597  
[ ]ordinal1__1236_47.min1.thm12017-02-06 12:46 945  
[ ]ordinal1__1241_39.min1.thm12017-02-06 12:46 607  
[ ]ordinal1__1244_24.min1.thm12017-02-06 12:46 347  
[ ]ordinal1__1245_19.min1.thm12017-02-06 12:46 1.5K 
[ ]ordinal1__1246_24.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal1__1250_20.min1.thm12017-02-06 12:46 1.2K 
[ ]ordinal1__1252_18.min1.thm12017-02-06 12:46 1.0K 
[ ]ordinal1__1253_18.min1.thm12017-02-06 12:46 729  
[ ]ordinal1__1257_15.min1.thm12017-02-06 12:46 778  
[ ]ordinal1__1258_24.min1.thm12017-02-06 12:46 845  
[ ]ordinal1__1260_17.min1.thm12017-02-06 12:46 886  
[ ]ordinal1__1261_17.min1.thm12017-02-06 12:46 526  
[ ]ordinal1__1261_17.min1.thm1.tptp2017-02-06 16:47 466  
[ ]ordinal1__1270_15.min1.thm12017-02-06 12:46 642  
[ ]ordinal1__1330_39.min1.thm12017-02-06 12:46 375  
[ ]ordinal1__1330_39.min1.thm1.tptp2017-02-06 16:47 310  
[ ]ordinal1__1331_17.min1.thm12017-02-06 12:46 463  
[ ]ordinal1__1332_24.min1.thm12017-02-06 12:46 375  
[ ]ordinal1__1332_24.min1.thm1.tptp2017-02-06 16:47 310  
[ ]ordinal1__1336_15.min1.thm12017-02-06 12:46 328  
[ ]ordinal1__1336_15.min1.thm1.tptp2017-02-06 16:47 242  
[ ]ordinal1__1337_39.min1.thm12017-02-06 12:46 404  
[ ]ordinal1__1338_13.min1.thm12017-02-06 12:46 1.4K 
[ ]ordinal1__1339_22.min1.thm12017-02-06 12:46 730  
[ ]ordinal1__1340_19.min1.thm12017-02-06 12:46 533  
[ ]ordinal1__1342_45.min1.thm12017-02-06 12:46 427  
[ ]ordinal1__1342_45.min1.thm1.tptp2017-02-06 16:47 368  
[ ]ordinal1__1344_17.min1.thm12017-02-06 12:46 514  
[ ]ordinal1__1351_29.min1.thm12017-02-06 12:46 496  
[ ]ordinal1__1352_20.min1.thm12017-02-06 12:46 626  
[ ]ordinal1__1353_18.min1.thm12017-02-06 12:46 531  
[ ]ordinal1__1356_22.min1.thm12017-02-06 12:46 457  
[ ]ordinal1__1357_27.min1.thm12017-02-06 12:46 378  
[ ]ordinal1__1357_27.min1.thm1.tptp2017-02-06 16:47 297  
[ ]ordinal1__1358_27.min1.thm12017-02-06 12:46 592  
[ ]ordinal1__1359_19.min1.thm12017-02-06 12:46 751  
[ ]ordinal1__1361_17.min1.thm12017-02-06 12:46 583  
[ ]ordinal1__1372_19.min1.thm12017-02-06 12:46 435  
[ ]ordinal1__1374_16.min1.thm12017-02-06 12:46 615  
[ ]ordinal1__1374_16.min1.thm1.tptp2017-02-06 16:47 589  
[ ]ordinal1__1382_25.min1.thm12017-02-06 12:46 712  
[ ]ordinal1__1388_14.min1.thm12017-02-06 12:46 464  
[ ]ordinal1__1388_14.min1.thm1.tptp2017-02-06 16:47 412  
[ ]ordinal1__1403_19.min1.thm12017-02-06 12:46 436  
[ ]ordinal1__1416_21.min1.thm12017-02-06 12:46 317  
[ ]ordinal1__1416_21.min1.thm1.tptp2017-02-06 16:47 236  
[ ]ordinal1__1428_32.min1.thm12017-02-06 12:46 193  
[ ]ordinal1__1429_19.min1.thm12017-02-06 12:46 741  
[ ]ordinal1__1441_44.min1.thm12017-02-06 12:46 402  
[ ]ordinal1__1442_16.min1.thm12017-02-06 12:46 429  
[ ]ordinal1__1443_16.min1.thm12017-02-06 12:46 310  
[ ]ordinal1__1443_16.min1.thm1.tptp2017-02-06 16:47 224  
[ ]ordinal1__1461_43.min1.thm12017-02-06 12:46 336  
[ ]ordinal1__1461_43.min1.thm1.tptp2017-02-06 16:47 258  
[ ]ordinal1__1463_19.min1.thm12017-02-06 12:46 397  
[ ]ordinal1__1463_19.min1.thm1.tptp2017-02-06 16:47 330  
[ ]ordinal1__1466_27.min1.thm12017-02-06 12:46 133  
[ ]ordinal1__1468_18.min1.thm12017-02-06 12:46 688  
[ ]ordinal1__1480_26.min1.thm12017-02-06 12:46 777  
[ ]ordinal1__1481_19.min1.thm12017-02-06 12:46 831  
[ ]ordinal1__1487_21.min1.thm12017-02-06 12:46 447  
[ ]ordinal1__1489_16.min1.thm12017-02-06 12:46 847  
[ ]ordinal1__1503_19.min1.thm12017-02-06 12:46 629  
[ ]ordinal1__1504_22.min1.thm12017-02-06 12:46 894  
[ ]ordinal1__1505_19.min1.thm12017-02-06 12:46 473  
[ ]ordinal1__1510_13.min1.thm12017-02-06 12:46 326  
[ ]ordinal1__1510_13.min1.thm1.tptp2017-02-06 16:47 247  
[ ]ordinal1__1512_19.min1.thm12017-02-06 12:46 341  
[ ]ordinal1__1512_19.min1.thm1.tptp2017-02-06 16:47 273  
[ ]ordinal1__1513_16.min1.thm12017-02-06 12:46 436  
[ ]ordinal1__1514_17.min1.thm12017-02-06 12:46 710  
[ ]ordinal1__1523_18.min1.thm12017-02-06 12:46 370  
[ ]ordinal1__1524_19.min1.thm12017-02-06 12:46 388  
[ ]ordinal1__1527_14.min1.thm12017-02-06 12:46 441  
[ ]ordinal1__1535_28.min1.thm12017-02-06 12:46 317  
[ ]ordinal1__1535_28.min1.thm1.tptp2017-02-06 16:47 235  
[ ]ordinal1__1536_43.min1.thm12017-02-06 12:46 397  
[ ]ordinal1__1537_28.min1.thm12017-02-06 12:46 716  
[ ]ordinal1__1548_42.min1.thm12017-02-06 12:46 579  
[ ]ordinal1__1549_28.min1.thm12017-02-06 12:46 694  
[ ]ordinal1__1561_17.min1.thm12017-02-06 12:46 405  
[ ]ordinal1__1561_17.min1.thm1.tptp2017-02-06 16:47 337  
[ ]ordinal1__1572_33.min1.thm12017-02-06 12:46 1.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80