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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ami_6__54_46.min1.thm12017-02-06 12:46 1.4K 
[   ]ami_6__56_44.min1.thm12017-02-06 12:46 631  
[   ]ami_6__57_50.min1.thm12017-02-06 12:46 686  
[   ]ami_6__58_19.min1.thm12017-02-06 12:46 1.4K 
[   ]ami_6__59_17.min1.thm12017-02-06 12:46 1.9K 
[   ]ami_6__63_24.min1.thm12017-02-06 12:46 1.3K 
[   ]ami_6__76_19.min1.thm12017-02-06 12:46 534  
[   ]ami_6__77_21.min1.thm12017-02-06 12:46 617  
[   ]ami_6__82_11.min1.thm12017-02-06 12:46 309  
[   ]ami_6__82_11.min1.thm1.tptp2017-02-06 16:48 244  
[   ]ami_6__83_26.min1.thm12017-02-06 12:46 552  
[   ]ami_6__84_17.min1.thm12017-02-06 12:46 1.8K 
[   ]ami_6__99_17.min1.thm12017-02-06 12:46 763  
[   ]ami_6__101_22.min1.thm12017-02-06 12:46 319  
[   ]ami_6__101_22.min1.thm1.tptp2017-02-06 16:48 254  
[   ]ami_6__106_17.min1.thm12017-02-06 12:46 311  
[   ]ami_6__106_17.min1.thm1.tptp2017-02-06 16:48 246  
[   ]ami_6__110_17.min1.thm12017-02-06 12:46 1.7K 
[   ]ami_6__125_23.min1.thm12017-02-06 12:46 763  
[   ]ami_6__127_22.min1.thm12017-02-06 12:46 319  
[   ]ami_6__127_22.min1.thm1.tptp2017-02-06 16:48 254  
[   ]ami_6__132_17.min1.thm12017-02-06 12:46 311  
[   ]ami_6__132_17.min1.thm1.tptp2017-02-06 16:48 246  
[   ]ami_6__136_17.min1.thm12017-02-06 12:46 1.7K 
[   ]ami_6__151_25.min1.thm12017-02-06 12:46 764  
[   ]ami_6__153_22.min1.thm12017-02-06 12:46 319  
[   ]ami_6__153_22.min1.thm1.tptp2017-02-06 16:48 254  
[   ]ami_6__158_17.min1.thm12017-02-06 12:46 311  
[   ]ami_6__158_17.min1.thm1.tptp2017-02-06 16:48 246  
[   ]ami_6__162_17.min1.thm12017-02-06 12:46 1.7K 
[   ]ami_6__177_24.min1.thm12017-02-06 12:46 764  
[   ]ami_6__179_22.min1.thm12017-02-06 12:46 319  
[   ]ami_6__179_22.min1.thm1.tptp2017-02-06 16:48 254  
[   ]ami_6__184_17.min1.thm12017-02-06 12:46 311  
[   ]ami_6__184_17.min1.thm1.tptp2017-02-06 16:48 246  
[   ]ami_6__188_17.min1.thm12017-02-06 12:46 1.7K 
[   ]ami_6__203_24.min1.thm12017-02-06 12:46 764  
[   ]ami_6__205_22.min1.thm12017-02-06 12:46 319  
[   ]ami_6__205_22.min1.thm1.tptp2017-02-06 16:48 254  
[   ]ami_6__210_17.min1.thm12017-02-06 12:46 311  
[   ]ami_6__210_17.min1.thm1.tptp2017-02-06 16:48 246  
[   ]ami_6__214_17.min1.thm12017-02-06 12:46 1.7K 
[   ]ami_6__228_42.min1.thm12017-02-06 12:46 1.8K 
[   ]ami_6__230_32.min1.thm12017-02-06 12:46 1.4K 
[   ]ami_6__232_21.min1.thm12017-02-06 12:46 1.4K 
[   ]ami_6__245_22.min1.thm12017-02-06 12:46 583  
[   ]ami_6__247_19.min1.thm12017-02-06 12:46 1.1K 
[   ]ami_6__250_17.min1.thm12017-02-06 12:46 1.3K 
[   ]ami_6__264_45.min1.thm12017-02-06 12:46 1.8K 
[   ]ami_6__266_32.min1.thm12017-02-06 12:46 1.4K 
[   ]ami_6__268_21.min1.thm12017-02-06 12:46 1.3K 
[   ]ami_6__281_23.min1.thm12017-02-06 12:46 712  
[   ]ami_6__283_19.min1.thm12017-02-06 12:46 1.3K 
[   ]ami_6__286_17.min1.thm12017-02-06 12:46 1.3K 
[   ]ami_6__300_45.min1.thm12017-02-06 12:46 1.8K 
[   ]ami_6__302_32.min1.thm12017-02-06 12:46 1.4K 
[   ]ami_6__304_21.min1.thm12017-02-06 12:46 1.3K 
[   ]ami_6__317_23.min1.thm12017-02-06 12:46 721  
[   ]ami_6__319_19.min1.thm12017-02-06 12:46 1.3K 
[   ]ami_6__322_17.min1.thm12017-02-06 12:46 1.4K 
[   ]ami_6__330_5.min1.thm12017-02-06 12:46 1.3K 
[   ]ami_6__332_54.min1.thm12017-02-06 12:46 513  
[   ]ami_6__332_54.min1.thm1.tptp2017-02-06 16:48 448  
[   ]ami_6__336_52.min1.thm12017-02-06 12:46 1.8K 
[   ]ami_6__345_22.min1.thm12017-02-06 12:46 537  
[   ]ami_6__347_18.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__348_18.min1.thm12017-02-06 12:46 542  
[   ]ami_6__352_37.min1.thm12017-02-06 12:46 300  
[   ]ami_6__352_37.min1.thm1.tptp2017-02-06 16:48 222  
[   ]ami_6__358_16.min1.thm12017-02-06 12:46 877  
[   ]ami_6__359_50.min1.thm12017-02-06 12:46 1.2K 
[   ]ami_6__360_17.min1.thm12017-02-06 12:46 1.9K 
[   ]ami_6__367_60.min1.thm12017-02-06 12:46 1.4K 
[   ]ami_6__369_57.min1.thm12017-02-06 12:46 539  
[   ]ami_6__369_57.min1.thm1.tptp2017-02-06 16:48 474  
[   ]ami_6__373_55.min1.thm12017-02-06 12:46 2.0K 
[   ]ami_6__382_23.min1.thm12017-02-06 12:46 666  
[   ]ami_6__384_18.min1.thm12017-02-06 12:46 1.1K 
[   ]ami_6__385_18.min1.thm12017-02-06 12:46 542  
[   ]ami_6__389_37.min1.thm12017-02-06 12:46 300  
[   ]ami_6__389_37.min1.thm1.tptp2017-02-06 16:48 222  
[   ]ami_6__395_16.min1.thm12017-02-06 12:46 948  
[   ]ami_6__396_53.min1.thm12017-02-06 12:46 1.2K 
[   ]ami_6__397_17.min1.thm12017-02-06 12:46 2.1K 
[   ]ami_6__404_60.min1.thm12017-02-06 12:46 1.4K 
[   ]ami_6__406_57.min1.thm12017-02-06 12:46 539  
[   ]ami_6__406_57.min1.thm1.tptp2017-02-06 16:48 474  
[   ]ami_6__410_55.min1.thm12017-02-06 12:46 2.0K 
[   ]ami_6__419_23.min1.thm12017-02-06 12:46 666  
[   ]ami_6__421_18.min1.thm12017-02-06 12:46 1.1K 
[   ]ami_6__422_18.min1.thm12017-02-06 12:46 542  
[   ]ami_6__426_37.min1.thm12017-02-06 12:46 300  
[   ]ami_6__426_37.min1.thm1.tptp2017-02-06 16:48 222  
[   ]ami_6__432_16.min1.thm12017-02-06 12:46 948  
[   ]ami_6__433_53.min1.thm12017-02-06 12:46 1.2K 
[   ]ami_6__434_17.min1.thm12017-02-06 12:46 2.1K 
[   ]ami_6__446_35.min1.thm12017-02-06 12:46 496  
[   ]ami_6__446_35.min1.thm1.tptp2017-02-06 16:48 408  
[   ]ami_6__450_24.min1.thm12017-02-06 12:46 515  
[   ]ami_6__451_20.min1.thm12017-02-06 12:46 760  
[   ]ami_6__452_23.min1.thm12017-02-06 12:46 819  
[   ]ami_6__454_17.min1.thm12017-02-06 12:46 440  
[   ]ami_6__455_24.min1.thm12017-02-06 12:46 603  
[   ]ami_6__456_20.min1.thm12017-02-06 12:46 762  
[   ]ami_6__457_23.min1.thm12017-02-06 12:46 821  
[   ]ami_6__463_11.min1.thm12017-02-06 12:46 2.0K 
[   ]ami_6__506_19.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__517_19.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__528_19.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__539_19.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__550_19.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__560_56.min1.thm12017-02-06 12:46 1.5K 
[   ]ami_6__566_41.min1.thm12017-02-06 12:46 231  
[   ]ami_6__570_37.min1.thm12017-02-06 12:46 2.0K 
[   ]ami_6__572_22.min1.thm12017-02-06 12:46 1.8K 
[   ]ami_6__575_13.min1.thm12017-02-06 12:46 474  
[   ]ami_6__576_23.min1.thm12017-02-06 12:46 945  
[   ]ami_6__578_14.min1.thm12017-02-06 12:46 1.7K 
[   ]ami_6__595_20.min1.thm12017-02-06 12:46 590  
[   ]ami_6__608_31.min1.thm12017-02-06 12:46 619  
[   ]ami_6__610_39.min1.thm12017-02-06 12:46 778  
[   ]ami_6__611_23.min1.thm12017-02-06 12:46 653  
[   ]ami_6__615_12.min1.thm12017-02-06 12:46 325  
[   ]ami_6__615_12.min1.thm1.tptp2017-02-06 16:48 260  
[   ]ami_6__620_29.min1.thm12017-02-06 12:46 562  
[   ]ami_6__621_34.min1.thm12017-02-06 12:46 499  
[   ]ami_6__622_21.min1.thm12017-02-06 12:46 503  
[   ]ami_6__624_37.min1.thm12017-02-06 12:46 442  
[   ]ami_6__625_27.min1.thm12017-02-06 12:46 608  
[   ]ami_6__626_24.min1.thm12017-02-06 12:46 899  
[   ]ami_6__636_30.min1.thm12017-02-06 12:46 523  
[   ]ami_6__637_16.min1.thm12017-02-06 12:46 367  
[   ]ami_6__637_16.min1.thm1.tptp2017-02-06 16:48 284  
[   ]ami_6__652_13.min1.thm12017-02-06 12:46 234  
[   ]ami_6__656_32.min1.thm12017-02-06 12:46 376  
[   ]ami_6__656_32.min1.thm1.tptp2017-02-06 16:48 320  
[   ]ami_6__661_32.min1.thm12017-02-06 12:46 476  
[   ]ami_6__666_18.min1.thm12017-02-06 12:46 380  
[   ]ami_6__666_18.min1.thm1.tptp2017-02-06 16:48 303  
[   ]ami_6__667_52.min1.thm12017-02-06 12:46 1.5K 
[   ]ami_6__668_37.min1.thm12017-02-06 12:46 227  
[   ]ami_6__672_37.min1.thm12017-02-06 12:46 2.2K 
[   ]ami_6__675_14.min1.thm12017-02-06 12:46 403  
[   ]ami_6__675_14.min1.thm1.tptp2017-02-06 16:48 349  
[   ]ami_6__680_22.min1.thm12017-02-06 12:46 1.8K 
[   ]ami_6__681_27.min1.thm12017-02-06 12:46 1.2K 
[   ]ami_6__682_40.min1.thm12017-02-06 12:46 475  
[   ]ami_6__687_13.min1.thm12017-02-06 12:46 474  
[   ]ami_6__690_15.min1.thm12017-02-06 12:46 1.6K 
[   ]ami_6__691_26.min1.thm12017-02-06 12:46 396  
[   ]ami_6__691_26.min1.thm1.tptp2017-02-06 16:48 331  
[   ]ami_6__694_13.min1.thm12017-02-06 12:46 1.9K 
[   ]ami_6__702_23.min1.thm12017-02-06 12:46 1.8K 
[   ]ami_6__703_28.min1.thm12017-02-06 12:46 1.2K 
[   ]ami_6__704_40.min1.thm12017-02-06 12:46 465  
[   ]ami_6__709_13.min1.thm12017-02-06 12:46 474  
[   ]ami_6__710_23.min1.thm12017-02-06 12:46 944  
[   ]ami_6__712_16.min1.thm12017-02-06 12:46 1.6K 
[   ]ami_6__713_26.min1.thm12017-02-06 12:46 386  
[   ]ami_6__713_26.min1.thm1.tptp2017-02-06 16:48 321  
[   ]ami_6__715_13.min1.thm12017-02-06 12:46 1.1K 
[   ]ami_6__731_29.min1.thm12017-02-06 12:46 761  
[   ]ami_6__733_21.min1.thm12017-02-06 12:46 576  
[   ]ami_6__739_45.min1.thm12017-02-06 12:46 831  
[   ]ami_6__740_31.min1.thm12017-02-06 12:46 818  
[   ]ami_6__741_39.min1.thm12017-02-06 12:46 830  
[   ]ami_6__743_30.min1.thm12017-02-06 12:46 620  
[   ]ami_6__744_45.min1.thm12017-02-06 12:46 918  
[   ]ami_6__745_31.min1.thm12017-02-06 12:46 818  
[   ]ami_6__746_39.min1.thm12017-02-06 12:46 830  
[   ]ami_6__747_35.min1.thm12017-02-06 12:46 620  
[   ]ami_6__752_12.min1.thm12017-02-06 12:46 325  
[   ]ami_6__752_12.min1.thm1.tptp2017-02-06 16:48 260  
[   ]ami_6__753_37.min1.thm12017-02-06 12:46 442  
[   ]ami_6__754_27.min1.thm12017-02-06 12:46 807  
[   ]ami_6__755_24.min1.thm12017-02-06 12:46 951  
[   ]ami_6__765_33.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__766_16.min1.thm12017-02-06 12:46 393  
[   ]ami_6__766_16.min1.thm1.tptp2017-02-06 16:48 310  
[   ]ami_6__781_13.min1.thm12017-02-06 12:46 260  
[   ]ami_6__785_32.min1.thm12017-02-06 12:46 376  
[   ]ami_6__785_32.min1.thm1.tptp2017-02-06 16:48 320  
[   ]ami_6__790_32.min1.thm12017-02-06 12:46 476  
[   ]ami_6__795_18.min1.thm12017-02-06 12:46 380  
[   ]ami_6__795_18.min1.thm1.tptp2017-02-06 16:48 303  
[   ]ami_6__796_52.min1.thm12017-02-06 12:46 1.5K 
[   ]ami_6__800_37.min1.thm12017-02-06 12:46 2.2K 
[   ]ami_6__801_39.min1.thm12017-02-06 12:46 286  
[   ]ami_6__801_39.min1.thm1.tptp2017-02-06 16:48 200  
[   ]ami_6__804_14.min1.thm12017-02-06 12:46 403  
[   ]ami_6__804_14.min1.thm1.tptp2017-02-06 16:48 349  
[   ]ami_6__809_22.min1.thm12017-02-06 12:46 1.8K 
[   ]ami_6__810_27.min1.thm12017-02-06 12:46 1.2K 
[   ]ami_6__811_40.min1.thm12017-02-06 12:46 465  
[   ]ami_6__816_13.min1.thm12017-02-06 12:46 474  
[   ]ami_6__817_23.min1.thm12017-02-06 12:46 944  
[   ]ami_6__819_15.min1.thm12017-02-06 12:46 1.6K 
[   ]ami_6__820_26.min1.thm12017-02-06 12:46 386  
[   ]ami_6__820_26.min1.thm1.tptp2017-02-06 16:48 321  
[   ]ami_6__822_13.min1.thm12017-02-06 12:46 1.1K 
[   ]ami_6__830_23.min1.thm12017-02-06 12:46 1.8K 
[   ]ami_6__831_28.min1.thm12017-02-06 12:46 1.2K 
[   ]ami_6__832_40.min1.thm12017-02-06 12:46 475  
[   ]ami_6__837_13.min1.thm12017-02-06 12:46 474  
[   ]ami_6__840_16.min1.thm12017-02-06 12:46 1.6K 
[   ]ami_6__841_26.min1.thm12017-02-06 12:46 396  
[   ]ami_6__841_26.min1.thm1.tptp2017-02-06 16:48 331  
[   ]ami_6__843_13.min1.thm12017-02-06 12:46 1.9K 
[   ]ami_6__859_29.min1.thm12017-02-06 12:46 761  
[   ]ami_6__861_21.min1.thm12017-02-06 12:46 576  
[   ]ami_6__867_45.min1.thm12017-02-06 12:46 831  
[   ]ami_6__868_31.min1.thm12017-02-06 12:46 818  
[   ]ami_6__869_39.min1.thm12017-02-06 12:46 830  
[   ]ami_6__871_30.min1.thm12017-02-06 12:46 620  
[   ]ami_6__872_45.min1.thm12017-02-06 12:46 918  
[   ]ami_6__873_31.min1.thm12017-02-06 12:46 818  
[   ]ami_6__874_39.min1.thm12017-02-06 12:46 830  
[   ]ami_6__875_35.min1.thm12017-02-06 12:46 620  
[   ]ami_6__880_12.min1.thm12017-02-06 12:46 325  
[   ]ami_6__880_12.min1.thm1.tptp2017-02-06 16:48 260  
[   ]ami_6__881_37.min1.thm12017-02-06 12:46 442  
[   ]ami_6__882_27.min1.thm12017-02-06 12:46 807  
[   ]ami_6__883_24.min1.thm12017-02-06 12:46 951  
[   ]ami_6__893_33.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__894_16.min1.thm12017-02-06 12:46 393  
[   ]ami_6__894_16.min1.thm1.tptp2017-02-06 16:48 310  
[   ]ami_6__910_15.min1.thm12017-02-06 12:46 427  
[   ]ami_6__910_15.min1.thm1.tptp2017-02-06 16:48 372  
[   ]ami_6__912_32.min1.thm12017-02-06 12:46 696  
[   ]ami_6__917_22.min1.thm12017-02-06 12:46 711  
[   ]ami_6__918_23.min1.thm12017-02-06 12:46 380  
[   ]ami_6__918_23.min1.thm1.tptp2017-02-06 16:48 324  
[   ]ami_6__923_16.min1.thm12017-02-06 12:46 476  
[   ]ami_6__926_23.min1.thm12017-02-06 12:46 393  
[   ]ami_6__926_23.min1.thm1.tptp2017-02-06 16:48 337  
[   ]ami_6__931_22.min1.thm12017-02-06 12:46 476  
[   ]ami_6__934_23.min1.thm12017-02-06 12:46 393  
[   ]ami_6__934_23.min1.thm1.tptp2017-02-06 16:48 337  
[   ]ami_6__939_24.min1.thm12017-02-06 12:46 476  
[   ]ami_6__942_23.min1.thm12017-02-06 12:46 393  
[   ]ami_6__942_23.min1.thm1.tptp2017-02-06 16:48 337  
[   ]ami_6__947_23.min1.thm12017-02-06 12:46 476  
[   ]ami_6__950_23.min1.thm12017-02-06 12:46 393  
[   ]ami_6__950_23.min1.thm1.tptp2017-02-06 16:48 337  
[   ]ami_6__955_23.min1.thm12017-02-06 12:46 476  
[   ]ami_6__958_23.min1.thm12017-02-06 12:46 393  
[   ]ami_6__958_23.min1.thm1.tptp2017-02-06 16:48 337  
[   ]ami_6__963_22.min1.thm12017-02-06 12:46 274  
[   ]ami_6__964_28.min1.thm12017-02-06 12:46 2.2K 
[   ]ami_6__965_30.min1.thm12017-02-06 12:46 653  
[   ]ami_6__971_22.min1.thm12017-02-06 12:46 402  
[   ]ami_6__976_32.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__977_28.min1.thm12017-02-06 12:46 1.9K 
[   ]ami_6__978_23.min1.thm12017-02-06 12:46 623  
[   ]ami_6__983_22.min1.thm12017-02-06 12:46 402  
[   ]ami_6__988_32.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__989_28.min1.thm12017-02-06 12:46 1.9K 
[   ]ami_6__990_23.min1.thm12017-02-06 12:46 623  
[   ]ami_6__995_16.min1.thm12017-02-06 12:46 413  
[   ]ami_6__995_16.min1.thm1.tptp2017-02-06 16:48 359  
[   ]ami_6__1002_18.min1.thm12017-02-06 12:46 333  
[   ]ami_6__1002_18.min1.thm1.tptp2017-02-06 16:48 268  
[   ]ami_6__1003_27.min1.thm12017-02-06 12:46 501  
[   ]ami_6__1011_20.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__1012_23.min1.thm12017-02-06 12:46 359  
[   ]ami_6__1012_23.min1.thm1.tptp2017-02-06 16:48 294  
[   ]ami_6__1013_27.min1.thm12017-02-06 12:46 527  
[   ]ami_6__1024_37.min1.thm12017-02-06 12:46 227  
[   ]ami_6__1025_35.min1.thm12017-02-06 12:46 464  
[   ]ami_6__1030_37.min1.thm12017-02-06 12:46 227  
[   ]ami_6__1034_16.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__1038_19.min1.thm12017-02-06 12:46 1.2K 
[   ]ami_6__1057_21.min1.thm12017-02-06 12:46 922  
[   ]ami_6__1068_38.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__1086_33.min1.thm12017-02-06 12:46 548  
[   ]ami_6__1087_29.min1.thm12017-02-06 12:46 509  
[   ]ami_6__1097_41.min1.thm12017-02-06 12:46 1.3K 
[   ]ami_6__1098_26.min1.thm12017-02-06 12:46 531  
[   ]ami_6__1099_42.min1.thm12017-02-06 12:46 1.6K 
[   ]ami_6__1101_15.min1.thm12017-02-06 12:46 1.2K 
[   ]ami_6__1102_42.min1.thm12017-02-06 12:46 1.3K 
[   ]ami_6__1120_39.min1.thm12017-02-06 12:46 689  
[   ]ami_6__1121_29.min1.thm12017-02-06 12:46 523  
[   ]ami_6__1138_39.min1.thm12017-02-06 12:46 689  
[   ]ami_6__1139_29.min1.thm12017-02-06 12:46 523  
[   ]ami_6__1151_44.min1.thm12017-02-06 12:46 1.5K 
[   ]ami_6__1152_29.min1.thm12017-02-06 12:46 714  
[   ]ami_6__1155_15.min1.thm12017-02-06 12:46 1.1K 
[   ]ami_6__1156_45.min1.thm12017-02-06 12:46 1.3K 
[   ]ami_6__1161_44.min1.thm12017-02-06 12:46 1.5K 
[   ]ami_6__1162_29.min1.thm12017-02-06 12:46 714  
[   ]ami_6__1165_15.min1.thm12017-02-06 12:46 1.1K 
[   ]ami_6__1166_44.min1.thm12017-02-06 12:46 1.3K 
[   ]ami_6__1170_20.min1.thm12017-02-06 12:46 886  
[   ]ami_6__1182_33.min1.thm12017-02-06 12:46 688  
[   ]ami_6__1185_41.min1.thm12017-02-06 12:46 506  
[   ]ami_6__1185_41.min1.thm1.tptp2017-02-06 16:48 450  
[   ]ami_6__1186_41.min1.thm12017-02-06 12:46 511  
[   ]ami_6__1186_41.min1.thm1.tptp2017-02-06 16:48 455  
[   ]ami_6__1204_46.min1.thm12017-02-06 12:46 511  
[   ]ami_6__1204_46.min1.thm1.tptp2017-02-06 16:48 455  
[   ]ami_6__1208_33.min1.thm12017-02-06 12:46 688  
[   ]ami_6__1209_41.min1.thm12017-02-06 12:46 506  
[   ]ami_6__1209_41.min1.thm1.tptp2017-02-06 16:48 450  
[   ]ami_6__1225_46.min1.thm12017-02-06 12:46 511  
[   ]ami_6__1225_46.min1.thm1.tptp2017-02-06 16:48 455  
[   ]ami_6__1229_34.min1.thm12017-02-06 12:46 688  
[   ]ami_6__1230_41.min1.thm12017-02-06 12:46 506  
[   ]ami_6__1230_41.min1.thm1.tptp2017-02-06 16:48 450  
[   ]ami_6__1235_14.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__1247_46.min1.thm12017-02-06 12:46 511  
[   ]ami_6__1247_46.min1.thm1.tptp2017-02-06 16:48 455  
[   ]ami_6__1251_34.min1.thm12017-02-06 12:46 688  
[   ]ami_6__1252_41.min1.thm12017-02-06 12:46 506  
[   ]ami_6__1252_41.min1.thm1.tptp2017-02-06 16:48 450  
[   ]ami_6__1269_46.min1.thm12017-02-06 12:46 501  
[   ]ami_6__1269_46.min1.thm1.tptp2017-02-06 16:48 445  
[   ]ami_6__1273_18.min1.thm12017-02-06 12:46 276  
[   ]ami_6__1273_18.min1.thm1.tptp2017-02-06 16:48 187  
[   ]ami_6__1274_34.min1.thm12017-02-06 12:46 688  
[   ]ami_6__1275_41.min1.thm12017-02-06 12:46 496  
[   ]ami_6__1275_41.min1.thm1.tptp2017-02-06 16:48 440  
[   ]ami_6__1280_13.min1.thm12017-02-06 12:46 1.4K 
[   ]ami_6__1290_40.min1.thm12017-02-06 12:46 1.5K 
[   ]ami_6__1295_44.min1.thm12017-02-06 12:46 1.5K 
[   ]ami_6__1300_46.min1.thm12017-02-06 12:46 1.5K 
[   ]ami_6__1305_45.min1.thm12017-02-06 12:46 1.5K 
[   ]ami_6__1310_45.min1.thm12017-02-06 12:46 1.5K 
[   ]ami_6__1351_25.min1.thm12017-02-06 12:46 278  
[   ]ami_6__1353_28.min1.thm12017-02-06 12:46 626  
[   ]ami_6__1354_34.min1.thm12017-02-06 12:46 411  
[   ]ami_6__1354_34.min1.thm1.tptp2017-02-06 16:48 334  
[   ]ami_6__1355_23.min1.thm12017-02-06 12:46 866  
[   ]ami_6__1360_25.min1.thm12017-02-06 12:46 406  
[   ]ami_6__1362_28.min1.thm12017-02-06 12:46 626  
[   ]ami_6__1363_36.min1.thm12017-02-06 12:46 635  
[   ]ami_6__1364_23.min1.thm12017-02-06 12:46 935  
[   ]ami_6__1369_26.min1.thm12017-02-06 12:46 406  
[   ]ami_6__1371_29.min1.thm12017-02-06 12:46 626  
[   ]ami_6__1372_36.min1.thm12017-02-06 12:46 635  
[   ]ami_6__1373_23.min1.thm12017-02-06 12:46 935  
[   ]ami_6__1384_37.min1.thm12017-02-06 12:46 878  
[   ]ami_6__1390_14.min1.thm12017-02-06 12:46 476  
[   ]ami_6__1397_20.min1.thm12017-02-06 12:46 476  
[   ]ami_6__1404_22.min1.thm12017-02-06 12:46 476  
[   ]ami_6__1411_21.min1.thm12017-02-06 12:46 476  
[   ]ami_6__1418_21.min1.thm12017-02-06 12:46 476  
[   ]ami_6__1425_21.min1.thm12017-02-06 12:46 274  
[   ]ami_6__1427_19.min1.thm12017-02-06 12:46 535  
[   ]ami_6__1429_15.min1.thm12017-02-06 12:46 853  
[   ]ami_6__1430_22.min1.thm12017-02-06 12:46 473  
[   ]ami_6__1431_21.min1.thm12017-02-06 12:46 485  
[   ]ami_6__1436_21.min1.thm12017-02-06 12:46 402  
[   ]ami_6__1438_20.min1.thm12017-02-06 12:46 535  
[   ]ami_6__1440_15.min1.thm12017-02-06 12:46 924  
[   ]ami_6__1441_22.min1.thm12017-02-06 12:46 689  
[   ]ami_6__1442_21.min1.thm12017-02-06 12:46 485  
[   ]ami_6__1447_21.min1.thm12017-02-06 12:46 402  
[   ]ami_6__1449_19.min1.thm12017-02-06 12:46 535  
[   ]ami_6__1451_15.min1.thm12017-02-06 12:46 924  
[   ]ami_6__1452_22.min1.thm12017-02-06 12:46 689  
[   ]ami_6__1453_21.min1.thm12017-02-06 12:46 485  
[   ]ami_6__1462_5.min1.thm12017-02-06 12:46 1.7K 
[   ]ami_6__1468_15.min1.thm12017-02-06 12:46 738  
[   ]ami_6__1469_20.min1.thm12017-02-06 12:46 1.1K 
[   ]ami_6__1479_12.min1.thm12017-02-06 12:46 782  
[   ]ami_6__1483_14.min1.thm12017-02-06 12:46 942  
[   ]ami_6__1486_7.min1.thm12017-02-06 12:46 1.9K 
[   ]ami_6__1491_12.min1.thm12017-02-06 12:46 1.6K 
[   ]ami_6__1492_12.min1.thm12017-02-06 12:46 858  
[   ]ami_6__1493_36.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__1494_59.min1.thm12017-02-06 12:46 1.6K 
[   ]ami_6__1506_4.min1.thm12017-02-06 12:46 1.9K 
[   ]ami_6__1511_15.min1.thm12017-02-06 12:46 631  
[   ]ami_6__1512_20.min1.thm12017-02-06 12:46 970  
[   ]ami_6__1523_14.min1.thm12017-02-06 12:46 782  
[   ]ami_6__1527_16.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__1530_24.min1.thm12017-02-06 12:46 2.0K 
[   ]ami_6__1535_9.min1.thm12017-02-06 12:46 1.8K 
[   ]ami_6__1538_61.min1.thm12017-02-06 12:46 1.8K 
[   ]ami_6__1550_4.min1.thm12017-02-06 12:46 1.9K 
[   ]ami_6__1555_15.min1.thm12017-02-06 12:46 631  
[   ]ami_6__1556_20.min1.thm12017-02-06 12:46 970  
[   ]ami_6__1566_14.min1.thm12017-02-06 12:46 782  
[   ]ami_6__1570_16.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__1573_24.min1.thm12017-02-06 12:46 2.0K 
[   ]ami_6__1578_13.min1.thm12017-02-06 12:46 1.8K 
[   ]ami_6__1581_62.min1.thm12017-02-06 12:46 1.8K 
[   ]ami_6__1603_20.min1.thm12017-02-06 12:46 2.2K 
[   ]ami_6__1607_20.min1.thm12017-02-06 12:46 2.2K 
[   ]ami_6__1611_20.min1.thm12017-02-06 12:46 2.2K 
[   ]ami_6__1615_20.min1.thm12017-02-06 12:46 2.2K 
[   ]ami_6__1619_20.min1.thm12017-02-06 12:46 2.2K 
[   ]ami_6__1627_26.min1.thm12017-02-06 12:46 282  
[   ]ami_6__1628_45.min1.thm12017-02-06 12:46 480  
[   ]ami_6__1640_23.min1.thm12017-02-06 12:46 410  
[   ]ami_6__1641_45.min1.thm12017-02-06 12:46 480  
[   ]ami_6__1645_10.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__1646_54.min1.thm12017-02-06 12:46 928  
[   ]ami_6__1650_19.min1.thm12017-02-06 12:46 280  
[   ]ami_6__1663_44.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__1664_50.min1.thm12017-02-06 12:46 1.3K 
[   ]ami_6__1665_55.min1.thm12017-02-06 12:46 715  
[   ]ami_6__1666_59.min1.thm12017-02-06 12:46 886  
[   ]ami_6__1669_31.min1.thm12017-02-06 12:46 735  
[   ]ami_6__1682_23.min1.thm12017-02-06 12:46 410  
[   ]ami_6__1683_45.min1.thm12017-02-06 12:46 480  
[   ]ami_6__1687_10.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__1688_54.min1.thm12017-02-06 12:46 928  
[   ]ami_6__1691_19.min1.thm12017-02-06 12:46 304  
[   ]ami_6__1704_45.min1.thm12017-02-06 12:46 1.0K 
[   ]ami_6__1705_51.min1.thm12017-02-06 12:46 1.3K 
[   ]ami_6__1706_55.min1.thm12017-02-06 12:46 713  
[   ]ami_6__1707_59.min1.thm12017-02-06 12:46 882  
[   ]ami_6__1710_31.min1.thm12017-02-06 12:46 733  

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