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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cc0sp2__67_17.min1.thm12017-02-06 12:46 298  
[ ]cc0sp2__67_17.min1.thm1.tptp2017-02-06 16:48 217  
[ ]cc0sp2__68_17.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__85_11.min1.thm12017-02-06 12:46 204  
[ ]cc0sp2__88_24.min1.thm12017-02-06 12:46 585  
[ ]cc0sp2__92_24.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__108_13.min1.thm12017-02-06 12:46 845  
[ ]cc0sp2__125_24.min1.thm12017-02-06 12:46 460  
[ ]cc0sp2__127_23.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__129_24.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__130_45.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__138_9.min1.thm12017-02-06 12:46 406  
[ ]cc0sp2__138_9.min1.thm1.tptp2017-02-06 16:48 332  
[ ]cc0sp2__139_20.min1.thm12017-02-06 12:46 679  
[ ]cc0sp2__141_21.min1.thm12017-02-06 12:46 726  
[ ]cc0sp2__143_26.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__144_24.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__163_34.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__166_16.min1.thm12017-02-06 12:46 852  
[ ]cc0sp2__174_59.min1.thm12017-02-06 12:46 740  
[ ]cc0sp2__175_29.min1.thm12017-02-06 12:46 411  
[ ]cc0sp2__175_29.min1.thm1.tptp2017-02-06 16:48 338  
[ ]cc0sp2__177_47.min1.thm12017-02-06 12:46 405  
[ ]cc0sp2__177_47.min1.thm1.tptp2017-02-06 16:48 327  
[ ]cc0sp2__181_22.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__184_22.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__185_23.min1.thm12017-02-06 12:46 925  
[ ]cc0sp2__186_26.min1.thm12017-02-06 12:46 558  
[ ]cc0sp2__190_64.min1.thm12017-02-06 12:46 952  
[ ]cc0sp2__199_24.min1.thm12017-02-06 12:46 474  
[ ]cc0sp2__201_19.min1.thm12017-02-06 12:46 764  
[ ]cc0sp2__210_39.min1.thm12017-02-06 12:46 867  
[ ]cc0sp2__212_41.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__214_38.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__215_21.min1.thm12017-02-06 12:46 833  
[ ]cc0sp2__223_33.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__226_26.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__240_49.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__250_32.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__252_15.min1.thm12017-02-06 12:46 824  
[ ]cc0sp2__257_32.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__264_27.min1.thm12017-02-06 12:46 419  
[ ]cc0sp2__264_27.min1.thm1.tptp2017-02-06 16:48 346  
[ ]cc0sp2__266_41.min1.thm12017-02-06 12:46 394  
[ ]cc0sp2__266_41.min1.thm1.tptp2017-02-06 16:48 316  
[ ]cc0sp2__272_32.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__279_27.min1.thm12017-02-06 12:46 420  
[ ]cc0sp2__279_27.min1.thm1.tptp2017-02-06 16:48 347  
[ ]cc0sp2__281_46.min1.thm12017-02-06 12:46 397  
[ ]cc0sp2__281_46.min1.thm1.tptp2017-02-06 16:48 319  
[ ]cc0sp2__297_41.min1.thm12017-02-06 12:46 1.7K 
[ ]cc0sp2__298_30.min1.thm12017-02-06 12:46 666  
[ ]cc0sp2__299_27.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__303_37.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__306_22.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__310_37.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__313_29.min1.thm12017-02-06 12:46 609  
[ ]cc0sp2__313_29.min1.thm1.tptp2017-02-06 16:48 530  
[ ]cc0sp2__314_51.min1.thm12017-02-06 12:46 1.6K 
[ ]cc0sp2__318_55.min1.thm12017-02-06 12:46 2.0K 
[ ]cc0sp2__325_21.min1.thm12017-02-06 12:46 728  
[ ]cc0sp2__343_15.min1.thm12017-02-06 12:46 180  
[ ]cc0sp2__354_17.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__358_15.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__361_34.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__368_38.min1.thm12017-02-06 12:46 959  
[ ]cc0sp2__369_29.min1.thm12017-02-06 12:46 476  
[ ]cc0sp2__369_29.min1.thm1.tptp2017-02-06 16:48 403  
[ ]cc0sp2__371_48.min1.thm12017-02-06 12:46 457  
[ ]cc0sp2__371_48.min1.thm1.tptp2017-02-06 16:48 379  
[ ]cc0sp2__378_18.min1.thm12017-02-06 12:46 487  
[ ]cc0sp2__379_15.min1.thm12017-02-06 12:46 493  
[ ]cc0sp2__386_43.min1.thm12017-02-06 12:46 811  
[ ]cc0sp2__387_32.min1.thm12017-02-06 12:46 690  
[ ]cc0sp2__388_29.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__392_39.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__393_69.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__395_35.min1.thm12017-02-06 12:46 715  
[ ]cc0sp2__395_35.min1.thm1.tptp2017-02-06 16:48 636  
[ ]cc0sp2__397_52.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__402_34.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__403_29.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__407_23.min1.thm12017-02-06 12:46 844  
[ ]cc0sp2__409_42.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__420_22.min1.thm12017-02-06 12:46 632  
[ ]cc0sp2__420_22.min1.thm1.tptp2017-02-06 16:48 550  
[ ]cc0sp2__426_22.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__427_13.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__443_27.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__465_15.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__469_32.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__470_32.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__478_59.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__479_27.min1.thm12017-02-06 12:46 507  
[ ]cc0sp2__479_27.min1.thm1.tptp2017-02-06 16:48 434  
[ ]cc0sp2__481_46.min1.thm12017-02-06 12:46 433  
[ ]cc0sp2__481_46.min1.thm1.tptp2017-02-06 16:48 355  
[ ]cc0sp2__492_59.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__493_27.min1.thm12017-02-06 12:46 507  
[ ]cc0sp2__493_27.min1.thm1.tptp2017-02-06 16:48 434  
[ ]cc0sp2__496_41.min1.thm12017-02-06 12:46 433  
[ ]cc0sp2__496_41.min1.thm1.tptp2017-02-06 16:48 355  
[ ]cc0sp2__508_30.min1.thm12017-02-06 12:46 591  
[ ]cc0sp2__509_27.min1.thm12017-02-06 12:46 395  
[ ]cc0sp2__509_27.min1.thm1.tptp2017-02-06 16:48 322  
[ ]cc0sp2__511_46.min1.thm12017-02-06 12:46 369  
[ ]cc0sp2__511_46.min1.thm1.tptp2017-02-06 16:48 291  
[ ]cc0sp2__514_17.min1.thm12017-02-06 12:46 767  
[ ]cc0sp2__521_20.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__532_21.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__534_30.min1.thm12017-02-06 12:46 676  
[ ]cc0sp2__535_27.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__539_37.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__540_63.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__542_29.min1.thm12017-02-06 12:46 786  
[ ]cc0sp2__542_29.min1.thm1.tptp2017-02-06 16:48 707  
[ ]cc0sp2__543_19.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__544_22.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__548_37.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__549_63.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__551_29.min1.thm12017-02-06 12:46 786  
[ ]cc0sp2__551_29.min1.thm1.tptp2017-02-06 16:48 707  
[ ]cc0sp2__553_22.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__557_37.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__558_61.min1.thm12017-02-06 12:46 721  
[ ]cc0sp2__560_27.min1.thm12017-02-06 12:46 562  
[ ]cc0sp2__560_27.min1.thm1.tptp2017-02-06 16:48 483  
[ ]cc0sp2__561_45.min1.thm12017-02-06 12:46 747  
[ ]cc0sp2__571_14.min1.thm12017-02-06 12:46 1.6K 
[ ]cc0sp2__573_58.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__574_60.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__576_65.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__576_65.min1.thm1.tptp2017-02-06 16:48 1.4K 
[ ]cc0sp2__596_21.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__611_59.min1.thm12017-02-06 12:46 2.2K 
[ ]cc0sp2__619_30.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__623_32.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__630_30.min1.thm12017-02-06 12:46 704  
[ ]cc0sp2__631_27.min1.thm12017-02-06 12:46 405  
[ ]cc0sp2__631_27.min1.thm1.tptp2017-02-06 16:48 332  
[ ]cc0sp2__633_41.min1.thm12017-02-06 12:46 399  
[ ]cc0sp2__633_41.min1.thm1.tptp2017-02-06 16:48 321  
[ ]cc0sp2__634_16.min1.thm12017-02-06 12:46 383  
[ ]cc0sp2__638_20.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__642_16.min1.thm12017-02-06 12:46 429  
[ ]cc0sp2__643_13.min1.thm12017-02-06 12:46 429  
[ ]cc0sp2__650_18.min1.thm12017-02-06 12:46 399  
[ ]cc0sp2__651_40.min1.thm12017-02-06 12:46 635  
[ ]cc0sp2__652_30.min1.thm12017-02-06 12:46 676  
[ ]cc0sp2__653_27.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__657_37.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__658_61.min1.thm12017-02-06 12:46 833  
[ ]cc0sp2__660_27.min1.thm12017-02-06 12:46 582  
[ ]cc0sp2__660_27.min1.thm1.tptp2017-02-06 16:48 503  
[ ]cc0sp2__666_23.min1.thm12017-02-06 12:46 3.3K 
[ ]cc0sp2__687_71.min1.thm12017-02-06 12:46 865  
[ ]cc0sp2__688_49.min1.thm12017-02-06 12:46 885  
[ ]cc0sp2__701_14.min1.thm12017-02-06 12:46 663  
[ ]cc0sp2__718_13.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__720_13.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__724_54.min1.thm12017-02-06 12:46 2.3K 
[ ]cc0sp2__727_41.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__733_21.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__741_13.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__743_32.min1.thm12017-02-06 12:46 514  
[ ]cc0sp2__747_31.min1.thm12017-02-06 12:46 840  
[ ]cc0sp2__756_64.min1.thm12017-02-06 12:46 2.0K 
[ ]cc0sp2__766_13.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__770_32.min1.thm12017-02-06 12:46 840  
[ ]cc0sp2__771_19.min1.thm12017-02-06 12:46 322  
[ ]cc0sp2__771_19.min1.thm1.tptp2017-02-06 16:48 241  
[ ]cc0sp2__775_64.min1.thm12017-02-06 12:46 2.0K 
[ ]cc0sp2__776_21.min1.thm12017-02-06 12:46 1.6K 
[ ]cc0sp2__785_13.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__787_13.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__791_54.min1.thm12017-02-06 12:46 2.3K 
[ ]cc0sp2__794_42.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__802_43.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__803_14.min1.thm12017-02-06 12:46 1.8K 
[ ]cc0sp2__848_17.min1.thm12017-02-06 12:46 1.8K 
[ ]cc0sp2__897_19.min1.thm12017-02-06 12:46 298  
[ ]cc0sp2__897_19.min1.thm1.tptp2017-02-06 16:48 217  
[ ]cc0sp2__976_55.min1.thm12017-02-06 12:46 2.4K 
[ ]cc0sp2__983_38.min1.thm12017-02-06 12:46 2.7K 
[ ]cc0sp2__993_38.min1.thm12017-02-06 12:46 2.7K 
[ ]cc0sp2__1002_39.min1.thm12017-02-06 12:46 3.0K 
[ ]cc0sp2__1006_40.min1.thm12017-02-06 12:46 3.0K 
[ ]cc0sp2__1018_11.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__1020_44.min1.thm12017-02-06 12:46 1.8K 
[ ]cc0sp2__1022_33.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__1022_33.min1.thm1.tptp2017-02-06 16:48 1.1K 
[ ]cc0sp2__1023_50.min1.thm12017-02-06 12:46 1.8K 
[ ]cc0sp2__1033_20.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__1034_19.min1.thm12017-02-06 12:46 761  
[ ]cc0sp2__1036_17.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__1038_56.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__1051_54.min1.thm12017-02-06 12:46 562  
[ ]cc0sp2__1051_54.min1.thm1.tptp2017-02-06 16:48 497  
[ ]cc0sp2__1059_56.min1.thm12017-02-06 12:46 638  
[ ]cc0sp2__1073_50.min1.thm12017-02-06 12:46 564  
[ ]cc0sp2__1073_50.min1.thm1.tptp2017-02-06 16:48 499  
[ ]cc0sp2__1075_57.min1.thm12017-02-06 12:46 437  
[ ]cc0sp2__1075_57.min1.thm1.tptp2017-02-06 16:48 373  
[ ]cc0sp2__1110_59.min1.thm12017-02-06 12:46 533  
[ ]cc0sp2__1144_30.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__1191_45.min1.thm12017-02-06 12:46 378  
[ ]cc0sp2__1239_12.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__1239_12.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]cc0sp2__1257_14.min1.thm12017-02-06 12:46 449  
[ ]cc0sp2__1257_14.min1.thm1.tptp2017-02-06 16:48 367  
[ ]cc0sp2__1275_18.min1.thm12017-02-06 12:46 424  
[ ]cc0sp2__1275_18.min1.thm1.tptp2017-02-06 16:48 342  
[ ]cc0sp2__1285_65.min1.thm12017-02-06 12:46 1.6K 
[ ]cc0sp2__1292_53.min1.thm12017-02-06 12:46 621  
[ ]cc0sp2__1302_65.min1.thm12017-02-06 12:46 510  
[ ]cc0sp2__1302_65.min1.thm1.tptp2017-02-06 16:48 435  
[ ]cc0sp2__1304_42.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__1315_21.min1.thm12017-02-06 12:46 492  
[ ]cc0sp2__1315_21.min1.thm1.tptp2017-02-06 16:48 417  
[ ]cc0sp2__1316_63.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__1330_23.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__1391_68.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__1405_68.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__1447_61.min1.thm12017-02-06 12:46 538  
[ ]cc0sp2__1447_61.min1.thm1.tptp2017-02-06 16:48 463  
[ ]cc0sp2__1453_40.min1.thm12017-02-06 12:46 2.0K 
[ ]cc0sp2__1472_73.min1.thm12017-02-06 12:46 285  
[ ]cc0sp2__1473_30.min1.thm12017-02-06 12:46 508  
[ ]cc0sp2__1475_17.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__1506_66.min1.thm12017-02-06 12:46 690  
[ ]cc0sp2__1513_34.min1.thm12017-02-06 12:46 781  
[ ]cc0sp2__1513_34.min1.thm1.tptp2017-02-06 16:48 704  
[ ]cc0sp2__1538_28.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__1566_53.min1.thm12017-02-06 12:46 666  
[ ]cc0sp2__1566_53.min1.thm1.tptp2017-02-06 16:48 604  
[ ]cc0sp2__1570_60.min1.thm12017-02-06 12:46 485  
[ ]cc0sp2__1570_60.min1.thm1.tptp2017-02-06 16:48 421  
[ ]cc0sp2__1592_46.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__1601_59.min1.thm12017-02-06 12:46 413  
[ ]cc0sp2__1601_59.min1.thm1.tptp2017-02-06 16:48 335  
[ ]cc0sp2__1619_36.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__1621_20.min1.thm12017-02-06 12:46 902  
[ ]cc0sp2__1630_16.min1.thm12017-02-06 12:46 883  
[ ]cc0sp2__1632_30.min1.thm12017-02-06 12:46 2.2K 
[ ]cc0sp2__1637_20.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__1645_36.min1.thm12017-02-06 12:46 1.7K 
[ ]cc0sp2__1646_31.min1.thm12017-02-06 12:46 519  
[ ]cc0sp2__1646_31.min1.thm1.tptp2017-02-06 16:48 446  
[ ]cc0sp2__1649_47.min1.thm12017-02-06 12:46 493  
[ ]cc0sp2__1649_47.min1.thm1.tptp2017-02-06 16:48 415  
[ ]cc0sp2__1662_59.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__1668_42.min1.thm12017-02-06 12:46 1.7K 
[ ]cc0sp2__1671_42.min1.thm12017-02-06 12:46 1.7K 
[ ]cc0sp2__1684_50.min1.thm12017-02-06 12:46 3.7K 
[ ]cc0sp2__1686_50.min1.thm12017-02-06 12:46 2.7K 
[ ]cc0sp2__1697_26.min1.thm12017-02-06 12:46 712  
[ ]cc0sp2__1699_45.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__1703_25.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__1718_57.min1.thm12017-02-06 12:46 560  
[ ]cc0sp2__1718_57.min1.thm1.tptp2017-02-06 16:48 495  
[ ]cc0sp2__1721_50.min1.thm12017-02-06 12:46 429  
[ ]cc0sp2__1721_50.min1.thm1.tptp2017-02-06 16:48 365  
[ ]cc0sp2__1743_43.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__1747_26.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__1752_16.min1.thm12017-02-06 12:46 787  
[ ]cc0sp2__1769_51.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__1773_33.min1.thm12017-02-06 12:46 718  
[ ]cc0sp2__1784_48.min1.thm12017-02-06 12:46 878  
[ ]cc0sp2__1784_48.min1.thm1.tptp2017-02-06 16:48 829  
[ ]cc0sp2__1812_13.min1.thm12017-02-06 12:46 958  
[ ]cc0sp2__1819_21.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__1845_72.min1.thm12017-02-06 12:46 1.8K 
[ ]cc0sp2__1845_72.min1.thm1.tptp2017-02-06 16:48 1.8K 
[ ]cc0sp2__1863_49.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__1865_41.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__1867_61.min1.thm12017-02-06 12:46 1.7K 
[ ]cc0sp2__1875_42.min1.thm12017-02-06 12:46 809  
[ ]cc0sp2__1877_35.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__1880_20.min1.thm12017-02-06 12:46 658  
[ ]cc0sp2__1881_29.min1.thm12017-02-06 12:46 625  
[ ]cc0sp2__1881_29.min1.thm1.tptp2017-02-06 16:48 545  
[ ]cc0sp2__1883_34.min1.thm12017-02-06 12:46 847  
[ ]cc0sp2__1890_51.min1.thm12017-02-06 12:46 927  
[ ]cc0sp2__1892_63.min1.thm12017-02-06 12:46 947  
[ ]cc0sp2__1894_59.min1.thm12017-02-06 12:46 868  
[ ]cc0sp2__1896_54.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__1898_53.min1.thm12017-02-06 12:46 734  
[ ]cc0sp2__1898_53.min1.thm1.tptp2017-02-06 16:48 657  
[ ]cc0sp2__1899_57.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__1900_51.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__1914_23.min1.thm12017-02-06 12:46 1.6K 
[ ]cc0sp2__1916_15.min1.thm12017-02-06 12:46 438  
[ ]cc0sp2__1917_26.min1.thm12017-02-06 12:46 751  
[ ]cc0sp2__1929_41.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__1931_61.min1.thm12017-02-06 12:46 1.7K 
[ ]cc0sp2__1938_42.min1.thm12017-02-06 12:46 809  
[ ]cc0sp2__1940_32.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__1945_36.min1.thm12017-02-06 12:46 913  
[ ]cc0sp2__1952_42.min1.thm12017-02-06 12:46 971  
[ ]cc0sp2__1954_65.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__1956_61.min1.thm12017-02-06 12:46 910  
[ ]cc0sp2__1958_56.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__1960_63.min1.thm12017-02-06 12:46 778  
[ ]cc0sp2__1960_63.min1.thm1.tptp2017-02-06 16:48 701  
[ ]cc0sp2__1961_59.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__1962_53.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__1990_77.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__1991_51.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__1999_56.min1.thm12017-02-06 12:46 821  
[ ]cc0sp2__2007_17.min1.thm12017-02-06 12:46 233  
[ ]cc0sp2__2009_25.min1.thm12017-02-06 12:46 1.6K 
[ ]cc0sp2__2010_29.min1.thm12017-02-06 12:46 651  
[ ]cc0sp2__2017_21.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__2033_21.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__2034_21.min1.thm12017-02-06 12:46 968  
[ ]cc0sp2__2037_23.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__2038_25.min1.thm12017-02-06 12:46 855  
[ ]cc0sp2__2047_18.min1.thm12017-02-06 12:46 343  
[ ]cc0sp2__2047_18.min1.thm1.tptp2017-02-06 16:48 263  
[ ]cc0sp2__2072_59.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__2075_56.min1.thm12017-02-06 12:46 773  
[ ]cc0sp2__2080_59.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__2083_56.min1.thm12017-02-06 12:46 773  
[ ]cc0sp2__2084_34.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__2085_34.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__2090_15.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__2091_25.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__2092_58.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__2095_35.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__2096_64.min1.thm12017-02-06 12:46 544  
[ ]cc0sp2__2096_64.min1.thm1.tptp2017-02-06 16:48 466  
[ ]cc0sp2__2097_54.min1.thm12017-02-06 12:46 2.2K 
[ ]cc0sp2__2099_53.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__2100_39.min1.thm12017-02-06 12:46 292  
[ ]cc0sp2__2104_62.min1.thm12017-02-06 12:46 544  
[ ]cc0sp2__2104_62.min1.thm1.tptp2017-02-06 16:48 466  
[ ]cc0sp2__2105_49.min1.thm12017-02-06 12:46 503  
[ ]cc0sp2__2105_49.min1.thm1.tptp2017-02-06 16:48 425  
[ ]cc0sp2__2108_27.min1.thm12017-02-06 12:46 628  
[ ]cc0sp2__2110_16.min1.thm12017-02-06 12:46 395  
[ ]cc0sp2__2110_16.min1.thm1.tptp2017-02-06 16:48 317  
[ ]cc0sp2__2111_27.min1.thm12017-02-06 12:46 628  
[ ]cc0sp2__2144_59.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__2147_56.min1.thm12017-02-06 12:46 773  
[ ]cc0sp2__2148_34.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__2152_23.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__2153_30.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__2155_38.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__2157_45.min1.thm12017-02-06 12:46 393  
[ ]cc0sp2__2157_45.min1.thm1.tptp2017-02-06 16:48 315  
[ ]cc0sp2__2158_33.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__2162_46.min1.thm12017-02-06 12:46 393  
[ ]cc0sp2__2162_46.min1.thm1.tptp2017-02-06 16:48 315  
[ ]cc0sp2__2163_50.min1.thm12017-02-06 12:46 525  
[ ]cc0sp2__2163_50.min1.thm1.tptp2017-02-06 16:48 447  
[ ]cc0sp2__2164_27.min1.thm12017-02-06 12:46 628  
[ ]cc0sp2__2166_16.min1.thm12017-02-06 12:46 395  
[ ]cc0sp2__2166_16.min1.thm1.tptp2017-02-06 16:48 317  
[ ]cc0sp2__2173_17.min1.thm12017-02-06 12:46 299  
[ ]cc0sp2__2173_17.min1.thm1.tptp2017-02-06 16:48 218  
[ ]cc0sp2__2177_32.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__2196_17.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__2213_50.min1.thm12017-02-06 12:46 763  
[ ]cc0sp2__2234_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__2254_17.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__2264_16.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__2273_16.min1.thm12017-02-06 12:46 722  
[ ]cc0sp2__2290_42.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__2292_24.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__2327_57.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__2330_53.min1.thm12017-02-06 12:46 773  
[ ]cc0sp2__2331_29.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__2332_49.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__2334_30.min1.thm12017-02-06 12:46 2.1K 
[ ]cc0sp2__2336_33.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__2336_33.min1.thm1.tptp2017-02-06 16:48 1.1K 
[ ]cc0sp2__2339_10.min1.thm12017-02-06 12:46 1.7K 
[ ]cc0sp2__2340_31.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__2341_39.min1.thm12017-02-06 12:46 751  
[ ]cc0sp2__2342_39.min1.thm12017-02-06 12:46 751  
[ ]cc0sp2__2349_29.min1.thm12017-02-06 12:46 2.0K 
[ ]cc0sp2__2352_49.min1.thm12017-02-06 12:46 804  
[ ]cc0sp2__2353_21.min1.thm12017-02-06 12:46 381  
[ ]cc0sp2__2353_21.min1.thm1.tptp2017-02-06 16:48 304  
[ ]cc0sp2__2358_20.min1.thm12017-02-06 12:46 371  
[ ]cc0sp2__2358_20.min1.thm1.tptp2017-02-06 16:48 294  
[ ]cc0sp2__2362_16.min1.thm12017-02-06 12:46 1.6K 
[ ]cc0sp2__2366_60.min1.thm12017-02-06 12:46 845  
[ ]cc0sp2__2366_60.min1.thm1.tptp2017-02-06 16:48 780  
[ ]cc0sp2__2370_44.min1.thm12017-02-06 12:46 911  
[ ]cc0sp2__2371_16.min1.thm12017-02-06 12:46 406  
[ ]cc0sp2__2375_45.min1.thm12017-02-06 12:46 576  
[ ]cc0sp2__2376_29.min1.thm12017-02-06 12:46 628  
[ ]cc0sp2__2378_18.min1.thm12017-02-06 12:46 403  
[ ]cc0sp2__2378_18.min1.thm1.tptp2017-02-06 16:48 325  
[ ]cc0sp2__2379_28.min1.thm12017-02-06 12:46 648  
[ ]cc0sp2__2381_26.min1.thm12017-02-06 12:46 579  
[ ]cc0sp2__2383_30.min1.thm12017-02-06 12:46 851  
[ ]cc0sp2__2384_14.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__2385_22.min1.thm12017-02-06 12:46 803  
[ ]cc0sp2__2387_33.min1.thm12017-02-06 12:46 2.6K 
[ ]cc0sp2__2390_21.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__2395_59.min1.thm12017-02-06 12:46 741  
[ ]cc0sp2__2395_59.min1.thm1.tptp2017-02-06 16:48 678  
[ ]cc0sp2__2403_65.min1.thm12017-02-06 12:46 291  
[ ]cc0sp2__2404_43.min1.thm12017-02-06 12:46 1.5K 
[ ]cc0sp2__2407_56.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__2417_52.min1.thm12017-02-06 12:46 517  
[ ]cc0sp2__2417_52.min1.thm1.tptp2017-02-06 16:48 452  
[ ]cc0sp2__2419_49.min1.thm12017-02-06 12:46 437  
[ ]cc0sp2__2419_49.min1.thm1.tptp2017-02-06 16:48 373  
[ ]cc0sp2__2453_57.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__2454_16.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__2475_23.min1.thm12017-02-06 12:46 463  
[ ]cc0sp2__2475_23.min1.thm1.tptp2017-02-06 16:48 388  
[ ]cc0sp2__2476_14.min1.thm12017-02-06 12:46 300  
[ ]cc0sp2__2488_36.min1.thm12017-02-06 12:46 467  
[ ]cc0sp2__2488_36.min1.thm1.tptp2017-02-06 16:48 388  
[ ]cc0sp2__2513_44.min1.thm12017-02-06 12:46 378  
[ ]cc0sp2__2540_31.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__2541_50.min1.thm12017-02-06 12:46 463  
[ ]cc0sp2__2541_50.min1.thm1.tptp2017-02-06 16:48 388  
[ ]cc0sp2__2544_54.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__2545_19.min1.thm12017-02-06 12:46 869  
[ ]cc0sp2__2553_17.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__2559_19.min1.thm12017-02-06 12:46 1.2K 
[ ]cc0sp2__2569_18.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__2572_65.min1.thm12017-02-06 12:46 1.8K 
[ ]cc0sp2__2573_71.min1.thm12017-02-06 12:46 453  
[ ]cc0sp2__2573_71.min1.thm1.tptp2017-02-06 16:48 365  
[ ]cc0sp2__2575_19.min1.thm12017-02-06 12:46 1.3K 
[ ]cc0sp2__2577_17.min1.thm12017-02-06 12:46 1.4K 
[ ]cc0sp2__2599_58.min1.thm12017-02-06 12:46 1.0K 
[ ]cc0sp2__2599_58.min1.thm1.tptp2017-02-06 16:48 958  
[ ]cc0sp2__2602_56.min1.thm12017-02-06 12:46 1.1K 
[ ]cc0sp2__2610_56.min1.thm12017-02-06 12:46 1.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80