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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]stacks_1__55_29.min1.thm12017-02-06 12:46 595  
[ ]stacks_1__56_19.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__67_41.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__68_24.min1.thm12017-02-06 12:46 530  
[ ]stacks_1__68_24.min1.thm1.tptp2017-02-06 16:47 459  
[ ]stacks_1__69_35.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__70_19.min1.thm12017-02-06 12:46 800  
[ ]stacks_1__77_30.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__78_16.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__97_18.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__104_17.min1.thm12017-02-06 12:46 184  
[ ]stacks_1__108_21.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__109_21.min1.thm12017-02-06 12:46 383  
[ ]stacks_1__112_19.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__138_26.min1.thm12017-02-06 12:46 610  
[ ]stacks_1__138_26.min1.thm1.tptp2017-02-06 16:47 544  
[ ]stacks_1__142_29.min1.thm12017-02-06 12:46 927  
[ ]stacks_1__145_22.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__145_43.min1.thm12017-02-06 12:46 696  
[ ]stacks_1__146_18.min1.thm12017-02-06 12:46 539  
[ ]stacks_1__148_50.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__167_55.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__168_22.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__179_16.min1.thm12017-02-06 12:46 628  
[ ]stacks_1__180_15.min1.thm12017-02-06 12:46 653  
[ ]stacks_1__181_21.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__197_40.min1.thm12017-02-06 12:46 334  
[ ]stacks_1__197_40.min1.thm1.tptp2017-02-06 16:47 256  
[ ]stacks_1__198_46.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__199_42.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__201_16.min1.thm12017-02-06 12:46 2.2K 
[ ]stacks_1__207_35.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__237_17.min1.thm12017-02-06 12:46 190  
[ ]stacks_1__239_15.min1.thm12017-02-06 12:46 686  
[ ]stacks_1__240_18.min1.thm12017-02-06 12:46 914  
[ ]stacks_1__241_21.min1.thm12017-02-06 12:46 751  
[ ]stacks_1__245_35.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__246_22.min1.thm12017-02-06 12:46 948  
[ ]stacks_1__247_18.min1.thm12017-02-06 12:46 841  
[ ]stacks_1__247_43.min1.thm12017-02-06 12:46 550  
[ ]stacks_1__248_36.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__344_44.min1.thm12017-02-06 12:46 815  
[ ]stacks_1__357_54.min1.thm12017-02-06 12:46 2.9K 
[ ]stacks_1__361_27.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__367_19.min1.thm12017-02-06 12:46 888  
[ ]stacks_1__369_47.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__376_45.min1.thm12017-02-06 12:46 944  
[ ]stacks_1__401_43.min1.thm12017-02-06 12:46 376  
[ ]stacks_1__401_43.min1.thm1.tptp2017-02-06 16:47 290  
[ ]stacks_1__402_43.min1.thm12017-02-06 12:46 376  
[ ]stacks_1__402_43.min1.thm1.tptp2017-02-06 16:47 290  
[ ]stacks_1__404_41.min1.thm12017-02-06 12:46 615  
[ ]stacks_1__405_41.min1.thm12017-02-06 12:46 615  
[ ]stacks_1__414_41.min1.thm12017-02-06 12:46 615  
[ ]stacks_1__415_41.min1.thm12017-02-06 12:46 615  
[ ]stacks_1__416_15.min1.thm12017-02-06 12:46 249  
[ ]stacks_1__418_44.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__419_22.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__421_22.min1.thm12017-02-06 12:46 2.4K 
[ ]stacks_1__422_20.min1.thm12017-02-06 12:46 2.4K 
[ ]stacks_1__426_36.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__427_18.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__429_16.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__430_20.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__437_41.min1.thm12017-02-06 12:46 615  
[ ]stacks_1__438_41.min1.thm12017-02-06 12:46 615  
[ ]stacks_1__439_15.min1.thm12017-02-06 12:46 249  
[ ]stacks_1__441_44.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__442_22.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__444_17.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__445_20.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__449_36.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__450_18.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__463_40.min1.thm12017-02-06 12:46 728  
[ ]stacks_1__464_44.min1.thm12017-02-06 12:46 513  
[ ]stacks_1__465_17.min1.thm12017-02-06 12:46 836  
[ ]stacks_1__466_22.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__467_17.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__468_23.min1.thm12017-02-06 12:46 928  
[ ]stacks_1__472_38.min1.thm12017-02-06 12:46 720  
[ ]stacks_1__473_42.min1.thm12017-02-06 12:46 505  
[ ]stacks_1__474_15.min1.thm12017-02-06 12:46 818  
[ ]stacks_1__475_20.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__476_15.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__477_21.min1.thm12017-02-06 12:46 904  
[ ]stacks_1__492_49.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__493_16.min1.thm12017-02-06 12:46 436  
[ ]stacks_1__502_49.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__503_16.min1.thm12017-02-06 12:46 566  
[ ]stacks_1__545_42.min1.thm12017-02-06 12:46 2.2K 
[ ]stacks_1__550_17.min1.thm12017-02-06 12:46 605  
[ ]stacks_1__556_17.min1.thm12017-02-06 12:46 469  
[ ]stacks_1__559_39.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__560_46.min1.thm12017-02-06 12:46 1.7K 
[ ]stacks_1__562_23.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__563_18.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__565_19.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__571_23.min1.thm12017-02-06 12:46 564  
[ ]stacks_1__572_37.min1.thm12017-02-06 12:46 950  
[ ]stacks_1__573_29.min1.thm12017-02-06 12:46 2.1K 
[ ]stacks_1__580_40.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__583_22.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__584_28.min1.thm12017-02-06 12:46 2.0K 
[ ]stacks_1__586_17.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__587_15.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__588_41.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__589_26.min1.thm12017-02-06 12:46 2.7K 
[ ]stacks_1__589_56.min1.thm12017-02-06 12:46 2.1K 
[ ]stacks_1__590_28.min1.thm12017-02-06 12:46 3.0K 
[ ]stacks_1__597_40.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__599_19.min1.thm12017-02-06 12:46 2.3K 
[ ]stacks_1__601_55.min1.thm12017-02-06 12:46 2.3K 
[ ]stacks_1__610_19.min1.thm12017-02-06 12:46 2.3K 
[ ]stacks_1__612_30.min1.thm12017-02-06 12:46 2.4K 
[ ]stacks_1__612_62.min1.thm12017-02-06 12:46 2.7K 
[ ]stacks_1__620_26.min1.thm12017-02-06 12:46 2.2K 
[ ]stacks_1__630_59.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__648_37.min1.thm12017-02-06 12:46 602  
[ ]stacks_1__648_37.min1.thm1.tptp2017-02-06 16:47 548  
[ ]stacks_1__653_53.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__655_26.min1.thm12017-02-06 12:46 452  
[ ]stacks_1__664_37.min1.thm12017-02-06 12:46 558  
[ ]stacks_1__664_37.min1.thm1.tptp2017-02-06 16:47 493  
[ ]stacks_1__665_19.min1.thm12017-02-06 12:46 804  
[ ]stacks_1__672_50.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__674_50.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__675_19.min1.thm12017-02-06 12:46 813  
[ ]stacks_1__675_19.min1.thm1.tptp2017-02-06 16:47 745  
[ ]stacks_1__684_32.min1.thm12017-02-06 12:46 869  
[ ]stacks_1__685_19.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__700_39.min1.thm12017-02-06 12:46 747  
[ ]stacks_1__700_39.min1.thm1.tptp2017-02-06 16:47 693  
[ ]stacks_1__705_53.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__707_15.min1.thm12017-02-06 12:46 330  
[ ]stacks_1__707_15.min1.thm1.tptp2017-02-06 16:47 253  
[ ]stacks_1__708_11.min1.thm12017-02-06 12:46 2.0K 
[ ]stacks_1__711_27.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__712_15.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__714_28.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__724_26.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__724_47.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__725_23.min1.thm12017-02-06 12:46 2.3K 
[ ]stacks_1__729_8.min1.thm12017-02-06 12:46 476  
[ ]stacks_1__729_8.min1.thm1.tptp2017-02-06 16:47 395  
[ ]stacks_1__730_19.min1.thm12017-02-06 12:46 971  
[ ]stacks_1__757_60.min1.thm12017-02-06 12:46 615  
[ ]stacks_1__763_55.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__770_37.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__781_53.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__809_29.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__811_36.min1.thm12017-02-06 12:46 691  
[ ]stacks_1__812_35.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__816_24.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__817_38.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__818_28.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__820_45.min1.thm12017-02-06 12:46 885  
[ ]stacks_1__824_18.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__825_44.min1.thm12017-02-06 12:46 2.0K 
[ ]stacks_1__833_29.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__835_36.min1.thm12017-02-06 12:46 691  
[ ]stacks_1__836_35.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__840_24.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__841_38.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__842_28.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__844_45.min1.thm12017-02-06 12:46 885  
[ ]stacks_1__849_44.min1.thm12017-02-06 12:46 2.0K 
[ ]stacks_1__852_22.min1.thm12017-02-06 12:46 311  
[ ]stacks_1__852_22.min1.thm1.tptp2017-02-06 16:47 229  
[ ]stacks_1__862_17.min1.thm12017-02-06 12:46 400  
[ ]stacks_1__862_17.min1.thm1.tptp2017-02-06 16:47 326  
[ ]stacks_1__871_29.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__872_32.min1.thm12017-02-06 12:46 955  
[ ]stacks_1__874_44.min1.thm12017-02-06 12:46 874  
[ ]stacks_1__879_24.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__880_38.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__886_53.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__901_29.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__902_32.min1.thm12017-02-06 12:46 955  
[ ]stacks_1__904_44.min1.thm12017-02-06 12:46 874  
[ ]stacks_1__909_24.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__910_38.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__916_53.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__925_22.min1.thm12017-02-06 12:46 393  
[ ]stacks_1__925_22.min1.thm1.tptp2017-02-06 16:47 311  
[ ]stacks_1__933_21.min1.thm12017-02-06 12:46 730  
[ ]stacks_1__937_15.min1.thm12017-02-06 12:46 191  
[ ]stacks_1__942_43.min1.thm12017-02-06 12:46 386  
[ ]stacks_1__942_43.min1.thm1.tptp2017-02-06 16:47 308  
[ ]stacks_1__944_25.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__946_19.min1.thm12017-02-06 12:46 907  
[ ]stacks_1__952_58.min1.thm12017-02-06 12:46 646  
[ ]stacks_1__954_18.min1.thm12017-02-06 12:46 376  
[ ]stacks_1__956_22.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__960_34.min1.thm12017-02-06 12:46 804  
[ ]stacks_1__995_32.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__996_16.min1.thm12017-02-06 12:46 568  
[ ]stacks_1__1001_33.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__1002_27.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__1005_20.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__1025_6.min1.thm12017-02-06 12:46 854  
[ ]stacks_1__1037_6.min1.thm12017-02-06 12:46 854  
[ ]stacks_1__1057_16.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__1057_16.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]stacks_1__1069_29.min1.thm12017-02-06 12:46 962  
[ ]stacks_1__1077_34.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__1084_24.min1.thm12017-02-06 12:46 934  
[ ]stacks_1__1085_64.min1.thm12017-02-06 12:46 1.7K 
[ ]stacks_1__1086_33.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__1087_21.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__1094_34.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__1101_31.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__1112_16.min1.thm12017-02-06 12:46 342  
[ ]stacks_1__1118_27.min1.thm12017-02-06 12:46 2.1K 
[ ]stacks_1__1133_14.min1.thm12017-02-06 12:46 680  
[ ]stacks_1__1133_14.min1.thm1.tptp2017-02-06 16:47 615  
[ ]stacks_1__1134_28.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__1143_20.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__1146_16.min1.thm12017-02-06 12:46 668  
[ ]stacks_1__1153_13.min1.thm12017-02-06 12:46 243  
[ ]stacks_1__1154_10.min1.thm12017-02-06 12:46 364  
[ ]stacks_1__1161_25.min1.thm12017-02-06 12:46 428  
[ ]stacks_1__1170_37.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__1178_32.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1179_25.min1.thm12017-02-06 12:46 362  
[ ]stacks_1__1186_42.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__1186_67.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__1194_35.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__1195_38.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1195_62.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__1203_35.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__1204_29.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__1204_49.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1221_24.min1.thm12017-02-06 12:46 702  
[ ]stacks_1__1221_38.min1.thm12017-02-06 12:46 541  
[ ]stacks_1__1256_36.min1.thm12017-02-06 12:46 372  
[ ]stacks_1__1256_36.min1.thm1.tptp2017-02-06 16:47 294  
[ ]stacks_1__1257_19.min1.thm12017-02-06 12:46 1.7K 
[ ]stacks_1__1266_48.min1.thm12017-02-06 12:46 636  
[ ]stacks_1__1273_54.min1.thm12017-02-06 12:46 763  
[ ]stacks_1__1276_15.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__1292_16.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__1293_15.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1294_21.min1.thm12017-02-06 12:46 874  
[ ]stacks_1__1298_35.min1.thm12017-02-06 12:46 792  
[ ]stacks_1__1299_13.min1.thm12017-02-06 12:46 856  
[ ]stacks_1__1300_14.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1301_21.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__1326_41.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__1327_29.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__1329_43.min1.thm12017-02-06 12:46 575  
[ ]stacks_1__1331_35.min1.thm12017-02-06 12:46 714  
[ ]stacks_1__1331_35.min1.thm1.tptp2017-02-06 16:47 671  
[ ]stacks_1__1332_19.min1.thm12017-02-06 12:46 721  
[ ]stacks_1__1338_18.min1.thm12017-02-06 12:46 813  
[ ]stacks_1__1339_32.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1346_18.min1.thm12017-02-06 12:46 813  
[ ]stacks_1__1347_28.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__1354_19.min1.thm12017-02-06 12:46 452  
[ ]stacks_1__1369_44.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__1372_29.min1.thm12017-02-06 12:46 962  
[ ]stacks_1__1380_6.min1.thm12017-02-06 12:46 2.7K 
[ ]stacks_1__1383_52.min1.thm12017-02-06 12:46 2.3K 
[ ]stacks_1__1394_37.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1399_11.min1.thm12017-02-06 12:46 2.2K 
[ ]stacks_1__1402_17.min1.thm12017-02-06 12:46 380  
[ ]stacks_1__1403_56.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__1407_56.min1.thm12017-02-06 12:46 2.0K 
[ ]stacks_1__1412_56.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__1414_15.min1.thm12017-02-06 12:46 372  
[ ]stacks_1__1415_54.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__1419_19.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__1463_15.min1.thm12017-02-06 12:46 950  
[ ]stacks_1__1464_17.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__1465_19.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1470_13.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__1475_28.min1.thm12017-02-06 12:46 2.7K 
[ ]stacks_1__1477_18.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__1489_31.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1490_30.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__1491_22.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__1495_21.min1.thm12017-02-06 12:46 756  
[ ]stacks_1__1508_34.min1.thm12017-02-06 12:46 817  
[ ]stacks_1__1509_52.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1511_11.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__1517_28.min1.thm12017-02-06 12:46 2.7K 
[ ]stacks_1__1519_18.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__1523_43.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__1529_21.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__1530_19.min1.thm12017-02-06 12:46 1.7K 
[ ]stacks_1__1548_28.min1.thm12017-02-06 12:46 2.7K 
[ ]stacks_1__1550_18.min1.thm12017-02-06 12:46 2.6K 
[ ]stacks_1__1573_38.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1574_18.min1.thm12017-02-06 12:46 924  
[ ]stacks_1__1577_29.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__1580_39.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__1581_30.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__1584_46.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__1586_26.min1.thm12017-02-06 12:46 1.7K 
[ ]stacks_1__1589_42.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__1594_27.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1599_16.min1.thm12017-02-06 12:46 871  
[ ]stacks_1__1616_37.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1622_19.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__1630_56.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1632_15.min1.thm12017-02-06 12:46 389  
[ ]stacks_1__1633_54.min1.thm12017-02-06 12:46 1.7K 
[ ]stacks_1__1637_19.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__1640_23.min1.thm12017-02-06 12:46 2.5K 
[ ]stacks_1__1644_41.min1.thm12017-02-06 12:46 2.1K 
[ ]stacks_1__1645_17.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__1646_26.min1.thm12017-02-06 12:46 2.0K 
[ ]stacks_1__1647_39.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1648_40.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__1654_22.min1.thm12017-02-06 12:46 936  
[ ]stacks_1__1654_33.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__1657_19.min1.thm12017-02-06 12:46 354  
[ ]stacks_1__1657_19.min1.thm1.tptp2017-02-06 16:47 272  
[ ]stacks_1__1659_33.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__1659_45.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__1663_35.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__1666_49.min1.thm12017-02-06 12:46 2.3K 
[ ]stacks_1__1670_33.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__1695_18.min1.thm12017-02-06 12:46 441  
[ ]stacks_1__1695_18.min1.thm1.tptp2017-02-06 16:47 380  
[ ]stacks_1__1701_16.min1.thm12017-02-06 12:46 306  
[ ]stacks_1__1702_18.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__1734_23.min1.thm12017-02-06 12:46 2.0K 
[ ]stacks_1__1770_17.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__1775_44.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__1776_25.min1.thm12017-02-06 12:46 2.1K 
[ ]stacks_1__1782_48.min1.thm12017-02-06 12:46 2.0K 
[ ]stacks_1__1783_28.min1.thm12017-02-06 12:46 2.0K 
[ ]stacks_1__1789_17.min1.thm12017-02-06 12:46 380  
[ ]stacks_1__1793_17.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__1795_18.min1.thm12017-02-06 12:46 905  
[ ]stacks_1__1798_29.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__1801_23.min1.thm12017-02-06 12:46 1.7K 
[ ]stacks_1__1804_29.min1.thm12017-02-06 12:46 2.6K 
[ ]stacks_1__1808_52.min1.thm12017-02-06 12:46 2.7K 
[ ]stacks_1__1820_21.min1.thm12017-02-06 12:46 1.7K 
[ ]stacks_1__1825_21.min1.thm12017-02-06 12:46 1.7K 
[ ]stacks_1__1832_20.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__1838_17.min1.thm12017-02-06 12:46 380  
[ ]stacks_1__1842_17.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__1844_18.min1.thm12017-02-06 12:46 905  
[ ]stacks_1__1853_29.min1.thm12017-02-06 12:46 2.6K 
[ ]stacks_1__1857_52.min1.thm12017-02-06 12:46 2.7K 
[ ]stacks_1__1872_50.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__1873_19.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__1881_17.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__1882_22.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__1883_14.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__1889_32.min1.thm12017-02-06 12:46 490  
[ ]stacks_1__1897_16.min1.thm12017-02-06 12:46 792  
[ ]stacks_1__1906_8.min1.thm12017-02-06 12:46 215  
[ ]stacks_1__1907_37.min1.thm12017-02-06 12:46 871  
[ ]stacks_1__1908_40.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__1909_18.min1.thm12017-02-06 12:46 367  
[ ]stacks_1__1913_19.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__1927_20.min1.thm12017-02-06 12:46 934  
[ ]stacks_1__1930_53.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__1931_34.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__1932_18.min1.thm12017-02-06 12:46 326  
[ ]stacks_1__1940_32.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__1942_36.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__1943_44.min1.thm12017-02-06 12:46 2.3K 
[ ]stacks_1__1947_23.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__1951_16.min1.thm12017-02-06 12:46 815  
[ ]stacks_1__1951_16.min1.thm1.tptp2017-02-06 16:47 754  
[ ]stacks_1__1958_37.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__1966_16.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__1967_23.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1969_21.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__1971_14.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__1972_21.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__1974_47.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__1975_19.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__2011_45.min1.thm12017-02-06 12:46 2.4K 
[ ]stacks_1__2020_12.min1.thm12017-02-06 12:46 682  
[ ]stacks_1__2020_12.min1.thm1.tptp2017-02-06 16:47 617  
[ ]stacks_1__2021_40.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__2039_15.min1.thm12017-02-06 12:46 241  
[ ]stacks_1__2053_37.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__2081_41.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__2090_40.min1.thm12017-02-06 12:46 1.7K 
[ ]stacks_1__2091_20.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__2093_16.min1.thm12017-02-06 12:46 576  
[ ]stacks_1__2093_16.min1.thm1.tptp2017-02-06 16:47 516  
[ ]stacks_1__2099_40.min1.thm12017-02-06 12:46 1.7K 
[ ]stacks_1__2109_13.min1.thm12017-02-06 12:46 678  
[ ]stacks_1__2109_13.min1.thm1.tptp2017-02-06 16:47 613  
[ ]stacks_1__2110_41.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__2111_40.min1.thm12017-02-06 12:46 2.0K 
[ ]stacks_1__2113_36.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__2116_28.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__2122_40.min1.thm12017-02-06 12:46 1.7K 
[ ]stacks_1__2123_20.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__2126_33.min1.thm12017-02-06 12:46 482  
[ ]stacks_1__2126_33.min1.thm1.tptp2017-02-06 16:47 406  
[ ]stacks_1__2129_14.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__2130_35.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__2134_12.min1.thm12017-02-06 12:46 788  
[ ]stacks_1__2135_19.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__2153_17.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__2154_33.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__2156_8.min1.thm12017-02-06 12:46 2.5K 
[ ]stacks_1__2175_28.min1.thm12017-02-06 12:46 665  
[ ]stacks_1__2181_17.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__2182_15.min1.thm12017-02-06 12:46 229  
[ ]stacks_1__2185_21.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__2186_60.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__2188_27.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__2189_46.min1.thm12017-02-06 12:46 3.3K 
[ ]stacks_1__2193_17.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__2194_58.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__2197_23.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__2197_23.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]stacks_1__2200_30.min1.thm12017-02-06 12:46 794  
[ ]stacks_1__2218_16.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__2219_13.min1.thm12017-02-06 12:46 962  
[ ]stacks_1__2226_13.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__2231_15.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__2248_42.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__2250_33.min1.thm12017-02-06 12:46 865  
[ ]stacks_1__2256_41.min1.thm12017-02-06 12:46 1.7K 
[ ]stacks_1__2258_6.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__2265_15.min1.thm12017-02-06 12:46 389  
[ ]stacks_1__2272_17.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__2275_36.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__2291_26.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__2293_17.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__2294_57.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__2295_46.min1.thm12017-02-06 12:46 2.0K 
[ ]stacks_1__2296_47.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__2298_24.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__2299_28.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__2306_26.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__2307_39.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__2308_62.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__2309_25.min1.thm12017-02-06 12:46 962  
[ ]stacks_1__2310_29.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__2311_15.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__2319_26.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__2320_39.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__2321_62.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__2322_25.min1.thm12017-02-06 12:46 962  
[ ]stacks_1__2323_42.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__2324_15.min1.thm12017-02-06 12:46 2.1K 
[ ]stacks_1__2332_26.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__2333_39.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__2334_62.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__2335_24.min1.thm12017-02-06 12:46 962  
[ ]stacks_1__2336_16.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__2351_14.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__2353_21.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__2358_44.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__2361_56.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__2364_26.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__2376_27.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__2378_27.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__2380_22.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__2380_43.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__2381_15.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__2382_22.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__2393_15.min1.thm12017-02-06 12:46 700  
[ ]stacks_1__2393_15.min1.thm1.tptp2017-02-06 16:47 623  
[ ]stacks_1__2420_78.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__2422_19.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__2447_23.min1.thm12017-02-06 12:46 936  
[ ]stacks_1__2449_23.min1.thm12017-02-06 12:46 936  
[ ]stacks_1__2452_16.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__2454_24.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__2456_46.min1.thm12017-02-06 12:46 1.6K 
[ ]stacks_1__2457_54.min1.thm12017-02-06 12:46 2.6K 
[ ]stacks_1__2460_16.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__2462_19.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__2489_28.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__2491_28.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__2496_24.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__2497_30.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__2499_61.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__2500_58.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__2507_17.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__2529_6.min1.thm12017-02-06 12:46 921  
[ ]stacks_1__2531_6.min1.thm12017-02-06 12:46 921  
[ ]stacks_1__2541_20.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__2542_39.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__2543_29.min1.thm12017-02-06 12:46 758  
[ ]stacks_1__2553_29.min1.thm12017-02-06 12:46 1.9K 
[ ]stacks_1__2559_28.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__2571_18.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__2578_30.min1.thm12017-02-06 12:46 1.7K 
[ ]stacks_1__2590_18.min1.thm12017-02-06 12:46 2.4K 
[ ]stacks_1__2602_62.min1.thm12017-02-06 12:46 2.2K 
[ ]stacks_1__2607_38.min1.thm12017-02-06 12:46 2.6K 
[ ]stacks_1__2609_22.min1.thm12017-02-06 12:46 2.2K 
[ ]stacks_1__2610_69.min1.thm12017-02-06 12:46 1.8K 
[ ]stacks_1__2616_15.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__2617_19.min1.thm12017-02-06 12:46 1.5K 
[ ]stacks_1__2632_52.min1.thm12017-02-06 12:46 532  
[ ]stacks_1__2645_6.min1.thm12017-02-06 12:46 2.4K 
[ ]stacks_1__2647_32.min1.thm12017-02-06 12:46 934  
[ ]stacks_1__2650_41.min1.thm12017-02-06 12:46 2.2K 
[ ]stacks_1__2654_18.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__2655_16.min1.thm12017-02-06 12:46 679  
[ ]stacks_1__2661_45.min1.thm12017-02-06 12:46 1.4K 
[ ]stacks_1__2664_17.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__2665_20.min1.thm12017-02-06 12:46 1.2K 
[ ]stacks_1__2669_18.min1.thm12017-02-06 12:46 664  
[ ]stacks_1__2671_20.min1.thm12017-02-06 12:46 957  
[ ]stacks_1__2672_21.min1.thm12017-02-06 12:46 2.0K 
[ ]stacks_1__2677_21.min1.thm12017-02-06 12:46 1.0K 
[ ]stacks_1__2681_32.min1.thm12017-02-06 12:46 2.4K 
[ ]stacks_1__2682_22.min1.thm12017-02-06 12:46 2.2K 
[ ]stacks_1__2682_47.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__2683_27.min1.thm12017-02-06 12:46 2.4K 
[ ]stacks_1__2684_18.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__2687_38.min1.thm12017-02-06 12:46 2.6K 
[ ]stacks_1__2688_25.min1.thm12017-02-06 12:46 2.3K 
[ ]stacks_1__2688_52.min1.thm12017-02-06 12:46 1.3K 
[ ]stacks_1__2699_46.min1.thm12017-02-06 12:46 1.1K 
[ ]stacks_1__2699_46.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]stacks_1__2701_18.min1.thm12017-02-06 12:46 414  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80