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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sprect_4__57_17.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__60_27.min1.thm12017-02-06 12:46 737  
[ ]sprect_4__60_27.min1.thm1.tptp2017-02-06 16:47 660  
[ ]sprect_4__64_16.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__74_23.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_4__74_23.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]sprect_4__75_42.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__76_26.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_4__77_28.min1.thm12017-02-06 12:46 2.7K 
[ ]sprect_4__78_15.min1.thm12017-02-06 12:46 812  
[ ]sprect_4__79_13.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__82_13.min1.thm12017-02-06 12:46 628  
[ ]sprect_4__86_22.min1.thm12017-02-06 12:46 3.2K 
[ ]sprect_4__93_33.min1.thm12017-02-06 12:46 4.0K 
[ ]sprect_4__96_34.min1.thm12017-02-06 12:46 2.9K 
[ ]sprect_4__97_26.min1.thm12017-02-06 12:46 3.6K 
[ ]sprect_4__99_38.min1.thm12017-02-06 12:46 5.4K 
[ ]sprect_4__107_29.min1.thm12017-02-06 12:46 3.1K 
[ ]sprect_4__111_46.min1.thm12017-02-06 12:46 5.0K 
[ ]sprect_4__114_39.min1.thm12017-02-06 12:46 4.2K 
[ ]sprect_4__119_27.min1.thm12017-02-06 12:46 4.1K 
[ ]sprect_4__130_15.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__132_19.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_4__133_29.min1.thm12017-02-06 12:46 3.2K 
[ ]sprect_4__134_34.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_4__135_17.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__146_15.min1.thm12017-02-06 12:46 567  
[ ]sprect_4__147_20.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_4__149_21.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__150_29.min1.thm12017-02-06 12:46 870  
[ ]sprect_4__151_29.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_4__171_13.min1.thm12017-02-06 12:46 936  
[ ]sprect_4__174_15.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_4__177_15.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__208_24.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__209_11.min1.thm12017-02-06 12:46 192  
[ ]sprect_4__212_19.min1.thm12017-02-06 12:46 2.7K 
[ ]sprect_4__220_17.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__239_28.min1.thm12017-02-06 12:46 495  
[ ]sprect_4__239_28.min1.thm1.tptp2017-02-06 16:47 430  
[ ]sprect_4__247_18.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__248_18.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__249_23.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__255_18.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__256_18.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__257_23.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__274_24.min1.thm12017-02-06 12:46 463  
[ ]sprect_4__274_24.min1.thm1.tptp2017-02-06 16:47 398  
[ ]sprect_4__280_16.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_4__283_21.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__284_23.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__288_38.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_4__291_21.min1.thm12017-02-06 12:46 4.6K 
[ ]sprect_4__307_17.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__310_27.min1.thm12017-02-06 12:46 737  
[ ]sprect_4__310_27.min1.thm1.tptp2017-02-06 16:47 660  
[ ]sprect_4__314_16.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__322_23.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_4__322_23.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]sprect_4__323_42.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__324_26.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_4__325_28.min1.thm12017-02-06 12:46 2.7K 
[ ]sprect_4__328_30.min1.thm12017-02-06 12:46 4.1K 
[ ]sprect_4__329_26.min1.thm12017-02-06 12:46 2.9K 
[ ]sprect_4__333_15.min1.thm12017-02-06 12:46 813  
[ ]sprect_4__334_13.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__337_13.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__341_17.min1.thm12017-02-06 12:46 3.7K 
[ ]sprect_4__351_34.min1.thm12017-02-06 12:46 2.9K 
[ ]sprect_4__353_35.min1.thm12017-02-06 12:46 4.2K 
[ ]sprect_4__358_34.min1.thm12017-02-06 12:46 2.9K 
[ ]sprect_4__359_27.min1.thm12017-02-06 12:46 2.9K 
[ ]sprect_4__362_26.min1.thm12017-02-06 12:46 4.0K 
[ ]sprect_4__379_39.min1.thm12017-02-06 12:46 4.2K 
[ ]sprect_4__395_15.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__397_23.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_4__398_29.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_4__399_34.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_4__400_17.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__414_41.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__418_34.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_4__420_16.min1.thm12017-02-06 12:46 828  
[ ]sprect_4__420_16.min1.thm1.tptp2017-02-06 16:47 745  
[ ]sprect_4__421_19.min1.thm12017-02-06 12:46 3.4K 
[ ]sprect_4__422_12.min1.thm12017-02-06 12:46 855  
[ ]sprect_4__422_12.min1.thm1.tptp2017-02-06 16:47 772  
[ ]sprect_4__426_16.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__430_18.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__438_17.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_4__442_43.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_4__443_43.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_4__444_43.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_4__445_43.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_4__446_15.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__448_16.min1.thm12017-02-06 12:46 2.7K 
[ ]sprect_4__462_21.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_4__463_28.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_4__468_44.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_4__472_21.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_4__473_38.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_4__481_45.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_4__488_45.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_4__494_44.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_4__519_22.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__520_23.min1.thm12017-02-06 12:46 2.6K 
[ ]sprect_4__524_15.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_4__529_45.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__530_26.min1.thm12017-02-06 12:46 2.9K 
[ ]sprect_4__533_31.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__534_58.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__535_23.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_4__537_54.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_4__542_19.min1.thm12017-02-06 12:46 3.7K 
[ ]sprect_4__545_19.min1.thm12017-02-06 12:46 3.7K 
[ ]sprect_4__547_30.min1.thm12017-02-06 12:46 2.7K 
[ ]sprect_4__556_26.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__579_31.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_4__580_32.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_4__595_32.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_4__607_39.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_4__627_29.min1.thm12017-02-06 12:46 2.7K 
[ ]sprect_4__647_21.min1.thm12017-02-06 12:46 2.9K 
[ ]sprect_4__648_26.min1.thm12017-02-06 12:46 2.9K 
[ ]sprect_4__652_18.min1.thm12017-02-06 12:46 3.2K 
[ ]sprect_4__658_16.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__667_24.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_4__668_25.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_4__681_30.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_4__685_50.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__685_50.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]sprect_4__686_20.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__693_22.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__726_17.min1.thm12017-02-06 12:46 407  
[ ]sprect_4__726_17.min1.thm1.tptp2017-02-06 16:47 342  
[ ]sprect_4__735_20.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__735_20.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]sprect_4__739_28.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_4__741_37.min1.thm12017-02-06 12:46 3.6K 
[ ]sprect_4__745_21.min1.thm12017-02-06 12:46 3.4K 
[ ]sprect_4__747_24.min1.thm12017-02-06 12:46 2.6K 
[ ]sprect_4__766_24.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_4__779_23.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_4__786_48.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__786_48.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]sprect_4__787_20.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__794_25.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_4__797_18.min1.thm12017-02-06 12:46 963  
[ ]sprect_4__805_34.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__805_34.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]sprect_4__833_32.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_4__835_29.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_4__858_14.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__864_24.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_4__865_22.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_4__869_16.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__878_50.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__878_50.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]sprect_4__879_20.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__881_25.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__902_15.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__919_17.min1.thm12017-02-06 12:46 407  
[ ]sprect_4__919_17.min1.thm1.tptp2017-02-06 16:47 342  
[ ]sprect_4__933_47.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__944_32.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_4__968_22.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__968_22.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]sprect_4__971_40.min1.thm12017-02-06 12:46 3.6K 
[ ]sprect_4__983_24.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_4__984_22.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_4__988_16.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__994_23.min1.thm12017-02-06 12:46 3.7K 
[ ]sprect_4__996_27.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__996_27.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]sprect_4__1001_50.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__1001_50.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]sprect_4__1002_20.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__1004_25.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_4__1013_37.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_4__1021_26.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_4__1022_40.min1.thm12017-02-06 12:46 373  
[ ]sprect_4__1022_40.min1.thm1.tptp2017-02-06 16:47 285  
[ ]sprect_4__1023_25.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1025_21.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_4__1029_44.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_4__1032_34.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_4__1044_25.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1045_29.min1.thm12017-02-06 12:46 2.9K 
[ ]sprect_4__1047_17.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1049_22.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__1052_25.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1053_28.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_4__1058_32.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__1063_32.min1.thm12017-02-06 12:46 2.7K 
[ ]sprect_4__1066_32.min1.thm12017-02-06 12:46 2.7K 
[ ]sprect_4__1069_43.min1.thm12017-02-06 12:46 746  
[ ]sprect_4__1069_43.min1.thm1.tptp2017-02-06 16:47 669  
[ ]sprect_4__1073_20.min1.thm12017-02-06 12:46 6.6K 
[ ]sprect_4__1074_26.min1.thm12017-02-06 12:46 7.3K 
[ ]sprect_4__1090_38.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_4__1094_21.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1096_31.min1.thm12017-02-06 12:46 6.4K 
[ ]sprect_4__1097_46.min1.thm12017-02-06 12:46 9.5K 
[ ]sprect_4__1100_43.min1.thm12017-02-06 12:46 746  
[ ]sprect_4__1100_43.min1.thm1.tptp2017-02-06 16:47 669  
[ ]sprect_4__1104_20.min1.thm12017-02-06 12:46 6.6K 
[ ]sprect_4__1105_26.min1.thm12017-02-06 12:46 7.3K 
[ ]sprect_4__1120_38.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_4__1124_21.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1126_31.min1.thm12017-02-06 12:46 6.4K 
[ ]sprect_4__1132_29.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1133_39.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__1134_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1139_28.min1.thm12017-02-06 12:46 538  
[ ]sprect_4__1139_28.min1.thm1.tptp2017-02-06 16:47 461  
[ ]sprect_4__1154_42.min1.thm12017-02-06 12:46 3.5K 
[ ]sprect_4__1157_48.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_4__1158_18.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1159_22.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_4__1161_38.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_4__1164_41.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_4__1166_25.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1168_39.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1187_31.min1.thm12017-02-06 12:46 3.3K 
[ ]sprect_4__1190_37.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_4__1191_18.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1193_21.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_4__1195_38.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_4__1198_41.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_4__1199_28.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1202_12.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_4__1204_24.min1.thm12017-02-06 12:46 538  
[ ]sprect_4__1204_24.min1.thm1.tptp2017-02-06 16:47 461  
[ ]sprect_4__1213_38.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1216_18.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1244_24.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_4__1269_54.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_4__1269_54.min1.thm1.tptp2017-02-06 16:47 1.6K 
[ ]sprect_4__1270_51.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_4__1273_15.min1.thm12017-02-06 12:46 777  
[ ]sprect_4__1274_38.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__1279_51.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_4__1281_25.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__1292_18.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_4__1293_51.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_4__1294_29.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__1299_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1306_26.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1316_20.min1.thm12017-02-06 12:46 530  
[ ]sprect_4__1316_20.min1.thm1.tptp2017-02-06 16:47 457  
[ ]sprect_4__1318_30.min1.thm12017-02-06 12:46 6.8K 
[ ]sprect_4__1323_43.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_4__1328_44.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_4__1330_19.min1.thm12017-02-06 12:46 872  
[ ]sprect_4__1339_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1343_20.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_4__1349_27.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__1350_50.min1.thm12017-02-06 12:46 2.7K 
[ ]sprect_4__1354_24.min1.thm12017-02-06 12:46 3.3K 
[ ]sprect_4__1360_38.min1.thm12017-02-06 12:46 2.9K 
[ ]sprect_4__1361_23.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__1365_56.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_4__1366_21.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_4__1371_54.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_4__1372_18.min1.thm12017-02-06 12:46 530  
[ ]sprect_4__1372_18.min1.thm1.tptp2017-02-06 16:47 457  
[ ]sprect_4__1388_25.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__1397_38.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1414_20.min1.thm12017-02-06 12:46 530  
[ ]sprect_4__1414_20.min1.thm1.tptp2017-02-06 16:47 457  
[ ]sprect_4__1415_32.min1.thm12017-02-06 12:46 6.8K 
[ ]sprect_4__1418_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1425_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1432_23.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_4__1434_27.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__1436_40.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__1445_42.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__1446_23.min1.thm12017-02-06 12:46 3.7K 
[ ]sprect_4__1450_21.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_4__1455_52.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_4__1457_18.min1.thm12017-02-06 12:46 530  
[ ]sprect_4__1457_18.min1.thm1.tptp2017-02-06 16:47 457  
[ ]sprect_4__1470_29.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__1477_42.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_4__1478_25.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__1481_38.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1499_32.min1.thm12017-02-06 12:46 6.8K 
[ ]sprect_4__1502_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1507_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1517_52.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_4__1519_18.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1524_61.min1.thm12017-02-06 12:46 806  
[ ]sprect_4__1524_61.min1.thm1.tptp2017-02-06 16:47 728  
[ ]sprect_4__1525_60.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_4__1528_63.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__1534_23.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__1538_52.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_4__1541_67.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__1543_64.min1.thm12017-02-06 12:46 799  
[ ]sprect_4__1543_64.min1.thm1.tptp2017-02-06 16:47 734  
[ ]sprect_4__1548_40.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__1553_21.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_4__1557_27.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__1562_30.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__1567_21.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_4__1572_20.min1.thm12017-02-06 12:46 530  
[ ]sprect_4__1572_20.min1.thm1.tptp2017-02-06 16:47 457  
[ ]sprect_4__1577_60.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1581_59.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_4__1582_61.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__1583_59.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__1583_59.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]sprect_4__1590_20.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__1598_18.min1.thm12017-02-06 12:46 530  
[ ]sprect_4__1598_18.min1.thm1.tptp2017-02-06 16:47 457  
[ ]sprect_4__1613_40.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__1614_38.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__1615_42.min1.thm12017-02-06 12:46 3.7K 
[ ]sprect_4__1625_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1628_15.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__1631_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1635_21.min1.thm12017-02-06 12:46 514  
[ ]sprect_4__1635_21.min1.thm1.tptp2017-02-06 16:47 441  
[ ]sprect_4__1636_38.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1644_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1654_27.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__1655_18.min1.thm12017-02-06 12:46 530  
[ ]sprect_4__1655_18.min1.thm1.tptp2017-02-06 16:47 457  
[ ]sprect_4__1670_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1690_15.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__1697_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1701_38.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1711_20.min1.thm12017-02-06 12:46 530  
[ ]sprect_4__1711_20.min1.thm1.tptp2017-02-06 16:47 457  
[ ]sprect_4__1714_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1723_40.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__1724_40.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__1725_42.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__1726_23.min1.thm12017-02-06 12:46 3.7K 
[ ]sprect_4__1730_21.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_4__1735_52.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_4__1742_27.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__1743_18.min1.thm12017-02-06 12:46 530  
[ ]sprect_4__1743_18.min1.thm1.tptp2017-02-06 16:47 457  
[ ]sprect_4__1753_40.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__1754_38.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__1755_36.min1.thm12017-02-06 12:46 3.6K 
[ ]sprect_4__1758_21.min1.thm12017-02-06 12:46 513  
[ ]sprect_4__1758_21.min1.thm1.tptp2017-02-06 16:47 440  
[ ]sprect_4__1765_25.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__1771_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1776_40.min1.thm12017-02-06 12:46 6.8K 
[ ]sprect_4__1781_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1791_27.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__1792_18.min1.thm12017-02-06 12:46 530  
[ ]sprect_4__1792_18.min1.thm1.tptp2017-02-06 16:47 457  
[ ]sprect_4__1800_40.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__1802_40.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_4__1803_25.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__1810_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1817_30.min1.thm12017-02-06 12:46 6.8K 
[ ]sprect_4__1825_58.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_4__1826_21.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_4__1832_19.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_4__1833_34.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_4__1834_23.min1.thm12017-02-06 12:46 3.6K 
[ ]sprect_4__1837_47.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_4__1838_29.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__1854_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_4__1858_20.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_4__1864_27.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_4__1866_20.min1.thm12017-02-06 12:46 530  
[ ]sprect_4__1866_20.min1.thm1.tptp2017-02-06 16:47 457  
[ ]sprect_4__1867_18.min1.thm12017-02-06 12:46 530  
[ ]sprect_4__1867_18.min1.thm1.tptp2017-02-06 16:47 457  
[ ]sprect_4__1882_14.min1.thm12017-02-06 12:46 830  
[ ]sprect_4__1882_14.min1.thm1.tptp2017-02-06 16:47 753  
[ ]sprect_4__1885_19.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_4__1889_35.min1.thm12017-02-06 12:46 828  
[ ]sprect_4__1889_35.min1.thm1.tptp2017-02-06 16:47 751  
[ ]sprect_4__1890_35.min1.thm12017-02-06 12:46 828  
[ ]sprect_4__1890_35.min1.thm1.tptp2017-02-06 16:47 751  
[ ]sprect_4__1891_32.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_4__1892_24.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_4__1893_28.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_4__1894_20.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_4__1895_19.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_4__1905_16.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_4__1909_32.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_4__1910_28.min1.thm12017-02-06 12:46 1.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80