Index of /~mptp/1147/MPTP2/ilp0/card_5
Name
Last modified
Size
Description
Parent Directory
-
card_5__46_18.min1.thm1
2017-02-06 12:44
913
card_5__47_18.min1.thm1
2017-02-06 12:46
853
card_5__60_9.min1.thm1
2017-02-06 12:44
633
card_5__61_17.min1.thm1
2017-02-06 12:46
505
card_5__72_17.min1.thm1
2017-02-06 12:46
602
card_5__74_27.min1.thm1
2017-02-06 12:46
568
card_5__76_18.min1.thm1
2017-02-06 12:44
452
card_5__76_18.min1.thm1.tptp
2017-02-06 16:48
366
card_5__81_17.min1.thm1
2017-02-06 12:44
546
card_5__82_17.min1.thm1
2017-02-06 12:46
690
card_5__88_12.min1.thm1
2017-02-06 12:46
659
card_5__89_25.min1.thm1
2017-02-06 12:46
751
card_5__90_14.min1.thm1
2017-02-06 12:44
919
card_5__104_42.min1.thm1
2017-02-06 12:46
214
card_5__105_19.min1.thm1
2017-02-06 12:44
394
card_5__106_45.min1.thm1
2017-02-06 12:44
1.3K
card_5__110_17.min1.thm1
2017-02-06 12:46
363
card_5__110_17.min1.thm1.tptp
2017-02-06 16:48
292
card_5__112_18.min1.thm1
2017-02-06 12:46
428
card_5__134_24.min1.thm1
2017-02-06 12:44
415
card_5__134_24.min1.thm1.tptp
2017-02-06 16:48
354
card_5__135_15.min1.thm1
2017-02-06 12:44
463
card_5__136_32.min1.thm1
2017-02-06 12:46
612
card_5__137_18.min1.thm1
2017-02-06 12:44
282
card_5__147_16.min1.thm1
2017-02-06 12:44
766
card_5__150_14.min1.thm1
2017-02-06 12:46
564
card_5__151_26.min1.thm1
2017-02-06 12:44
289
card_5__151_26.min1.thm1.tptp
2017-02-06 16:48
203
card_5__157_44.min1.thm1
2017-02-06 12:44
553
card_5__158_28.min1.thm1
2017-02-06 12:46
699
card_5__159_22.min1.thm1
2017-02-06 12:44
487
card_5__161_23.min1.thm1
2017-02-06 12:46
717
card_5__162_32.min1.thm1
2017-02-06 12:46
325
card_5__162_32.min1.thm1.tptp
2017-02-06 16:48
242
card_5__164_23.min1.thm1
2017-02-06 12:46
656
card_5__165_58.min1.thm1
2017-02-06 12:46
539
card_5__165_58.min1.thm1.tptp
2017-02-06 16:48
482
card_5__166_32.min1.thm1
2017-02-06 12:44
554
card_5__167_23.min1.thm1
2017-02-06 12:46
934
card_5__170_43.min1.thm1
2017-02-06 12:44
427
card_5__170_43.min1.thm1.tptp
2017-02-06 16:48
368
card_5__178_16.min1.thm1
2017-02-06 12:46
831
card_5__181_14.min1.thm1
2017-02-06 12:46
631
card_5__182_38.min1.thm1
2017-02-06 12:44
376
card_5__182_38.min1.thm1.tptp
2017-02-06 16:48
299
card_5__183_20.min1.thm1
2017-02-06 12:44
485
card_5__185_25.min1.thm1
2017-02-06 12:44
727
card_5__186_25.min1.thm1
2017-02-06 12:44
673
card_5__188_25.min1.thm1
2017-02-06 12:44
838
card_5__189_34.min1.thm1
2017-02-06 12:44
449
card_5__191_25.min1.thm1
2017-02-06 12:46
800
card_5__194_28.min1.thm1
2017-02-06 12:46
570
card_5__194_28.min1.thm1.tptp
2017-02-06 16:48
513
card_5__195_19.min1.thm1
2017-02-06 12:44
643
card_5__196_26.min1.thm1
2017-02-06 12:46
1.1K
card_5__198_30.min1.thm1
2017-02-06 12:46
496
card_5__200_37.min1.thm1
2017-02-06 12:46
1.0K
card_5__207_39.min1.thm1
2017-02-06 12:44
662
card_5__210_16.min1.thm1
2017-02-06 12:46
871
card_5__213_16.min1.thm1
2017-02-06 12:44
618
card_5__214_32.min1.thm1
2017-02-06 12:46
660
card_5__215_19.min1.thm1
2017-02-06 12:44
672
card_5__218_16.min1.thm1
2017-02-06 12:46
917
card_5__219_49.min1.thm1
2017-02-06 12:44
647
card_5__220_20.min1.thm1
2017-02-06 12:44
793
card_5__221_21.min1.thm1
2017-02-06 12:44
1.0K
card_5__223_32.min1.thm1
2017-02-06 12:46
891
card_5__225_23.min1.thm1
2017-02-06 12:46
695
card_5__227_15.min1.thm1
2017-02-06 12:44
188
card_5__230_30.min1.thm1
2017-02-06 12:44
840
card_5__231_30.min1.thm1
2017-02-06 12:44
506
card_5__233_21.min1.thm1
2017-02-06 12:46
475
card_5__234_21.min1.thm1
2017-02-06 12:44
463
card_5__235_26.min1.thm1
2017-02-06 12:46
743
card_5__241_26.min1.thm1
2017-02-06 12:46
816
card_5__242_31.min1.thm1
2017-02-06 12:46
315
card_5__242_31.min1.thm1.tptp
2017-02-06 16:48
232
card_5__244_26.min1.thm1
2017-02-06 12:44
783
card_5__247_29.min1.thm1
2017-02-06 12:44
570
card_5__247_29.min1.thm1.tptp
2017-02-06 16:48
513
card_5__248_16.min1.thm1
2017-02-06 12:44
721
card_5__249_22.min1.thm1
2017-02-06 12:46
1.0K
card_5__253_19.min1.thm1
2017-02-06 12:44
391
card_5__253_19.min1.thm1.tptp
2017-02-06 16:48
321
card_5__255_10.min1.thm1
2017-02-06 12:46
333
card_5__255_10.min1.thm1.tptp
2017-02-06 16:48
261
card_5__257_14.min1.thm1
2017-02-06 12:44
388
card_5__257_14.min1.thm1.tptp
2017-02-06 16:48
325
card_5__265_27.min1.thm1
2017-02-06 12:44
475
card_5__265_27.min1.thm1.tptp
2017-02-06 16:48
416
card_5__266_32.min1.thm1
2017-02-06 12:44
389
card_5__266_32.min1.thm1.tptp
2017-02-06 16:48
326
card_5__267_19.min1.thm1
2017-02-06 12:44
588
card_5__281_28.min1.thm1
2017-02-06 12:44
394
card_5__282_37.min1.thm1
2017-02-06 12:44
583
card_5__283_66.min1.thm1
2017-02-06 12:46
846
card_5__286_40.min1.thm1
2017-02-06 12:44
905
card_5__288_24.min1.thm1
2017-02-06 12:44
1.0K
card_5__289_26.min1.thm1
2017-02-06 12:46
494
card_5__289_26.min1.thm1.tptp
2017-02-06 16:48
451
card_5__291_18.min1.thm1
2017-02-06 12:44
1.2K
card_5__292_18.min1.thm1
2017-02-06 12:44
442
card_5__292_18.min1.thm1.tptp
2017-02-06 16:48
399
card_5__294_18.min1.thm1
2017-02-06 12:44
1.1K
card_5__295_33.min1.thm1
2017-02-06 12:46
1.0K
card_5__296_39.min1.thm1
2017-02-06 12:44
899
card_5__299_12.min1.thm1
2017-02-06 12:46
421
card_5__299_12.min1.thm1.tptp
2017-02-06 16:48
339
card_5__306_20.min1.thm1
2017-02-06 12:44
802
card_5__307_48.min1.thm1
2017-02-06 12:44
659
card_5__308_15.min1.thm1
2017-02-06 12:46
1.0K
card_5__309_13.min1.thm1
2017-02-06 12:46
682
card_5__310_30.min1.thm1
2017-02-06 12:46
1.4K
card_5__312_20.min1.thm1
2017-02-06 12:44
1.6K
card_5__313_14.min1.thm1
2017-02-06 12:44
1.0K
card_5__315_16.min1.thm1
2017-02-06 12:44
1.0K
card_5__316_13.min1.thm1
2017-02-06 12:44
321
card_5__316_13.min1.thm1.tptp
2017-02-06 16:48
242
card_5__317_20.min1.thm1
2017-02-06 12:44
1.2K
card_5__318_20.min1.thm1
2017-02-06 12:44
657
card_5__319_19.min1.thm1
2017-02-06 12:46
804
card_5__321_16.min1.thm1
2017-02-06 12:44
1.4K
card_5__333_4.min1.thm1
2017-02-06 12:46
844
card_5__335_13.min1.thm1
2017-02-06 12:44
384
card_5__336_17.min1.thm1
2017-02-06 12:44
1.1K
card_5__346_28.min1.thm1
2017-02-06 12:46
394
card_5__347_37.min1.thm1
2017-02-06 12:44
583
card_5__348_66.min1.thm1
2017-02-06 12:46
846
card_5__351_40.min1.thm1
2017-02-06 12:44
905
card_5__352_16.min1.thm1
2017-02-06 12:44
442
card_5__352_16.min1.thm1.tptp
2017-02-06 16:48
399
card_5__354_18.min1.thm1
2017-02-06 12:44
1.1K
card_5__355_24.min1.thm1
2017-02-06 12:46
494
card_5__355_24.min1.thm1.tptp
2017-02-06 16:48
451
card_5__357_18.min1.thm1
2017-02-06 12:44
1.2K
card_5__358_22.min1.thm1
2017-02-06 12:44
1.0K
card_5__359_28.min1.thm1
2017-02-06 12:46
1.0K
card_5__360_17.min1.thm1
2017-02-06 12:44
381
card_5__360_17.min1.thm1.tptp
2017-02-06 16:48
307
card_5__367_23.min1.thm1
2017-02-06 12:44
418
card_5__371_16.min1.thm1
2017-02-06 12:44
491
card_5__371_16.min1.thm1.tptp
2017-02-06 16:48
435
card_5__373_31.min1.thm1
2017-02-06 12:46
577
card_5__374_37.min1.thm1
2017-02-06 12:46
742
card_5__383_18.min1.thm1
2017-02-06 12:44
407
card_5__385_22.min1.thm1
2017-02-06 12:46
530
card_5__387_23.min1.thm1
2017-02-06 12:44
476
card_5__388_37.min1.thm1
2017-02-06 12:44
585
card_5__389_66.min1.thm1
2017-02-06 12:44
848
card_5__392_40.min1.thm1
2017-02-06 12:44
907
card_5__394_24.min1.thm1
2017-02-06 12:46
1.0K
card_5__395_24.min1.thm1
2017-02-06 12:44
495
card_5__395_24.min1.thm1.tptp
2017-02-06 16:48
452
card_5__397_18.min1.thm1
2017-02-06 12:44
1.2K
card_5__398_16.min1.thm1
2017-02-06 12:44
443
card_5__398_16.min1.thm1.tptp
2017-02-06 16:48
400
card_5__400_18.min1.thm1
2017-02-06 12:44
1.1K
card_5__401_33.min1.thm1
2017-02-06 12:46
1.0K
card_5__402_39.min1.thm1
2017-02-06 12:44
1.0K
card_5__403_23.min1.thm1
2017-02-06 12:44
1.4K
card_5__404_45.min1.thm1
2017-02-06 12:44
1.1K
card_5__405_21.min1.thm1
2017-02-06 12:44
810
card_5__406_43.min1.thm1
2017-02-06 12:46
749
card_5__408_34.min1.thm1
2017-02-06 12:44
1.8K
card_5__415_19.min1.thm1
2017-02-06 12:46
809
card_5__417_18.min1.thm1
2017-02-06 12:46
1.4K
card_5__418_13.min1.thm1
2017-02-06 12:44
320
card_5__418_13.min1.thm1.tptp
2017-02-06 16:48
241
card_5__420_22.min1.thm1
2017-02-06 12:46
1.5K
card_5__421_48.min1.thm1
2017-02-06 12:46
666
card_5__422_48.min1.thm1
2017-02-06 12:44
659
card_5__423_18.min1.thm1
2017-02-06 12:44
1.4K
card_5__424_35.min1.thm1
2017-02-06 12:46
787
card_5__426_27.min1.thm1
2017-02-06 12:44
1.4K
card_5__427_13.min1.thm1
2017-02-06 12:46
683
card_5__428_30.min1.thm1
2017-02-06 12:44
1.3K
card_5__429_30.min1.thm1
2017-02-06 12:44
1.6K
card_5__430_20.min1.thm1
2017-02-06 12:44
1.3K
card_5__431_20.min1.thm1
2017-02-06 12:44
890
card_5__432_20.min1.thm1
2017-02-06 12:44
574
card_5__435_18.min1.thm1
2017-02-06 12:44
1.7K
card_5__436_17.min1.thm1
2017-02-06 12:44
1.9K
card_5__438_18.min1.thm1
2017-02-06 12:44
657
card_5__439_30.min1.thm1
2017-02-06 12:46
1.9K
card_5__440_19.min1.thm1
2017-02-06 12:46
773
card_5__448_15.min1.thm1
2017-02-06 12:44
798
card_5__449_38.min1.thm1
2017-02-06 12:44
949
card_5__451_15.min1.thm1
2017-02-06 12:46
338
card_5__454_22.min1.thm1
2017-02-06 12:44
845
card_5__456_29.min1.thm1
2017-02-06 12:44
1.1K
card_5__457_37.min1.thm1
2017-02-06 12:44
1.8K
card_5__458_23.min1.thm1
2017-02-06 12:44
888
card_5__465_25.min1.thm1
2017-02-06 12:44
1.0K
card_5__466_34.min1.thm1
2017-02-06 12:44
1.2K
card_5__467_24.min1.thm1
2017-02-06 12:44
775
card_5__468_33.min1.thm1
2017-02-06 12:46
591
card_5__469_22.min1.thm1
2017-02-06 12:44
755
card_5__471_23.min1.thm1
2017-02-06 12:44
824
card_5__475_24.min1.thm1
2017-02-06 12:46
1.2K
card_5__479_27.min1.thm1
2017-02-06 12:46
1.0K
card_5__480_36.min1.thm1
2017-02-06 12:46
1.3K
card_5__481_54.min1.thm1
2017-02-06 12:44
1.4K
card_5__482_21.min1.thm1
2017-02-06 12:44
892
card_5__484_22.min1.thm1
2017-02-06 12:44
1.5K
card_5__485_35.min1.thm1
2017-02-06 12:46
606
card_5__487_19.min1.thm1
2017-02-06 12:44
797
card_5__488_24.min1.thm1
2017-02-06 12:44
913
card_5__491_22.min1.thm1
2017-02-06 12:44
694
card_5__494_20.min1.thm1
2017-02-06 12:44
1.2K
card_5__495_34.min1.thm1
2017-02-06 12:46
601
card_5__496_39.min1.thm1
2017-02-06 12:46
572
card_5__497_23.min1.thm1
2017-02-06 12:46
1.1K
card_5__499_23.min1.thm1
2017-02-06 12:46
753
card_5__500_19.min1.thm1
2017-02-06 12:44
2.0K
card_5__501_23.min1.thm1
2017-02-06 12:46
909
card_5__504_16.min1.thm1
2017-02-06 12:44
260
card_5__506_14.min1.thm1
2017-02-06 12:44
293
card_5__506_14.min1.thm1.tptp
2017-02-06 16:48
216
card_5__507_17.min1.thm1
2017-02-06 12:44
1.6K
card_5__515_19.min1.thm1
2017-02-06 12:44
406
card_5__515_19.min1.thm1.tptp
2017-02-06 16:48
339
card_5__522_26.min1.thm1
2017-02-06 12:44
468
card_5__523_13.min1.thm1
2017-02-06 12:46
378
card_5__525_13.min1.thm1
2017-02-06 12:44
788
card_5__526_21.min1.thm1
2017-02-06 12:46
856
card_5__527_16.min1.thm1
2017-02-06 12:44
957
card_5__529_12.min1.thm1
2017-02-06 12:44
636
card_5__530_44.min1.thm1
2017-02-06 12:44
953
card_5__535_13.min1.thm1
2017-02-06 12:44
760
card_5__536_25.min1.thm1
2017-02-06 12:44
609
card_5__559_23.min1.thm1
2017-02-06 12:46
622
card_5__562_20.min1.thm1
2017-02-06 12:44
775
card_5__563_30.min1.thm1
2017-02-06 12:44
680
card_5__568_21.min1.thm1
2017-02-06 12:44
888
card_5__569_30.min1.thm1
2017-02-06 12:44
626
card_5__572_22.min1.thm1
2017-02-06 12:44
779
card_5__573_32.min1.thm1
2017-02-06 12:46
688
card_5__574_23.min1.thm1
2017-02-06 12:44
796
card_5__575_24.min1.thm1
2017-02-06 12:44
1.7K
card_5__577_15.min1.thm1
2017-02-06 12:44
508
card_5__579_22.min1.thm1
2017-02-06 12:46
764
card_5__580_23.min1.thm1
2017-02-06 12:46
740
card_5__587_43.min1.thm1
2017-02-06 12:46
1.3K
card_5__589_28.min1.thm1
2017-02-06 12:44
969
card_5__592_19.min1.thm1
2017-02-06 12:46
960
card_5__609_21.min1.thm1
2017-02-06 12:44
1.4K
card_5__613_19.min1.thm1
2017-02-06 12:46
1.3K
card_5__615_46.min1.thm1
2017-02-06 12:46
1.3K
card_5__616_17.min1.thm1
2017-02-06 12:44
893
card_5__628_39.min1.thm1
2017-02-06 12:44
755
card_5__629_32.min1.thm1
2017-02-06 12:46
501
card_5__630_23.min1.thm1
2017-02-06 12:44
542
card_5__631_17.min1.thm1
2017-02-06 12:46
1.1K
card_5__637_41.min1.thm1
2017-02-06 12:44
1.3K
card_5__638_34.min1.thm1
2017-02-06 12:44
932
card_5__640_43.min1.thm1
2017-02-06 12:46
1.3K
card_5__641_52.min1.thm1
2017-02-06 12:46
1.6K
card_5__650_28.min1.thm1
2017-02-06 12:46
330
card_5__650_28.min1.thm1.tptp
2017-02-06 16:48
261
card_5__654_21.min1.thm1
2017-02-06 12:44
497
card_5__654_21.min1.thm1.tptp
2017-02-06 16:48
441
card_5__668_49.min1.thm1
2017-02-06 12:44
583
card_5__673_21.min1.thm1
2017-02-06 12:46
1.2K
card_5__676_27.min1.thm1
2017-02-06 12:46
794
card_5__678_18.min1.thm1
2017-02-06 12:44
689
card_5__679_18.min1.thm1
2017-02-06 12:44
967
card_5__680_28.min1.thm1
2017-02-06 12:46
1.1K
card_5__682_6.min1.thm1
2017-02-06 12:44
3.0K
card_5__687_20.min1.thm1
2017-02-06 12:46
1.1K
card_5__688_20.min1.thm1
2017-02-06 12:44
1.0K
card_5__689_30.min1.thm1
2017-02-06 12:46
2.9K
card_5__690_19.min1.thm1
2017-02-06 12:44
1.3K
card_5__702_15.min1.thm1
2017-02-06 12:44
578
card_5__709_53.min1.thm1
2017-02-06 12:44
1.1K
card_5__716_18.min1.thm1
2017-02-06 12:44
660
card_5__717_32.min1.thm1
2017-02-06 12:46
700
card_5__718_25.min1.thm1
2017-02-06 12:46
471
card_5__719_50.min1.thm1
2017-02-06 12:44
1.7K
card_5__721_21.min1.thm1
2017-02-06 12:44
1.3K
card_5__724_30.min1.thm1
2017-02-06 12:44
732
card_5__725_21.min1.thm1
2017-02-06 12:44
535
card_5__726_26.min1.thm1
2017-02-06 12:44
1.2K
card_5__727_43.min1.thm1
2017-02-06 12:44
1.0K
card_5__728_42.min1.thm1
2017-02-06 12:46
481
card_5__728_42.min1.thm1.tptp
2017-02-06 16:48
407
card_5__731_24.min1.thm1
2017-02-06 12:44
1.3K
card_5__732_25.min1.thm1
2017-02-06 12:46
406
card_5__732_25.min1.thm1.tptp
2017-02-06 16:48
327
card_5__733_18.min1.thm1
2017-02-06 12:44
1.3K
card_5__734_19.min1.thm1
2017-02-06 12:44
747
card_5__737_48.min1.thm1
2017-02-06 12:44
513
card_5__737_48.min1.thm1.tptp
2017-02-06 16:48
435
card_5__757_29.min1.thm1
2017-02-06 12:46
746
card_5__758_53.min1.thm1
2017-02-06 12:44
1.1K
card_5__764_25.min1.thm1
2017-02-06 12:44
1.1K
card_5__767_21.min1.thm1
2017-02-06 12:44
1.3K
card_5__770_53.min1.thm1
2017-02-06 12:44
1.1K
card_5__773_23.min1.thm1
2017-02-06 12:44
1.1K
card_5__777_19.min1.thm1
2017-02-06 12:44
1.3K
card_5__780_30.min1.thm1
2017-02-06 12:44
1.0K
card_5__781_65.min1.thm1
2017-02-06 12:44
782
card_5__782_33.min1.thm1
2017-02-06 12:44
550
card_5__783_26.min1.thm1
2017-02-06 12:46
524
card_5__784_17.min1.thm1
2017-02-06 12:44
837
card_5__790_45.min1.thm1
2017-02-06 12:46
561
card_5__791_17.min1.thm1
2017-02-06 12:46
415
card_5__791_17.min1.thm1.tptp
2017-02-06 16:48
334
card_5__799_15.min1.thm1
2017-02-06 12:46
209
card_5__805_11.min1.thm1
2017-02-06 12:46
240
card_5__819_16.min1.thm1
2017-02-06 12:44
482
card_5__822_35.min1.thm1
2017-02-06 12:44
375
card_5__824_31.min1.thm1
2017-02-06 12:44
465
card_5__824_31.min1.thm1.tptp
2017-02-06 16:48
394
card_5__827_19.min1.thm1
2017-02-06 12:44
683
card_5__834_28.min1.thm1
2017-02-06 12:46
670
card_5__835_19.min1.thm1
2017-02-06 12:46
716
card_5__851_49.min1.thm1
2017-02-06 12:46
544
card_5__851_49.min1.thm1.tptp
2017-02-06 16:48
489
card_5__854_31.min1.thm1
2017-02-06 12:44
655
card_5__855_19.min1.thm1
2017-02-06 12:46
546
card_5__855_19.min1.thm1.tptp
2017-02-06 16:48
473
card_5__870_42.min1.thm1
2017-02-06 12:44
391
card_5__870_42.min1.thm1.tptp
2017-02-06 16:48
314
card_5__871_15.min1.thm1
2017-02-06 12:46
485
card_5__872_30.min1.thm1
2017-02-06 12:46
607
card_5__873_18.min1.thm1
2017-02-06 12:44
607
card_5__876_19.min1.thm1
2017-02-06 12:46
903
card_5__883_14.min1.thm1
2017-02-06 12:44
307
card_5__883_14.min1.thm1.tptp
2017-02-06 16:48
224
card_5__891_23.min1.thm1
2017-02-06 12:44
322
card_5__896_33.min1.thm1
2017-02-06 12:46
1.1K
card_5__897_14.min1.thm1
2017-02-06 12:46
2.2K
card_5__905_15.min1.thm1
2017-02-06 12:44
620
card_5__906_20.min1.thm1
2017-02-06 12:44
1.3K
card_5__907_14.min1.thm1
2017-02-06 12:44
850
card_5__914_18.min1.thm1
2017-02-06 12:46
688
card_5__917_23.min1.thm1
2017-02-06 12:44
585
card_5__918_17.min1.thm1
2017-02-06 12:44
1.8K
card_5__922_28.min1.thm1
2017-02-06 12:44
390
card_5__922_28.min1.thm1.tptp
2017-02-06 16:48
344
card_5__927_11.min1.thm1
2017-02-06 12:44
685
card_5__928_71.min1.thm1
2017-02-06 12:46
2.0K
card_5__930_14.min1.thm1
2017-02-06 12:46
505
card_5__930_14.min1.thm1.tptp
2017-02-06 16:48
431
card_5__934_16.min1.thm1
2017-02-06 12:44
355
card_5__934_16.min1.thm1.tptp
2017-02-06 16:48
302
card_5__941_20.min1.thm1
2017-02-06 12:46
558
card_5__942_49.min1.thm1
2017-02-06 12:46
1.5K
card_5__943_16.min1.thm1
2017-02-06 12:46
473
card_5__943_16.min1.thm1.tptp
2017-02-06 16:48
390
card_5__950_11.min1.thm1
2017-02-06 12:46
605
card_5__958_20.min1.thm1
2017-02-06 12:44
590
card_5__959_19.min1.thm1
2017-02-06 12:44
703
card_5__964_13.min1.thm1
2017-02-06 12:44
689
card_5__966_27.min1.thm1
2017-02-06 12:46
1.7K
card_5__967_32.min1.thm1
2017-02-06 12:46
773
card_5__968_29.min1.thm1
2017-02-06 12:44
1.1K
card_5__969_16.min1.thm1
2017-02-06 12:44
1.1K
card_5__991_22.min1.thm1
2017-02-06 12:44
414
card_5__992_28.min1.thm1
2017-02-06 12:46
1.3K
card_5__993_16.min1.thm1
2017-02-06 12:46
855
card_5__1003_22.min1.thm1
2017-02-06 12:46
671
card_5__1004_27.min1.thm1
2017-02-06 12:44
568
card_5__1005_44.min1.thm1
2017-02-06 12:44
393
card_5__1007_45.min1.thm1
2017-02-06 12:44
266
card_5__1008_48.min1.thm1
2017-02-06 12:46
298
card_5__1009_29.min1.thm1
2017-02-06 12:44
475
card_5__1010_33.min1.thm1
2017-02-06 12:46
792
card_5__1016_42.min1.thm1
2017-02-06 12:44
786
card_5__1017_16.min1.thm1
2017-02-06 12:44
1.0K
card_5__1021_28.min1.thm1
2017-02-06 12:44
1.0K
card_5__1025_32.min1.thm1
2017-02-06 12:44
930
card_5__1026_24.min1.thm1
2017-02-06 12:44
695
card_5__1029_22.min1.thm1
2017-02-06 12:44
1.0K
card_5__1030_20.min1.thm1
2017-02-06 12:46
1.3K
card_5__1034_18.min1.thm1
2017-02-06 12:46
914
card_5__1039_45.min1.thm1
2017-02-06 12:44
513
card_5__1044_26.min1.thm1
2017-02-06 12:44
946
card_5__1046_11.min1.thm1
2017-02-06 12:46
972
card_5__1047_69.min1.thm1
2017-02-06 12:46
868
card_5__1053_21.min1.thm1
2017-02-06 12:44
725
card_5__1056_62.min1.thm1
2017-02-06 12:44
1.3K
card_5__1058_51.min1.thm1
2017-02-06 12:44
1.1K
card_5__1060_69.min1.thm1
2017-02-06 12:46
1.1K
card_5__1065_54.min1.thm1
2017-02-06 12:44
1.6K
card_5__1066_58.min1.thm1
2017-02-06 12:46
1.4K
card_5__1067_24.min1.thm1
2017-02-06 12:46
479
card_5__1067_24.min1.thm1.tptp
2017-02-06 16:48
420
card_5__1068_28.min1.thm1
2017-02-06 12:44
388
card_5__1068_28.min1.thm1.tptp
2017-02-06 16:48
325
card_5__1070_45.min1.thm1
2017-02-06 12:46
1.0K
card_5__1071_35.min1.thm1
2017-02-06 12:44
742
card_5__1073_13.min1.thm1
2017-02-06 12:46
227
card_5__1077_31.min1.thm1
2017-02-06 12:44
720
card_5__1078_35.min1.thm1
2017-02-06 12:46
1.7K
card_5__1083_27.min1.thm1
2017-02-06 12:44
899
card_5__1085_27.min1.thm1
2017-02-06 12:44
1.0K
card_5__1086_46.min1.thm1
2017-02-06 12:46
684
card_5__1087_15.min1.thm1
2017-02-06 12:44
691
card_5__1090_49.min1.thm1
2017-02-06 12:46
2.3K
card_5__1097_21.min1.thm1
2017-02-06 12:46
830
card_5__1100_14.min1.thm1
2017-02-06 12:44
276
card_5__1106_29.min1.thm1
2017-02-06 12:46
521
card_5__1107_20.min1.thm1
2017-02-06 12:46
633
card_5__1109_17.min1.thm1
2017-02-06 12:44
577
card_5__1110_26.min1.thm1
2017-02-06 12:46
720
card_5__1111_17.min1.thm1
2017-02-06 12:44
1.0K
card_5__1117_31.min1.thm1
2017-02-06 12:46
562
card_5__1118_36.min1.thm1
2017-02-06 12:44
1.6K
card_5__1119_28.min1.thm1
2017-02-06 12:44
1.3K
card_5__1121_69.min1.thm1
2017-02-06 12:46
2.6K
card_5__1123_26.min1.thm1
2017-02-06 12:46
1.3K
card_5__1124_19.min1.thm1
2017-02-06 12:46
1.2K
card_5__1125_45.min1.thm1
2017-02-06 12:46
1.9K
card_5__1126_17.min1.thm1
2017-02-06 12:44
2.6K
card_5__1136_22.min1.thm1
2017-02-06 12:44
525
card_5__1140_46.min1.thm1
2017-02-06 12:44
717
card_5__1141_28.min1.thm1
2017-02-06 12:46
533
card_5__1143_30.min1.thm1
2017-02-06 12:44
895
card_5__1146_21.min1.thm1
2017-02-06 12:44
709
card_5__1149_39.min1.thm1
2017-02-06 12:46
680
card_5__1150_43.min1.thm1
2017-02-06 12:46
353
card_5__1150_43.min1.thm1.tptp
2017-02-06 16:48
286
card_5__1151_16.min1.thm1
2017-02-06 12:44
363
card_5__1152_19.min1.thm1
2017-02-06 12:46
366
card_5__1152_19.min1.thm1.tptp
2017-02-06 16:48
288
card_5__1154_17.min1.thm1
2017-02-06 12:44
840
card_5__1155_21.min1.thm1
2017-02-06 12:46
661
card_5__1162_14.min1.thm1
2017-02-06 12:46
465
card_5__1163_30.min1.thm1
2017-02-06 12:46
731
card_5__1164_17.min1.thm1
2017-02-06 12:44
495
card_5__1165_22.min1.thm1
2017-02-06 12:46
716
card_5__1166_19.min1.thm1
2017-02-06 12:44
1.1K
card_5__1168_17.min1.thm1
2017-02-06 12:44
1.1K
card_5__1179_17.min1.thm1
2017-02-06 12:44
387
card_5__1180_27.min1.thm1
2017-02-06 12:44
661
card_5__1181_30.min1.thm1
2017-02-06 12:44
1.1K
card_5__1182_17.min1.thm1
2017-02-06 12:46
1.0K
card_5__1188_14.min1.thm1
2017-02-06 12:46
722
card_5__1198_14.min1.thm1
2017-02-06 12:46
677
card_5__1199_28.min1.thm1
2017-02-06 12:44
1.0K
card_5__1200_29.min1.thm1
2017-02-06 12:46
597
card_5__1209_27.min1.thm1
2017-02-06 12:44
521
card_5__1227_16.min1.thm1
2017-02-06 12:46
607
card_5__1228_30.min1.thm1
2017-02-06 12:44
651
card_5__1229_19.min1.thm1
2017-02-06 12:46
952
card_5__1230_27.min1.thm1
2017-02-06 12:44
840
card_5__1231_58.min1.thm1
2017-02-06 12:46
1.7K
card_5__1232_19.min1.thm1
2017-02-06 12:44
810
card_5__1234_41.min1.thm1
2017-02-06 12:46
409
card_5__1234_41.min1.thm1.tptp
2017-02-06 16:48
321
card_5__1238_26.min1.thm1
2017-02-06 12:44
437
card_5__1247_23.min1.thm1
2017-02-06 12:46
548
card_5__1248_21.min1.thm1
2017-02-06 12:44
1.3K
card_5__1250_24.min1.thm1
2017-02-06 12:44
873
card_5__1251_63.min1.thm1
2017-02-06 12:44
1.6K
card_5__1253_64.min1.thm1
2017-02-06 12:44
793
card_5__1260_24.min1.thm1
2017-02-06 12:46
965
card_5__1261_34.min1.thm1
2017-02-06 12:44
1.2K
card_5__1262_32.min1.thm1
2017-02-06 12:46
1.5K
card_5__1263_23.min1.thm1
2017-02-06 12:44
902
card_5__1265_33.min1.thm1
2017-02-06 12:44
696
card_5__1266_38.min1.thm1
2017-02-06 12:46
1.6K
card_5__1267_34.min1.thm1
2017-02-06 12:46
743
card_5__1268_35.min1.thm1
2017-02-06 12:46
1.3K
card_5__1270_39.min1.thm1
2017-02-06 12:46
634
card_5__1271_23.min1.thm1
2017-02-06 12:44
708
card_5__1272_30.min1.thm1
2017-02-06 12:44
1.0K
card_5__1274_34.min1.thm1
2017-02-06 12:46
608
card_5__1276_30.min1.thm1
2017-02-06 12:44
727
card_5__1278_8.min1.thm1
2017-02-06 12:44
688
card_5__1279_21.min1.thm1
2017-02-06 12:44
1.5K
card_5__1287_44.min1.thm1
2017-02-06 12:46
636
card_5__1288_19.min1.thm1
2017-02-06 12:44
1.3K
card_5__1291_24.min1.thm1
2017-02-06 12:46
603
card_5__1291_24.min1.thm1.tptp
2017-02-06 16:48
551
card_5__1296_44.min1.thm1
2017-02-06 12:44
636
card_5__1297_19.min1.thm1
2017-02-06 12:46
1.3K
card_5__1305_35.min1.thm1
2017-02-06 12:46
551
card_5__1306_19.min1.thm1
2017-02-06 12:44
816
card_5__1307_28.min1.thm1
2017-02-06 12:46
804
card_5__1309_24.min1.thm1
2017-02-06 12:46
1.3K
card_5__1310_42.min1.thm1
2017-02-06 12:44
1.1K
card_5__1312_33.min1.thm1
2017-02-06 12:46
836
card_5__1313_67.min1.thm1
2017-02-06 12:46
1.6K
card_5__1314_19.min1.thm1
2017-02-06 12:44
914
card_5__1320_37.min1.thm1
2017-02-06 12:44
318
card_5__1320_37.min1.thm1.tptp
2017-02-06 16:48
240
card_5__1323_14.min1.thm1
2017-02-06 12:44
1.2K
card_5__1326_16.min1.thm1
2017-02-06 12:44
636
card_5__1327_30.min1.thm1
2017-02-06 12:44
680
card_5__1328_16.min1.thm1
2017-02-06 12:44
1.0K
card_5__1329_27.min1.thm1
2017-02-06 12:46
1.4K
card_5__1331_70.min1.thm1
2017-02-06 12:46
2.0K
card_5__1333_22.min1.thm1
2017-02-06 12:46
567
card_5__1333_22.min1.thm1.tptp
2017-02-06 16:48
507
card_5__1335_18.min1.thm1
2017-02-06 12:44
1.0K
card_5__1336_23.min1.thm1
2017-02-06 12:46
1.2K
card_5__1337_28.min1.thm1
2017-02-06 12:46
937
card_5__1338_19.min1.thm1
2017-02-06 12:44
1.6K
card_5__1340_14.min1.thm1
2017-02-06 12:44
395
card_5__1341_23.min1.thm1
2017-02-06 12:46
721
card_5__1347_32.min1.thm1
2017-02-06 12:46
713
card_5__1348_19.min1.thm1
2017-02-06 12:46
1.0K
card_5__1349_27.min1.thm1
2017-02-06 12:44
869
card_5__1350_62.min1.thm1
2017-02-06 12:44
1.7K
card_5__1351_19.min1.thm1
2017-02-06 12:44
705
card_5__1353_32.min1.thm1
2017-02-06 12:44
406
card_5__1353_32.min1.thm1.tptp
2017-02-06 16:48
318
card_5__1357_17.min1.thm1
2017-02-06 12:46
624
card_5__1358_28.min1.thm1
2017-02-06 12:44
707
card_5__1359_17.min1.thm1
2017-02-06 12:46
965
card_5__1360_25.min1.thm1
2017-02-06 12:46
857
card_5__1361_56.min1.thm1
2017-02-06 12:44
1.7K
card_5__1362_54.min1.thm1
2017-02-06 12:44
716
card_5__1369_26.min1.thm1
2017-02-06 12:44
219
card_5__1370_36.min1.thm1
2017-02-06 12:46
384
card_5__1370_36.min1.thm1.tptp
2017-02-06 16:48
309
card_5__1380_34.min1.thm1
2017-02-06 12:46
293
card_5__1381_39.min1.thm1
2017-02-06 12:44
581
card_5__1383_34.min1.thm1
2017-02-06 12:44
1.6K
card_5__1386_47.min1.thm1
2017-02-06 12:46
1.3K
card_5__1387_11.min1.thm1
2017-02-06 12:46
685
card_5__1388_30.min1.thm1
2017-02-06 12:44
1.7K
card_5__1389_17.min1.thm1
2017-02-06 12:46
1.6K
card_5__1396_16.min1.thm1
2017-02-06 12:46
505
card_5__1399_20.min1.thm1
2017-02-06 12:44
550
card_5__1401_28.min1.thm1
2017-02-06 12:44
632
card_5__1402_24.min1.thm1
2017-02-06 12:44
562
card_5__1403_67.min1.thm1
2017-02-06 12:46
1.5K
card_5__1405_21.min1.thm1
2017-02-06 12:46
1.2K
card_5__1413_35.min1.thm1
2017-02-06 12:44
390
card_5__1413_35.min1.thm1.tptp
2017-02-06 16:48
315
card_5__1414_24.min1.thm1
2017-02-06 12:44
562
card_5__1422_30.min1.thm1
2017-02-06 12:46
1.0K
card_5__1423_37.min1.thm1
2017-02-06 12:46
678
card_5__1424_43.min1.thm1
2017-02-06 12:44
892
card_5__1425_30.min1.thm1
2017-02-06 12:46
1.4K
card_5__1427_31.min1.thm1
2017-02-06 12:46
905
card_5__1428_25.min1.thm1
2017-02-06 12:46
549
card_5__1428_25.min1.thm1.tptp
2017-02-06 16:48
472
card_5__1430_30.min1.thm1
2017-02-06 12:44
1.0K
card_5__1431_37.min1.thm1
2017-02-06 12:44
1.8K
card_5__1432_23.min1.thm1
2017-02-06 12:44
1.3K
card_5__1435_51.min1.thm1
2017-02-06 12:46
475
card_5__1435_51.min1.thm1.tptp
2017-02-06 16:48
397
card_5__1437_21.min1.thm1
2017-02-06 12:44
1.3K
card_5__1440_24.min1.thm1
2017-02-06 12:46
417
card_5__1443_33.min1.thm1
2017-02-06 12:44
2.1K
card_5__1444_48.min1.thm1
2017-02-06 12:44
924
card_5__1445_45.min1.thm1
2017-02-06 12:44
1.9K
card_5__1447_50.min1.thm1
2017-02-06 12:46
1.5K
card_5__1450_46.min1.thm1
2017-02-06 12:44
343
card_5__1453_41.min1.thm1
2017-02-06 12:46
566
card_5__1454_31.min1.thm1
2017-02-06 12:46
719
card_5__1456_27.min1.thm1
2017-02-06 12:44
574
card_5__1457_45.min1.thm1
2017-02-06 12:44
1.0K
card_5__1459_50.min1.thm1
2017-02-06 12:44
513
card_5__1459_50.min1.thm1.tptp
2017-02-06 16:48
435
card_5__1460_37.min1.thm1
2017-02-06 12:44
706
card_5__1462_12.min1.thm1
2017-02-06 12:44
1.5K
card_5__1467_8.min1.thm1
2017-02-06 12:44
1.1K
card_5__1470_63.min1.thm1
2017-02-06 12:46
758
card_5__1472_21.min1.thm1
2017-02-06 12:46
1.3K
card_5__1475_14.min1.thm1
2017-02-06 12:46
402
card_5__1487_57.min1.thm1
2017-02-06 12:44
548
card_5__1488_16.min1.thm1
2017-02-06 12:46
532
card_5__1492_40.min1.thm1
2017-02-06 12:44
668
card_5__1494_27.min1.thm1
2017-02-06 12:44
1.4K
card_5__1497_21.min1.thm1
2017-02-06 12:44
473
card_5__1497_21.min1.thm1.tptp
2017-02-06 16:48
407
card_5__1502_36.min1.thm1
2017-02-06 12:44
969
card_5__1503_18.min1.thm1
2017-02-06 12:44
633
card_5__1507_57.min1.thm1
2017-02-06 12:46
548
card_5__1508_19.min1.thm1
2017-02-06 12:46
1.1K
card_5__1510_26.min1.thm1
2017-02-06 12:44
925
card_5__1511_23.min1.thm1
2017-02-06 12:46
1.4K
card_5__1513_29.min1.thm1
2017-02-06 12:44
828
card_5__1520_17.min1.thm1
2017-02-06 12:46
548
card_5__1521_31.min1.thm1
2017-02-06 12:46
210
card_5__1522_21.min1.thm1
2017-02-06 12:44
554
card_5__1523_38.min1.thm1
2017-02-06 12:44
1.3K
card_5__1542_62.min1.thm1
2017-02-06 12:44
731
card_5__1545_37.min1.thm1
2017-02-06 12:44
561
card_5__1548_39.min1.thm1
2017-02-06 12:44
1.0K
card_5__1550_60.min1.thm1
2017-02-06 12:46
1.0K
card_5__1551_26.min1.thm1
2017-02-06 12:46
336
card_5__1551_26.min1.thm1.tptp
2017-02-06 16:48
267
card_5__1553_47.min1.thm1
2017-02-06 12:44
606
card_5__1554_50.min1.thm1
2017-02-06 12:44
1.2K
card_5__1556_29.min1.thm1
2017-02-06 12:44
943
card_5__1557_50.min1.thm1
2017-02-06 12:46
1.1K
card_5__1558_63.min1.thm1
2017-02-06 12:44
1.2K
card_5__1561_52.min1.thm1
2017-02-06 12:44
1.4K
card_5__1562_41.min1.thm1
2017-02-06 12:44
662
card_5__1563_59.min1.thm1
2017-02-06 12:46
1.8K
card_5__1566_64.min1.thm1
2017-02-06 12:46
1.0K
card_5__1575_37.min1.thm1
2017-02-06 12:46
561
card_5__1579_23.min1.thm1
2017-02-06 12:44
550
card_5__1580_22.min1.thm1
2017-02-06 12:46
467
card_5__1582_23.min1.thm1
2017-02-06 12:44
648
card_5__1583_48.min1.thm1
2017-02-06 12:44
1.1K
card_5__1585_65.min1.thm1
2017-02-06 12:44
942
card_5__1587_58.min1.thm1
2017-02-06 12:44
1.1K
card_5__1589_63.min1.thm1
2017-02-06 12:44
1.3K
card_5__1591_39.min1.thm1
2017-02-06 12:46
518
card_5__1592_24.min1.thm1
2017-02-06 12:44
274
card_5__1594_56.min1.thm1
2017-02-06 12:44
644
card_5__1596_49.min1.thm1
2017-02-06 12:46
1.2K
card_5__1602_58.min1.thm1
2017-02-06 12:44
1.0K
card_5__1610_18.min1.thm1
2017-02-06 12:44
833
card_5__1611_33.min1.thm1
2017-02-06 12:44
624
card_5__1612_39.min1.thm1
2017-02-06 12:44
827
card_5__1613_21.min1.thm1
2017-02-06 12:44
500
card_5__1613_21.min1.thm1.tptp
2017-02-06 16:48
423
card_5__1615_27.min1.thm1
2017-02-06 12:46
939
card_5__1616_17.min1.thm1
2017-02-06 12:44
1.2K
card_5__1618_24.min1.thm1
2017-02-06 12:44
796
card_5__1619_31.min1.thm1
2017-02-06 12:44
1.5K
card_5__1620_19.min1.thm1
2017-02-06 12:44
919
card_5__1623_39.min1.thm1
2017-02-06 12:44
431
card_5__1623_39.min1.thm1.tptp
2017-02-06 16:48
353
card_5__1624_31.min1.thm1
2017-02-06 12:46
456
card_5__1624_31.min1.thm1.tptp
2017-02-06 16:48
379
card_5__1625_39.min1.thm1
2017-02-06 12:44
1.2K
card_5__1627_30.min1.thm1
2017-02-06 12:46
829
card_5__1628_42.min1.thm1
2017-02-06 12:44
580
card_5__1629_67.min1.thm1
2017-02-06 12:46
865
card_5__1631_17.min1.thm1
2017-02-06 12:46
1.5K
card_5__1647_23.min1.thm1
2017-02-06 12:46
1.7K
card_5__1657_37.min1.thm1
2017-02-06 12:44
833
card_5__1672_20.min1.thm1
2017-02-06 12:46
1.0K
card_5__1693_15.min1.thm1
2017-02-06 12:44
578
card_5__1709_18.min1.thm1
2017-02-06 12:44
598
card_5__1714_40.min1.thm1
2017-02-06 12:44
1.5K
card_5__1717_35.min1.thm1
2017-02-06 12:46
752
card_5__1719_40.min1.thm1
2017-02-06 12:44
567
card_5__1722_35.min1.thm1
2017-02-06 12:44
618
card_5__1723_45.min1.thm1
2017-02-06 12:46
1.0K
card_5__1724_17.min1.thm1
2017-02-06 12:44
1.0K
card_5__1725_23.min1.thm1
2017-02-06 12:44
940
card_5__1728_30.min1.thm1
2017-02-06 12:44
725
card_5__1729_49.min1.thm1
2017-02-06 12:46
610
card_5__1730_47.min1.thm1
2017-02-06 12:46
1.1K
card_5__1733_41.min1.thm1
2017-02-06 12:44
1.5K
card_5__1734_42.min1.thm1
2017-02-06 12:44
655
card_5__1734_42.min1.thm1.tptp
2017-02-06 16:48
580
card_5__1735_21.min1.thm1
2017-02-06 12:44
1.7K
card_5__1737_19.min1.thm1
2017-02-06 12:44
897
card_5__1739_72.min1.thm1
2017-02-06 12:46
712
card_5__1743_15.min1.thm1
2017-02-06 12:46
559
card_5__1743_15.min1.thm1.tptp
2017-02-06 16:48
504
card_5__1744_41.min1.thm1
2017-02-06 12:44
650
card_5__1745_26.min1.thm1
2017-02-06 12:46
693
card_5__1774_44.min1.thm1
2017-02-06 12:44
326
card_5__1774_44.min1.thm1.tptp
2017-02-06 16:48
248
card_5__1775_40.min1.thm1
2017-02-06 12:46
1.1K
card_5__1776_63.min1.thm1
2017-02-06 12:46
945
card_5__1778_25.min1.thm1
2017-02-06 12:46
810
card_5__1779_25.min1.thm1
2017-02-06 12:44
1.2K
card_5__1782_20.min1.thm1
2017-02-06 12:46
1.2K
card_5__1785_19.min1.thm1
2017-02-06 12:46
645
card_5__1786_20.min1.thm1
2017-02-06 12:46
313
card_5__1793_45.min1.thm1
2017-02-06 12:46
1.4K
card_5__1796_21.min1.thm1
2017-02-06 12:44
1.3K
card_5__1801_45.min1.thm1
2017-02-06 12:44
1.4K
card_5__1802_16.min1.thm1
2017-02-06 12:44
1.0K
card_5__1803_28.min1.thm1
2017-02-06 12:46
1.5K
card_5__1805_19.min1.thm1
2017-02-06 12:44
1.0K
card_5__1807_29.min1.thm1
2017-02-06 12:44
666
card_5__1813_35.min1.thm1
2017-02-06 12:46
824
card_5__1815_6.min1.thm1
2017-02-06 12:46
1.1K
card_5__1816_44.min1.thm1
2017-02-06 12:44
820
card_5__1822_40.min1.thm1
2017-02-06 12:46
1.1K
card_5__1823_13.min1.thm1
2017-02-06 12:44
1.2K
card_5__1825_39.min1.thm1
2017-02-06 12:46
1.0K
card_5__1826_49.min1.thm1
2017-02-06 12:44
1.1K
card_5__1827_46.min1.thm1
2017-02-06 12:44
950
card_5__1830_33.min1.thm1
2017-02-06 12:46
1.5K
card_5__1831_39.min1.thm1
2017-02-06 12:46
840
card_5__1832_33.min1.thm1
2017-02-06 12:44
1.2K
card_5__1833_56.min1.thm1
2017-02-06 12:46
766
card_5__1836_4.min1.thm1
2017-02-06 12:44
1.6K
card_5__1837_31.min1.thm1
2017-02-06 12:46
699
card_5__1838_55.min1.thm1
2017-02-06 12:46
1.6K
card_5__1842_39.min1.thm1
2017-02-06 12:44
580
card_5__1844_64.min1.thm1
2017-02-06 12:44
1.6K
card_5__1845_16.min1.thm1
2017-02-06 12:44
880
card_5__1846_17.min1.thm1
2017-02-06 12:44
1.8K
card_5__1858_36.min1.thm1
2017-02-06 12:44
401
card_5__1860_66.min1.thm1
2017-02-06 12:44
588
card_5__1863_17.min1.thm1
2017-02-06 12:44
790
card_5__1873_43.min1.thm1
2017-02-06 12:44
506
card_5__1874_52.min1.thm1
2017-02-06 12:44
496
card_5__1875_42.min1.thm1
2017-02-06 12:44
614
card_5__1876_20.min1.thm1
2017-02-06 12:44
970
card_5__1877_14.min1.thm1
2017-02-06 12:46
344
card_5__1877_14.min1.thm1.tptp
2017-02-06 16:48
262
card_5__1883_17.min1.thm1
2017-02-06 12:44
400
card_5__1884_17.min1.thm1
2017-02-06 12:44
569
card_5__1894_28.min1.thm1
2017-02-06 12:46
476
card_5__1898_28.min1.thm1
2017-02-06 12:46
593
card_5__1899_23.min1.thm1
2017-02-06 12:44
423
card_5__1900_51.min1.thm1
2017-02-06 12:46
621
card_5__1902_48.min1.thm1
2017-02-06 12:44
567
card_5__1903_45.min1.thm1
2017-02-06 12:46
526
card_5__1905_53.min1.thm1
2017-02-06 12:44
1.0K
card_5__1907_61.min1.thm1
2017-02-06 12:44
1.2K
card_5__1908_11.min1.thm1
2017-02-06 12:44
469
card_5__1908_11.min1.thm1.tptp
2017-02-06 16:48
426
card_5__1909_69.min1.thm1
2017-02-06 12:44
1.2K
card_5__1911_13.min1.thm1
2017-02-06 12:46
577
card_5__1912_17.min1.thm1
2017-02-06 12:44
1.0K
card_5__1926_18.min1.thm1
2017-02-06 12:44
968
card_5__1927_13.min1.thm1
2017-02-06 12:44
247
card_5__1930_30.min1.thm1
2017-02-06 12:46
662
card_5__1931_21.min1.thm1
2017-02-06 12:44
1.0K
card_5__1935_21.min1.thm1
2017-02-06 12:44
1.1K
card_5__1950_21.min1.thm1
2017-02-06 12:44
636
card_5__1952_38.min1.thm1
2017-02-06 12:44
339
card_5__1952_38.min1.thm1.tptp
2017-02-06 16:48
261
card_5__1958_18.min1.thm1
2017-02-06 12:46
1.1K
card_5__1959_13.min1.thm1
2017-02-06 12:44
247
card_5__1962_25.min1.thm1
2017-02-06 12:46
662
card_5__1963_21.min1.thm1
2017-02-06 12:46
935
card_5__1967_21.min1.thm1
2017-02-06 12:46
1.4K
card_5__1975_42.min1.thm1
2017-02-06 12:44
592
card_5__1976_17.min1.thm1
2017-02-06 12:44
539
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80