Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/card_fil
Name
Last modified
Size
Description
Parent Directory
-
card_fil__38_70.min1.thm1
2017-02-06 12:46
789
card_fil__46_46.min1.thm1
2017-02-06 12:46
421
card_fil__46_46.min1.thm1.tptp
2017-02-06 16:48
358
card_fil__47_14.min1.thm1
2017-02-06 12:46
267
card_fil__66_10.min1.thm1
2017-02-06 12:46
231
card_fil__71_15.min1.thm1
2017-02-06 12:46
337
card_fil__71_15.min1.thm1.tptp
2017-02-06 16:48
272
card_fil__72_19.min1.thm1
2017-02-06 12:46
650
card_fil__74_45.min1.thm1
2017-02-06 12:46
581
card_fil__75_25.min1.thm1
2017-02-06 12:46
388
card_fil__80_26.min1.thm1
2017-02-06 12:46
419
card_fil__80_26.min1.thm1.tptp
2017-02-06 16:48
356
card_fil__81_19.min1.thm1
2017-02-06 12:46
597
card_fil__86_19.min1.thm1
2017-02-06 12:46
387
card_fil__86_19.min1.thm1.tptp
2017-02-06 16:48
320
card_fil__87_18.min1.thm1
2017-02-06 12:46
500
card_fil__88_19.min1.thm1
2017-02-06 12:46
333
card_fil__88_19.min1.thm1.tptp
2017-02-06 16:48
268
card_fil__102_18.min1.thm1
2017-02-06 12:46
1.2K
card_fil__115_50.min1.thm1
2017-02-06 12:46
1.0K
card_fil__115_50.min1.thm1.tptp
2017-02-06 16:48
1.0K
card_fil__116_60.min1.thm1
2017-02-06 12:46
891
card_fil__126_17.min1.thm1
2017-02-06 12:46
1.1K
card_fil__127_17.min1.thm1
2017-02-06 12:46
1.3K
card_fil__137_24.min1.thm1
2017-02-06 12:46
1.3K
card_fil__138_21.min1.thm1
2017-02-06 12:46
453
card_fil__139_17.min1.thm1
2017-02-06 12:46
730
card_fil__150_21.min1.thm1
2017-02-06 12:46
1.3K
card_fil__151_21.min1.thm1
2017-02-06 12:46
1.5K
card_fil__156_31.min1.thm1
2017-02-06 12:46
739
card_fil__157_27.min1.thm1
2017-02-06 12:46
1.2K
card_fil__158_28.min1.thm1
2017-02-06 12:46
1.4K
card_fil__159_19.min1.thm1
2017-02-06 12:46
881
card_fil__164_17.min1.thm1
2017-02-06 12:46
776
card_fil__165_13.min1.thm1
2017-02-06 12:46
530
card_fil__166_18.min1.thm1
2017-02-06 12:46
1.4K
card_fil__167_17.min1.thm1
2017-02-06 12:46
531
card_fil__180_14.min1.thm1
2017-02-06 12:46
641
card_fil__190_38.min1.thm1
2017-02-06 12:46
1.2K
card_fil__191_15.min1.thm1
2017-02-06 12:46
1.0K
card_fil__192_16.min1.thm1
2017-02-06 12:46
1.0K
card_fil__196_29.min1.thm1
2017-02-06 12:46
843
card_fil__197_17.min1.thm1
2017-02-06 12:46
919
card_fil__207_38.min1.thm1
2017-02-06 12:46
1.2K
card_fil__208_15.min1.thm1
2017-02-06 12:46
1.0K
card_fil__209_28.min1.thm1
2017-02-06 12:46
1.0K
card_fil__210_16.min1.thm1
2017-02-06 12:46
673
card_fil__216_10.min1.thm1
2017-02-06 12:46
843
card_fil__217_13.min1.thm1
2017-02-06 12:46
523
card_fil__218_17.min1.thm1
2017-02-06 12:46
1.3K
card_fil__232_45.min1.thm1
2017-02-06 12:46
1.2K
card_fil__242_45.min1.thm1
2017-02-06 12:46
1.0K
card_fil__262_14.min1.thm1
2017-02-06 12:46
1.3K
card_fil__264_19.min1.thm1
2017-02-06 12:46
1.3K
card_fil__265_18.min1.thm1
2017-02-06 12:46
492
card_fil__266_20.min1.thm1
2017-02-06 12:46
935
card_fil__273_12.min1.thm1
2017-02-06 12:46
1.1K
card_fil__274_22.min1.thm1
2017-02-06 12:46
1.3K
card_fil__275_19.min1.thm1
2017-02-06 12:46
909
card_fil__283_22.min1.thm1
2017-02-06 12:46
296
card_fil__284_17.min1.thm1
2017-02-06 12:46
1.4K
card_fil__323_23.min1.thm1
2017-02-06 12:46
598
card_fil__325_19.min1.thm1
2017-02-06 12:46
1.2K
card_fil__326_33.min1.thm1
2017-02-06 12:46
970
card_fil__326_47.min1.thm1
2017-02-06 12:46
749
card_fil__327_12.min1.thm1
2017-02-06 12:46
1.1K
card_fil__329_17.min1.thm1
2017-02-06 12:46
1.7K
card_fil__354_13.min1.thm1
2017-02-06 12:46
421
card_fil__355_38.min1.thm1
2017-02-06 12:46
1.0K
card_fil__356_36.min1.thm1
2017-02-06 12:46
890
card_fil__358_60.min1.thm1
2017-02-06 12:46
1.0K
card_fil__360_19.min1.thm1
2017-02-06 12:46
688
card_fil__377_12.min1.thm1
2017-02-06 12:46
486
card_fil__380_14.min1.thm1
2017-02-06 12:46
1.3K
card_fil__382_19.min1.thm1
2017-02-06 12:46
251
card_fil__383_18.min1.thm1
2017-02-06 12:46
412
card_fil__383_18.min1.thm1.tptp
2017-02-06 16:48
326
card_fil__391_42.min1.thm1
2017-02-06 12:46
943
card_fil__392_18.min1.thm1
2017-02-06 12:46
334
card_fil__403_25.min1.thm1
2017-02-06 12:46
905
card_fil__404_34.min1.thm1
2017-02-06 12:46
1.1K
card_fil__412_22.min1.thm1
2017-02-06 12:46
1.1K
card_fil__413_19.min1.thm1
2017-02-06 12:46
519
card_fil__414_27.min1.thm1
2017-02-06 12:46
621
card_fil__426_22.min1.thm1
2017-02-06 12:46
1.0K
card_fil__429_22.min1.thm1
2017-02-06 12:46
1.0K
card_fil__430_56.min1.thm1
2017-02-06 12:46
1.0K
card_fil__431_36.min1.thm1
2017-02-06 12:46
1.1K
card_fil__432_29.min1.thm1
2017-02-06 12:46
1.2K
card_fil__435_22.min1.thm1
2017-02-06 12:46
1.3K
card_fil__436_21.min1.thm1
2017-02-06 12:46
1.8K
card_fil__440_25.min1.thm1
2017-02-06 12:46
370
card_fil__440_25.min1.thm1.tptp
2017-02-06 16:48
296
card_fil__441_59.min1.thm1
2017-02-06 12:46
1.5K
card_fil__442_29.min1.thm1
2017-02-06 12:46
1.4K
card_fil__443_18.min1.thm1
2017-02-06 12:46
343
card_fil__445_35.min1.thm1
2017-02-06 12:46
835
card_fil__451_22.min1.thm1
2017-02-06 12:46
1.0K
card_fil__452_53.min1.thm1
2017-02-06 12:46
1.8K
card_fil__454_35.min1.thm1
2017-02-06 12:46
1.8K
card_fil__455_22.min1.thm1
2017-02-06 12:46
540
card_fil__456_51.min1.thm1
2017-02-06 12:46
1.2K
card_fil__457_33.min1.thm1
2017-02-06 12:46
842
card_fil__458_32.min1.thm1
2017-02-06 12:46
1.6K
card_fil__459_21.min1.thm1
2017-02-06 12:46
1.5K
card_fil__467_36.min1.thm1
2017-02-06 12:46
686
card_fil__468_18.min1.thm1
2017-02-06 12:46
522
card_fil__469_19.min1.thm1
2017-02-06 12:46
1.1K
card_fil__483_27.min1.thm1
2017-02-06 12:46
338
card_fil__483_27.min1.thm1.tptp
2017-02-06 16:48
255
card_fil__485_34.min1.thm1
2017-02-06 12:46
704
card_fil__487_19.min1.thm1
2017-02-06 12:46
677
card_fil__500_20.min1.thm1
2017-02-06 12:46
435
card_fil__504_14.min1.thm1
2017-02-06 12:46
763
card_fil__516_35.min1.thm1
2017-02-06 12:46
1.1K
card_fil__517_16.min1.thm1
2017-02-06 12:46
1.0K
card_fil__520_14.min1.thm1
2017-02-06 12:46
381
card_fil__520_14.min1.thm1.tptp
2017-02-06 16:48
304
card_fil__534_17.min1.thm1
2017-02-06 12:46
419
card_fil__534_17.min1.thm1.tptp
2017-02-06 16:48
364
card_fil__535_26.min1.thm1
2017-02-06 12:46
965
card_fil__538_17.min1.thm1
2017-02-06 12:46
419
card_fil__538_17.min1.thm1.tptp
2017-02-06 16:48
364
card_fil__539_32.min1.thm1
2017-02-06 12:46
536
card_fil__540_26.min1.thm1
2017-02-06 12:46
966
card_fil__541_18.min1.thm1
2017-02-06 12:46
424
card_fil__541_18.min1.thm1.tptp
2017-02-06 16:48
350
card_fil__544_30.min1.thm1
2017-02-06 12:46
1.5K
card_fil__545_23.min1.thm1
2017-02-06 12:46
584
card_fil__549_30.min1.thm1
2017-02-06 12:46
1.5K
card_fil__550_23.min1.thm1
2017-02-06 12:46
584
card_fil__558_16.min1.thm1
2017-02-06 12:46
415
card_fil__558_16.min1.thm1.tptp
2017-02-06 16:48
360
card_fil__559_24.min1.thm1
2017-02-06 12:46
957
card_fil__560_20.min1.thm1
2017-02-06 12:46
1.2K
card_fil__561_19.min1.thm1
2017-02-06 12:46
472
card_fil__568_15.min1.thm1
2017-02-06 12:46
403
card_fil__568_15.min1.thm1.tptp
2017-02-06 16:48
348
card_fil__569_23.min1.thm1
2017-02-06 12:46
957
card_fil__572_21.min1.thm1
2017-02-06 12:46
949
card_fil__573_16.min1.thm1
2017-02-06 12:46
414
card_fil__574_50.min1.thm1
2017-02-06 12:46
1.0K
card_fil__576_17.min1.thm1
2017-02-06 12:46
1.5K
card_fil__584_16.min1.thm1
2017-02-06 12:46
810
card_fil__591_19.min1.thm1
2017-02-06 12:46
314
card_fil__593_16.min1.thm1
2017-02-06 12:46
818
card_fil__595_62.min1.thm1
2017-02-06 12:46
689
card_fil__604_13.min1.thm1
2017-02-06 12:46
262
card_fil__608_20.min1.thm1
2017-02-06 12:46
1.1K
card_fil__612_64.min1.thm1
2017-02-06 12:46
727
card_fil__617_19.min1.thm1
2017-02-06 12:46
413
card_fil__617_19.min1.thm1.tptp
2017-02-06 16:48
336
card_fil__618_26.min1.thm1
2017-02-06 12:46
1.0K
card_fil__620_25.min1.thm1
2017-02-06 12:46
387
card_fil__620_25.min1.thm1.tptp
2017-02-06 16:48
309
card_fil__621_23.min1.thm1
2017-02-06 12:46
550
card_fil__623_32.min1.thm1
2017-02-06 12:46
748
card_fil__624_56.min1.thm1
2017-02-06 12:46
965
card_fil__625_57.min1.thm1
2017-02-06 12:46
964
card_fil__627_20.min1.thm1
2017-02-06 12:46
1.2K
card_fil__634_41.min1.thm1
2017-02-06 12:46
786
card_fil__635_37.min1.thm1
2017-02-06 12:46
1.3K
card_fil__637_20.min1.thm1
2017-02-06 12:46
1.0K
card_fil__639_15.min1.thm1
2017-02-06 12:46
291
card_fil__643_13.min1.thm1
2017-02-06 12:46
225
card_fil__646_18.min1.thm1
2017-02-06 12:46
334
card_fil__660_29.min1.thm1
2017-02-06 12:46
669
card_fil__661_29.min1.thm1
2017-02-06 12:46
910
card_fil__668_40.min1.thm1
2017-02-06 12:46
579
card_fil__669_46.min1.thm1
2017-02-06 12:46
1.1K
card_fil__672_18.min1.thm1
2017-02-06 12:46
363
card_fil__690_29.min1.thm1
2017-02-06 12:46
685
card_fil__691_10.min1.thm1
2017-02-06 12:46
560
card_fil__693_29.min1.thm1
2017-02-06 12:46
866
card_fil__694_10.min1.thm1
2017-02-06 12:46
238
card_fil__695_19.min1.thm1
2017-02-06 12:46
760
card_fil__696_57.min1.thm1
2017-02-06 12:46
560
card_fil__702_24.min1.thm1
2017-02-06 12:46
378
card_fil__702_24.min1.thm1.tptp
2017-02-06 16:48
292
card_fil__710_39.min1.thm1
2017-02-06 12:46
827
card_fil__717_65.min1.thm1
2017-02-06 12:46
903
card_fil__718_66.min1.thm1
2017-02-06 12:46
897
card_fil__720_51.min1.thm1
2017-02-06 12:46
891
card_fil__721_63.min1.thm1
2017-02-06 12:46
1.1K
card_fil__723_20.min1.thm1
2017-02-06 12:46
1.0K
card_fil__728_58.min1.thm1
2017-02-06 12:46
1.0K
card_fil__729_39.min1.thm1
2017-02-06 12:46
1.1K
card_fil__730_20.min1.thm1
2017-02-06 12:46
806
card_fil__733_16.min1.thm1
2017-02-06 12:46
366
card_fil__733_16.min1.thm1.tptp
2017-02-06 16:48
280
card_fil__741_11.min1.thm1
2017-02-06 12:46
569
card_fil__752_20.min1.thm1
2017-02-06 12:46
436
card_fil__755_13.min1.thm1
2017-02-06 12:46
746
card_fil__761_54.min1.thm1
2017-02-06 12:46
1.5K
card_fil__762_54.min1.thm1
2017-02-06 12:46
1.1K
card_fil__763_14.min1.thm1
2017-02-06 12:46
687
card_fil__773_40.min1.thm1
2017-02-06 12:46
1.6K
card_fil__775_36.min1.thm1
2017-02-06 12:46
838
card_fil__776_23.min1.thm1
2017-02-06 12:46
477
card_fil__777_25.min1.thm1
2017-02-06 12:46
678
card_fil__778_11.min1.thm1
2017-02-06 12:46
701
card_fil__779_26.min1.thm1
2017-02-06 12:46
649
card_fil__780_17.min1.thm1
2017-02-06 12:46
724
card_fil__793_34.min1.thm1
2017-02-06 12:46
690
card_fil__794_31.min1.thm1
2017-02-06 12:46
436
card_fil__794_31.min1.thm1.tptp
2017-02-06 16:48
357
card_fil__795_29.min1.thm1
2017-02-06 12:46
963
card_fil__796_19.min1.thm1
2017-02-06 12:46
1.2K
card_fil__807_30.min1.thm1
2017-02-06 12:46
630
card_fil__809_20.min1.thm1
2017-02-06 12:46
568
card_fil__815_43.min1.thm1
2017-02-06 12:46
1.1K
card_fil__819_28.min1.thm1
2017-02-06 12:46
651
card_fil__820_38.min1.thm1
2017-02-06 12:46
803
card_fil__822_41.min1.thm1
2017-02-06 12:46
1.0K
card_fil__831_25.min1.thm1
2017-02-06 12:46
737
card_fil__832_30.min1.thm1
2017-02-06 12:46
1.1K
card_fil__838_30.min1.thm1
2017-02-06 12:46
398
card_fil__843_19.min1.thm1
2017-02-06 12:46
405
card_fil__843_19.min1.thm1.tptp
2017-02-06 16:48
315
card_fil__858_40.min1.thm1
2017-02-06 12:46
1.1K
card_fil__863_15.min1.thm1
2017-02-06 12:46
390
card_fil__868_22.min1.thm1
2017-02-06 12:46
554
card_fil__869_23.min1.thm1
2017-02-06 12:46
1.2K
card_fil__874_29.min1.thm1
2017-02-06 12:46
887
card_fil__875_28.min1.thm1
2017-02-06 12:46
1.0K
card_fil__876_28.min1.thm1
2017-02-06 12:46
614
card_fil__877_28.min1.thm1
2017-02-06 12:46
564
card_fil__893_23.min1.thm1
2017-02-06 12:46
1.0K
card_fil__894_19.min1.thm1
2017-02-06 12:46
1.4K
card_fil__897_21.min1.thm1
2017-02-06 12:46
1.3K
card_fil__898_17.min1.thm1
2017-02-06 12:46
1.0K
card_fil__915_27.min1.thm1
2017-02-06 12:46
613
card_fil__921_28.min1.thm1
2017-02-06 12:46
479
card_fil__921_28.min1.thm1.tptp
2017-02-06 16:48
396
card_fil__922_28.min1.thm1
2017-02-06 12:46
543
card_fil__926_15.min1.thm1
2017-02-06 12:46
1.0K
card_fil__931_20.min1.thm1
2017-02-06 12:46
403
card_fil__931_20.min1.thm1.tptp
2017-02-06 16:48
320
card_fil__932_21.min1.thm1
2017-02-06 12:46
364
card_fil__932_21.min1.thm1.tptp
2017-02-06 16:48
286
card_fil__945_27.min1.thm1
2017-02-06 12:46
754
card_fil__950_33.min1.thm1
2017-02-06 12:46
895
card_fil__951_19.min1.thm1
2017-02-06 12:46
884
card_fil__957_13.min1.thm1
2017-02-06 12:46
722
card_fil__959_26.min1.thm1
2017-02-06 12:46
965
card_fil__960_19.min1.thm1
2017-02-06 12:46
1.1K
card_fil__961_40.min1.thm1
2017-02-06 12:46
847
card_fil__965_37.min1.thm1
2017-02-06 12:46
584
card_fil__966_22.min1.thm1
2017-02-06 12:46
1.1K
card_fil__970_13.min1.thm1
2017-02-06 12:46
665
card_fil__971_30.min1.thm1
2017-02-06 12:46
1.0K
card_fil__972_16.min1.thm1
2017-02-06 12:46
467
card_fil__972_16.min1.thm1.tptp
2017-02-06 16:48
387
card_fil__978_33.min1.thm1
2017-02-06 12:46
895
card_fil__979_19.min1.thm1
2017-02-06 12:46
1.0K
card_fil__982_37.min1.thm1
2017-02-06 12:46
643
card_fil__983_21.min1.thm1
2017-02-06 12:46
478
card_fil__984_26.min1.thm1
2017-02-06 12:46
566
card_fil__985_39.min1.thm1
2017-02-06 12:46
1.0K
card_fil__986_34.min1.thm1
2017-02-06 12:46
1.4K
card_fil__996_15.min1.thm1
2017-02-06 12:46
397
card_fil__997_28.min1.thm1
2017-02-06 12:46
418
card_fil__998_17.min1.thm1
2017-02-06 12:46
1.1K
card_fil__1016_14.min1.thm1
2017-02-06 12:46
342
card_fil__1022_26.min1.thm1
2017-02-06 12:46
391
card_fil__1022_26.min1.thm1.tptp
2017-02-06 16:48
323
card_fil__1023_13.min1.thm1
2017-02-06 12:46
197
card_fil__1038_28.min1.thm1
2017-02-06 12:46
679
card_fil__1039_33.min1.thm1
2017-02-06 12:46
438
card_fil__1040_28.min1.thm1
2017-02-06 12:46
490
card_fil__1041_17.min1.thm1
2017-02-06 12:46
961
card_fil__1051_21.min1.thm1
2017-02-06 12:46
446
card_fil__1052_18.min1.thm1
2017-02-06 12:46
424
card_fil__1054_24.min1.thm1
2017-02-06 12:46
1.3K
card_fil__1055_11.min1.thm1
2017-02-06 12:46
453
card_fil__1061_14.min1.thm1
2017-02-06 12:46
309
card_fil__1074_24.min1.thm1
2017-02-06 12:46
560
card_fil__1075_22.min1.thm1
2017-02-06 12:46
540
card_fil__1079_32.min1.thm1
2017-02-06 12:46
808
card_fil__1080_34.min1.thm1
2017-02-06 12:46
372
card_fil__1080_34.min1.thm1.tptp
2017-02-06 16:48
295
card_fil__1081_30.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1084_18.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1085_25.min1.thm1
2017-02-06 12:46
572
card_fil__1086_24.min1.thm1
2017-02-06 12:46
790
card_fil__1099_14.min1.thm1
2017-02-06 12:46
346
card_fil__1103_35.min1.thm1
2017-02-06 12:46
678
card_fil__1110_20.min1.thm1
2017-02-06 12:46
470
card_fil__1111_16.min1.thm1
2017-02-06 12:46
613
card_fil__1116_14.min1.thm1
2017-02-06 12:46
313
card_fil__1126_20.min1.thm1
2017-02-06 12:46
468
card_fil__1127_16.min1.thm1
2017-02-06 12:46
636
card_fil__1146_25.min1.thm1
2017-02-06 12:46
365
card_fil__1146_25.min1.thm1.tptp
2017-02-06 16:48
287
card_fil__1149_22.min1.thm1
2017-02-06 12:46
443
card_fil__1154_34.min1.thm1
2017-02-06 12:46
509
card_fil__1155_19.min1.thm1
2017-02-06 12:46
652
card_fil__1158_20.min1.thm1
2017-02-06 12:46
250
card_fil__1166_16.min1.thm1
2017-02-06 12:46
794
card_fil__1170_44.min1.thm1
2017-02-06 12:46
629
card_fil__1172_19.min1.thm1
2017-02-06 12:46
435
card_fil__1174_16.min1.thm1
2017-02-06 12:46
644
card_fil__1181_20.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1182_19.min1.thm1
2017-02-06 12:46
552
card_fil__1184_23.min1.thm1
2017-02-06 12:46
770
card_fil__1185_31.min1.thm1
2017-02-06 12:46
555
card_fil__1187_20.min1.thm1
2017-02-06 12:46
764
card_fil__1192_37.min1.thm1
2017-02-06 12:46
1.5K
card_fil__1193_19.min1.thm1
2017-02-06 12:46
1.3K
card_fil__1197_30.min1.thm1
2017-02-06 12:46
892
card_fil__1198_25.min1.thm1
2017-02-06 12:46
695
card_fil__1201_19.min1.thm1
2017-02-06 12:46
965
card_fil__1203_31.min1.thm1
2017-02-06 12:46
511
card_fil__1203_31.min1.thm1.tptp
2017-02-06 16:48
434
card_fil__1204_29.min1.thm1
2017-02-06 12:46
766
card_fil__1206_24.min1.thm1
2017-02-06 12:46
1.1K
card_fil__1208_33.min1.thm1
2017-02-06 12:46
1.7K
card_fil__1218_15.min1.thm1
2017-02-06 12:46
181
card_fil__1227_35.min1.thm1
2017-02-06 12:46
722
card_fil__1228_16.min1.thm1
2017-02-06 12:46
686
card_fil__1240_16.min1.thm1
2017-02-06 12:46
467
card_fil__1241_16.min1.thm1
2017-02-06 12:46
818
card_fil__1242_21.min1.thm1
2017-02-06 12:46
692
card_fil__1252_14.min1.thm1
2017-02-06 12:46
383
card_fil__1252_14.min1.thm1.tptp
2017-02-06 16:48
321
card_fil__1253_15.min1.thm1
2017-02-06 12:46
353
card_fil__1263_33.min1.thm1
2017-02-06 12:46
548
card_fil__1306_48.min1.thm1
2017-02-06 12:46
552
card_fil__1307_18.min1.thm1
2017-02-06 12:46
563
card_fil__1308_29.min1.thm1
2017-02-06 12:46
1.3K
card_fil__1310_19.min1.thm1
2017-02-06 12:46
711
card_fil__1311_28.min1.thm1
2017-02-06 12:46
1.3K
card_fil__1312_24.min1.thm1
2017-02-06 12:46
727
card_fil__1313_23.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1314_18.min1.thm1
2017-02-06 12:46
594
card_fil__1315_31.min1.thm1
2017-02-06 12:46
471
card_fil__1319_17.min1.thm1
2017-02-06 12:46
779
card_fil__1320_26.min1.thm1
2017-02-06 12:46
1.2K
card_fil__1321_37.min1.thm1
2017-02-06 12:46
1.5K
card_fil__1322_19.min1.thm1
2017-02-06 12:46
870
card_fil__1335_11.min1.thm1
2017-02-06 12:46
850
card_fil__1336_16.min1.thm1
2017-02-06 12:46
468
card_fil__1338_57.min1.thm1
2017-02-06 12:46
670
card_fil__1339_33.min1.thm1
2017-02-06 12:46
747
card_fil__1340_58.min1.thm1
2017-02-06 12:46
836
card_fil__1351_16.min1.thm1
2017-02-06 12:46
646
card_fil__1355_19.min1.thm1
2017-02-06 12:46
509
card_fil__1356_18.min1.thm1
2017-02-06 12:46
633
card_fil__1357_28.min1.thm1
2017-02-06 12:46
455
card_fil__1358_67.min1.thm1
2017-02-06 12:46
1.3K
card_fil__1373_14.min1.thm1
2017-02-06 12:46
235
card_fil__1388_36.min1.thm1
2017-02-06 12:46
887
card_fil__1388_36.min1.thm1.tptp
2017-02-06 16:48
810
card_fil__1389_71.min1.thm1
2017-02-06 12:46
1.6K
card_fil__1400_36.min1.thm1
2017-02-06 12:46
887
card_fil__1400_36.min1.thm1.tptp
2017-02-06 16:48
810
card_fil__1403_33.min1.thm1
2017-02-06 12:46
1.6K
card_fil__1405_11.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1413_11.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1414_16.min1.thm1
2017-02-06 12:46
586
card_fil__1414_16.min1.thm1.tptp
2017-02-06 16:48
517
card_fil__1428_25.min1.thm1
2017-02-06 12:46
1.6K
card_fil__1431_47.min1.thm1
2017-02-06 12:46
503
card_fil__1431_47.min1.thm1.tptp
2017-02-06 16:48
439
card_fil__1434_43.min1.thm1
2017-02-06 12:46
338
card_fil__1434_43.min1.thm1.tptp
2017-02-06 16:48
260
card_fil__1435_13.min1.thm1
2017-02-06 12:46
737
card_fil__1436_30.min1.thm1
2017-02-06 12:46
723
card_fil__1437_37.min1.thm1
2017-02-06 12:46
872
card_fil__1439_23.min1.thm1
2017-02-06 12:46
835
card_fil__1440_25.min1.thm1
2017-02-06 12:46
902
card_fil__1441_21.min1.thm1
2017-02-06 12:46
648
card_fil__1443_16.min1.thm1
2017-02-06 12:46
643
card_fil__1446_63.min1.thm1
2017-02-06 12:46
1.3K
card_fil__1450_45.min1.thm1
2017-02-06 12:46
887
card_fil__1451_50.min1.thm1
2017-02-06 12:46
647
card_fil__1460_31.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1462_21.min1.thm1
2017-02-06 12:46
715
card_fil__1463_21.min1.thm1
2017-02-06 12:46
672
card_fil__1464_35.min1.thm1
2017-02-06 12:46
665
card_fil__1465_26.min1.thm1
2017-02-06 12:46
731
card_fil__1466_21.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1470_18.min1.thm1
2017-02-06 12:46
848
card_fil__1477_45.min1.thm1
2017-02-06 12:46
567
card_fil__1478_35.min1.thm1
2017-02-06 12:46
633
card_fil__1479_32.min1.thm1
2017-02-06 12:46
481
card_fil__1479_32.min1.thm1.tptp
2017-02-06 16:48
417
card_fil__1481_24.min1.thm1
2017-02-06 12:46
385
card_fil__1481_24.min1.thm1.tptp
2017-02-06 16:48
317
card_fil__1482_17.min1.thm1
2017-02-06 12:46
587
card_fil__1484_29.min1.thm1
2017-02-06 12:46
671
card_fil__1485_25.min1.thm1
2017-02-06 12:46
470
card_fil__1485_25.min1.thm1.tptp
2017-02-06 16:48
406
card_fil__1487_21.min1.thm1
2017-02-06 12:46
1.1K
card_fil__1488_25.min1.thm1
2017-02-06 12:46
1.3K
card_fil__1489_52.min1.thm1
2017-02-06 12:46
954
card_fil__1490_60.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1491_22.min1.thm1
2017-02-06 12:46
580
card_fil__1494_17.min1.thm1
2017-02-06 12:46
771
card_fil__1497_12.min1.thm1
2017-02-06 12:46
779
card_fil__1498_27.min1.thm1
2017-02-06 12:46
1.3K
card_fil__1500_38.min1.thm1
2017-02-06 12:46
527
card_fil__1501_42.min1.thm1
2017-02-06 12:46
459
card_fil__1501_42.min1.thm1.tptp
2017-02-06 16:48
385
card_fil__1502_76.min1.thm1
2017-02-06 12:46
837
card_fil__1504_23.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1513_64.min1.thm1
2017-02-06 12:46
469
card_fil__1513_64.min1.thm1.tptp
2017-02-06 16:48
391
card_fil__1516_54.min1.thm1
2017-02-06 12:46
652
card_fil__1517_47.min1.thm1
2017-02-06 12:46
460
card_fil__1518_24.min1.thm1
2017-02-06 12:46
663
card_fil__1519_25.min1.thm1
2017-02-06 12:46
1.1K
card_fil__1520_65.min1.thm1
2017-02-06 12:46
2.2K
card_fil__1521_22.min1.thm1
2017-02-06 12:46
578
card_fil__1524_10.min1.thm1
2017-02-06 12:46
937
card_fil__1525_22.min1.thm1
2017-02-06 12:46
466
card_fil__1525_22.min1.thm1.tptp
2017-02-06 16:48
396
card_fil__1526_23.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1535_14.min1.thm1
2017-02-06 12:46
899
card_fil__1536_24.min1.thm1
2017-02-06 12:46
620
card_fil__1539_23.min1.thm1
2017-02-06 12:46
963
card_fil__1540_41.min1.thm1
2017-02-06 12:46
807
card_fil__1541_60.min1.thm1
2017-02-06 12:46
1.5K
card_fil__1544_39.min1.thm1
2017-02-06 12:46
1.9K
card_fil__1548_18.min1.thm1
2017-02-06 12:46
735
card_fil__1550_33.min1.thm1
2017-02-06 12:46
709
card_fil__1550_33.min1.thm1.tptp
2017-02-06 16:48
631
card_fil__1567_28.min1.thm1
2017-02-06 12:46
914
card_fil__1569_21.min1.thm1
2017-02-06 12:46
544
card_fil__1579_67.min1.thm1
2017-02-06 12:46
569
card_fil__1579_67.min1.thm1.tptp
2017-02-06 16:48
483
card_fil__1582_63.min1.thm1
2017-02-06 12:46
1.5K
card_fil__1584_62.min1.thm1
2017-02-06 12:46
875
card_fil__1585_49.min1.thm1
2017-02-06 12:46
2.0K
card_fil__1595_39.min1.thm1
2017-02-06 12:46
2.0K
card_fil__1596_18.min1.thm1
2017-02-06 12:46
551
card_fil__1596_18.min1.thm1.tptp
2017-02-06 16:48
471
card_fil__1608_62.min1.thm1
2017-02-06 12:46
1.4K
card_fil__1614_25.min1.thm1
2017-02-06 12:46
573
card_fil__1614_25.min1.thm1.tptp
2017-02-06 16:48
495
card_fil__1622_21.min1.thm1
2017-02-06 12:46
691
card_fil__1622_21.min1.thm1.tptp
2017-02-06 16:48
619
card_fil__1624_31.min1.thm1
2017-02-06 12:46
390
card_fil__1626_27.min1.thm1
2017-02-06 12:46
791
card_fil__1627_13.min1.thm1
2017-02-06 12:46
648
card_fil__1645_13.min1.thm1
2017-02-06 12:46
1.3K
card_fil__1646_48.min1.thm1
2017-02-06 12:46
1.4K
card_fil__1647_32.min1.thm1
2017-02-06 12:46
903
card_fil__1648_35.min1.thm1
2017-02-06 12:46
840
card_fil__1649_21.min1.thm1
2017-02-06 12:46
1.3K
card_fil__1652_45.min1.thm1
2017-02-06 12:46
771
card_fil__1653_45.min1.thm1
2017-02-06 12:46
852
card_fil__1654_48.min1.thm1
2017-02-06 12:46
722
card_fil__1655_71.min1.thm1
2017-02-06 12:46
842
card_fil__1660_45.min1.thm1
2017-02-06 12:46
1.7K
card_fil__1661_21.min1.thm1
2017-02-06 12:46
709
card_fil__1663_29.min1.thm1
2017-02-06 12:46
1.4K
card_fil__1667_22.min1.thm1
2017-02-06 12:46
494
card_fil__1673_16.min1.thm1
2017-02-06 12:46
1.8K
card_fil__1675_63.min1.thm1
2017-02-06 12:46
585
card_fil__1676_20.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1682_28.min1.thm1
2017-02-06 12:46
665
card_fil__1686_22.min1.thm1
2017-02-06 12:46
842
card_fil__1687_25.min1.thm1
2017-02-06 12:46
1.3K
card_fil__1695_11.min1.thm1
2017-02-06 12:46
555
card_fil__1697_19.min1.thm1
2017-02-06 12:46
1.4K
card_fil__1698_19.min1.thm1
2017-02-06 12:46
489
card_fil__1698_19.min1.thm1.tptp
2017-02-06 16:48
424
card_fil__1699_24.min1.thm1
2017-02-06 12:46
2.0K
card_fil__1702_15.min1.thm1
2017-02-06 12:46
834
card_fil__1703_19.min1.thm1
2017-02-06 12:46
2.0K
card_fil__1704_24.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1705_19.min1.thm1
2017-02-06 12:46
1.1K
card_fil__1711_25.min1.thm1
2017-02-06 12:46
820
card_fil__1712_27.min1.thm1
2017-02-06 12:46
1.1K
card_fil__1713_19.min1.thm1
2017-02-06 12:46
455
card_fil__1713_19.min1.thm1.tptp
2017-02-06 16:48
390
card_fil__1721_20.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1722_20.min1.thm1
2017-02-06 12:46
732
card_fil__1723_46.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1724_19.min1.thm1
2017-02-06 12:46
884
card_fil__1726_21.min1.thm1
2017-02-06 12:46
2.0K
card_fil__1727_14.min1.thm1
2017-02-06 12:46
1.5K
card_fil__1731_21.min1.thm1
2017-02-06 12:46
524
card_fil__1749_20.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1750_21.min1.thm1
2017-02-06 12:46
732
card_fil__1751_46.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1752_27.min1.thm1
2017-02-06 12:46
815
card_fil__1753_23.min1.thm1
2017-02-06 12:46
1.5K
card_fil__1754_21.min1.thm1
2017-02-06 12:46
732
card_fil__1755_46.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1756_16.min1.thm1
2017-02-06 12:46
1.5K
card_fil__1758_30.min1.thm1
2017-02-06 12:46
1.5K
card_fil__1759_26.min1.thm1
2017-02-06 12:46
815
card_fil__1760_23.min1.thm1
2017-02-06 12:46
1.5K
card_fil__1764_18.min1.thm1
2017-02-06 12:46
1.3K
card_fil__1765_28.min1.thm1
2017-02-06 12:46
1.2K
card_fil__1766_21.min1.thm1
2017-02-06 12:46
563
card_fil__1772_19.min1.thm1
2017-02-06 12:46
1.8K
card_fil__1796_28.min1.thm1
2017-02-06 12:46
428
card_fil__1800_16.min1.thm1
2017-02-06 12:46
692
card_fil__1804_20.min1.thm1
2017-02-06 12:46
916
card_fil__1806_19.min1.thm1
2017-02-06 12:46
473
card_fil__1807_22.min1.thm1
2017-02-06 12:46
429
card_fil__1807_22.min1.thm1.tptp
2017-02-06 16:48
355
card_fil__1808_22.min1.thm1
2017-02-06 12:46
459
card_fil__1809_31.min1.thm1
2017-02-06 12:46
1.1K
card_fil__1810_17.min1.thm1
2017-02-06 12:46
644
card_fil__1824_37.min1.thm1
2017-02-06 12:46
846
card_fil__1826_19.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1828_23.min1.thm1
2017-02-06 12:46
966
card_fil__1829_24.min1.thm1
2017-02-06 12:46
758
card_fil__1837_18.min1.thm1
2017-02-06 12:46
467
card_fil__1839_14.min1.thm1
2017-02-06 12:46
381
card_fil__1843_21.min1.thm1
2017-02-06 12:46
648
card_fil__1847_21.min1.thm1
2017-02-06 12:46
510
card_fil__1848_34.min1.thm1
2017-02-06 12:46
314
card_fil__1849_19.min1.thm1
2017-02-06 12:46
709
card_fil__1850_18.min1.thm1
2017-02-06 12:46
343
card_fil__1850_18.min1.thm1.tptp
2017-02-06 16:48
275
card_fil__1851_22.min1.thm1
2017-02-06 12:46
1.3K
card_fil__1853_21.min1.thm1
2017-02-06 12:46
355
card_fil__1853_21.min1.thm1.tptp
2017-02-06 16:48
281
card_fil__1854_36.min1.thm1
2017-02-06 12:46
826
card_fil__1859_38.min1.thm1
2017-02-06 12:46
490
card_fil__1860_23.min1.thm1
2017-02-06 12:46
489
card_fil__1861_19.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1864_15.min1.thm1
2017-02-06 12:46
415
card_fil__1865_12.min1.thm1
2017-02-06 12:46
1.2K
card_fil__1878_43.min1.thm1
2017-02-06 12:46
629
card_fil__1881_30.min1.thm1
2017-02-06 12:46
554
card_fil__1889_44.min1.thm1
2017-02-06 12:46
552
card_fil__1890_17.min1.thm1
2017-02-06 12:46
462
card_fil__1899_43.min1.thm1
2017-02-06 12:46
629
card_fil__1903_24.min1.thm1
2017-02-06 12:46
560
card_fil__1904_20.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1905_30.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1908_17.min1.thm1
2017-02-06 12:46
554
card_fil__1911_25.min1.thm1
2017-02-06 12:46
524
card_fil__1913_23.min1.thm1
2017-02-06 12:46
474
card_fil__1917_33.min1.thm1
2017-02-06 12:46
314
card_fil__1917_33.min1.thm1.tptp
2017-02-06 16:48
224
card_fil__1918_23.min1.thm1
2017-02-06 12:46
495
card_fil__1922_17.min1.thm1
2017-02-06 12:46
672
card_fil__1929_44.min1.thm1
2017-02-06 12:46
632
card_fil__1931_44.min1.thm1
2017-02-06 12:46
632
card_fil__1936_15.min1.thm1
2017-02-06 12:46
333
card_fil__1939_20.min1.thm1
2017-02-06 12:46
477
card_fil__1943_29.min1.thm1
2017-02-06 12:46
1.4K
card_fil__1945_23.min1.thm1
2017-02-06 12:46
1.5K
card_fil__1954_17.min1.thm1
2017-02-06 12:46
769
card_fil__1957_39.min1.thm1
2017-02-06 12:46
1.4K
card_fil__1958_52.min1.thm1
2017-02-06 12:46
1.5K
card_fil__1960_22.min1.thm1
2017-02-06 12:46
631
card_fil__1961_24.min1.thm1
2017-02-06 12:46
1.8K
card_fil__1962_23.min1.thm1
2017-02-06 12:46
537
card_fil__1968_13.min1.thm1
2017-02-06 12:46
1.1K
card_fil__1973_71.min1.thm1
2017-02-06 12:46
1.7K
card_fil__1976_21.min1.thm1
2017-02-06 12:46
749
card_fil__1979_33.min1.thm1
2017-02-06 12:46
1.0K
card_fil__1980_20.min1.thm1
2017-02-06 12:46
538
card_fil__1981_16.min1.thm1
2017-02-06 12:46
928
card_fil__1984_48.min1.thm1
2017-02-06 12:46
371
card_fil__1984_48.min1.thm1.tptp
2017-02-06 16:48
323
card_fil__1990_44.min1.thm1
2017-02-06 12:46
452
card_fil__1999_39.min1.thm1
2017-02-06 12:46
767
card_fil__2001_53.min1.thm1
2017-02-06 12:46
905
card_fil__2005_62.min1.thm1
2017-02-06 12:46
674
card_fil__2007_58.min1.thm1
2017-02-06 12:46
1.3K
card_fil__2019_21.min1.thm1
2017-02-06 12:46
437
card_fil__2027_17.min1.thm1
2017-02-06 12:46
1.1K
card_fil__2031_18.min1.thm1
2017-02-06 12:46
1.4K
card_fil__2036_43.min1.thm1
2017-02-06 12:46
338
card_fil__2036_43.min1.thm1.tptp
2017-02-06 16:48
260
card_fil__2038_25.min1.thm1
2017-02-06 12:46
1.1K
card_fil__2041_8.min1.thm1
2017-02-06 12:46
1.5K
card_fil__2045_17.min1.thm1
2017-02-06 12:46
782
card_fil__2052_62.min1.thm1
2017-02-06 12:46
824
card_fil__2053_17.min1.thm1
2017-02-06 12:46
600
card_fil__2053_17.min1.thm1.tptp
2017-02-06 16:48
532
card_fil__2054_19.min1.thm1
2017-02-06 12:46
343
card_fil__2054_19.min1.thm1.tptp
2017-02-06 16:48
278
card_fil__2056_25.min1.thm1
2017-02-06 12:46
1.3K
card_fil__2057_29.min1.thm1
2017-02-06 12:46
829
card_fil__2060_35.min1.thm1
2017-02-06 12:46
938
card_fil__2061_30.min1.thm1
2017-02-06 12:46
555
card_fil__2062_22.min1.thm1
2017-02-06 12:46
764
card_fil__2063_28.min1.thm1
2017-02-06 12:46
1.1K
card_fil__2071_42.min1.thm1
2017-02-06 12:46
556
card_fil__2072_17.min1.thm1
2017-02-06 12:46
466
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80