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