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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]osalg_4__53_38.min1.thm12017-02-06 12:46 905  
[ ]osalg_4__61_44.min1.thm12017-02-06 12:46 652  
[ ]osalg_4__61_44.min1.thm1.tptp2017-02-06 16:47 564  
[ ]osalg_4__63_55.min1.thm12017-02-06 12:46 1.6K 
[ ]osalg_4__64_19.min1.thm12017-02-06 12:46 870  
[ ]osalg_4__89_11.min1.thm12017-02-06 12:46 351  
[ ]osalg_4__91_38.min1.thm12017-02-06 12:46 921  
[ ]osalg_4__97_22.min1.thm12017-02-06 12:46 659  
[ ]osalg_4__98_21.min1.thm12017-02-06 12:46 506  
[ ]osalg_4__98_21.min1.thm1.tptp2017-02-06 16:47 426  
[ ]osalg_4__112_18.min1.thm12017-02-06 12:46 590  
[ ]osalg_4__112_18.min1.thm1.tptp2017-02-06 16:47 512  
[ ]osalg_4__115_16.min1.thm12017-02-06 12:46 590  
[ ]osalg_4__148_14.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__155_14.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__172_60.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__174_47.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__176_15.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__194_7.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__200_44.min1.thm12017-02-06 12:46 759  
[ ]osalg_4__201_18.min1.thm12017-02-06 12:46 668  
[ ]osalg_4__201_18.min1.thm1.tptp2017-02-06 16:47 589  
[ ]osalg_4__206_44.min1.thm12017-02-06 12:46 443  
[ ]osalg_4__210_62.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__213_49.min1.thm12017-02-06 12:46 449  
[ ]osalg_4__213_49.min1.thm1.tptp2017-02-06 16:47 361  
[ ]osalg_4__219_21.min1.thm12017-02-06 12:46 1.8K 
[ ]osalg_4__220_34.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__223_19.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__224_21.min1.thm12017-02-06 12:46 1.3K 
[ ]osalg_4__232_42.min1.thm12017-02-06 12:46 1.6K 
[ ]osalg_4__233_18.min1.thm12017-02-06 12:46 1.6K 
[ ]osalg_4__236_19.min1.thm12017-02-06 12:46 1.7K 
[ ]osalg_4__252_56.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__259_44.min1.thm12017-02-06 12:46 778  
[ ]osalg_4__260_18.min1.thm12017-02-06 12:46 683  
[ ]osalg_4__260_18.min1.thm1.tptp2017-02-06 16:47 604  
[ ]osalg_4__265_44.min1.thm12017-02-06 12:46 457  
[ ]osalg_4__271_42.min1.thm12017-02-06 12:46 1.6K 
[ ]osalg_4__272_18.min1.thm12017-02-06 12:46 1.6K 
[ ]osalg_4__275_71.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__280_62.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__283_49.min1.thm12017-02-06 12:46 460  
[ ]osalg_4__283_49.min1.thm1.tptp2017-02-06 16:47 372  
[ ]osalg_4__287_25.min1.thm12017-02-06 12:46 2.1K 
[ ]osalg_4__288_25.min1.thm12017-02-06 12:46 2.1K 
[ ]osalg_4__289_21.min1.thm12017-02-06 12:46 1.9K 
[ ]osalg_4__290_34.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__294_29.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__296_77.min1.thm12017-02-06 12:46 1.3K 
[ ]osalg_4__315_25.min1.thm12017-02-06 12:46 2.2K 
[ ]osalg_4__317_51.min1.thm12017-02-06 12:46 2.6K 
[ ]osalg_4__318_51.min1.thm12017-02-06 12:46 2.0K 
[ ]osalg_4__323_39.min1.thm12017-02-06 12:46 3.0K 
[ ]osalg_4__328_67.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__331_33.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__383_58.min1.thm12017-02-06 12:46 489  
[ ]osalg_4__383_58.min1.thm1.tptp2017-02-06 16:47 411  
[ ]osalg_4__395_26.min1.thm12017-02-06 12:46 572  
[ ]osalg_4__413_25.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__414_24.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__415_40.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__419_18.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__423_26.min1.thm12017-02-06 12:46 1.9K 
[ ]osalg_4__426_26.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__431_48.min1.thm12017-02-06 12:46 1.7K 
[ ]osalg_4__438_56.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__445_61.min1.thm12017-02-06 12:46 498  
[ ]osalg_4__445_61.min1.thm1.tptp2017-02-06 16:47 420  
[ ]osalg_4__453_24.min1.thm12017-02-06 12:46 349  
[ ]osalg_4__454_19.min1.thm12017-02-06 12:46 284  
[ ]osalg_4__455_41.min1.thm12017-02-06 12:46 570  
[ ]osalg_4__456_68.min1.thm12017-02-06 12:46 804  
[ ]osalg_4__459_20.min1.thm12017-02-06 12:46 591  
[ ]osalg_4__460_24.min1.thm12017-02-06 12:46 473  
[ ]osalg_4__461_42.min1.thm12017-02-06 12:46 909  
[ ]osalg_4__465_17.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__466_28.min1.thm12017-02-06 12:46 708  
[ ]osalg_4__467_23.min1.thm12017-02-06 12:46 1.9K 
[ ]osalg_4__473_63.min1.thm12017-02-06 12:46 679  
[ ]osalg_4__498_26.min1.thm12017-02-06 12:46 2.4K 
[ ]osalg_4__506_18.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__507_26.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__521_25.min1.thm12017-02-06 12:46 1.7K 
[ ]osalg_4__530_38.min1.thm12017-02-06 12:46 2.1K 
[ ]osalg_4__537_34.min1.thm12017-02-06 12:46 2.7K 
[ ]osalg_4__539_24.min1.thm12017-02-06 12:46 2.1K 
[ ]osalg_4__541_25.min1.thm12017-02-06 12:46 2.2K 
[ ]osalg_4__551_25.min1.thm12017-02-06 12:46 1.7K 
[ ]osalg_4__558_57.min1.thm12017-02-06 12:46 1.6K 
[ ]osalg_4__597_16.min1.thm12017-02-06 12:46 1.3K 
[ ]osalg_4__598_15.min1.thm12017-02-06 12:46 1.3K 
[ ]osalg_4__605_13.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__606_38.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__607_19.min1.thm12017-02-06 12:46 2.3K 
[ ]osalg_4__609_19.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__648_39.min1.thm12017-02-06 12:46 1.3K 
[ ]osalg_4__694_31.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__704_13.min1.thm12017-02-06 12:46 130  
[ ]osalg_4__750_29.min1.thm12017-02-06 12:46 453  
[ ]osalg_4__753_12.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__755_18.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__757_26.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__759_16.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__760_14.min1.thm12017-02-06 12:46 674  
[ ]osalg_4__762_18.min1.thm12017-02-06 12:46 1.9K 
[ ]osalg_4__764_47.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__765_16.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__788_38.min1.thm12017-02-06 12:46 342  
[ ]osalg_4__788_38.min1.thm1.tptp2017-02-06 16:47 264  
[ ]osalg_4__799_18.min1.thm12017-02-06 12:46 303  
[ ]osalg_4__799_18.min1.thm1.tptp2017-02-06 16:47 221  
[ ]osalg_4__804_17.min1.thm12017-02-06 12:46 345  
[ ]osalg_4__804_17.min1.thm1.tptp2017-02-06 16:47 289  
[ ]osalg_4__813_14.min1.thm12017-02-06 12:46 822  
[ ]osalg_4__821_13.min1.thm12017-02-06 12:46 399  
[ ]osalg_4__822_19.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__835_18.min1.thm12017-02-06 12:46 522  
[ ]osalg_4__835_18.min1.thm1.tptp2017-02-06 16:47 443  
[ ]osalg_4__845_18.min1.thm12017-02-06 12:46 822  
[ ]osalg_4__851_14.min1.thm12017-02-06 12:46 419  
[ ]osalg_4__857_14.min1.thm12017-02-06 12:46 698  
[ ]osalg_4__857_14.min1.thm1.tptp2017-02-06 16:47 637  
[ ]osalg_4__861_37.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__883_25.min1.thm12017-02-06 12:46 1.3K 
[ ]osalg_4__884_13.min1.thm12017-02-06 12:46 332  
[ ]osalg_4__892_15.min1.thm12017-02-06 12:46 734  
[ ]osalg_4__895_31.min1.thm12017-02-06 12:46 704  
[ ]osalg_4__895_31.min1.thm1.tptp2017-02-06 16:47 638  
[ ]osalg_4__904_74.min1.thm12017-02-06 12:46 372  
[ ]osalg_4__913_48.min1.thm12017-02-06 12:46 613  
[ ]osalg_4__913_48.min1.thm1.tptp2017-02-06 16:47 535  
[ ]osalg_4__918_54.min1.thm12017-02-06 12:46 496  
[ ]osalg_4__918_54.min1.thm1.tptp2017-02-06 16:47 418  
[ ]osalg_4__925_26.min1.thm12017-02-06 12:46 704  
[ ]osalg_4__925_26.min1.thm1.tptp2017-02-06 16:47 638  
[ ]osalg_4__933_25.min1.thm12017-02-06 12:46 893  
[ ]osalg_4__940_46.min1.thm12017-02-06 12:46 372  
[ ]osalg_4__940_46.min1.thm1.tptp2017-02-06 16:47 294  
[ ]osalg_4__952_25.min1.thm12017-02-06 12:46 798  
[ ]osalg_4__956_38.min1.thm12017-02-06 12:46 677  
[ ]osalg_4__974_26.min1.thm12017-02-06 12:46 705  
[ ]osalg_4__974_26.min1.thm1.tptp2017-02-06 16:47 639  
[ ]osalg_4__977_26.min1.thm12017-02-06 12:46 706  
[ ]osalg_4__977_26.min1.thm1.tptp2017-02-06 16:47 640  
[ ]osalg_4__978_53.min1.thm12017-02-06 12:46 489  
[ ]osalg_4__978_53.min1.thm1.tptp2017-02-06 16:47 401  
[ ]osalg_4__1006_8.min1.thm12017-02-06 12:46 1.8K 
[ ]osalg_4__1014_24.min1.thm12017-02-06 12:46 838  
[ ]osalg_4__1014_24.min1.thm1.tptp2017-02-06 16:47 788  
[ ]osalg_4__1020_21.min1.thm12017-02-06 12:46 704  
[ ]osalg_4__1020_21.min1.thm1.tptp2017-02-06 16:47 638  
[ ]osalg_4__1026_20.min1.thm12017-02-06 12:46 803  
[ ]osalg_4__1045_24.min1.thm12017-02-06 12:46 830  
[ ]osalg_4__1049_22.min1.thm12017-02-06 12:46 826  
[ ]osalg_4__1074_13.min1.thm12017-02-06 12:46 608  
[ ]osalg_4__1077_44.min1.thm12017-02-06 12:46 549  
[ ]osalg_4__1077_44.min1.thm1.tptp2017-02-06 16:47 480  
[ ]osalg_4__1080_34.min1.thm12017-02-06 12:46 916  
[ ]osalg_4__1084_43.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1096_22.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__1106_22.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__1112_45.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1117_32.min1.thm12017-02-06 12:46 699  
[ ]osalg_4__1121_18.min1.thm12017-02-06 12:46 1.3K 
[ ]osalg_4__1121_18.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]osalg_4__1138_22.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__1138_22.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]osalg_4__1139_23.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__1139_23.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]osalg_4__1142_20.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__1142_20.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]osalg_4__1143_21.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__1143_21.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]osalg_4__1158_31.min1.thm12017-02-06 12:46 2.2K 
[ ]osalg_4__1160_16.min1.thm12017-02-06 12:46 763  
[ ]osalg_4__1160_16.min1.thm1.tptp2017-02-06 16:47 683  
[ ]osalg_4__1173_45.min1.thm12017-02-06 12:46 418  
[ ]osalg_4__1173_45.min1.thm1.tptp2017-02-06 16:47 330  
[ ]osalg_4__1177_28.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__1180_60.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__1186_21.min1.thm12017-02-06 12:46 1.8K 
[ ]osalg_4__1208_61.min1.thm12017-02-06 12:46 942  
[ ]osalg_4__1215_54.min1.thm12017-02-06 12:46 856  
[ ]osalg_4__1218_19.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1230_45.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__1230_45.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__1231_34.min1.thm12017-02-06 12:46 629  
[ ]osalg_4__1232_18.min1.thm12017-02-06 12:46 629  
[ ]osalg_4__1249_43.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__1249_43.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__1250_38.min1.thm12017-02-06 12:46 1.8K 
[ ]osalg_4__1253_19.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__1280_10.min1.thm12017-02-06 12:46 446  
[ ]osalg_4__1281_42.min1.thm12017-02-06 12:46 418  
[ ]osalg_4__1281_42.min1.thm1.tptp2017-02-06 16:47 330  
[ ]osalg_4__1282_24.min1.thm12017-02-06 12:46 964  
[ ]osalg_4__1285_23.min1.thm12017-02-06 12:46 964  
[ ]osalg_4__1289_14.min1.thm12017-02-06 12:46 636  
[ ]osalg_4__1303_59.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__1305_25.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__1313_48.min1.thm12017-02-06 12:46 426  
[ ]osalg_4__1313_48.min1.thm1.tptp2017-02-06 16:47 338  
[ ]osalg_4__1367_17.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1380_23.min1.thm12017-02-06 12:46 2.4K 
[ ]osalg_4__1381_46.min1.thm12017-02-06 12:46 1.8K 
[ ]osalg_4__1387_21.min1.thm12017-02-06 12:46 2.6K 
[ ]osalg_4__1394_19.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__1412_65.min1.thm12017-02-06 12:46 2.3K 
[ ]osalg_4__1413_18.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__1413_18.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]osalg_4__1444_44.min1.thm12017-02-06 12:46 506  
[ ]osalg_4__1444_44.min1.thm1.tptp2017-02-06 16:47 428  
[ ]osalg_4__1445_29.min1.thm12017-02-06 12:46 902  
[ ]osalg_4__1445_29.min1.thm1.tptp2017-02-06 16:47 827  
[ ]osalg_4__1447_21.min1.thm12017-02-06 12:46 2.5K 
[ ]osalg_4__1449_26.min1.thm12017-02-06 12:46 924  
[ ]osalg_4__1454_13.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1461_26.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1466_18.min1.thm12017-02-06 12:46 892  
[ ]osalg_4__1466_18.min1.thm1.tptp2017-02-06 16:47 826  
[ ]osalg_4__1480_48.min1.thm12017-02-06 12:46 506  
[ ]osalg_4__1480_48.min1.thm1.tptp2017-02-06 16:47 428  
[ ]osalg_4__1481_29.min1.thm12017-02-06 12:46 770  
[ ]osalg_4__1481_29.min1.thm1.tptp2017-02-06 16:47 693  
[ ]osalg_4__1482_24.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__1484_26.min1.thm12017-02-06 12:46 924  
[ ]osalg_4__1487_17.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1502_26.min1.thm12017-02-06 12:46 924  
[ ]osalg_4__1507_48.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__1521_27.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__1526_18.min1.thm12017-02-06 12:46 716  
[ ]osalg_4__1526_18.min1.thm1.tptp2017-02-06 16:47 650  
[ ]osalg_4__1536_26.min1.thm12017-02-06 12:46 924  
[ ]osalg_4__1541_48.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__1546_25.min1.thm12017-02-06 12:46 634  
[ ]osalg_4__1546_25.min1.thm1.tptp2017-02-06 16:47 557  
[ ]osalg_4__1547_24.min1.thm12017-02-06 12:46 859  
[ ]osalg_4__1571_47.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__1571_47.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__1573_17.min1.thm12017-02-06 12:46 431  
[ ]osalg_4__1578_41.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1583_47.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__1584_31.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__1587_51.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1593_47.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__1593_47.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__1594_31.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__1613_47.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__1613_47.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__1614_31.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__1614_31.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]osalg_4__1631_47.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__1631_47.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__1633_17.min1.thm12017-02-06 12:46 431  
[ ]osalg_4__1638_41.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1643_47.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__1644_32.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__1647_51.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1653_47.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__1653_47.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__1654_32.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__1655_18.min1.thm12017-02-06 12:46 2.7K 
[ ]osalg_4__1673_47.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__1673_47.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__1674_32.min1.thm12017-02-06 12:46 1.7K 
[ ]osalg_4__1674_32.min1.thm1.tptp2017-02-06 16:47 1.6K 
[ ]osalg_4__1690_30.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__1703_44.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__1708_25.min1.thm12017-02-06 12:46 1.9K 
[ ]osalg_4__1709_19.min1.thm12017-02-06 12:46 1.3K 
[ ]osalg_4__1714_44.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__1718_27.min1.thm12017-02-06 12:46 923  
[ ]osalg_4__1727_44.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__1728_37.min1.thm12017-02-06 12:46 1.8K 
[ ]osalg_4__1738_44.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__1743_57.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__1754_44.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__1755_27.min1.thm12017-02-06 12:46 1.3K 
[ ]osalg_4__1791_28.min1.thm12017-02-06 12:46 926  
[ ]osalg_4__1796_28.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1801_33.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1843_33.min1.thm12017-02-06 12:46 2.4K 
[ ]osalg_4__1845_18.min1.thm12017-02-06 12:46 2.4K 
[ ]osalg_4__1845_18.min1.thm1.tptp2017-02-06 16:47 2.3K 
[ ]osalg_4__1863_27.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__1870_44.min1.thm12017-02-06 12:46 2.5K 
[ ]osalg_4__1871_24.min1.thm12017-02-06 12:46 2.6K 
[ ]osalg_4__1895_47.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__1895_47.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__1897_17.min1.thm12017-02-06 12:46 431  
[ ]osalg_4__1902_41.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1907_47.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__1908_35.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__1911_51.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__1917_47.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__1917_47.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__1918_35.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__1919_18.min1.thm12017-02-06 12:46 2.6K 
[ ]osalg_4__1937_47.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__1937_47.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__1938_35.min1.thm12017-02-06 12:46 1.6K 
[ ]osalg_4__1938_35.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]osalg_4__1988_62.min1.thm12017-02-06 12:46 450  
[ ]osalg_4__1988_62.min1.thm1.tptp2017-02-06 16:47 372  
[ ]osalg_4__1992_64.min1.thm12017-02-06 12:46 3.1K 
[ ]osalg_4__2010_56.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__2016_43.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__2017_32.min1.thm12017-02-06 12:46 685  
[ ]osalg_4__2020_66.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__2027_43.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__2027_43.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__2028_63.min1.thm12017-02-06 12:46 2.5K 
[ ]osalg_4__2046_46.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__2046_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__2047_32.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__2047_32.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]osalg_4__2069_30.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__2085_18.min1.thm12017-02-06 12:46 2.0K 
[ ]osalg_4__2091_47.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__2100_32.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__2107_41.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__2121_16.min1.thm12017-02-06 12:46 2.1K 
[ ]osalg_4__2128_41.min1.thm12017-02-06 12:46 350  
[ ]osalg_4__2128_41.min1.thm1.tptp2017-02-06 16:47 272  
[ ]osalg_4__2141_46.min1.thm12017-02-06 12:46 446  
[ ]osalg_4__2141_46.min1.thm1.tptp2017-02-06 16:47 368  
[ ]osalg_4__2151_48.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__2154_22.min1.thm12017-02-06 12:46 1.7K 
[ ]osalg_4__2158_50.min1.thm12017-02-06 12:46 804  
[ ]osalg_4__2179_59.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__2184_50.min1.thm12017-02-06 12:46 432  
[ ]osalg_4__2184_50.min1.thm1.tptp2017-02-06 16:47 344  
[ ]osalg_4__2187_67.min1.thm12017-02-06 12:46 644  
[ ]osalg_4__2187_67.min1.thm1.tptp2017-02-06 16:47 566  
[ ]osalg_4__2188_21.min1.thm12017-02-06 12:46 1.8K 
[ ]osalg_4__2189_72.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__2198_17.min1.thm12017-02-06 12:46 2.3K 
[ ]osalg_4__2212_16.min1.thm12017-02-06 12:46 1.9K 
[ ]osalg_4__2242_40.min1.thm12017-02-06 12:46 450  
[ ]osalg_4__2242_40.min1.thm1.tptp2017-02-06 16:47 372  
[ ]osalg_4__2244_20.min1.thm12017-02-06 12:46 2.4K 
[ ]osalg_4__2250_35.min1.thm12017-02-06 12:46 2.0K 
[ ]osalg_4__2278_45.min1.thm12017-02-06 12:46 450  
[ ]osalg_4__2278_45.min1.thm1.tptp2017-02-06 16:47 372  
[ ]osalg_4__2280_29.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__2281_17.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__2310_43.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__2311_29.min1.thm12017-02-06 12:46 715  
[ ]osalg_4__2314_66.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__2321_43.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__2321_43.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__2322_29.min1.thm12017-02-06 12:46 792  
[ ]osalg_4__2323_18.min1.thm12017-02-06 12:46 2.7K 
[ ]osalg_4__2328_67.min1.thm12017-02-06 12:46 655  
[ ]osalg_4__2341_46.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__2341_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__2342_29.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__2342_29.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]osalg_4__2367_40.min1.thm12017-02-06 12:46 277  
[ ]osalg_4__2379_23.min1.thm12017-02-06 12:46 2.2K 
[ ]osalg_4__2380_49.min1.thm12017-02-06 12:46 1.8K 
[ ]osalg_4__2381_21.min1.thm12017-02-06 12:46 1.9K 
[ ]osalg_4__2389_34.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__2389_34.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]osalg_4__2391_26.min1.thm12017-02-06 12:46 928  
[ ]osalg_4__2396_32.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__2403_30.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__2408_31.min1.thm12017-02-06 12:46 3.3K 
[ ]osalg_4__2426_44.min1.thm12017-02-06 12:46 350  
[ ]osalg_4__2426_44.min1.thm1.tptp2017-02-06 16:47 272  
[ ]osalg_4__2440_41.min1.thm12017-02-06 12:46 446  
[ ]osalg_4__2440_41.min1.thm1.tptp2017-02-06 16:47 368  
[ ]osalg_4__2447_41.min1.thm12017-02-06 12:46 448  
[ ]osalg_4__2447_41.min1.thm1.tptp2017-02-06 16:47 370  
[ ]osalg_4__2449_15.min1.thm12017-02-06 12:46 4.6K 
[ ]osalg_4__2453_32.min1.thm12017-02-06 12:46 2.0K 
[ ]osalg_4__2462_49.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__2473_23.min1.thm12017-02-06 12:46 1.7K 
[ ]osalg_4__2474_49.min1.thm12017-02-06 12:46 806  
[ ]osalg_4__2476_47.min1.thm12017-02-06 12:46 433  
[ ]osalg_4__2476_47.min1.thm1.tptp2017-02-06 16:47 345  
[ ]osalg_4__2479_44.min1.thm12017-02-06 12:46 439  
[ ]osalg_4__2479_44.min1.thm1.tptp2017-02-06 16:47 361  
[ ]osalg_4__2503_30.min1.thm12017-02-06 12:46 1.5K 
[ ]osalg_4__2504_18.min1.thm12017-02-06 12:46 1.6K 
[ ]osalg_4__2510_44.min1.thm12017-02-06 12:46 350  
[ ]osalg_4__2510_44.min1.thm1.tptp2017-02-06 16:47 272  
[ ]osalg_4__2528_29.min1.thm12017-02-06 12:46 1.8K 
[ ]osalg_4__2540_63.min1.thm12017-02-06 12:46 1.7K 
[ ]osalg_4__2570_4.min1.thm12017-02-06 12:46 1.6K 
[ ]osalg_4__2573_63.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__2576_47.min1.thm12017-02-06 12:46 432  
[ ]osalg_4__2576_47.min1.thm1.tptp2017-02-06 16:47 344  
[ ]osalg_4__2577_21.min1.thm12017-02-06 12:46 1.8K 
[ ]osalg_4__2584_17.min1.thm12017-02-06 12:46 1.9K 
[ ]osalg_4__2595_59.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__2599_13.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__2601_21.min1.thm12017-02-06 12:46 2.0K 
[ ]osalg_4__2618_9.min1.thm12017-02-06 12:46 1.4K 
[ ]osalg_4__2631_15.min1.thm12017-02-06 12:46 936  
[ ]osalg_4__2652_14.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__2664_31.min1.thm12017-02-06 12:46 1.3K 
[ ]osalg_4__2682_14.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__2694_61.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__2698_31.min1.thm12017-02-06 12:46 2.4K 
[ ]osalg_4__2702_27.min1.thm12017-02-06 12:46 936  
[ ]osalg_4__2708_27.min1.thm12017-02-06 12:46 937  
[ ]osalg_4__2711_45.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__2712_57.min1.thm12017-02-06 12:46 1.8K 
[ ]osalg_4__2715_53.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__2717_64.min1.thm12017-02-06 12:46 1.8K 
[ ]osalg_4__2729_69.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__2732_55.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__2743_13.min1.thm12017-02-06 12:46 4.1K 
[ ]osalg_4__2761_26.min1.thm12017-02-06 12:46 2.4K 
[ ]osalg_4__2764_53.min1.thm12017-02-06 12:46 1.9K 
[ ]osalg_4__2781_69.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__2784_55.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__2797_57.min1.thm12017-02-06 12:46 2.1K 
[ ]osalg_4__2811_59.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__2821_31.min1.thm12017-02-06 12:46 1.3K 
[ ]osalg_4__2828_17.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__2829_26.min1.thm12017-02-06 12:46 2.0K 
[ ]osalg_4__2881_40.min1.thm12017-02-06 12:46 450  
[ ]osalg_4__2881_40.min1.thm1.tptp2017-02-06 16:47 372  
[ ]osalg_4__2883_20.min1.thm12017-02-06 12:46 2.4K 
[ ]osalg_4__2890_35.min1.thm12017-02-06 12:46 2.0K 
[ ]osalg_4__2918_45.min1.thm12017-02-06 12:46 450  
[ ]osalg_4__2918_45.min1.thm1.tptp2017-02-06 16:47 372  
[ ]osalg_4__2920_29.min1.thm12017-02-06 12:46 1.3K 
[ ]osalg_4__2921_17.min1.thm12017-02-06 12:46 1.3K 
[ ]osalg_4__2944_56.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__2950_43.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__2951_31.min1.thm12017-02-06 12:46 745  
[ ]osalg_4__2954_66.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__2961_43.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__2961_43.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__2962_31.min1.thm12017-02-06 12:46 822  
[ ]osalg_4__2968_61.min1.thm12017-02-06 12:46 539  
[ ]osalg_4__2981_46.min1.thm12017-02-06 12:46 366  
[ ]osalg_4__2981_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]osalg_4__2982_31.min1.thm12017-02-06 12:46 1.3K 
[ ]osalg_4__2982_31.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]osalg_4__3010_40.min1.thm12017-02-06 12:46 277  
[ ]osalg_4__3022_23.min1.thm12017-02-06 12:46 2.2K 
[ ]osalg_4__3023_49.min1.thm12017-02-06 12:46 1.8K 
[ ]osalg_4__3024_21.min1.thm12017-02-06 12:46 1.9K 
[ ]osalg_4__3032_34.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__3032_34.min1.thm1.tptp2017-02-06 16:47 942  
[ ]osalg_4__3034_26.min1.thm12017-02-06 12:46 928  
[ ]osalg_4__3039_32.min1.thm12017-02-06 12:46 1.1K 
[ ]osalg_4__3046_30.min1.thm12017-02-06 12:46 1.0K 
[ ]osalg_4__3066_49.min1.thm12017-02-06 12:46 1.2K 
[ ]osalg_4__3073_32.min1.thm12017-02-06 12:46 2.0K 
[ ]osalg_4__3077_23.min1.thm12017-02-06 12:46 1.7K 
[ ]osalg_4__3078_49.min1.thm12017-02-06 12:46 806  
[ ]osalg_4__3080_47.min1.thm12017-02-06 12:46 433  
[ ]osalg_4__3080_47.min1.thm1.tptp2017-02-06 16:47 345  
[ ]osalg_4__3083_44.min1.thm12017-02-06 12:46 439  
[ ]osalg_4__3083_44.min1.thm1.tptp2017-02-06 16:47 361  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80