Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/polyred
Name
Last modified
Size
Description
Parent Directory
-
polyred__70_15.min1.thm1
2017-02-06 12:45
819
polyred__78_8.min1.thm1
2017-02-06 12:45
340
polyred__78_8.min1.thm1.tptp
2017-02-06 16:47
262
polyred__80_19.min1.thm1
2017-02-06 12:45
777
polyred__82_17.min1.thm1
2017-02-06 12:45
955
polyred__91_11.min1.thm1
2017-02-06 12:45
187
polyred__94_16.min1.thm1
2017-02-06 12:45
2.7K
polyred__98_19.min1.thm1
2017-02-06 12:45
1.4K
polyred__107_25.min1.thm1
2017-02-06 12:45
651
polyred__111_37.min1.thm1
2017-02-06 12:45
2.2K
polyred__113_19.min1.thm1
2017-02-06 12:45
3.5K
polyred__127_19.min1.thm1
2017-02-06 12:45
1.4K
polyred__130_14.min1.thm1
2017-02-06 12:45
208
polyred__140_15.min1.thm1
2017-02-06 12:45
191
polyred__143_23.min1.thm1
2017-02-06 12:45
1.0K
polyred__147_29.min1.thm1
2017-02-06 12:45
1.4K
polyred__148_26.min1.thm1
2017-02-06 12:45
1.1K
polyred__151_19.min1.thm1
2017-02-06 12:45
386
polyred__157_15.min1.thm1
2017-02-06 12:45
191
polyred__160_28.min1.thm1
2017-02-06 12:45
1.8K
polyred__165_31.min1.thm1
2017-02-06 12:45
1.1K
polyred__168_21.min1.thm1
2017-02-06 12:45
1.2K
polyred__170_17.min1.thm1
2017-02-06 12:45
531
polyred__170_17.min1.thm1.tptp
2017-02-06 16:47
444
polyred__196_62.min1.thm1
2017-02-06 12:45
1.3K
polyred__198_41.min1.thm1
2017-02-06 12:45
1.3K
polyred__199_32.min1.thm1
2017-02-06 12:45
2.4K
polyred__204_23.min1.thm1
2017-02-06 12:45
367
polyred__204_23.min1.thm1.tptp
2017-02-06 16:47
302
polyred__205_22.min1.thm1
2017-02-06 12:45
1.3K
polyred__207_24.min1.thm1
2017-02-06 12:45
417
polyred__207_24.min1.thm1.tptp
2017-02-06 16:47
353
polyred__209_23.min1.thm1
2017-02-06 12:45
489
polyred__210_24.min1.thm1
2017-02-06 12:45
841
polyred__211_43.min1.thm1
2017-02-06 12:45
834
polyred__215_57.min1.thm1
2017-02-06 12:45
1.1K
polyred__220_22.min1.thm1
2017-02-06 12:45
1.2K
polyred__228_25.min1.thm1
2017-02-06 12:45
265
polyred__231_35.min1.thm1
2017-02-06 12:45
920
polyred__235_35.min1.thm1
2017-02-06 12:45
1.1K
polyred__236_35.min1.thm1
2017-02-06 12:45
540
polyred__239_28.min1.thm1
2017-02-06 12:45
532
polyred__241_65.min1.thm1
2017-02-06 12:45
630
polyred__250_25.min1.thm1
2017-02-06 12:45
265
polyred__253_34.min1.thm1
2017-02-06 12:45
920
polyred__254_35.min1.thm1
2017-02-06 12:45
1.8K
polyred__258_35.min1.thm1
2017-02-06 12:45
1.1K
polyred__259_35.min1.thm1
2017-02-06 12:45
1.1K
polyred__262_28.min1.thm1
2017-02-06 12:45
532
polyred__264_65.min1.thm1
2017-02-06 12:45
630
polyred__267_17.min1.thm1
2017-02-06 12:45
922
polyred__272_44.min1.thm1
2017-02-06 12:45
1.1K
polyred__273_44.min1.thm1
2017-02-06 12:45
1.4K
polyred__274_19.min1.thm1
2017-02-06 12:45
420
polyred__276_32.min1.thm1
2017-02-06 12:45
898
polyred__277_17.min1.thm1
2017-02-06 12:45
1.3K
polyred__279_16.min1.thm1
2017-02-06 12:45
1.0K
polyred__281_14.min1.thm1
2017-02-06 12:45
369
polyred__282_27.min1.thm1
2017-02-06 12:45
810
polyred__287_30.min1.thm1
2017-02-06 12:45
471
polyred__289_15.min1.thm1
2017-02-06 12:45
652
polyred__290_14.min1.thm1
2017-02-06 12:45
335
polyred__290_14.min1.thm1.tptp
2017-02-06 16:47
270
polyred__291_42.min1.thm1
2017-02-06 12:45
1.0K
polyred__292_28.min1.thm1
2017-02-06 12:45
1.5K
polyred__293_54.min1.thm1
2017-02-06 12:45
1.2K
polyred__294_19.min1.thm1
2017-02-06 12:45
2.3K
polyred__303_24.min1.thm1
2017-02-06 12:45
1.1K
polyred__305_27.min1.thm1
2017-02-06 12:45
862
polyred__306_30.min1.thm1
2017-02-06 12:45
1.2K
polyred__310_17.min1.thm1
2017-02-06 12:45
1.2K
polyred__322_17.min1.thm1
2017-02-06 12:45
743
polyred__325_16.min1.thm1
2017-02-06 12:45
1.9K
polyred__326_23.min1.thm1
2017-02-06 12:45
1.2K
polyred__336_13.min1.thm1
2017-02-06 12:45
614
polyred__338_15.min1.thm1
2017-02-06 12:45
233
polyred__343_25.min1.thm1
2017-02-06 12:45
2.1K
polyred__345_24.min1.thm1
2017-02-06 12:45
2.1K
polyred__346_19.min1.thm1
2017-02-06 12:45
1.3K
polyred__350_23.min1.thm1
2017-02-06 12:45
1.1K
polyred__351_22.min1.thm1
2017-02-06 12:45
1.0K
polyred__352_70.min1.thm1
2017-02-06 12:45
665
polyred__353_26.min1.thm1
2017-02-06 12:45
1.6K
polyred__360_22.min1.thm1
2017-02-06 12:45
1.0K
polyred__360_22.min1.thm1.tptp
2017-02-06 16:47
1.0K
polyred__363_19.min1.thm1
2017-02-06 12:45
2.0K
polyred__365_31.min1.thm1
2017-02-06 12:45
1.5K
polyred__381_57.min1.thm1
2017-02-06 12:45
2.1K
polyred__384_57.min1.thm1
2017-02-06 12:45
2.1K
polyred__398_20.min1.thm1
2017-02-06 12:45
3.2K
polyred__399_20.min1.thm1
2017-02-06 12:45
883
polyred__410_33.min1.thm1
2017-02-06 12:45
1.3K
polyred__417_24.min1.thm1
2017-02-06 12:45
1.8K
polyred__418_26.min1.thm1
2017-02-06 12:45
1.2K
polyred__419_15.min1.thm1
2017-02-06 12:45
599
polyred__427_25.min1.thm1
2017-02-06 12:45
1.7K
polyred__431_28.min1.thm1
2017-02-06 12:45
1.1K
polyred__432_17.min1.thm1
2017-02-06 12:45
607
polyred__433_28.min1.thm1
2017-02-06 12:45
1.1K
polyred__434_17.min1.thm1
2017-02-06 12:45
607
polyred__439_23.min1.thm1
2017-02-06 12:45
925
polyred__441_21.min1.thm1
2017-02-06 12:45
1.2K
polyred__442_23.min1.thm1
2017-02-06 12:45
925
polyred__444_21.min1.thm1
2017-02-06 12:45
1.2K
polyred__453_22.min1.thm1
2017-02-06 12:45
334
polyred__458_39.min1.thm1
2017-02-06 12:45
3.6K
polyred__461_54.min1.thm1
2017-02-06 12:45
3.2K
polyred__468_39.min1.thm1
2017-02-06 12:45
3.6K
polyred__471_54.min1.thm1
2017-02-06 12:45
3.0K
polyred__478_20.min1.thm1
2017-02-06 12:45
590
polyred__488_25.min1.thm1
2017-02-06 12:45
1.2K
polyred__488_25.min1.thm1.tptp
2017-02-06 16:47
1.1K
polyred__490_25.min1.thm1
2017-02-06 12:45
1.2K
polyred__491_15.min1.thm1
2017-02-06 12:45
599
polyred__535_22.min1.thm1
2017-02-06 12:45
2.1K
polyred__575_66.min1.thm1
2017-02-06 12:45
2.2K
polyred__581_22.min1.thm1
2017-02-06 12:45
2.2K
polyred__613_23.min1.thm1
2017-02-06 12:45
1.6K
polyred__614_27.min1.thm1
2017-02-06 12:45
2.6K
polyred__630_30.min1.thm1
2017-02-06 12:45
327
polyred__648_50.min1.thm1
2017-02-06 12:45
534
polyred__648_50.min1.thm1.tptp
2017-02-06 16:47
446
polyred__650_13.min1.thm1
2017-02-06 12:45
1.8K
polyred__653_13.min1.thm1
2017-02-06 12:45
1.8K
polyred__669_14.min1.thm1
2017-02-06 12:45
1.3K
polyred__672_23.min1.thm1
2017-02-06 12:45
1.3K
polyred__677_29.min1.thm1
2017-02-06 12:45
1.2K
polyred__678_25.min1.thm1
2017-02-06 12:45
605
polyred__701_25.min1.thm1
2017-02-06 12:45
1.1K
polyred__705_27.min1.thm1
2017-02-06 12:45
2.1K
polyred__706_28.min1.thm1
2017-02-06 12:45
630
polyred__707_13.min1.thm1
2017-02-06 12:45
1.2K
polyred__716_29.min1.thm1
2017-02-06 12:45
1.8K
polyred__718_33.min1.thm1
2017-02-06 12:45
857
polyred__720_15.min1.thm1
2017-02-06 12:45
595
polyred__721_13.min1.thm1
2017-02-06 12:45
352
polyred__741_28.min1.thm1
2017-02-06 12:45
1.2K
polyred__742_13.min1.thm1
2017-02-06 12:45
590
polyred__875_25.min1.thm1
2017-02-06 12:45
1.3K
polyred__876_17.min1.thm1
2017-02-06 12:45
1.1K
polyred__881_45.min1.thm1
2017-02-06 12:45
1.5K
polyred__884_28.min1.thm1
2017-02-06 12:45
1.7K
polyred__888_25.min1.thm1
2017-02-06 12:45
1.0K
polyred__889_16.min1.thm1
2017-02-06 12:45
603
polyred__890_25.min1.thm1
2017-02-06 12:45
1.0K
polyred__891_16.min1.thm1
2017-02-06 12:45
603
polyred__924_20.min1.thm1
2017-02-06 12:45
780
polyred__938_44.min1.thm1
2017-02-06 12:45
677
polyred__944_40.min1.thm1
2017-02-06 12:45
1.4K
polyred__945_32.min1.thm1
2017-02-06 12:45
1.2K
polyred__947_17.min1.thm1
2017-02-06 12:45
268
polyred__953_29.min1.thm1
2017-02-06 12:45
1.1K
polyred__960_37.min1.thm1
2017-02-06 12:45
946
polyred__961_29.min1.thm1
2017-02-06 12:45
1.2K
polyred__964_22.min1.thm1
2017-02-06 12:45
582
polyred__966_56.min1.thm1
2017-02-06 12:45
1.3K
polyred__983_16.min1.thm1
2017-02-06 12:45
532
polyred__983_16.min1.thm1.tptp
2017-02-06 16:47
474
polyred__984_17.min1.thm1
2017-02-06 12:45
435
polyred__984_17.min1.thm1.tptp
2017-02-06 16:47
377
polyred__997_16.min1.thm1
2017-02-06 12:45
532
polyred__997_16.min1.thm1.tptp
2017-02-06 16:47
474
polyred__998_17.min1.thm1
2017-02-06 12:45
435
polyred__998_17.min1.thm1.tptp
2017-02-06 16:47
377
polyred__1006_22.min1.thm1
2017-02-06 12:45
740
polyred__1016_20.min1.thm1
2017-02-06 12:45
1.2K
polyred__1024_20.min1.thm1
2017-02-06 12:45
1.4K
polyred__1024_20.min1.thm1.tptp
2017-02-06 16:47
1.3K
polyred__1033_18.min1.thm1
2017-02-06 12:45
552
polyred__1033_18.min1.thm1.tptp
2017-02-06 16:47
494
polyred__1034_19.min1.thm1
2017-02-06 12:45
552
polyred__1034_19.min1.thm1.tptp
2017-02-06 16:47
494
polyred__1035_32.min1.thm1
2017-02-06 12:45
752
polyred__1036_20.min1.thm1
2017-02-06 12:45
654
polyred__1036_20.min1.thm1.tptp
2017-02-06 16:47
596
polyred__1044_26.min1.thm1
2017-02-06 12:45
561
polyred__1044_26.min1.thm1.tptp
2017-02-06 16:47
509
polyred__1045_20.min1.thm1
2017-02-06 12:45
561
polyred__1045_20.min1.thm1.tptp
2017-02-06 16:47
509
polyred__1048_19.min1.thm1
2017-02-06 12:45
828
polyred__1052_40.min1.thm1
2017-02-06 12:45
641
polyred__1056_32.min1.thm1
2017-02-06 12:45
1.2K
polyred__1066_32.min1.thm1
2017-02-06 12:45
1.2K
polyred__1070_33.min1.thm1
2017-02-06 12:45
1.1K
polyred__1073_19.min1.thm1
2017-02-06 12:45
1.5K
polyred__1073_19.min1.thm1.tptp
2017-02-06 16:47
1.4K
polyred__1085_17.min1.thm1
2017-02-06 12:45
268
polyred__1088_36.min1.thm1
2017-02-06 12:45
2.3K
polyred__1089_22.min1.thm1
2017-02-06 12:45
2.3K
polyred__1097_23.min1.thm1
2017-02-06 12:45
801
polyred__1108_21.min1.thm1
2017-02-06 12:45
3.1K
polyred__1146_41.min1.thm1
2017-02-06 12:45
468
polyred__1159_15.min1.thm1
2017-02-06 12:45
464
polyred__1159_15.min1.thm1.tptp
2017-02-06 16:47
406
polyred__1160_16.min1.thm1
2017-02-06 12:45
464
polyred__1160_16.min1.thm1.tptp
2017-02-06 16:47
406
polyred__1161_22.min1.thm1
2017-02-06 12:45
731
polyred__1168_19.min1.thm1
2017-02-06 12:45
430
polyred__1168_19.min1.thm1.tptp
2017-02-06 16:47
367
polyred__1172_15.min1.thm1
2017-02-06 12:45
462
polyred__1172_15.min1.thm1.tptp
2017-02-06 16:47
404
polyred__1173_29.min1.thm1
2017-02-06 12:45
454
polyred__1173_29.min1.thm1.tptp
2017-02-06 16:47
368
polyred__1185_25.min1.thm1
2017-02-06 12:45
444
polyred__1185_25.min1.thm1.tptp
2017-02-06 16:47
378
polyred__1196_25.min1.thm1
2017-02-06 12:45
758
polyred__1199_27.min1.thm1
2017-02-06 12:45
1.1K
polyred__1200_27.min1.thm1
2017-02-06 12:45
490
polyred__1222_11.min1.thm1
2017-02-06 12:45
414
polyred__1227_53.min1.thm1
2017-02-06 12:45
407
polyred__1227_53.min1.thm1.tptp
2017-02-06 16:47
327
polyred__1229_20.min1.thm1
2017-02-06 12:45
651
polyred__1230_49.min1.thm1
2017-02-06 12:45
1.8K
polyred__1239_23.min1.thm1
2017-02-06 12:45
1.4K
polyred__1245_55.min1.thm1
2017-02-06 12:45
519
polyred__1245_55.min1.thm1.tptp
2017-02-06 16:47
439
polyred__1247_24.min1.thm1
2017-02-06 12:45
765
polyred__1267_20.min1.thm1
2017-02-06 12:45
2.2K
polyred__1268_32.min1.thm1
2017-02-06 12:45
1.2K
polyred__1313_47.min1.thm1
2017-02-06 12:45
1.7K
polyred__1314_28.min1.thm1
2017-02-06 12:45
1.5K
polyred__1320_15.min1.thm1
2017-02-06 12:45
1.4K
polyred__1337_15.min1.thm1
2017-02-06 12:45
344
polyred__1345_29.min1.thm1
2017-02-06 12:45
2.9K
polyred__1346_23.min1.thm1
2017-02-06 12:45
3.8K
polyred__1357_19.min1.thm1
2017-02-06 12:45
262
polyred__1362_52.min1.thm1
2017-02-06 12:45
3.7K
polyred__1364_55.min1.thm1
2017-02-06 12:45
3.6K
polyred__1375_23.min1.thm1
2017-02-06 12:45
1.4K
polyred__1395_11.min1.thm1
2017-02-06 12:45
218
polyred__1414_54.min1.thm1
2017-02-06 12:45
940
polyred__1422_25.min1.thm1
2017-02-06 12:45
1.8K
polyred__1459_11.min1.thm1
2017-02-06 12:45
416
polyred__1464_53.min1.thm1
2017-02-06 12:45
407
polyred__1464_53.min1.thm1.tptp
2017-02-06 16:47
327
polyred__1466_20.min1.thm1
2017-02-06 12:45
651
polyred__1467_49.min1.thm1
2017-02-06 12:45
2.1K
polyred__1479_54.min1.thm1
2017-02-06 12:45
521
polyred__1479_54.min1.thm1.tptp
2017-02-06 16:47
441
polyred__1481_23.min1.thm1
2017-02-06 12:45
767
polyred__1485_20.min1.thm1
2017-02-06 12:45
1.8K
polyred__1496_35.min1.thm1
2017-02-06 12:45
1.6K
polyred__1516_11.min1.thm1
2017-02-06 12:45
218
polyred__1519_49.min1.thm1
2017-02-06 12:45
940
polyred__1529_35.min1.thm1
2017-02-06 12:45
1.3K
polyred__1530_27.min1.thm1
2017-02-06 12:45
1.7K
polyred__1533_17.min1.thm1
2017-02-06 12:45
268
polyred__1539_23.min1.thm1
2017-02-06 12:45
2.2K
polyred__1546_28.min1.thm1
2017-02-06 12:45
1.1K
polyred__1547_20.min1.thm1
2017-02-06 12:45
623
polyred__1548_24.min1.thm1
2017-02-06 12:45
2.6K
polyred__1560_27.min1.thm1
2017-02-06 12:45
2.8K
polyred__1561_33.min1.thm1
2017-02-06 12:45
1.1K
polyred__1562_23.min1.thm1
2017-02-06 12:45
643
polyred__1569_34.min1.thm1
2017-02-06 12:45
1.7K
polyred__1574_28.min1.thm1
2017-02-06 12:45
1.1K
polyred__1575_19.min1.thm1
2017-02-06 12:45
611
polyred__1579_29.min1.thm1
2017-02-06 12:45
1.5K
polyred__1595_41.min1.thm1
2017-02-06 12:45
1.3K
polyred__1596_33.min1.thm1
2017-02-06 12:45
1.7K
polyred__1598_23.min1.thm1
2017-02-06 12:45
438
polyred__1604_37.min1.thm1
2017-02-06 12:45
1.2K
polyred__1605_27.min1.thm1
2017-02-06 12:45
649
polyred__1634_17.min1.thm1
2017-02-06 12:45
414
polyred__1647_29.min1.thm1
2017-02-06 12:45
1.0K
polyred__1684_18.min1.thm1
2017-02-06 12:45
2.6K
polyred__1711_26.min1.thm1
2017-02-06 12:45
1.5K
polyred__1713_21.min1.thm1
2017-02-06 12:45
1.0K
polyred__1715_26.min1.thm1
2017-02-06 12:45
1.5K
polyred__1717_49.min1.thm1
2017-02-06 12:45
1.2K
polyred__1719_17.min1.thm1
2017-02-06 12:45
224
polyred__1733_28.min1.thm1
2017-02-06 12:45
938
polyred__1755_28.min1.thm1
2017-02-06 12:45
1.6K
polyred__1756_29.min1.thm1
2017-02-06 12:45
1.1K
polyred__1758_26.min1.thm1
2017-02-06 12:45
413
polyred__1758_26.min1.thm1.tptp
2017-02-06 16:47
349
polyred__1759_58.min1.thm1
2017-02-06 12:45
1.5K
polyred__1773_17.min1.thm1
2017-02-06 12:45
1.0K
polyred__1809_17.min1.thm1
2017-02-06 12:45
1.4K
polyred__1819_35.min1.thm1
2017-02-06 12:45
840
polyred__1821_38.min1.thm1
2017-02-06 12:45
1.5K
polyred__1856_32.min1.thm1
2017-02-06 12:45
3.2K
polyred__1859_30.min1.thm1
2017-02-06 12:45
2.7K
polyred__1876_64.min1.thm1
2017-02-06 12:45
2.8K
polyred__1887_17.min1.thm1
2017-02-06 12:45
1.1K
polyred__1887_17.min1.thm1.tptp
2017-02-06 16:47
1.1K
polyred__1903_64.min1.thm1
2017-02-06 12:45
3.1K
polyred__1919_25.min1.thm1
2017-02-06 12:45
2.2K
polyred__1920_24.min1.thm1
2017-02-06 12:45
2.4K
polyred__1940_18.min1.thm1
2017-02-06 12:45
2.5K
polyred__1950_16.min1.thm1
2017-02-06 12:45
659
polyred__1958_20.min1.thm1
2017-02-06 12:45
2.3K
polyred__1959_33.min1.thm1
2017-02-06 12:45
2.4K
polyred__1962_17.min1.thm1
2017-02-06 12:45
726
polyred__1962_17.min1.thm1.tptp
2017-02-06 16:47
639
polyred__1973_29.min1.thm1
2017-02-06 12:45
1.2K
polyred__1997_26.min1.thm1
2017-02-06 12:45
1.8K
polyred__2010_15.min1.thm1
2017-02-06 12:45
228
polyred__2019_45.min1.thm1
2017-02-06 12:45
2.4K
polyred__2047_18.min1.thm1
2017-02-06 12:45
1.6K
polyred__2050_30.min1.thm1
2017-02-06 12:45
1.5K
polyred__2054_24.min1.thm1
2017-02-06 12:45
2.8K
polyred__2064_19.min1.thm1
2017-02-06 12:45
310
polyred__2068_26.min1.thm1
2017-02-06 12:45
1.5K
polyred__2075_28.min1.thm1
2017-02-06 12:45
2.8K
polyred__2097_33.min1.thm1
2017-02-06 12:45
1.3K
polyred__2101_33.min1.thm1
2017-02-06 12:45
1.3K
polyred__2107_28.min1.thm1
2017-02-06 12:45
2.8K
polyred__2110_21.min1.thm1
2017-02-06 12:45
608
polyred__2118_19.min1.thm1
2017-02-06 12:45
310
polyred__2123_38.min1.thm1
2017-02-06 12:45
2.1K
polyred__2130_23.min1.thm1
2017-02-06 12:45
316
polyred__2135_42.min1.thm1
2017-02-06 12:45
2.1K
polyred__2150_32.min1.thm1
2017-02-06 12:45
1.3K
polyred__2153_32.min1.thm1
2017-02-06 12:45
1.3K
polyred__2162_34.min1.thm1
2017-02-06 12:45
3.9K
polyred__2168_32.min1.thm1
2017-02-06 12:45
2.8K
polyred__2171_25.min1.thm1
2017-02-06 12:45
542
polyred__2174_21.min1.thm1
2017-02-06 12:45
530
polyred__2177_17.min1.thm1
2017-02-06 12:45
1.2K
polyred__2182_20.min1.thm1
2017-02-06 12:45
2.6K
polyred__2183_31.min1.thm1
2017-02-06 12:45
2.8K
polyred__2185_44.min1.thm1
2017-02-06 12:45
2.7K
polyred__2186_30.min1.thm1
2017-02-06 12:45
2.7K
polyred__2197_29.min1.thm1
2017-02-06 12:45
1.3K
polyred__2201_29.min1.thm1
2017-02-06 12:45
1.3K
polyred__2213_24.min1.thm1
2017-02-06 12:45
1.3K
polyred__2218_24.min1.thm1
2017-02-06 12:45
1.3K
polyred__2223_70.min1.thm1
2017-02-06 12:45
614
polyred__2223_70.min1.thm1.tptp
2017-02-06 16:47
554
polyred__2229_55.min1.thm1
2017-02-06 12:45
2.2K
polyred__2230_20.min1.thm1
2017-02-06 12:45
759
polyred__2232_70.min1.thm1
2017-02-06 12:45
614
polyred__2232_70.min1.thm1.tptp
2017-02-06 16:47
554
polyred__2238_55.min1.thm1
2017-02-06 12:45
2.2K
polyred__2239_20.min1.thm1
2017-02-06 12:45
759
polyred__2247_57.min1.thm1
2017-02-06 12:45
4.4K
polyred__2256_29.min1.thm1
2017-02-06 12:45
3.5K
polyred__2258_17.min1.thm1
2017-02-06 12:45
2.6K
polyred__2258_17.min1.thm1.tptp
2017-02-06 16:47
2.6K
polyred__2263_66.min1.thm1
2017-02-06 12:45
1.1K
polyred__2283_72.min1.thm1
2017-02-06 12:45
2.9K
polyred__2286_13.min1.thm1
2017-02-06 12:45
934
polyred__2286_13.min1.thm1.tptp
2017-02-06 16:47
876
polyred__2295_22.min1.thm1
2017-02-06 12:45
1.3K
polyred__2296_22.min1.thm1
2017-02-06 12:45
1.3K
polyred__2305_31.min1.thm1
2017-02-06 12:45
2.7K
polyred__2309_14.min1.thm1
2017-02-06 12:45
609
polyred__2328_37.min1.thm1
2017-02-06 12:45
479
polyred__2328_37.min1.thm1.tptp
2017-02-06 16:47
399
polyred__2331_55.min1.thm1
2017-02-06 12:45
2.5K
polyred__2340_25.min1.thm1
2017-02-06 12:45
2.6K
polyred__2341_17.min1.thm1
2017-02-06 12:45
3.7K
polyred__2346_48.min1.thm1
2017-02-06 12:45
3.8K
polyred__2354_15.min1.thm1
2017-02-06 12:45
430
polyred__2367_18.min1.thm1
2017-02-06 12:45
731
polyred__2369_17.min1.thm1
2017-02-06 12:45
1.0K
polyred__2369_17.min1.thm1.tptp
2017-02-06 16:47
955
polyred__2376_70.min1.thm1
2017-02-06 12:45
2.2K
polyred__2388_17.min1.thm1
2017-02-06 12:45
1.5K
polyred__2401_34.min1.thm1
2017-02-06 12:45
3.3K
polyred__2412_33.min1.thm1
2017-02-06 12:45
2.9K
polyred__2442_11.min1.thm1
2017-02-06 12:45
932
polyred__2442_11.min1.thm1.tptp
2017-02-06 16:47
874
polyred__2449_31.min1.thm1
2017-02-06 12:45
581
polyred__2449_31.min1.thm1.tptp
2017-02-06 16:47
516
polyred__2453_21.min1.thm1
2017-02-06 12:45
669
polyred__2469_59.min1.thm1
2017-02-06 12:45
1.6K
polyred__2476_16.min1.thm1
2017-02-06 12:45
1.6K
polyred__2482_24.min1.thm1
2017-02-06 12:45
2.3K
polyred__2493_29.min1.thm1
2017-02-06 12:45
2.7K
polyred__2509_17.min1.thm1
2017-02-06 12:45
1.5K
polyred__2632_19.min1.thm1
2017-02-06 12:45
1.8K
polyred__2636_21.min1.thm1
2017-02-06 12:45
822
polyred__2648_25.min1.thm1
2017-02-06 12:45
3.0K
polyred__2650_27.min1.thm1
2017-02-06 12:45
3.4K
polyred__2656_70.min1.thm1
2017-02-06 12:45
1.0K
polyred__2658_17.min1.thm1
2017-02-06 12:45
1.4K
polyred__2658_17.min1.thm1.tptp
2017-02-06 16:47
1.4K
polyred__2679_36.min1.thm1
2017-02-06 12:45
1.7K
polyred__2694_13.min1.thm1
2017-02-06 12:45
3.0K
polyred__2731_20.min1.thm1
2017-02-06 12:45
1.4K
polyred__2779_51.min1.thm1
2017-02-06 12:45
2.7K
polyred__2798_30.min1.thm1
2017-02-06 12:45
1.2K
polyred__2803_16.min1.thm1
2017-02-06 12:45
1.7K
polyred__2804_18.min1.thm1
2017-02-06 12:45
2.0K
polyred__2818_22.min1.thm1
2017-02-06 12:45
1.2K
polyred__2834_22.min1.thm1
2017-02-06 12:45
1.2K
polyred__2839_17.min1.thm1
2017-02-06 12:45
785
polyred__2839_17.min1.thm1.tptp
2017-02-06 16:47
697
polyred__2863_16.min1.thm1
2017-02-06 12:45
1.7K
polyred__2864_18.min1.thm1
2017-02-06 12:45
2.0K
polyred__2867_30.min1.thm1
2017-02-06 12:45
1.2K
polyred__2876_20.min1.thm1
2017-02-06 12:45
1.2K
polyred__2892_32.min1.thm1
2017-02-06 12:45
826
polyred__2895_27.min1.thm1
2017-02-06 12:45
3.7K
polyred__2904_15.min1.thm1
2017-02-06 12:45
200
polyred__2912_26.min1.thm1
2017-02-06 12:45
1.5K
polyred__2914_23.min1.thm1
2017-02-06 12:45
1.0K
polyred__2916_26.min1.thm1
2017-02-06 12:45
1.5K
polyred__2917_28.min1.thm1
2017-02-06 12:45
1.0K
polyred__2928_27.min1.thm1
2017-02-06 12:45
1.8K
polyred__2933_28.min1.thm1
2017-02-06 12:45
718
polyred__2936_24.min1.thm1
2017-02-06 12:45
502
polyred__2938_14.min1.thm1
2017-02-06 12:45
850
polyred__2955_41.min1.thm1
2017-02-06 12:45
1.9K
polyred__2959_27.min1.thm1
2017-02-06 12:45
3.7K
polyred__2967_34.min1.thm1
2017-02-06 12:45
830
polyred__2973_29.min1.thm1
2017-02-06 12:45
3.8K
polyred__2980_17.min1.thm1
2017-02-06 12:45
442
polyred__2986_31.min1.thm1
2017-02-06 12:45
1.2K
polyred__2989_36.min1.thm1
2017-02-06 12:45
1.2K
polyred__3010_29.min1.thm1
2017-02-06 12:45
3.3K
polyred__3011_30.min1.thm1
2017-02-06 12:45
2.9K
polyred__3012_56.min1.thm1
2017-02-06 12:45
3.1K
polyred__3015_49.min1.thm1
2017-02-06 12:45
1.3K
polyred__3020_21.min1.thm1
2017-02-06 12:45
334
polyred__3023_46.min1.thm1
2017-02-06 12:45
4.4K
polyred__3025_33.min1.thm1
2017-02-06 12:45
1.7K
polyred__3027_56.min1.thm1
2017-02-06 12:45
3.1K
polyred__3034_16.min1.thm1
2017-02-06 12:45
642
polyred__3034_16.min1.thm1.tptp
2017-02-06 16:47
582
polyred__3038_35.min1.thm1
2017-02-06 12:45
497
polyred__3038_35.min1.thm1.tptp
2017-02-06 16:47
429
polyred__3040_38.min1.thm1
2017-02-06 12:45
2.6K
polyred__3075_37.min1.thm1
2017-02-06 12:45
406
polyred__3077_48.min1.thm1
2017-02-06 12:45
2.5K
polyred__3078_72.min1.thm1
2017-02-06 12:45
2.5K
polyred__3080_31.min1.thm1
2017-02-06 12:45
791
polyred__3085_30.min1.thm1
2017-02-06 12:45
3.4K
polyred__3086_56.min1.thm1
2017-02-06 12:45
3.1K
polyred__3089_49.min1.thm1
2017-02-06 12:45
1.1K
polyred__3092_45.min1.thm1
2017-02-06 12:45
1.2K
polyred__3094_16.min1.thm1
2017-02-06 12:45
2.4K
polyred__3102_21.min1.thm1
2017-02-06 12:45
2.2K
polyred__3103_23.min1.thm1
2017-02-06 12:45
1.6K
polyred__3108_43.min1.thm1
2017-02-06 12:45
2.8K
polyred__3112_32.min1.thm1
2017-02-06 12:45
4.0K
polyred__3113_17.min1.thm1
2017-02-06 12:45
3.0K
polyred__3143_30.min1.thm1
2017-02-06 12:45
3.3K
polyred__3144_55.min1.thm1
2017-02-06 12:45
3.5K
polyred__3147_29.min1.thm1
2017-02-06 12:45
419
polyred__3147_29.min1.thm1.tptp
2017-02-06 16:47
351
polyred__3152_27.min1.thm1
2017-02-06 12:45
2.2K
polyred__3156_22.min1.thm1
2017-02-06 12:45
2.4K
polyred__3157_32.min1.thm1
2017-02-06 12:45
934
polyred__3159_48.min1.thm1
2017-02-06 12:45
805
polyred__3159_48.min1.thm1.tptp
2017-02-06 16:47
717
polyred__3184_29.min1.thm1
2017-02-06 12:45
423
polyred__3184_29.min1.thm1.tptp
2017-02-06 16:47
355
polyred__3185_59.min1.thm1
2017-02-06 12:45
1.9K
polyred__3186_17.min1.thm1
2017-02-06 12:45
607
polyred__3187_17.min1.thm1
2017-02-06 12:45
518
polyred__3189_28.min1.thm1
2017-02-06 12:45
2.0K
polyred__3200_29.min1.thm1
2017-02-06 12:45
423
polyred__3200_29.min1.thm1.tptp
2017-02-06 16:47
355
polyred__3201_59.min1.thm1
2017-02-06 12:45
1.9K
polyred__3202_17.min1.thm1
2017-02-06 12:45
607
polyred__3203_17.min1.thm1
2017-02-06 12:45
518
polyred__3205_28.min1.thm1
2017-02-06 12:45
2.0K
polyred__3207_21.min1.thm1
2017-02-06 12:45
712
polyred__3207_21.min1.thm1.tptp
2017-02-06 16:47
624
polyred__3224_53.min1.thm1
2017-02-06 12:45
3.3K
polyred__3266_23.min1.thm1
2017-02-06 12:45
804
polyred__3269_19.min1.thm1
2017-02-06 12:45
677
polyred__3276_21.min1.thm1
2017-02-06 12:45
1.1K
polyred__3284_17.min1.thm1
2017-02-06 12:45
512
polyred__3284_17.min1.thm1.tptp
2017-02-06 16:47
454
polyred__3292_23.min1.thm1
2017-02-06 12:45
1.2K
polyred__3295_21.min1.thm1
2017-02-06 12:45
1.2K
polyred__3296_21.min1.thm1
2017-02-06 12:45
1.1K
polyred__3298_25.min1.thm1
2017-02-06 12:45
1.3K
polyred__3299_19.min1.thm1
2017-02-06 12:45
842
polyred__3300_28.min1.thm1
2017-02-06 12:45
1.2K
polyred__3308_29.min1.thm1
2017-02-06 12:45
417
polyred__3308_29.min1.thm1.tptp
2017-02-06 16:47
349
polyred__3321_50.min1.thm1
2017-02-06 12:45
950
polyred__3322_18.min1.thm1
2017-02-06 12:45
3.4K
polyred__3326_18.min1.thm1
2017-02-06 12:45
1.9K
polyred__3335_16.min1.thm1
2017-02-06 12:45
2.4K
polyred__3344_15.min1.thm1
2017-02-06 12:45
424
polyred__3354_29.min1.thm1
2017-02-06 12:45
1.1K
polyred__3357_62.min1.thm1
2017-02-06 12:45
1.3K
polyred__3364_23.min1.thm1
2017-02-06 12:45
3.2K
polyred__3365_24.min1.thm1
2017-02-06 12:45
2.8K
polyred__3366_37.min1.thm1
2017-02-06 12:45
2.8K
polyred__3373_14.min1.thm1
2017-02-06 12:45
1.3K
polyred__3387_34.min1.thm1
2017-02-06 12:45
2.6K
polyred__3390_19.min1.thm1
2017-02-06 12:45
2.7K
polyred__3397_15.min1.thm1
2017-02-06 12:45
506
polyred__3398_28.min1.thm1
2017-02-06 12:45
1.2K
polyred__3402_20.min1.thm1
2017-02-06 12:45
1.5K
polyred__3402_20.min1.thm1.tptp
2017-02-06 16:47
1.4K
polyred__3415_24.min1.thm1
2017-02-06 12:45
2.1K
polyred__3416_40.min1.thm1
2017-02-06 12:45
479
polyred__3416_40.min1.thm1.tptp
2017-02-06 16:47
399
polyred__3422_22.min1.thm1
2017-02-06 12:45
1.8K
polyred__3423_67.min1.thm1
2017-02-06 12:45
2.5K
polyred__3427_47.min1.thm1
2017-02-06 12:45
529
polyred__3427_47.min1.thm1.tptp
2017-02-06 16:47
465
polyred__3433_41.min1.thm1
2017-02-06 12:45
1.8K
polyred__3437_70.min1.thm1
2017-02-06 12:45
2.5K
polyred__3449_17.min1.thm1
2017-02-06 12:45
621
polyred__3449_17.min1.thm1.tptp
2017-02-06 16:47
563
polyred__3451_17.min1.thm1
2017-02-06 12:45
525
polyred__3451_17.min1.thm1.tptp
2017-02-06 16:47
467
polyred__3453_29.min1.thm1
2017-02-06 12:45
425
polyred__3453_29.min1.thm1.tptp
2017-02-06 16:47
357
polyred__3454_58.min1.thm1
2017-02-06 12:45
1.9K
polyred__3458_50.min1.thm1
2017-02-06 12:45
1.0K
polyred__3459_19.min1.thm1
2017-02-06 12:45
3.5K
polyred__3461_34.min1.thm1
2017-02-06 12:45
3.1K
polyred__3464_25.min1.thm1
2017-02-06 12:45
2.1K
polyred__3465_20.min1.thm1
2017-02-06 12:45
3.0K
polyred__3467_49.min1.thm1
2017-02-06 12:45
3.5K
polyred__3468_44.min1.thm1
2017-02-06 12:45
1.3K
polyred__3471_33.min1.thm1
2017-02-06 12:45
902
polyred__3472_61.min1.thm1
2017-02-06 12:45
833
polyred__3472_61.min1.thm1.tptp
2017-02-06 16:47
761
polyred__3485_20.min1.thm1
2017-02-06 12:45
1.0K
polyred__3485_20.min1.thm1.tptp
2017-02-06 16:47
923
polyred__3496_49.min1.thm1
2017-02-06 12:45
1.5K
polyred__3504_17.min1.thm1
2017-02-06 12:45
428
polyred__3504_17.min1.thm1.tptp
2017-02-06 16:47
370
polyred__3505_35.min1.thm1
2017-02-06 12:45
815
polyred__3506_29.min1.thm1
2017-02-06 12:45
419
polyred__3506_29.min1.thm1.tptp
2017-02-06 16:47
351
polyred__3507_59.min1.thm1
2017-02-06 12:45
1.8K
polyred__3511_25.min1.thm1
2017-02-06 12:45
3.1K
polyred__3515_26.min1.thm1
2017-02-06 12:45
444
polyred__3536_11.min1.thm1
2017-02-06 12:45
932
polyred__3536_11.min1.thm1.tptp
2017-02-06 16:47
874
polyred__3544_59.min1.thm1
2017-02-06 12:45
1.9K
polyred__3548_15.min1.thm1
2017-02-06 12:45
938
polyred__3548_15.min1.thm1.tptp
2017-02-06 16:47
880
polyred__3556_63.min1.thm1
2017-02-06 12:45
1.9K
polyred__3570_39.min1.thm1
2017-02-06 12:45
371
polyred__3583_60.min1.thm1
2017-02-06 12:45
2.0K
polyred__3627_16.min1.thm1
2017-02-06 12:45
1.1K
polyred__3649_27.min1.thm1
2017-02-06 12:45
3.7K
polyred__3653_19.min1.thm1
2017-02-06 12:45
1.7K
polyred__3656_23.min1.thm1
2017-02-06 12:45
2.3K
polyred__3671_47.min1.thm1
2017-02-06 12:45
1.7K
polyred__3676_52.min1.thm1
2017-02-06 12:45
1.7K
polyred__3718_11.min1.thm1
2017-02-06 12:45
918
polyred__3718_11.min1.thm1.tptp
2017-02-06 16:47
860
polyred__3727_52.min1.thm1
2017-02-06 12:45
1.7K
polyred__3753_25.min1.thm1
2017-02-06 12:45
836
polyred__3756_21.min1.thm1
2017-02-06 12:45
697
polyred__3763_23.min1.thm1
2017-02-06 12:45
1.1K
polyred__3771_19.min1.thm1
2017-02-06 12:45
552
polyred__3771_19.min1.thm1.tptp
2017-02-06 16:47
494
polyred__3779_25.min1.thm1
2017-02-06 12:45
1.3K
polyred__3780_21.min1.thm1
2017-02-06 12:45
905
polyred__3782_23.min1.thm1
2017-02-06 12:45
1.2K
polyred__3783_23.min1.thm1
2017-02-06 12:45
1.2K
polyred__3785_27.min1.thm1
2017-02-06 12:45
1.3K
polyred__3786_21.min1.thm1
2017-02-06 12:45
890
polyred__3787_30.min1.thm1
2017-02-06 12:45
1.3K
polyred__3795_31.min1.thm1
2017-02-06 12:45
433
polyred__3795_31.min1.thm1.tptp
2017-02-06 16:47
365
polyred__3811_20.min1.thm1
2017-02-06 12:45
2.2K
polyred__3817_19.min1.thm1
2017-02-06 12:45
2.8K
polyred__3883_17.min1.thm1
2017-02-06 12:45
675
polyred__3884_24.min1.thm1
2017-02-06 12:45
1.1K
polyred__3891_16.min1.thm1
2017-02-06 12:45
510
polyred__3891_16.min1.thm1.tptp
2017-02-06 16:47
452
polyred__3895_28.min1.thm1
2017-02-06 12:45
467
polyred__3895_28.min1.thm1.tptp
2017-02-06 16:47
399
polyred__3896_57.min1.thm1
2017-02-06 12:45
2.1K
polyred__3900_29.min1.thm1
2017-02-06 12:45
3.4K
polyred__3902_31.min1.thm1
2017-02-06 12:45
3.5K
polyred__3905_17.min1.thm1
2017-02-06 12:45
676
polyred__3916_21.min1.thm1
2017-02-06 12:45
1.2K
polyred__3917_17.min1.thm1
2017-02-06 12:45
838
polyred__3919_19.min1.thm1
2017-02-06 12:45
1.2K
polyred__3920_19.min1.thm1
2017-02-06 12:45
1.1K
polyred__3922_23.min1.thm1
2017-02-06 12:45
1.2K
polyred__3923_17.min1.thm1
2017-02-06 12:45
827
polyred__3924_26.min1.thm1
2017-02-06 12:45
1.2K
polyred__3934_19.min1.thm1
2017-02-06 12:45
1.0K
polyred__3958_17.min1.thm1
2017-02-06 12:45
354
polyred__3961_35.min1.thm1
2017-02-06 12:45
1.2K
polyred__3967_47.min1.thm1
2017-02-06 12:45
1.2K
polyred__3967_47.min1.thm1.tptp
2017-02-06 16:47
1.1K
polyred__3972_61.min1.thm1
2017-02-06 12:45
1.9K
polyred__3983_17.min1.thm1
2017-02-06 12:45
354
polyred__3986_35.min1.thm1
2017-02-06 12:45
1.2K
polyred__3992_47.min1.thm1
2017-02-06 12:45
1.2K
polyred__3992_47.min1.thm1.tptp
2017-02-06 16:47
1.1K
polyred__3997_61.min1.thm1
2017-02-06 12:45
1.9K
polyred__4097_34.min1.thm1
2017-02-06 12:45
3.0K
polyred__4125_27.min1.thm1
2017-02-06 12:45
1.7K
polyred__4126_17.min1.thm1
2017-02-06 12:45
1.2K
polyred__4139_20.min1.thm1
2017-02-06 12:45
1.3K
polyred__4141_20.min1.thm1
2017-02-06 12:45
1.6K
polyred__4144_26.min1.thm1
2017-02-06 12:45
1.1K
polyred__4146_29.min1.thm1
2017-02-06 12:45
1.2K
polyred__4148_24.min1.thm1
2017-02-06 12:45
1.1K
polyred__4149_16.min1.thm1
2017-02-06 12:45
1.3K
polyred__4150_13.min1.thm1
2017-02-06 12:45
948
polyred__4152_17.min1.thm1
2017-02-06 12:45
1.5K
polyred__4164_33.min1.thm1
2017-02-06 12:45
1.4K
polyred__4166_27.min1.thm1
2017-02-06 12:45
1.3K
polyred__4167_39.min1.thm1
2017-02-06 12:45
1.0K
polyred__4169_29.min1.thm1
2017-02-06 12:45
1.0K
polyred__4171_24.min1.thm1
2017-02-06 12:45
1.0K
polyred__4172_16.min1.thm1
2017-02-06 12:45
1.1K
polyred__4173_15.min1.thm1
2017-02-06 12:45
834
polyred__4174_17.min1.thm1
2017-02-06 12:45
1.4K
polyred__4188_33.min1.thm1
2017-02-06 12:45
1.9K
polyred__4190_29.min1.thm1
2017-02-06 12:45
1.9K
polyred__4198_17.min1.thm1
2017-02-06 12:45
2.4K
polyred__4214_15.min1.thm1
2017-02-06 12:45
1.3K
polyred__4216_23.min1.thm1
2017-02-06 12:45
1.8K
polyred__4227_26.min1.thm1
2017-02-06 12:45
1.9K
polyred__4230_15.min1.thm1
2017-02-06 12:45
1.3K
polyred__4231_26.min1.thm1
2017-02-06 12:45
1.8K
polyred__4232_44.min1.thm1
2017-02-06 12:45
1.6K
polyred__4253_30.min1.thm1
2017-02-06 12:45
330
polyred__4262_25.min1.thm1
2017-02-06 12:45
3.3K
polyred__4264_27.min1.thm1
2017-02-06 12:45
3.4K
polyred__4268_58.min1.thm1
2017-02-06 12:45
537
polyred__4273_19.min1.thm1
2017-02-06 12:45
1.1K
polyred__4275_18.min1.thm1
2017-02-06 12:45
1.5K
polyred__4279_57.min1.thm1
2017-02-06 12:45
1.4K
polyred__4286_33.min1.thm1
2017-02-06 12:45
335
polyred__4287_32.min1.thm1
2017-02-06 12:45
335
polyred__4290_20.min1.thm1
2017-02-06 12:45
956
polyred__4291_17.min1.thm1
2017-02-06 12:45
522
polyred__4292_20.min1.thm1
2017-02-06 12:45
1.3K
polyred__4357_23.min1.thm1
2017-02-06 12:45
804
polyred__4360_19.min1.thm1
2017-02-06 12:45
677
polyred__4367_21.min1.thm1
2017-02-06 12:45
1.1K
polyred__4371_36.min1.thm1
2017-02-06 12:45
1.2K
polyred__4371_36.min1.thm1.tptp
2017-02-06 16:47
1.1K
polyred__4380_21.min1.thm1
2017-02-06 12:45
540
polyred__4380_21.min1.thm1.tptp
2017-02-06 16:47
482
polyred__4391_21.min1.thm1
2017-02-06 12:45
540
polyred__4391_21.min1.thm1.tptp
2017-02-06 16:47
482
polyred__4392_21.min1.thm1
2017-02-06 12:45
494
polyred__4392_21.min1.thm1.tptp
2017-02-06 16:47
436
polyred__4405_23.min1.thm1
2017-02-06 12:45
1.2K
polyred__4408_21.min1.thm1
2017-02-06 12:45
1.2K
polyred__4409_21.min1.thm1
2017-02-06 12:45
1.1K
polyred__4411_25.min1.thm1
2017-02-06 12:45
1.3K
polyred__4412_19.min1.thm1
2017-02-06 12:45
842
polyred__4413_28.min1.thm1
2017-02-06 12:45
1.2K
polyred__4422_53.min1.thm1
2017-02-06 12:45
352
polyred__4437_21.min1.thm1
2017-02-06 12:45
448
polyred__4437_21.min1.thm1.tptp
2017-02-06 16:47
390
polyred__4439_33.min1.thm1
2017-02-06 12:45
439
polyred__4439_33.min1.thm1.tptp
2017-02-06 16:47
371
polyred__4440_62.min1.thm1
2017-02-06 12:45
2.0K
polyred__4442_21.min1.thm1
2017-02-06 12:45
449
polyred__4442_21.min1.thm1.tptp
2017-02-06 16:47
391
polyred__4446_57.min1.thm1
2017-02-06 12:45
376
polyred__4448_50.min1.thm1
2017-02-06 12:45
4.0K
polyred__4450_35.min1.thm1
2017-02-06 12:45
2.8K
polyred__4458_21.min1.thm1
2017-02-06 12:45
448
polyred__4458_21.min1.thm1.tptp
2017-02-06 16:47
390
polyred__4461_28.min1.thm1
2017-02-06 12:45
439
polyred__4461_28.min1.thm1.tptp
2017-02-06 16:47
371
polyred__4462_21.min1.thm1
2017-02-06 12:45
448
polyred__4462_21.min1.thm1.tptp
2017-02-06 16:47
390
polyred__4463_64.min1.thm1
2017-02-06 12:45
535
polyred__4464_49.min1.thm1
2017-02-06 12:45
940
polyred__4464_49.min1.thm1.tptp
2017-02-06 16:47
854
polyred__4467_62.min1.thm1
2017-02-06 12:45
459
polyred__4467_62.min1.thm1.tptp
2017-02-06 16:47
373
polyred__4468_57.min1.thm1
2017-02-06 12:45
376
polyred__4469_56.min1.thm1
2017-02-06 12:45
376
polyred__4473_35.min1.thm1
2017-02-06 12:45
3.1K
polyred__4476_46.min1.thm1
2017-02-06 12:45
3.2K
polyred__4478_18.min1.thm1
2017-02-06 12:45
2.2K
polyred__4496_17.min1.thm1
2017-02-06 12:45
2.6K
polyred__4516_52.min1.thm1
2017-02-06 12:45
741
polyred__4518_51.min1.thm1
2017-02-06 12:45
2.8K
polyred__4519_45.min1.thm1
2017-02-06 12:45
3.8K
polyred__4521_13.min1.thm1
2017-02-06 12:45
941
polyred__4521_13.min1.thm1.tptp
2017-02-06 16:47
883
polyred__4532_57.min1.thm1
2017-02-06 12:45
1.8K
polyred__4561_25.min1.thm1
2017-02-06 12:45
893
polyred__4565_30.min1.thm1
2017-02-06 12:45
2.1K
polyred__4572_39.min1.thm1
2017-02-06 12:45
375
polyred__4579_52.min1.thm1
2017-02-06 12:45
3.9K
polyred__4591_18.min1.thm1
2017-02-06 12:45
1.7K
polyred__4594_14.min1.thm1
2017-02-06 12:45
1.1K
polyred__4630_50.min1.thm1
2017-02-06 12:45
1.6K
polyred__4633_19.min1.thm1
2017-02-06 12:45
677
polyred__4636_19.min1.thm1
2017-02-06 12:45
381
polyred__4652_19.min1.thm1
2017-02-06 12:45
412
polyred__4655_59.min1.thm1
2017-02-06 12:45
3.8K
polyred__4662_26.min1.thm1
2017-02-06 12:45
442
polyred__4677_53.min1.thm1
2017-02-06 12:45
809
polyred__4679_51.min1.thm1
2017-02-06 12:45
408
polyred__4681_16.min1.thm1
2017-02-06 12:45
1.2K
polyred__4692_24.min1.thm1
2017-02-06 12:45
2.0K
polyred__4699_26.min1.thm1
2017-02-06 12:45
2.7K
polyred__4719_50.min1.thm1
2017-02-06 12:45
534
polyred__4719_50.min1.thm1.tptp
2017-02-06 16:47
446
polyred__4722_30.min1.thm1
2017-02-06 12:45
330
polyred__4731_38.min1.thm1
2017-02-06 12:45
2.5K
polyred__4735_17.min1.thm1
2017-02-06 12:45
3.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80