Index of /~mptp/1147/MPTP2/ilp0/finseq_6
Name
Last modified
Size
Description
Parent Directory
-
finseq_6__43_24.min1.thm1
2017-02-06 12:46
646
finseq_6__44_19.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__53_15.min1.thm1
2017-02-06 12:46
617
finseq_6__54_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__60_26.min1.thm1
2017-02-06 12:46
341
finseq_6__61_44.min1.thm1
2017-02-06 12:45
891
finseq_6__62_25.min1.thm1
2017-02-06 12:46
727
finseq_6__63_20.min1.thm1
2017-02-06 12:46
695
finseq_6__64_15.min1.thm1
2017-02-06 12:46
329
finseq_6__69_30.min1.thm1
2017-02-06 12:46
460
finseq_6__70_48.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__71_27.min1.thm1
2017-02-06 12:45
425
finseq_6__72_22.min1.thm1
2017-02-06 12:46
818
finseq_6__73_17.min1.thm1
2017-02-06 12:46
375
finseq_6__88_16.min1.thm1
2017-02-06 12:46
651
finseq_6__89_24.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__90_24.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__92_29.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__93_21.min1.thm1
2017-02-06 12:46
627
finseq_6__94_53.min1.thm1
2017-02-06 12:46
633
finseq_6__97_20.min1.thm1
2017-02-06 12:46
835
finseq_6__100_20.min1.thm1
2017-02-06 12:45
1.1K
finseq_6__102_39.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__103_11.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__105_12.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__106_19.min1.thm1
2017-02-06 12:45
1.6K
finseq_6__120_16.min1.thm1
2017-02-06 12:46
706
finseq_6__122_17.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__123_19.min1.thm1
2017-02-06 12:46
729
finseq_6__124_26.min1.thm1
2017-02-06 12:46
662
finseq_6__132_21.min1.thm1
2017-02-06 12:46
571
finseq_6__133_27.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__135_28.min1.thm1
2017-02-06 12:45
515
finseq_6__137_15.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__139_15.min1.thm1
2017-02-06 12:45
1.2K
finseq_6__141_24.min1.thm1
2017-02-06 12:46
964
finseq_6__142_12.min1.thm1
2017-02-06 12:45
587
finseq_6__143_14.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__144_17.min1.thm1
2017-02-06 12:46
783
finseq_6__151_24.min1.thm1
2017-02-06 12:45
642
finseq_6__152_30.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__154_31.min1.thm1
2017-02-06 12:46
545
finseq_6__156_15.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__158_15.min1.thm1
2017-02-06 12:45
1.2K
finseq_6__160_27.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__161_12.min1.thm1
2017-02-06 12:46
658
finseq_6__162_14.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__163_17.min1.thm1
2017-02-06 12:46
813
finseq_6__170_26.min1.thm1
2017-02-06 12:46
642
finseq_6__172_27.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__173_25.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__175_31.min1.thm1
2017-02-06 12:46
694
finseq_6__177_15.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__179_16.min1.thm1
2017-02-06 12:45
1.2K
finseq_6__180_20.min1.thm1
2017-02-06 12:45
1.4K
finseq_6__182_27.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__183_12.min1.thm1
2017-02-06 12:46
658
finseq_6__184_15.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__185_30.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__186_12.min1.thm1
2017-02-06 12:46
658
finseq_6__187_17.min1.thm1
2017-02-06 12:46
947
finseq_6__193_27.min1.thm1
2017-02-06 12:46
678
finseq_6__197_22.min1.thm1
2017-02-06 12:46
598
finseq_6__203_22.min1.thm1
2017-02-06 12:45
644
finseq_6__204_23.min1.thm1
2017-02-06 12:45
2.0K
finseq_6__206_18.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__207_28.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__208_41.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__210_19.min1.thm1
2017-02-06 12:46
593
finseq_6__211_29.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__221_22.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__222_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__229_13.min1.thm1
2017-02-06 12:45
255
finseq_6__233_20.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__235_22.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__236_25.min1.thm1
2017-02-06 12:46
827
finseq_6__241_57.min1.thm1
2017-02-06 12:46
2.2K
finseq_6__242_14.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__244_15.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__249_24.min1.thm1
2017-02-06 12:45
1.1K
finseq_6__253_20.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__259_33.min1.thm1
2017-02-06 12:45
1.2K
finseq_6__269_25.min1.thm1
2017-02-06 12:45
823
finseq_6__275_16.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__281_25.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__284_23.min1.thm1
2017-02-06 12:46
960
finseq_6__285_15.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__286_28.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__288_28.min1.thm1
2017-02-06 12:46
2.4K
finseq_6__290_28.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__297_25.min1.thm1
2017-02-06 12:46
484
finseq_6__303_34.min1.thm1
2017-02-06 12:46
733
finseq_6__305_23.min1.thm1
2017-02-06 12:46
600
finseq_6__308_33.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__318_34.min1.thm1
2017-02-06 12:46
961
finseq_6__321_21.min1.thm1
2017-02-06 12:46
956
finseq_6__327_28.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__330_13.min1.thm1
2017-02-06 12:45
1.3K
finseq_6__331_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__333_26.min1.thm1
2017-02-06 12:46
2.4K
finseq_6__338_34.min1.thm1
2017-02-06 12:46
733
finseq_6__340_22.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__343_33.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__350_57.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__351_25.min1.thm1
2017-02-06 12:45
678
finseq_6__352_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__356_60.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__366_22.min1.thm1
2017-02-06 12:46
642
finseq_6__368_20.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__369_21.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__370_29.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__371_25.min1.thm1
2017-02-06 12:45
898
finseq_6__373_35.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__374_34.min1.thm1
2017-02-06 12:46
734
finseq_6__376_22.min1.thm1
2017-02-06 12:46
602
finseq_6__377_23.min1.thm1
2017-02-06 12:46
923
finseq_6__385_14.min1.thm1
2017-02-06 12:46
633
finseq_6__398_43.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__399_16.min1.thm1
2017-02-06 12:45
1.3K
finseq_6__402_29.min1.thm1
2017-02-06 12:46
684
finseq_6__403_21.min1.thm1
2017-02-06 12:46
947
finseq_6__407_25.min1.thm1
2017-02-06 12:46
844
finseq_6__416_43.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__417_16.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__420_31.min1.thm1
2017-02-06 12:45
1.6K
finseq_6__421_23.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__425_25.min1.thm1
2017-02-06 12:46
844
finseq_6__428_23.min1.thm1
2017-02-06 12:46
426
finseq_6__430_18.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__434_17.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__446_16.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__449_29.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__451_38.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__452_24.min1.thm1
2017-02-06 12:46
887
finseq_6__453_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__459_20.min1.thm1
2017-02-06 12:46
508
finseq_6__461_40.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__462_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__463_20.min1.thm1
2017-02-06 12:45
579
finseq_6__467_20.min1.thm1
2017-02-06 12:45
1.3K
finseq_6__468_21.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__479_16.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__482_37.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__483_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__489_20.min1.thm1
2017-02-06 12:46
426
finseq_6__490_15.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__491_40.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__493_29.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__495_24.min1.thm1
2017-02-06 12:46
660
finseq_6__496_32.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__508_13.min1.thm1
2017-02-06 12:46
255
finseq_6__512_20.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__514_18.min1.thm1
2017-02-06 12:45
1.4K
finseq_6__515_31.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__519_57.min1.thm1
2017-02-06 12:45
2.2K
finseq_6__520_14.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__522_15.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__524_24.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__527_54.min1.thm1
2017-02-06 12:45
1.1K
finseq_6__529_29.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__532_19.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__533_42.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__538_26.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__545_59.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__558_32.min1.thm1
2017-02-06 12:46
961
finseq_6__561_34.min1.thm1
2017-02-06 12:46
733
finseq_6__563_22.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__564_43.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__571_36.min1.thm1
2017-02-06 12:45
733
finseq_6__577_23.min1.thm1
2017-02-06 12:46
453
finseq_6__577_23.min1.thm1.tptp
2017-02-06 16:47
391
finseq_6__578_37.min1.thm1
2017-02-06 12:46
872
finseq_6__580_32.min1.thm1
2017-02-06 12:45
1.2K
finseq_6__581_47.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__582_27.min1.thm1
2017-02-06 12:46
792
finseq_6__585_20.min1.thm1
2017-02-06 12:46
942
finseq_6__586_52.min1.thm1
2017-02-06 12:46
960
finseq_6__587_17.min1.thm1
2017-02-06 12:46
647
finseq_6__596_30.min1.thm1
2017-02-06 12:46
868
finseq_6__598_47.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__599_30.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__600_30.min1.thm1
2017-02-06 12:45
815
finseq_6__601_17.min1.thm1
2017-02-06 12:46
706
finseq_6__607_48.min1.thm1
2017-02-06 12:46
293
finseq_6__608_21.min1.thm1
2017-02-06 12:46
609
finseq_6__610_20.min1.thm1
2017-02-06 12:46
478
finseq_6__611_16.min1.thm1
2017-02-06 12:46
591
finseq_6__612_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__618_56.min1.thm1
2017-02-06 12:45
327
finseq_6__619_21.min1.thm1
2017-02-06 12:46
574
finseq_6__621_24.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__622_21.min1.thm1
2017-02-06 12:46
589
finseq_6__623_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__629_23.min1.thm1
2017-02-06 12:46
589
finseq_6__630_23.min1.thm1
2017-02-06 12:46
589
finseq_6__638_18.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__639_39.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__641_22.min1.thm1
2017-02-06 12:46
632
finseq_6__642_27.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__643_17.min1.thm1
2017-02-06 12:46
2.0K
finseq_6__649_62.min1.thm1
2017-02-06 12:46
359
finseq_6__650_24.min1.thm1
2017-02-06 12:46
646
finseq_6__652_27.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__653_24.min1.thm1
2017-02-06 12:46
661
finseq_6__654_17.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__660_26.min1.thm1
2017-02-06 12:46
661
finseq_6__661_26.min1.thm1
2017-02-06 12:46
661
finseq_6__669_18.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__670_45.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__672_24.min1.thm1
2017-02-06 12:46
646
finseq_6__673_30.min1.thm1
2017-02-06 12:45
1.5K
finseq_6__683_26.min1.thm1
2017-02-06 12:46
661
finseq_6__684_26.min1.thm1
2017-02-06 12:46
661
finseq_6__685_26.min1.thm1
2017-02-06 12:46
661
finseq_6__690_10.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__692_18.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__693_45.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__695_25.min1.thm1
2017-02-06 12:46
704
finseq_6__696_30.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__704_41.min1.thm1
2017-02-06 12:46
869
finseq_6__705_23.min1.thm1
2017-02-06 12:46
361
finseq_6__709_45.min1.thm1
2017-02-06 12:46
346
finseq_6__715_26.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__717_20.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__718_25.min1.thm1
2017-02-06 12:46
318
finseq_6__719_25.min1.thm1
2017-02-06 12:46
543
finseq_6__721_15.min1.thm1
2017-02-06 12:46
339
finseq_6__728_28.min1.thm1
2017-02-06 12:46
898
finseq_6__730_22.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__731_29.min1.thm1
2017-02-06 12:46
366
finseq_6__732_27.min1.thm1
2017-02-06 12:45
539
finseq_6__732_27.min1.thm1.tptp
2017-02-06 16:47
481
finseq_6__734_15.min1.thm1
2017-02-06 12:46
364
finseq_6__743_29.min1.thm1
2017-02-06 12:46
366
finseq_6__745_24.min1.thm1
2017-02-06 12:46
539
finseq_6__745_24.min1.thm1.tptp
2017-02-06 16:47
481
finseq_6__746_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__747_25.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__749_17.min1.thm1
2017-02-06 12:46
385
finseq_6__755_21.min1.thm1
2017-02-06 12:46
288
finseq_6__756_39.min1.thm1
2017-02-06 12:46
793
finseq_6__757_20.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__763_22.min1.thm1
2017-02-06 12:45
704
finseq_6__765_12.min1.thm1
2017-02-06 12:46
434
finseq_6__766_24.min1.thm1
2017-02-06 12:46
666
finseq_6__767_36.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__769_17.min1.thm1
2017-02-06 12:46
303
finseq_6__770_25.min1.thm1
2017-02-06 12:46
405
finseq_6__770_25.min1.thm1.tptp
2017-02-06 16:47
325
finseq_6__779_23.min1.thm1
2017-02-06 12:46
393
finseq_6__779_23.min1.thm1.tptp
2017-02-06 16:47
322
finseq_6__780_41.min1.thm1
2017-02-06 12:45
825
finseq_6__781_22.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__787_22.min1.thm1
2017-02-06 12:46
704
finseq_6__789_12.min1.thm1
2017-02-06 12:46
434
finseq_6__790_24.min1.thm1
2017-02-06 12:46
666
finseq_6__791_40.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__793_19.min1.thm1
2017-02-06 12:46
354
finseq_6__794_27.min1.thm1
2017-02-06 12:46
453
finseq_6__794_27.min1.thm1.tptp
2017-02-06 16:47
376
finseq_6__801_23.min1.thm1
2017-02-06 12:46
313
finseq_6__802_43.min1.thm1
2017-02-06 12:46
823
finseq_6__803_22.min1.thm1
2017-02-06 12:45
1.3K
finseq_6__806_21.min1.thm1
2017-02-06 12:46
574
finseq_6__811_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__812_16.min1.thm1
2017-02-06 12:45
479
finseq_6__815_28.min1.thm1
2017-02-06 12:46
672
finseq_6__816_42.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__820_28.min1.thm1
2017-02-06 12:46
672
finseq_6__821_42.min1.thm1
2017-02-06 12:45
1.4K
finseq_6__824_19.min1.thm1
2017-02-06 12:45
354
finseq_6__825_27.min1.thm1
2017-02-06 12:46
453
finseq_6__825_27.min1.thm1.tptp
2017-02-06 16:47
376
finseq_6__832_15.min1.thm1
2017-02-06 12:46
270
finseq_6__834_20.min1.thm1
2017-02-06 12:46
692
finseq_6__835_19.min1.thm1
2017-02-06 12:46
261
finseq_6__836_17.min1.thm1
2017-02-06 12:46
583
finseq_6__837_25.min1.thm1
2017-02-06 12:45
912
finseq_6__838_16.min1.thm1
2017-02-06 12:46
821
finseq_6__844_17.min1.thm1
2017-02-06 12:46
390
finseq_6__844_17.min1.thm1.tptp
2017-02-06 16:47
340
finseq_6__846_22.min1.thm1
2017-02-06 12:46
405
finseq_6__846_22.min1.thm1.tptp
2017-02-06 16:47
325
finseq_6__849_21.min1.thm1
2017-02-06 12:46
368
finseq_6__849_21.min1.thm1.tptp
2017-02-06 16:47
294
finseq_6__850_19.min1.thm1
2017-02-06 12:46
574
finseq_6__851_17.min1.thm1
2017-02-06 12:46
925
finseq_6__860_23.min1.thm1
2017-02-06 12:46
646
finseq_6__861_19.min1.thm1
2017-02-06 12:46
354
finseq_6__863_24.min1.thm1
2017-02-06 12:46
453
finseq_6__863_24.min1.thm1.tptp
2017-02-06 16:47
376
finseq_6__864_21.min1.thm1
2017-02-06 12:45
477
finseq_6__865_17.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__874_52.min1.thm1
2017-02-06 12:45
771
finseq_6__875_47.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__882_13.min1.thm1
2017-02-06 12:46
270
finseq_6__884_20.min1.thm1
2017-02-06 12:46
705
finseq_6__886_32.min1.thm1
2017-02-06 12:45
663
finseq_6__888_33.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__889_12.min1.thm1
2017-02-06 12:46
321
finseq_6__890_39.min1.thm1
2017-02-06 12:46
873
finseq_6__892_25.min1.thm1
2017-02-06 12:46
652
finseq_6__894_11.min1.thm1
2017-02-06 12:45
1.2K
finseq_6__896_27.min1.thm1
2017-02-06 12:46
863
finseq_6__897_20.min1.thm1
2017-02-06 12:46
663
finseq_6__906_17.min1.thm1
2017-02-06 12:46
512
finseq_6__908_41.min1.thm1
2017-02-06 12:46
711
finseq_6__911_49.min1.thm1
2017-02-06 12:45
1.2K
finseq_6__912_40.min1.thm1
2017-02-06 12:46
857
finseq_6__913_24.min1.thm1
2017-02-06 12:46
616
finseq_6__915_32.min1.thm1
2017-02-06 12:46
850
finseq_6__917_46.min1.thm1
2017-02-06 12:46
972
finseq_6__924_19.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__930_32.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__934_17.min1.thm1
2017-02-06 12:46
512
finseq_6__936_21.min1.thm1
2017-02-06 12:46
591
finseq_6__937_34.min1.thm1
2017-02-06 12:45
694
finseq_6__948_28.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__949_28.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__950_21.min1.thm1
2017-02-06 12:46
850
finseq_6__951_25.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__953_21.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__954_20.min1.thm1
2017-02-06 12:46
952
finseq_6__958_33.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__959_21.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__960_22.min1.thm1
2017-02-06 12:46
2.0K
finseq_6__964_24.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__965_29.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__970_34.min1.thm1
2017-02-06 12:46
3.3K
finseq_6__972_25.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__974_30.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__984_17.min1.thm1
2017-02-06 12:45
512
finseq_6__985_28.min1.thm1
2017-02-06 12:46
605
finseq_6__986_32.min1.thm1
2017-02-06 12:46
850
finseq_6__988_32.min1.thm1
2017-02-06 12:46
744
finseq_6__989_19.min1.thm1
2017-02-06 12:46
591
finseq_6__990_17.min1.thm1
2017-02-06 12:46
925
finseq_6__1003_36.min1.thm1
2017-02-06 12:46
885
finseq_6__1004_14.min1.thm1
2017-02-06 12:46
578
finseq_6__1019_20.min1.thm1
2017-02-06 12:46
936
finseq_6__1028_17.min1.thm1
2017-02-06 12:45
936
finseq_6__1029_19.min1.thm1
2017-02-06 12:46
340
finseq_6__1032_22.min1.thm1
2017-02-06 12:46
941
finseq_6__1034_28.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__1035_35.min1.thm1
2017-02-06 12:46
951
finseq_6__1036_11.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__1045_17.min1.thm1
2017-02-06 12:46
653
finseq_6__1046_13.min1.thm1
2017-02-06 12:46
641
finseq_6__1048_18.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1049_26.min1.thm1
2017-02-06 12:46
889
finseq_6__1050_15.min1.thm1
2017-02-06 12:45
837
finseq_6__1051_38.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1052_29.min1.thm1
2017-02-06 12:46
953
finseq_6__1053_14.min1.thm1
2017-02-06 12:46
832
finseq_6__1059_25.min1.thm1
2017-02-06 12:45
673
finseq_6__1060_15.min1.thm1
2017-02-06 12:46
361
finseq_6__1060_15.min1.thm1.tptp
2017-02-06 16:47
298
finseq_6__1062_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1063_31.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__1065_18.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__1072_30.min1.thm1
2017-02-06 12:45
1.4K
finseq_6__1073_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1092_17.min1.thm1
2017-02-06 12:45
743
finseq_6__1093_21.min1.thm1
2017-02-06 12:45
1.5K
finseq_6__1094_30.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__1103_29.min1.thm1
2017-02-06 12:46
729
finseq_6__1104_28.min1.thm1
2017-02-06 12:45
573
finseq_6__1106_23.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__1107_19.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1115_35.min1.thm1
2017-02-06 12:46
891
finseq_6__1116_31.min1.thm1
2017-02-06 12:46
569
finseq_6__1116_31.min1.thm1.tptp
2017-02-06 16:47
511
finseq_6__1119_19.min1.thm1
2017-02-06 12:45
1.4K
finseq_6__1128_35.min1.thm1
2017-02-06 12:46
891
finseq_6__1129_31.min1.thm1
2017-02-06 12:46
569
finseq_6__1129_31.min1.thm1.tptp
2017-02-06 16:47
511
finseq_6__1138_15.min1.thm1
2017-02-06 12:46
270
finseq_6__1140_20.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1142_18.min1.thm1
2017-02-06 12:45
819
finseq_6__1143_15.min1.thm1
2017-02-06 12:46
837
finseq_6__1145_18.min1.thm1
2017-02-06 12:46
819
finseq_6__1146_15.min1.thm1
2017-02-06 12:45
837
finseq_6__1154_20.min1.thm1
2017-02-06 12:46
390
finseq_6__1154_20.min1.thm1.tptp
2017-02-06 16:47
340
finseq_6__1155_28.min1.thm1
2017-02-06 12:46
903
finseq_6__1157_19.min1.thm1
2017-02-06 12:46
911
finseq_6__1158_16.min1.thm1
2017-02-06 12:46
837
finseq_6__1166_23.min1.thm1
2017-02-06 12:46
354
finseq_6__1167_31.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1170_19.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1179_23.min1.thm1
2017-02-06 12:46
354
finseq_6__1180_31.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1183_16.min1.thm1
2017-02-06 12:46
837
finseq_6__1192_46.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__1196_15.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__1199_21.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__1201_16.min1.thm1
2017-02-06 12:46
808
finseq_6__1203_21.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__1209_39.min1.thm1
2017-02-06 12:46
460
finseq_6__1210_15.min1.thm1
2017-02-06 12:46
717
finseq_6__1212_16.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1213_21.min1.thm1
2017-02-06 12:46
2.6K
finseq_6__1214_26.min1.thm1
2017-02-06 12:46
2.0K
finseq_6__1216_28.min1.thm1
2017-02-06 12:46
919
finseq_6__1218_16.min1.thm1
2017-02-06 12:45
1.5K
finseq_6__1221_20.min1.thm1
2017-02-06 12:46
2.0K
finseq_6__1224_21.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__1225_27.min1.thm1
2017-02-06 12:45
1.2K
finseq_6__1228_25.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__1241_24.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__1243_21.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__1244_18.min1.thm1
2017-02-06 12:46
967
finseq_6__1245_20.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__1246_31.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__1249_27.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__1252_29.min1.thm1
2017-02-06 12:46
2.2K
finseq_6__1255_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__1264_43.min1.thm1
2017-02-06 12:45
882
finseq_6__1265_10.min1.thm1
2017-02-06 12:46
690
finseq_6__1267_13.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__1269_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1270_20.min1.thm1
2017-02-06 12:45
1.8K
finseq_6__1271_31.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__1275_21.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__1276_26.min1.thm1
2017-02-06 12:45
2.0K
finseq_6__1286_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1293_15.min1.thm1
2017-02-06 12:46
449
finseq_6__1294_39.min1.thm1
2017-02-06 12:46
460
finseq_6__1301_20.min1.thm1
2017-02-06 12:45
1.4K
finseq_6__1303_23.min1.thm1
2017-02-06 12:46
2.3K
finseq_6__1310_23.min1.thm1
2017-02-06 12:46
767
finseq_6__1316_25.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__1317_24.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__1329_14.min1.thm1
2017-02-06 12:46
944
finseq_6__1330_18.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1331_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__1337_19.min1.thm1
2017-02-06 12:46
905
finseq_6__1339_20.min1.thm1
2017-02-06 12:46
423
finseq_6__1339_20.min1.thm1.tptp
2017-02-06 16:47
358
finseq_6__1342_17.min1.thm1
2017-02-06 12:45
765
finseq_6__1352_14.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1355_17.min1.thm1
2017-02-06 12:46
625
finseq_6__1356_44.min1.thm1
2017-02-06 12:46
566
finseq_6__1361_19.min1.thm1
2017-02-06 12:46
900
finseq_6__1365_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1366_13.min1.thm1
2017-02-06 12:46
924
finseq_6__1367_19.min1.thm1
2017-02-06 12:46
692
finseq_6__1379_14.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__1382_36.min1.thm1
2017-02-06 12:46
892
finseq_6__1383_16.min1.thm1
2017-02-06 12:46
948
finseq_6__1384_18.min1.thm1
2017-02-06 12:45
1.5K
finseq_6__1385_22.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__1390_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1394_17.min1.thm1
2017-02-06 12:46
811
finseq_6__1395_19.min1.thm1
2017-02-06 12:46
782
finseq_6__1404_34.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__1405_25.min1.thm1
2017-02-06 12:46
632
finseq_6__1408_27.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__1417_34.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__1418_25.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__1420_24.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1421_15.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__1429_34.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__1430_25.min1.thm1
2017-02-06 12:46
632
finseq_6__1433_15.min1.thm1
2017-02-06 12:46
832
finseq_6__1441_34.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__1442_25.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__1444_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__1445_28.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__1464_25.min1.thm1
2017-02-06 12:46
637
finseq_6__1466_38.min1.thm1
2017-02-06 12:46
951
finseq_6__1467_34.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1471_48.min1.thm1
2017-02-06 12:45
871
finseq_6__1472_51.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1481_31.min1.thm1
2017-02-06 12:46
830
finseq_6__1484_27.min1.thm1
2017-02-06 12:45
830
finseq_6__1486_43.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__1487_31.min1.thm1
2017-02-06 12:45
1.4K
finseq_6__1490_61.min1.thm1
2017-02-06 12:46
889
finseq_6__1490_61.min1.thm1.tptp
2017-02-06 16:47
822
finseq_6__1491_32.min1.thm1
2017-02-06 12:45
1.3K
finseq_6__1500_27.min1.thm1
2017-02-06 12:46
637
finseq_6__1501_29.min1.thm1
2017-02-06 12:45
830
finseq_6__1504_26.min1.thm1
2017-02-06 12:46
820
finseq_6__1505_37.min1.thm1
2017-02-06 12:46
886
finseq_6__1507_23.min1.thm1
2017-02-06 12:45
1.3K
finseq_6__1508_30.min1.thm1
2017-02-06 12:46
830
finseq_6__1509_49.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__1512_36.min1.thm1
2017-02-06 12:46
757
finseq_6__1515_30.min1.thm1
2017-02-06 12:46
2.0K
finseq_6__1528_16.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__1529_29.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__1531_33.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__1537_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__1538_20.min1.thm1
2017-02-06 12:46
969
finseq_6__1539_22.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__1541_17.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__1542_20.min1.thm1
2017-02-06 12:46
741
finseq_6__1543_40.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__1545_14.min1.thm1
2017-02-06 12:46
944
finseq_6__1547_24.min1.thm1
2017-02-06 12:46
2.0K
finseq_6__1548_23.min1.thm1
2017-02-06 12:46
802
finseq_6__1555_18.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__1556_34.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__1558_13.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__1566_23.min1.thm1
2017-02-06 12:46
783
finseq_6__1567_38.min1.thm1
2017-02-06 12:46
940
finseq_6__1568_27.min1.thm1
2017-02-06 12:46
941
finseq_6__1569_18.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__1570_14.min1.thm1
2017-02-06 12:46
578
finseq_6__1579_11.min1.thm1
2017-02-06 12:46
197
finseq_6__1582_19.min1.thm1
2017-02-06 12:46
894
finseq_6__1586_28.min1.thm1
2017-02-06 12:46
349
finseq_6__1586_28.min1.thm1.tptp
2017-02-06 16:47
281
finseq_6__1588_26.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1589_29.min1.thm1
2017-02-06 12:46
834
finseq_6__1592_23.min1.thm1
2017-02-06 12:46
948
finseq_6__1593_26.min1.thm1
2017-02-06 12:46
957
finseq_6__1597_26.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__1598_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1605_17.min1.thm1
2017-02-06 12:46
621
finseq_6__1608_29.min1.thm1
2017-02-06 12:46
953
finseq_6__1609_25.min1.thm1
2017-02-06 12:46
535
finseq_6__1610_51.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__1613_30.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__1614_11.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1625_16.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__1626_20.min1.thm1
2017-02-06 12:46
828
finseq_6__1635_24.min1.thm1
2017-02-06 12:45
892
finseq_6__1639_27.min1.thm1
2017-02-06 12:46
926
finseq_6__1640_24.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__1641_19.min1.thm1
2017-02-06 12:46
405
finseq_6__1641_19.min1.thm1.tptp
2017-02-06 16:47
340
finseq_6__1648_18.min1.thm1
2017-02-06 12:46
626
finseq_6__1649_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__1657_46.min1.thm1
2017-02-06 12:45
1.6K
finseq_6__1658_20.min1.thm1
2017-02-06 12:46
967
finseq_6__1660_17.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__1661_26.min1.thm1
2017-02-06 12:46
2.3K
finseq_6__1663_21.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__1665_16.min1.thm1
2017-02-06 12:46
807
finseq_6__1667_21.min1.thm1
2017-02-06 12:45
2.1K
finseq_6__1672_17.min1.thm1
2017-02-06 12:46
717
finseq_6__1674_18.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1680_22.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__1681_21.min1.thm1
2017-02-06 12:46
2.6K
finseq_6__1682_26.min1.thm1
2017-02-06 12:46
2.0K
finseq_6__1685_25.min1.thm1
2017-02-06 12:45
2.7K
finseq_6__1688_23.min1.thm1
2017-02-06 12:46
2.4K
finseq_6__1690_23.min1.thm1
2017-02-06 12:45
1.9K
finseq_6__1697_11.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__1700_19.min1.thm1
2017-02-06 12:46
459
finseq_6__1704_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1705_19.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__1712_11.min1.thm1
2017-02-06 12:46
531
finseq_6__1715_15.min1.thm1
2017-02-06 12:46
443
finseq_6__1717_17.min1.thm1
2017-02-06 12:46
2.0K
finseq_6__1719_28.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__1721_21.min1.thm1
2017-02-06 12:46
3.1K
finseq_6__1729_23.min1.thm1
2017-02-06 12:46
2.2K
finseq_6__1739_28.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__1743_27.min1.thm1
2017-02-06 12:45
2.0K
finseq_6__1749_27.min1.thm1
2017-02-06 12:46
2.0K
finseq_6__1750_19.min1.thm1
2017-02-06 12:46
497
finseq_6__1751_19.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__1773_14.min1.thm1
2017-02-06 12:46
944
finseq_6__1774_18.min1.thm1
2017-02-06 12:45
1.4K
finseq_6__1775_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__1785_15.min1.thm1
2017-02-06 12:45
530
finseq_6__1786_24.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1789_19.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__1791_28.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__1793_32.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__1802_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__1806_22.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__1820_24.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__1821_35.min1.thm1
2017-02-06 12:45
658
finseq_6__1823_15.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1832_17.min1.thm1
2017-02-06 12:45
837
finseq_6__1834_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1836_32.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__1851_17.min1.thm1
2017-02-06 12:46
837
finseq_6__1853_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1855_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__1856_27.min1.thm1
2017-02-06 12:46
886
finseq_6__1866_17.min1.thm1
2017-02-06 12:46
837
finseq_6__1868_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1870_25.min1.thm1
2017-02-06 12:45
1.5K
finseq_6__1871_29.min1.thm1
2017-02-06 12:45
1.2K
finseq_6__1900_13.min1.thm1
2017-02-06 12:45
251
finseq_6__1920_33.min1.thm1
2017-02-06 12:45
1.1K
finseq_6__1921_30.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1922_15.min1.thm1
2017-02-06 12:46
576
finseq_6__1931_22.min1.thm1
2017-02-06 12:46
665
finseq_6__1933_15.min1.thm1
2017-02-06 12:46
646
finseq_6__1940_22.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__1941_11.min1.thm1
2017-02-06 12:46
191
finseq_6__1944_25.min1.thm1
2017-02-06 12:46
652
finseq_6__1946_28.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__1947_27.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__1949_13.min1.thm1
2017-02-06 12:46
789
finseq_6__1963_13.min1.thm1
2017-02-06 12:46
454
finseq_6__1966_21.min1.thm1
2017-02-06 12:46
947
finseq_6__1971_18.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__1973_18.min1.thm1
2017-02-06 12:46
894
finseq_6__1974_22.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__1977_25.min1.thm1
2017-02-06 12:45
972
finseq_6__1978_28.min1.thm1
2017-02-06 12:46
2.7K
finseq_6__1985_23.min1.thm1
2017-02-06 12:45
1.4K
finseq_6__1987_15.min1.thm1
2017-02-06 12:46
717
finseq_6__1988_28.min1.thm1
2017-02-06 12:45
901
finseq_6__1990_43.min1.thm1
2017-02-06 12:46
3.1K
finseq_6__1996_21.min1.thm1
2017-02-06 12:46
751
finseq_6__2008_34.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__2009_23.min1.thm1
2017-02-06 12:46
647
finseq_6__2011_30.min1.thm1
2017-02-06 12:46
753
finseq_6__2013_23.min1.thm1
2017-02-06 12:46
771
finseq_6__2019_14.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__2020_15.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2021_11.min1.thm1
2017-02-06 12:46
335
finseq_6__2026_28.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__2029_30.min1.thm1
2017-02-06 12:46
2.7K
finseq_6__2030_19.min1.thm1
2017-02-06 12:45
784
finseq_6__2033_19.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2038_14.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__2040_15.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__2044_15.min1.thm1
2017-02-06 12:46
441
finseq_6__2045_14.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2046_22.min1.thm1
2017-02-06 12:45
863
finseq_6__2047_26.min1.thm1
2017-02-06 12:46
2.6K
finseq_6__2053_28.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__2056_16.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__2058_19.min1.thm1
2017-02-06 12:45
1.2K
finseq_6__2062_53.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__2063_16.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2064_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__2074_19.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2081_13.min1.thm1
2017-02-06 12:46
273
finseq_6__2082_23.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__2083_39.min1.thm1
2017-02-06 12:46
594
finseq_6__2083_39.min1.thm1.tptp
2017-02-06 16:47
532
finseq_6__2090_17.min1.thm1
2017-02-06 12:46
822
finseq_6__2106_11.min1.thm1
2017-02-06 12:46
252
finseq_6__2109_56.min1.thm1
2017-02-06 12:46
552
finseq_6__2110_27.min1.thm1
2017-02-06 12:46
775
finseq_6__2112_36.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__2113_27.min1.thm1
2017-02-06 12:46
767
finseq_6__2114_19.min1.thm1
2017-02-06 12:46
895
finseq_6__2115_30.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__2118_23.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2122_19.min1.thm1
2017-02-06 12:46
955
finseq_6__2129_17.min1.thm1
2017-02-06 12:45
510
finseq_6__2130_17.min1.thm1
2017-02-06 12:46
813
finseq_6__2136_22.min1.thm1
2017-02-06 12:46
689
finseq_6__2137_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__2143_11.min1.thm1
2017-02-06 12:46
202
finseq_6__2146_19.min1.thm1
2017-02-06 12:46
706
finseq_6__2150_29.min1.thm1
2017-02-06 12:46
747
finseq_6__2151_30.min1.thm1
2017-02-06 12:46
592
finseq_6__2153_39.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__2154_33.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__2155_25.min1.thm1
2017-02-06 12:45
848
finseq_6__2156_21.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__2163_25.min1.thm1
2017-02-06 12:46
876
finseq_6__2164_17.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__2172_33.min1.thm1
2017-02-06 12:46
910
finseq_6__2173_31.min1.thm1
2017-02-06 12:46
583
finseq_6__2173_31.min1.thm1.tptp
2017-02-06 16:47
525
finseq_6__2178_26.min1.thm1
2017-02-06 12:46
876
finseq_6__2187_11.min1.thm1
2017-02-06 12:46
202
finseq_6__2190_19.min1.thm1
2017-02-06 12:46
858
finseq_6__2194_35.min1.thm1
2017-02-06 12:46
914
finseq_6__2195_33.min1.thm1
2017-02-06 12:46
591
finseq_6__2195_33.min1.thm1.tptp
2017-02-06 16:47
533
finseq_6__2209_28.min1.thm1
2017-02-06 12:46
948
finseq_6__2211_24.min1.thm1
2017-02-06 12:46
815
finseq_6__2216_14.min1.thm1
2017-02-06 12:46
912
finseq_6__2219_23.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2220_20.min1.thm1
2017-02-06 12:46
421
finseq_6__2220_20.min1.thm1.tptp
2017-02-06 16:47
356
finseq_6__2222_19.min1.thm1
2017-02-06 12:46
736
finseq_6__2223_19.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2224_22.min1.thm1
2017-02-06 12:46
2.3K
finseq_6__2226_28.min1.thm1
2017-02-06 12:45
1.9K
finseq_6__2227_26.min1.thm1
2017-02-06 12:46
3.1K
finseq_6__2229_29.min1.thm1
2017-02-06 12:46
3.1K
finseq_6__2231_33.min1.thm1
2017-02-06 12:46
3.3K
finseq_6__2236_16.min1.thm1
2017-02-06 12:46
354
finseq_6__2243_11.min1.thm1
2017-02-06 12:46
252
finseq_6__2254_27.min1.thm1
2017-02-06 12:45
870
finseq_6__2256_19.min1.thm1
2017-02-06 12:46
906
finseq_6__2261_20.min1.thm1
2017-02-06 12:46
967
finseq_6__2262_20.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2263_24.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__2267_21.min1.thm1
2017-02-06 12:46
637
finseq_6__2268_48.min1.thm1
2017-02-06 12:46
605
finseq_6__2269_33.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2270_18.min1.thm1
2017-02-06 12:46
480
finseq_6__2271_26.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2272_37.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__2275_33.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2279_32.min1.thm1
2017-02-06 12:46
2.5K
finseq_6__2281_23.min1.thm1
2017-02-06 12:46
860
finseq_6__2286_20.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2287_20.min1.thm1
2017-02-06 12:46
967
finseq_6__2288_24.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__2289_30.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2292_23.min1.thm1
2017-02-06 12:46
893
finseq_6__2296_30.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2297_23.min1.thm1
2017-02-06 12:46
858
finseq_6__2303_27.min1.thm1
2017-02-06 12:46
861
finseq_6__2304_19.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__2313_11.min1.thm1
2017-02-06 12:46
252
finseq_6__2318_22.min1.thm1
2017-02-06 12:46
624
finseq_6__2319_36.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2321_32.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__2322_36.min1.thm1
2017-02-06 12:46
721
finseq_6__2323_18.min1.thm1
2017-02-06 12:46
782
finseq_6__2324_27.min1.thm1
2017-02-06 12:46
652
finseq_6__2325_18.min1.thm1
2017-02-06 12:45
1.2K
finseq_6__2327_15.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__2328_39.min1.thm1
2017-02-06 12:46
914
finseq_6__2330_24.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__2331_23.min1.thm1
2017-02-06 12:45
637
finseq_6__2333_24.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2336_45.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__2339_28.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__2342_27.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__2345_26.min1.thm1
2017-02-06 12:46
2.7K
finseq_6__2347_66.min1.thm1
2017-02-06 12:46
2.0K
finseq_6__2348_51.min1.thm1
2017-02-06 12:45
2.7K
finseq_6__2352_53.min1.thm1
2017-02-06 12:46
2.5K
finseq_6__2353_32.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2370_11.min1.thm1
2017-02-06 12:45
252
finseq_6__2374_18.min1.thm1
2017-02-06 12:46
782
finseq_6__2375_27.min1.thm1
2017-02-06 12:46
652
finseq_6__2376_39.min1.thm1
2017-02-06 12:46
913
finseq_6__2378_23.min1.thm1
2017-02-06 12:45
1.4K
finseq_6__2385_41.min1.thm1
2017-02-06 12:45
917
finseq_6__2388_34.min1.thm1
2017-02-06 12:46
871
finseq_6__2391_26.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__2394_64.min1.thm1
2017-02-06 12:45
2.7K
finseq_6__2397_64.min1.thm1
2017-02-06 12:46
2.6K
finseq_6__2398_43.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__2414_11.min1.thm1
2017-02-06 12:46
252
finseq_6__2420_44.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__2424_18.min1.thm1
2017-02-06 12:45
1.1K
finseq_6__2429_19.min1.thm1
2017-02-06 12:46
326
finseq_6__2432_58.min1.thm1
2017-02-06 12:46
815
finseq_6__2433_54.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__2438_32.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__2439_28.min1.thm1
2017-02-06 12:46
373
finseq_6__2439_28.min1.thm1.tptp
2017-02-06 16:47
308
finseq_6__2442_46.min1.thm1
2017-02-06 12:46
653
finseq_6__2449_18.min1.thm1
2017-02-06 12:46
854
finseq_6__2450_31.min1.thm1
2017-02-06 12:46
916
finseq_6__2452_33.min1.thm1
2017-02-06 12:46
962
finseq_6__2453_28.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__2454_22.min1.thm1
2017-02-06 12:46
429
finseq_6__2454_22.min1.thm1.tptp
2017-02-06 16:47
361
finseq_6__2456_17.min1.thm1
2017-02-06 12:46
821
finseq_6__2458_18.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__2461_23.min1.thm1
2017-02-06 12:46
802
finseq_6__2465_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__2469_23.min1.thm1
2017-02-06 12:45
1.2K
finseq_6__2472_16.min1.thm1
2017-02-06 12:46
518
finseq_6__2476_19.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__2484_11.min1.thm1
2017-02-06 12:46
252
finseq_6__2490_18.min1.thm1
2017-02-06 12:46
926
finseq_6__2492_15.min1.thm1
2017-02-06 12:45
228
finseq_6__2495_23.min1.thm1
2017-02-06 12:46
563
finseq_6__2496_23.min1.thm1
2017-02-06 12:45
802
finseq_6__2500_35.min1.thm1
2017-02-06 12:46
911
finseq_6__2504_37.min1.thm1
2017-02-06 12:46
658
finseq_6__2505_32.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2507_22.min1.thm1
2017-02-06 12:46
2.2K
finseq_6__2510_35.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__2511_30.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2512_27.min1.thm1
2017-02-06 12:46
437
finseq_6__2512_27.min1.thm1.tptp
2017-02-06 16:47
372
finseq_6__2514_26.min1.thm1
2017-02-06 12:46
753
finseq_6__2515_27.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__2518_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__2521_16.min1.thm1
2017-02-06 12:46
516
finseq_6__2537_22.min1.thm1
2017-02-06 12:46
657
finseq_6__2538_17.min1.thm1
2017-02-06 12:46
918
finseq_6__2546_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__2566_17.min1.thm1
2017-02-06 12:45
659
finseq_6__2569_14.min1.thm1
2017-02-06 12:46
449
finseq_6__2570_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__2571_15.min1.thm1
2017-02-06 12:46
273
finseq_6__2573_16.min1.thm1
2017-02-06 12:46
968
finseq_6__2575_15.min1.thm1
2017-02-06 12:46
676
finseq_6__2576_28.min1.thm1
2017-02-06 12:46
568
finseq_6__2577_16.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__2578_15.min1.thm1
2017-02-06 12:46
415
finseq_6__2579_20.min1.thm1
2017-02-06 12:45
665
finseq_6__2595_21.min1.thm1
2017-02-06 12:46
930
finseq_6__2598_16.min1.thm1
2017-02-06 12:45
2.0K
finseq_6__2618_21.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__2619_15.min1.thm1
2017-02-06 12:45
1.7K
finseq_6__2621_22.min1.thm1
2017-02-06 12:45
2.0K
finseq_6__2622_54.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__2624_17.min1.thm1
2017-02-06 12:46
3.0K
finseq_6__2632_19.min1.thm1
2017-02-06 12:45
554
finseq_6__2633_17.min1.thm1
2017-02-06 12:46
351
finseq_6__2633_17.min1.thm1.tptp
2017-02-06 16:47
272
finseq_6__2637_71.min1.thm1
2017-02-06 12:45
1.5K
finseq_6__2642_13.min1.thm1
2017-02-06 12:45
553
finseq_6__2650_13.min1.thm1
2017-02-06 12:46
2.8K
finseq_6__2676_11.min1.thm1
2017-02-06 12:45
228
finseq_6__2679_35.min1.thm1
2017-02-06 12:46
2.7K
finseq_6__2680_23.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2683_25.min1.thm1
2017-02-06 12:46
2.2K
finseq_6__2684_25.min1.thm1
2017-02-06 12:46
2.2K
finseq_6__2685_22.min1.thm1
2017-02-06 12:45
2.4K
finseq_6__2686_28.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__2687_29.min1.thm1
2017-02-06 12:46
2.4K
finseq_6__2691_33.min1.thm1
2017-02-06 12:46
3.2K
finseq_6__2699_24.min1.thm1
2017-02-06 12:45
1.2K
finseq_6__2700_25.min1.thm1
2017-02-06 12:46
2.7K
finseq_6__2701_27.min1.thm1
2017-02-06 12:45
2.4K
finseq_6__2702_30.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__2703_27.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__2709_19.min1.thm1
2017-02-06 12:45
1.5K
finseq_6__2713_27.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__2720_19.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__2721_27.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__2725_61.min1.thm1
2017-02-06 12:46
2.7K
finseq_6__2732_16.min1.thm1
2017-02-06 12:46
836
finseq_6__2736_36.min1.thm1
2017-02-06 12:46
2.7K
finseq_6__2737_23.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2740_26.min1.thm1
2017-02-06 12:46
2.2K
finseq_6__2741_27.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__2749_26.min1.thm1
2017-02-06 12:46
2.2K
finseq_6__2750_30.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__2751_27.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__2761_22.min1.thm1
2017-02-06 12:46
2.4K
finseq_6__2762_28.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__2763_29.min1.thm1
2017-02-06 12:46
2.4K
finseq_6__2775_24.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2776_25.min1.thm1
2017-02-06 12:46
2.7K
finseq_6__2777_27.min1.thm1
2017-02-06 12:46
2.4K
finseq_6__2778_24.min1.thm1
2017-02-06 12:46
2.4K
finseq_6__2783_66.min1.thm1
2017-02-06 12:46
2.7K
finseq_6__2790_16.min1.thm1
2017-02-06 12:46
836
finseq_6__2802_22.min1.thm1
2017-02-06 12:46
2.5K
finseq_6__2803_11.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__2805_15.min1.thm1
2017-02-06 12:46
2.6K
finseq_6__2806_31.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__2808_17.min1.thm1
2017-02-06 12:46
2.4K
finseq_6__2819_17.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__2827_11.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__2829_18.min1.thm1
2017-02-06 12:46
456
finseq_6__2833_17.min1.thm1
2017-02-06 12:46
1.6K
finseq_6__2845_16.min1.thm1
2017-02-06 12:45
1.7K
finseq_6__2851_13.min1.thm1
2017-02-06 12:45
192
finseq_6__2854_11.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__2855_20.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2857_20.min1.thm1
2017-02-06 12:46
490
finseq_6__2858_28.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__2861_50.min1.thm1
2017-02-06 12:45
1.5K
finseq_6__2867_20.min1.thm1
2017-02-06 12:46
2.4K
finseq_6__2868_40.min1.thm1
2017-02-06 12:46
2.7K
finseq_6__2875_14.min1.thm1
2017-02-06 12:46
742
finseq_6__2892_18.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2895_15.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2897_19.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2907_16.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2909_27.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2914_21.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2918_30.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__2919_22.min1.thm1
2017-02-06 12:46
2.0K
finseq_6__2920_32.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2926_64.min1.thm1
2017-02-06 12:46
780
finseq_6__2930_13.min1.thm1
2017-02-06 12:46
230
finseq_6__2933_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__2937_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2938_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__2939_30.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__2943_22.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2945_42.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__2946_24.min1.thm1
2017-02-06 12:45
1.1K
finseq_6__2947_29.min1.thm1
2017-02-06 12:45
1.7K
finseq_6__2949_25.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__2974_16.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2976_20.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__2977_20.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2979_41.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__2984_18.min1.thm1
2017-02-06 12:46
794
finseq_6__2986_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__2987_27.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__2989_23.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__3005_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__3006_29.min1.thm1
2017-02-06 12:46
2.1K
finseq_6__3008_21.min1.thm1
2017-02-06 12:45
2.5K
finseq_6__3012_21.min1.thm1
2017-02-06 12:46
746
finseq_6__3012_21.min1.thm1.tptp
2017-02-06 16:47
664
finseq_6__3019_18.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__3021_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__3025_25.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__3027_21.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__3041_37.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__3049_22.min1.thm1
2017-02-06 12:46
2.3K
finseq_6__3050_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__3055_19.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__3067_16.min1.thm1
2017-02-06 12:46
570
finseq_6__3076_11.min1.thm1
2017-02-06 12:46
228
finseq_6__3082_32.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__3083_19.min1.thm1
2017-02-06 12:46
778
finseq_6__3091_32.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__3092_19.min1.thm1
2017-02-06 12:46
778
finseq_6__3103_28.min1.thm1
2017-02-06 12:45
1.0K
finseq_6__3104_23.min1.thm1
2017-02-06 12:45
566
finseq_6__3104_23.min1.thm1.tptp
2017-02-06 16:47
492
finseq_6__3105_16.min1.thm1
2017-02-06 12:45
2.4K
finseq_6__3106_10.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__3107_14.min1.thm1
2017-02-06 12:46
358
finseq_6__3116_13.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__3117_11.min1.thm1
2017-02-06 12:46
206
finseq_6__3120_19.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__3122_29.min1.thm1
2017-02-06 12:46
2.5K
finseq_6__3123_24.min1.thm1
2017-02-06 12:46
566
finseq_6__3123_24.min1.thm1.tptp
2017-02-06 16:47
492
finseq_6__3125_16.min1.thm1
2017-02-06 12:46
426
finseq_6__3130_12.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__3132_14.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__3133_19.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__3150_16.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__3151_15.min1.thm1
2017-02-06 12:45
1.2K
finseq_6__3153_21.min1.thm1
2017-02-06 12:46
2.0K
finseq_6__3155_13.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__3157_21.min1.thm1
2017-02-06 12:46
2.5K
finseq_6__3159_13.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__3165_16.min1.thm1
2017-02-06 12:46
2.5K
finseq_6__3178_15.min1.thm1
2017-02-06 12:46
376
finseq_6__3179_15.min1.thm1
2017-02-06 12:46
376
finseq_6__3180_9.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__3182_17.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__3194_16.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__3195_13.min1.thm1
2017-02-06 12:46
790
finseq_6__3197_23.min1.thm1
2017-02-06 12:46
1.7K
finseq_6__3199_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__3202_12.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__3204_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__3205_10.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__3216_20.min1.thm1
2017-02-06 12:45
1.4K
finseq_6__3218_35.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__3231_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__3234_16.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__3237_21.min1.thm1
2017-02-06 12:46
1.3K
finseq_6__3244_36.min1.thm1
2017-02-06 12:46
1.4K
finseq_6__3245_23.min1.thm1
2017-02-06 12:45
1.5K
finseq_6__3247_21.min1.thm1
2017-02-06 12:46
1.9K
finseq_6__3250_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_6__3252_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__3254_20.min1.thm1
2017-02-06 12:46
2.2K
finseq_6__3258_19.min1.thm1
2017-02-06 12:46
1.1K
finseq_6__3259_12.min1.thm1
2017-02-06 12:46
1.5K
finseq_6__3260_26.min1.thm1
2017-02-06 12:46
1.2K
finseq_6__3264_44.min1.thm1
2017-02-06 12:46
1.8K
finseq_6__3265_51.min1.thm1
2017-02-06 12:45
1.4K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80