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

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