Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/setfam_1
Name
Last modified
Size
Description
Parent Directory
-
setfam_1__52_17.min1.thm1
2017-02-06 12:44
616
setfam_1__53_28.min1.thm1
2017-02-06 12:44
730
setfam_1__54_23.min1.thm1
2017-02-06 12:44
580
setfam_1__56_21.min1.thm1
2017-02-06 12:44
545
setfam_1__56_21.min1.thm1.tptp
2017-02-06 16:47
503
setfam_1__58_15.min1.thm1
2017-02-06 12:44
182
setfam_1__70_56.min1.thm1
2017-02-06 12:44
398
setfam_1__71_36.min1.thm1
2017-02-06 12:44
548
setfam_1__71_36.min1.thm1.tptp
2017-02-06 16:47
481
setfam_1__73_22.min1.thm1
2017-02-06 12:44
372
setfam_1__73_22.min1.thm1.tptp
2017-02-06 16:47
312
setfam_1__75_16.min1.thm1
2017-02-06 12:44
834
setfam_1__77_13.min1.thm1
2017-02-06 12:44
130
setfam_1__83_17.min1.thm1
2017-02-06 12:44
369
setfam_1__95_20.min1.thm1
2017-02-06 12:44
796
setfam_1__96_27.min1.thm1
2017-02-06 12:44
710
setfam_1__98_19.min1.thm1
2017-02-06 12:44
417
setfam_1__98_19.min1.thm1.tptp
2017-02-06 16:47
353
setfam_1__102_23.min1.thm1
2017-02-06 12:44
438
setfam_1__102_23.min1.thm1.tptp
2017-02-06 16:47
402
setfam_1__103_19.min1.thm1
2017-02-06 12:44
324
setfam_1__103_19.min1.thm1.tptp
2017-02-06 16:47
241
setfam_1__105_17.min1.thm1
2017-02-06 12:44
444
setfam_1__105_17.min1.thm1.tptp
2017-02-06 16:47
358
setfam_1__117_19.min1.thm1
2017-02-06 12:44
738
setfam_1__119_14.min1.thm1
2017-02-06 12:44
262
setfam_1__123_32.min1.thm1
2017-02-06 12:44
352
setfam_1__123_32.min1.thm1.tptp
2017-02-06 16:47
292
setfam_1__139_20.min1.thm1
2017-02-06 12:44
351
setfam_1__139_20.min1.thm1.tptp
2017-02-06 16:47
270
setfam_1__140_21.min1.thm1
2017-02-06 12:44
825
setfam_1__142_19.min1.thm1
2017-02-06 12:44
558
setfam_1__154_38.min1.thm1
2017-02-06 12:44
1.1K
setfam_1__155_17.min1.thm1
2017-02-06 12:44
550
setfam_1__164_16.min1.thm1
2017-02-06 12:44
340
setfam_1__164_16.min1.thm1.tptp
2017-02-06 16:47
262
setfam_1__165_17.min1.thm1
2017-02-06 12:44
438
setfam_1__169_48.min1.thm1
2017-02-06 12:44
409
setfam_1__169_48.min1.thm1.tptp
2017-02-06 16:47
365
setfam_1__182_32.min1.thm1
2017-02-06 12:44
505
setfam_1__182_32.min1.thm1.tptp
2017-02-06 16:47
443
setfam_1__186_30.min1.thm1
2017-02-06 12:44
463
setfam_1__186_30.min1.thm1.tptp
2017-02-06 16:47
401
setfam_1__187_21.min1.thm1
2017-02-06 12:44
857
setfam_1__189_19.min1.thm1
2017-02-06 12:44
898
setfam_1__191_54.min1.thm1
2017-02-06 12:44
726
setfam_1__192_43.min1.thm1
2017-02-06 12:44
602
setfam_1__192_43.min1.thm1.tptp
2017-02-06 16:47
531
setfam_1__193_17.min1.thm1
2017-02-06 12:44
671
setfam_1__203_42.min1.thm1
2017-02-06 12:44
374
setfam_1__203_42.min1.thm1.tptp
2017-02-06 16:47
314
setfam_1__204_19.min1.thm1
2017-02-06 12:44
703
setfam_1__206_13.min1.thm1
2017-02-06 12:44
267
setfam_1__207_23.min1.thm1
2017-02-06 12:44
362
setfam_1__207_23.min1.thm1.tptp
2017-02-06 16:47
284
setfam_1__208_17.min1.thm1
2017-02-06 12:44
458
setfam_1__214_30.min1.thm1
2017-02-06 12:44
368
setfam_1__217_51.min1.thm1
2017-02-06 12:44
948
setfam_1__219_49.min1.thm1
2017-02-06 12:44
451
setfam_1__219_49.min1.thm1.tptp
2017-02-06 16:47
400
setfam_1__220_19.min1.thm1
2017-02-06 12:44
742
setfam_1__231_13.min1.thm1
2017-02-06 12:44
272
setfam_1__234_13.min1.thm1
2017-02-06 12:44
272
setfam_1__245_16.min1.thm1
2017-02-06 12:44
925
setfam_1__259_15.min1.thm1
2017-02-06 12:44
415
setfam_1__259_15.min1.thm1.tptp
2017-02-06 16:47
360
setfam_1__260_32.min1.thm1
2017-02-06 12:44
407
setfam_1__260_32.min1.thm1.tptp
2017-02-06 16:47
338
setfam_1__261_19.min1.thm1
2017-02-06 12:44
1.0K
setfam_1__281_16.min1.thm1
2017-02-06 12:44
415
setfam_1__281_16.min1.thm1.tptp
2017-02-06 16:47
346
setfam_1__282_16.min1.thm1
2017-02-06 12:44
761
setfam_1__283_21.min1.thm1
2017-02-06 12:44
844
setfam_1__285_19.min1.thm1
2017-02-06 12:44
566
setfam_1__287_14.min1.thm1
2017-02-06 12:44
294
setfam_1__319_13.min1.thm1
2017-02-06 12:44
399
setfam_1__319_13.min1.thm1.tptp
2017-02-06 16:47
330
setfam_1__321_24.min1.thm1
2017-02-06 12:44
399
setfam_1__321_24.min1.thm1.tptp
2017-02-06 16:47
330
setfam_1__323_16.min1.thm1
2017-02-06 12:44
511
setfam_1__333_35.min1.thm1
2017-02-06 12:44
421
setfam_1__333_35.min1.thm1.tptp
2017-02-06 16:47
352
setfam_1__334_17.min1.thm1
2017-02-06 12:44
371
setfam_1__334_17.min1.thm1.tptp
2017-02-06 16:47
311
setfam_1__346_14.min1.thm1
2017-02-06 12:44
453
setfam_1__346_14.min1.thm1.tptp
2017-02-06 16:47
384
setfam_1__347_23.min1.thm1
2017-02-06 12:44
332
setfam_1__348_32.min1.thm1
2017-02-06 12:44
615
setfam_1__349_17.min1.thm1
2017-02-06 12:44
532
setfam_1__372_42.min1.thm1
2017-02-06 12:44
492
setfam_1__372_42.min1.thm1.tptp
2017-02-06 16:47
414
setfam_1__373_43.min1.thm1
2017-02-06 12:44
664
setfam_1__374_24.min1.thm1
2017-02-06 12:44
1.1K
setfam_1__378_77.min1.thm1
2017-02-06 12:44
645
setfam_1__378_77.min1.thm1.tptp
2017-02-06 16:47
610
setfam_1__380_56.min1.thm1
2017-02-06 12:44
420
setfam_1__382_21.min1.thm1
2017-02-06 12:44
732
setfam_1__382_21.min1.thm1.tptp
2017-02-06 16:47
682
setfam_1__384_16.min1.thm1
2017-02-06 12:44
448
setfam_1__394_63.min1.thm1
2017-02-06 12:44
482
setfam_1__395_34.min1.thm1
2017-02-06 12:44
631
setfam_1__395_34.min1.thm1.tptp
2017-02-06 16:47
574
setfam_1__397_19.min1.thm1
2017-02-06 12:44
374
setfam_1__397_19.min1.thm1.tptp
2017-02-06 16:47
314
setfam_1__407_56.min1.thm1
2017-02-06 12:44
529
setfam_1__407_56.min1.thm1.tptp
2017-02-06 16:47
472
setfam_1__408_54.min1.thm1
2017-02-06 12:44
507
setfam_1__408_54.min1.thm1.tptp
2017-02-06 16:47
451
setfam_1__410_18.min1.thm1
2017-02-06 12:44
584
setfam_1__410_18.min1.thm1.tptp
2017-02-06 16:47
535
setfam_1__430_42.min1.thm1
2017-02-06 12:44
492
setfam_1__430_42.min1.thm1.tptp
2017-02-06 16:47
414
setfam_1__431_43.min1.thm1
2017-02-06 12:44
664
setfam_1__432_24.min1.thm1
2017-02-06 12:44
1.1K
setfam_1__436_77.min1.thm1
2017-02-06 12:44
645
setfam_1__436_77.min1.thm1.tptp
2017-02-06 16:47
610
setfam_1__438_56.min1.thm1
2017-02-06 12:44
420
setfam_1__440_21.min1.thm1
2017-02-06 12:44
732
setfam_1__440_21.min1.thm1.tptp
2017-02-06 16:47
682
setfam_1__442_16.min1.thm1
2017-02-06 12:44
448
setfam_1__452_63.min1.thm1
2017-02-06 12:44
482
setfam_1__453_34.min1.thm1
2017-02-06 12:44
631
setfam_1__453_34.min1.thm1.tptp
2017-02-06 16:47
574
setfam_1__455_19.min1.thm1
2017-02-06 12:44
374
setfam_1__455_19.min1.thm1.tptp
2017-02-06 16:47
314
setfam_1__465_56.min1.thm1
2017-02-06 12:44
529
setfam_1__465_56.min1.thm1.tptp
2017-02-06 16:47
472
setfam_1__466_54.min1.thm1
2017-02-06 12:44
507
setfam_1__466_54.min1.thm1.tptp
2017-02-06 16:47
451
setfam_1__468_18.min1.thm1
2017-02-06 12:44
584
setfam_1__468_18.min1.thm1.tptp
2017-02-06 16:47
535
setfam_1__489_25.min1.thm1
2017-02-06 12:44
375
setfam_1__489_25.min1.thm1.tptp
2017-02-06 16:47
297
setfam_1__490_30.min1.thm1
2017-02-06 12:44
705
setfam_1__491_24.min1.thm1
2017-02-06 12:44
1.1K
setfam_1__495_76.min1.thm1
2017-02-06 12:44
605
setfam_1__495_76.min1.thm1.tptp
2017-02-06 16:47
570
setfam_1__497_55.min1.thm1
2017-02-06 12:44
420
setfam_1__499_21.min1.thm1
2017-02-06 12:44
732
setfam_1__499_21.min1.thm1.tptp
2017-02-06 16:47
682
setfam_1__501_16.min1.thm1
2017-02-06 12:44
448
setfam_1__511_62.min1.thm1
2017-02-06 12:44
482
setfam_1__512_34.min1.thm1
2017-02-06 12:44
631
setfam_1__512_34.min1.thm1.tptp
2017-02-06 16:47
574
setfam_1__514_19.min1.thm1
2017-02-06 12:44
374
setfam_1__514_19.min1.thm1.tptp
2017-02-06 16:47
314
setfam_1__524_12.min1.thm1
2017-02-06 12:44
259
setfam_1__525_17.min1.thm1
2017-02-06 12:44
631
setfam_1__536_19.min1.thm1
2017-02-06 12:44
511
setfam_1__536_19.min1.thm1.tptp
2017-02-06 16:47
469
setfam_1__538_16.min1.thm1
2017-02-06 12:44
456
setfam_1__549_18.min1.thm1
2017-02-06 12:44
511
setfam_1__549_18.min1.thm1.tptp
2017-02-06 16:47
469
setfam_1__551_16.min1.thm1
2017-02-06 12:44
565
setfam_1__561_13.min1.thm1
2017-02-06 12:44
319
setfam_1__561_13.min1.thm1.tptp
2017-02-06 16:47
236
setfam_1__562_15.min1.thm1
2017-02-06 12:44
690
setfam_1__563_15.min1.thm1
2017-02-06 12:44
783
setfam_1__564_16.min1.thm1
2017-02-06 12:44
412
setfam_1__573_45.min1.thm1
2017-02-06 12:44
721
setfam_1__574_25.min1.thm1
2017-02-06 12:44
1.0K
setfam_1__575_21.min1.thm1
2017-02-06 12:44
552
setfam_1__578_20.min1.thm1
2017-02-06 12:44
566
setfam_1__583_45.min1.thm1
2017-02-06 12:44
628
setfam_1__584_25.min1.thm1
2017-02-06 12:44
941
setfam_1__585_21.min1.thm1
2017-02-06 12:44
459
setfam_1__585_21.min1.thm1.tptp
2017-02-06 16:47
397
setfam_1__587_25.min1.thm1
2017-02-06 12:44
566
setfam_1__588_19.min1.thm1
2017-02-06 12:44
547
setfam_1__590_38.min1.thm1
2017-02-06 12:44
751
setfam_1__596_37.min1.thm1
2017-02-06 12:44
514
setfam_1__596_37.min1.thm1.tptp
2017-02-06 16:47
452
setfam_1__603_21.min1.thm1
2017-02-06 12:44
527
setfam_1__603_21.min1.thm1.tptp
2017-02-06 16:47
485
setfam_1__604_26.min1.thm1
2017-02-06 12:44
921
setfam_1__605_21.min1.thm1
2017-02-06 12:44
559
setfam_1__607_19.min1.thm1
2017-02-06 12:44
1.0K
setfam_1__609_17.min1.thm1
2017-02-06 12:44
686
setfam_1__618_13.min1.thm1
2017-02-06 12:44
270
setfam_1__620_31.min1.thm1
2017-02-06 12:44
905
setfam_1__626_30.min1.thm1
2017-02-06 12:44
488
setfam_1__626_30.min1.thm1.tptp
2017-02-06 16:47
426
setfam_1__633_21.min1.thm1
2017-02-06 12:44
735
setfam_1__634_27.min1.thm1
2017-02-06 12:44
1.0K
setfam_1__635_21.min1.thm1
2017-02-06 12:44
559
setfam_1__637_19.min1.thm1
2017-02-06 12:44
1.0K
setfam_1__647_17.min1.thm1
2017-02-06 12:44
434
setfam_1__647_17.min1.thm1.tptp
2017-02-06 16:47
370
setfam_1__648_24.min1.thm1
2017-02-06 12:44
447
setfam_1__648_24.min1.thm1.tptp
2017-02-06 16:47
383
setfam_1__651_18.min1.thm1
2017-02-06 12:44
571
setfam_1__652_15.min1.thm1
2017-02-06 12:44
272
setfam_1__653_36.min1.thm1
2017-02-06 12:44
580
setfam_1__654_23.min1.thm1
2017-02-06 12:44
1.0K
setfam_1__657_17.min1.thm1
2017-02-06 12:44
773
setfam_1__669_33.min1.thm1
2017-02-06 12:44
588
setfam_1__673_19.min1.thm1
2017-02-06 12:44
727
setfam_1__674_14.min1.thm1
2017-02-06 12:44
585
setfam_1__676_21.min1.thm1
2017-02-06 12:44
473
setfam_1__677_13.min1.thm1
2017-02-06 12:44
344
setfam_1__677_13.min1.thm1.tptp
2017-02-06 16:47
279
setfam_1__678_18.min1.thm1
2017-02-06 12:44
561
setfam_1__679_19.min1.thm1
2017-02-06 12:44
520
setfam_1__686_26.min1.thm1
2017-02-06 12:44
437
setfam_1__686_26.min1.thm1.tptp
2017-02-06 16:47
375
setfam_1__689_16.min1.thm1
2017-02-06 12:44
415
setfam_1__689_16.min1.thm1.tptp
2017-02-06 16:47
360
setfam_1__690_13.min1.thm1
2017-02-06 12:44
426
setfam_1__690_13.min1.thm1.tptp
2017-02-06 16:47
364
setfam_1__692_19.min1.thm1
2017-02-06 12:44
499
setfam_1__693_15.min1.thm1
2017-02-06 12:44
272
setfam_1__694_43.min1.thm1
2017-02-06 12:44
580
setfam_1__695_19.min1.thm1
2017-02-06 12:44
704
setfam_1__697_17.min1.thm1
2017-02-06 12:44
761
setfam_1__704_15.min1.thm1
2017-02-06 12:44
270
setfam_1__707_35.min1.thm1
2017-02-06 12:44
812
setfam_1__717_42.min1.thm1
2017-02-06 12:44
586
setfam_1__718_24.min1.thm1
2017-02-06 12:44
899
setfam_1__719_21.min1.thm1
2017-02-06 12:44
525
setfam_1__721_43.min1.thm1
2017-02-06 12:44
306
setfam_1__723_25.min1.thm1
2017-02-06 12:44
421
setfam_1__723_25.min1.thm1.tptp
2017-02-06 16:47
364
setfam_1__724_17.min1.thm1
2017-02-06 12:44
917
setfam_1__725_19.min1.thm1
2017-02-06 12:44
660
setfam_1__732_34.min1.thm1
2017-02-06 12:44
582
setfam_1__739_20.min1.thm1
2017-02-06 12:44
549
setfam_1__739_20.min1.thm1.tptp
2017-02-06 16:47
507
setfam_1__740_30.min1.thm1
2017-02-06 12:44
737
setfam_1__741_21.min1.thm1
2017-02-06 12:44
657
setfam_1__743_19.min1.thm1
2017-02-06 12:44
938
setfam_1__745_17.min1.thm1
2017-02-06 12:44
674
setfam_1__751_15.min1.thm1
2017-02-06 12:44
270
setfam_1__758_31.min1.thm1
2017-02-06 12:44
495
setfam_1__758_31.min1.thm1.tptp
2017-02-06 16:47
440
setfam_1__762_18.min1.thm1
2017-02-06 12:44
541
setfam_1__762_18.min1.thm1.tptp
2017-02-06 16:47
499
setfam_1__763_18.min1.thm1
2017-02-06 12:44
590
setfam_1__765_24.min1.thm1
2017-02-06 12:44
760
setfam_1__766_13.min1.thm1
2017-02-06 12:44
344
setfam_1__766_13.min1.thm1.tptp
2017-02-06 16:47
279
setfam_1__767_19.min1.thm1
2017-02-06 12:44
795
setfam_1__776_29.min1.thm1
2017-02-06 12:44
539
setfam_1__779_18.min1.thm1
2017-02-06 12:44
571
setfam_1__780_18.min1.thm1
2017-02-06 12:44
639
setfam_1__781_35.min1.thm1
2017-02-06 12:44
578
setfam_1__782_19.min1.thm1
2017-02-06 12:44
610
setfam_1__784_17.min1.thm1
2017-02-06 12:44
674
setfam_1__796_33.min1.thm1
2017-02-06 12:44
473
setfam_1__796_33.min1.thm1.tptp
2017-02-06 16:47
418
setfam_1__800_17.min1.thm1
2017-02-06 12:44
519
setfam_1__800_17.min1.thm1.tptp
2017-02-06 16:47
477
setfam_1__801_13.min1.thm1
2017-02-06 12:44
585
setfam_1__803_21.min1.thm1
2017-02-06 12:44
473
setfam_1__804_13.min1.thm1
2017-02-06 12:44
493
setfam_1__805_26.min1.thm1
2017-02-06 12:44
474
setfam_1__806_19.min1.thm1
2017-02-06 12:44
542
setfam_1__811_24.min1.thm1
2017-02-06 12:44
440
setfam_1__811_24.min1.thm1.tptp
2017-02-06 16:47
378
setfam_1__813_26.min1.thm1
2017-02-06 12:44
407
setfam_1__813_26.min1.thm1.tptp
2017-02-06 16:47
352
setfam_1__814_19.min1.thm1
2017-02-06 12:44
533
setfam_1__816_26.min1.thm1
2017-02-06 12:44
407
setfam_1__816_26.min1.thm1.tptp
2017-02-06 16:47
352
setfam_1__817_54.min1.thm1
2017-02-06 12:44
848
setfam_1__819_17.min1.thm1
2017-02-06 12:44
544
setfam_1__819_17.min1.thm1.tptp
2017-02-06 16:47
482
setfam_1__829_31.min1.thm1
2017-02-06 12:44
763
setfam_1__833_37.min1.thm1
2017-02-06 12:44
504
setfam_1__833_37.min1.thm1.tptp
2017-02-06 16:47
442
setfam_1__840_17.min1.thm1
2017-02-06 12:44
519
setfam_1__840_17.min1.thm1.tptp
2017-02-06 16:47
477
setfam_1__841_23.min1.thm1
2017-02-06 12:44
899
setfam_1__842_19.min1.thm1
2017-02-06 12:44
535
setfam_1__844_17.min1.thm1
2017-02-06 12:44
913
setfam_1__850_11.min1.thm1
2017-02-06 12:44
261
setfam_1__856_34.min1.thm1
2017-02-06 12:44
440
setfam_1__857_50.min1.thm1
2017-02-06 12:44
535
setfam_1__857_50.min1.thm1.tptp
2017-02-06 16:47
493
setfam_1__860_42.min1.thm1
2017-02-06 12:44
504
setfam_1__860_42.min1.thm1.tptp
2017-02-06 16:47
468
setfam_1__861_19.min1.thm1
2017-02-06 12:44
435
setfam_1__861_19.min1.thm1.tptp
2017-02-06 16:47
352
setfam_1__873_43.min1.thm1
2017-02-06 12:44
851
setfam_1__874_24.min1.thm1
2017-02-06 12:44
923
setfam_1__875_18.min1.thm1
2017-02-06 12:44
742
setfam_1__878_20.min1.thm1
2017-02-06 12:44
611
setfam_1__880_22.min1.thm1
2017-02-06 12:44
939
setfam_1__881_22.min1.thm1
2017-02-06 12:44
569
setfam_1__882_29.min1.thm1
2017-02-06 12:44
845
setfam_1__883_19.min1.thm1
2017-02-06 12:44
657
setfam_1__906_37.min1.thm1
2017-02-06 12:44
431
setfam_1__906_37.min1.thm1.tptp
2017-02-06 16:47
376
setfam_1__907_18.min1.thm1
2017-02-06 12:44
800
setfam_1__909_16.min1.thm1
2017-02-06 12:44
379
setfam_1__909_16.min1.thm1.tptp
2017-02-06 16:47
301
setfam_1__920_26.min1.thm1
2017-02-06 12:44
532
setfam_1__923_26.min1.thm1
2017-02-06 12:44
926
setfam_1__924_18.min1.thm1
2017-02-06 12:44
1.1K
setfam_1__926_16.min1.thm1
2017-02-06 12:44
383
setfam_1__926_16.min1.thm1.tptp
2017-02-06 16:47
305
setfam_1__939_19.min1.thm1
2017-02-06 12:44
626
setfam_1__943_17.min1.thm1
2017-02-06 12:44
618
setfam_1__966_27.min1.thm1
2017-02-06 12:44
558
setfam_1__966_27.min1.thm1.tptp
2017-02-06 16:47
481
setfam_1__967_32.min1.thm1
2017-02-06 12:44
707
setfam_1__969_19.min1.thm1
2017-02-06 12:44
910
setfam_1__976_11.min1.thm1
2017-02-06 12:44
456
setfam_1__976_11.min1.thm1.tptp
2017-02-06 16:47
382
setfam_1__977_19.min1.thm1
2017-02-06 12:44
818
setfam_1__987_37.min1.thm1
2017-02-06 12:44
797
setfam_1__988_9.min1.thm1
2017-02-06 12:44
436
setfam_1__988_9.min1.thm1.tptp
2017-02-06 16:47
362
setfam_1__989_17.min1.thm1
2017-02-06 12:44
2.0K
setfam_1__1008_38.min1.thm1
2017-02-06 12:44
680
setfam_1__1009_16.min1.thm1
2017-02-06 12:44
1.0K
setfam_1__1010_25.min1.thm1
2017-02-06 12:44
431
setfam_1__1010_25.min1.thm1.tptp
2017-02-06 16:47
348
setfam_1__1011_21.min1.thm1
2017-02-06 12:44
809
setfam_1__1018_36.min1.thm1
2017-02-06 12:44
490
setfam_1__1019_11.min1.thm1
2017-02-06 12:44
446
setfam_1__1019_11.min1.thm1.tptp
2017-02-06 16:47
372
setfam_1__1020_31.min1.thm1
2017-02-06 12:44
1.2K
setfam_1__1021_19.min1.thm1
2017-02-06 12:44
474
setfam_1__1021_19.min1.thm1.tptp
2017-02-06 16:47
393
setfam_1__1022_19.min1.thm1
2017-02-06 12:44
711
setfam_1__1026_26.min1.thm1
2017-02-06 12:44
498
setfam_1__1032_28.min1.thm1
2017-02-06 12:44
781
setfam_1__1033_44.min1.thm1
2017-02-06 12:44
681
setfam_1__1034_52.min1.thm1
2017-02-06 12:44
1.3K
setfam_1__1035_19.min1.thm1
2017-02-06 12:44
1.0K
setfam_1__1042_57.min1.thm1
2017-02-06 12:44
1.1K
setfam_1__1043_44.min1.thm1
2017-02-06 12:44
1.0K
setfam_1__1044_28.min1.thm1
2017-02-06 12:44
681
setfam_1__1045_19.min1.thm1
2017-02-06 12:44
1.6K
setfam_1__1047_17.min1.thm1
2017-02-06 12:44
884
setfam_1__1060_27.min1.thm1
2017-02-06 12:44
781
setfam_1__1063_17.min1.thm1
2017-02-06 12:44
831
setfam_1__1064_34.min1.thm1
2017-02-06 12:44
490
setfam_1__1065_27.min1.thm1
2017-02-06 12:44
131
setfam_1__1066_11.min1.thm1
2017-02-06 12:44
446
setfam_1__1066_11.min1.thm1.tptp
2017-02-06 16:47
372
setfam_1__1072_19.min1.thm1
2017-02-06 12:44
887
setfam_1__1081_25.min1.thm1
2017-02-06 12:44
886
setfam_1__1082_34.min1.thm1
2017-02-06 12:44
672
setfam_1__1083_27.min1.thm1
2017-02-06 12:44
131
setfam_1__1087_20.min1.thm1
2017-02-06 12:44
1.2K
setfam_1__1088_20.min1.thm1
2017-02-06 12:44
867
setfam_1__1090_27.min1.thm1
2017-02-06 12:44
962
setfam_1__1091_19.min1.thm1
2017-02-06 12:44
1.6K
setfam_1__1093_17.min1.thm1
2017-02-06 12:44
884
setfam_1__1105_9.min1.thm1
2017-02-06 12:44
436
setfam_1__1105_9.min1.thm1.tptp
2017-02-06 16:47
362
setfam_1__1106_17.min1.thm1
2017-02-06 12:44
1.1K
setfam_1__1118_38.min1.thm1
2017-02-06 12:44
482
setfam_1__1119_33.min1.thm1
2017-02-06 12:44
617
setfam_1__1120_28.min1.thm1
2017-02-06 12:44
1.0K
setfam_1__1121_18.min1.thm1
2017-02-06 12:44
1.5K
setfam_1__1122_14.min1.thm1
2017-02-06 12:44
591
setfam_1__1132_48.min1.thm1
2017-02-06 12:44
611
setfam_1__1133_30.min1.thm1
2017-02-06 12:44
1.1K
setfam_1__1136_46.min1.thm1
2017-02-06 12:44
607
setfam_1__1137_17.min1.thm1
2017-02-06 12:44
1.1K
setfam_1__1146_35.min1.thm1
2017-02-06 12:44
587
setfam_1__1146_40.min1.thm1
2017-02-06 12:44
464
setfam_1__1146_40.min1.thm1.tptp
2017-02-06 16:47
390
setfam_1__1158_68.min1.thm1
2017-02-06 12:44
1.4K
setfam_1__1159_19.min1.thm1
2017-02-06 12:44
1.7K
setfam_1__1170_12.min1.thm1
2017-02-06 12:44
223
setfam_1__1171_51.min1.thm1
2017-02-06 12:44
706
setfam_1__1172_36.min1.thm1
2017-02-06 12:44
301
setfam_1__1178_21.min1.thm1
2017-02-06 12:44
555
setfam_1__1179_22.min1.thm1
2017-02-06 12:44
777
setfam_1__1183_16.min1.thm1
2017-02-06 12:44
533
setfam_1__1184_11.min1.thm1
2017-02-06 12:44
448
setfam_1__1184_11.min1.thm1.tptp
2017-02-06 16:47
374
setfam_1__1184_20.min1.thm1
2017-02-06 12:44
942
setfam_1__1185_19.min1.thm1
2017-02-06 12:44
471
setfam_1__1196_55.min1.thm1
2017-02-06 12:44
912
setfam_1__1215_28.min1.thm1
2017-02-06 12:44
243
setfam_1__1299_34.min1.thm1
2017-02-06 12:44
427
setfam_1__1300_28.min1.thm1
2017-02-06 12:44
457
setfam_1__1300_28.min1.thm1.tptp
2017-02-06 16:47
392
setfam_1__1301_19.min1.thm1
2017-02-06 12:44
377
setfam_1__1301_19.min1.thm1.tptp
2017-02-06 16:47
294
setfam_1__1317_24.min1.thm1
2017-02-06 12:44
466
setfam_1__1318_19.min1.thm1
2017-02-06 12:44
842
setfam_1__1330_34.min1.thm1
2017-02-06 12:44
632
setfam_1__1331_40.min1.thm1
2017-02-06 12:44
504
setfam_1__1331_40.min1.thm1.tptp
2017-02-06 16:47
424
setfam_1__1333_44.min1.thm1
2017-02-06 12:44
658
setfam_1__1335_26.min1.thm1
2017-02-06 12:44
403
setfam_1__1335_26.min1.thm1.tptp
2017-02-06 16:47
339
setfam_1__1337_24.min1.thm1
2017-02-06 12:44
468
setfam_1__1338_28.min1.thm1
2017-02-06 12:44
292
setfam_1__1339_17.min1.thm1
2017-02-06 12:44
849
setfam_1__1352_10.min1.thm1
2017-02-06 12:44
238
setfam_1__1353_16.min1.thm1
2017-02-06 12:44
746
setfam_1__1355_13.min1.thm1
2017-02-06 12:44
131
setfam_1__1371_32.min1.thm1
2017-02-06 12:44
787
setfam_1__1372_19.min1.thm1
2017-02-06 12:44
1.1K
setfam_1__1376_11.min1.thm1
2017-02-06 12:44
189
setfam_1__1379_23.min1.thm1
2017-02-06 12:44
826
setfam_1__1380_19.min1.thm1
2017-02-06 12:44
673
setfam_1__1384_19.min1.thm1
2017-02-06 12:44
637
setfam_1__1398_45.min1.thm1
2017-02-06 12:44
1.4K
setfam_1__1399_17.min1.thm1
2017-02-06 12:44
1.3K
setfam_1__1407_14.min1.thm1
2017-02-06 12:44
530
setfam_1__1431_18.min1.thm1
2017-02-06 12:44
288
setfam_1__1441_46.min1.thm1
2017-02-06 12:44
365
setfam_1__1441_46.min1.thm1.tptp
2017-02-06 16:47
294
setfam_1__1442_16.min1.thm1
2017-02-06 12:44
337
setfam_1__1442_16.min1.thm1.tptp
2017-02-06 16:47
263
setfam_1__1453_41.min1.thm1
2017-02-06 12:44
356
setfam_1__1453_41.min1.thm1.tptp
2017-02-06 16:47
285
setfam_1__1454_16.min1.thm1
2017-02-06 12:44
359
setfam_1__1454_16.min1.thm1.tptp
2017-02-06 16:47
293
setfam_1__1466_19.min1.thm1
2017-02-06 12:44
598
setfam_1__1467_16.min1.thm1
2017-02-06 12:44
940
setfam_1__1482_16.min1.thm1
2017-02-06 12:44
511
setfam_1__1483_36.min1.thm1
2017-02-06 12:44
680
setfam_1__1485_18.min1.thm1
2017-02-06 12:44
413
setfam_1__1499_18.min1.thm1
2017-02-06 12:44
324
setfam_1__1499_18.min1.thm1.tptp
2017-02-06 16:47
247
setfam_1__1512_21.min1.thm1
2017-02-06 12:44
536
setfam_1__1513_18.min1.thm1
2017-02-06 12:44
612
setfam_1__1515_16.min1.thm1
2017-02-06 12:44
635
setfam_1__1523_12.min1.thm1
2017-02-06 12:44
223
setfam_1__1524_17.min1.thm1
2017-02-06 12:44
706
setfam_1__1545_17.min1.thm1
2017-02-06 12:44
487
setfam_1__1554_51.min1.thm1
2017-02-06 12:44
306
setfam_1__1567_28.min1.thm1
2017-02-06 12:44
959
setfam_1__1581_15.min1.thm1
2017-02-06 12:44
406
setfam_1__1581_15.min1.thm1.tptp
2017-02-06 16:47
350
setfam_1__1582_27.min1.thm1
2017-02-06 12:44
276
setfam_1__1583_19.min1.thm1
2017-02-06 12:44
580
setfam_1__1592_14.min1.thm1
2017-02-06 12:44
369
setfam_1__1592_14.min1.thm1.tptp
2017-02-06 16:47
297
setfam_1__1608_32.min1.thm1
2017-02-06 12:44
378
setfam_1__1608_32.min1.thm1.tptp
2017-02-06 16:47
311
setfam_1__1611_13.min1.thm1
2017-02-06 12:44
432
setfam_1__1612_19.min1.thm1
2017-02-06 12:44
584
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80