Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/borsuk_5
Name
Last modified
Size
Description
Parent Directory
-
borsuk_5__55_68.min1.thm1
2017-02-06 12:45
715
borsuk_5__55_68.min1.thm1.tptp
2017-02-06 16:48
667
borsuk_5__57_54.min1.thm1
2017-02-06 12:45
698
borsuk_5__57_54.min1.thm1.tptp
2017-02-06 16:48
641
borsuk_5__58_19.min1.thm1
2017-02-06 12:45
625
borsuk_5__58_19.min1.thm1.tptp
2017-02-06 16:48
563
borsuk_5__62_52.min1.thm1
2017-02-06 12:45
615
borsuk_5__62_52.min1.thm1.tptp
2017-02-06 16:48
553
borsuk_5__63_66.min1.thm1
2017-02-06 12:45
678
borsuk_5__63_66.min1.thm1.tptp
2017-02-06 16:48
621
borsuk_5__65_17.min1.thm1
2017-02-06 12:45
697
borsuk_5__65_17.min1.thm1.tptp
2017-02-06 16:48
649
borsuk_5__75_53.min1.thm1
2017-02-06 12:45
504
borsuk_5__79_15.min1.thm1
2017-02-06 12:45
553
borsuk_5__79_15.min1.thm1.tptp
2017-02-06 16:48
491
borsuk_5__80_15.min1.thm1
2017-02-06 12:45
553
borsuk_5__80_15.min1.thm1.tptp
2017-02-06 16:48
491
borsuk_5__81_15.min1.thm1
2017-02-06 12:45
553
borsuk_5__81_15.min1.thm1.tptp
2017-02-06 16:48
491
borsuk_5__82_15.min1.thm1
2017-02-06 12:45
553
borsuk_5__82_15.min1.thm1.tptp
2017-02-06 16:48
491
borsuk_5__83_15.min1.thm1
2017-02-06 12:45
553
borsuk_5__83_15.min1.thm1.tptp
2017-02-06 16:48
491
borsuk_5__84_15.min1.thm1
2017-02-06 12:45
553
borsuk_5__84_15.min1.thm1.tptp
2017-02-06 16:48
491
borsuk_5__85_15.min1.thm1
2017-02-06 12:45
553
borsuk_5__85_15.min1.thm1.tptp
2017-02-06 16:48
491
borsuk_5__86_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__86_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__87_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__87_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__88_13.min1.thm1
2017-02-06 12:45
554
borsuk_5__88_13.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__89_51.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__92_33.min1.thm1
2017-02-06 12:45
483
borsuk_5__92_33.min1.thm1.tptp
2017-02-06 16:48
418
borsuk_5__93_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__93_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__94_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__94_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__95_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__95_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__96_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__96_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__97_13.min1.thm1
2017-02-06 12:45
554
borsuk_5__97_13.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__98_36.min1.thm1
2017-02-06 12:45
753
borsuk_5__99_41.min1.thm1
2017-02-06 12:45
1.7K
borsuk_5__100_8.min1.thm1
2017-02-06 12:45
206
borsuk_5__108_59.min1.thm1
2017-02-06 12:45
546
borsuk_5__112_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__112_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__113_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__113_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__114_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__114_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__115_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__115_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__116_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__116_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__117_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__117_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__118_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__118_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__119_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__119_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__120_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__120_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__121_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__121_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__122_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__122_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__123_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__123_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__124_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__124_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__125_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__125_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__126_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__126_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__127_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__127_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__128_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__128_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__129_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__129_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__130_13.min1.thm1
2017-02-06 12:45
644
borsuk_5__130_13.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__131_55.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__134_36.min1.thm1
2017-02-06 12:45
526
borsuk_5__134_36.min1.thm1.tptp
2017-02-06 16:48
464
borsuk_5__135_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__135_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__136_13.min1.thm1
2017-02-06 12:45
644
borsuk_5__136_13.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__137_39.min1.thm1
2017-02-06 12:45
850
borsuk_5__138_44.min1.thm1
2017-02-06 12:45
1.8K
borsuk_5__139_8.min1.thm1
2017-02-06 12:45
206
borsuk_5__148_27.min1.thm1
2017-02-06 12:45
349
borsuk_5__152_75.min1.thm1
2017-02-06 12:45
881
borsuk_5__152_75.min1.thm1.tptp
2017-02-06 16:48
824
borsuk_5__154_27.min1.thm1
2017-02-06 12:45
349
borsuk_5__155_25.min1.thm1
2017-02-06 12:45
349
borsuk_5__168_15.min1.thm1
2017-02-06 12:45
349
borsuk_5__168_15.min1.thm1.tptp
2017-02-06 16:48
278
borsuk_5__169_15.min1.thm1
2017-02-06 12:45
538
borsuk_5__169_15.min1.thm1.tptp
2017-02-06 16:48
476
borsuk_5__170_15.min1.thm1
2017-02-06 12:45
538
borsuk_5__170_15.min1.thm1.tptp
2017-02-06 16:48
476
borsuk_5__171_15.min1.thm1
2017-02-06 12:45
538
borsuk_5__171_15.min1.thm1.tptp
2017-02-06 16:48
476
borsuk_5__172_15.min1.thm1
2017-02-06 12:45
349
borsuk_5__172_15.min1.thm1.tptp
2017-02-06 16:48
278
borsuk_5__173_15.min1.thm1
2017-02-06 12:45
538
borsuk_5__173_15.min1.thm1.tptp
2017-02-06 16:48
476
borsuk_5__174_16.min1.thm1
2017-02-06 12:45
350
borsuk_5__174_16.min1.thm1.tptp
2017-02-06 16:48
279
borsuk_5__175_16.min1.thm1
2017-02-06 12:45
539
borsuk_5__175_16.min1.thm1.tptp
2017-02-06 16:48
477
borsuk_5__176_16.min1.thm1
2017-02-06 12:45
350
borsuk_5__176_16.min1.thm1.tptp
2017-02-06 16:48
279
borsuk_5__177_16.min1.thm1
2017-02-06 12:45
539
borsuk_5__177_16.min1.thm1.tptp
2017-02-06 16:48
477
borsuk_5__178_16.min1.thm1
2017-02-06 12:45
350
borsuk_5__178_16.min1.thm1.tptp
2017-02-06 16:48
279
borsuk_5__179_16.min1.thm1
2017-02-06 12:45
539
borsuk_5__179_16.min1.thm1.tptp
2017-02-06 16:48
477
borsuk_5__180_16.min1.thm1
2017-02-06 12:45
539
borsuk_5__180_16.min1.thm1.tptp
2017-02-06 16:48
477
borsuk_5__181_16.min1.thm1
2017-02-06 12:45
350
borsuk_5__181_16.min1.thm1.tptp
2017-02-06 16:48
279
borsuk_5__182_13.min1.thm1
2017-02-06 12:45
539
borsuk_5__182_13.min1.thm1.tptp
2017-02-06 16:48
477
borsuk_5__183_17.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__194_15.min1.thm1
2017-02-06 12:45
553
borsuk_5__194_15.min1.thm1.tptp
2017-02-06 16:48
491
borsuk_5__195_15.min1.thm1
2017-02-06 12:45
553
borsuk_5__195_15.min1.thm1.tptp
2017-02-06 16:48
491
borsuk_5__196_15.min1.thm1
2017-02-06 12:45
553
borsuk_5__196_15.min1.thm1.tptp
2017-02-06 16:48
491
borsuk_5__197_15.min1.thm1
2017-02-06 12:45
553
borsuk_5__197_15.min1.thm1.tptp
2017-02-06 16:48
491
borsuk_5__198_15.min1.thm1
2017-02-06 12:45
553
borsuk_5__198_15.min1.thm1.tptp
2017-02-06 16:48
491
borsuk_5__199_43.min1.thm1
2017-02-06 12:45
937
borsuk_5__201_15.min1.thm1
2017-02-06 12:45
522
borsuk_5__201_15.min1.thm1.tptp
2017-02-06 16:48
470
borsuk_5__202_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__202_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__203_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__203_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__204_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__204_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__205_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__205_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__206_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__206_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__207_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__207_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__208_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__208_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__209_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__209_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__210_16.min1.thm1
2017-02-06 12:45
523
borsuk_5__210_16.min1.thm1.tptp
2017-02-06 16:48
471
borsuk_5__211_16.min1.thm1
2017-02-06 12:45
554
borsuk_5__211_16.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__212_16.min1.thm1
2017-02-06 12:45
523
borsuk_5__212_16.min1.thm1.tptp
2017-02-06 16:48
471
borsuk_5__213_16.min1.thm1
2017-02-06 12:45
523
borsuk_5__213_16.min1.thm1.tptp
2017-02-06 16:48
471
borsuk_5__214_16.min1.thm1
2017-02-06 12:45
523
borsuk_5__214_16.min1.thm1.tptp
2017-02-06 16:48
471
borsuk_5__215_16.min1.thm1
2017-02-06 12:45
523
borsuk_5__215_16.min1.thm1.tptp
2017-02-06 16:48
471
borsuk_5__216_13.min1.thm1
2017-02-06 12:45
554
borsuk_5__216_13.min1.thm1.tptp
2017-02-06 16:48
492
borsuk_5__217_17.min1.thm1
2017-02-06 12:45
1.9K
borsuk_5__228_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__228_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__229_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__229_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__230_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__230_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__231_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__231_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__232_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__232_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__233_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__233_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__234_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__234_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__235_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__235_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__236_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__236_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__237_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__237_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__238_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__238_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__239_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__239_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__240_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__240_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__241_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__241_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__242_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__242_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__243_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__243_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__244_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__244_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__245_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__245_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__246_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__246_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__247_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__247_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__248_13.min1.thm1
2017-02-06 12:45
644
borsuk_5__248_13.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__249_17.min1.thm1
2017-02-06 12:45
1.9K
borsuk_5__260_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__260_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__261_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__261_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__262_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__262_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__263_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__263_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__264_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__264_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__265_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__265_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__266_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__266_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__267_15.min1.thm1
2017-02-06 12:45
643
borsuk_5__267_15.min1.thm1.tptp
2017-02-06 16:48
584
borsuk_5__268_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__268_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__269_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__269_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__270_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__270_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__271_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__271_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__272_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__272_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__273_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__273_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__274_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__274_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__275_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__275_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__276_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__276_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__277_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__277_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__278_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__278_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__279_16.min1.thm1
2017-02-06 12:45
644
borsuk_5__279_16.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__280_13.min1.thm1
2017-02-06 12:45
644
borsuk_5__280_13.min1.thm1.tptp
2017-02-06 16:48
585
borsuk_5__281_17.min1.thm1
2017-02-06 12:45
1.9K
borsuk_5__288_11.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__291_49.min1.thm1
2017-02-06 12:45
676
borsuk_5__292_46.min1.thm1
2017-02-06 12:45
1.8K
borsuk_5__293_42.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__294_49.min1.thm1
2017-02-06 12:45
752
borsuk_5__297_42.min1.thm1
2017-02-06 12:45
613
borsuk_5__302_19.min1.thm1
2017-02-06 12:45
850
borsuk_5__304_13.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__305_19.min1.thm1
2017-02-06 12:45
845
borsuk_5__307_13.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__311_49.min1.thm1
2017-02-06 12:45
676
borsuk_5__313_61.min1.thm1
2017-02-06 12:45
657
borsuk_5__314_42.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__315_49.min1.thm1
2017-02-06 12:45
752
borsuk_5__318_42.min1.thm1
2017-02-06 12:45
613
borsuk_5__319_19.min1.thm1
2017-02-06 12:45
849
borsuk_5__322_13.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__323_19.min1.thm1
2017-02-06 12:45
845
borsuk_5__326_13.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__331_29.min1.thm1
2017-02-06 12:45
1.8K
borsuk_5__332_44.min1.thm1
2017-02-06 12:45
1.8K
borsuk_5__335_10.min1.thm1
2017-02-06 12:45
2.1K
borsuk_5__336_29.min1.thm1
2017-02-06 12:45
1.5K
borsuk_5__337_19.min1.thm1
2017-02-06 12:45
2.3K
borsuk_5__343_14.min1.thm1
2017-02-06 12:45
203
borsuk_5__351_15.min1.thm1
2017-02-06 12:45
617
borsuk_5__368_31.min1.thm1
2017-02-06 12:45
802
borsuk_5__369_27.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__372_31.min1.thm1
2017-02-06 12:45
802
borsuk_5__373_27.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__392_13.min1.thm1
2017-02-06 12:45
969
borsuk_5__393_13.min1.thm1
2017-02-06 12:45
229
borsuk_5__396_26.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__397_21.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__401_20.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__402_32.min1.thm1
2017-02-06 12:45
903
borsuk_5__403_21.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__406_41.min1.thm1
2017-02-06 12:45
920
borsuk_5__407_35.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__408_51.min1.thm1
2017-02-06 12:45
1.6K
borsuk_5__409_17.min1.thm1
2017-02-06 12:45
743
borsuk_5__425_36.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__426_16.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__429_20.min1.thm1
2017-02-06 12:45
811
borsuk_5__430_20.min1.thm1
2017-02-06 12:45
771
borsuk_5__431_21.min1.thm1
2017-02-06 12:45
885
borsuk_5__435_20.min1.thm1
2017-02-06 12:45
859
borsuk_5__436_21.min1.thm1
2017-02-06 12:45
885
borsuk_5__443_11.min1.thm1
2017-02-06 12:45
223
borsuk_5__446_32.min1.thm1
2017-02-06 12:45
799
borsuk_5__447_19.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__451_13.min1.thm1
2017-02-06 12:45
863
borsuk_5__452_12.min1.thm1
2017-02-06 12:45
765
borsuk_5__453_27.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__454_19.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__460_11.min1.thm1
2017-02-06 12:45
400
borsuk_5__465_65.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__474_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__475_30.min1.thm1
2017-02-06 12:45
1.5K
borsuk_5__476_15.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__477_14.min1.thm1
2017-02-06 12:45
360
borsuk_5__490_52.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__494_54.min1.thm1
2017-02-06 12:45
2.1K
borsuk_5__500_49.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__502_23.min1.thm1
2017-02-06 12:45
1.5K
borsuk_5__506_15.min1.thm1
2017-02-06 12:45
379
borsuk_5__507_34.min1.thm1
2017-02-06 12:45
700
borsuk_5__511_17.min1.thm1
2017-02-06 12:45
829
borsuk_5__522_31.min1.thm1
2017-02-06 12:45
560
borsuk_5__523_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__530_14.min1.thm1
2017-02-06 12:45
198
borsuk_5__536_11.min1.thm1
2017-02-06 12:45
289
borsuk_5__543_11.min1.thm1
2017-02-06 12:45
709
borsuk_5__546_11.min1.thm1
2017-02-06 12:45
710
borsuk_5__553_16.min1.thm1
2017-02-06 12:45
303
borsuk_5__553_16.min1.thm1.tptp
2017-02-06 16:48
222
borsuk_5__556_21.min1.thm1
2017-02-06 12:45
459
borsuk_5__557_23.min1.thm1
2017-02-06 12:45
618
borsuk_5__560_22.min1.thm1
2017-02-06 12:45
543
borsuk_5__561_17.min1.thm1
2017-02-06 12:45
300
borsuk_5__561_17.min1.thm1.tptp
2017-02-06 16:48
217
borsuk_5__566_14.min1.thm1
2017-02-06 12:45
240
borsuk_5__571_14.min1.thm1
2017-02-06 12:45
434
borsuk_5__583_20.min1.thm1
2017-02-06 12:45
747
borsuk_5__588_11.min1.thm1
2017-02-06 12:45
728
borsuk_5__593_27.min1.thm1
2017-02-06 12:45
341
borsuk_5__601_43.min1.thm1
2017-02-06 12:45
242
borsuk_5__602_16.min1.thm1
2017-02-06 12:45
346
borsuk_5__602_16.min1.thm1.tptp
2017-02-06 16:48
269
borsuk_5__608_59.min1.thm1
2017-02-06 12:45
323
borsuk_5__615_22.min1.thm1
2017-02-06 12:45
724
borsuk_5__616_14.min1.thm1
2017-02-06 12:45
712
borsuk_5__621_22.min1.thm1
2017-02-06 12:45
586
borsuk_5__622_14.min1.thm1
2017-02-06 12:45
712
borsuk_5__628_27.min1.thm1
2017-02-06 12:45
341
borsuk_5__632_27.min1.thm1
2017-02-06 12:45
341
borsuk_5__644_20.min1.thm1
2017-02-06 12:45
739
borsuk_5__660_46.min1.thm1
2017-02-06 12:45
268
borsuk_5__661_19.min1.thm1
2017-02-06 12:45
401
borsuk_5__673_18.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__686_46.min1.thm1
2017-02-06 12:45
268
borsuk_5__687_24.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__696_25.min1.thm1
2017-02-06 12:45
484
borsuk_5__697_14.min1.thm1
2017-02-06 12:45
642
borsuk_5__702_63.min1.thm1
2017-02-06 12:45
375
borsuk_5__702_63.min1.thm1.tptp
2017-02-06 16:48
314
borsuk_5__708_10.min1.thm1
2017-02-06 12:45
380
borsuk_5__709_16.min1.thm1
2017-02-06 12:45
721
borsuk_5__716_14.min1.thm1
2017-02-06 12:45
702
borsuk_5__718_11.min1.thm1
2017-02-06 12:45
784
borsuk_5__720_14.min1.thm1
2017-02-06 12:45
704
borsuk_5__722_14.min1.thm1
2017-02-06 12:45
704
borsuk_5__733_13.min1.thm1
2017-02-06 12:45
597
borsuk_5__734_52.min1.thm1
2017-02-06 12:45
659
borsuk_5__735_17.min1.thm1
2017-02-06 12:45
530
borsuk_5__744_12.min1.thm1
2017-02-06 12:45
339
borsuk_5__744_12.min1.thm1.tptp
2017-02-06 16:48
260
borsuk_5__749_13.min1.thm1
2017-02-06 12:45
692
borsuk_5__751_12.min1.thm1
2017-02-06 12:45
1.5K
borsuk_5__773_52.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__777_54.min1.thm1
2017-02-06 12:45
2.1K
borsuk_5__783_49.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__785_23.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__789_15.min1.thm1
2017-02-06 12:45
443
borsuk_5__790_34.min1.thm1
2017-02-06 12:45
700
borsuk_5__794_17.min1.thm1
2017-02-06 12:45
829
borsuk_5__806_48.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__811_54.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__819_20.min1.thm1
2017-02-06 12:45
2.1K
borsuk_5__822_25.min1.thm1
2017-02-06 12:45
900
borsuk_5__826_25.min1.thm1
2017-02-06 12:45
1.6K
borsuk_5__832_22.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__837_17.min1.thm1
2017-02-06 12:45
2.0K
borsuk_5__840_49.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__842_23.min1.thm1
2017-02-06 12:45
2.2K
borsuk_5__844_30.min1.thm1
2017-02-06 12:45
1.6K
borsuk_5__847_17.min1.thm1
2017-02-06 12:45
314
borsuk_5__847_17.min1.thm1.tptp
2017-02-06 16:48
233
borsuk_5__849_21.min1.thm1
2017-02-06 12:45
701
borsuk_5__855_48.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__860_54.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__866_18.min1.thm1
2017-02-06 12:45
575
borsuk_5__869_20.min1.thm1
2017-02-06 12:45
2.1K
borsuk_5__882_22.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__887_17.min1.thm1
2017-02-06 12:45
2.0K
borsuk_5__890_49.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__892_23.min1.thm1
2017-02-06 12:45
2.2K
borsuk_5__897_17.min1.thm1
2017-02-06 12:45
314
borsuk_5__897_17.min1.thm1.tptp
2017-02-06 16:48
233
borsuk_5__899_21.min1.thm1
2017-02-06 12:45
701
borsuk_5__903_14.min1.thm1
2017-02-06 12:45
290
borsuk_5__915_48.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__920_54.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__928_20.min1.thm1
2017-02-06 12:45
2.1K
borsuk_5__931_25.min1.thm1
2017-02-06 12:45
900
borsuk_5__935_25.min1.thm1
2017-02-06 12:45
1.6K
borsuk_5__941_22.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__946_17.min1.thm1
2017-02-06 12:45
2.0K
borsuk_5__949_49.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__951_23.min1.thm1
2017-02-06 12:45
2.2K
borsuk_5__953_30.min1.thm1
2017-02-06 12:45
1.6K
borsuk_5__956_19.min1.thm1
2017-02-06 12:45
378
borsuk_5__956_19.min1.thm1.tptp
2017-02-06 16:48
299
borsuk_5__958_21.min1.thm1
2017-02-06 12:45
701
borsuk_5__964_48.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__969_54.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__975_18.min1.thm1
2017-02-06 12:45
575
borsuk_5__978_20.min1.thm1
2017-02-06 12:45
2.1K
borsuk_5__991_22.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__996_17.min1.thm1
2017-02-06 12:45
2.0K
borsuk_5__999_49.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1001_23.min1.thm1
2017-02-06 12:45
2.2K
borsuk_5__1006_19.min1.thm1
2017-02-06 12:45
378
borsuk_5__1006_19.min1.thm1.tptp
2017-02-06 16:48
299
borsuk_5__1008_21.min1.thm1
2017-02-06 12:45
701
borsuk_5__1012_14.min1.thm1
2017-02-06 12:45
290
borsuk_5__1030_15.min1.thm1
2017-02-06 12:45
294
borsuk_5__1030_15.min1.thm1.tptp
2017-02-06 16:48
213
borsuk_5__1046_44.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1053_15.min1.thm1
2017-02-06 12:45
388
borsuk_5__1065_58.min1.thm1
2017-02-06 12:45
830
borsuk_5__1068_44.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1075_46.min1.thm1
2017-02-06 12:45
761
borsuk_5__1076_19.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__1083_52.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__1084_13.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__1085_13.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__1086_16.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1091_56.min1.thm1
2017-02-06 12:45
2.1K
borsuk_5__1102_27.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__1106_27.min1.thm1
2017-02-06 12:45
2.1K
borsuk_5__1112_24.min1.thm1
2017-02-06 12:45
2.0K
borsuk_5__1116_19.min1.thm1
2017-02-06 12:45
1.8K
borsuk_5__1119_51.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1121_25.min1.thm1
2017-02-06 12:45
2.3K
borsuk_5__1123_31.min1.thm1
2017-02-06 12:45
1.6K
borsuk_5__1126_16.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__1129_19.min1.thm1
2017-02-06 12:45
330
borsuk_5__1129_19.min1.thm1.tptp
2017-02-06 16:48
249
borsuk_5__1131_36.min1.thm1
2017-02-06 12:45
741
borsuk_5__1137_21.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1150_60.min1.thm1
2017-02-06 12:45
758
borsuk_5__1151_57.min1.thm1
2017-02-06 12:45
674
borsuk_5__1152_44.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1159_46.min1.thm1
2017-02-06 12:45
763
borsuk_5__1160_19.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__1167_52.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__1168_13.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__1169_13.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__1170_16.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1175_56.min1.thm1
2017-02-06 12:45
2.1K
borsuk_5__1186_27.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__1190_27.min1.thm1
2017-02-06 12:45
2.1K
borsuk_5__1196_24.min1.thm1
2017-02-06 12:45
2.0K
borsuk_5__1200_19.min1.thm1
2017-02-06 12:45
1.8K
borsuk_5__1203_51.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1205_25.min1.thm1
2017-02-06 12:45
2.3K
borsuk_5__1207_31.min1.thm1
2017-02-06 12:45
1.6K
borsuk_5__1210_16.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__1213_21.min1.thm1
2017-02-06 12:45
398
borsuk_5__1213_21.min1.thm1.tptp
2017-02-06 16:48
319
borsuk_5__1215_36.min1.thm1
2017-02-06 12:45
741
borsuk_5__1221_21.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1234_15.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1235_16.min1.thm1
2017-02-06 12:45
767
borsuk_5__1237_26.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1238_21.min1.thm1
2017-02-06 12:45
857
borsuk_5__1239_13.min1.thm1
2017-02-06 12:45
517
borsuk_5__1240_31.min1.thm1
2017-02-06 12:45
1.8K
borsuk_5__1249_48.min1.thm1
2017-02-06 12:45
490
borsuk_5__1249_48.min1.thm1.tptp
2017-02-06 16:48
402
borsuk_5__1250_25.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1251_17.min1.thm1
2017-02-06 12:45
664
borsuk_5__1264_31.min1.thm1
2017-02-06 12:45
559
borsuk_5__1265_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1276_31.min1.thm1
2017-02-06 12:45
559
borsuk_5__1277_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1289_63.min1.thm1
2017-02-06 12:45
906
borsuk_5__1291_28.min1.thm1
2017-02-06 12:45
1.7K
borsuk_5__1294_14.min1.thm1
2017-02-06 12:45
324
borsuk_5__1301_24.min1.thm1
2017-02-06 12:45
460
borsuk_5__1303_17.min1.thm1
2017-02-06 12:45
1.5K
borsuk_5__1315_42.min1.thm1
2017-02-06 12:45
465
borsuk_5__1316_55.min1.thm1
2017-02-06 12:45
507
borsuk_5__1317_22.min1.thm1
2017-02-06 12:45
738
borsuk_5__1320_34.min1.thm1
2017-02-06 12:45
591
borsuk_5__1321_40.min1.thm1
2017-02-06 12:45
618
borsuk_5__1322_17.min1.thm1
2017-02-06 12:45
461
borsuk_5__1328_40.min1.thm1
2017-02-06 12:45
534
borsuk_5__1329_14.min1.thm1
2017-02-06 12:45
422
borsuk_5__1335_42.min1.thm1
2017-02-06 12:45
534
borsuk_5__1336_14.min1.thm1
2017-02-06 12:45
422
borsuk_5__1341_47.min1.thm1
2017-02-06 12:45
559
borsuk_5__1345_17.min1.thm1
2017-02-06 12:45
652
borsuk_5__1346_17.min1.thm1
2017-02-06 12:45
652
borsuk_5__1347_28.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1353_17.min1.thm1
2017-02-06 12:45
652
borsuk_5__1354_17.min1.thm1
2017-02-06 12:45
652
borsuk_5__1355_28.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1364_14.min1.thm1
2017-02-06 12:45
740
borsuk_5__1367_39.min1.thm1
2017-02-06 12:45
531
borsuk_5__1368_39.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1369_16.min1.thm1
2017-02-06 12:45
782
borsuk_5__1373_18.min1.thm1
2017-02-06 12:45
601
borsuk_5__1374_16.min1.thm1
2017-02-06 12:45
665
borsuk_5__1379_34.min1.thm1
2017-02-06 12:45
461
borsuk_5__1380_31.min1.thm1
2017-02-06 12:45
697
borsuk_5__1381_16.min1.thm1
2017-02-06 12:45
524
borsuk_5__1386_34.min1.thm1
2017-02-06 12:45
461
borsuk_5__1387_32.min1.thm1
2017-02-06 12:45
771
borsuk_5__1388_16.min1.thm1
2017-02-06 12:45
526
borsuk_5__1392_18.min1.thm1
2017-02-06 12:45
601
borsuk_5__1393_16.min1.thm1
2017-02-06 12:45
665
borsuk_5__1397_23.min1.thm1
2017-02-06 12:45
680
borsuk_5__1398_16.min1.thm1
2017-02-06 12:45
407
borsuk_5__1407_22.min1.thm1
2017-02-06 12:45
419
borsuk_5__1408_17.min1.thm1
2017-02-06 12:45
878
borsuk_5__1418_28.min1.thm1
2017-02-06 12:45
332
borsuk_5__1418_28.min1.thm1.tptp
2017-02-06 16:48
251
borsuk_5__1419_17.min1.thm1
2017-02-06 12:45
888
borsuk_5__1429_29.min1.thm1
2017-02-06 12:45
332
borsuk_5__1429_29.min1.thm1.tptp
2017-02-06 16:48
251
borsuk_5__1430_17.min1.thm1
2017-02-06 12:45
888
borsuk_5__1443_13.min1.thm1
2017-02-06 12:45
877
borsuk_5__1444_16.min1.thm1
2017-02-06 12:45
627
borsuk_5__1447_22.min1.thm1
2017-02-06 12:45
508
borsuk_5__1448_21.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1452_33.min1.thm1
2017-02-06 12:45
818
borsuk_5__1453_21.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1459_34.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1460_36.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1461_24.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1462_17.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1475_13.min1.thm1
2017-02-06 12:45
877
borsuk_5__1476_16.min1.thm1
2017-02-06 12:45
627
borsuk_5__1479_22.min1.thm1
2017-02-06 12:45
508
borsuk_5__1480_21.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1484_32.min1.thm1
2017-02-06 12:45
818
borsuk_5__1485_21.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1491_34.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1492_35.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1493_24.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1494_17.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1502_16.min1.thm1
2017-02-06 12:45
940
borsuk_5__1503_19.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__1506_14.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__1510_16.min1.thm1
2017-02-06 12:45
353
borsuk_5__1510_16.min1.thm1.tptp
2017-02-06 16:48
270
borsuk_5__1511_19.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__1514_14.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1521_14.min1.thm1
2017-02-06 12:45
303
borsuk_5__1521_14.min1.thm1.tptp
2017-02-06 16:48
222
borsuk_5__1522_17.min1.thm1
2017-02-06 12:45
872
borsuk_5__1529_16.min1.thm1
2017-02-06 12:45
349
borsuk_5__1529_16.min1.thm1.tptp
2017-02-06 16:48
266
borsuk_5__1530_18.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1531_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1538_16.min1.thm1
2017-02-06 12:45
936
borsuk_5__1539_18.min1.thm1
2017-02-06 12:45
963
borsuk_5__1540_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1547_16.min1.thm1
2017-02-06 12:45
936
borsuk_5__1548_18.min1.thm1
2017-02-06 12:45
963
borsuk_5__1557_36.min1.thm1
2017-02-06 12:45
291
borsuk_5__1558_51.min1.thm1
2017-02-06 12:45
530
borsuk_5__1562_17.min1.thm1
2017-02-06 12:45
803
borsuk_5__1563_16.min1.thm1
2017-02-06 12:45
597
borsuk_5__1566_20.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1570_16.min1.thm1
2017-02-06 12:45
460
borsuk_5__1582_51.min1.thm1
2017-02-06 12:45
600
borsuk_5__1583_26.min1.thm1
2017-02-06 12:45
664
borsuk_5__1584_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1592_36.min1.thm1
2017-02-06 12:45
291
borsuk_5__1593_52.min1.thm1
2017-02-06 12:45
530
borsuk_5__1597_17.min1.thm1
2017-02-06 12:45
803
borsuk_5__1598_16.min1.thm1
2017-02-06 12:45
597
borsuk_5__1601_20.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1605_16.min1.thm1
2017-02-06 12:45
460
borsuk_5__1617_52.min1.thm1
2017-02-06 12:45
600
borsuk_5__1618_27.min1.thm1
2017-02-06 12:45
664
borsuk_5__1619_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1630_26.min1.thm1
2017-02-06 12:45
661
borsuk_5__1633_27.min1.thm1
2017-02-06 12:45
661
borsuk_5__1646_67.min1.thm1
2017-02-06 12:45
894
borsuk_5__1648_28.min1.thm1
2017-02-06 12:45
664
borsuk_5__1649_22.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1661_67.min1.thm1
2017-02-06 12:45
760
borsuk_5__1663_28.min1.thm1
2017-02-06 12:45
664
borsuk_5__1664_22.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1677_46.min1.thm1
2017-02-06 12:45
545
borsuk_5__1681_29.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1694_22.min1.thm1
2017-02-06 12:45
569
borsuk_5__1694_22.min1.thm1.tptp
2017-02-06 16:48
515
borsuk_5__1709_28.min1.thm1
2017-02-06 12:45
566
borsuk_5__1710_36.min1.thm1
2017-02-06 12:45
652
borsuk_5__1711_15.min1.thm1
2017-02-06 12:45
544
borsuk_5__1714_34.min1.thm1
2017-02-06 12:45
863
borsuk_5__1715_50.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1716_23.min1.thm1
2017-02-06 12:45
1.7K
borsuk_5__1720_34.min1.thm1
2017-02-06 12:45
860
borsuk_5__1721_50.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1722_23.min1.thm1
2017-02-06 12:45
1.7K
borsuk_5__1728_19.min1.thm1
2017-02-06 12:45
197
borsuk_5__1735_27.min1.thm1
2017-02-06 12:45
825
borsuk_5__1738_50.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1739_23.min1.thm1
2017-02-06 12:45
1.7K
borsuk_5__1743_34.min1.thm1
2017-02-06 12:45
863
borsuk_5__1751_63.min1.thm1
2017-02-06 12:45
1.7K
borsuk_5__1753_16.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__1756_20.min1.thm1
2017-02-06 12:45
799
borsuk_5__1758_28.min1.thm1
2017-02-06 12:45
676
borsuk_5__1759_18.min1.thm1
2017-02-06 12:45
307
borsuk_5__1759_18.min1.thm1.tptp
2017-02-06 16:48
226
borsuk_5__1760_21.min1.thm1
2017-02-06 12:45
709
borsuk_5__1764_39.min1.thm1
2017-02-06 12:45
487
borsuk_5__1766_27.min1.thm1
2017-02-06 12:45
632
borsuk_5__1767_18.min1.thm1
2017-02-06 12:45
307
borsuk_5__1767_18.min1.thm1.tptp
2017-02-06 16:48
226
borsuk_5__1768_21.min1.thm1
2017-02-06 12:45
709
borsuk_5__1772_20.min1.thm1
2017-02-06 12:45
799
borsuk_5__1774_28.min1.thm1
2017-02-06 12:45
676
borsuk_5__1775_18.min1.thm1
2017-02-06 12:45
307
borsuk_5__1775_18.min1.thm1.tptp
2017-02-06 16:48
226
borsuk_5__1776_21.min1.thm1
2017-02-06 12:45
709
borsuk_5__1785_43.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1790_49.min1.thm1
2017-02-06 12:45
924
borsuk_5__1792_56.min1.thm1
2017-02-06 12:45
777
borsuk_5__1793_54.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__1794_54.min1.thm1
2017-02-06 12:45
806
borsuk_5__1795_47.min1.thm1
2017-02-06 12:45
906
borsuk_5__1796_49.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__1797_65.min1.thm1
2017-02-06 12:45
1.6K
borsuk_5__1799_17.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1811_36.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__1812_16.min1.thm1
2017-02-06 12:45
1.5K
borsuk_5__1815_20.min1.thm1
2017-02-06 12:45
964
borsuk_5__1816_20.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1817_21.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1821_19.min1.thm1
2017-02-06 12:45
927
borsuk_5__1822_21.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1831_36.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__1832_16.min1.thm1
2017-02-06 12:45
1.5K
borsuk_5__1835_19.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1836_21.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1840_19.min1.thm1
2017-02-06 12:45
971
borsuk_5__1841_19.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1842_21.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1849_59.min1.thm1
2017-02-06 12:45
2.1K
borsuk_5__1851_17.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1852_40.min1.thm1
2017-02-06 12:45
1.9K
borsuk_5__1858_14.min1.thm1
2017-02-06 12:45
580
borsuk_5__1872_14.min1.thm1
2017-02-06 12:45
1.5K
borsuk_5__1875_17.min1.thm1
2017-02-06 12:45
915
borsuk_5__1876_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1877_19.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1881_17.min1.thm1
2017-02-06 12:45
649
borsuk_5__1882_19.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1886_17.min1.thm1
2017-02-06 12:45
649
borsuk_5__1887_19.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__1891_40.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__1902_12.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1903_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1904_19.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1912_25.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1913_14.min1.thm1
2017-02-06 12:45
642
borsuk_5__1923_75.min1.thm1
2017-02-06 12:45
1.8K
borsuk_5__1927_14.min1.thm1
2017-02-06 12:45
888
borsuk_5__1953_29.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__1965_68.min1.thm1
2017-02-06 12:45
760
borsuk_5__1967_24.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1969_39.min1.thm1
2017-02-06 12:45
1.8K
borsuk_5__1970_25.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1971_14.min1.thm1
2017-02-06 12:45
316
borsuk_5__1982_68.min1.thm1
2017-02-06 12:45
894
borsuk_5__1984_24.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1986_39.min1.thm1
2017-02-06 12:45
1.8K
borsuk_5__1987_25.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__1988_14.min1.thm1
2017-02-06 12:45
316
borsuk_5__2002_18.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__2003_27.min1.thm1
2017-02-06 12:45
810
borsuk_5__2005_31.min1.thm1
2017-02-06 12:45
966
borsuk_5__2010_25.min1.thm1
2017-02-06 12:45
754
borsuk_5__2011_14.min1.thm1
2017-02-06 12:45
316
borsuk_5__2025_25.min1.thm1
2017-02-06 12:45
1.5K
borsuk_5__2027_38.min1.thm1
2017-02-06 12:45
2.1K
borsuk_5__2040_30.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__2042_14.min1.thm1
2017-02-06 12:45
478
borsuk_5__2050_21.min1.thm1
2017-02-06 12:45
579
borsuk_5__2051_19.min1.thm1
2017-02-06 12:45
639
borsuk_5__2053_20.min1.thm1
2017-02-06 12:45
739
borsuk_5__2054_19.min1.thm1
2017-02-06 12:45
509
borsuk_5__2055_16.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__2057_31.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__2058_15.min1.thm1
2017-02-06 12:45
940
borsuk_5__2059_17.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__2067_21.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__2068_19.min1.thm1
2017-02-06 12:45
509
borsuk_5__2069_16.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__2071_31.min1.thm1
2017-02-06 12:45
1.3K
borsuk_5__2072_19.min1.thm1
2017-02-06 12:45
639
borsuk_5__2074_20.min1.thm1
2017-02-06 12:45
739
borsuk_5__2075_15.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__2076_17.min1.thm1
2017-02-06 12:45
1.4K
borsuk_5__2086_14.min1.thm1
2017-02-06 12:45
624
borsuk_5__2093_40.min1.thm1
2017-02-06 12:45
591
borsuk_5__2096_18.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__2097_15.min1.thm1
2017-02-06 12:45
1.2K
borsuk_5__2098_14.min1.thm1
2017-02-06 12:45
833
borsuk_5__2109_23.min1.thm1
2017-02-06 12:45
645
borsuk_5__2110_28.min1.thm1
2017-02-06 12:45
414
borsuk_5__2111_17.min1.thm1
2017-02-06 12:45
609
borsuk_5__2123_38.min1.thm1
2017-02-06 12:45
694
borsuk_5__2124_17.min1.thm1
2017-02-06 12:45
1.8K
borsuk_5__2137_56.min1.thm1
2017-02-06 12:45
545
borsuk_5__2140_52.min1.thm1
2017-02-06 12:45
472
borsuk_5__2140_52.min1.thm1.tptp
2017-02-06 16:48
406
borsuk_5__2141_32.min1.thm1
2017-02-06 12:45
588
borsuk_5__2142_26.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__2143_24.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__2157_14.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__2160_19.min1.thm1
2017-02-06 12:45
425
borsuk_5__2164_73.min1.thm1
2017-02-06 12:45
751
borsuk_5__2167_27.min1.thm1
2017-02-06 12:45
964
borsuk_5__2195_54.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__2196_49.min1.thm1
2017-02-06 12:45
698
borsuk_5__2205_50.min1.thm1
2017-02-06 12:45
494
borsuk_5__2205_50.min1.thm1.tptp
2017-02-06 16:48
406
borsuk_5__2206_16.min1.thm1
2017-02-06 12:45
729
borsuk_5__2208_19.min1.thm1
2017-02-06 12:45
831
borsuk_5__2210_27.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__2211_38.min1.thm1
2017-02-06 12:45
807
borsuk_5__2212_28.min1.thm1
2017-02-06 12:45
643
borsuk_5__2214_39.min1.thm1
2017-02-06 12:45
525
borsuk_5__2215_25.min1.thm1
2017-02-06 12:45
1.0K
borsuk_5__2225_66.min1.thm1
2017-02-06 12:45
711
borsuk_5__2225_66.min1.thm1.tptp
2017-02-06 16:48
634
borsuk_5__2226_39.min1.thm1
2017-02-06 12:45
499
borsuk_5__2226_39.min1.thm1.tptp
2017-02-06 16:48
420
borsuk_5__2227_48.min1.thm1
2017-02-06 12:45
515
borsuk_5__2227_48.min1.thm1.tptp
2017-02-06 16:48
440
borsuk_5__2229_26.min1.thm1
2017-02-06 12:45
2.3K
borsuk_5__2232_5.min1.thm1
2017-02-06 12:45
829
borsuk_5__2234_18.min1.thm1
2017-02-06 12:45
635
borsuk_5__2235_16.min1.thm1
2017-02-06 12:45
939
borsuk_5__2243_49.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__2248_21.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__2254_21.min1.thm1
2017-02-06 12:45
1.1K
borsuk_5__2256_19.min1.thm1
2017-02-06 12:45
751
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80