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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sprect_3__61_17.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__62_29.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__70_48.min1.thm12017-02-06 12:46 495  
[ ]sprect_3__71_40.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_3__72_41.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__73_43.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__74_35.min1.thm12017-02-06 12:46 579  
[ ]sprect_3__74_35.min1.thm1.tptp2017-02-06 16:47 515  
[ ]sprect_3__109_16.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__138_17.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_3__151_14.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__154_30.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__155_32.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__157_26.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__158_13.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__184_14.min1.thm12017-02-06 12:46 945  
[ ]sprect_3__194_13.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__195_58.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__197_16.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__207_27.min1.thm12017-02-06 12:46 387  
[ ]sprect_3__209_15.min1.thm12017-02-06 12:46 319  
[ ]sprect_3__209_15.min1.thm1.tptp2017-02-06 16:47 231  
[ ]sprect_3__214_16.min1.thm12017-02-06 12:46 575  
[ ]sprect_3__318_14.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__339_14.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__373_24.min1.thm12017-02-06 12:46 634  
[ ]sprect_3__373_24.min1.thm1.tptp2017-02-06 16:47 559  
[ ]sprect_3__382_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__383_25.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__400_42.min1.thm12017-02-06 12:46 372  
[ ]sprect_3__400_42.min1.thm1.tptp2017-02-06 16:47 284  
[ ]sprect_3__401_18.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__403_24.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_3__406_15.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__407_27.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_3__408_14.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__409_19.min1.thm12017-02-06 12:46 3.1K 
[ ]sprect_3__410_13.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__426_21.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__429_20.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__432_13.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__435_22.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__437_45.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_3__476_23.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__477_31.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_3__479_21.min1.thm12017-02-06 12:46 660  
[ ]sprect_3__479_21.min1.thm1.tptp2017-02-06 16:47 598  
[ ]sprect_3__484_16.min1.thm12017-02-06 12:46 652  
[ ]sprect_3__484_16.min1.thm1.tptp2017-02-06 16:47 590  
[ ]sprect_3__491_14.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_3__496_27.min1.thm12017-02-06 12:46 421  
[ ]sprect_3__496_27.min1.thm1.tptp2017-02-06 16:47 356  
[ ]sprect_3__500_16.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__503_37.min1.thm12017-02-06 12:46 710  
[ ]sprect_3__503_37.min1.thm1.tptp2017-02-06 16:47 634  
[ ]sprect_3__504_30.min1.thm12017-02-06 12:46 489  
[ ]sprect_3__516_16.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__518_22.min1.thm12017-02-06 12:46 3.2K 
[ ]sprect_3__520_18.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__531_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__532_38.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__534_21.min1.thm12017-02-06 12:46 692  
[ ]sprect_3__534_21.min1.thm1.tptp2017-02-06 16:47 630  
[ ]sprect_3__537_19.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__540_16.min1.thm12017-02-06 12:46 684  
[ ]sprect_3__540_16.min1.thm1.tptp2017-02-06 16:47 622  
[ ]sprect_3__547_14.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_3__552_20.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__554_18.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__555_27.min1.thm12017-02-06 12:46 453  
[ ]sprect_3__555_27.min1.thm1.tptp2017-02-06 16:47 388  
[ ]sprect_3__560_42.min1.thm12017-02-06 12:46 742  
[ ]sprect_3__560_42.min1.thm1.tptp2017-02-06 16:47 666  
[ ]sprect_3__561_35.min1.thm12017-02-06 12:46 521  
[ ]sprect_3__578_17.min1.thm12017-02-06 12:46 540  
[ ]sprect_3__580_17.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__585_18.min1.thm12017-02-06 12:46 541  
[ ]sprect_3__586_20.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__590_26.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__593_19.min1.thm12017-02-06 12:46 3.4K 
[ ]sprect_3__597_29.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__604_26.min1.thm12017-02-06 12:46 894  
[ ]sprect_3__607_53.min1.thm12017-02-06 12:46 2.6K 
[ ]sprect_3__610_14.min1.thm12017-02-06 12:46 3.0K 
[ ]sprect_3__628_17.min1.thm12017-02-06 12:46 951  
[ ]sprect_3__629_21.min1.thm12017-02-06 12:46 231  
[ ]sprect_3__630_72.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__635_14.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_3__648_19.min1.thm12017-02-06 12:46 2.6K 
[ ]sprect_3__656_24.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__657_11.min1.thm12017-02-06 12:46 197  
[ ]sprect_3__668_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__691_25.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__694_24.min1.thm12017-02-06 12:46 471  
[ ]sprect_3__694_24.min1.thm1.tptp2017-02-06 16:47 406  
[ ]sprect_3__704_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__707_48.min1.thm12017-02-06 12:46 2.8K 
[ ]sprect_3__709_16.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__716_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__725_23.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__728_28.min1.thm12017-02-06 12:46 503  
[ ]sprect_3__728_28.min1.thm1.tptp2017-02-06 16:47 438  
[ ]sprect_3__732_48.min1.thm12017-02-06 12:46 2.8K 
[ ]sprect_3__733_21.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__734_23.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__738_38.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__741_21.min1.thm12017-02-06 12:46 4.4K 
[ ]sprect_3__754_40.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__756_41.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__765_33.min1.thm12017-02-06 12:46 3.1K 
[ ]sprect_3__766_32.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__767_33.min1.thm12017-02-06 12:46 3.1K 
[ ]sprect_3__768_19.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__773_30.min1.thm12017-02-06 12:46 880  
[ ]sprect_3__773_30.min1.thm1.tptp2017-02-06 16:47 803  
[ ]sprect_3__774_42.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__784_31.min1.thm12017-02-06 12:46 880  
[ ]sprect_3__784_31.min1.thm1.tptp2017-02-06 16:47 803  
[ ]sprect_3__785_43.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__799_38.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__799_38.min1.thm1.tptp2017-02-06 16:47 965  
[ ]sprect_3__809_38.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__809_38.min1.thm1.tptp2017-02-06 16:47 965  
[ ]sprect_3__820_23.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__820_23.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]sprect_3__821_38.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__824_19.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_3__824_19.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]sprect_3__825_36.min1.thm12017-02-06 12:46 970  
[ ]sprect_3__825_36.min1.thm1.tptp2017-02-06 16:47 887  
[ ]sprect_3__826_38.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__829_24.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__830_16.min1.thm12017-02-06 12:46 835  
[ ]sprect_3__830_16.min1.thm1.tptp2017-02-06 16:47 752  
[ ]sprect_3__840_16.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__841_25.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__841_25.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]sprect_3__842_24.min1.thm12017-02-06 12:46 3.5K 
[ ]sprect_3__843_16.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__858_14.min1.thm12017-02-06 12:46 840  
[ ]sprect_3__858_14.min1.thm1.tptp2017-02-06 16:47 757  
[ ]sprect_3__861_22.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__862_17.min1.thm12017-02-06 12:46 2.7K 
[ ]sprect_3__865_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__866_26.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__867_20.min1.thm12017-02-06 12:46 3.0K 
[ ]sprect_3__875_15.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_3__876_23.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_3__878_32.min1.thm12017-02-06 12:46 2.6K 
[ ]sprect_3__884_23.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_3__884_23.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]sprect_3__901_27.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__908_15.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_3__910_23.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_3__925_18.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__935_28.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_3__944_22.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__945_30.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_3__946_19.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__958_17.min1.thm12017-02-06 12:46 3.3K 
[ ]sprect_3__981_18.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_3__982_12.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__984_16.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__985_17.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__986_22.min1.thm12017-02-06 12:46 3.0K 
[ ]sprect_3__987_18.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_3__989_13.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__990_18.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_3__991_17.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__993_18.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__994_17.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_3__997_23.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__1002_15.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__1009_16.min1.thm12017-02-06 12:46 2.6K 
[ ]sprect_3__1025_25.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__1026_57.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__1027_46.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_3__1045_20.min1.thm12017-02-06 12:46 736  
[ ]sprect_3__1045_20.min1.thm1.tptp2017-02-06 16:47 671  
[ ]sprect_3__1047_72.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__1056_38.min1.thm12017-02-06 12:46 695  
[ ]sprect_3__1056_38.min1.thm1.tptp2017-02-06 16:47 618  
[ ]sprect_3__1058_36.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__1059_36.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__1064_38.min1.thm12017-02-06 12:46 695  
[ ]sprect_3__1064_38.min1.thm1.tptp2017-02-06 16:47 618  
[ ]sprect_3__1066_36.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__1067_36.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__1072_39.min1.thm12017-02-06 12:46 695  
[ ]sprect_3__1072_39.min1.thm1.tptp2017-02-06 16:47 618  
[ ]sprect_3__1074_37.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__1075_36.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__1080_39.min1.thm12017-02-06 12:46 695  
[ ]sprect_3__1080_39.min1.thm1.tptp2017-02-06 16:47 618  
[ ]sprect_3__1082_37.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__1083_36.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__1094_42.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1095_16.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__1108_17.min1.thm12017-02-06 12:46 509  
[ ]sprect_3__1108_17.min1.thm1.tptp2017-02-06 16:47 436  
[ ]sprect_3__1109_21.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__1110_35.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__1113_20.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__1114_40.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__1117_36.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__1121_39.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__1122_37.min1.thm12017-02-06 12:46 746  
[ ]sprect_3__1122_37.min1.thm1.tptp2017-02-06 16:47 669  
[ ]sprect_3__1123_26.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__1124_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__1135_20.min1.thm12017-02-06 12:46 925  
[ ]sprect_3__1135_20.min1.thm1.tptp2017-02-06 16:47 859  
[ ]sprect_3__1136_16.min1.thm12017-02-06 12:46 600  
[ ]sprect_3__1136_16.min1.thm1.tptp2017-02-06 16:47 526  
[ ]sprect_3__1138_24.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__1152_21.min1.thm12017-02-06 12:46 842  
[ ]sprect_3__1152_21.min1.thm1.tptp2017-02-06 16:47 774  
[ ]sprect_3__1153_23.min1.thm12017-02-06 12:46 764  
[ ]sprect_3__1154_23.min1.thm12017-02-06 12:46 764  
[ ]sprect_3__1155_16.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__1156_16.min1.thm12017-02-06 12:46 803  
[ ]sprect_3__1159_21.min1.thm12017-02-06 12:46 579  
[ ]sprect_3__1159_21.min1.thm1.tptp2017-02-06 16:47 497  
[ ]sprect_3__1163_29.min1.thm12017-02-06 12:46 921  
[ ]sprect_3__1164_25.min1.thm12017-02-06 12:46 768  
[ ]sprect_3__1165_25.min1.thm12017-02-06 12:46 768  
[ ]sprect_3__1166_18.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__1170_29.min1.thm12017-02-06 12:46 921  
[ ]sprect_3__1171_25.min1.thm12017-02-06 12:46 768  
[ ]sprect_3__1172_25.min1.thm12017-02-06 12:46 768  
[ ]sprect_3__1173_18.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__1177_29.min1.thm12017-02-06 12:46 921  
[ ]sprect_3__1178_25.min1.thm12017-02-06 12:46 768  
[ ]sprect_3__1179_25.min1.thm12017-02-06 12:46 768  
[ ]sprect_3__1180_18.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__1184_26.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__1208_22.min1.thm12017-02-06 12:46 807  
[ ]sprect_3__1208_22.min1.thm1.tptp2017-02-06 16:47 732  
[ ]sprect_3__1217_46.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__1264_23.min1.thm12017-02-06 12:46 838  
[ ]sprect_3__1264_23.min1.thm1.tptp2017-02-06 16:47 770  
[ ]sprect_3__1265_23.min1.thm12017-02-06 12:46 838  
[ ]sprect_3__1265_23.min1.thm1.tptp2017-02-06 16:47 770  
[ ]sprect_3__1267_26.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_3__1269_23.min1.thm12017-02-06 12:46 838  
[ ]sprect_3__1269_23.min1.thm1.tptp2017-02-06 16:47 770  
[ ]sprect_3__1270_23.min1.thm12017-02-06 12:46 838  
[ ]sprect_3__1270_23.min1.thm1.tptp2017-02-06 16:47 770  
[ ]sprect_3__1273_44.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__1274_16.min1.thm12017-02-06 12:46 600  
[ ]sprect_3__1274_16.min1.thm1.tptp2017-02-06 16:47 526  
[ ]sprect_3__1276_19.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__1279_24.min1.thm12017-02-06 12:46 839  
[ ]sprect_3__1279_24.min1.thm1.tptp2017-02-06 16:47 771  
[ ]sprect_3__1280_24.min1.thm12017-02-06 12:46 839  
[ ]sprect_3__1280_24.min1.thm1.tptp2017-02-06 16:47 771  
[ ]sprect_3__1283_17.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1284_21.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_3__1287_22.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__1288_22.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__1293_22.min1.thm12017-02-06 12:46 879  
[ ]sprect_3__1294_21.min1.thm12017-02-06 12:46 879  
[ ]sprect_3__1295_22.min1.thm12017-02-06 12:46 3.0K 
[ ]sprect_3__1297_24.min1.thm12017-02-06 12:46 839  
[ ]sprect_3__1297_24.min1.thm1.tptp2017-02-06 16:47 771  
[ ]sprect_3__1300_39.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_3__1301_15.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__1302_15.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__1311_16.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__1316_22.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__1322_22.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__1326_25.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1328_22.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__1332_25.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_3__1334_22.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__1338_25.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1340_22.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__1345_37.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1346_24.min1.thm12017-02-06 12:46 839  
[ ]sprect_3__1346_24.min1.thm1.tptp2017-02-06 16:47 771  
[ ]sprect_3__1348_27.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1354_16.min1.thm12017-02-06 12:46 885  
[ ]sprect_3__1354_16.min1.thm1.tptp2017-02-06 16:47 828  
[ ]sprect_3__1358_21.min1.thm12017-02-06 12:46 657  
[ ]sprect_3__1363_21.min1.thm12017-02-06 12:46 570  
[ ]sprect_3__1363_21.min1.thm1.tptp2017-02-06 16:47 514  
[ ]sprect_3__1367_26.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1368_21.min1.thm12017-02-06 12:46 570  
[ ]sprect_3__1368_21.min1.thm1.tptp2017-02-06 16:47 514  
[ ]sprect_3__1372_72.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__1374_71.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_3__1377_14.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1378_27.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_3__1388_15.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__1389_15.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__1390_45.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__1391_21.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_3__1394_22.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__1395_22.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__1400_22.min1.thm12017-02-06 12:46 879  
[ ]sprect_3__1401_21.min1.thm12017-02-06 12:46 879  
[ ]sprect_3__1402_22.min1.thm12017-02-06 12:46 3.1K 
[ ]sprect_3__1405_17.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1414_16.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__1419_22.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__1425_22.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__1431_22.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__1435_25.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1436_22.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__1440_25.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1441_22.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__1446_37.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__1452_16.min1.thm12017-02-06 12:46 891  
[ ]sprect_3__1452_16.min1.thm1.tptp2017-02-06 16:47 834  
[ ]sprect_3__1455_21.min1.thm12017-02-06 12:46 827  
[ ]sprect_3__1460_21.min1.thm12017-02-06 12:46 827  
[ ]sprect_3__1465_21.min1.thm12017-02-06 12:46 574  
[ ]sprect_3__1465_21.min1.thm1.tptp2017-02-06 16:47 518  
[ ]sprect_3__1469_67.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_3__1471_66.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_3__1472_71.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_3__1475_14.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1476_27.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_3__1489_16.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__1493_14.min1.thm12017-02-06 12:46 469  
[ ]sprect_3__1494_14.min1.thm12017-02-06 12:46 469  
[ ]sprect_3__1501_14.min1.thm12017-02-06 12:46 469  
[ ]sprect_3__1502_14.min1.thm12017-02-06 12:46 469  
[ ]sprect_3__1509_14.min1.thm12017-02-06 12:46 469  
[ ]sprect_3__1510_14.min1.thm12017-02-06 12:46 469  
[ ]sprect_3__1517_14.min1.thm12017-02-06 12:46 469  
[ ]sprect_3__1518_14.min1.thm12017-02-06 12:46 469  
[ ]sprect_3__1528_17.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__1547_32.min1.thm12017-02-06 12:46 2.8K 
[ ]sprect_3__1550_15.min1.thm12017-02-06 12:46 775  
[ ]sprect_3__1550_15.min1.thm1.tptp2017-02-06 16:47 700  
[ ]sprect_3__1552_61.min1.thm12017-02-06 12:46 760  
[ ]sprect_3__1553_39.min1.thm12017-02-06 12:46 305  
[ ]sprect_3__1554_45.min1.thm12017-02-06 12:46 489  
[ ]sprect_3__1554_45.min1.thm1.tptp2017-02-06 16:47 401  
[ ]sprect_3__1555_32.min1.thm12017-02-06 12:46 2.8K 
[ ]sprect_3__1558_49.min1.thm12017-02-06 12:46 788  
[ ]sprect_3__1558_49.min1.thm1.tptp2017-02-06 16:47 700  
[ ]sprect_3__1560_10.min1.thm12017-02-06 12:46 300  
[ ]sprect_3__1560_10.min1.thm1.tptp2017-02-06 16:47 218  
[ ]sprect_3__1563_32.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1566_19.min1.thm12017-02-06 12:46 3.3K 
[ ]sprect_3__1568_15.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__1569_40.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__1569_40.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]sprect_3__1575_33.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_3__1576_38.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_3__1576_38.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]sprect_3__1577_43.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_3__1577_43.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]sprect_3__1588_20.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__1593_19.min1.thm12017-02-06 12:46 2.9K 
[ ]sprect_3__1599_42.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__1601_45.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__1604_32.min1.thm12017-02-06 12:46 864  
[ ]sprect_3__1604_32.min1.thm1.tptp2017-02-06 16:47 796  
[ ]sprect_3__1612_33.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_3__1614_40.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__1619_32.min1.thm12017-02-06 12:46 864  
[ ]sprect_3__1619_32.min1.thm1.tptp2017-02-06 16:47 796  
[ ]sprect_3__1625_33.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_3__1627_10.min1.thm12017-02-06 12:46 298  
[ ]sprect_3__1627_10.min1.thm1.tptp2017-02-06 16:47 216  
[ ]sprect_3__1630_33.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1631_32.min1.thm12017-02-06 12:46 864  
[ ]sprect_3__1631_32.min1.thm1.tptp2017-02-06 16:47 796  
[ ]sprect_3__1633_32.min1.thm12017-02-06 12:46 864  
[ ]sprect_3__1633_32.min1.thm1.tptp2017-02-06 16:47 796  
[ ]sprect_3__1646_41.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__1656_35.min1.thm12017-02-06 12:46 645  
[ ]sprect_3__1656_35.min1.thm1.tptp2017-02-06 16:47 562  
[ ]sprect_3__1657_16.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_3__1667_34.min1.thm12017-02-06 12:46 965  
[ ]sprect_3__1667_34.min1.thm1.tptp2017-02-06 16:47 899  
[ ]sprect_3__1668_16.min1.thm12017-02-06 12:46 623  
[ ]sprect_3__1668_16.min1.thm1.tptp2017-02-06 16:47 549  
[ ]sprect_3__1681_20.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__1685_21.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__1687_25.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__1689_36.min1.thm12017-02-06 12:46 745  
[ ]sprect_3__1689_36.min1.thm1.tptp2017-02-06 16:47 668  
[ ]sprect_3__1697_19.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1702_30.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_3__1708_13.min1.thm12017-02-06 12:46 533  
[ ]sprect_3__1711_28.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__1725_49.min1.thm12017-02-06 12:46 808  
[ ]sprect_3__1725_49.min1.thm1.tptp2017-02-06 16:47 739  
[ ]sprect_3__1739_53.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__1744_27.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__1747_17.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_3__1761_18.min1.thm12017-02-06 12:46 3.3K 
[ ]sprect_3__1793_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__1807_25.min1.thm12017-02-06 12:46 2.8K 
[ ]sprect_3__1809_26.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__1810_11.min1.thm12017-02-06 12:46 563  
[ ]sprect_3__1813_26.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__1814_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__1828_39.min1.thm12017-02-06 12:46 806  
[ ]sprect_3__1828_39.min1.thm1.tptp2017-02-06 16:47 737  
[ ]sprect_3__1831_46.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1841_29.min1.thm12017-02-06 12:46 3.1K 
[ ]sprect_3__1842_53.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__1847_25.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__1850_16.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__1863_16.min1.thm12017-02-06 12:46 2.7K 
[ ]sprect_3__1907_20.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__1911_21.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__1913_25.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__1915_36.min1.thm12017-02-06 12:46 745  
[ ]sprect_3__1915_36.min1.thm1.tptp2017-02-06 16:47 668  
[ ]sprect_3__1921_16.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__1928_30.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_3__1933_24.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__1934_13.min1.thm12017-02-06 12:46 533  
[ ]sprect_3__1937_28.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__1951_49.min1.thm12017-02-06 12:46 808  
[ ]sprect_3__1951_49.min1.thm1.tptp2017-02-06 16:47 739  
[ ]sprect_3__1965_53.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__1970_27.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__1973_17.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_3__1987_18.min1.thm12017-02-06 12:46 3.3K 
[ ]sprect_3__2019_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__2033_25.min1.thm12017-02-06 12:46 2.8K 
[ ]sprect_3__2035_26.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__2036_11.min1.thm12017-02-06 12:46 563  
[ ]sprect_3__2039_26.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__2040_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__2054_39.min1.thm12017-02-06 12:46 806  
[ ]sprect_3__2054_39.min1.thm1.tptp2017-02-06 16:47 737  
[ ]sprect_3__2057_46.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__2067_29.min1.thm12017-02-06 12:46 3.1K 
[ ]sprect_3__2068_53.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__2073_25.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__2076_16.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__2089_16.min1.thm12017-02-06 12:46 2.7K 
[ ]sprect_3__2131_38.min1.thm12017-02-06 12:46 800  
[ ]sprect_3__2131_38.min1.thm1.tptp2017-02-06 16:47 731  
[ ]sprect_3__2151_42.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__2156_42.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__2157_19.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2161_19.min1.thm12017-02-06 12:46 3.0K 
[ ]sprect_3__2166_42.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__2166_42.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]sprect_3__2167_23.min1.thm12017-02-06 12:46 3.2K 
[ ]sprect_3__2171_24.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__2174_16.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_3__2182_15.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__2183_49.min1.thm12017-02-06 12:46 2.6K 
[ ]sprect_3__2185_33.min1.thm12017-02-06 12:46 1.8K 
[ ]sprect_3__2200_51.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_3__2204_43.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__2209_42.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__2210_19.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2218_42.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__2219_19.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2231_43.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__2232_43.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__2255_44.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__2260_44.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__2265_44.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__2270_44.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__2278_42.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__2279_19.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2286_40.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__2301_25.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__2303_22.min1.thm12017-02-06 12:46 488  
[ ]sprect_3__2303_22.min1.thm1.tptp2017-02-06 16:47 432  
[ ]sprect_3__2306_21.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__2317_19.min1.thm12017-02-06 12:46 657  
[ ]sprect_3__2324_12.min1.thm12017-02-06 12:46 651  
[ ]sprect_3__2325_22.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__2326_23.min1.thm12017-02-06 12:46 489  
[ ]sprect_3__2326_23.min1.thm1.tptp2017-02-06 16:47 433  
[ ]sprect_3__2334_20.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__2335_19.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__2337_21.min1.thm12017-02-06 12:46 755  
[ ]sprect_3__2338_19.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__2340_21.min1.thm12017-02-06 12:46 755  
[ ]sprect_3__2347_20.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__2357_20.min1.thm12017-02-06 12:46 364  
[ ]sprect_3__2357_20.min1.thm1.tptp2017-02-06 16:47 310  
[ ]sprect_3__2370_19.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__2371_19.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__2373_20.min1.thm12017-02-06 12:46 755  
[ ]sprect_3__2383_20.min1.thm12017-02-06 12:46 736  
[ ]sprect_3__2383_20.min1.thm1.tptp2017-02-06 16:47 671  
[ ]sprect_3__2384_38.min1.thm12017-02-06 12:46 692  
[ ]sprect_3__2384_38.min1.thm1.tptp2017-02-06 16:47 615  
[ ]sprect_3__2385_39.min1.thm12017-02-06 12:46 692  
[ ]sprect_3__2385_39.min1.thm1.tptp2017-02-06 16:47 615  
[ ]sprect_3__2386_39.min1.thm12017-02-06 12:46 692  
[ ]sprect_3__2386_39.min1.thm1.tptp2017-02-06 16:47 615  
[ ]sprect_3__2387_39.min1.thm12017-02-06 12:46 692  
[ ]sprect_3__2387_39.min1.thm1.tptp2017-02-06 16:47 615  
[ ]sprect_3__2389_72.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__2394_14.min1.thm12017-02-06 12:46 809  
[ ]sprect_3__2397_35.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2398_35.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2399_35.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2400_34.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2409_35.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2410_35.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2411_35.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2412_34.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2421_35.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2422_35.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2423_35.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2424_34.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2433_35.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2434_35.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2435_35.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2436_34.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2455_25.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__2457_22.min1.thm12017-02-06 12:46 484  
[ ]sprect_3__2457_22.min1.thm1.tptp2017-02-06 16:47 428  
[ ]sprect_3__2458_21.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__2465_21.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__2466_16.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__2467_23.min1.thm12017-02-06 12:46 485  
[ ]sprect_3__2467_23.min1.thm1.tptp2017-02-06 16:47 429  
[ ]sprect_3__2478_27.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_3__2479_25.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__2487_13.min1.thm12017-02-06 12:46 1.1K 
[ ]sprect_3__2495_27.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_3__2496_25.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__2519_25.min1.thm12017-02-06 12:46 2.9K 
[ ]sprect_3__2521_15.min1.thm12017-02-06 12:46 940  
[ ]sprect_3__2523_17.min1.thm12017-02-06 12:46 3.0K 
[ ]sprect_3__2538_13.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__2543_13.min1.thm12017-02-06 12:46 1.4K 
[ ]sprect_3__2560_26.min1.thm12017-02-06 12:46 2.1K 
[ ]sprect_3__2562_23.min1.thm12017-02-06 12:46 484  
[ ]sprect_3__2562_23.min1.thm1.tptp2017-02-06 16:47 428  
[ ]sprect_3__2563_21.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__2566_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__2569_24.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__2573_25.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__2575_22.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__2579_25.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__2584_24.min1.thm12017-02-06 12:46 485  
[ ]sprect_3__2584_24.min1.thm1.tptp2017-02-06 16:47 429  
[ ]sprect_3__2593_25.min1.thm12017-02-06 12:46 1.9K 
[ ]sprect_3__2600_27.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_3__2601_25.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__2603_27.min1.thm12017-02-06 12:46 2.3K 
[ ]sprect_3__2604_25.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__2609_33.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__2611_13.min1.thm12017-02-06 12:46 888  
[ ]sprect_3__2612_19.min1.thm12017-02-06 12:46 477  
[ ]sprect_3__2617_33.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__2619_13.min1.thm12017-02-06 12:46 888  
[ ]sprect_3__2620_19.min1.thm12017-02-06 12:46 477  
[ ]sprect_3__2625_33.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__2627_13.min1.thm12017-02-06 12:46 888  
[ ]sprect_3__2628_19.min1.thm12017-02-06 12:46 477  
[ ]sprect_3__2633_33.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__2635_13.min1.thm12017-02-06 12:46 888  
[ ]sprect_3__2636_19.min1.thm12017-02-06 12:46 477  
[ ]sprect_3__2654_31.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__2655_17.min1.thm12017-02-06 12:46 596  
[ ]sprect_3__2655_17.min1.thm1.tptp2017-02-06 16:47 518  
[ ]sprect_3__2670_17.min1.thm12017-02-06 12:46 3.1K 
[ ]sprect_3__2671_38.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__2671_38.min1.thm1.tptp2017-02-06 16:47 968  
[ ]sprect_3__2673_21.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__2674_32.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__2674_32.min1.thm1.tptp2017-02-06 16:47 909  
[ ]sprect_3__2676_22.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__2677_37.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__2677_37.min1.thm1.tptp2017-02-06 16:47 968  
[ ]sprect_3__2680_30.min1.thm12017-02-06 12:46 2.8K 
[ ]sprect_3__2685_15.min1.thm12017-02-06 12:46 643  
[ ]sprect_3__2688_28.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__2688_28.min1.thm1.tptp2017-02-06 16:47 909  
[ ]sprect_3__2708_17.min1.thm12017-02-06 12:46 551  
[ ]sprect_3__2713_15.min1.thm12017-02-06 12:46 1.6K 
[ ]sprect_3__2715_24.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__2742_15.min1.thm12017-02-06 12:46 540  
[ ]sprect_3__2744_17.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__2754_11.min1.thm12017-02-06 12:46 233  
[ ]sprect_3__2765_20.min1.thm12017-02-06 12:46 2.6K 
[ ]sprect_3__2778_42.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__2779_42.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__2780_42.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__2781_42.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__2804_20.min1.thm12017-02-06 12:46 2.6K 
[ ]sprect_3__2805_15.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__2810_35.min1.thm12017-02-06 12:46 745  
[ ]sprect_3__2810_35.min1.thm1.tptp2017-02-06 16:47 668  
[ ]sprect_3__2829_38.min1.thm12017-02-06 12:46 801  
[ ]sprect_3__2829_38.min1.thm1.tptp2017-02-06 16:47 732  
[ ]sprect_3__2835_37.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__2836_29.min1.thm12017-02-06 12:46 2.4K 
[ ]sprect_3__2837_22.min1.thm12017-02-06 12:46 1.0K 
[ ]sprect_3__2842_13.min1.thm12017-02-06 12:46 1.2K 
[ ]sprect_3__2859_13.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__2869_20.min1.thm12017-02-06 12:46 1.7K 
[ ]sprect_3__2905_25.min1.thm12017-02-06 12:46 1.5K 
[ ]sprect_3__2908_16.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__2918_16.min1.thm12017-02-06 12:46 2.7K 
[ ]sprect_3__2968_22.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__2972_23.min1.thm12017-02-06 12:46 2.6K 
[ ]sprect_3__2975_16.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__3020_23.min1.thm12017-02-06 12:46 3.1K 
[ ]sprect_3__3024_42.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__3025_23.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__3028_13.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_3__3035_43.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__3036_22.min1.thm12017-02-06 12:46 1.3K 
[ ]sprect_3__3040_13.min1.thm12017-02-06 12:46 2.5K 
[ ]sprect_3__3049_43.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__3058_43.min1.thm12017-02-06 12:46 2.2K 
[ ]sprect_3__3065_15.min1.thm12017-02-06 12:46 704  
[ ]sprect_3__3066_15.min1.thm12017-02-06 12:46 704  
[ ]sprect_3__3067_14.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__3103_15.min1.thm12017-02-06 12:46 540  
[ ]sprect_3__3104_20.min1.thm12017-02-06 12:46 2.0K 
[ ]sprect_3__3114_11.min1.thm12017-02-06 12:46 341  
[ ]sprect_3__3124_50.min1.thm12017-02-06 12:46 1.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80