Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/mycielsk
Name
Last modified
Size
Description
Parent Directory
-
mycielsk__51_11.min1.thm1
2017-02-06 12:45
266
mycielsk__53_23.min1.thm1
2017-02-06 12:44
1.7K
mycielsk__54_30.min1.thm1
2017-02-06 12:44
735
mycielsk__59_16.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__61_35.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__64_22.min1.thm1
2017-02-06 12:44
2.6K
mycielsk__66_27.min1.thm1
2017-02-06 12:45
710
mycielsk__67_22.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__78_17.min1.thm1
2017-02-06 12:45
502
mycielsk__79_18.min1.thm1
2017-02-06 12:44
491
mycielsk__80_16.min1.thm1
2017-02-06 12:45
942
mycielsk__83_29.min1.thm1
2017-02-06 12:45
641
mycielsk__84_20.min1.thm1
2017-02-06 12:44
541
mycielsk__94_13.min1.thm1
2017-02-06 12:45
618
mycielsk__96_23.min1.thm1
2017-02-06 12:45
466
mycielsk__97_28.min1.thm1
2017-02-06 12:45
522
mycielsk__98_33.min1.thm1
2017-02-06 12:45
578
mycielsk__99_39.min1.thm1
2017-02-06 12:45
634
mycielsk__102_23.min1.thm1
2017-02-06 12:44
466
mycielsk__103_28.min1.thm1
2017-02-06 12:45
522
mycielsk__104_33.min1.thm1
2017-02-06 12:45
578
mycielsk__105_39.min1.thm1
2017-02-06 12:45
634
mycielsk__108_28.min1.thm1
2017-02-06 12:44
494
mycielsk__109_33.min1.thm1
2017-02-06 12:44
578
mycielsk__110_39.min1.thm1
2017-02-06 12:44
634
mycielsk__113_33.min1.thm1
2017-02-06 12:45
522
mycielsk__114_39.min1.thm1
2017-02-06 12:44
634
mycielsk__117_39.min1.thm1
2017-02-06 12:45
550
mycielsk__128_41.min1.thm1
2017-02-06 12:44
708
mycielsk__129_46.min1.thm1
2017-02-06 12:45
750
mycielsk__130_51.min1.thm1
2017-02-06 12:44
702
mycielsk__130_51.min1.thm1.tptp
2017-02-06 16:47
639
mycielsk__131_57.min1.thm1
2017-02-06 12:44
738
mycielsk__131_57.min1.thm1.tptp
2017-02-06 16:47
673
mycielsk__134_13.min1.thm1
2017-02-06 12:45
618
mycielsk__136_22.min1.thm1
2017-02-06 12:44
408
mycielsk__136_22.min1.thm1.tptp
2017-02-06 16:47
346
mycielsk__137_27.min1.thm1
2017-02-06 12:44
464
mycielsk__137_27.min1.thm1.tptp
2017-02-06 16:47
402
mycielsk__138_32.min1.thm1
2017-02-06 12:45
613
mycielsk__139_37.min1.thm1
2017-02-06 12:44
669
mycielsk__142_22.min1.thm1
2017-02-06 12:44
501
mycielsk__143_27.min1.thm1
2017-02-06 12:44
464
mycielsk__143_27.min1.thm1.tptp
2017-02-06 16:47
402
mycielsk__144_32.min1.thm1
2017-02-06 12:44
613
mycielsk__145_37.min1.thm1
2017-02-06 12:45
669
mycielsk__148_27.min1.thm1
2017-02-06 12:45
529
mycielsk__149_32.min1.thm1
2017-02-06 12:45
613
mycielsk__150_37.min1.thm1
2017-02-06 12:44
669
mycielsk__153_32.min1.thm1
2017-02-06 12:45
557
mycielsk__154_37.min1.thm1
2017-02-06 12:45
669
mycielsk__157_37.min1.thm1
2017-02-06 12:44
585
mycielsk__173_27.min1.thm1
2017-02-06 12:45
401
mycielsk__173_27.min1.thm1.tptp
2017-02-06 16:47
324
mycielsk__174_21.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__183_28.min1.thm1
2017-02-06 12:44
401
mycielsk__183_28.min1.thm1.tptp
2017-02-06 16:47
324
mycielsk__184_18.min1.thm1
2017-02-06 12:45
871
mycielsk__185_28.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__186_22.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__187_16.min1.thm1
2017-02-06 12:44
871
mycielsk__198_55.min1.thm1
2017-02-06 12:45
191
mycielsk__207_18.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__208_18.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__209_45.min1.thm1
2017-02-06 12:45
648
mycielsk__210_26.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__211_20.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__218_17.min1.thm1
2017-02-06 12:45
588
mycielsk__219_24.min1.thm1
2017-02-06 12:45
481
mycielsk__220_16.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__221_22.min1.thm1
2017-02-06 12:45
680
mycielsk__222_19.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__224_26.min1.thm1
2017-02-06 12:45
693
mycielsk__240_16.min1.thm1
2017-02-06 12:45
808
mycielsk__241_16.min1.thm1
2017-02-06 12:44
693
mycielsk__242_17.min1.thm1
2017-02-06 12:44
529
mycielsk__250_17.min1.thm1
2017-02-06 12:45
525
mycielsk__250_17.min1.thm1.tptp
2017-02-06 16:47
470
mycielsk__251_20.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__256_18.min1.thm1
2017-02-06 12:45
761
mycielsk__257_27.min1.thm1
2017-02-06 12:44
911
mycielsk__260_18.min1.thm1
2017-02-06 12:45
433
mycielsk__260_18.min1.thm1.tptp
2017-02-06 16:47
378
mycielsk__261_21.min1.thm1
2017-02-06 12:44
551
mycielsk__263_23.min1.thm1
2017-02-06 12:45
936
mycielsk__264_23.min1.thm1
2017-02-06 12:45
872
mycielsk__265_28.min1.thm1
2017-02-06 12:44
684
mycielsk__273_20.min1.thm1
2017-02-06 12:44
808
mycielsk__276_20.min1.thm1
2017-02-06 12:45
471
mycielsk__276_20.min1.thm1.tptp
2017-02-06 16:47
417
mycielsk__277_48.min1.thm1
2017-02-06 12:45
644
mycielsk__278_50.min1.thm1
2017-02-06 12:45
330
mycielsk__278_50.min1.thm1.tptp
2017-02-06 16:47
244
mycielsk__279_19.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__283_35.min1.thm1
2017-02-06 12:45
810
mycielsk__284_30.min1.thm1
2017-02-06 12:45
866
mycielsk__285_18.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__287_36.min1.thm1
2017-02-06 12:44
562
mycielsk__290_36.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__301_13.min1.thm1
2017-02-06 12:44
190
mycielsk__303_21.min1.thm1
2017-02-06 12:44
442
mycielsk__306_38.min1.thm1
2017-02-06 12:45
405
mycielsk__307_18.min1.thm1
2017-02-06 12:44
340
mycielsk__307_18.min1.thm1.tptp
2017-02-06 16:47
262
mycielsk__318_56.min1.thm1
2017-02-06 12:45
228
mycielsk__322_24.min1.thm1
2017-02-06 12:44
609
mycielsk__330_18.min1.thm1
2017-02-06 12:44
477
mycielsk__330_18.min1.thm1.tptp
2017-02-06 16:47
423
mycielsk__331_47.min1.thm1
2017-02-06 12:44
652
mycielsk__332_36.min1.thm1
2017-02-06 12:44
370
mycielsk__332_36.min1.thm1.tptp
2017-02-06 16:47
284
mycielsk__333_25.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__334_25.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__336_18.min1.thm1
2017-02-06 12:45
632
mycielsk__345_10.min1.thm1
2017-02-06 12:44
189
mycielsk__347_21.min1.thm1
2017-02-06 12:44
411
mycielsk__348_12.min1.thm1
2017-02-06 12:44
547
mycielsk__349_33.min1.thm1
2017-02-06 12:44
1.5K
mycielsk__352_50.min1.thm1
2017-02-06 12:44
593
mycielsk__357_14.min1.thm1
2017-02-06 12:45
468
mycielsk__357_14.min1.thm1.tptp
2017-02-06 16:47
382
mycielsk__367_10.min1.thm1
2017-02-06 12:44
189
mycielsk__371_14.min1.thm1
2017-02-06 12:45
549
mycielsk__372_31.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__373_20.min1.thm1
2017-02-06 12:45
582
mycielsk__375_17.min1.thm1
2017-02-06 12:45
689
mycielsk__379_48.min1.thm1
2017-02-06 12:44
593
mycielsk__383_13.min1.thm1
2017-02-06 12:45
726
mycielsk__384_22.min1.thm1
2017-02-06 12:45
515
mycielsk__385_22.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__386_54.min1.thm1
2017-02-06 12:44
923
mycielsk__393_21.min1.thm1
2017-02-06 12:44
391
mycielsk__393_21.min1.thm1.tptp
2017-02-06 16:47
308
mycielsk__394_24.min1.thm1
2017-02-06 12:45
1.4K
mycielsk__403_28.min1.thm1
2017-02-06 12:44
545
mycielsk__403_28.min1.thm1.tptp
2017-02-06 16:47
472
mycielsk__404_28.min1.thm1
2017-02-06 12:44
545
mycielsk__404_28.min1.thm1.tptp
2017-02-06 16:47
472
mycielsk__405_23.min1.thm1
2017-02-06 12:45
391
mycielsk__405_23.min1.thm1.tptp
2017-02-06 16:47
308
mycielsk__407_28.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__409_23.min1.thm1
2017-02-06 12:44
470
mycielsk__410_30.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__411_30.min1.thm1
2017-02-06 12:45
539
mycielsk__411_30.min1.thm1.tptp
2017-02-06 16:47
478
mycielsk__412_23.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__421_22.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__422_21.min1.thm1
2017-02-06 12:45
399
mycielsk__422_21.min1.thm1.tptp
2017-02-06 16:47
316
mycielsk__423_29.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__424_26.min1.thm1
2017-02-06 12:45
923
mycielsk__430_36.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__431_20.min1.thm1
2017-02-06 12:44
574
mycielsk__432_31.min1.thm1
2017-02-06 12:45
635
mycielsk__433_28.min1.thm1
2017-02-06 12:44
1.7K
mycielsk__436_23.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__437_35.min1.thm1
2017-02-06 12:45
1.5K
mycielsk__446_35.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__448_22.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__457_27.min1.thm1
2017-02-06 12:44
2.0K
mycielsk__465_19.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__466_21.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__469_40.min1.thm1
2017-02-06 12:45
323
mycielsk__469_40.min1.thm1.tptp
2017-02-06 16:47
246
mycielsk__470_21.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__480_28.min1.thm1
2017-02-06 12:45
806
mycielsk__488_17.min1.thm1
2017-02-06 12:44
461
mycielsk__488_17.min1.thm1.tptp
2017-02-06 16:47
407
mycielsk__489_26.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__490_25.min1.thm1
2017-02-06 12:44
772
mycielsk__491_49.min1.thm1
2017-02-06 12:44
804
mycielsk__492_47.min1.thm1
2017-02-06 12:44
967
mycielsk__498_31.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__500_33.min1.thm1
2017-02-06 12:45
447
mycielsk__500_33.min1.thm1.tptp
2017-02-06 16:47
361
mycielsk__501_23.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__502_50.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__503_29.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__508_30.min1.thm1
2017-02-06 12:44
632
mycielsk__532_60.min1.thm1
2017-02-06 12:44
598
mycielsk__534_21.min1.thm1
2017-02-06 12:44
358
mycielsk__543_12.min1.thm1
2017-02-06 12:45
203
mycielsk__545_51.min1.thm1
2017-02-06 12:45
641
mycielsk__546_56.min1.thm1
2017-02-06 12:44
489
mycielsk__547_42.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__549_21.min1.thm1
2017-02-06 12:44
466
mycielsk__552_52.min1.thm1
2017-02-06 12:44
731
mycielsk__560_71.min1.thm1
2017-02-06 12:45
881
mycielsk__561_35.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__563_42.min1.thm1
2017-02-06 12:45
865
mycielsk__565_19.min1.thm1
2017-02-06 12:45
870
mycielsk__573_14.min1.thm1
2017-02-06 12:44
473
mycielsk__573_14.min1.thm1.tptp
2017-02-06 16:47
410
mycielsk__582_20.min1.thm1
2017-02-06 12:45
492
mycielsk__582_20.min1.thm1.tptp
2017-02-06 16:47
429
mycielsk__583_30.min1.thm1
2017-02-06 12:45
841
mycielsk__584_46.min1.thm1
2017-02-06 12:44
634
mycielsk__591_46.min1.thm1
2017-02-06 12:44
477
mycielsk__591_46.min1.thm1.tptp
2017-02-06 16:47
423
mycielsk__592_37.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__593_35.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__608_19.min1.thm1
2017-02-06 12:45
492
mycielsk__608_19.min1.thm1.tptp
2017-02-06 16:47
429
mycielsk__609_19.min1.thm1
2017-02-06 12:44
189
mycielsk__610_30.min1.thm1
2017-02-06 12:44
909
mycielsk__615_56.min1.thm1
2017-02-06 12:45
440
mycielsk__617_22.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__626_21.min1.thm1
2017-02-06 12:45
440
mycielsk__628_22.min1.thm1
2017-02-06 12:44
440
mycielsk__629_38.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__630_20.min1.thm1
2017-02-06 12:44
856
mycielsk__639_30.min1.thm1
2017-02-06 12:45
1.7K
mycielsk__640_17.min1.thm1
2017-02-06 12:45
819
mycielsk__641_18.min1.thm1
2017-02-06 12:44
789
mycielsk__649_63.min1.thm1
2017-02-06 12:44
834
mycielsk__650_16.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__664_60.min1.thm1
2017-02-06 12:44
598
mycielsk__665_42.min1.thm1
2017-02-06 12:45
738
mycielsk__667_21.min1.thm1
2017-02-06 12:45
438
mycielsk__676_12.min1.thm1
2017-02-06 12:45
203
mycielsk__678_51.min1.thm1
2017-02-06 12:45
641
mycielsk__679_53.min1.thm1
2017-02-06 12:44
489
mycielsk__680_50.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__682_21.min1.thm1
2017-02-06 12:45
466
mycielsk__685_52.min1.thm1
2017-02-06 12:44
731
mycielsk__693_65.min1.thm1
2017-02-06 12:45
881
mycielsk__694_31.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__696_50.min1.thm1
2017-02-06 12:45
865
mycielsk__698_19.min1.thm1
2017-02-06 12:44
870
mycielsk__706_14.min1.thm1
2017-02-06 12:45
473
mycielsk__706_14.min1.thm1.tptp
2017-02-06 16:47
410
mycielsk__715_20.min1.thm1
2017-02-06 12:45
492
mycielsk__715_20.min1.thm1.tptp
2017-02-06 16:47
429
mycielsk__716_30.min1.thm1
2017-02-06 12:45
841
mycielsk__717_46.min1.thm1
2017-02-06 12:45
634
mycielsk__724_46.min1.thm1
2017-02-06 12:45
477
mycielsk__724_46.min1.thm1.tptp
2017-02-06 16:47
423
mycielsk__725_34.min1.thm1
2017-02-06 12:45
1.4K
mycielsk__726_32.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__741_19.min1.thm1
2017-02-06 12:45
492
mycielsk__741_19.min1.thm1.tptp
2017-02-06 16:47
429
mycielsk__742_19.min1.thm1
2017-02-06 12:44
189
mycielsk__743_30.min1.thm1
2017-02-06 12:44
909
mycielsk__748_64.min1.thm1
2017-02-06 12:44
440
mycielsk__750_22.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__759_21.min1.thm1
2017-02-06 12:44
440
mycielsk__761_22.min1.thm1
2017-02-06 12:44
440
mycielsk__762_38.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__763_20.min1.thm1
2017-02-06 12:44
856
mycielsk__772_32.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__773_17.min1.thm1
2017-02-06 12:44
819
mycielsk__774_18.min1.thm1
2017-02-06 12:45
789
mycielsk__783_32.min1.thm1
2017-02-06 12:44
834
mycielsk__784_17.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__796_25.min1.thm1
2017-02-06 12:45
928
mycielsk__797_36.min1.thm1
2017-02-06 12:44
945
mycielsk__798_44.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__806_28.min1.thm1
2017-02-06 12:44
928
mycielsk__807_37.min1.thm1
2017-02-06 12:45
945
mycielsk__808_47.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__816_28.min1.thm1
2017-02-06 12:44
886
mycielsk__817_36.min1.thm1
2017-02-06 12:45
841
mycielsk__818_47.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__826_30.min1.thm1
2017-02-06 12:45
886
mycielsk__827_36.min1.thm1
2017-02-06 12:44
841
mycielsk__828_49.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__839_25.min1.thm1
2017-02-06 12:44
851
mycielsk__841_28.min1.thm1
2017-02-06 12:45
827
mycielsk__842_46.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__843_31.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__845_11.min1.thm1
2017-02-06 12:45
191
mycielsk__854_41.min1.thm1
2017-02-06 12:44
553
mycielsk__855_25.min1.thm1
2017-02-06 12:45
672
mycielsk__856_21.min1.thm1
2017-02-06 12:44
477
mycielsk__857_27.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__860_16.min1.thm1
2017-02-06 12:44
431
mycielsk__860_16.min1.thm1.tptp
2017-02-06 16:47
376
mycielsk__862_21.min1.thm1
2017-02-06 12:44
607
mycielsk__871_17.min1.thm1
2017-02-06 12:45
1.4K
mycielsk__872_31.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__873_28.min1.thm1
2017-02-06 12:45
826
mycielsk__886_28.min1.thm1
2017-02-06 12:45
851
mycielsk__888_30.min1.thm1
2017-02-06 12:45
827
mycielsk__889_46.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__890_31.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__892_11.min1.thm1
2017-02-06 12:45
191
mycielsk__902_44.min1.thm1
2017-02-06 12:45
553
mycielsk__903_25.min1.thm1
2017-02-06 12:45
672
mycielsk__904_21.min1.thm1
2017-02-06 12:44
477
mycielsk__905_27.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__908_16.min1.thm1
2017-02-06 12:44
431
mycielsk__908_16.min1.thm1.tptp
2017-02-06 16:47
376
mycielsk__910_21.min1.thm1
2017-02-06 12:45
607
mycielsk__919_17.min1.thm1
2017-02-06 12:45
1.4K
mycielsk__920_28.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__921_28.min1.thm1
2017-02-06 12:45
826
mycielsk__940_24.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__942_25.min1.thm1
2017-02-06 12:44
857
mycielsk__943_30.min1.thm1
2017-02-06 12:45
969
mycielsk__945_24.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__962_24.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__963_25.min1.thm1
2017-02-06 12:44
871
mycielsk__966_28.min1.thm1
2017-02-06 12:45
604
mycielsk__968_23.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__969_18.min1.thm1
2017-02-06 12:45
859
mycielsk__976_54.min1.thm1
2017-02-06 12:45
742
mycielsk__977_16.min1.thm1
2017-02-06 12:44
773
mycielsk__991_50.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__993_31.min1.thm1
2017-02-06 12:44
917
mycielsk__994_38.min1.thm1
2017-02-06 12:45
1.4K
mycielsk__1009_62.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__1011_31.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__1012_38.min1.thm1
2017-02-06 12:45
1.4K
mycielsk__1022_24.min1.thm1
2017-02-06 12:44
874
mycielsk__1028_51.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1039_54.min1.thm1
2017-02-06 12:45
707
mycielsk__1045_62.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__1058_62.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__1062_61.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1066_30.min1.thm1
2017-02-06 12:44
1.7K
mycielsk__1067_13.min1.thm1
2017-02-06 12:44
1.5K
mycielsk__1072_21.min1.thm1
2017-02-06 12:44
562
mycielsk__1074_29.min1.thm1
2017-02-06 12:45
943
mycielsk__1074_29.min1.thm1.tptp
2017-02-06 16:47
886
mycielsk__1077_19.min1.thm1
2017-02-06 12:44
709
mycielsk__1077_19.min1.thm1.tptp
2017-02-06 16:47
630
mycielsk__1081_21.min1.thm1
2017-02-06 12:44
952
mycielsk__1082_24.min1.thm1
2017-02-06 12:45
799
mycielsk__1094_8.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1098_58.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__1102_30.min1.thm1
2017-02-06 12:45
1.7K
mycielsk__1103_13.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__1108_21.min1.thm1
2017-02-06 12:45
562
mycielsk__1110_29.min1.thm1
2017-02-06 12:45
943
mycielsk__1110_29.min1.thm1.tptp
2017-02-06 16:47
886
mycielsk__1113_19.min1.thm1
2017-02-06 12:45
709
mycielsk__1113_19.min1.thm1.tptp
2017-02-06 16:47
630
mycielsk__1117_21.min1.thm1
2017-02-06 12:44
952
mycielsk__1118_27.min1.thm1
2017-02-06 12:44
848
mycielsk__1131_22.min1.thm1
2017-02-06 12:45
801
mycielsk__1133_50.min1.thm1
2017-02-06 12:44
761
mycielsk__1135_39.min1.thm1
2017-02-06 12:44
833
mycielsk__1136_24.min1.thm1
2017-02-06 12:45
1.4K
mycielsk__1138_46.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__1149_25.min1.thm1
2017-02-06 12:45
819
mycielsk__1151_53.min1.thm1
2017-02-06 12:44
761
mycielsk__1153_25.min1.thm1
2017-02-06 12:45
815
mycielsk__1154_24.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__1156_46.min1.thm1
2017-02-06 12:45
1.6K
mycielsk__1164_54.min1.thm1
2017-02-06 12:45
707
mycielsk__1168_35.min1.thm1
2017-02-06 12:45
969
mycielsk__1169_43.min1.thm1
2017-02-06 12:45
717
mycielsk__1180_43.min1.thm1
2017-02-06 12:44
738
mycielsk__1184_33.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__1185_34.min1.thm1
2017-02-06 12:45
766
mycielsk__1187_28.min1.thm1
2017-02-06 12:45
967
mycielsk__1196_43.min1.thm1
2017-02-06 12:45
738
mycielsk__1200_32.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1201_35.min1.thm1
2017-02-06 12:45
766
mycielsk__1212_43.min1.thm1
2017-02-06 12:44
707
mycielsk__1216_37.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__1217_31.min1.thm1
2017-02-06 12:44
717
mycielsk__1219_36.min1.thm1
2017-02-06 12:45
936
mycielsk__1227_20.min1.thm1
2017-02-06 12:45
492
mycielsk__1227_20.min1.thm1.tptp
2017-02-06 16:47
429
mycielsk__1228_45.min1.thm1
2017-02-06 12:45
707
mycielsk__1229_18.min1.thm1
2017-02-06 12:45
777
mycielsk__1238_20.min1.thm1
2017-02-06 12:45
523
mycielsk__1238_20.min1.thm1.tptp
2017-02-06 16:47
460
mycielsk__1239_37.min1.thm1
2017-02-06 12:44
756
mycielsk__1240_18.min1.thm1
2017-02-06 12:45
808
mycielsk__1252_25.min1.thm1
2017-02-06 12:44
763
mycielsk__1254_53.min1.thm1
2017-02-06 12:45
719
mycielsk__1258_35.min1.thm1
2017-02-06 12:44
759
mycielsk__1261_40.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__1272_33.min1.thm1
2017-02-06 12:44
745
mycielsk__1274_61.min1.thm1
2017-02-06 12:44
719
mycielsk__1278_27.min1.thm1
2017-02-06 12:45
777
mycielsk__1281_40.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__1298_21.min1.thm1
2017-02-06 12:45
832
mycielsk__1299_18.min1.thm1
2017-02-06 12:44
442
mycielsk__1301_22.min1.thm1
2017-02-06 12:44
770
mycielsk__1302_27.min1.thm1
2017-02-06 12:44
901
mycielsk__1303_31.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1304_38.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1307_22.min1.thm1
2017-02-06 12:44
770
mycielsk__1308_27.min1.thm1
2017-02-06 12:45
901
mycielsk__1309_31.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__1310_38.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1313_35.min1.thm1
2017-02-06 12:44
447
mycielsk__1313_35.min1.thm1.tptp
2017-02-06 16:47
369
mycielsk__1320_21.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__1321_27.min1.thm1
2017-02-06 12:44
517
mycielsk__1321_27.min1.thm1.tptp
2017-02-06 16:47
431
mycielsk__1324_15.min1.thm1
2017-02-06 12:45
962
mycielsk__1335_43.min1.thm1
2017-02-06 12:44
518
mycielsk__1336_25.min1.thm1
2017-02-06 12:45
776
mycielsk__1337_19.min1.thm1
2017-02-06 12:44
776
mycielsk__1341_43.min1.thm1
2017-02-06 12:44
510
mycielsk__1342_25.min1.thm1
2017-02-06 12:45
756
mycielsk__1343_19.min1.thm1
2017-02-06 12:45
756
mycielsk__1362_19.min1.thm1
2017-02-06 12:44
905
mycielsk__1363_34.min1.thm1
2017-02-06 12:44
668
mycielsk__1364_14.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__1366_15.min1.thm1
2017-02-06 12:44
270
mycielsk__1367_12.min1.thm1
2017-02-06 12:45
355
mycielsk__1370_16.min1.thm1
2017-02-06 12:45
374
mycielsk__1371_36.min1.thm1
2017-02-06 12:45
498
mycielsk__1374_64.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__1375_28.min1.thm1
2017-02-06 12:45
1.6K
mycielsk__1376_32.min1.thm1
2017-02-06 12:45
797
mycielsk__1379_22.min1.thm1
2017-02-06 12:45
779
mycielsk__1383_40.min1.thm1
2017-02-06 12:44
392
mycielsk__1391_45.min1.thm1
2017-02-06 12:45
506
mycielsk__1395_50.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1397_23.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__1407_15.min1.thm1
2017-02-06 12:44
359
mycielsk__1407_15.min1.thm1.tptp
2017-02-06 16:47
282
mycielsk__1408_23.min1.thm1
2017-02-06 12:44
922
mycielsk__1413_23.min1.thm1
2017-02-06 12:44
850
mycielsk__1414_22.min1.thm1
2017-02-06 12:45
586
mycielsk__1415_23.min1.thm1
2017-02-06 12:44
667
mycielsk__1416_17.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__1417_23.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__1418_23.min1.thm1
2017-02-06 12:44
561
mycielsk__1426_19.min1.thm1
2017-02-06 12:44
519
mycielsk__1426_19.min1.thm1.tptp
2017-02-06 16:47
464
mycielsk__1427_23.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1434_19.min1.thm1
2017-02-06 12:44
530
mycielsk__1435_47.min1.thm1
2017-02-06 12:44
380
mycielsk__1435_47.min1.thm1.tptp
2017-02-06 16:47
302
mycielsk__1436_16.min1.thm1
2017-02-06 12:44
221
mycielsk__1438_27.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__1439_38.min1.thm1
2017-02-06 12:45
445
mycielsk__1439_38.min1.thm1.tptp
2017-02-06 16:47
377
mycielsk__1440_24.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__1441_28.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__1442_30.min1.thm1
2017-02-06 12:44
362
mycielsk__1443_33.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__1444_47.min1.thm1
2017-02-06 12:44
745
mycielsk__1445_37.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1446_30.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1449_29.min1.thm1
2017-02-06 12:44
381
mycielsk__1449_29.min1.thm1.tptp
2017-02-06 16:47
313
mycielsk__1450_24.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__1451_34.min1.thm1
2017-02-06 12:45
949
mycielsk__1452_29.min1.thm1
2017-02-06 12:45
510
mycielsk__1452_29.min1.thm1.tptp
2017-02-06 16:47
448
mycielsk__1453_30.min1.thm1
2017-02-06 12:45
766
mycielsk__1463_20.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__1464_30.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1465_21.min1.thm1
2017-02-06 12:45
673
mycielsk__1470_20.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__1471_14.min1.thm1
2017-02-06 12:44
227
mycielsk__1473_34.min1.thm1
2017-02-06 12:45
645
mycielsk__1477_35.min1.thm1
2017-02-06 12:44
720
mycielsk__1482_20.min1.thm1
2017-02-06 12:44
497
mycielsk__1482_20.min1.thm1.tptp
2017-02-06 16:47
443
mycielsk__1483_18.min1.thm1
2017-02-06 12:45
1.4K
mycielsk__1488_21.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__1489_22.min1.thm1
2017-02-06 12:44
594
mycielsk__1490_26.min1.thm1
2017-02-06 12:45
1.6K
mycielsk__1494_21.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__1495_22.min1.thm1
2017-02-06 12:45
594
mycielsk__1496_26.min1.thm1
2017-02-06 12:45
1.6K
mycielsk__1508_41.min1.thm1
2017-02-06 12:45
626
mycielsk__1510_25.min1.thm1
2017-02-06 12:45
930
mycielsk__1511_21.min1.thm1
2017-02-06 12:45
586
mycielsk__1512_17.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__1513_30.min1.thm1
2017-02-06 12:45
824
mycielsk__1514_30.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1520_19.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__1522_41.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__1525_26.min1.thm1
2017-02-06 12:44
683
mycielsk__1526_28.min1.thm1
2017-02-06 12:45
451
mycielsk__1526_28.min1.thm1.tptp
2017-02-06 16:47
386
mycielsk__1527_41.min1.thm1
2017-02-06 12:44
1.8K
mycielsk__1528_42.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__1529_41.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__1532_26.min1.thm1
2017-02-06 12:44
683
mycielsk__1533_28.min1.thm1
2017-02-06 12:45
451
mycielsk__1533_28.min1.thm1.tptp
2017-02-06 16:47
386
mycielsk__1534_41.min1.thm1
2017-02-06 12:44
1.8K
mycielsk__1535_42.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__1536_41.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__1539_41.min1.thm1
2017-02-06 12:44
1.8K
mycielsk__1542_30.min1.thm1
2017-02-06 12:44
555
mycielsk__1544_40.min1.thm1
2017-02-06 12:44
820
mycielsk__1545_32.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__1546_36.min1.thm1
2017-02-06 12:44
611
mycielsk__1558_19.min1.thm1
2017-02-06 12:45
638
mycielsk__1559_25.min1.thm1
2017-02-06 12:45
740
mycielsk__1560_21.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__1562_44.min1.thm1
2017-02-06 12:44
858
mycielsk__1568_31.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__1569_31.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__1573_34.min1.thm1
2017-02-06 12:44
647
mycielsk__1574_22.min1.thm1
2017-02-06 12:44
898
mycielsk__1576_24.min1.thm1
2017-02-06 12:45
294
mycielsk__1579_35.min1.thm1
2017-02-06 12:44
455
mycielsk__1579_35.min1.thm1.tptp
2017-02-06 16:47
377
mycielsk__1581_46.min1.thm1
2017-02-06 12:44
704
mycielsk__1582_25.min1.thm1
2017-02-06 12:45
1.5K
mycielsk__1583_26.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__1590_34.min1.thm1
2017-02-06 12:44
647
mycielsk__1591_22.min1.thm1
2017-02-06 12:45
898
mycielsk__1593_24.min1.thm1
2017-02-06 12:44
294
mycielsk__1596_36.min1.thm1
2017-02-06 12:45
455
mycielsk__1596_36.min1.thm1.tptp
2017-02-06 16:47
377
mycielsk__1598_46.min1.thm1
2017-02-06 12:45
704
mycielsk__1599_25.min1.thm1
2017-02-06 12:45
1.5K
mycielsk__1600_26.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__1609_23.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1610_27.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__1611_24.min1.thm1
2017-02-06 12:44
1.8K
mycielsk__1613_21.min1.thm1
2017-02-06 12:45
556
mycielsk__1614_21.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__1616_19.min1.thm1
2017-02-06 12:45
685
mycielsk__1628_43.min1.thm1
2017-02-06 12:44
309
mycielsk__1636_14.min1.thm1
2017-02-06 12:45
884
mycielsk__1642_14.min1.thm1
2017-02-06 12:44
717
mycielsk__1648_14.min1.thm1
2017-02-06 12:44
755
mycielsk__1651_43.min1.thm1
2017-02-06 12:44
309
mycielsk__1657_43.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__1659_16.min1.thm1
2017-02-06 12:45
342
mycielsk__1659_16.min1.thm1.tptp
2017-02-06 16:47
261
mycielsk__1668_22.min1.thm1
2017-02-06 12:45
296
mycielsk__1669_48.min1.thm1
2017-02-06 12:44
403
mycielsk__1669_48.min1.thm1.tptp
2017-02-06 16:47
331
mycielsk__1672_49.min1.thm1
2017-02-06 12:45
1.6K
mycielsk__1677_52.min1.thm1
2017-02-06 12:44
728
mycielsk__1678_16.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__1691_37.min1.thm1
2017-02-06 12:45
816
mycielsk__1692_31.min1.thm1
2017-02-06 12:44
714
mycielsk__1693_19.min1.thm1
2017-02-06 12:44
716
mycielsk__1696_46.min1.thm1
2017-02-06 12:44
954
mycielsk__1697_33.min1.thm1
2017-02-06 12:44
811
mycielsk__1698_55.min1.thm1
2017-02-06 12:44
812
mycielsk__1707_13.min1.thm1
2017-02-06 12:44
597
mycielsk__1711_30.min1.thm1
2017-02-06 12:44
788
mycielsk__1716_34.min1.thm1
2017-02-06 12:45
832
mycielsk__1718_21.min1.thm1
2017-02-06 12:45
949
mycielsk__1732_30.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__1734_37.min1.thm1
2017-02-06 12:45
889
mycielsk__1743_24.min1.thm1
2017-02-06 12:44
426
mycielsk__1744_15.min1.thm1
2017-02-06 12:44
752
mycielsk__1749_16.min1.thm1
2017-02-06 12:45
772
mycielsk__1751_33.min1.thm1
2017-02-06 12:45
684
mycielsk__1752_27.min1.thm1
2017-02-06 12:44
1.5K
mycielsk__1753_22.min1.thm1
2017-02-06 12:45
801
mycielsk__1756_23.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__1764_22.min1.thm1
2017-02-06 12:44
928
mycielsk__1765_41.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__1773_19.min1.thm1
2017-02-06 12:44
333
mycielsk__1773_19.min1.thm1.tptp
2017-02-06 16:47
256
mycielsk__1775_24.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1776_44.min1.thm1
2017-02-06 12:45
732
mycielsk__1777_24.min1.thm1
2017-02-06 12:44
426
mycielsk__1779_17.min1.thm1
2017-02-06 12:45
770
mycielsk__1780_37.min1.thm1
2017-02-06 12:45
680
mycielsk__1781_41.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__1789_46.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__1792_23.min1.thm1
2017-02-06 12:45
929
mycielsk__1793_29.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__1797_21.min1.thm1
2017-02-06 12:44
396
mycielsk__1798_39.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__1799_23.min1.thm1
2017-02-06 12:45
629
mycielsk__1804_22.min1.thm1
2017-02-06 12:44
508
mycielsk__1806_43.min1.thm1
2017-02-06 12:45
1.6K
mycielsk__1828_16.min1.thm1
2017-02-06 12:45
576
mycielsk__1829_16.min1.thm1
2017-02-06 12:44
378
mycielsk__1829_16.min1.thm1.tptp
2017-02-06 16:47
304
mycielsk__1841_36.min1.thm1
2017-02-06 12:44
674
mycielsk__1842_27.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__1844_38.min1.thm1
2017-02-06 12:44
1.8K
mycielsk__1852_24.min1.thm1
2017-02-06 12:44
810
mycielsk__1853_26.min1.thm1
2017-02-06 12:45
2.1K
mycielsk__1854_31.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__1856_24.min1.thm1
2017-02-06 12:45
811
mycielsk__1857_28.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__1859_29.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__1867_24.min1.thm1
2017-02-06 12:45
810
mycielsk__1868_26.min1.thm1
2017-02-06 12:45
2.1K
mycielsk__1869_32.min1.thm1
2017-02-06 12:45
1.6K
mycielsk__1871_24.min1.thm1
2017-02-06 12:44
811
mycielsk__1872_28.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__1874_29.min1.thm1
2017-02-06 12:45
1.6K
mycielsk__1882_22.min1.thm1
2017-02-06 12:45
413
mycielsk__1882_22.min1.thm1.tptp
2017-02-06 16:47
348
mycielsk__1883_33.min1.thm1
2017-02-06 12:45
868
mycielsk__1884_23.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__1885_32.min1.thm1
2017-02-06 12:45
1.5K
mycielsk__1887_21.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__1889_27.min1.thm1
2017-02-06 12:45
1.5K
mycielsk__1897_22.min1.thm1
2017-02-06 12:45
413
mycielsk__1897_22.min1.thm1.tptp
2017-02-06 16:47
348
mycielsk__1898_33.min1.thm1
2017-02-06 12:45
868
mycielsk__1899_23.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__1900_32.min1.thm1
2017-02-06 12:44
1.5K
mycielsk__1902_21.min1.thm1
2017-02-06 12:45
1.4K
mycielsk__1904_27.min1.thm1
2017-02-06 12:45
1.5K
mycielsk__1908_43.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__1920_58.min1.thm1
2017-02-06 12:44
1.5K
mycielsk__1921_16.min1.thm1
2017-02-06 12:44
2.7K
mycielsk__1930_27.min1.thm1
2017-02-06 12:45
572
mycielsk__1931_12.min1.thm1
2017-02-06 12:45
671
mycielsk__1933_19.min1.thm1
2017-02-06 12:45
1.4K
mycielsk__1952_53.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__1957_28.min1.thm1
2017-02-06 12:44
770
mycielsk__1958_19.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__1965_21.min1.thm1
2017-02-06 12:44
675
mycielsk__1966_20.min1.thm1
2017-02-06 12:44
679
mycielsk__1967_28.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__1969_21.min1.thm1
2017-02-06 12:45
676
mycielsk__1970_20.min1.thm1
2017-02-06 12:45
681
mycielsk__1978_21.min1.thm1
2017-02-06 12:44
675
mycielsk__1979_20.min1.thm1
2017-02-06 12:45
679
mycielsk__1980_28.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__1982_21.min1.thm1
2017-02-06 12:44
676
mycielsk__1983_20.min1.thm1
2017-02-06 12:45
681
mycielsk__1987_27.min1.thm1
2017-02-06 12:45
671
mycielsk__1988_20.min1.thm1
2017-02-06 12:45
653
mycielsk__1989_19.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__1992_27.min1.thm1
2017-02-06 12:44
671
mycielsk__1993_20.min1.thm1
2017-02-06 12:44
653
mycielsk__1994_19.min1.thm1
2017-02-06 12:45
1.6K
mycielsk__2009_53.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__2028_53.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__2031_21.min1.thm1
2017-02-06 12:44
428
mycielsk__2031_21.min1.thm1.tptp
2017-02-06 16:47
348
mycielsk__2036_16.min1.thm1
2017-02-06 12:45
641
mycielsk__2037_21.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__2038_21.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__2045_16.min1.thm1
2017-02-06 12:44
641
mycielsk__2046_21.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__2047_21.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__2055_18.min1.thm1
2017-02-06 12:45
389
mycielsk__2055_18.min1.thm1.tptp
2017-02-06 16:47
324
mycielsk__2058_23.min1.thm1
2017-02-06 12:44
627
mycielsk__2066_19.min1.thm1
2017-02-06 12:45
389
mycielsk__2066_19.min1.thm1.tptp
2017-02-06 16:47
324
mycielsk__2067_17.min1.thm1
2017-02-06 12:45
496
mycielsk__2069_23.min1.thm1
2017-02-06 12:45
627
mycielsk__2089_53.min1.thm1
2017-02-06 12:45
1.4K
mycielsk__2090_51.min1.thm1
2017-02-06 12:44
559
mycielsk__2112_53.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__2116_22.min1.thm1
2017-02-06 12:44
725
mycielsk__2117_21.min1.thm1
2017-02-06 12:44
671
mycielsk__2118_21.min1.thm1
2017-02-06 12:44
893
mycielsk__2126_20.min1.thm1
2017-02-06 12:45
699
mycielsk__2133_18.min1.thm1
2017-02-06 12:45
670
mycielsk__2135_24.min1.thm1
2017-02-06 12:45
725
mycielsk__2136_23.min1.thm1
2017-02-06 12:45
671
mycielsk__2137_23.min1.thm1
2017-02-06 12:44
893
mycielsk__2145_19.min1.thm1
2017-02-06 12:44
389
mycielsk__2145_19.min1.thm1.tptp
2017-02-06 16:47
324
mycielsk__2146_17.min1.thm1
2017-02-06 12:45
612
mycielsk__2148_23.min1.thm1
2017-02-06 12:45
627
mycielsk__2156_16.min1.thm1
2017-02-06 12:45
612
mycielsk__2157_22.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__2177_53.min1.thm1
2017-02-06 12:45
1.4K
mycielsk__2181_22.min1.thm1
2017-02-06 12:45
725
mycielsk__2182_21.min1.thm1
2017-02-06 12:45
671
mycielsk__2183_21.min1.thm1
2017-02-06 12:45
893
mycielsk__2191_18.min1.thm1
2017-02-06 12:44
670
mycielsk__2193_24.min1.thm1
2017-02-06 12:44
725
mycielsk__2194_23.min1.thm1
2017-02-06 12:44
671
mycielsk__2195_23.min1.thm1
2017-02-06 12:45
893
mycielsk__2203_20.min1.thm1
2017-02-06 12:45
699
mycielsk__2210_16.min1.thm1
2017-02-06 12:44
612
mycielsk__2211_22.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__2218_19.min1.thm1
2017-02-06 12:44
389
mycielsk__2218_19.min1.thm1.tptp
2017-02-06 16:47
324
mycielsk__2219_16.min1.thm1
2017-02-06 12:45
612
mycielsk__2221_23.min1.thm1
2017-02-06 12:45
627
mycielsk__2242_53.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__2243_19.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__2244_19.min1.thm1
2017-02-06 12:44
308
mycielsk__2245_42.min1.thm1
2017-02-06 12:45
923
mycielsk__2247_42.min1.thm1
2017-02-06 12:45
923
mycielsk__2262_13.min1.thm1
2017-02-06 12:44
572
mycielsk__2272_22.min1.thm1
2017-02-06 12:45
513
mycielsk__2273_62.min1.thm1
2017-02-06 12:44
850
mycielsk__2274_57.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__2275_22.min1.thm1
2017-02-06 12:44
607
mycielsk__2287_22.min1.thm1
2017-02-06 12:44
513
mycielsk__2288_62.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__2290_57.min1.thm1
2017-02-06 12:44
757
mycielsk__2293_26.min1.thm1
2017-02-06 12:44
2.2K
mycielsk__2311_13.min1.thm1
2017-02-06 12:44
603
mycielsk__2312_16.min1.thm1
2017-02-06 12:45
540
mycielsk__2315_16.min1.thm1
2017-02-06 12:44
374
mycielsk__2315_16.min1.thm1.tptp
2017-02-06 16:47
300
mycielsk__2319_22.min1.thm1
2017-02-06 12:45
800
mycielsk__2323_23.min1.thm1
2017-02-06 12:44
2.1K
mycielsk__2324_19.min1.thm1
2017-02-06 12:44
2.0K
mycielsk__2329_12.min1.thm1
2017-02-06 12:44
221
mycielsk__2338_21.min1.thm1
2017-02-06 12:44
386
mycielsk__2338_21.min1.thm1.tptp
2017-02-06 16:47
320
mycielsk__2339_18.min1.thm1
2017-02-06 12:45
950
mycielsk__2341_29.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__2342_45.min1.thm1
2017-02-06 12:45
748
mycielsk__2343_17.min1.thm1
2017-02-06 12:45
601
mycielsk__2344_19.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__2346_19.min1.thm1
2017-02-06 12:44
1.5K
mycielsk__2353_22.min1.thm1
2017-02-06 12:45
958
mycielsk__2355_33.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__2356_49.min1.thm1
2017-02-06 12:44
762
mycielsk__2357_21.min1.thm1
2017-02-06 12:44
619
mycielsk__2358_23.min1.thm1
2017-02-06 12:45
1.6K
mycielsk__2360_23.min1.thm1
2017-02-06 12:44
1.5K
mycielsk__2362_24.min1.thm1
2017-02-06 12:44
670
mycielsk__2363_53.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__2365_31.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__2367_22.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__2372_33.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__2373_24.min1.thm1
2017-02-06 12:44
324
mycielsk__2376_24.min1.thm1
2017-02-06 12:44
413
mycielsk__2376_24.min1.thm1.tptp
2017-02-06 16:47
363
mycielsk__2379_21.min1.thm1
2017-02-06 12:44
2.1K
mycielsk__2382_47.min1.thm1
2017-02-06 12:44
2.5K
mycielsk__2387_53.min1.thm1
2017-02-06 12:44
2.6K
mycielsk__2389_48.min1.thm1
2017-02-06 12:45
2.6K
mycielsk__2395_53.min1.thm1
2017-02-06 12:44
2.6K
mycielsk__2397_48.min1.thm1
2017-02-06 12:44
2.6K
mycielsk__2405_42.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__2406_39.min1.thm1
2017-02-06 12:45
480
mycielsk__2407_19.min1.thm1
2017-02-06 12:45
1.5K
mycielsk__2410_19.min1.thm1
2017-02-06 12:44
582
mycielsk__2413_31.min1.thm1
2017-02-06 12:45
545
mycielsk__2414_51.min1.thm1
2017-02-06 12:44
737
mycielsk__2418_52.min1.thm1
2017-02-06 12:45
2.5K
mycielsk__2426_44.min1.thm1
2017-02-06 12:45
839
mycielsk__2429_46.min1.thm1
2017-02-06 12:44
605
mycielsk__2429_46.min1.thm1.tptp
2017-02-06 16:47
549
mycielsk__2430_29.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__2432_44.min1.thm1
2017-02-06 12:45
787
mycielsk__2438_41.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__2442_41.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__2446_36.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__2447_50.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__2448_62.min1.thm1
2017-02-06 12:44
848
mycielsk__2449_25.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__2456_55.min1.thm1
2017-02-06 12:45
2.5K
mycielsk__2463_55.min1.thm1
2017-02-06 12:44
2.5K
mycielsk__2470_30.min1.thm1
2017-02-06 12:44
907
mycielsk__2478_47.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__2483_34.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__2484_45.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__2486_49.min1.thm1
2017-02-06 12:44
2.5K
mycielsk__2487_16.min1.thm1
2017-02-06 12:44
589
mycielsk__2488_26.min1.thm1
2017-02-06 12:44
547
mycielsk__2489_21.min1.thm1
2017-02-06 12:45
383
mycielsk__2489_21.min1.thm1.tptp
2017-02-06 16:47
309
mycielsk__2501_28.min1.thm1
2017-02-06 12:44
796
mycielsk__2502_38.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__2504_45.min1.thm1
2017-02-06 12:45
2.0K
mycielsk__2505_28.min1.thm1
2017-02-06 12:45
707
mycielsk__2519_13.min1.thm1
2017-02-06 12:44
603
mycielsk__2525_56.min1.thm1
2017-02-06 12:44
215
mycielsk__2530_17.min1.thm1
2017-02-06 12:44
331
mycielsk__2534_24.min1.thm1
2017-02-06 12:44
329
mycielsk__2534_24.min1.thm1.tptp
2017-02-06 16:47
252
mycielsk__2538_25.min1.thm1
2017-02-06 12:45
803
mycielsk__2542_63.min1.thm1
2017-02-06 12:45
235
mycielsk__2551_26.min1.thm1
2017-02-06 12:45
678
mycielsk__2552_30.min1.thm1
2017-02-06 12:44
768
mycielsk__2555_51.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__2562_28.min1.thm1
2017-02-06 12:44
745
mycielsk__2563_33.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__2565_29.min1.thm1
2017-02-06 12:45
781
mycielsk__2567_26.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__2573_37.min1.thm1
2017-02-06 12:45
1.8K
mycielsk__2574_37.min1.thm1
2017-02-06 12:44
1.8K
mycielsk__2578_35.min1.thm1
2017-02-06 12:44
682
mycielsk__2579_30.min1.thm1
2017-02-06 12:44
948
mycielsk__2581_32.min1.thm1
2017-02-06 12:45
318
mycielsk__2585_35.min1.thm1
2017-02-06 12:45
1.9K
mycielsk__2587_42.min1.thm1
2017-02-06 12:44
681
mycielsk__2595_35.min1.thm1
2017-02-06 12:45
682
mycielsk__2596_30.min1.thm1
2017-02-06 12:44
948
mycielsk__2598_32.min1.thm1
2017-02-06 12:44
318
mycielsk__2602_35.min1.thm1
2017-02-06 12:44
1.9K
mycielsk__2604_42.min1.thm1
2017-02-06 12:45
681
mycielsk__2614_18.min1.thm1
2017-02-06 12:44
873
mycielsk__2622_21.min1.thm1
2017-02-06 12:44
692
mycielsk__2622_21.min1.thm1.tptp
2017-02-06 16:47
630
mycielsk__2628_23.min1.thm1
2017-02-06 12:44
651
mycielsk__2630_42.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__2631_24.min1.thm1
2017-02-06 12:45
1.5K
mycielsk__2632_33.min1.thm1
2017-02-06 12:44
1.4K
mycielsk__2634_34.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__2641_25.min1.thm1
2017-02-06 12:45
1.6K
mycielsk__2642_32.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__2644_33.min1.thm1
2017-02-06 12:44
1.7K
mycielsk__2649_28.min1.thm1
2017-02-06 12:44
419
mycielsk__2649_28.min1.thm1.tptp
2017-02-06 16:47
354
mycielsk__2650_31.min1.thm1
2017-02-06 12:45
474
mycielsk__2651_27.min1.thm1
2017-02-06 12:45
1.6K
mycielsk__2652_33.min1.thm1
2017-02-06 12:45
1.5K
mycielsk__2653_28.min1.thm1
2017-02-06 12:45
1.7K
mycielsk__2662_33.min1.thm1
2017-02-06 12:44
770
mycielsk__2665_28.min1.thm1
2017-02-06 12:45
611
mycielsk__2668_29.min1.thm1
2017-02-06 12:44
630
mycielsk__2673_43.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__2674_24.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__2675_33.min1.thm1
2017-02-06 12:45
1.5K
mycielsk__2676_18.min1.thm1
2017-02-06 12:45
241
mycielsk__2678_25.min1.thm1
2017-02-06 12:45
541
mycielsk__2679_31.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__2682_23.min1.thm1
2017-02-06 12:44
443
mycielsk__2682_23.min1.thm1.tptp
2017-02-06 16:47
388
mycielsk__2683_30.min1.thm1
2017-02-06 12:44
585
mycielsk__2685_36.min1.thm1
2017-02-06 12:45
762
mycielsk__2685_36.min1.thm1.tptp
2017-02-06 16:47
700
mycielsk__2686_34.min1.thm1
2017-02-06 12:45
935
mycielsk__2689_23.min1.thm1
2017-02-06 12:45
1.9K
mycielsk__2692_28.min1.thm1
2017-02-06 12:44
602
mycielsk__2693_48.min1.thm1
2017-02-06 12:44
508
mycielsk__2695_30.min1.thm1
2017-02-06 12:44
782
mycielsk__2696_35.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__2699_25.min1.thm1
2017-02-06 12:45
467
mycielsk__2699_25.min1.thm1.tptp
2017-02-06 16:47
412
mycielsk__2700_66.min1.thm1
2017-02-06 12:44
511
mycielsk__2700_66.min1.thm1.tptp
2017-02-06 16:47
434
mycielsk__2702_41.min1.thm1
2017-02-06 12:44
637
mycielsk__2704_36.min1.thm1
2017-02-06 12:44
788
mycielsk__2704_36.min1.thm1.tptp
2017-02-06 16:47
726
mycielsk__2705_34.min1.thm1
2017-02-06 12:45
965
mycielsk__2708_36.min1.thm1
2017-02-06 12:44
413
mycielsk__2708_36.min1.thm1.tptp
2017-02-06 16:47
348
mycielsk__2709_34.min1.thm1
2017-02-06 12:44
344
mycielsk__2710_33.min1.thm1
2017-02-06 12:45
645
mycielsk__2710_33.min1.thm1.tptp
2017-02-06 16:47
583
mycielsk__2711_34.min1.thm1
2017-02-06 12:44
934
mycielsk__2719_21.min1.thm1
2017-02-06 12:44
694
mycielsk__2719_21.min1.thm1.tptp
2017-02-06 16:47
632
mycielsk__2724_23.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__2725_26.min1.thm1
2017-02-06 12:45
630
mycielsk__2728_26.min1.thm1
2017-02-06 12:45
513
mycielsk__2737_21.min1.thm1
2017-02-06 12:45
477
mycielsk__2737_21.min1.thm1.tptp
2017-02-06 16:47
423
mycielsk__2738_21.min1.thm1
2017-02-06 12:45
1.5K
mycielsk__2746_23.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__2748_32.min1.thm1
2017-02-06 12:44
537
mycielsk__2748_32.min1.thm1.tptp
2017-02-06 16:47
476
mycielsk__2756_31.min1.thm1
2017-02-06 12:44
2.4K
mycielsk__2763_31.min1.thm1
2017-02-06 12:45
2.4K
mycielsk__2781_26.min1.thm1
2017-02-06 12:45
419
mycielsk__2781_26.min1.thm1.tptp
2017-02-06 16:47
354
mycielsk__2782_33.min1.thm1
2017-02-06 12:45
474
mycielsk__2786_25.min1.thm1
2017-02-06 12:45
651
mycielsk__2796_26.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__2801_25.min1.thm1
2017-02-06 12:44
419
mycielsk__2801_25.min1.thm1.tptp
2017-02-06 16:47
354
mycielsk__2802_33.min1.thm1
2017-02-06 12:45
474
mycielsk__2806_25.min1.thm1
2017-02-06 12:45
651
mycielsk__2816_26.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__2821_40.min1.thm1
2017-02-06 12:44
577
mycielsk__2821_40.min1.thm1.tptp
2017-02-06 16:47
514
mycielsk__2829_20.min1.thm1
2017-02-06 12:44
766
mycielsk__2834_43.min1.thm1
2017-02-06 12:44
710
mycielsk__2839_25.min1.thm1
2017-02-06 12:45
769
mycielsk__2841_48.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__2842_29.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__2843_28.min1.thm1
2017-02-06 12:45
685
mycielsk__2844_34.min1.thm1
2017-02-06 12:45
1.1K
mycielsk__2846_35.min1.thm1
2017-02-06 12:45
1.7K
mycielsk__2853_26.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__2854_35.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__2856_35.min1.thm1
2017-02-06 12:45
1.7K
mycielsk__2866_29.min1.thm1
2017-02-06 12:44
933
mycielsk__2867_25.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__2868_32.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__2871_28.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__2878_48.min1.thm1
2017-02-06 12:44
2.4K
mycielsk__2879_28.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__2882_49.min1.thm1
2017-02-06 12:44
687
mycielsk__2890_45.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__2893_58.min1.thm1
2017-02-06 12:45
740
mycielsk__2895_28.min1.thm1
2017-02-06 12:44
1.9K
mycielsk__2902_45.min1.thm1
2017-02-06 12:45
1.0K
mycielsk__2905_59.min1.thm1
2017-02-06 12:44
740
mycielsk__2907_28.min1.thm1
2017-02-06 12:44
2.0K
mycielsk__2916_22.min1.thm1
2017-02-06 12:45
2.1K
mycielsk__2923_33.min1.thm1
2017-02-06 12:45
419
mycielsk__2923_33.min1.thm1.tptp
2017-02-06 16:47
354
mycielsk__2924_25.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__2925_31.min1.thm1
2017-02-06 12:45
1.5K
mycielsk__2926_35.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__2927_36.min1.thm1
2017-02-06 12:45
824
mycielsk__2928_39.min1.thm1
2017-02-06 12:45
1.9K
mycielsk__2937_30.min1.thm1
2017-02-06 12:45
515
mycielsk__2937_30.min1.thm1.tptp
2017-02-06 16:47
450
mycielsk__2938_20.min1.thm1
2017-02-06 12:45
595
mycielsk__2938_20.min1.thm1.tptp
2017-02-06 16:47
533
mycielsk__2940_29.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__2941_28.min1.thm1
2017-02-06 12:44
744
mycielsk__2942_27.min1.thm1
2017-02-06 12:44
1.5K
mycielsk__2950_22.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__2951_26.min1.thm1
2017-02-06 12:45
722
mycielsk__2955_31.min1.thm1
2017-02-06 12:45
1.9K
mycielsk__2965_22.min1.thm1
2017-02-06 12:45
376
mycielsk__2965_22.min1.thm1.tptp
2017-02-06 16:47
302
mycielsk__2969_30.min1.thm1
2017-02-06 12:45
806
mycielsk__2971_24.min1.thm1
2017-02-06 12:44
2.1K
mycielsk__2972_32.min1.thm1
2017-02-06 12:45
1.7K
mycielsk__2974_28.min1.thm1
2017-02-06 12:45
1.7K
mycielsk__2976_32.min1.thm1
2017-02-06 12:45
2.0K
mycielsk__2977_25.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__2978_26.min1.thm1
2017-02-06 12:45
1.5K
mycielsk__2979_24.min1.thm1
2017-02-06 12:45
1.6K
mycielsk__2980_28.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__2983_18.min1.thm1
2017-02-06 12:44
455
mycielsk__2983_18.min1.thm1.tptp
2017-02-06 16:47
400
mycielsk__2984_39.min1.thm1
2017-02-06 12:45
775
mycielsk__2985_47.min1.thm1
2017-02-06 12:44
879
mycielsk__2998_28.min1.thm1
2017-02-06 12:44
697
mycielsk__3000_31.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__3001_23.min1.thm1
2017-02-06 12:44
1.6K
mycielsk__3005_18.min1.thm1
2017-02-06 12:45
479
mycielsk__3005_18.min1.thm1.tptp
2017-02-06 16:47
424
mycielsk__3006_37.min1.thm1
2017-02-06 12:44
777
mycielsk__3007_46.min1.thm1
2017-02-06 12:45
1.7K
mycielsk__3012_22.min1.thm1
2017-02-06 12:45
781
mycielsk__3015_25.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__3017_27.min1.thm1
2017-02-06 12:45
713
mycielsk__3018_25.min1.thm1
2017-02-06 12:44
781
mycielsk__3024_24.min1.thm1
2017-02-06 12:45
1.2K
mycielsk__3027_35.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__3028_42.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__3029_46.min1.thm1
2017-02-06 12:44
1.5K
mycielsk__3031_50.min1.thm1
2017-02-06 12:44
861
mycielsk__3032_24.min1.thm1
2017-02-06 12:44
1.9K
mycielsk__3038_20.min1.thm1
2017-02-06 12:44
1.9K
mycielsk__3058_27.min1.thm1
2017-02-06 12:45
1.3K
mycielsk__3058_46.min1.thm1
2017-02-06 12:45
309
mycielsk__3058_46.min1.thm1.tptp
2017-02-06 16:47
220
mycielsk__3058_54.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__3060_14.min1.thm1
2017-02-06 12:45
1.4K
mycielsk__3064_60.min1.thm1
2017-02-06 12:45
512
mycielsk__3065_40.min1.thm1
2017-02-06 12:44
897
mycielsk__3068_28.min1.thm1
2017-02-06 12:44
1.7K
mycielsk__3069_35.min1.thm1
2017-02-06 12:44
2.1K
mycielsk__3071_30.min1.thm1
2017-02-06 12:45
2.1K
mycielsk__3083_67.min1.thm1
2017-02-06 12:45
758
mycielsk__3084_22.min1.thm1
2017-02-06 12:45
866
mycielsk__3103_16.min1.thm1
2017-02-06 12:45
359
mycielsk__3105_55.min1.thm1
2017-02-06 12:45
396
mycielsk__3106_37.min1.thm1
2017-02-06 12:45
361
mycielsk__3107_40.min1.thm1
2017-02-06 12:45
617
mycielsk__3110_21.min1.thm1
2017-02-06 12:45
617
mycielsk__3119_27.min1.thm1
2017-02-06 12:44
1.3K
mycielsk__3119_46.min1.thm1
2017-02-06 12:44
313
mycielsk__3119_46.min1.thm1.tptp
2017-02-06 16:47
224
mycielsk__3119_54.min1.thm1
2017-02-06 12:44
1.0K
mycielsk__3121_14.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__3126_36.min1.thm1
2017-02-06 12:44
1.9K
mycielsk__3129_28.min1.thm1
2017-02-06 12:44
1.5K
mycielsk__3130_35.min1.thm1
2017-02-06 12:44
2.0K
mycielsk__3132_30.min1.thm1
2017-02-06 12:44
2.0K
mycielsk__3144_24.min1.thm1
2017-02-06 12:45
457
mycielsk__3145_57.min1.thm1
2017-02-06 12:45
511
mycielsk__3145_57.min1.thm1.tptp
2017-02-06 16:47
430
mycielsk__3148_17.min1.thm1
2017-02-06 12:45
384
mycielsk__3148_17.min1.thm1.tptp
2017-02-06 16:47
302
mycielsk__3149_23.min1.thm1
2017-02-06 12:45
333
mycielsk__3149_23.min1.thm1.tptp
2017-02-06 16:47
251
mycielsk__3150_34.min1.thm1
2017-02-06 12:45
369
mycielsk__3150_34.min1.thm1.tptp
2017-02-06 16:47
287
mycielsk__3152_29.min1.thm1
2017-02-06 12:44
469
mycielsk__3157_34.min1.thm1
2017-02-06 12:45
1.5K
mycielsk__3158_35.min1.thm1
2017-02-06 12:44
818
mycielsk__3173_41.min1.thm1
2017-02-06 12:44
353
mycielsk__3173_41.min1.thm1.tptp
2017-02-06 16:47
271
mycielsk__3186_17.min1.thm1
2017-02-06 12:44
1.1K
mycielsk__3194_13.min1.thm1
2017-02-06 12:44
803
mycielsk__3206_60.min1.thm1
2017-02-06 12:44
601
mycielsk__3206_60.min1.thm1.tptp
2017-02-06 16:47
526
mycielsk__3210_34.min1.thm1
2017-02-06 12:44
1.8K
mycielsk__3219_15.min1.thm1
2017-02-06 12:44
325
mycielsk__3219_15.min1.thm1.tptp
2017-02-06 16:47
244
mycielsk__3228_13.min1.thm1
2017-02-06 12:45
803
mycielsk__3236_60.min1.thm1
2017-02-06 12:45
601
mycielsk__3236_60.min1.thm1.tptp
2017-02-06 16:47
526
mycielsk__3245_34.min1.thm1
2017-02-06 12:44
707
mycielsk__3248_37.min1.thm1
2017-02-06 12:44
2.0K
mycielsk__3255_29.min1.thm1
2017-02-06 12:44
1.8K
mycielsk__3256_24.min1.thm1
2017-02-06 12:44
1.7K
mycielsk__3258_26.min1.thm1
2017-02-06 12:44
2.7K
mycielsk__3259_32.min1.thm1
2017-02-06 12:45
1.7K
mycielsk__3266_28.min1.thm1
2017-02-06 12:44
1.8K
mycielsk__3267_24.min1.thm1
2017-02-06 12:45
1.7K
mycielsk__3269_26.min1.thm1
2017-02-06 12:44
2.7K
mycielsk__3270_32.min1.thm1
2017-02-06 12:44
1.7K
mycielsk__3283_15.min1.thm1
2017-02-06 12:45
325
mycielsk__3283_15.min1.thm1.tptp
2017-02-06 16:47
244
mycielsk__3293_56.min1.thm1
2017-02-06 12:44
413
mycielsk__3294_12.min1.thm1
2017-02-06 12:44
554
mycielsk__3295_60.min1.thm1
2017-02-06 12:44
413
mycielsk__3296_12.min1.thm1
2017-02-06 12:45
554
mycielsk__3298_12.min1.thm1
2017-02-06 12:44
615
mycielsk__3303_57.min1.thm1
2017-02-06 12:45
577
mycielsk__3303_57.min1.thm1.tptp
2017-02-06 16:47
502
mycielsk__3307_19.min1.thm1
2017-02-06 12:44
1.2K
mycielsk__3310_13.min1.thm1
2017-02-06 12:44
382
mycielsk__3319_26.min1.thm1
2017-02-06 12:44
1.5K
mycielsk__3321_16.min1.thm1
2017-02-06 12:45
555
mycielsk__3330_26.min1.thm1
2017-02-06 12:44
1.5K
mycielsk__3332_45.min1.thm1
2017-02-06 12:45
555
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80