Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/finseq_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_4__55_25.min1.thm12017-02-06 12:46 529  
[ ]finseq_4__56_24.min1.thm12017-02-06 12:46 437  
[ ]finseq_4__56_24.min1.thm1.tptp2017-02-06 16:47 372  
[ ]finseq_4__57_17.min1.thm12017-02-06 12:46 591  
[ ]finseq_4__68_17.min1.thm12017-02-06 12:46 474  
[ ]finseq_4__69_22.min1.thm12017-02-06 12:46 533  
[ ]finseq_4__70_19.min1.thm12017-02-06 12:46 694  
[ ]finseq_4__73_26.min1.thm12017-02-06 12:46 658  
[ ]finseq_4__85_23.min1.thm12017-02-06 12:46 474  
[ ]finseq_4__91_19.min1.thm12017-02-06 12:46 323  
[ ]finseq_4__92_26.min1.thm12017-02-06 12:46 870  
[ ]finseq_4__93_20.min1.thm12017-02-06 12:46 677  
[ ]finseq_4__100_21.min1.thm12017-02-06 12:46 675  
[ ]finseq_4__102_69.min1.thm12017-02-06 12:46 650  
[ ]finseq_4__102_69.min1.thm1.tptp2017-02-06 16:47 591  
[ ]finseq_4__103_17.min1.thm12017-02-06 12:46 321  
[ ]finseq_4__105_21.min1.thm12017-02-06 12:46 740  
[ ]finseq_4__107_16.min1.thm12017-02-06 12:46 814  
[ ]finseq_4__110_26.min1.thm12017-02-06 12:46 723  
[ ]finseq_4__112_18.min1.thm12017-02-06 12:46 449  
[ ]finseq_4__112_18.min1.thm1.tptp2017-02-06 16:47 384  
[ ]finseq_4__113_28.min1.thm12017-02-06 12:46 799  
[ ]finseq_4__135_28.min1.thm12017-02-06 12:46 375  
[ ]finseq_4__135_28.min1.thm1.tptp2017-02-06 16:47 294  
[ ]finseq_4__136_19.min1.thm12017-02-06 12:46 727  
[ ]finseq_4__143_60.min1.thm12017-02-06 12:46 715  
[ ]finseq_4__144_17.min1.thm12017-02-06 12:46 741  
[ ]finseq_4__158_28.min1.thm12017-02-06 12:46 466  
[ ]finseq_4__159_25.min1.thm12017-02-06 12:46 822  
[ ]finseq_4__161_24.min1.thm12017-02-06 12:46 488  
[ ]finseq_4__161_24.min1.thm1.tptp2017-02-06 16:47 422  
[ ]finseq_4__162_13.min1.thm12017-02-06 12:46 529  
[ ]finseq_4__163_15.min1.thm12017-02-06 12:46 329  
[ ]finseq_4__163_15.min1.thm1.tptp2017-02-06 16:47 264  
[ ]finseq_4__164_17.min1.thm12017-02-06 12:46 501  
[ ]finseq_4__174_22.min1.thm12017-02-06 12:46 476  
[ ]finseq_4__177_14.min1.thm12017-02-06 12:46 584  
[ ]finseq_4__179_25.min1.thm12017-02-06 12:46 470  
[ ]finseq_4__181_20.min1.thm12017-02-06 12:46 570  
[ ]finseq_4__182_17.min1.thm12017-02-06 12:46 391  
[ ]finseq_4__182_17.min1.thm1.tptp2017-02-06 16:47 326  
[ ]finseq_4__183_20.min1.thm12017-02-06 12:46 789  
[ ]finseq_4__184_19.min1.thm12017-02-06 12:46 505  
[ ]finseq_4__187_29.min1.thm12017-02-06 12:46 550  
[ ]finseq_4__200_25.min1.thm12017-02-06 12:46 470  
[ ]finseq_4__201_17.min1.thm12017-02-06 12:46 476  
[ ]finseq_4__204_15.min1.thm12017-02-06 12:46 584  
[ ]finseq_4__205_18.min1.thm12017-02-06 12:46 391  
[ ]finseq_4__205_18.min1.thm1.tptp2017-02-06 16:47 326  
[ ]finseq_4__207_20.min1.thm12017-02-06 12:46 698  
[ ]finseq_4__209_34.min1.thm12017-02-06 12:46 424  
[ ]finseq_4__209_34.min1.thm1.tptp2017-02-06 16:47 340  
[ ]finseq_4__215_22.min1.thm12017-02-06 12:46 898  
[ ]finseq_4__216_17.min1.thm12017-02-06 12:46 393  
[ ]finseq_4__216_17.min1.thm1.tptp2017-02-06 16:47 328  
[ ]finseq_4__217_24.min1.thm12017-02-06 12:46 701  
[ ]finseq_4__218_29.min1.thm12017-02-06 12:46 584  
[ ]finseq_4__220_18.min1.thm12017-02-06 12:46 418  
[ ]finseq_4__234_15.min1.thm12017-02-06 12:46 345  
[ ]finseq_4__234_15.min1.thm1.tptp2017-02-06 16:47 280  
[ ]finseq_4__235_19.min1.thm12017-02-06 12:46 387  
[ ]finseq_4__235_19.min1.thm1.tptp2017-02-06 16:47 322  
[ ]finseq_4__236_21.min1.thm12017-02-06 12:46 768  
[ ]finseq_4__241_23.min1.thm12017-02-06 12:46 608  
[ ]finseq_4__243_16.min1.thm12017-02-06 12:46 391  
[ ]finseq_4__243_16.min1.thm1.tptp2017-02-06 16:47 326  
[ ]finseq_4__244_18.min1.thm12017-02-06 12:46 583  
[ ]finseq_4__245_18.min1.thm12017-02-06 12:46 492  
[ ]finseq_4__246_19.min1.thm12017-02-06 12:46 337  
[ ]finseq_4__246_19.min1.thm1.tptp2017-02-06 16:47 272  
[ ]finseq_4__248_23.min1.thm12017-02-06 12:46 556  
[ ]finseq_4__249_17.min1.thm12017-02-06 12:46 466  
[ ]finseq_4__262_27.min1.thm12017-02-06 12:46 598  
[ ]finseq_4__263_55.min1.thm12017-02-06 12:46 779  
[ ]finseq_4__272_17.min1.thm12017-02-06 12:46 576  
[ ]finseq_4__273_32.min1.thm12017-02-06 12:46 432  
[ ]finseq_4__273_32.min1.thm1.tptp2017-02-06 16:47 351  
[ ]finseq_4__275_23.min1.thm12017-02-06 12:46 574  
[ ]finseq_4__276_19.min1.thm12017-02-06 12:46 326  
[ ]finseq_4__278_20.min1.thm12017-02-06 12:46 847  
[ ]finseq_4__279_19.min1.thm12017-02-06 12:46 757  
[ ]finseq_4__280_16.min1.thm12017-02-06 12:46 536  
[ ]finseq_4__281_17.min1.thm12017-02-06 12:46 602  
[ ]finseq_4__291_23.min1.thm12017-02-06 12:46 483  
[ ]finseq_4__292_22.min1.thm12017-02-06 12:46 598  
[ ]finseq_4__293_19.min1.thm12017-02-06 12:46 585  
[ ]finseq_4__299_22.min1.thm12017-02-06 12:46 574  
[ ]finseq_4__300_17.min1.thm12017-02-06 12:46 326  
[ ]finseq_4__301_18.min1.thm12017-02-06 12:46 843  
[ ]finseq_4__302_15.min1.thm12017-02-06 12:46 335  
[ ]finseq_4__302_15.min1.thm1.tptp2017-02-06 16:47 270  
[ ]finseq_4__303_17.min1.thm12017-02-06 12:46 748  
[ ]finseq_4__315_17.min1.thm12017-02-06 12:46 485  
[ ]finseq_4__317_27.min1.thm12017-02-06 12:46 598  
[ ]finseq_4__319_18.min1.thm12017-02-06 12:46 416  
[ ]finseq_4__331_13.min1.thm12017-02-06 12:46 496  
[ ]finseq_4__331_13.min1.thm1.tptp2017-02-06 16:47 420  
[ ]finseq_4__332_19.min1.thm12017-02-06 12:46 573  
[ ]finseq_4__341_25.min1.thm12017-02-06 12:46 563  
[ ]finseq_4__342_38.min1.thm12017-02-06 12:46 650  
[ ]finseq_4__343_13.min1.thm12017-02-06 12:46 591  
[ ]finseq_4__352_20.min1.thm12017-02-06 12:46 518  
[ ]finseq_4__353_19.min1.thm12017-02-06 12:46 479  
[ ]finseq_4__354_20.min1.thm12017-02-06 12:46 611  
[ ]finseq_4__356_14.min1.thm12017-02-06 12:46 391  
[ ]finseq_4__356_14.min1.thm1.tptp2017-02-06 16:47 326  
[ ]finseq_4__357_15.min1.thm12017-02-06 12:46 585  
[ ]finseq_4__358_17.min1.thm12017-02-06 12:46 886  
[ ]finseq_4__368_27.min1.thm12017-02-06 12:46 590  
[ ]finseq_4__369_25.min1.thm12017-02-06 12:46 561  
[ ]finseq_4__370_20.min1.thm12017-02-06 12:46 690  
[ ]finseq_4__371_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__378_45.min1.thm12017-02-06 12:46 591  
[ ]finseq_4__379_17.min1.thm12017-02-06 12:46 653  
[ ]finseq_4__390_20.min1.thm12017-02-06 12:46 706  
[ ]finseq_4__391_30.min1.thm12017-02-06 12:46 702  
[ ]finseq_4__393_20.min1.thm12017-02-06 12:46 563  
[ ]finseq_4__404_14.min1.thm12017-02-06 12:46 946  
[ ]finseq_4__411_14.min1.thm12017-02-06 12:46 708  
[ ]finseq_4__422_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__428_15.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__429_37.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__438_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__448_34.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__449_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__461_13.min1.thm12017-02-06 12:46 335  
[ ]finseq_4__463_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__464_18.min1.thm12017-02-06 12:46 575  
[ ]finseq_4__468_21.min1.thm12017-02-06 12:46 676  
[ ]finseq_4__469_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__470_21.min1.thm12017-02-06 12:46 820  
[ ]finseq_4__479_44.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__481_23.min1.thm12017-02-06 12:46 546  
[ ]finseq_4__483_20.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__485_19.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__486_20.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__487_25.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__488_17.min1.thm12017-02-06 12:46 449  
[ ]finseq_4__488_17.min1.thm1.tptp2017-02-06 16:47 384  
[ ]finseq_4__494_44.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__496_23.min1.thm12017-02-06 12:46 546  
[ ]finseq_4__498_32.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__499_35.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__501_17.min1.thm12017-02-06 12:46 807  
[ ]finseq_4__508_23.min1.thm12017-02-06 12:46 598  
[ ]finseq_4__517_35.min1.thm12017-02-06 12:46 708  
[ ]finseq_4__518_17.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_4__526_22.min1.thm12017-02-06 12:46 593  
[ ]finseq_4__528_22.min1.thm12017-02-06 12:46 449  
[ ]finseq_4__528_22.min1.thm1.tptp2017-02-06 16:47 384  
[ ]finseq_4__529_18.min1.thm12017-02-06 12:46 598  
[ ]finseq_4__530_17.min1.thm12017-02-06 12:46 951  
[ ]finseq_4__542_15.min1.thm12017-02-06 12:46 270  
[ ]finseq_4__543_44.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__544_25.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__545_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__548_14.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__552_26.min1.thm12017-02-06 12:46 911  
[ ]finseq_4__555_23.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__565_20.min1.thm12017-02-06 12:46 512  
[ ]finseq_4__566_38.min1.thm12017-02-06 12:46 855  
[ ]finseq_4__567_17.min1.thm12017-02-06 12:46 941  
[ ]finseq_4__578_18.min1.thm12017-02-06 12:46 571  
[ ]finseq_4__589_53.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__590_33.min1.thm12017-02-06 12:46 855  
[ ]finseq_4__591_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__601_25.min1.thm12017-02-06 12:46 575  
[ ]finseq_4__602_19.min1.thm12017-02-06 12:46 912  
[ ]finseq_4__613_17.min1.thm12017-02-06 12:46 399  
[ ]finseq_4__613_17.min1.thm1.tptp2017-02-06 16:47 334  
[ ]finseq_4__614_24.min1.thm12017-02-06 12:46 876  
[ ]finseq_4__617_33.min1.thm12017-02-06 12:46 855  
[ ]finseq_4__618_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__631_20.min1.thm12017-02-06 12:46 401  
[ ]finseq_4__631_20.min1.thm1.tptp2017-02-06 16:47 336  
[ ]finseq_4__632_19.min1.thm12017-02-06 12:46 710  
[ ]finseq_4__638_17.min1.thm12017-02-06 12:46 749  
[ ]finseq_4__639_15.min1.thm12017-02-06 12:46 642  
[ ]finseq_4__641_14.min1.thm12017-02-06 12:46 391  
[ ]finseq_4__641_14.min1.thm1.tptp2017-02-06 16:47 326  
[ ]finseq_4__642_33.min1.thm12017-02-06 12:46 855  
[ ]finseq_4__643_18.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__644_17.min1.thm12017-02-06 12:46 394  
[ ]finseq_4__644_17.min1.thm1.tptp2017-02-06 16:47 329  
[ ]finseq_4__653_67.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__655_19.min1.thm12017-02-06 12:46 788  
[ ]finseq_4__657_21.min1.thm12017-02-06 12:46 455  
[ ]finseq_4__657_21.min1.thm1.tptp2017-02-06 16:47 381  
[ ]finseq_4__659_44.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_4__660_31.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__689_16.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__690_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__694_10.min1.thm12017-02-06 12:46 819  
[ ]finseq_4__696_26.min1.thm12017-02-06 12:46 401  
[ ]finseq_4__696_26.min1.thm1.tptp2017-02-06 16:47 333  
[ ]finseq_4__698_16.min1.thm12017-02-06 12:46 725  
[ ]finseq_4__703_17.min1.thm12017-02-06 12:46 512  
[ ]finseq_4__715_16.min1.thm12017-02-06 12:46 407  
[ ]finseq_4__715_16.min1.thm1.tptp2017-02-06 16:47 342  
[ ]finseq_4__716_22.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__717_21.min1.thm12017-02-06 12:46 486  
[ ]finseq_4__722_16.min1.thm12017-02-06 12:46 401  
[ ]finseq_4__722_16.min1.thm1.tptp2017-02-06 16:47 336  
[ ]finseq_4__723_19.min1.thm12017-02-06 12:46 595  
[ ]finseq_4__725_23.min1.thm12017-02-06 12:46 453  
[ ]finseq_4__725_23.min1.thm1.tptp2017-02-06 16:47 388  
[ ]finseq_4__726_36.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_4__729_33.min1.thm12017-02-06 12:46 416  
[ ]finseq_4__729_33.min1.thm1.tptp2017-02-06 16:47 333  
[ ]finseq_4__730_50.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__732_37.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_4__733_26.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_4__735_22.min1.thm12017-02-06 12:46 905  
[ ]finseq_4__737_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__739_22.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__744_37.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__759_27.min1.thm12017-02-06 12:46 592  
[ ]finseq_4__760_55.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__762_37.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_4__763_26.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_4__771_22.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__785_16.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__798_48.min1.thm12017-02-06 12:46 695  
[ ]finseq_4__799_46.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__801_15.min1.thm12017-02-06 12:46 760  
[ ]finseq_4__803_12.min1.thm12017-02-06 12:46 539  
[ ]finseq_4__810_51.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__811_14.min1.thm12017-02-06 12:46 528  
[ ]finseq_4__821_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__822_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__824_20.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_4__825_17.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__832_32.min1.thm12017-02-06 12:46 659  
[ ]finseq_4__833_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__842_46.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__843_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__852_46.min1.thm12017-02-06 12:46 691  
[ ]finseq_4__854_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__858_20.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_4__860_11.min1.thm12017-02-06 12:46 954  
[ ]finseq_4__863_14.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__873_30.min1.thm12017-02-06 12:46 605  
[ ]finseq_4__874_54.min1.thm12017-02-06 12:46 463  
[ ]finseq_4__874_54.min1.thm1.tptp2017-02-06 16:47 401  
[ ]finseq_4__875_17.min1.thm12017-02-06 12:46 652  
[ ]finseq_4__882_51.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__883_17.min1.thm12017-02-06 12:46 682  
[ ]finseq_4__895_29.min1.thm12017-02-06 12:46 663  
[ ]finseq_4__896_13.min1.thm12017-02-06 12:46 516  
[ ]finseq_4__897_16.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__901_19.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__902_27.min1.thm12017-02-06 12:46 659  
[ ]finseq_4__910_51.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__925_52.min1.thm12017-02-06 12:46 718  
[ ]finseq_4__930_18.min1.thm12017-02-06 12:46 880  
[ ]finseq_4__930_18.min1.thm1.tptp2017-02-06 16:47 824  
[ ]finseq_4__943_48.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__946_32.min1.thm12017-02-06 12:46 703  
[ ]finseq_4__947_24.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__957_37.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__958_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__967_50.min1.thm12017-02-06 12:46 714  
[ ]finseq_4__968_15.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__969_27.min1.thm12017-02-06 12:46 911  
[ ]finseq_4__972_11.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__987_35.min1.thm12017-02-06 12:46 863  
[ ]finseq_4__1000_17.min1.thm12017-02-06 12:46 516  
[ ]finseq_4__1005_37.min1.thm12017-02-06 12:46 871  
[ ]finseq_4__1026_27.min1.thm12017-02-06 12:46 770  
[ ]finseq_4__1027_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1029_27.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1030_30.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1041_21.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__1044_33.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1046_28.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_4__1053_17.min1.thm12017-02-06 12:46 847  
[ ]finseq_4__1063_34.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1067_35.min1.thm12017-02-06 12:46 863  
[ ]finseq_4__1069_29.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1070_27.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__1074_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1075_36.min1.thm12017-02-06 12:46 856  
[ ]finseq_4__1077_29.min1.thm12017-02-06 12:46 3.5K 
[ ]finseq_4__1088_23.min1.thm12017-02-06 12:46 588  
[ ]finseq_4__1091_43.min1.thm12017-02-06 12:46 656  
[ ]finseq_4__1092_28.min1.thm12017-02-06 12:46 620  
[ ]finseq_4__1099_15.min1.thm12017-02-06 12:46 272  
[ ]finseq_4__1103_17.min1.thm12017-02-06 12:46 706  
[ ]finseq_4__1110_31.min1.thm12017-02-06 12:46 652  
[ ]finseq_4__1111_55.min1.thm12017-02-06 12:46 463  
[ ]finseq_4__1111_55.min1.thm1.tptp2017-02-06 16:47 401  
[ ]finseq_4__1112_17.min1.thm12017-02-06 12:46 652  
[ ]finseq_4__1124_34.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1126_16.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1130_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1131_32.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1143_34.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1149_37.min1.thm12017-02-06 12:46 871  
[ ]finseq_4__1150_39.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1157_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1161_17.min1.thm12017-02-06 12:46 621  
[ ]finseq_4__1162_19.min1.thm12017-02-06 12:46 733  
[ ]finseq_4__1164_17.min1.thm12017-02-06 12:46 880  
[ ]finseq_4__1180_39.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1181_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1182_30.min1.thm12017-02-06 12:46 882  
[ ]finseq_4__1189_18.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_4__1193_19.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1199_22.min1.thm12017-02-06 12:46 774  
[ ]finseq_4__1200_19.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1202_16.min1.thm12017-02-06 12:46 347  
[ ]finseq_4__1202_16.min1.thm1.tptp2017-02-06 16:47 282  
[ ]finseq_4__1204_17.min1.thm12017-02-06 12:46 778  
[ ]finseq_4__1209_19.min1.thm12017-02-06 12:46 746  
[ ]finseq_4__1213_38.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1214_24.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__1222_44.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1223_42.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_4__1231_44.min1.thm12017-02-06 12:46 971  
[ ]finseq_4__1247_17.min1.thm12017-02-06 12:46 516  
[ ]finseq_4__1249_22.min1.thm12017-02-06 12:46 648  
[ ]finseq_4__1251_32.min1.thm12017-02-06 12:46 824  
[ ]finseq_4__1252_28.min1.thm12017-02-06 12:46 824  
[ ]finseq_4__1259_29.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1260_24.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__1261_27.min1.thm12017-02-06 12:46 769  
[ ]finseq_4__1264_18.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1267_18.min1.thm12017-02-06 12:46 923  
[ ]finseq_4__1271_50.min1.thm12017-02-06 12:46 697  
[ ]finseq_4__1277_27.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__1278_27.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1284_19.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__1285_31.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1289_30.min1.thm12017-02-06 12:46 898  
[ ]finseq_4__1290_18.min1.thm12017-02-06 12:46 626  
[ ]finseq_4__1294_27.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1301_39.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1303_17.min1.thm12017-02-06 12:46 645  
[ ]finseq_4__1304_38.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__1322_17.min1.thm12017-02-06 12:46 274  
[ ]finseq_4__1323_37.min1.thm12017-02-06 12:46 859  
[ ]finseq_4__1325_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1326_21.min1.thm12017-02-06 12:46 947  
[ ]finseq_4__1327_21.min1.thm12017-02-06 12:46 821  
[ ]finseq_4__1329_41.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1331_26.min1.thm12017-02-06 12:46 683  
[ ]finseq_4__1332_37.min1.thm12017-02-06 12:46 614  
[ ]finseq_4__1332_37.min1.thm1.tptp2017-02-06 16:47 544  
[ ]finseq_4__1333_34.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__1334_28.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1336_39.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1340_17.min1.thm12017-02-06 12:46 847  
[ ]finseq_4__1347_30.min1.thm12017-02-06 12:46 561  
[ ]finseq_4__1348_17.min1.thm12017-02-06 12:46 717  
[ ]finseq_4__1365_50.min1.thm12017-02-06 12:46 770  
[ ]finseq_4__1366_27.min1.thm12017-02-06 12:46 807  
[ ]finseq_4__1371_18.min1.thm12017-02-06 12:46 324  
[ ]finseq_4__1375_21.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__1379_21.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__1383_21.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__1387_22.min1.thm12017-02-06 12:46 648  
[ ]finseq_4__1389_29.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_4__1390_29.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__1392_20.min1.thm12017-02-06 12:46 742  
[ ]finseq_4__1393_25.min1.thm12017-02-06 12:46 945  
[ ]finseq_4__1394_21.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1395_30.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_4__1397_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1402_40.min1.thm12017-02-06 12:46 477  
[ ]finseq_4__1404_25.min1.thm12017-02-06 12:46 946  
[ ]finseq_4__1405_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1406_29.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_4__1408_20.min1.thm12017-02-06 12:46 756  
[ ]finseq_4__1409_18.min1.thm12017-02-06 12:46 626  
[ ]finseq_4__1411_30.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_4__1413_27.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1414_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1419_22.min1.thm12017-02-06 12:46 648  
[ ]finseq_4__1421_29.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_4__1422_29.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__1424_20.min1.thm12017-02-06 12:46 742  
[ ]finseq_4__1425_25.min1.thm12017-02-06 12:46 945  
[ ]finseq_4__1426_21.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1427_30.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_4__1429_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1433_29.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_4__1434_29.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__1436_20.min1.thm12017-02-06 12:46 744  
[ ]finseq_4__1437_25.min1.thm12017-02-06 12:46 946  
[ ]finseq_4__1438_21.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1439_30.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_4__1441_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1451_44.min1.thm12017-02-06 12:46 601  
[ ]finseq_4__1452_25.min1.thm12017-02-06 12:46 945  
[ ]finseq_4__1453_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1454_29.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_4__1456_20.min1.thm12017-02-06 12:46 755  
[ ]finseq_4__1457_18.min1.thm12017-02-06 12:46 626  
[ ]finseq_4__1460_30.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_4__1462_27.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1464_28.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1465_25.min1.thm12017-02-06 12:46 946  
[ ]finseq_4__1466_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1467_29.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_4__1469_20.min1.thm12017-02-06 12:46 756  
[ ]finseq_4__1472_30.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_4__1474_27.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1475_33.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1480_21.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__1484_22.min1.thm12017-02-06 12:46 648  
[ ]finseq_4__1486_29.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_4__1487_29.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__1489_20.min1.thm12017-02-06 12:46 742  
[ ]finseq_4__1490_25.min1.thm12017-02-06 12:46 945  
[ ]finseq_4__1491_21.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1492_30.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_4__1494_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1499_40.min1.thm12017-02-06 12:46 477  
[ ]finseq_4__1501_24.min1.thm12017-02-06 12:46 946  
[ ]finseq_4__1502_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1503_29.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_4__1505_20.min1.thm12017-02-06 12:46 756  
[ ]finseq_4__1506_18.min1.thm12017-02-06 12:46 626  
[ ]finseq_4__1508_29.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_4__1510_27.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1511_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1515_14.min1.thm12017-02-06 12:46 221  
[ ]finseq_4__1524_39.min1.thm12017-02-06 12:46 971  
[ ]finseq_4__1533_13.min1.thm12017-02-06 12:46 367  
[ ]finseq_4__1535_9.min1.thm12017-02-06 12:46 813  
[ ]finseq_4__1548_41.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1549_22.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1563_21.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1565_18.min1.thm12017-02-06 12:46 347  
[ ]finseq_4__1565_18.min1.thm1.tptp2017-02-06 16:47 282  
[ ]finseq_4__1568_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1577_21.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1579_18.min1.thm12017-02-06 12:46 347  
[ ]finseq_4__1579_18.min1.thm1.tptp2017-02-06 16:47 282  
[ ]finseq_4__1582_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1589_22.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1591_19.min1.thm12017-02-06 12:46 347  
[ ]finseq_4__1591_19.min1.thm1.tptp2017-02-06 16:47 282  
[ ]finseq_4__1595_22.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1596_25.min1.thm12017-02-06 12:46 861  
[ ]finseq_4__1611_48.min1.thm12017-02-06 12:46 755  
[ ]finseq_4__1613_55.min1.thm12017-02-06 12:46 766  
[ ]finseq_4__1613_55.min1.thm1.tptp2017-02-06 16:47 724  
[ ]finseq_4__1616_66.min1.thm12017-02-06 12:46 754  
[ ]finseq_4__1627_17.min1.thm12017-02-06 12:46 181  
[ ]finseq_4__1637_25.min1.thm12017-02-06 12:46 901  
[ ]finseq_4__1643_45.min1.thm12017-02-06 12:46 665  
[ ]finseq_4__1644_15.min1.thm12017-02-06 12:46 291  
[ ]finseq_4__1648_19.min1.thm12017-02-06 12:46 251  
[ ]finseq_4__1651_27.min1.thm12017-02-06 12:46 499  
[ ]finseq_4__1655_36.min1.thm12017-02-06 12:46 493  
[ ]finseq_4__1658_25.min1.thm12017-02-06 12:46 619  
[ ]finseq_4__1660_34.min1.thm12017-02-06 12:46 919  
[ ]finseq_4__1663_38.min1.thm12017-02-06 12:46 611  
[ ]finseq_4__1663_38.min1.thm1.tptp2017-02-06 16:47 541  
[ ]finseq_4__1665_34.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1667_27.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__1670_20.min1.thm12017-02-06 12:46 298  
[ ]finseq_4__1679_34.min1.thm12017-02-06 12:46 544  
[ ]finseq_4__1681_25.min1.thm12017-02-06 12:46 623  
[ ]finseq_4__1683_30.min1.thm12017-02-06 12:46 408  
[ ]finseq_4__1683_30.min1.thm1.tptp2017-02-06 16:47 327  
[ ]finseq_4__1686_50.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1687_37.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_4__1690_24.min1.thm12017-02-06 12:46 917  
[ ]finseq_4__1691_43.min1.thm12017-02-06 12:46 820  
[ ]finseq_4__1692_29.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1696_45.min1.thm12017-02-06 12:46 713  
[ ]finseq_4__1697_29.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__1701_26.min1.thm12017-02-06 12:46 494  
[ ]finseq_4__1712_13.min1.thm12017-02-06 12:46 794  
[ ]finseq_4__1713_26.min1.thm12017-02-06 12:46 625  
[ ]finseq_4__1716_9.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1718_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1726_17.min1.thm12017-02-06 12:46 181  
[ ]finseq_4__1739_27.min1.thm12017-02-06 12:46 917  
[ ]finseq_4__1741_23.min1.thm12017-02-06 12:46 612  
[ ]finseq_4__1743_39.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1744_21.min1.thm12017-02-06 12:46 504  
[ ]finseq_4__1744_21.min1.thm1.tptp2017-02-06 16:47 427  
[ ]finseq_4__1745_31.min1.thm12017-02-06 12:46 566  
[ ]finseq_4__1747_28.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1748_23.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1750_30.min1.thm12017-02-06 12:46 549  
[ ]finseq_4__1750_30.min1.thm1.tptp2017-02-06 16:47 484  
[ ]finseq_4__1756_27.min1.thm12017-02-06 12:46 550  
[ ]finseq_4__1757_25.min1.thm12017-02-06 12:46 460  
[ ]finseq_4__1757_25.min1.thm1.tptp2017-02-06 16:47 395  
[ ]finseq_4__1759_23.min1.thm12017-02-06 12:46 966  
[ ]finseq_4__1760_24.min1.thm12017-02-06 12:46 963  
[ ]finseq_4__1761_31.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1762_39.min1.thm12017-02-06 12:46 869  
[ ]finseq_4__1764_33.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__1765_46.min1.thm12017-02-06 12:46 786  
[ ]finseq_4__1773_29.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1778_30.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__1782_33.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__1784_28.min1.thm12017-02-06 12:46 818  
[ ]finseq_4__1786_45.min1.thm12017-02-06 12:46 829  
[ ]finseq_4__1787_37.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1788_19.min1.thm12017-02-06 12:46 502  
[ ]finseq_4__1788_19.min1.thm1.tptp2017-02-06 16:47 425  
[ ]finseq_4__1797_15.min1.thm12017-02-06 12:46 794  
[ ]finseq_4__1798_16.min1.thm12017-02-06 12:46 621  
[ ]finseq_4__1801_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1811_22.min1.thm12017-02-06 12:46 653  
[ ]finseq_4__1814_20.min1.thm12017-02-06 12:46 786  
[ ]finseq_4__1815_46.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__1816_20.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1817_15.min1.thm12017-02-06 12:46 695  
[ ]finseq_4__1818_20.min1.thm12017-02-06 12:46 786  
[ ]finseq_4__1819_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1820_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1830_25.min1.thm12017-02-06 12:46 660  
[ ]finseq_4__1833_22.min1.thm12017-02-06 12:46 452  
[ ]finseq_4__1833_22.min1.thm1.tptp2017-02-06 16:47 395  
[ ]finseq_4__1834_38.min1.thm12017-02-06 12:46 860  
[ ]finseq_4__1835_32.min1.thm12017-02-06 12:46 748  
[ ]finseq_4__1837_29.min1.thm12017-02-06 12:46 548  
[ ]finseq_4__1838_36.min1.thm12017-02-06 12:46 665  
[ ]finseq_4__1841_22.min1.thm12017-02-06 12:46 453  
[ ]finseq_4__1841_22.min1.thm1.tptp2017-02-06 16:47 396  
[ ]finseq_4__1842_25.min1.thm12017-02-06 12:46 785  
[ ]finseq_4__1843_38.min1.thm12017-02-06 12:46 862  
[ ]finseq_4__1844_32.min1.thm12017-02-06 12:46 751  
[ ]finseq_4__1845_36.min1.thm12017-02-06 12:46 667  
[ ]finseq_4__1846_35.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1847_15.min1.thm12017-02-06 12:46 957  
[ ]finseq_4__1849_32.min1.thm12017-02-06 12:46 968  
[ ]finseq_4__1850_15.min1.thm12017-02-06 12:46 957  
[ ]finseq_4__1852_13.min1.thm12017-02-06 12:46 191  
[ ]finseq_4__1855_18.min1.thm12017-02-06 12:46 903  
[ ]finseq_4__1859_27.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1861_23.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1862_21.min1.thm12017-02-06 12:46 635  
[ ]finseq_4__1863_24.min1.thm12017-02-06 12:46 567  
[ ]finseq_4__1864_30.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1865_33.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1866_33.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1869_24.min1.thm12017-02-06 12:46 792  
[ ]finseq_4__1870_54.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_4__1871_25.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__1873_19.min1.thm12017-02-06 12:46 702  
[ ]finseq_4__1874_24.min1.thm12017-02-06 12:46 792  
[ ]finseq_4__1877_36.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__1878_30.min1.thm12017-02-06 12:46 848  
[ ]finseq_4__1879_33.min1.thm12017-02-06 12:46 815  
[ ]finseq_4__1882_39.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1884_27.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__1889_14.min1.thm12017-02-06 12:46 214  
[ ]finseq_4__1898_45.min1.thm12017-02-06 12:46 864  
[ ]finseq_4__1899_38.min1.thm12017-02-06 12:46 687  
[ ]finseq_4__1900_43.min1.thm12017-02-06 12:46 903  
[ ]finseq_4__1901_42.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1902_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1904_49.min1.thm12017-02-06 12:46 825  
[ ]finseq_4__1905_36.min1.thm12017-02-06 12:46 664  
[ ]finseq_4__1907_40.min1.thm12017-02-06 12:46 949  
[ ]finseq_4__1909_27.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1910_17.min1.thm12017-02-06 12:46 868  
[ ]finseq_4__1929_25.min1.thm12017-02-06 12:46 660  
[ ]finseq_4__1932_22.min1.thm12017-02-06 12:46 452  
[ ]finseq_4__1932_22.min1.thm1.tptp2017-02-06 16:47 395  
[ ]finseq_4__1933_38.min1.thm12017-02-06 12:46 860  
[ ]finseq_4__1934_32.min1.thm12017-02-06 12:46 748  
[ ]finseq_4__1936_29.min1.thm12017-02-06 12:46 548  
[ ]finseq_4__1939_22.min1.thm12017-02-06 12:46 453  
[ ]finseq_4__1939_22.min1.thm1.tptp2017-02-06 16:47 396  
[ ]finseq_4__1940_25.min1.thm12017-02-06 12:46 785  
[ ]finseq_4__1941_38.min1.thm12017-02-06 12:46 862  
[ ]finseq_4__1942_32.min1.thm12017-02-06 12:46 751  
[ ]finseq_4__1943_36.min1.thm12017-02-06 12:46 667  
[ ]finseq_4__1944_39.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1945_15.min1.thm12017-02-06 12:46 957  
[ ]finseq_4__1947_32.min1.thm12017-02-06 12:46 900  
[ ]finseq_4__1948_15.min1.thm12017-02-06 12:46 957  
[ ]finseq_4__1949_11.min1.thm12017-02-06 12:46 189  
[ ]finseq_4__1952_16.min1.thm12017-02-06 12:46 793  
[ ]finseq_4__1956_22.min1.thm12017-02-06 12:46 565  
[ ]finseq_4__1957_28.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1958_31.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1959_31.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1962_22.min1.thm12017-02-06 12:46 790  
[ ]finseq_4__1963_52.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_4__1964_23.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__1965_28.min1.thm12017-02-06 12:46 818  
[ ]finseq_4__1966_26.min1.thm12017-02-06 12:46 826  
[ ]finseq_4__1967_26.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__1968_25.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_4__1969_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__1971_22.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__1972_22.min1.thm12017-02-06 12:46 924  
[ ]finseq_4__1973_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1974_34.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__1975_28.min1.thm12017-02-06 12:46 846  
[ ]finseq_4__1976_31.min1.thm12017-02-06 12:46 813  
[ ]finseq_4__1979_19.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__1985_36.min1.thm12017-02-06 12:46 580  
[ ]finseq_4__1997_16.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__1998_73.min1.thm12017-02-06 12:46 559  
[ ]finseq_4__1998_73.min1.thm1.tptp2017-02-06 16:47 502  
[ ]finseq_4__2001_36.min1.thm12017-02-06 12:46 821  
[ ]finseq_4__2003_27.min1.thm12017-02-06 12:46 556  
[ ]finseq_4__2004_15.min1.thm12017-02-06 12:46 826  
[ ]finseq_4__2005_26.min1.thm12017-02-06 12:46 484  
[ ]finseq_4__2015_16.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__2018_22.min1.thm12017-02-06 12:46 827  
[ ]finseq_4__2021_36.min1.thm12017-02-06 12:46 441  
[ ]finseq_4__2021_36.min1.thm1.tptp2017-02-06 16:47 376  
[ ]finseq_4__2022_19.min1.thm12017-02-06 12:46 965  
[ ]finseq_4__2024_26.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2036_36.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__2055_14.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__2068_14.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__2086_14.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__2099_33.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__2101_21.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__2102_21.min1.thm12017-02-06 12:46 864  
[ ]finseq_4__2107_14.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_4__2120_22.min1.thm12017-02-06 12:46 452  
[ ]finseq_4__2120_22.min1.thm1.tptp2017-02-06 16:47 395  
[ ]finseq_4__2121_42.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2122_15.min1.thm12017-02-06 12:46 687  
[ ]finseq_4__2124_16.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2125_40.min1.thm12017-02-06 12:46 719  
[ ]finseq_4__2126_20.min1.thm12017-02-06 12:46 570  
[ ]finseq_4__2127_20.min1.thm12017-02-06 12:46 665  
[ ]finseq_4__2128_14.min1.thm12017-02-06 12:46 573  
[ ]finseq_4__2137_30.min1.thm12017-02-06 12:46 530  
[ ]finseq_4__2138_17.min1.thm12017-02-06 12:46 475  
[ ]finseq_4__2147_13.min1.thm12017-02-06 12:46 131  
[ ]finseq_4__2151_13.min1.thm12017-02-06 12:46 131  
[ ]finseq_4__2157_11.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__2160_11.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_4__2166_11.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__2169_11.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__2199_42.min1.thm12017-02-06 12:46 694  
[ ]finseq_4__2201_52.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_4__2202_28.min1.thm12017-02-06 12:46 919  
[ ]finseq_4__2203_13.min1.thm12017-02-06 12:46 890  
[ ]finseq_4__2212_48.min1.thm12017-02-06 12:46 846  
[ ]finseq_4__2214_48.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__2215_63.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_4__2217_31.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__2218_58.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__2219_31.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2233_49.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__2234_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2235_14.min1.thm12017-02-06 12:46 860  
[ ]finseq_4__2236_9.min1.thm12017-02-06 12:46 873  
[ ]finseq_4__2237_22.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2238_23.min1.thm12017-02-06 12:46 501  
[ ]finseq_4__2238_23.min1.thm1.tptp2017-02-06 16:47 443  
[ ]finseq_4__2240_13.min1.thm12017-02-06 12:46 665  
[ ]finseq_4__2241_18.min1.thm12017-02-06 12:46 501  
[ ]finseq_4__2241_18.min1.thm1.tptp2017-02-06 16:47 443  
[ ]finseq_4__2243_13.min1.thm12017-02-06 12:46 665  
[ ]finseq_4__2244_18.min1.thm12017-02-06 12:46 501  
[ ]finseq_4__2244_18.min1.thm1.tptp2017-02-06 16:47 443  
[ ]finseq_4__2246_13.min1.thm12017-02-06 12:46 665  
[ ]finseq_4__2247_15.min1.thm12017-02-06 12:46 253  
[ ]finseq_4__2249_22.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__2250_35.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__2251_35.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__2253_14.min1.thm12017-02-06 12:46 772  
[ ]finseq_4__2263_28.min1.thm12017-02-06 12:46 648  
[ ]finseq_4__2268_16.min1.thm12017-02-06 12:46 453  
[ ]finseq_4__2268_16.min1.thm1.tptp2017-02-06 16:47 396  
[ ]finseq_4__2271_21.min1.thm12017-02-06 12:46 855  
[ ]finseq_4__2275_21.min1.thm12017-02-06 12:46 855  
[ ]finseq_4__2279_21.min1.thm12017-02-06 12:46 855  
[ ]finseq_4__2287_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__2289_13.min1.thm12017-02-06 12:46 323  
[ ]finseq_4__2289_13.min1.thm1.tptp2017-02-06 16:47 258  
[ ]finseq_4__2290_50.min1.thm12017-02-06 12:46 809  
[ ]finseq_4__2291_19.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_4__2293_21.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_4__2294_37.min1.thm12017-02-06 12:46 706  
[ ]finseq_4__2295_46.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2310_15.min1.thm12017-02-06 12:46 252  
[ ]finseq_4__2312_22.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__2316_22.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__2317_48.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__2318_43.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__2319_25.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__2320_14.min1.thm12017-02-06 12:46 860  
[ ]finseq_4__2321_9.min1.thm12017-02-06 12:46 873  
[ ]finseq_4__2323_23.min1.thm12017-02-06 12:46 947  
[ ]finseq_4__2325_13.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__2326_18.min1.thm12017-02-06 12:46 947  
[ ]finseq_4__2328_13.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__2329_18.min1.thm12017-02-06 12:46 948  
[ ]finseq_4__2331_13.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__2332_18.min1.thm12017-02-06 12:46 948  
[ ]finseq_4__2334_13.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__2335_35.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_4__2336_34.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__2337_20.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_4__2338_14.min1.thm12017-02-06 12:46 772  
[ ]finseq_4__2349_18.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__2354_16.min1.thm12017-02-06 12:46 508  
[ ]finseq_4__2354_16.min1.thm1.tptp2017-02-06 16:47 454  
[ ]finseq_4__2357_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__2361_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__2365_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__2369_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__2376_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__2378_13.min1.thm12017-02-06 12:46 323  
[ ]finseq_4__2378_13.min1.thm1.tptp2017-02-06 16:47 258  
[ ]finseq_4__2379_38.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__2380_19.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_4__2382_21.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_4__2383_25.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__2384_34.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__2386_27.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__2399_38.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__2401_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2412_24.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__2413_24.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__2416_14.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2430_25.min1.thm12017-02-06 12:46 131  
[ ]finseq_4__2435_42.min1.thm12017-02-06 12:46 558  
[ ]finseq_4__2437_14.min1.thm12017-02-06 12:46 854  
[ ]finseq_4__2438_25.min1.thm12017-02-06 12:46 133  
[ ]finseq_4__2440_28.min1.thm12017-02-06 12:46 936  
[ ]finseq_4__2445_32.min1.thm12017-02-06 12:46 835  
[ ]finseq_4__2446_39.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2448_15.min1.thm12017-02-06 12:46 371  
[ ]finseq_4__2453_18.min1.thm12017-02-06 12:46 771  
[ ]finseq_4__2454_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__2466_42.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__2467_32.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__2468_24.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__2471_67.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2476_30.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__2483_15.min1.thm12017-02-06 12:46 380  
[ ]finseq_4__2486_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__2487_13.min1.thm12017-02-06 12:46 255  
[ ]finseq_4__2492_19.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__2494_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__2498_27.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_4__2500_27.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__2507_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__2508_30.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_4__2509_19.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__2510_29.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2524_49.min1.thm12017-02-06 12:46 725  
[ ]finseq_4__2539_19.min1.thm12017-02-06 12:46 379  
[ ]finseq_4__2543_20.min1.thm12017-02-06 12:46 579  
[ ]finseq_4__2544_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__2568_12.min1.thm12017-02-06 12:46 770  
[ ]finseq_4__2569_35.min1.thm12017-02-06 12:46 456  
[ ]finseq_4__2571_17.min1.thm12017-02-06 12:46 633  
[ ]finseq_4__2573_14.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_4__2586_18.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__2589_35.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__2592_14.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__2612_39.min1.thm12017-02-06 12:46 484  
[ ]finseq_4__2617_27.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__2620_21.min1.thm12017-02-06 12:46 959  
[ ]finseq_4__2631_38.min1.thm12017-02-06 12:46 470  
[ ]finseq_4__2636_25.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__2639_20.min1.thm12017-02-06 12:46 947  
[ ]finseq_4__2650_11.min1.thm12017-02-06 12:46 556  
[ ]finseq_4__2660_15.min1.thm12017-02-06 12:46 643  
[ ]finseq_4__2675_37.min1.thm12017-02-06 12:46 920  
[ ]finseq_4__2677_15.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__2678_14.min1.thm12017-02-06 12:46 887  
[ ]finseq_4__2679_35.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__2681_16.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2688_37.min1.thm12017-02-06 12:46 921  
[ ]finseq_4__2692_35.min1.thm12017-02-06 12:46 920  
[ ]finseq_4__2694_14.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__2695_46.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__2707_70.min1.thm12017-02-06 12:46 443  
[ ]finseq_4__2707_70.min1.thm1.tptp2017-02-06 16:47 389  
[ ]finseq_4__2712_40.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2716_37.min1.thm12017-02-06 12:46 921  
[ ]finseq_4__2718_15.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__2734_36.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2740_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_4__2745_41.min1.thm12017-02-06 12:46 577  
[ ]finseq_4__2747_52.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__2758_70.min1.thm12017-02-06 12:46 443  
[ ]finseq_4__2758_70.min1.thm1.tptp2017-02-06 16:47 389  
[ ]finseq_4__2762_18.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_4__2767_46.min1.thm12017-02-06 12:46 928  
[ ]finseq_4__2769_16.min1.thm12017-02-06 12:46 953  
[ ]finseq_4__2770_43.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__2771_17.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__2774_43.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_4__2775_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_4__2778_19.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_4__2780_17.min1.thm12017-02-06 12:46 836  
[ ]finseq_4__2781_21.min1.thm12017-02-06 12:46 446  
[ ]finseq_4__2787_41.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__2793_12.min1.thm12017-02-06 12:46 366  
[ ]finseq_4__2793_12.min1.thm1.tptp2017-02-06 16:47 288  
[ ]finseq_4__2798_47.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__2799_16.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__2800_21.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__2809_46.min1.thm12017-02-06 12:46 932  
[ ]finseq_4__2811_15.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_4__2812_23.min1.thm12017-02-06 12:46 704  
[ ]finseq_4__2817_15.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__2818_42.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_4__2819_16.min1.thm12017-02-06 12:46 521  
[ ]finseq_4__2819_16.min1.thm1.tptp2017-02-06 16:47 444  
[ ]finseq_4__2820_21.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_4__2822_17.min1.thm12017-02-06 12:46 424  
[ ]finseq_4__2822_17.min1.thm1.tptp2017-02-06 16:47 372  
[ ]finseq_4__2829_11.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_4__2837_14.min1.thm12017-02-06 12:46 1.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80