Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/algstr_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algstr_4__52_13.min1.thm12017-02-06 12:46 190  
[ ]algstr_4__54_14.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__55_19.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__60_12.min1.thm12017-02-06 12:46 678  
[ ]algstr_4__61_18.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__71_13.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__81_19.min1.thm12017-02-06 12:46 554  
[ ]algstr_4__81_19.min1.thm1.tptp2017-02-06 16:48 489  
[ ]algstr_4__82_19.min1.thm12017-02-06 12:46 930  
[ ]algstr_4__92_54.min1.thm12017-02-06 12:46 355  
[ ]algstr_4__92_54.min1.thm1.tptp2017-02-06 16:48 272  
[ ]algstr_4__94_51.min1.thm12017-02-06 12:46 355  
[ ]algstr_4__94_51.min1.thm1.tptp2017-02-06 16:48 272  
[ ]algstr_4__96_54.min1.thm12017-02-06 12:46 574  
[ ]algstr_4__97_39.min1.thm12017-02-06 12:46 411  
[ ]algstr_4__97_39.min1.thm1.tptp2017-02-06 16:48 328  
[ ]algstr_4__106_37.min1.thm12017-02-06 12:46 708  
[ ]algstr_4__107_37.min1.thm12017-02-06 12:46 708  
[ ]algstr_4__110_23.min1.thm12017-02-06 12:46 835  
[ ]algstr_4__113_23.min1.thm12017-02-06 12:46 835  
[ ]algstr_4__115_14.min1.thm12017-02-06 12:46 360  
[ ]algstr_4__127_21.min1.thm12017-02-06 12:46 240  
[ ]algstr_4__129_27.min1.thm12017-02-06 12:46 307  
[ ]algstr_4__129_27.min1.thm1.tptp2017-02-06 16:48 230  
[ ]algstr_4__130_13.min1.thm12017-02-06 12:46 447  
[ ]algstr_4__131_17.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__132_14.min1.thm12017-02-06 12:46 445  
[ ]algstr_4__132_14.min1.thm1.tptp2017-02-06 16:48 363  
[ ]algstr_4__144_32.min1.thm12017-02-06 12:46 560  
[ ]algstr_4__145_32.min1.thm12017-02-06 12:46 560  
[ ]algstr_4__148_24.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__150_28.min1.thm12017-02-06 12:46 565  
[ ]algstr_4__154_24.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__156_28.min1.thm12017-02-06 12:46 565  
[ ]algstr_4__159_14.min1.thm12017-02-06 12:46 800  
[ ]algstr_4__176_31.min1.thm12017-02-06 12:46 608  
[ ]algstr_4__177_26.min1.thm12017-02-06 12:46 623  
[ ]algstr_4__178_37.min1.thm12017-02-06 12:46 717  
[ ]algstr_4__179_18.min1.thm12017-02-06 12:46 568  
[ ]algstr_4__181_17.min1.thm12017-02-06 12:46 401  
[ ]algstr_4__181_17.min1.thm1.tptp2017-02-06 16:48 337  
[ ]algstr_4__182_44.min1.thm12017-02-06 12:46 780  
[ ]algstr_4__185_38.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__187_14.min1.thm12017-02-06 12:46 499  
[ ]algstr_4__187_14.min1.thm1.tptp2017-02-06 16:48 417  
[ ]algstr_4__226_45.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__237_15.min1.thm12017-02-06 12:46 361  
[ ]algstr_4__237_15.min1.thm1.tptp2017-02-06 16:48 280  
[ ]algstr_4__253_13.min1.thm12017-02-06 12:46 193  
[ ]algstr_4__271_13.min1.thm12017-02-06 12:46 193  
[ ]algstr_4__297_45.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__304_20.min1.thm12017-02-06 12:46 623  
[ ]algstr_4__306_53.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__307_39.min1.thm12017-02-06 12:46 516  
[ ]algstr_4__307_39.min1.thm1.tptp2017-02-06 16:48 440  
[ ]algstr_4__308_20.min1.thm12017-02-06 12:46 623  
[ ]algstr_4__310_53.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__311_39.min1.thm12017-02-06 12:46 516  
[ ]algstr_4__311_39.min1.thm1.tptp2017-02-06 16:48 440  
[ ]algstr_4__319_38.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__319_38.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]algstr_4__326_31.min1.thm12017-02-06 12:46 479  
[ ]algstr_4__327_29.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__350_45.min1.thm12017-02-06 12:46 436  
[ ]algstr_4__350_45.min1.thm1.tptp2017-02-06 16:48 358  
[ ]algstr_4__352_45.min1.thm12017-02-06 12:46 436  
[ ]algstr_4__352_45.min1.thm1.tptp2017-02-06 16:48 358  
[ ]algstr_4__357_41.min1.thm12017-02-06 12:46 825  
[ ]algstr_4__403_43.min1.thm12017-02-06 12:46 372  
[ ]algstr_4__403_43.min1.thm1.tptp2017-02-06 16:48 294  
[ ]algstr_4__404_38.min1.thm12017-02-06 12:46 135  
[ ]algstr_4__406_17.min1.thm12017-02-06 12:46 563  
[ ]algstr_4__406_17.min1.thm1.tptp2017-02-06 16:48 483  
[ ]algstr_4__418_16.min1.thm12017-02-06 12:46 638  
[ ]algstr_4__420_33.min1.thm12017-02-06 12:46 908  
[ ]algstr_4__427_58.min1.thm12017-02-06 12:46 2.3K 
[ ]algstr_4__428_16.min1.thm12017-02-06 12:46 715  
[ ]algstr_4__437_46.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__438_23.min1.thm12017-02-06 12:46 950  
[ ]algstr_4__454_64.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_4__474_37.min1.thm12017-02-06 12:46 504  
[ ]algstr_4__474_37.min1.thm1.tptp2017-02-06 16:48 428  
[ ]algstr_4__475_42.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_4__476_57.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_4__480_47.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__481_19.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__504_13.min1.thm12017-02-06 12:46 195  
[ ]algstr_4__506_31.min1.thm12017-02-06 12:46 548  
[ ]algstr_4__515_28.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__516_26.min1.thm12017-02-06 12:46 626  
[ ]algstr_4__518_18.min1.thm12017-02-06 12:46 465  
[ ]algstr_4__518_18.min1.thm1.tptp2017-02-06 16:48 401  
[ ]algstr_4__519_27.min1.thm12017-02-06 12:46 495  
[ ]algstr_4__519_27.min1.thm1.tptp2017-02-06 16:48 429  
[ ]algstr_4__520_21.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__529_59.min1.thm12017-02-06 12:46 928  
[ ]algstr_4__530_51.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__542_20.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__554_44.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__554_44.min1.thm1.tptp2017-02-06 16:48 1.1K 
[ ]algstr_4__579_21.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__602_15.min1.thm12017-02-06 12:46 259  
[ ]algstr_4__614_33.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__616_30.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__636_46.min1.thm12017-02-06 12:46 228  
[ ]algstr_4__637_48.min1.thm12017-02-06 12:46 266  
[ ]algstr_4__638_59.min1.thm12017-02-06 12:46 336  
[ ]algstr_4__650_54.min1.thm12017-02-06 12:46 642  
[ ]algstr_4__650_54.min1.thm1.tptp2017-02-06 16:48 594  
[ ]algstr_4__653_54.min1.thm12017-02-06 12:46 642  
[ ]algstr_4__653_54.min1.thm1.tptp2017-02-06 16:48 594  
[ ]algstr_4__671_22.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__673_18.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__692_15.min1.thm12017-02-06 12:46 770  
[ ]algstr_4__700_12.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__701_13.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__709_70.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__716_18.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__731_37.min1.thm12017-02-06 12:46 545  
[ ]algstr_4__731_37.min1.thm1.tptp2017-02-06 16:48 469  
[ ]algstr_4__745_20.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__752_17.min1.thm12017-02-06 12:46 2.2K 
[ ]algstr_4__765_42.min1.thm12017-02-06 12:46 133  
[ ]algstr_4__766_36.min1.thm12017-02-06 12:46 133  
[ ]algstr_4__768_30.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__770_19.min1.thm12017-02-06 12:46 813  
[ ]algstr_4__820_22.min1.thm12017-02-06 12:46 955  
[ ]algstr_4__821_13.min1.thm12017-02-06 12:46 758  
[ ]algstr_4__822_17.min1.thm12017-02-06 12:46 842  
[ ]algstr_4__827_9.min1.thm12017-02-06 12:46 758  
[ ]algstr_4__828_17.min1.thm12017-02-06 12:46 617  
[ ]algstr_4__836_11.min1.thm12017-02-06 12:46 215  
[ ]algstr_4__838_19.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__844_43.min1.thm12017-02-06 12:46 650  
[ ]algstr_4__845_60.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__846_30.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__847_19.min1.thm12017-02-06 12:46 909  
[ ]algstr_4__865_53.min1.thm12017-02-06 12:46 371  
[ ]algstr_4__865_53.min1.thm1.tptp2017-02-06 16:48 299  
[ ]algstr_4__867_64.min1.thm12017-02-06 12:46 888  
[ ]algstr_4__880_41.min1.thm12017-02-06 12:46 478  
[ ]algstr_4__880_41.min1.thm1.tptp2017-02-06 16:48 400  
[ ]algstr_4__881_57.min1.thm12017-02-06 12:46 675  
[ ]algstr_4__883_54.min1.thm12017-02-06 12:46 898  
[ ]algstr_4__888_36.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__897_16.min1.thm12017-02-06 12:46 579  
[ ]algstr_4__911_26.min1.thm12017-02-06 12:46 497  
[ ]algstr_4__912_13.min1.thm12017-02-06 12:46 219  
[ ]algstr_4__914_12.min1.thm12017-02-06 12:46 559  
[ ]algstr_4__919_23.min1.thm12017-02-06 12:46 343  
[ ]algstr_4__919_23.min1.thm1.tptp2017-02-06 16:48 266  
[ ]algstr_4__920_26.min1.thm12017-02-06 12:46 673  
[ ]algstr_4__921_21.min1.thm12017-02-06 12:46 952  
[ ]algstr_4__922_34.min1.thm12017-02-06 12:46 649  
[ ]algstr_4__922_34.min1.thm1.tptp2017-02-06 16:48 572  
[ ]algstr_4__923_36.min1.thm12017-02-06 12:46 932  
[ ]algstr_4__930_13.min1.thm12017-02-06 12:46 191  
[ ]algstr_4__932_24.min1.thm12017-02-06 12:46 523  
[ ]algstr_4__936_46.min1.thm12017-02-06 12:46 634  
[ ]algstr_4__941_31.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__943_36.min1.thm12017-02-06 12:46 622  
[ ]algstr_4__944_34.min1.thm12017-02-06 12:46 681  
[ ]algstr_4__944_34.min1.thm1.tptp2017-02-06 16:48 606  
[ ]algstr_4__945_25.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__948_28.min1.thm12017-02-06 12:46 599  
[ ]algstr_4__970_40.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__971_20.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__973_23.min1.thm12017-02-06 12:46 463  
[ ]algstr_4__973_23.min1.thm1.tptp2017-02-06 16:48 399  
[ ]algstr_4__1001_39.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1002_29.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1003_25.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__1004_17.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1021_32.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__1023_32.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__1024_27.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1025_23.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__1026_19.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1047_21.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__1048_33.min1.thm12017-02-06 12:46 938  
[ ]algstr_4__1082_39.min1.thm12017-02-06 12:46 749  
[ ]algstr_4__1083_17.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__1087_19.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__1112_42.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1113_21.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__1118_13.min1.thm12017-02-06 12:46 201  
[ ]algstr_4__1120_54.min1.thm12017-02-06 12:46 469  
[ ]algstr_4__1131_34.min1.thm12017-02-06 12:46 388  
[ ]algstr_4__1131_34.min1.thm1.tptp2017-02-06 16:48 310  
[ ]algstr_4__1145_46.min1.thm12017-02-06 12:46 648  
[ ]algstr_4__1145_46.min1.thm1.tptp2017-02-06 16:48 589  
[ ]algstr_4__1146_24.min1.thm12017-02-06 12:46 961  
[ ]algstr_4__1148_22.min1.thm12017-02-06 12:46 618  
[ ]algstr_4__1149_26.min1.thm12017-02-06 12:46 763  
[ ]algstr_4__1150_23.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1162_26.min1.thm12017-02-06 12:46 771  
[ ]algstr_4__1163_50.min1.thm12017-02-06 12:46 731  
[ ]algstr_4__1164_39.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1165_40.min1.thm12017-02-06 12:46 789  
[ ]algstr_4__1167_53.min1.thm12017-02-06 12:46 595  
[ ]algstr_4__1167_53.min1.thm1.tptp2017-02-06 16:48 531  
[ ]algstr_4__1170_28.min1.thm12017-02-06 12:46 772  
[ ]algstr_4__1178_40.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__1190_60.min1.thm12017-02-06 12:46 932  
[ ]algstr_4__1204_60.min1.thm12017-02-06 12:46 500  
[ ]algstr_4__1204_60.min1.thm1.tptp2017-02-06 16:48 443  
[ ]algstr_4__1209_69.min1.thm12017-02-06 12:46 901  
[ ]algstr_4__1213_49.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1214_12.min1.thm12017-02-06 12:46 930  
[ ]algstr_4__1215_18.min1.thm12017-02-06 12:46 483  
[ ]algstr_4__1222_16.min1.thm12017-02-06 12:46 547  
[ ]algstr_4__1239_44.min1.thm12017-02-06 12:46 885  
[ ]algstr_4__1240_39.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__1243_44.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__1250_27.min1.thm12017-02-06 12:46 907  
[ ]algstr_4__1258_54.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1262_23.min1.thm12017-02-06 12:46 379  
[ ]algstr_4__1262_23.min1.thm1.tptp2017-02-06 16:48 301  
[ ]algstr_4__1263_15.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1264_18.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__1267_34.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__1268_27.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__1269_17.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1292_55.min1.thm12017-02-06 12:46 673  
[ ]algstr_4__1292_55.min1.thm1.tptp2017-02-06 16:48 608  
[ ]algstr_4__1295_47.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__1299_30.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__1301_30.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__1303_36.min1.thm12017-02-06 12:46 895  
[ ]algstr_4__1304_36.min1.thm12017-02-06 12:46 679  
[ ]algstr_4__1305_21.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1306_23.min1.thm12017-02-06 12:46 2.2K 
[ ]algstr_4__1315_21.min1.thm12017-02-06 12:46 539  
[ ]algstr_4__1328_24.min1.thm12017-02-06 12:46 781  
[ ]algstr_4__1329_47.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1344_8.min1.thm12017-02-06 12:46 673  
[ ]algstr_4__1344_8.min1.thm1.tptp2017-02-06 16:48 608  
[ ]algstr_4__1352_47.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__1356_42.min1.thm12017-02-06 12:46 266  
[ ]algstr_4__1357_54.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1360_23.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__1366_40.min1.thm12017-02-06 12:46 604  
[ ]algstr_4__1367_38.min1.thm12017-02-06 12:46 468  
[ ]algstr_4__1367_38.min1.thm1.tptp2017-02-06 16:48 388  
[ ]algstr_4__1369_61.min1.thm12017-02-06 12:46 326  
[ ]algstr_4__1371_12.min1.thm12017-02-06 12:46 424  
[ ]algstr_4__1371_12.min1.thm1.tptp2017-02-06 16:48 349  
[ ]algstr_4__1374_12.min1.thm12017-02-06 12:46 407  
[ ]algstr_4__1374_12.min1.thm1.tptp2017-02-06 16:48 329  
[ ]algstr_4__1376_12.min1.thm12017-02-06 12:46 685  
[ ]algstr_4__1377_25.min1.thm12017-02-06 12:46 918  
[ ]algstr_4__1380_10.min1.thm12017-02-06 12:46 483  
[ ]algstr_4__1380_10.min1.thm1.tptp2017-02-06 16:48 419  
[ ]algstr_4__1381_41.min1.thm12017-02-06 12:46 421  
[ ]algstr_4__1381_41.min1.thm1.tptp2017-02-06 16:48 338  
[ ]algstr_4__1382_54.min1.thm12017-02-06 12:46 808  
[ ]algstr_4__1390_36.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__1398_46.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1399_29.min1.thm12017-02-06 12:46 799  
[ ]algstr_4__1400_36.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__1404_32.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_4__1405_32.min1.thm12017-02-06 12:46 686  
[ ]algstr_4__1416_60.min1.thm12017-02-06 12:46 853  
[ ]algstr_4__1417_30.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1418_40.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1419_29.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1420_32.min1.thm12017-02-06 12:46 837  
[ ]algstr_4__1421_26.min1.thm12017-02-06 12:46 891  
[ ]algstr_4__1422_52.min1.thm12017-02-06 12:46 765  
[ ]algstr_4__1427_20.min1.thm12017-02-06 12:46 391  
[ ]algstr_4__1427_20.min1.thm1.tptp2017-02-06 16:48 326  
[ ]algstr_4__1428_29.min1.thm12017-02-06 12:46 501  
[ ]algstr_4__1435_23.min1.thm12017-02-06 12:46 421  
[ ]algstr_4__1435_23.min1.thm1.tptp2017-02-06 16:48 340  
[ ]algstr_4__1436_42.min1.thm12017-02-06 12:46 607  
[ ]algstr_4__1437_40.min1.thm12017-02-06 12:46 476  
[ ]algstr_4__1437_40.min1.thm1.tptp2017-02-06 16:48 396  
[ ]algstr_4__1439_63.min1.thm12017-02-06 12:46 328  
[ ]algstr_4__1441_14.min1.thm12017-02-06 12:46 426  
[ ]algstr_4__1441_14.min1.thm1.tptp2017-02-06 16:48 351  
[ ]algstr_4__1444_14.min1.thm12017-02-06 12:46 409  
[ ]algstr_4__1444_14.min1.thm1.tptp2017-02-06 16:48 331  
[ ]algstr_4__1446_14.min1.thm12017-02-06 12:46 691  
[ ]algstr_4__1447_27.min1.thm12017-02-06 12:46 930  
[ ]algstr_4__1450_12.min1.thm12017-02-06 12:46 527  
[ ]algstr_4__1450_12.min1.thm1.tptp2017-02-06 16:48 463  
[ ]algstr_4__1451_45.min1.thm12017-02-06 12:46 465  
[ ]algstr_4__1451_45.min1.thm1.tptp2017-02-06 16:48 382  
[ ]algstr_4__1452_25.min1.thm12017-02-06 12:46 945  
[ ]algstr_4__1455_10.min1.thm12017-02-06 12:46 543  
[ ]algstr_4__1455_10.min1.thm1.tptp2017-02-06 16:48 479  
[ ]algstr_4__1456_65.min1.thm12017-02-06 12:46 762  
[ ]algstr_4__1457_23.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__1469_37.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__1475_56.min1.thm12017-02-06 12:46 304  
[ ]algstr_4__1476_20.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1477_25.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__1478_12.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1479_17.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__1482_25.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__1485_12.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1486_17.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1494_25.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1501_19.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1502_22.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_4__1503_25.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__1504_23.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1506_32.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1510_28.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__1511_28.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1512_48.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__1515_35.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1532_51.min1.thm12017-02-06 12:46 304  
[ ]algstr_4__1534_6.min1.thm12017-02-06 12:46 3.8K 
[ ]algstr_4__1535_20.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1537_37.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__1542_29.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__1543_24.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1544_32.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__1545_43.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1546_18.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1548_28.min1.thm12017-02-06 12:46 2.6K 
[ ]algstr_4__1552_16.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1553_22.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__1559_16.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1560_22.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1576_59.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__1577_45.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_4__1579_23.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1580_26.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_4__1581_29.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__1582_32.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1583_36.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__1587_32.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__1588_27.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1598_29.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__1599_24.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1600_32.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__1601_43.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1602_18.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1603_44.min1.thm12017-02-06 12:46 2.6K 
[ ]algstr_4__1606_16.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1607_22.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__1613_16.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1614_22.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1629_54.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__1630_45.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_4__1632_23.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1633_26.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_4__1634_30.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__1635_33.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1636_36.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__1640_33.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__1641_27.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1649_16.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__1657_13.min1.thm12017-02-06 12:46 131  
[ ]algstr_4__1671_29.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__1672_24.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1673_32.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__1674_42.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1675_18.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1676_29.min1.thm12017-02-06 12:46 326  
[ ]algstr_4__1683_23.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1684_26.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__1685_26.min1.thm12017-02-06 12:46 931  
[ ]algstr_4__1686_34.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1687_44.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1692_26.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__1693_21.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__1694_32.min1.thm12017-02-06 12:46 520  
[ ]algstr_4__1697_33.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__1698_47.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1699_21.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__1703_16.min1.thm12017-02-06 12:46 727  
[ ]algstr_4__1724_27.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1731_41.min1.thm12017-02-06 12:46 469  
[ ]algstr_4__1731_41.min1.thm1.tptp2017-02-06 16:48 414  
[ ]algstr_4__1733_53.min1.thm12017-02-06 12:46 846  
[ ]algstr_4__1734_24.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1735_19.min1.thm12017-02-06 12:46 788  
[ ]algstr_4__1736_14.min1.thm12017-02-06 12:46 442  
[ ]algstr_4__1737_35.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1740_17.min1.thm12017-02-06 12:46 666  
[ ]algstr_4__1741_22.min1.thm12017-02-06 12:46 756  
[ ]algstr_4__1742_31.min1.thm12017-02-06 12:46 912  
[ ]algstr_4__1743_39.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1744_40.min1.thm12017-02-06 12:46 934  
[ ]algstr_4__1745_38.min1.thm12017-02-06 12:46 636  
[ ]algstr_4__1748_23.min1.thm12017-02-06 12:46 542  
[ ]algstr_4__1748_23.min1.thm1.tptp2017-02-06 16:48 482  
[ ]algstr_4__1761_54.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__1762_46.min1.thm12017-02-06 12:46 442  
[ ]algstr_4__1765_66.min1.thm12017-02-06 12:46 402  
[ ]algstr_4__1772_41.min1.thm12017-02-06 12:46 469  
[ ]algstr_4__1772_41.min1.thm1.tptp2017-02-06 16:48 414  
[ ]algstr_4__1774_53.min1.thm12017-02-06 12:46 846  
[ ]algstr_4__1775_24.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1776_19.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1777_23.min1.thm12017-02-06 12:46 382  
[ ]algstr_4__1777_23.min1.thm1.tptp2017-02-06 16:48 328  
[ ]algstr_4__1778_33.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__1781_30.min1.thm12017-02-06 12:46 951  
[ ]algstr_4__1782_36.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__1783_53.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1784_48.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__1785_50.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__1808_22.min1.thm12017-02-06 12:46 650  
[ ]algstr_4__1814_30.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1817_19.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1819_44.min1.thm12017-02-06 12:46 848  
[ ]algstr_4__1834_30.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1836_37.min1.thm12017-02-06 12:46 457  
[ ]algstr_4__1836_37.min1.thm1.tptp2017-02-06 16:48 402  
[ ]algstr_4__1838_49.min1.thm12017-02-06 12:46 825  
[ ]algstr_4__1839_20.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1840_21.min1.thm12017-02-06 12:46 777  
[ ]algstr_4__1841_24.min1.thm12017-02-06 12:46 941  
[ ]algstr_4__1842_30.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__1843_66.min1.thm12017-02-06 12:46 916  
[ ]algstr_4__1845_4.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__1847_15.min1.thm12017-02-06 12:46 795  
[ ]algstr_4__1847_15.min1.thm1.tptp2017-02-06 16:48 724  
[ ]algstr_4__1848_17.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1851_27.min1.thm12017-02-06 12:46 508  
[ ]algstr_4__1863_11.min1.thm12017-02-06 12:46 257  
[ ]algstr_4__1866_26.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__1867_15.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__1872_17.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__1873_25.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__1878_15.min1.thm12017-02-06 12:46 275  
[ ]algstr_4__1879_37.min1.thm12017-02-06 12:46 883  
[ ]algstr_4__1881_22.min1.thm12017-02-06 12:46 905  
[ ]algstr_4__1882_40.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1883_26.min1.thm12017-02-06 12:46 962  
[ ]algstr_4__1884_37.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1885_40.min1.thm12017-02-06 12:46 968  
[ ]algstr_4__1901_29.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__1902_24.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1903_32.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1904_42.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1905_18.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1907_48.min1.thm12017-02-06 12:46 469  
[ ]algstr_4__1907_48.min1.thm1.tptp2017-02-06 16:48 391  
[ ]algstr_4__1910_51.min1.thm12017-02-06 12:46 489  
[ ]algstr_4__1910_51.min1.thm1.tptp2017-02-06 16:48 405  
[ ]algstr_4__1925_65.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__1927_12.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__1927_12.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]algstr_4__1928_31.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__1929_37.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1932_52.min1.thm12017-02-06 12:46 749  
[ ]algstr_4__1933_20.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1936_50.min1.thm12017-02-06 12:46 2.3K 
[ ]algstr_4__1941_29.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1942_47.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1943_32.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__1944_43.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__1946_39.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__1948_51.min1.thm12017-02-06 12:46 515  
[ ]algstr_4__1948_51.min1.thm1.tptp2017-02-06 16:48 451  
[ ]algstr_4__1953_14.min1.thm12017-02-06 12:46 518  
[ ]algstr_4__1953_14.min1.thm1.tptp2017-02-06 16:48 441  
[ ]algstr_4__1959_13.min1.thm12017-02-06 12:46 131  
[ ]algstr_4__1970_15.min1.thm12017-02-06 12:46 374  
[ ]algstr_4__1972_19.min1.thm12017-02-06 12:46 554  
[ ]algstr_4__1975_47.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_4__1977_51.min1.thm12017-02-06 12:46 2.4K 
[ ]algstr_4__1979_6.min1.thm12017-02-06 12:46 2.2K 
[ ]algstr_4__1981_53.min1.thm12017-02-06 12:46 888  
[ ]algstr_4__1982_38.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__1984_17.min1.thm12017-02-06 12:46 719  
[ ]algstr_4__1997_29.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__1998_24.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__1999_32.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2000_42.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__2001_18.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__2014_57.min1.thm12017-02-06 12:46 875  
[ ]algstr_4__2015_28.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2016_32.min1.thm12017-02-06 12:46 959  
[ ]algstr_4__2017_32.min1.thm12017-02-06 12:46 855  
[ ]algstr_4__2018_34.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__2019_25.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2021_43.min1.thm12017-02-06 12:46 565  
[ ]algstr_4__2023_12.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2024_18.min1.thm12017-02-06 12:46 562  
[ ]algstr_4__2024_18.min1.thm1.tptp2017-02-06 16:48 498  
[ ]algstr_4__2025_42.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2026_18.min1.thm12017-02-06 12:46 486  
[ ]algstr_4__2026_18.min1.thm1.tptp2017-02-06 16:48 422  
[ ]algstr_4__2027_26.min1.thm12017-02-06 12:46 707  
[ ]algstr_4__2029_37.min1.thm12017-02-06 12:46 469  
[ ]algstr_4__2029_37.min1.thm1.tptp2017-02-06 16:48 405  
[ ]algstr_4__2030_21.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__2042_50.min1.thm12017-02-06 12:46 2.6K 
[ ]algstr_4__2044_51.min1.thm12017-02-06 12:46 2.6K 
[ ]algstr_4__2046_49.min1.thm12017-02-06 12:46 2.6K 
[ ]algstr_4__2048_22.min1.thm12017-02-06 12:46 481  
[ ]algstr_4__2048_22.min1.thm1.tptp2017-02-06 16:48 404  
[ ]algstr_4__2048_35.min1.thm12017-02-06 12:46 306  
[ ]algstr_4__2049_22.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__2051_58.min1.thm12017-02-06 12:46 764  
[ ]algstr_4__2052_38.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_4__2055_52.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2056_17.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__2062_16.min1.thm12017-02-06 12:46 774  
[ ]algstr_4__2068_16.min1.thm12017-02-06 12:46 717  
[ ]algstr_4__2073_29.min1.thm12017-02-06 12:46 929  
[ ]algstr_4__2074_57.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__2076_60.min1.thm12017-02-06 12:46 788  
[ ]algstr_4__2080_43.min1.thm12017-02-06 12:46 2.6K 
[ ]algstr_4__2082_32.min1.thm12017-02-06 12:46 457  
[ ]algstr_4__2083_50.min1.thm12017-02-06 12:46 2.3K 
[ ]algstr_4__2084_17.min1.thm12017-02-06 12:46 709  
[ ]algstr_4__2085_19.min1.thm12017-02-06 12:46 519  
[ ]algstr_4__2095_27.min1.thm12017-02-06 12:46 925  
[ ]algstr_4__2096_55.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__2098_62.min1.thm12017-02-06 12:46 780  
[ ]algstr_4__2101_46.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__2102_45.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_4__2105_48.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_4__2106_15.min1.thm12017-02-06 12:46 689  
[ ]algstr_4__2107_12.min1.thm12017-02-06 12:46 363  
[ ]algstr_4__2107_12.min1.thm1.tptp2017-02-06 16:48 298  
[ ]algstr_4__2118_33.min1.thm12017-02-06 12:46 539  
[ ]algstr_4__2118_33.min1.thm1.tptp2017-02-06 16:48 468  
[ ]algstr_4__2120_29.min1.thm12017-02-06 12:46 539  
[ ]algstr_4__2120_29.min1.thm1.tptp2017-02-06 16:48 468  
[ ]algstr_4__2122_33.min1.thm12017-02-06 12:46 380  
[ ]algstr_4__2124_37.min1.thm12017-02-06 12:46 953  
[ ]algstr_4__2125_23.min1.thm12017-02-06 12:46 790  
[ ]algstr_4__2135_11.min1.thm12017-02-06 12:46 189  
[ ]algstr_4__2137_29.min1.thm12017-02-06 12:46 777  
[ ]algstr_4__2138_57.min1.thm12017-02-06 12:46 518  
[ ]algstr_4__2145_41.min1.thm12017-02-06 12:46 295  
[ ]algstr_4__2145_41.min1.thm1.tptp2017-02-06 16:48 215  
[ ]algstr_4__2146_59.min1.thm12017-02-06 12:46 733  
[ ]algstr_4__2148_53.min1.thm12017-02-06 12:46 687  
[ ]algstr_4__2148_53.min1.thm1.tptp2017-02-06 16:48 616  
[ ]algstr_4__2149_41.min1.thm12017-02-06 12:46 630  
[ ]algstr_4__2150_53.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__2151_22.min1.thm12017-02-06 12:46 816  
[ ]algstr_4__2156_57.min1.thm12017-02-06 12:46 708  
[ ]algstr_4__2161_64.min1.thm12017-02-06 12:46 701  
[ ]algstr_4__2178_61.min1.thm12017-02-06 12:46 732  
[ ]algstr_4__2184_43.min1.thm12017-02-06 12:46 234  
[ ]algstr_4__2185_58.min1.thm12017-02-06 12:46 667  
[ ]algstr_4__2186_58.min1.thm12017-02-06 12:46 667  
[ ]algstr_4__2189_19.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2194_51.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2201_35.min1.thm12017-02-06 12:46 782  
[ ]algstr_4__2202_40.min1.thm12017-02-06 12:46 366  
[ ]algstr_4__2202_40.min1.thm1.tptp2017-02-06 16:48 304  
[ ]algstr_4__2204_8.min1.thm12017-02-06 12:46 496  
[ ]algstr_4__2206_42.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2207_41.min1.thm12017-02-06 12:46 907  
[ ]algstr_4__2210_40.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2211_21.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2230_34.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__2235_57.min1.thm12017-02-06 12:46 3.3K 
[ ]algstr_4__2247_13.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2253_13.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2259_13.min1.thm12017-02-06 12:46 2.3K 
[ ]algstr_4__2278_51.min1.thm12017-02-06 12:46 129  
[ ]algstr_4__2281_11.min1.thm12017-02-06 12:46 191  
[ ]algstr_4__2283_45.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2285_50.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2289_55.min1.thm12017-02-06 12:46 2.6K 
[ ]algstr_4__2290_25.min1.thm12017-02-06 12:46 434  
[ ]algstr_4__2306_38.min1.thm12017-02-06 12:46 946  
[ ]algstr_4__2319_57.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2341_17.min1.thm12017-02-06 12:46 254  
[ ]algstr_4__2342_45.min1.thm12017-02-06 12:46 767  
[ ]algstr_4__2343_56.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2345_17.min1.thm12017-02-06 12:46 354  
[ ]algstr_4__2345_17.min1.thm1.tptp2017-02-06 16:48 284  
[ ]algstr_4__2347_17.min1.thm12017-02-06 12:46 366  
[ ]algstr_4__2347_17.min1.thm1.tptp2017-02-06 16:48 296  
[ ]algstr_4__2354_13.min1.thm12017-02-06 12:46 193  
[ ]algstr_4__2357_23.min1.thm12017-02-06 12:46 2.2K 
[ ]algstr_4__2358_21.min1.thm12017-02-06 12:46 573  
[ ]algstr_4__2379_34.min1.thm12017-02-06 12:46 220  
[ ]algstr_4__2380_45.min1.thm12017-02-06 12:46 651  
[ ]algstr_4__2384_24.min1.thm12017-02-06 12:46 820  
[ ]algstr_4__2396_11.min1.thm12017-02-06 12:46 191  
[ ]algstr_4__2400_26.min1.thm12017-02-06 12:46 645  
[ ]algstr_4__2400_26.min1.thm1.tptp2017-02-06 16:48 575  
[ ]algstr_4__2415_45.min1.thm12017-02-06 12:46 651  
[ ]algstr_4__2425_33.min1.thm12017-02-06 12:46 965  
[ ]algstr_4__2427_40.min1.thm12017-02-06 12:46 485  
[ ]algstr_4__2427_40.min1.thm1.tptp2017-02-06 16:48 430  
[ ]algstr_4__2429_49.min1.thm12017-02-06 12:46 839  
[ ]algstr_4__2430_20.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__2431_21.min1.thm12017-02-06 12:46 777  
[ ]algstr_4__2432_25.min1.thm12017-02-06 12:46 941  
[ ]algstr_4__2433_30.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__2434_62.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__2436_4.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__2438_18.min1.thm12017-02-06 12:46 962  
[ ]algstr_4__2440_4.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__2441_17.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__2444_27.min1.thm12017-02-06 12:46 568  
[ ]algstr_4__2447_13.min1.thm12017-02-06 12:46 271  
[ ]algstr_4__2449_13.min1.thm12017-02-06 12:46 273  
[ ]algstr_4__2452_54.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2456_22.min1.thm12017-02-06 12:46 408  
[ ]algstr_4__2456_22.min1.thm1.tptp2017-02-06 16:48 338  
[ ]algstr_4__2457_47.min1.thm12017-02-06 12:46 409  
[ ]algstr_4__2457_47.min1.thm1.tptp2017-02-06 16:48 339  
[ ]algstr_4__2458_47.min1.thm12017-02-06 12:46 411  
[ ]algstr_4__2458_47.min1.thm1.tptp2017-02-06 16:48 341  
[ ]algstr_4__2459_30.min1.thm12017-02-06 12:46 447  
[ ]algstr_4__2459_30.min1.thm1.tptp2017-02-06 16:48 377  
[ ]algstr_4__2460_30.min1.thm12017-02-06 12:46 448  
[ ]algstr_4__2460_30.min1.thm1.tptp2017-02-06 16:48 378  
[ ]algstr_4__2463_32.min1.thm12017-02-06 12:46 923  
[ ]algstr_4__2463_59.min1.thm12017-02-06 12:46 924  
[ ]algstr_4__2469_27.min1.thm12017-02-06 12:46 823  
[ ]algstr_4__2472_58.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2473_54.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2474_50.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2476_15.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__2479_13.min1.thm12017-02-06 12:46 830  
[ ]algstr_4__2489_11.min1.thm12017-02-06 12:46 191  
[ ]algstr_4__2494_52.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__2495_50.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2499_54.min1.thm12017-02-06 12:46 762  
[ ]algstr_4__2501_54.min1.thm12017-02-06 12:46 932  
[ ]algstr_4__2506_16.min1.thm12017-02-06 12:46 348  
[ ]algstr_4__2528_19.min1.thm12017-02-06 12:46 278  
[ ]algstr_4__2529_46.min1.thm12017-02-06 12:46 851  
[ ]algstr_4__2545_11.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2548_20.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2549_45.min1.thm12017-02-06 12:46 756  
[ ]algstr_4__2551_8.min1.thm12017-02-06 12:46 2.3K 
[ ]algstr_4__2553_17.min1.thm12017-02-06 12:46 239  
[ ]algstr_4__2563_15.min1.thm12017-02-06 12:46 197  
[ ]algstr_4__2564_38.min1.thm12017-02-06 12:46 2.4K 
[ ]algstr_4__2572_31.min1.thm12017-02-06 12:46 727  
[ ]algstr_4__2572_46.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__2591_13.min1.thm12017-02-06 12:46 215  
[ ]algstr_4__2593_68.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__2597_30.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__2608_16.min1.thm12017-02-06 12:46 341  
[ ]algstr_4__2608_16.min1.thm1.tptp2017-02-06 16:48 263  
[ ]algstr_4__2617_36.min1.thm12017-02-06 12:46 2.3K 
[ ]algstr_4__2619_61.min1.thm12017-02-06 12:46 2.2K 
[ ]algstr_4__2629_11.min1.thm12017-02-06 12:46 191  
[ ]algstr_4__2635_19.min1.thm12017-02-06 12:46 314  
[ ]algstr_4__2635_19.min1.thm1.tptp2017-02-06 16:48 237  
[ ]algstr_4__2636_34.min1.thm12017-02-06 12:46 609  
[ ]algstr_4__2643_58.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__2654_31.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__2655_26.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__2656_34.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2657_44.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__2658_20.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__2674_36.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__2677_23.min1.thm12017-02-06 12:46 945  
[ ]algstr_4__2692_29.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2695_14.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2697_73.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__2702_42.min1.thm12017-02-06 12:46 2.8K 
[ ]algstr_4__2704_20.min1.thm12017-02-06 12:46 888  
[ ]algstr_4__2708_52.min1.thm12017-02-06 12:46 680  
[ ]algstr_4__2710_13.min1.thm12017-02-06 12:46 955  
[ ]algstr_4__2711_33.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2713_54.min1.thm12017-02-06 12:46 825  
[ ]algstr_4__2714_53.min1.thm12017-02-06 12:46 936  
[ ]algstr_4__2745_18.min1.thm12017-02-06 12:46 747  
[ ]algstr_4__2746_29.min1.thm12017-02-06 12:46 498  
[ ]algstr_4__2746_29.min1.thm1.tptp2017-02-06 16:48 432  
[ ]algstr_4__2747_31.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2774_55.min1.thm12017-02-06 12:46 642  
[ ]algstr_4__2774_55.min1.thm1.tptp2017-02-06 16:48 571  
[ ]algstr_4__2775_60.min1.thm12017-02-06 12:46 649  
[ ]algstr_4__2776_60.min1.thm12017-02-06 12:46 649  
[ ]algstr_4__2780_17.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__2780_17.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]algstr_4__2803_60.min1.thm12017-02-06 12:46 604  
[ ]algstr_4__2803_60.min1.thm1.tptp2017-02-06 16:48 526  
[ ]algstr_4__2804_56.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__2805_61.min1.thm12017-02-06 12:46 649  
[ ]algstr_4__2806_61.min1.thm12017-02-06 12:46 649  
[ ]algstr_4__2829_25.min1.thm12017-02-06 12:46 456  
[ ]algstr_4__2832_16.min1.thm12017-02-06 12:46 478  
[ ]algstr_4__2832_16.min1.thm1.tptp2017-02-06 16:48 403  
[ ]algstr_4__2837_39.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__2838_15.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__2840_40.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2841_26.min1.thm12017-02-06 12:46 568  
[ ]algstr_4__2842_22.min1.thm12017-02-06 12:46 482  
[ ]algstr_4__2843_46.min1.thm12017-02-06 12:46 669  
[ ]algstr_4__2865_46.min1.thm12017-02-06 12:46 573  
[ ]algstr_4__2865_46.min1.thm1.tptp2017-02-06 16:48 508  
[ ]algstr_4__2866_13.min1.thm12017-02-06 12:46 901  
[ ]algstr_4__2870_34.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__2871_47.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__2873_18.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__2877_31.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_4__2879_36.min1.thm12017-02-06 12:46 849  
[ ]algstr_4__2880_36.min1.thm12017-02-06 12:46 695  
[ ]algstr_4__2881_21.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2882_24.min1.thm12017-02-06 12:46 2.2K 
[ ]algstr_4__2883_30.min1.thm12017-02-06 12:46 704  
[ ]algstr_4__2895_30.min1.thm12017-02-06 12:46 704  
[ ]algstr_4__2896_23.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2899_44.min1.thm12017-02-06 12:46 836  
[ ]algstr_4__2903_19.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2904_23.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__2909_21.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_4__2920_74.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2945_27.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__2948_48.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__2950_28.min1.thm12017-02-06 12:46 779  
[ ]algstr_4__2953_23.min1.thm12017-02-06 12:46 865  
[ ]algstr_4__2954_27.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__2959_28.min1.thm12017-02-06 12:46 780  
[ ]algstr_4__2964_39.min1.thm12017-02-06 12:46 3.3K 
[ ]algstr_4__2965_63.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__2966_42.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__2968_30.min1.thm12017-02-06 12:46 211  
[ ]algstr_4__2976_28.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_4__2976_28.min1.thm1.tptp2017-02-06 16:48 2.6K 
[ ]algstr_4__3019_27.min1.thm12017-02-06 12:46 668  
[ ]algstr_4__3021_35.min1.thm12017-02-06 12:46 455  
[ ]algstr_4__3021_35.min1.thm1.tptp2017-02-06 16:48 400  
[ ]algstr_4__3023_38.min1.thm12017-02-06 12:46 837  
[ ]algstr_4__3024_28.min1.thm12017-02-06 12:46 873  
[ ]algstr_4__3025_25.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__3026_22.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__3030_74.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__3034_23.min1.thm12017-02-06 12:46 408  
[ ]algstr_4__3034_23.min1.thm1.tptp2017-02-06 16:48 332  
[ ]algstr_4__3040_32.min1.thm12017-02-06 12:46 828  
[ ]algstr_4__3042_42.min1.thm12017-02-06 12:46 615  
[ ]algstr_4__3044_41.min1.thm12017-02-06 12:46 868  
[ ]algstr_4__3045_29.min1.thm12017-02-06 12:46 873  
[ ]algstr_4__3046_26.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__3047_24.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__3052_34.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__3055_23.min1.thm12017-02-06 12:46 387  
[ ]algstr_4__3055_23.min1.thm1.tptp2017-02-06 16:48 322  
[ ]algstr_4__3057_32.min1.thm12017-02-06 12:46 830  
[ ]algstr_4__3059_42.min1.thm12017-02-06 12:46 617  
[ ]algstr_4__3061_41.min1.thm12017-02-06 12:46 873  
[ ]algstr_4__3062_29.min1.thm12017-02-06 12:46 879  
[ ]algstr_4__3063_26.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__3064_24.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__3069_36.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_4__3076_61.min1.thm12017-02-06 12:46 655  
[ ]algstr_4__3077_60.min1.thm12017-02-06 12:46 655  
[ ]algstr_4__3081_62.min1.thm12017-02-06 12:46 658  
[ ]algstr_4__3082_61.min1.thm12017-02-06 12:46 658  
[ ]algstr_4__3104_33.min1.thm12017-02-06 12:46 3.3K 
[ ]algstr_4__3107_63.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__3109_43.min1.thm12017-02-06 12:46 135  
[ ]algstr_4__3116_23.min1.thm12017-02-06 12:46 909  
[ ]algstr_4__3117_27.min1.thm12017-02-06 12:46 749  
[ ]algstr_4__3118_33.min1.thm12017-02-06 12:46 757  
[ ]algstr_4__3119_28.min1.thm12017-02-06 12:46 914  
[ ]algstr_4__3123_31.min1.thm12017-02-06 12:46 902  
[ ]algstr_4__3125_39.min1.thm12017-02-06 12:46 615  
[ ]algstr_4__3127_38.min1.thm12017-02-06 12:46 868  
[ ]algstr_4__3128_30.min1.thm12017-02-06 12:46 971  
[ ]algstr_4__3129_28.min1.thm12017-02-06 12:46 874  
[ ]algstr_4__3130_26.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__3134_74.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__3138_67.min1.thm12017-02-06 12:46 761  
[ ]algstr_4__3138_67.min1.thm1.tptp2017-02-06 16:48 690  
[ ]algstr_4__3140_37.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__3141_17.min1.thm12017-02-06 12:46 546  
[ ]algstr_4__3141_17.min1.thm1.tptp2017-02-06 16:48 481  
[ ]algstr_4__3151_36.min1.thm12017-02-06 12:46 618  
[ ]algstr_4__3152_27.min1.thm12017-02-06 12:46 968  
[ ]algstr_4__3153_31.min1.thm12017-02-06 12:46 701  
[ ]algstr_4__3155_39.min1.thm12017-02-06 12:46 615  
[ ]algstr_4__3157_38.min1.thm12017-02-06 12:46 868  
[ ]algstr_4__3158_30.min1.thm12017-02-06 12:46 972  
[ ]algstr_4__3159_28.min1.thm12017-02-06 12:46 874  
[ ]algstr_4__3160_26.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__3164_74.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__3168_33.min1.thm12017-02-06 12:46 435  
[ ]algstr_4__3168_33.min1.thm1.tptp2017-02-06 16:48 371  
[ ]algstr_4__3169_19.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__3175_49.min1.thm12017-02-06 12:46 573  
[ ]algstr_4__3175_49.min1.thm1.tptp2017-02-06 16:48 508  
[ ]algstr_4__3176_13.min1.thm12017-02-06 12:46 901  
[ ]algstr_4__3189_34.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__3190_47.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__3192_18.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__3194_44.min1.thm12017-02-06 12:46 685  
[ ]algstr_4__3195_48.min1.thm12017-02-06 12:46 421  
[ ]algstr_4__3195_48.min1.thm1.tptp2017-02-06 16:48 356  
[ ]algstr_4__3196_21.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__3198_47.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__3199_29.min1.thm12017-02-06 12:46 582  
[ ]algstr_4__3200_27.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__3216_21.min1.thm12017-02-06 12:46 686  
[ ]algstr_4__3216_21.min1.thm1.tptp2017-02-06 16:48 629  
[ ]algstr_4__3218_10.min1.thm12017-02-06 12:46 874  
[ ]algstr_4__3220_27.min1.thm12017-02-06 12:46 630  
[ ]algstr_4__3254_18.min1.thm12017-02-06 12:46 603  
[ ]algstr_4__3255_60.min1.thm12017-02-06 12:46 2.4K 
[ ]algstr_4__3258_48.min1.thm12017-02-06 12:46 2.2K 
[ ]algstr_4__3268_24.min1.thm12017-02-06 12:46 396  
[ ]algstr_4__3269_23.min1.thm12017-02-06 12:46 733  
[ ]algstr_4__3270_27.min1.thm12017-02-06 12:46 711  
[ ]algstr_4__3272_15.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__3275_33.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__3276_28.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__3277_36.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__3278_47.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__3279_22.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__3281_48.min1.thm12017-02-06 12:46 687  
[ ]algstr_4__3286_27.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__3286_27.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]algstr_4__3305_27.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__3305_27.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]algstr_4__3308_54.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__3312_16.min1.thm12017-02-06 12:46 874  
[ ]algstr_4__3314_52.min1.thm12017-02-06 12:46 130  
[ ]algstr_4__3322_45.min1.thm12017-02-06 12:46 732  
[ ]algstr_4__3327_31.min1.thm12017-02-06 12:46 553  
[ ]algstr_4__3327_31.min1.thm1.tptp2017-02-06 16:48 482  
[ ]algstr_4__3328_34.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__3329_16.min1.thm12017-02-06 12:46 782  
[ ]algstr_4__3329_16.min1.thm1.tptp2017-02-06 16:48 730  
[ ]algstr_4__3333_45.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__3341_6.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__3350_46.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__3357_19.min1.thm12017-02-06 12:46 730  
[ ]algstr_4__3358_24.min1.thm12017-02-06 12:46 875  
[ ]algstr_4__3360_11.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__3371_39.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__3374_45.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__3378_37.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__3379_29.min1.thm12017-02-06 12:46 961  
[ ]algstr_4__3380_26.min1.thm12017-02-06 12:46 863  
[ ]algstr_4__3392_15.min1.thm12017-02-06 12:46 571  
[ ]algstr_4__3392_15.min1.thm1.tptp2017-02-06 16:48 506  
[ ]algstr_4__3402_57.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__3403_58.min1.thm12017-02-06 12:46 644  
[ ]algstr_4__3404_58.min1.thm12017-02-06 12:46 645  
[ ]algstr_4__3405_28.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__3412_12.min1.thm12017-02-06 12:46 705  
[ ]algstr_4__3413_26.min1.thm12017-02-06 12:46 2.8K 
[ ]algstr_4__3416_26.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__3426_31.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__3427_20.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__3430_23.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__3432_32.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__3438_37.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__3439_21.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__3443_21.min1.thm12017-02-06 12:46 252  
[ ]algstr_4__3444_54.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__3445_46.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_4__3446_20.min1.thm12017-02-06 12:46 680  
[ ]algstr_4__3447_23.min1.thm12017-02-06 12:46 2.2K 
[ ]algstr_4__3448_21.min1.thm12017-02-06 12:46 795  
[ ]algstr_4__3453_22.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__3453_52.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__3460_56.min1.thm12017-02-06 12:46 2.2K 
[ ]algstr_4__3463_44.min1.thm12017-02-06 12:46 2.3K 
[ ]algstr_4__3464_19.min1.thm12017-02-06 12:46 730  
[ ]algstr_4__3465_24.min1.thm12017-02-06 12:46 859  
[ ]algstr_4__3467_11.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__3468_40.min1.thm12017-02-06 12:46 572  
[ ]algstr_4__3470_21.min1.thm12017-02-06 12:46 2.8K 
[ ]algstr_4__3473_42.min1.thm12017-02-06 12:46 3.5K 
[ ]algstr_4__3507_44.min1.thm12017-02-06 12:46 3.1K 
[ ]algstr_4__3509_44.min1.thm12017-02-06 12:46 3.1K 
[ ]algstr_4__3510_42.min1.thm12017-02-06 12:46 832  
[ ]algstr_4__3511_36.min1.thm12017-02-06 12:46 635  
[ ]algstr_4__3514_21.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__3515_40.min1.thm12017-02-06 12:46 661  
[ ]algstr_4__3517_42.min1.thm12017-02-06 12:46 2.4K 
[ ]algstr_4__3522_20.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__3528_32.min1.thm12017-02-06 12:46 3.0K 
[ ]algstr_4__3529_24.min1.thm12017-02-06 12:46 3.1K 
[ ]algstr_4__3538_11.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__3539_17.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__3569_49.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__3572_32.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_4__3573_66.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_4__3574_24.min1.thm12017-02-06 12:46 2.2K 
[ ]algstr_4__3579_41.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_4__3581_30.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__3582_27.min1.thm12017-02-06 12:46 3.2K 
[ ]algstr_4__3585_27.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__3589_46.min1.thm12017-02-06 12:46 932  
[ ]algstr_4__3598_18.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__3601_18.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__3606_49.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__3611_71.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_4__3621_27.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__3623_39.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_4__3624_43.min1.thm12017-02-06 12:46 2.2K 
[ ]algstr_4__3625_37.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_4__3629_23.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__3636_17.min1.thm12017-02-06 12:46 797  
[ ]algstr_4__3636_17.min1.thm1.tptp2017-02-06 16:48 720  
[ ]algstr_4__3637_19.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__3643_43.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__3644_66.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_4__3650_14.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__3651_25.min1.thm12017-02-06 12:46 908  
[ ]algstr_4__3655_31.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_4__3656_19.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_4__3657_25.min1.thm12017-02-06 12:46 3.4K 
[ ]algstr_4__3663_29.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__3664_17.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__3669_52.min1.thm12017-02-06 12:46 2.4K 
[ ]algstr_4__3671_29.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__3672_17.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__3677_52.min1.thm12017-02-06 12:46 2.4K 
[ ]algstr_4__3682_6.min1.thm12017-02-06 12:46 2.8K 
[ ]algstr_4__3683_26.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_4__3690_6.min1.thm12017-02-06 12:46 2.3K 
[ ]algstr_4__3706_43.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_4__3707_28.min1.thm12017-02-06 12:46 2.3K 
[ ]algstr_4__3727_52.min1.thm12017-02-06 12:46 710  
[ ]algstr_4__3735_51.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_4__3736_15.min1.thm12017-02-06 12:46 252  
[ ]algstr_4__3737_21.min1.thm12017-02-06 12:46 747  
[ ]algstr_4__3739_23.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__3741_45.min1.thm12017-02-06 12:46 3.3K 
[ ]algstr_4__3742_33.min1.thm12017-02-06 12:46 799  
[ ]algstr_4__3743_32.min1.thm12017-02-06 12:46 641  
[ ]algstr_4__3746_40.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__3749_36.min1.thm12017-02-06 12:46 641  
[ ]algstr_4__3750_24.min1.thm12017-02-06 12:46 483  
[ ]algstr_4__3752_40.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_4__3756_29.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__3774_16.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__3785_40.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__3808_38.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_4__3810_71.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_4__3821_62.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_4__3825_4.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_4__3836_38.min1.thm12017-02-06 12:46 2.2K 
[ ]algstr_4__3837_17.min1.thm12017-02-06 12:46 828  
[ ]algstr_4__3838_36.min1.thm12017-02-06 12:46 647  
[ ]algstr_4__3840_42.min1.thm12017-02-06 12:46 2.4K 
[ ]algstr_4__3841_36.min1.thm12017-02-06 12:46 2.3K 
[ ]algstr_4__3842_57.min1.thm12017-02-06 12:46 768  
[ ]algstr_4__3850_38.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_4__3852_37.min1.thm12017-02-06 12:46 771  
[ ]algstr_4__3854_17.min1.thm12017-02-06 12:46 829  
[ ]algstr_4__3855_41.min1.thm12017-02-06 12:46 649  
[ ]algstr_4__3856_14.min1.thm12017-02-06 12:46 953  
[ ]algstr_4__3857_36.min1.thm12017-02-06 12:46 649  
[ ]algstr_4__3864_31.min1.thm12017-02-06 12:46 501  
[ ]algstr_4__3864_31.min1.thm1.tptp2017-02-06 16:48 435  
[ ]algstr_4__3868_54.min1.thm12017-02-06 12:46 2.6K 
[ ]algstr_4__3918_12.min1.thm12017-02-06 12:46 950  
[ ]algstr_4__3919_34.min1.thm12017-02-06 12:46 643  
[ ]algstr_4__3921_15.min1.thm12017-02-06 12:46 827  
[ ]algstr_4__3922_53.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__3940_14.min1.thm12017-02-06 12:46 952  
[ ]algstr_4__3941_41.min1.thm12017-02-06 12:46 647  
[ ]algstr_4__3942_17.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__3943_41.min1.thm12017-02-06 12:46 647  
[ ]algstr_4__3952_22.min1.thm12017-02-06 12:46 657  
[ ]algstr_4__3954_19.min1.thm12017-02-06 12:46 2.3K 
[ ]algstr_4__3955_34.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__3997_28.min1.thm12017-02-06 12:46 771  
[ ]algstr_4__4004_44.min1.thm12017-02-06 12:46 842  
[ ]algstr_4__4005_43.min1.thm12017-02-06 12:46 643  
[ ]algstr_4__4008_22.min1.thm12017-02-06 12:46 610  
[ ]algstr_4__4008_48.min1.thm12017-02-06 12:46 510  
[ ]algstr_4__4008_48.min1.thm1.tptp2017-02-06 16:48 444  
[ ]algstr_4__4010_40.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__4011_63.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__4020_17.min1.thm12017-02-06 12:46 707  
[ ]algstr_4__4039_13.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_4__4040_36.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__4053_24.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__4055_14.min1.thm12017-02-06 12:46 747  
[ ]algstr_4__4056_41.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__4057_43.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_4__4101_44.min1.thm12017-02-06 12:46 842  
[ ]algstr_4__4102_27.min1.thm12017-02-06 12:46 926  
[ ]algstr_4__4104_38.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_4__4105_26.min1.thm12017-02-06 12:46 261  
[ ]algstr_4__4106_24.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__4108_50.min1.thm12017-02-06 12:46 804  
[ ]algstr_4__4109_60.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__4112_43.min1.thm12017-02-06 12:46 627  
[ ]algstr_4__4116_41.min1.thm12017-02-06 12:46 642  
[ ]algstr_4__4118_41.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_4__4119_60.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__4126_38.min1.thm12017-02-06 12:46 627  
[ ]algstr_4__4148_13.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__4149_18.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_4__4154_35.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_4__4156_38.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_4__4158_35.min1.thm12017-02-06 12:46 840  
[ ]algstr_4__4162_53.min1.thm12017-02-06 12:46 909  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80