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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]exchsort__56_43.min1.thm12017-02-06 12:46 736  
[ ]exchsort__59_33.min1.thm12017-02-06 12:46 905  
[ ]exchsort__61_22.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__62_21.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__66_25.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__67_19.min1.thm12017-02-06 12:46 764  
[ ]exchsort__95_16.min1.thm12017-02-06 12:46 701  
[ ]exchsort__98_21.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__102_21.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__106_18.min1.thm12017-02-06 12:46 518  
[ ]exchsort__108_23.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__111_23.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__111_23.min1.thm1.tptp2017-02-06 16:47 956  
[ ]exchsort__114_23.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__119_21.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__119_21.min1.thm1.tptp2017-02-06 16:47 944  
[ ]exchsort__123_21.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__133_29.min1.thm12017-02-06 12:46 423  
[ ]exchsort__133_29.min1.thm1.tptp2017-02-06 16:47 350  
[ ]exchsort__148_18.min1.thm12017-02-06 12:46 729  
[ ]exchsort__149_23.min1.thm12017-02-06 12:46 580  
[ ]exchsort__150_66.min1.thm12017-02-06 12:46 844  
[ ]exchsort__160_15.min1.thm12017-02-06 12:46 738  
[ ]exchsort__162_13.min1.thm12017-02-06 12:46 802  
[ ]exchsort__163_23.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__164_15.min1.thm12017-02-06 12:46 541  
[ ]exchsort__165_26.min1.thm12017-02-06 12:46 563  
[ ]exchsort__166_22.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__167_21.min1.thm12017-02-06 12:46 660  
[ ]exchsort__168_26.min1.thm12017-02-06 12:46 656  
[ ]exchsort__169_20.min1.thm12017-02-06 12:46 616  
[ ]exchsort__170_25.min1.thm12017-02-06 12:46 845  
[ ]exchsort__175_22.min1.thm12017-02-06 12:46 481  
[ ]exchsort__176_15.min1.thm12017-02-06 12:46 220  
[ ]exchsort__178_23.min1.thm12017-02-06 12:46 688  
[ ]exchsort__181_19.min1.thm12017-02-06 12:46 591  
[ ]exchsort__182_23.min1.thm12017-02-06 12:46 499  
[ ]exchsort__185_33.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__190_24.min1.thm12017-02-06 12:46 409  
[ ]exchsort__190_24.min1.thm1.tptp2017-02-06 16:47 354  
[ ]exchsort__191_32.min1.thm12017-02-06 12:46 518  
[ ]exchsort__192_18.min1.thm12017-02-06 12:46 468  
[ ]exchsort__194_17.min1.thm12017-02-06 12:46 722  
[ ]exchsort__195_23.min1.thm12017-02-06 12:46 521  
[ ]exchsort__198_19.min1.thm12017-02-06 12:46 959  
[ ]exchsort__199_23.min1.thm12017-02-06 12:46 643  
[ ]exchsort__202_34.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__212_13.min1.thm12017-02-06 12:46 802  
[ ]exchsort__214_25.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__222_43.min1.thm12017-02-06 12:46 755  
[ ]exchsort__223_32.min1.thm12017-02-06 12:46 934  
[ ]exchsort__224_25.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__225_37.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__228_34.min1.thm12017-02-06 12:46 800  
[ ]exchsort__231_22.min1.thm12017-02-06 12:46 781  
[ ]exchsort__236_31.min1.thm12017-02-06 12:46 626  
[ ]exchsort__237_43.min1.thm12017-02-06 12:46 599  
[ ]exchsort__238_20.min1.thm12017-02-06 12:46 888  
[ ]exchsort__239_39.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__241_23.min1.thm12017-02-06 12:46 561  
[ ]exchsort__245_17.min1.thm12017-02-06 12:46 507  
[ ]exchsort__246_19.min1.thm12017-02-06 12:46 549  
[ ]exchsort__264_28.min1.thm12017-02-06 12:46 384  
[ ]exchsort__264_28.min1.thm1.tptp2017-02-06 16:47 302  
[ ]exchsort__274_22.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__275_22.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__276_19.min1.thm12017-02-06 12:46 875  
[ ]exchsort__285_30.min1.thm12017-02-06 12:46 404  
[ ]exchsort__285_30.min1.thm1.tptp2017-02-06 16:47 316  
[ ]exchsort__286_30.min1.thm12017-02-06 12:46 453  
[ ]exchsort__293_35.min1.thm12017-02-06 12:46 404  
[ ]exchsort__293_35.min1.thm1.tptp2017-02-06 16:47 316  
[ ]exchsort__295_31.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__299_33.min1.thm12017-02-06 12:46 654  
[ ]exchsort__299_59.min1.thm12017-02-06 12:46 828  
[ ]exchsort__302_29.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__303_24.min1.thm12017-02-06 12:46 2.8K 
[ ]exchsort__304_19.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__305_21.min1.thm12017-02-06 12:46 766  
[ ]exchsort__307_41.min1.thm12017-02-06 12:46 1.8K 
[ ]exchsort__310_26.min1.thm12017-02-06 12:46 666  
[ ]exchsort__311_26.min1.thm12017-02-06 12:46 2.1K 
[ ]exchsort__312_22.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__313_22.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__337_15.min1.thm12017-02-06 12:46 217  
[ ]exchsort__339_22.min1.thm12017-02-06 12:46 537  
[ ]exchsort__340_20.min1.thm12017-02-06 12:46 535  
[ ]exchsort__344_21.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__345_21.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__346_26.min1.thm12017-02-06 12:46 923  
[ ]exchsort__347_17.min1.thm12017-02-06 12:46 893  
[ ]exchsort__348_21.min1.thm12017-02-06 12:46 750  
[ ]exchsort__349_17.min1.thm12017-02-06 12:46 538  
[ ]exchsort__350_25.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__351_23.min1.thm12017-02-06 12:46 552  
[ ]exchsort__360_24.min1.thm12017-02-06 12:46 954  
[ ]exchsort__361_15.min1.thm12017-02-06 12:46 877  
[ ]exchsort__362_21.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__364_28.min1.thm12017-02-06 12:46 351  
[ ]exchsort__380_14.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__381_25.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__387_17.min1.thm12017-02-06 12:46 687  
[ ]exchsort__388_26.min1.thm12017-02-06 12:46 917  
[ ]exchsort__389_26.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__391_18.min1.thm12017-02-06 12:46 349  
[ ]exchsort__399_34.min1.thm12017-02-06 12:46 404  
[ ]exchsort__399_34.min1.thm1.tptp2017-02-06 16:47 316  
[ ]exchsort__400_45.min1.thm12017-02-06 12:46 372  
[ ]exchsort__400_45.min1.thm1.tptp2017-02-06 16:47 286  
[ ]exchsort__401_19.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__408_35.min1.thm12017-02-06 12:46 404  
[ ]exchsort__408_35.min1.thm1.tptp2017-02-06 16:47 316  
[ ]exchsort__410_14.min1.thm12017-02-06 12:46 646  
[ ]exchsort__411_23.min1.thm12017-02-06 12:46 820  
[ ]exchsort__424_32.min1.thm12017-02-06 12:46 736  
[ ]exchsort__428_29.min1.thm12017-02-06 12:46 388  
[ ]exchsort__428_29.min1.thm1.tptp2017-02-06 16:47 330  
[ ]exchsort__434_19.min1.thm12017-02-06 12:46 497  
[ ]exchsort__446_34.min1.thm12017-02-06 12:46 576  
[ ]exchsort__449_23.min1.thm12017-02-06 12:46 151  
[ ]exchsort__460_21.min1.thm12017-02-06 12:46 773  
[ ]exchsort__461_23.min1.thm12017-02-06 12:46 762  
[ ]exchsort__462_21.min1.thm12017-02-06 12:46 773  
[ ]exchsort__463_23.min1.thm12017-02-06 12:46 762  
[ ]exchsort__466_15.min1.thm12017-02-06 12:46 309  
[ ]exchsort__468_13.min1.thm12017-02-06 12:46 131  
[ ]exchsort__477_36.min1.thm12017-02-06 12:46 468  
[ ]exchsort__480_23.min1.thm12017-02-06 12:46 151  
[ ]exchsort__488_27.min1.thm12017-02-06 12:46 520  
[ ]exchsort__488_43.min1.thm12017-02-06 12:46 520  
[ ]exchsort__490_15.min1.thm12017-02-06 12:46 309  
[ ]exchsort__492_13.min1.thm12017-02-06 12:46 131  
[ ]exchsort__498_11.min1.thm12017-02-06 12:46 620  
[ ]exchsort__504_27.min1.thm12017-02-06 12:46 770  
[ ]exchsort__505_39.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__506_19.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__512_13.min1.thm12017-02-06 12:46 268  
[ ]exchsort__518_36.min1.thm12017-02-06 12:46 468  
[ ]exchsort__518_36.min1.thm1.tptp2017-02-06 16:47 403  
[ ]exchsort__521_23.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__522_19.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__523_21.min1.thm12017-02-06 12:46 888  
[ ]exchsort__527_33.min1.thm12017-02-06 12:46 380  
[ ]exchsort__527_33.min1.thm1.tptp2017-02-06 16:47 311  
[ ]exchsort__528_21.min1.thm12017-02-06 12:46 866  
[ ]exchsort__535_26.min1.thm12017-02-06 12:46 404  
[ ]exchsort__535_26.min1.thm1.tptp2017-02-06 16:47 331  
[ ]exchsort__536_19.min1.thm12017-02-06 12:46 467  
[ ]exchsort__543_22.min1.thm12017-02-06 12:46 510  
[ ]exchsort__551_18.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__565_18.min1.thm12017-02-06 12:46 486  
[ ]exchsort__565_18.min1.thm1.tptp2017-02-06 16:47 437  
[ ]exchsort__566_26.min1.thm12017-02-06 12:46 490  
[ ]exchsort__575_19.min1.thm12017-02-06 12:46 593  
[ ]exchsort__576_22.min1.thm12017-02-06 12:46 902  
[ ]exchsort__579_26.min1.thm12017-02-06 12:46 589  
[ ]exchsort__590_18.min1.thm12017-02-06 12:46 506  
[ ]exchsort__590_18.min1.thm1.tptp2017-02-06 16:47 457  
[ ]exchsort__595_19.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__596_16.min1.thm12017-02-06 12:46 624  
[ ]exchsort__597_15.min1.thm12017-02-06 12:46 580  
[ ]exchsort__598_11.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__599_24.min1.thm12017-02-06 12:46 531  
[ ]exchsort__601_29.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__626_19.min1.thm12017-02-06 12:46 484  
[ ]exchsort__627_13.min1.thm12017-02-06 12:46 268  
[ ]exchsort__629_21.min1.thm12017-02-06 12:46 942  
[ ]exchsort__639_14.min1.thm12017-02-06 12:46 565  
[ ]exchsort__640_21.min1.thm12017-02-06 12:46 968  
[ ]exchsort__647_25.min1.thm12017-02-06 12:46 484  
[ ]exchsort__648_19.min1.thm12017-02-06 12:46 575  
[ ]exchsort__655_18.min1.thm12017-02-06 12:46 482  
[ ]exchsort__655_18.min1.thm1.tptp2017-02-06 16:47 433  
[ ]exchsort__656_26.min1.thm12017-02-06 12:46 435  
[ ]exchsort__656_26.min1.thm1.tptp2017-02-06 16:47 362  
[ ]exchsort__657_25.min1.thm12017-02-06 12:46 515  
[ ]exchsort__660_35.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__661_32.min1.thm12017-02-06 12:46 809  
[ ]exchsort__662_21.min1.thm12017-02-06 12:46 844  
[ ]exchsort__666_27.min1.thm12017-02-06 12:46 944  
[ ]exchsort__667_34.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__668_31.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__669_19.min1.thm12017-02-06 12:46 543  
[ ]exchsort__677_18.min1.thm12017-02-06 12:46 594  
[ ]exchsort__678_15.min1.thm12017-02-06 12:46 858  
[ ]exchsort__681_15.min1.thm12017-02-06 12:46 550  
[ ]exchsort__682_21.min1.thm12017-02-06 12:46 614  
[ ]exchsort__685_27.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__687_23.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__692_15.min1.thm12017-02-06 12:46 225  
[ ]exchsort__695_23.min1.thm12017-02-06 12:46 665  
[ ]exchsort__699_19.min1.thm12017-02-06 12:46 601  
[ ]exchsort__700_23.min1.thm12017-02-06 12:46 634  
[ ]exchsort__703_25.min1.thm12017-02-06 12:46 640  
[ ]exchsort__704_21.min1.thm12017-02-06 12:46 452  
[ ]exchsort__705_20.min1.thm12017-02-06 12:46 743  
[ ]exchsort__706_19.min1.thm12017-02-06 12:46 502  
[ ]exchsort__714_13.min1.thm12017-02-06 12:46 189  
[ ]exchsort__716_21.min1.thm12017-02-06 12:46 703  
[ ]exchsort__720_23.min1.thm12017-02-06 12:46 365  
[ ]exchsort__720_23.min1.thm1.tptp2017-02-06 16:47 292  
[ ]exchsort__722_28.min1.thm12017-02-06 12:46 825  
[ ]exchsort__733_26.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__743_29.min1.thm12017-02-06 12:46 475  
[ ]exchsort__743_29.min1.thm1.tptp2017-02-06 16:47 411  
[ ]exchsort__744_20.min1.thm12017-02-06 12:46 376  
[ ]exchsort__744_20.min1.thm1.tptp2017-02-06 16:47 300  
[ ]exchsort__753_18.min1.thm12017-02-06 12:46 551  
[ ]exchsort__754_19.min1.thm12017-02-06 12:46 508  
[ ]exchsort__755_32.min1.thm12017-02-06 12:46 506  
[ ]exchsort__764_18.min1.thm12017-02-06 12:46 551  
[ ]exchsort__765_20.min1.thm12017-02-06 12:46 505  
[ ]exchsort__766_29.min1.thm12017-02-06 12:46 506  
[ ]exchsort__776_18.min1.thm12017-02-06 12:46 551  
[ ]exchsort__777_23.min1.thm12017-02-06 12:46 622  
[ ]exchsort__788_18.min1.thm12017-02-06 12:46 550  
[ ]exchsort__793_35.min1.thm12017-02-06 12:46 801  
[ ]exchsort__795_25.min1.thm12017-02-06 12:46 543  
[ ]exchsort__796_19.min1.thm12017-02-06 12:46 564  
[ ]exchsort__807_50.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__808_23.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__816_23.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__828_11.min1.thm12017-02-06 12:46 131  
[ ]exchsort__856_18.min1.thm12017-02-06 12:46 513  
[ ]exchsort__856_18.min1.thm1.tptp2017-02-06 16:47 464  
[ ]exchsort__860_26.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__862_26.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__863_30.min1.thm12017-02-06 12:46 707  
[ ]exchsort__864_49.min1.thm12017-02-06 12:46 803  
[ ]exchsort__865_26.min1.thm12017-02-06 12:46 777  
[ ]exchsort__866_15.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__867_20.min1.thm12017-02-06 12:46 743  
[ ]exchsort__868_20.min1.thm12017-02-06 12:46 934  
[ ]exchsort__870_17.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__871_37.min1.thm12017-02-06 12:46 456  
[ ]exchsort__874_20.min1.thm12017-02-06 12:46 559  
[ ]exchsort__875_13.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__878_21.min1.thm12017-02-06 12:46 520  
[ ]exchsort__879_28.min1.thm12017-02-06 12:46 941  
[ ]exchsort__880_38.min1.thm12017-02-06 12:46 664  
[ ]exchsort__881_38.min1.thm12017-02-06 12:46 2.1K 
[ ]exchsort__882_23.min1.thm12017-02-06 12:46 801  
[ ]exchsort__883_19.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__887_43.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__888_30.min1.thm12017-02-06 12:46 869  
[ ]exchsort__891_22.min1.thm12017-02-06 12:46 886  
[ ]exchsort__892_21.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__893_23.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__907_18.min1.thm12017-02-06 12:46 482  
[ ]exchsort__907_18.min1.thm1.tptp2017-02-06 16:47 433  
[ ]exchsort__908_21.min1.thm12017-02-06 12:46 628  
[ ]exchsort__909_31.min1.thm12017-02-06 12:46 877  
[ ]exchsort__911_13.min1.thm12017-02-06 12:46 865  
[ ]exchsort__912_13.min1.thm12017-02-06 12:46 693  
[ ]exchsort__913_19.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__915_30.min1.thm12017-02-06 12:46 971  
[ ]exchsort__917_30.min1.thm12017-02-06 12:46 971  
[ ]exchsort__918_30.min1.thm12017-02-06 12:46 691  
[ ]exchsort__919_49.min1.thm12017-02-06 12:46 803  
[ ]exchsort__920_26.min1.thm12017-02-06 12:46 774  
[ ]exchsort__921_15.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__922_20.min1.thm12017-02-06 12:46 739  
[ ]exchsort__923_20.min1.thm12017-02-06 12:46 928  
[ ]exchsort__925_18.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__926_37.min1.thm12017-02-06 12:46 456  
[ ]exchsort__929_20.min1.thm12017-02-06 12:46 559  
[ ]exchsort__930_14.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__933_21.min1.thm12017-02-06 12:46 520  
[ ]exchsort__934_28.min1.thm12017-02-06 12:46 941  
[ ]exchsort__935_38.min1.thm12017-02-06 12:46 664  
[ ]exchsort__936_38.min1.thm12017-02-06 12:46 2.1K 
[ ]exchsort__937_23.min1.thm12017-02-06 12:46 801  
[ ]exchsort__938_19.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__942_43.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__943_30.min1.thm12017-02-06 12:46 869  
[ ]exchsort__946_22.min1.thm12017-02-06 12:46 879  
[ ]exchsort__947_21.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__948_23.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__964_12.min1.thm12017-02-06 12:46 262  
[ ]exchsort__967_15.min1.thm12017-02-06 12:46 358  
[ ]exchsort__969_23.min1.thm12017-02-06 12:46 956  
[ ]exchsort__973_22.min1.thm12017-02-06 12:46 335  
[ ]exchsort__973_22.min1.thm1.tptp2017-02-06 16:47 255  
[ ]exchsort__974_21.min1.thm12017-02-06 12:46 932  
[ ]exchsort__976_26.min1.thm12017-02-06 12:46 575  
[ ]exchsort__977_20.min1.thm12017-02-06 12:46 703  
[ ]exchsort__984_15.min1.thm12017-02-06 12:46 404  
[ ]exchsort__985_15.min1.thm12017-02-06 12:46 251  
[ ]exchsort__987_34.min1.thm12017-02-06 12:46 813  
[ ]exchsort__988_21.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__989_21.min1.thm12017-02-06 12:46 456  
[ ]exchsort__989_21.min1.thm1.tptp2017-02-06 16:47 382  
[ ]exchsort__990_23.min1.thm12017-02-06 12:46 815  
[ ]exchsort__993_23.min1.thm12017-02-06 12:46 932  
[ ]exchsort__1001_19.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__1003_8.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__1006_24.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__1017_18.min1.thm12017-02-06 12:46 560  
[ ]exchsort__1018_42.min1.thm12017-02-06 12:46 616  
[ ]exchsort__1020_13.min1.thm12017-02-06 12:46 189  
[ ]exchsort__1022_26.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__1026_16.min1.thm12017-02-06 12:46 624  
[ ]exchsort__1027_19.min1.thm12017-02-06 12:46 599  
[ ]exchsort__1028_14.min1.thm12017-02-06 12:46 584  
[ ]exchsort__1029_32.min1.thm12017-02-06 12:46 897  
[ ]exchsort__1030_23.min1.thm12017-02-06 12:46 904  
[ ]exchsort__1045_16.min1.thm12017-02-06 12:46 697  
[ ]exchsort__1047_21.min1.thm12017-02-06 12:46 895  
[ ]exchsort__1052_22.min1.thm12017-02-06 12:46 884  
[ ]exchsort__1053_22.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__1054_19.min1.thm12017-02-06 12:46 372  
[ ]exchsort__1055_18.min1.thm12017-02-06 12:46 733  
[ ]exchsort__1055_46.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__1057_14.min1.thm12017-02-06 12:46 469  
[ ]exchsort__1057_14.min1.thm1.tptp2017-02-06 16:47 383  
[ ]exchsort__1062_40.min1.thm12017-02-06 12:46 672  
[ ]exchsort__1064_10.min1.thm12017-02-06 12:46 2.0K 
[ ]exchsort__1065_44.min1.thm12017-02-06 12:46 2.1K 
[ ]exchsort__1066_26.min1.thm12017-02-06 12:46 2.0K 
[ ]exchsort__1067_26.min1.thm12017-02-06 12:46 707  
[ ]exchsort__1075_34.min1.thm12017-02-06 12:46 807  
[ ]exchsort__1076_50.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__1077_44.min1.thm12017-02-06 12:46 2.3K 
[ ]exchsort__1078_32.min1.thm12017-02-06 12:46 3.1K 
[ ]exchsort__1081_20.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__1095_30.min1.thm12017-02-06 12:46 646  
[ ]exchsort__1107_30.min1.thm12017-02-06 12:46 508  
[ ]exchsort__1107_30.min1.thm1.tptp2017-02-06 16:47 441  
[ ]exchsort__1108_33.min1.thm12017-02-06 12:46 623  
[ ]exchsort__1116_40.min1.thm12017-02-06 12:46 918  
[ ]exchsort__1117_30.min1.thm12017-02-06 12:46 479  
[ ]exchsort__1117_30.min1.thm1.tptp2017-02-06 16:47 412  
[ ]exchsort__1119_39.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__1120_21.min1.thm12017-02-06 12:46 893  
[ ]exchsort__1132_30.min1.thm12017-02-06 12:46 530  
[ ]exchsort__1132_30.min1.thm1.tptp2017-02-06 16:47 463  
[ ]exchsort__1133_43.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__1134_13.min1.thm12017-02-06 12:46 779  
[ ]exchsort__1134_32.min1.thm12017-02-06 12:46 723  
[ ]exchsort__1141_40.min1.thm12017-02-06 12:46 918  
[ ]exchsort__1142_30.min1.thm12017-02-06 12:46 479  
[ ]exchsort__1142_30.min1.thm1.tptp2017-02-06 16:47 412  
[ ]exchsort__1153_30.min1.thm12017-02-06 12:46 530  
[ ]exchsort__1153_30.min1.thm1.tptp2017-02-06 16:47 463  
[ ]exchsort__1154_43.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__1155_13.min1.thm12017-02-06 12:46 779  
[ ]exchsort__1155_32.min1.thm12017-02-06 12:46 723  
[ ]exchsort__1162_13.min1.thm12017-02-06 12:46 361  
[ ]exchsort__1165_42.min1.thm12017-02-06 12:46 926  
[ ]exchsort__1166_45.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__1167_15.min1.thm12017-02-06 12:46 642  
[ ]exchsort__1171_34.min1.thm12017-02-06 12:46 841  
[ ]exchsort__1182_30.min1.thm12017-02-06 12:46 530  
[ ]exchsort__1182_30.min1.thm1.tptp2017-02-06 16:47 463  
[ ]exchsort__1183_43.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__1184_13.min1.thm12017-02-06 12:46 764  
[ ]exchsort__1184_32.min1.thm12017-02-06 12:46 739  
[ ]exchsort__1191_56.min1.thm12017-02-06 12:46 558  
[ ]exchsort__1191_56.min1.thm1.tptp2017-02-06 16:47 493  
[ ]exchsort__1194_15.min1.thm12017-02-06 12:46 440  
[ ]exchsort__1196_43.min1.thm12017-02-06 12:46 420  
[ ]exchsort__1199_52.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__1200_43.min1.thm12017-02-06 12:46 622  
[ ]exchsort__1203_52.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__1204_43.min1.thm12017-02-06 12:46 622  
[ ]exchsort__1207_52.min1.thm12017-02-06 12:46 786  
[ ]exchsort__1208_43.min1.thm12017-02-06 12:46 626  
[ ]exchsort__1219_26.min1.thm12017-02-06 12:46 358  
[ ]exchsort__1219_26.min1.thm1.tptp2017-02-06 16:47 282  
[ ]exchsort__1230_30.min1.thm12017-02-06 12:46 588  
[ ]exchsort__1230_30.min1.thm1.tptp2017-02-06 16:47 520  
[ ]exchsort__1242_20.min1.thm12017-02-06 12:46 486  
[ ]exchsort__1242_20.min1.thm1.tptp2017-02-06 16:47 437  
[ ]exchsort__1243_30.min1.thm12017-02-06 12:46 631  
[ ]exchsort__1253_36.min1.thm12017-02-06 12:46 832  
[ ]exchsort__1257_15.min1.thm12017-02-06 12:46 287  
[ ]exchsort__1260_26.min1.thm12017-02-06 12:46 923  
[ ]exchsort__1260_41.min1.thm12017-02-06 12:46 680  
[ ]exchsort__1264_47.min1.thm12017-02-06 12:46 814  
[ ]exchsort__1268_47.min1.thm12017-02-06 12:46 814  
[ ]exchsort__1283_57.min1.thm12017-02-06 12:46 859  
[ ]exchsort__1284_53.min1.thm12017-02-06 12:46 890  
[ ]exchsort__1285_42.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__1286_16.min1.thm12017-02-06 12:46 818  
[ ]exchsort__1300_33.min1.thm12017-02-06 12:46 610  
[ ]exchsort__1309_14.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__1310_35.min1.thm12017-02-06 12:46 213  
[ ]exchsort__1311_36.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__1318_33.min1.thm12017-02-06 12:46 606  
[ ]exchsort__1325_20.min1.thm12017-02-06 12:46 569  
[ ]exchsort__1327_14.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__1328_48.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__1330_26.min1.thm12017-02-06 12:46 514  
[ ]exchsort__1339_20.min1.thm12017-02-06 12:46 616  
[ ]exchsort__1341_14.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__1343_14.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__1352_16.min1.thm12017-02-06 12:46 626  
[ ]exchsort__1353_13.min1.thm12017-02-06 12:46 309  
[ ]exchsort__1379_14.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__1388_16.min1.thm12017-02-06 12:46 630  
[ ]exchsort__1389_46.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__1391_32.min1.thm12017-02-06 12:46 528  
[ ]exchsort__1392_34.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__1404_16.min1.thm12017-02-06 12:46 751  
[ ]exchsort__1406_17.min1.thm12017-02-06 12:46 829  
[ ]exchsort__1419_25.min1.thm12017-02-06 12:46 754  
[ ]exchsort__1420_28.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__1421_20.min1.thm12017-02-06 12:46 484  
[ ]exchsort__1421_20.min1.thm1.tptp2017-02-06 16:47 417  
[ ]exchsort__1422_24.min1.thm12017-02-06 12:46 963  
[ ]exchsort__1426_36.min1.thm12017-02-06 12:46 955  
[ ]exchsort__1427_39.min1.thm12017-02-06 12:46 285  
[ ]exchsort__1444_38.min1.thm12017-02-06 12:46 393  
[ ]exchsort__1444_38.min1.thm1.tptp2017-02-06 16:47 313  
[ ]exchsort__1445_39.min1.thm12017-02-06 12:46 531  
[ ]exchsort__1450_44.min1.thm12017-02-06 12:46 819  
[ ]exchsort__1459_16.min1.thm12017-02-06 12:46 685  
[ ]exchsort__1461_38.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__1462_19.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__1474_11.min1.thm12017-02-06 12:46 131  
[ ]exchsort__1483_22.min1.thm12017-02-06 12:46 879  
[ ]exchsort__1506_37.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__1507_36.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1525_23.min1.thm12017-02-06 12:46 2.0K 
[ ]exchsort__1529_38.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__1530_25.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1531_21.min1.thm12017-02-06 12:46 2.0K 
[ ]exchsort__1533_16.min1.thm12017-02-06 12:46 366  
[ ]exchsort__1543_45.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__1549_15.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__1559_30.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1569_39.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__1582_48.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__1585_16.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__1586_21.min1.thm12017-02-06 12:46 2.0K 
[ ]exchsort__1593_45.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__1600_14.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__1601_35.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__1611_16.min1.thm12017-02-06 12:46 2.0K 
[ ]exchsort__1619_39.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__1634_20.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1645_14.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__1652_44.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1653_22.min1.thm12017-02-06 12:46 2.1K 
[ ]exchsort__1654_52.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1666_20.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__1669_55.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1673_53.min1.thm12017-02-06 12:46 2.7K 
[ ]exchsort__1674_19.min1.thm12017-02-06 12:46 2.6K 
[ ]exchsort__1682_53.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1683_48.min1.thm12017-02-06 12:46 1.8K 
[ ]exchsort__1686_42.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1687_24.min1.thm12017-02-06 12:46 783  
[ ]exchsort__1688_20.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__1693_13.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__1694_18.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__1695_19.min1.thm12017-02-06 12:46 3.2K 
[ ]exchsort__1703_53.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1704_30.min1.thm12017-02-06 12:46 543  
[ ]exchsort__1704_30.min1.thm1.tptp2017-02-06 16:47 476  
[ ]exchsort__1707_42.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1708_15.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1710_8.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__1716_22.min1.thm12017-02-06 12:46 912  
[ ]exchsort__1717_52.min1.thm12017-02-06 12:46 2.0K 
[ ]exchsort__1718_34.min1.thm12017-02-06 12:46 3.0K 
[ ]exchsort__1726_53.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1727_30.min1.thm12017-02-06 12:46 543  
[ ]exchsort__1727_30.min1.thm1.tptp2017-02-06 16:47 476  
[ ]exchsort__1732_60.min1.thm12017-02-06 12:46 2.2K 
[ ]exchsort__1733_22.min1.thm12017-02-06 12:46 766  
[ ]exchsort__1734_52.min1.thm12017-02-06 12:46 2.0K 
[ ]exchsort__1736_34.min1.thm12017-02-06 12:46 2.5K 
[ ]exchsort__1744_53.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1745_30.min1.thm12017-02-06 12:46 543  
[ ]exchsort__1745_30.min1.thm1.tptp2017-02-06 16:47 476  
[ ]exchsort__1751_22.min1.thm12017-02-06 12:46 766  
[ ]exchsort__1752_52.min1.thm12017-02-06 12:46 2.0K 
[ ]exchsort__1754_34.min1.thm12017-02-06 12:46 2.6K 
[ ]exchsort__1762_53.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1763_30.min1.thm12017-02-06 12:46 543  
[ ]exchsort__1763_30.min1.thm1.tptp2017-02-06 16:47 476  
[ ]exchsort__1768_60.min1.thm12017-02-06 12:46 2.2K 
[ ]exchsort__1769_22.min1.thm12017-02-06 12:46 766  
[ ]exchsort__1770_52.min1.thm12017-02-06 12:46 2.0K 
[ ]exchsort__1771_34.min1.thm12017-02-06 12:46 2.8K 
[ ]exchsort__1779_53.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1780_30.min1.thm12017-02-06 12:46 543  
[ ]exchsort__1780_30.min1.thm1.tptp2017-02-06 16:47 476  
[ ]exchsort__1784_24.min1.thm12017-02-06 12:46 783  
[ ]exchsort__1785_54.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__1790_60.min1.thm12017-02-06 12:46 2.2K 
[ ]exchsort__1791_13.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__1792_52.min1.thm12017-02-06 12:46 2.0K 
[ ]exchsort__1793_19.min1.thm12017-02-06 12:46 2.8K 
[ ]exchsort__1801_11.min1.thm12017-02-06 12:46 1.8K 
[ ]exchsort__1807_25.min1.thm12017-02-06 12:46 479  
[ ]exchsort__1808_47.min1.thm12017-02-06 12:46 768  
[ ]exchsort__1809_19.min1.thm12017-02-06 12:46 893  
[ ]exchsort__1820_22.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__1822_18.min1.thm12017-02-06 12:46 584  
[ ]exchsort__1822_18.min1.thm1.tptp2017-02-06 16:47 534  
[ ]exchsort__1823_23.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__1825_19.min1.thm12017-02-06 12:46 653  
[ ]exchsort__1838_13.min1.thm12017-02-06 12:46 669  
[ ]exchsort__1841_49.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__1845_24.min1.thm12017-02-06 12:46 2.4K 
[ ]exchsort__1847_30.min1.thm12017-02-06 12:46 897  
[ ]exchsort__1861_35.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__1863_40.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__1864_18.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__1880_50.min1.thm12017-02-06 12:46 671  
[ ]exchsort__1881_28.min1.thm12017-02-06 12:46 447  
[ ]exchsort__1881_28.min1.thm1.tptp2017-02-06 16:47 378  
[ ]exchsort__1882_34.min1.thm12017-02-06 12:46 920  
[ ]exchsort__1883_22.min1.thm12017-02-06 12:46 1.8K 
[ ]exchsort__1901_13.min1.thm12017-02-06 12:46 669  
[ ]exchsort__1903_17.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__1904_26.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__1927_13.min1.thm12017-02-06 12:46 669  
[ ]exchsort__1929_17.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__1930_26.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__1932_6.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__1944_13.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__1945_19.min1.thm12017-02-06 12:46 2.1K 
[ ]exchsort__1972_13.min1.thm12017-02-06 12:46 669  
[ ]exchsort__1973_22.min1.thm12017-02-06 12:46 418  
[ ]exchsort__1973_22.min1.thm1.tptp2017-02-06 16:47 339  
[ ]exchsort__1990_22.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__1991_19.min1.thm12017-02-06 12:46 2.0K 
[ ]exchsort__2003_13.min1.thm12017-02-06 12:46 669  
[ ]exchsort__2004_22.min1.thm12017-02-06 12:46 418  
[ ]exchsort__2004_22.min1.thm1.tptp2017-02-06 16:47 339  
[ ]exchsort__2022_10.min1.thm12017-02-06 12:46 432  
[ ]exchsort__2022_10.min1.thm1.tptp2017-02-06 16:47 355  
[ ]exchsort__2055_30.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__2092_30.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__2111_29.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__2130_30.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__2170_30.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__2209_41.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__2251_30.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__2294_30.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__2334_41.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__2361_20.min1.thm12017-02-06 12:46 589  
[ ]exchsort__2361_20.min1.thm1.tptp2017-02-06 16:47 521  
[ ]exchsort__2363_22.min1.thm12017-02-06 12:46 1.8K 
[ ]exchsort__2369_56.min1.thm12017-02-06 12:46 2.3K 
[ ]exchsort__2371_19.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2386_40.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2387_31.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__2400_53.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__2401_45.min1.thm12017-02-06 12:46 1.8K 
[ ]exchsort__2402_46.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__2406_20.min1.thm12017-02-06 12:46 589  
[ ]exchsort__2406_20.min1.thm1.tptp2017-02-06 16:47 521  
[ ]exchsort__2418_24.min1.thm12017-02-06 12:46 3.1K 
[ ]exchsort__2419_23.min1.thm12017-02-06 12:46 3.0K 
[ ]exchsort__2423_24.min1.thm12017-02-06 12:46 3.0K 
[ ]exchsort__2424_23.min1.thm12017-02-06 12:46 2.4K 
[ ]exchsort__2428_24.min1.thm12017-02-06 12:46 3.0K 
[ ]exchsort__2429_23.min1.thm12017-02-06 12:46 2.4K 
[ ]exchsort__2433_24.min1.thm12017-02-06 12:46 3.0K 
[ ]exchsort__2434_23.min1.thm12017-02-06 12:46 2.4K 
[ ]exchsort__2438_23.min1.thm12017-02-06 12:46 3.1K 
[ ]exchsort__2442_24.min1.thm12017-02-06 12:46 3.0K 
[ ]exchsort__2443_23.min1.thm12017-02-06 12:46 2.4K 
[ ]exchsort__2447_24.min1.thm12017-02-06 12:46 3.0K 
[ ]exchsort__2448_23.min1.thm12017-02-06 12:46 2.5K 
[ ]exchsort__2452_24.min1.thm12017-02-06 12:46 3.0K 
[ ]exchsort__2453_23.min1.thm12017-02-06 12:46 2.4K 
[ ]exchsort__2460_25.min1.thm12017-02-06 12:46 2.2K 
[ ]exchsort__2464_26.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__2466_19.min1.thm12017-02-06 12:46 1.8K 
[ ]exchsort__2475_30.min1.thm12017-02-06 12:46 497  
[ ]exchsort__2475_30.min1.thm1.tptp2017-02-06 16:47 430  
[ ]exchsort__2476_19.min1.thm12017-02-06 12:46 854  
[ ]exchsort__2490_45.min1.thm12017-02-06 12:46 383  
[ ]exchsort__2491_28.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__2492_17.min1.thm12017-02-06 12:46 813  
[ ]exchsort__2493_40.min1.thm12017-02-06 12:46 844  
[ ]exchsort__2494_26.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__2495_27.min1.thm12017-02-06 12:46 800  
[ ]exchsort__2496_39.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__2497_21.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__2501_30.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__2502_22.min1.thm12017-02-06 12:46 556  
[ ]exchsort__2502_22.min1.thm1.tptp2017-02-06 16:47 489  
[ ]exchsort__2504_20.min1.thm12017-02-06 12:46 1.8K 
[ ]exchsort__2505_26.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__2506_20.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__2508_61.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__2517_55.min1.thm12017-02-06 12:46 2.3K 
[ ]exchsort__2518_19.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__2530_51.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__2532_25.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2534_27.min1.thm12017-02-06 12:46 778  
[ ]exchsort__2537_14.min1.thm12017-02-06 12:46 534  
[ ]exchsort__2538_32.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2549_53.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2552_31.min1.thm12017-02-06 12:46 784  
[ ]exchsort__2553_19.min1.thm12017-02-06 12:46 900  
[ ]exchsort__2554_29.min1.thm12017-02-06 12:46 792  
[ ]exchsort__2557_16.min1.thm12017-02-06 12:46 511  
[ ]exchsort__2558_34.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2562_27.min1.thm12017-02-06 12:46 710  
[ ]exchsort__2563_15.min1.thm12017-02-06 12:46 440  
[ ]exchsort__2566_16.min1.thm12017-02-06 12:46 533  
[ ]exchsort__2574_60.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__2576_16.min1.thm12017-02-06 12:46 616  
[ ]exchsort__2576_16.min1.thm1.tptp2017-02-06 16:47 534  
[ ]exchsort__2587_13.min1.thm12017-02-06 12:46 254  
[ ]exchsort__2589_21.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__2604_13.min1.thm12017-02-06 12:46 254  
[ ]exchsort__2606_22.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__2607_25.min1.thm12017-02-06 12:46 566  
[ ]exchsort__2608_44.min1.thm12017-02-06 12:46 408  
[ ]exchsort__2608_44.min1.thm1.tptp2017-02-06 16:47 325  
[ ]exchsort__2620_11.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__2627_11.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__2642_37.min1.thm12017-02-06 12:46 718  
[ ]exchsort__2642_37.min1.thm1.tptp2017-02-06 16:47 630  
[ ]exchsort__2645_17.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__2646_23.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2650_20.min1.thm12017-02-06 12:46 334  
[ ]exchsort__2650_20.min1.thm1.tptp2017-02-06 16:47 254  
[ ]exchsort__2651_19.min1.thm12017-02-06 12:46 2.0K 
[ ]exchsort__2654_31.min1.thm12017-02-06 12:46 861  
[ ]exchsort__2655_30.min1.thm12017-02-06 12:46 1.8K 
[ ]exchsort__2656_54.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__2657_36.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2669_18.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__2670_52.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__2675_14.min1.thm12017-02-06 12:46 647  
[ ]exchsort__2676_17.min1.thm12017-02-06 12:46 583  
[ ]exchsort__2677_12.min1.thm12017-02-06 12:46 568  
[ ]exchsort__2678_43.min1.thm12017-02-06 12:46 948  
[ ]exchsort__2689_18.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2694_29.min1.thm12017-02-06 12:46 338  
[ ]exchsort__2694_29.min1.thm1.tptp2017-02-06 16:47 261  
[ ]exchsort__2695_13.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__2697_14.min1.thm12017-02-06 12:46 504  
[ ]exchsort__2698_20.min1.thm12017-02-06 12:46 715  
[ ]exchsort__2698_52.min1.thm12017-02-06 12:46 695  
[ ]exchsort__2699_21.min1.thm12017-02-06 12:46 814  
[ ]exchsort__2699_50.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__2702_12.min1.thm12017-02-06 12:46 804  
[ ]exchsort__2706_21.min1.thm12017-02-06 12:46 525  
[ ]exchsort__2707_31.min1.thm12017-02-06 12:46 809  
[ ]exchsort__2708_41.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__2709_31.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2710_22.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__2714_32.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__2715_40.min1.thm12017-02-06 12:46 835  
[ ]exchsort__2719_28.min1.thm12017-02-06 12:46 913  
[ ]exchsort__2720_27.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__2721_39.min1.thm12017-02-06 12:46 1.8K 
[ ]exchsort__2724_23.min1.thm12017-02-06 12:46 913  
[ ]exchsort__2725_20.min1.thm12017-02-06 12:46 839  
[ ]exchsort__2726_16.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__2727_30.min1.thm12017-02-06 12:46 539  
[ ]exchsort__2728_11.min1.thm12017-02-06 12:46 622  
[ ]exchsort__2728_11.min1.thm1.tptp2017-02-06 16:47 545  
[ ]exchsort__2740_18.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__2741_19.min1.thm12017-02-06 12:46 515  
[ ]exchsort__2742_35.min1.thm12017-02-06 12:46 819  
[ ]exchsort__2743_24.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2749_25.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__2750_26.min1.thm12017-02-06 12:46 865  
[ ]exchsort__2751_19.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2758_20.min1.thm12017-02-06 12:46 746  
[ ]exchsort__2760_20.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__2761_34.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__2768_14.min1.thm12017-02-06 12:46 542  
[ ]exchsort__2783_44.min1.thm12017-02-06 12:46 322  
[ ]exchsort__2783_44.min1.thm1.tptp2017-02-06 16:47 244  
[ ]exchsort__2784_45.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__2797_15.min1.thm12017-02-06 12:46 344  
[ ]exchsort__2801_24.min1.thm12017-02-06 12:46 875  
[ ]exchsort__2801_24.min1.thm1.tptp2017-02-06 16:47 822  
[ ]exchsort__2807_42.min1.thm12017-02-06 12:46 864  
[ ]exchsort__2810_24.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2818_11.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__2822_48.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__2823_17.min1.thm12017-02-06 12:46 392  
[ ]exchsort__2825_46.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__2825_46.min1.thm1.tptp2017-02-06 16:47 1.6K 
[ ]exchsort__2826_18.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__2837_25.min1.thm12017-02-06 12:46 1.8K 
[ ]exchsort__2839_20.min1.thm12017-02-06 12:46 2.1K 
[ ]exchsort__2845_18.min1.thm12017-02-06 12:46 392  
[ ]exchsort__2847_15.min1.thm12017-02-06 12:46 572  
[ ]exchsort__2849_23.min1.thm12017-02-06 12:46 2.8K 
[ ]exchsort__2853_68.min1.thm12017-02-06 12:46 2.0K 
[ ]exchsort__2854_60.min1.thm12017-02-06 12:46 2.2K 
[ ]exchsort__2857_22.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__2861_23.min1.thm12017-02-06 12:46 352  
[ ]exchsort__2861_23.min1.thm1.tptp2017-02-06 16:47 272  
[ ]exchsort__2862_24.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__2865_10.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__2866_25.min1.thm12017-02-06 12:46 763  
[ ]exchsort__2868_25.min1.thm12017-02-06 12:46 1.6K 
[ ]exchsort__2871_51.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__2872_20.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__2875_24.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__2878_12.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__2879_25.min1.thm12017-02-06 12:46 811  
[ ]exchsort__2883_29.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2884_29.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__2885_29.min1.thm12017-02-06 12:46 580  
[ ]exchsort__2888_12.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__2890_25.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__2898_21.min1.thm12017-02-06 12:46 337  
[ ]exchsort__2898_21.min1.thm1.tptp2017-02-06 16:47 258  
[ ]exchsort__2899_65.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__2901_17.min1.thm12017-02-06 12:46 570  
[ ]exchsort__2909_56.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__2910_17.min1.thm12017-02-06 12:46 392  
[ ]exchsort__2913_60.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__2914_51.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2916_47.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__2918_19.min1.thm12017-02-06 12:46 1.7K 
[ ]exchsort__2923_43.min1.thm12017-02-06 12:46 436  
[ ]exchsort__2924_58.min1.thm12017-02-06 12:46 1.8K 
[ ]exchsort__2928_34.min1.thm12017-02-06 12:46 850  
[ ]exchsort__2937_36.min1.thm12017-02-06 12:46 646  
[ ]exchsort__2947_49.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__2948_16.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__2968_11.min1.thm12017-02-06 12:46 799  
[ ]exchsort__2978_49.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__2979_16.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__2991_16.min1.thm12017-02-06 12:46 634  
[ ]exchsort__2993_21.min1.thm12017-02-06 12:46 460  
[ ]exchsort__2994_25.min1.thm12017-02-06 12:46 345  
[ ]exchsort__2994_25.min1.thm1.tptp2017-02-06 16:47 262  
[ ]exchsort__2997_24.min1.thm12017-02-06 12:46 935  
[ ]exchsort__2998_25.min1.thm12017-02-06 12:46 592  
[ ]exchsort__3008_8.min1.thm12017-02-06 12:46 1.4K 
[ ]exchsort__3020_15.min1.thm12017-02-06 12:46 654  
[ ]exchsort__3022_29.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__3025_20.min1.thm12017-02-06 12:46 910  
[ ]exchsort__3033_53.min1.thm12017-02-06 12:46 872  
[ ]exchsort__3034_35.min1.thm12017-02-06 12:46 924  
[ ]exchsort__3042_28.min1.thm12017-02-06 12:46 580  
[ ]exchsort__3042_28.min1.thm1.tptp2017-02-06 16:47 502  
[ ]exchsort__3043_13.min1.thm12017-02-06 12:46 1.5K 
[ ]exchsort__3044_18.min1.thm12017-02-06 12:46 1.1K 
[ ]exchsort__3057_24.min1.thm12017-02-06 12:46 606  
[ ]exchsort__3072_34.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__3084_28.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__3091_36.min1.thm12017-02-06 12:46 1.0K 
[ ]exchsort__3095_21.min1.thm12017-02-06 12:46 377  
[ ]exchsort__3095_21.min1.thm1.tptp2017-02-06 16:47 312  
[ ]exchsort__3105_48.min1.thm12017-02-06 12:46 572  
[ ]exchsort__3105_48.min1.thm1.tptp2017-02-06 16:47 483  
[ ]exchsort__3107_29.min1.thm12017-02-06 12:46 715  
[ ]exchsort__3108_32.min1.thm12017-02-06 12:46 1.9K 
[ ]exchsort__3117_20.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__3118_18.min1.thm12017-02-06 12:46 1.2K 
[ ]exchsort__3119_48.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__3121_26.min1.thm12017-02-06 12:46 1.3K 
[ ]exchsort__3130_28.min1.thm12017-02-06 12:46 549  
[ ]exchsort__3130_28.min1.thm1.tptp2017-02-06 16:47 472  
[ ]exchsort__3131_37.min1.thm12017-02-06 12:46 1.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80