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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_2__47_60.min1.thm12017-02-06 12:46 697  
[ ]finseq_2__52_18.min1.thm12017-02-06 12:46 539  
[ ]finseq_2__53_76.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__55_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__62_20.min1.thm12017-02-06 12:46 665  
[ ]finseq_2__71_20.min1.thm12017-02-06 12:46 665  
[ ]finseq_2__78_11.min1.thm12017-02-06 12:46 541  
[ ]finseq_2__81_19.min1.thm12017-02-06 12:46 890  
[ ]finseq_2__85_35.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__86_19.min1.thm12017-02-06 12:46 688  
[ ]finseq_2__91_62.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_2__101_18.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__103_33.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__104_24.min1.thm12017-02-06 12:46 448  
[ ]finseq_2__105_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__111_13.min1.thm12017-02-06 12:46 431  
[ ]finseq_2__112_27.min1.thm12017-02-06 12:46 699  
[ ]finseq_2__113_14.min1.thm12017-02-06 12:46 882  
[ ]finseq_2__124_42.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__125_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__132_38.min1.thm12017-02-06 12:46 743  
[ ]finseq_2__133_14.min1.thm12017-02-06 12:46 892  
[ ]finseq_2__143_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__144_15.min1.thm12017-02-06 12:46 615  
[ ]finseq_2__145_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__157_38.min1.thm12017-02-06 12:46 666  
[ ]finseq_2__158_17.min1.thm12017-02-06 12:46 477  
[ ]finseq_2__158_17.min1.thm1.tptp2017-02-06 16:47 409  
[ ]finseq_2__163_54.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__164_29.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__165_22.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__166_17.min1.thm12017-02-06 12:46 334  
[ ]finseq_2__172_28.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__173_17.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_2__178_58.min1.thm12017-02-06 12:46 863  
[ ]finseq_2__179_40.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__180_32.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__181_25.min1.thm12017-02-06 12:46 401  
[ ]finseq_2__182_20.min1.thm12017-02-06 12:46 382  
[ ]finseq_2__188_34.min1.thm12017-02-06 12:46 892  
[ ]finseq_2__195_24.min1.thm12017-02-06 12:46 678  
[ ]finseq_2__197_17.min1.thm12017-02-06 12:46 922  
[ ]finseq_2__203_37.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__204_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__212_60.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__213_56.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__218_48.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_2__227_14.min1.thm12017-02-06 12:46 850  
[ ]finseq_2__229_18.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__235_19.min1.thm12017-02-06 12:46 689  
[ ]finseq_2__239_23.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__241_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__242_22.min1.thm12017-02-06 12:46 861  
[ ]finseq_2__243_23.min1.thm12017-02-06 12:46 970  
[ ]finseq_2__245_17.min1.thm12017-02-06 12:46 776  
[ ]finseq_2__254_28.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__255_24.min1.thm12017-02-06 12:46 897  
[ ]finseq_2__256_17.min1.thm12017-02-06 12:46 734  
[ ]finseq_2__265_13.min1.thm12017-02-06 12:46 251  
[ ]finseq_2__268_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__275_17.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_2__283_37.min1.thm12017-02-06 12:46 452  
[ ]finseq_2__284_44.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__288_15.min1.thm12017-02-06 12:46 530  
[ ]finseq_2__289_20.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__292_16.min1.thm12017-02-06 12:46 279  
[ ]finseq_2__304_50.min1.thm12017-02-06 12:46 872  
[ ]finseq_2__305_17.min1.thm12017-02-06 12:46 906  
[ ]finseq_2__315_22.min1.thm12017-02-06 12:46 863  
[ ]finseq_2__320_22.min1.thm12017-02-06 12:46 636  
[ ]finseq_2__321_16.min1.thm12017-02-06 12:46 576  
[ ]finseq_2__325_21.min1.thm12017-02-06 12:46 326  
[ ]finseq_2__325_21.min1.thm1.tptp2017-02-06 16:47 244  
[ ]finseq_2__327_16.min1.thm12017-02-06 12:46 573  
[ ]finseq_2__346_18.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_2__347_24.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__351_17.min1.thm12017-02-06 12:46 187  
[ ]finseq_2__354_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__355_20.min1.thm12017-02-06 12:46 388  
[ ]finseq_2__358_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__367_16.min1.thm12017-02-06 12:46 621  
[ ]finseq_2__368_21.min1.thm12017-02-06 12:46 559  
[ ]finseq_2__375_35.min1.thm12017-02-06 12:46 452  
[ ]finseq_2__376_18.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__378_23.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__379_15.min1.thm12017-02-06 12:46 851  
[ ]finseq_2__380_17.min1.thm12017-02-06 12:46 624  
[ ]finseq_2__387_15.min1.thm12017-02-06 12:46 621  
[ ]finseq_2__388_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__396_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__403_35.min1.thm12017-02-06 12:46 452  
[ ]finseq_2__414_26.min1.thm12017-02-06 12:46 835  
[ ]finseq_2__415_30.min1.thm12017-02-06 12:46 931  
[ ]finseq_2__416_17.min1.thm12017-02-06 12:46 963  
[ ]finseq_2__428_28.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__430_21.min1.thm12017-02-06 12:46 897  
[ ]finseq_2__431_19.min1.thm12017-02-06 12:46 712  
[ ]finseq_2__432_27.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__433_31.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__434_17.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_2__446_44.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_2__448_22.min1.thm12017-02-06 12:46 446  
[ ]finseq_2__448_22.min1.thm1.tptp2017-02-06 16:47 375  
[ ]finseq_2__449_17.min1.thm12017-02-06 12:46 861  
[ ]finseq_2__459_11.min1.thm12017-02-06 12:46 189  
[ ]finseq_2__461_19.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_2__462_16.min1.thm12017-02-06 12:46 563  
[ ]finseq_2__466_17.min1.thm12017-02-06 12:46 671  
[ ]finseq_2__468_16.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__470_19.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__480_27.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_2__489_58.min1.thm12017-02-06 12:46 666  
[ ]finseq_2__490_20.min1.thm12017-02-06 12:46 953  
[ ]finseq_2__491_24.min1.thm12017-02-06 12:46 817  
[ ]finseq_2__492_50.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__493_37.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__495_14.min1.thm12017-02-06 12:46 907  
[ ]finseq_2__496_33.min1.thm12017-02-06 12:46 901  
[ ]finseq_2__497_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__498_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__510_15.min1.thm12017-02-06 12:46 904  
[ ]finseq_2__511_44.min1.thm12017-02-06 12:46 774  
[ ]finseq_2__512_14.min1.thm12017-02-06 12:46 896  
[ ]finseq_2__514_16.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__515_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__516_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__518_17.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__528_15.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__529_44.min1.thm12017-02-06 12:46 774  
[ ]finseq_2__530_14.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__532_16.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__533_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__534_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__537_19.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__539_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__540_13.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__542_17.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_2__552_15.min1.thm12017-02-06 12:46 726  
[ ]finseq_2__553_44.min1.thm12017-02-06 12:46 774  
[ ]finseq_2__554_14.min1.thm12017-02-06 12:46 711  
[ ]finseq_2__556_16.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__557_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__558_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__561_15.min1.thm12017-02-06 12:46 726  
[ ]finseq_2__562_15.min1.thm12017-02-06 12:46 727  
[ ]finseq_2__563_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__564_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__567_19.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__568_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__570_17.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_2__579_36.min1.thm12017-02-06 12:46 756  
[ ]finseq_2__581_20.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__583_45.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_2__584_28.min1.thm12017-02-06 12:46 496  
[ ]finseq_2__584_28.min1.thm1.tptp2017-02-06 16:47 425  
[ ]finseq_2__585_24.min1.thm12017-02-06 12:46 899  
[ ]finseq_2__586_26.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__587_17.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__592_16.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_2__597_22.min1.thm12017-02-06 12:46 784  
[ ]finseq_2__607_28.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__608_24.min1.thm12017-02-06 12:46 899  
[ ]finseq_2__610_23.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__611_40.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__619_22.min1.thm12017-02-06 12:46 784  
[ ]finseq_2__627_18.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__634_22.min1.thm12017-02-06 12:46 784  
[ ]finseq_2__648_17.min1.thm12017-02-06 12:46 674  
[ ]finseq_2__648_17.min1.thm1.tptp2017-02-06 16:47 603  
[ ]finseq_2__650_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__662_22.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__670_35.min1.thm12017-02-06 12:46 452  
[ ]finseq_2__671_15.min1.thm12017-02-06 12:46 420  
[ ]finseq_2__672_42.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__680_14.min1.thm12017-02-06 12:46 922  
[ ]finseq_2__688_37.min1.thm12017-02-06 12:46 972  
[ ]finseq_2__695_11.min1.thm12017-02-06 12:46 607  
[ ]finseq_2__702_11.min1.thm12017-02-06 12:46 187  
[ ]finseq_2__709_36.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_2__710_19.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__717_12.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__718_43.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__727_18.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_2__728_40.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_2__729_24.min1.thm12017-02-06 12:46 784  
[ ]finseq_2__732_15.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__734_25.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__738_43.min1.thm12017-02-06 12:46 553  
[ ]finseq_2__743_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__748_22.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_2__758_35.min1.thm12017-02-06 12:46 452  
[ ]finseq_2__759_22.min1.thm12017-02-06 12:46 784  
[ ]finseq_2__760_24.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__761_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__765_33.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__771_35.min1.thm12017-02-06 12:46 452  
[ ]finseq_2__772_18.min1.thm12017-02-06 12:46 610  
[ ]finseq_2__773_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__779_14.min1.thm12017-02-06 12:46 641  
[ ]finseq_2__786_11.min1.thm12017-02-06 12:46 871  
[ ]finseq_2__800_69.min1.thm12017-02-06 12:46 624  
[ ]finseq_2__804_14.min1.thm12017-02-06 12:46 792  
[ ]finseq_2__809_12.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__810_44.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_2__811_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__819_18.min1.thm12017-02-06 12:46 2.6K 
[ ]finseq_2__820_40.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_2__822_13.min1.thm12017-02-06 12:46 189  
[ ]finseq_2__826_26.min1.thm12017-02-06 12:46 866  
[ ]finseq_2__831_26.min1.thm12017-02-06 12:46 790  
[ ]finseq_2__833_26.min1.thm12017-02-06 12:46 752  
[ ]finseq_2__834_25.min1.thm12017-02-06 12:46 808  
[ ]finseq_2__839_17.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__845_28.min1.thm12017-02-06 12:46 700  
[ ]finseq_2__845_48.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__846_17.min1.thm12017-02-06 12:46 428  
[ ]finseq_2__846_17.min1.thm1.tptp2017-02-06 16:47 355  
[ ]finseq_2__852_28.min1.thm12017-02-06 12:46 857  
[ ]finseq_2__852_48.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_2__853_23.min1.thm12017-02-06 12:46 734  
[ ]finseq_2__854_16.min1.thm12017-02-06 12:46 786  
[ ]finseq_2__862_20.min1.thm12017-02-06 12:46 966  
[ ]finseq_2__863_17.min1.thm12017-02-06 12:46 819  
[ ]finseq_2__874_42.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__875_32.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_2__886_31.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__887_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__897_31.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__907_18.min1.thm12017-02-06 12:46 542  
[ ]finseq_2__909_26.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__910_17.min1.thm12017-02-06 12:46 552  
[ ]finseq_2__911_75.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__914_35.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__923_32.min1.thm12017-02-06 12:46 849  
[ ]finseq_2__924_36.min1.thm12017-02-06 12:46 965  
[ ]finseq_2__925_17.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_2__934_32.min1.thm12017-02-06 12:46 849  
[ ]finseq_2__935_36.min1.thm12017-02-06 12:46 965  
[ ]finseq_2__945_18.min1.thm12017-02-06 12:46 542  
[ ]finseq_2__947_26.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__948_17.min1.thm12017-02-06 12:46 552  
[ ]finseq_2__949_75.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__952_35.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__961_32.min1.thm12017-02-06 12:46 849  
[ ]finseq_2__962_36.min1.thm12017-02-06 12:46 965  
[ ]finseq_2__963_17.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_2__972_32.min1.thm12017-02-06 12:46 849  
[ ]finseq_2__973_36.min1.thm12017-02-06 12:46 965  
[ ]finseq_2__985_29.min1.thm12017-02-06 12:46 761  
[ ]finseq_2__986_37.min1.thm12017-02-06 12:46 543  
[ ]finseq_2__986_37.min1.thm1.tptp2017-02-06 16:47 475  
[ ]finseq_2__987_34.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__989_30.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_2__990_15.min1.thm12017-02-06 12:46 883  
[ ]finseq_2__991_28.min1.thm12017-02-06 12:46 567  
[ ]finseq_2__992_17.min1.thm12017-02-06 12:46 849  
[ ]finseq_2__1002_29.min1.thm12017-02-06 12:46 761  
[ ]finseq_2__1003_37.min1.thm12017-02-06 12:46 543  
[ ]finseq_2__1003_37.min1.thm1.tptp2017-02-06 16:47 475  
[ ]finseq_2__1004_34.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1005_17.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_2__1020_17.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_2__1031_15.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1045_27.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1047_26.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1050_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1051_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1065_27.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1067_26.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1070_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1071_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1074_19.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1076_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1077_25.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1079_17.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_2__1091_27.min1.thm12017-02-06 12:46 862  
[ ]finseq_2__1093_26.min1.thm12017-02-06 12:46 832  
[ ]finseq_2__1096_21.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1097_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1100_27.min1.thm12017-02-06 12:46 862  
[ ]finseq_2__1101_27.min1.thm12017-02-06 12:46 863  
[ ]finseq_2__1102_19.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1103_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1106_19.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1107_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1109_17.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_2__1119_16.min1.thm12017-02-06 12:46 621  
[ ]finseq_2__1120_35.min1.thm12017-02-06 12:46 875  
[ ]finseq_2__1121_32.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__1123_31.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_2__1124_15.min1.thm12017-02-06 12:46 883  
[ ]finseq_2__1125_29.min1.thm12017-02-06 12:46 567  
[ ]finseq_2__1126_17.min1.thm12017-02-06 12:46 849  
[ ]finseq_2__1135_16.min1.thm12017-02-06 12:46 621  
[ ]finseq_2__1136_35.min1.thm12017-02-06 12:46 875  
[ ]finseq_2__1137_32.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__1138_17.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_2__1146_16.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1148_14.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1158_16.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1160_14.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1163_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1164_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1176_16.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1178_14.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1181_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1182_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1185_19.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1187_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1188_14.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1190_17.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_2__1200_16.min1.thm12017-02-06 12:46 726  
[ ]finseq_2__1202_14.min1.thm12017-02-06 12:46 711  
[ ]finseq_2__1205_21.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1206_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1209_16.min1.thm12017-02-06 12:46 726  
[ ]finseq_2__1210_16.min1.thm12017-02-06 12:46 727  
[ ]finseq_2__1211_19.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1212_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1215_19.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1216_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1218_17.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_2__1228_15.min1.thm12017-02-06 12:46 621  
[ ]finseq_2__1229_36.min1.thm12017-02-06 12:46 875  
[ ]finseq_2__1230_33.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__1232_32.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_2__1233_15.min1.thm12017-02-06 12:46 883  
[ ]finseq_2__1234_30.min1.thm12017-02-06 12:46 567  
[ ]finseq_2__1235_17.min1.thm12017-02-06 12:46 849  
[ ]finseq_2__1244_15.min1.thm12017-02-06 12:46 621  
[ ]finseq_2__1245_36.min1.thm12017-02-06 12:46 875  
[ ]finseq_2__1246_33.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__1247_17.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_2__1255_15.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1257_14.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1267_15.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1269_14.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1272_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1273_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1285_15.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1287_14.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1290_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1291_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1294_19.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1296_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1297_13.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1299_17.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_2__1309_15.min1.thm12017-02-06 12:46 726  
[ ]finseq_2__1311_14.min1.thm12017-02-06 12:46 711  
[ ]finseq_2__1314_21.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1315_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1318_15.min1.thm12017-02-06 12:46 726  
[ ]finseq_2__1319_15.min1.thm12017-02-06 12:46 727  
[ ]finseq_2__1320_19.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1321_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1324_19.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1325_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1327_17.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_2__1340_18.min1.thm12017-02-06 12:46 324  
[ ]finseq_2__1349_13.min1.thm12017-02-06 12:46 195  
[ ]finseq_2__1351_21.min1.thm12017-02-06 12:46 563  
[ ]finseq_2__1354_19.min1.thm12017-02-06 12:46 375  
[ ]finseq_2__1355_21.min1.thm12017-02-06 12:46 707  
[ ]finseq_2__1368_20.min1.thm12017-02-06 12:46 893  
[ ]finseq_2__1370_16.min1.thm12017-02-06 12:46 833  
[ ]finseq_2__1381_18.min1.thm12017-02-06 12:46 346  
[ ]finseq_2__1383_14.min1.thm12017-02-06 12:46 274  
[ ]finseq_2__1389_14.min1.thm12017-02-06 12:46 253  
[ ]finseq_2__1398_31.min1.thm12017-02-06 12:46 434  
[ ]finseq_2__1399_17.min1.thm12017-02-06 12:46 450  
[ ]finseq_2__1411_49.min1.thm12017-02-06 12:46 442  
[ ]finseq_2__1412_18.min1.thm12017-02-06 12:46 629  
[ ]finseq_2__1413_22.min1.thm12017-02-06 12:46 567  
[ ]finseq_2__1414_19.min1.thm12017-02-06 12:46 942  
[ ]finseq_2__1416_14.min1.thm12017-02-06 12:46 246  
[ ]finseq_2__1446_56.min1.thm12017-02-06 12:46 641  
[ ]finseq_2__1447_33.min1.thm12017-02-06 12:46 541  
[ ]finseq_2__1449_19.min1.thm12017-02-06 12:46 461  
[ ]finseq_2__1449_19.min1.thm1.tptp2017-02-06 16:47 397  
[ ]finseq_2__1460_51.min1.thm12017-02-06 12:46 850  
[ ]finseq_2__1461_16.min1.thm12017-02-06 12:46 773  
[ ]finseq_2__1462_31.min1.thm12017-02-06 12:46 767  
[ ]finseq_2__1463_16.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1475_57.min1.thm12017-02-06 12:46 724  
[ ]finseq_2__1476_19.min1.thm12017-02-06 12:46 347  
[ ]finseq_2__1485_23.min1.thm12017-02-06 12:46 753  
[ ]finseq_2__1486_59.min1.thm12017-02-06 12:46 601  
[ ]finseq_2__1487_14.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_2__1494_39.min1.thm12017-02-06 12:46 458  
[ ]finseq_2__1502_19.min1.thm12017-02-06 12:46 859  
[ ]finseq_2__1503_22.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1504_21.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__1511_23.min1.thm12017-02-06 12:46 698  
[ ]finseq_2__1512_33.min1.thm12017-02-06 12:46 650  
[ ]finseq_2__1513_41.min1.thm12017-02-06 12:46 759  
[ ]finseq_2__1515_31.min1.thm12017-02-06 12:46 915  
[ ]finseq_2__1517_17.min1.thm12017-02-06 12:46 638  
[ ]finseq_2__1517_17.min1.thm1.tptp2017-02-06 16:47 586  
[ ]finseq_2__1530_18.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1532_43.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__1533_45.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1540_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1553_16.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1554_24.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1555_49.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1556_19.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_2__1557_21.min1.thm12017-02-06 12:46 704  
[ ]finseq_2__1561_13.min1.thm12017-02-06 12:46 551  
[ ]finseq_2__1562_45.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_2__1563_31.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1570_25.min1.thm12017-02-06 12:46 800  
[ ]finseq_2__1571_14.min1.thm12017-02-06 12:46 879  
[ ]finseq_2__1572_29.min1.thm12017-02-06 12:46 747  
[ ]finseq_2__1579_23.min1.thm12017-02-06 12:46 846  
[ ]finseq_2__1580_43.min1.thm12017-02-06 12:46 452  
[ ]finseq_2__1581_14.min1.thm12017-02-06 12:46 543  
[ ]finseq_2__1587_40.min1.thm12017-02-06 12:46 532  
[ ]finseq_2__1588_17.min1.thm12017-02-06 12:46 514  
[ ]finseq_2__1602_16.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1604_19.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1605_16.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1606_24.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1607_61.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1608_24.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_2__1613_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1614_36.min1.thm12017-02-06 12:46 970  
[ ]finseq_2__1615_58.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_2__1616_31.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_2__1625_25.min1.thm12017-02-06 12:46 789  
[ ]finseq_2__1626_14.min1.thm12017-02-06 12:46 857  
[ ]finseq_2__1627_28.min1.thm12017-02-06 12:46 962  
[ ]finseq_2__1628_47.min1.thm12017-02-06 12:46 452  
[ ]finseq_2__1629_14.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1636_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1637_17.min1.thm12017-02-06 12:46 880  
[ ]finseq_2__1651_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1653_19.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1654_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1656_19.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1657_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1658_24.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1659_72.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_2__1661_28.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__1666_20.min1.thm12017-02-06 12:46 679  
[ ]finseq_2__1667_39.min1.thm12017-02-06 12:46 742  
[ ]finseq_2__1668_64.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1670_31.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__1679_25.min1.thm12017-02-06 12:46 789  
[ ]finseq_2__1680_14.min1.thm12017-02-06 12:46 857  
[ ]finseq_2__1681_28.min1.thm12017-02-06 12:46 962  
[ ]finseq_2__1682_50.min1.thm12017-02-06 12:46 453  
[ ]finseq_2__1683_14.min1.thm12017-02-06 12:46 671  
[ ]finseq_2__1690_48.min1.thm12017-02-06 12:46 774  
[ ]finseq_2__1691_17.min1.thm12017-02-06 12:46 549  
[ ]finseq_2__1706_19.min1.thm12017-02-06 12:46 962  
[ ]finseq_2__1710_46.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1711_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1716_28.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1718_21.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_2__1720_35.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1722_17.min1.thm12017-02-06 12:46 752  
[ ]finseq_2__1722_17.min1.thm1.tptp2017-02-06 16:47 700  
[ ]finseq_2__1731_25.min1.thm12017-02-06 12:46 830  
[ ]finseq_2__1732_16.min1.thm12017-02-06 12:46 939  
[ ]finseq_2__1733_32.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1735_9.min1.thm12017-02-06 12:46 731  
[ ]finseq_2__1738_46.min1.thm12017-02-06 12:46 953  
[ ]finseq_2__1739_46.min1.thm12017-02-06 12:46 953  
[ ]finseq_2__1740_13.min1.thm12017-02-06 12:46 462  
[ ]finseq_2__1741_14.min1.thm12017-02-06 12:46 731  
[ ]finseq_2__1750_74.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1751_34.min1.thm12017-02-06 12:46 825  
[ ]finseq_2__1752_14.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__1765_46.min1.thm12017-02-06 12:46 468  
[ ]finseq_2__1767_68.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_2__1775_6.min1.thm12017-02-06 12:46 453  
[ ]finseq_2__1775_6.min1.thm1.tptp2017-02-06 16:47 398  
[ ]finseq_2__1777_24.min1.thm12017-02-06 12:46 551  
[ ]finseq_2__1778_53.min1.thm12017-02-06 12:46 963  
[ ]finseq_2__1779_16.min1.thm12017-02-06 12:46 796  
[ ]finseq_2__1781_17.min1.thm12017-02-06 12:46 517  
[ ]finseq_2__1789_23.min1.thm12017-02-06 12:46 605  
[ ]finseq_2__1790_16.min1.thm12017-02-06 12:46 950  
[ ]finseq_2__1797_54.min1.thm12017-02-06 12:46 479  
[ ]finseq_2__1798_53.min1.thm12017-02-06 12:46 617  
[ ]finseq_2__1799_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1808_26.min1.thm12017-02-06 12:46 766  
[ ]finseq_2__1810_29.min1.thm12017-02-06 12:46 528  
[ ]finseq_2__1810_29.min1.thm1.tptp2017-02-06 16:47 442  
[ ]finseq_2__1811_25.min1.thm12017-02-06 12:46 610  
[ ]finseq_2__1812_20.min1.thm12017-02-06 12:46 811  
[ ]finseq_2__1819_52.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1820_17.min1.thm12017-02-06 12:46 484  
[ ]finseq_2__1820_17.min1.thm1.tptp2017-02-06 16:47 408  
[ ]finseq_2__1826_51.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1836_44.min1.thm12017-02-06 12:46 839  
[ ]finseq_2__1837_14.min1.thm12017-02-06 12:46 879  
[ ]finseq_2__1839_17.min1.thm12017-02-06 12:46 753  
[ ]finseq_2__1848_16.min1.thm12017-02-06 12:46 879  
[ ]finseq_2__1850_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1854_17.min1.thm12017-02-06 12:46 899  
[ ]finseq_2__1863_18.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1872_14.min1.thm12017-02-06 12:46 879  
[ ]finseq_2__1884_22.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1885_17.min1.thm12017-02-06 12:46 709  
[ ]finseq_2__1892_14.min1.thm12017-02-06 12:46 879  
[ ]finseq_2__1893_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__1901_15.min1.thm12017-02-06 12:46 879  
[ ]finseq_2__1903_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1904_15.min1.thm12017-02-06 12:46 879  
[ ]finseq_2__1905_24.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1918_28.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1920_17.min1.thm12017-02-06 12:46 663  
[ ]finseq_2__1930_14.min1.thm12017-02-06 12:46 879  
[ ]finseq_2__1932_17.min1.thm12017-02-06 12:46 663  
[ ]finseq_2__1942_14.min1.thm12017-02-06 12:46 879  
[ ]finseq_2__1944_17.min1.thm12017-02-06 12:46 663  
[ ]finseq_2__1955_62.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__1957_31.min1.thm12017-02-06 12:46 880  
[ ]finseq_2__1959_27.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1960_22.min1.thm12017-02-06 12:46 926  
[ ]finseq_2__1962_8.min1.thm12017-02-06 12:46 894  
[ ]finseq_2__1964_14.min1.thm12017-02-06 12:46 590  
[ ]finseq_2__1964_14.min1.thm1.tptp2017-02-06 16:47 513  
[ ]finseq_2__1974_14.min1.thm12017-02-06 12:46 879  
[ ]finseq_2__1975_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__1987_53.min1.thm12017-02-06 12:46 675  
[ ]finseq_2__1988_24.min1.thm12017-02-06 12:46 324  
[ ]finseq_2__1989_26.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1990_52.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__1991_40.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__2004_53.min1.thm12017-02-06 12:46 675  
[ ]finseq_2__2005_28.min1.thm12017-02-06 12:46 374  
[ ]finseq_2__2007_35.min1.thm12017-02-06 12:46 579  
[ ]finseq_2__2007_35.min1.thm1.tptp2017-02-06 16:47 506  
[ ]finseq_2__2008_26.min1.thm12017-02-06 12:46 793  
[ ]finseq_2__2009_28.min1.thm12017-02-06 12:46 714  
[ ]finseq_2__2010_54.min1.thm12017-02-06 12:46 809  
[ ]finseq_2__2011_40.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__2016_28.min1.thm12017-02-06 12:46 277  
[ ]finseq_2__2019_34.min1.thm12017-02-06 12:46 305  
[ ]finseq_2__2033_41.min1.thm12017-02-06 12:46 971  
[ ]finseq_2__2034_38.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__2039_23.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__2040_16.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__2042_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__2068_13.min1.thm12017-02-06 12:46 198  
[ ]finseq_2__2071_46.min1.thm12017-02-06 12:46 323  
[ ]finseq_2__2071_46.min1.thm1.tptp2017-02-06 16:47 243  
[ ]finseq_2__2073_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__2074_21.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__2080_20.min1.thm12017-02-06 12:46 620  
[ ]finseq_2__2080_20.min1.thm1.tptp2017-02-06 16:47 565  
[ ]finseq_2__2085_12.min1.thm12017-02-06 12:46 421  
[ ]finseq_2__2087_14.min1.thm12017-02-06 12:46 672  
[ ]finseq_2__2087_14.min1.thm1.tptp2017-02-06 16:47 625  
[ ]finseq_2__2099_18.min1.thm12017-02-06 12:46 827  
[ ]finseq_2__2108_14.min1.thm12017-02-06 12:46 637  
[ ]finseq_2__2116_54.min1.thm12017-02-06 12:46 597  
[ ]finseq_2__2118_53.min1.thm12017-02-06 12:46 715  
[ ]finseq_2__2119_28.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__2132_35.min1.thm12017-02-06 12:46 942  
[ ]finseq_2__2137_31.min1.thm12017-02-06 12:46 637  
[ ]finseq_2__2138_17.min1.thm12017-02-06 12:46 456  
[ ]finseq_2__2139_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__2147_15.min1.thm12017-02-06 12:46 673  
[ ]finseq_2__2148_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__2156_31.min1.thm12017-02-06 12:46 712  
[ ]finseq_2__2157_17.min1.thm12017-02-06 12:46 456  
[ ]finseq_2__2170_13.min1.thm12017-02-06 12:46 501  
[ ]finseq_2__2170_13.min1.thm1.tptp2017-02-06 16:47 445  
[ ]finseq_2__2172_33.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__2173_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__2174_16.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_2__2175_31.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_2__2180_34.min1.thm12017-02-06 12:46 312  
[ ]finseq_2__2180_34.min1.thm1.tptp2017-02-06 16:47 232  
[ ]finseq_2__2181_33.min1.thm12017-02-06 12:46 399  
[ ]finseq_2__2183_17.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_2__2192_50.min1.thm12017-02-06 12:46 794  
[ ]finseq_2__2193_16.min1.thm12017-02-06 12:46 842  
[ ]finseq_2__2194_17.min1.thm12017-02-06 12:46 941  
[ ]finseq_2__2207_13.min1.thm12017-02-06 12:46 501  
[ ]finseq_2__2207_13.min1.thm1.tptp2017-02-06 16:47 445  
[ ]finseq_2__2209_39.min1.thm12017-02-06 12:46 793  
[ ]finseq_2__2210_30.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__2211_18.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_2__2212_42.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_2__2218_34.min1.thm12017-02-06 12:46 312  
[ ]finseq_2__2218_34.min1.thm1.tptp2017-02-06 16:47 232  
[ ]finseq_2__2219_35.min1.thm12017-02-06 12:46 527  
[ ]finseq_2__2221_17.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_2__2231_34.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__2232_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__2245_13.min1.thm12017-02-06 12:46 501  
[ ]finseq_2__2245_13.min1.thm1.tptp2017-02-06 16:47 445  
[ ]finseq_2__2247_45.min1.thm12017-02-06 12:46 633  
[ ]finseq_2__2247_45.min1.thm1.tptp2017-02-06 16:47 586  
[ ]finseq_2__2248_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__2249_34.min1.thm12017-02-06 12:46 471  
[ ]finseq_2__2250_20.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_2__2251_53.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_2__2257_34.min1.thm12017-02-06 12:46 312  
[ ]finseq_2__2257_34.min1.thm1.tptp2017-02-06 16:47 232  
[ ]finseq_2__2258_37.min1.thm12017-02-06 12:46 623  
[ ]finseq_2__2260_17.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_2__2268_22.min1.thm12017-02-06 12:46 666  
[ ]finseq_2__2272_12.min1.thm12017-02-06 12:46 659  
[ ]finseq_2__2272_12.min1.thm1.tptp2017-02-06 16:47 611  
[ ]finseq_2__2273_38.min1.thm12017-02-06 12:46 768  
[ ]finseq_2__2274_17.min1.thm12017-02-06 12:46 944  
[ ]finseq_2__2278_58.min1.thm12017-02-06 12:46 436  
[ ]finseq_2__2296_21.min1.thm12017-02-06 12:46 670  
[ ]finseq_2__2297_17.min1.thm12017-02-06 12:46 835  
[ ]finseq_2__2319_44.min1.thm12017-02-06 12:46 592  
[ ]finseq_2__2320_40.min1.thm12017-02-06 12:46 136  
[ ]finseq_2__2322_17.min1.thm12017-02-06 12:46 482  
[ ]finseq_2__2322_17.min1.thm1.tptp2017-02-06 16:47 402  
[ ]finseq_2__2328_61.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__2329_16.min1.thm12017-02-06 12:46 475  
[ ]finseq_2__2339_44.min1.thm12017-02-06 12:46 592  
[ ]finseq_2__2340_33.min1.thm12017-02-06 12:46 655  
[ ]finseq_2__2341_18.min1.thm12017-02-06 12:46 655  
[ ]finseq_2__2357_44.min1.thm12017-02-06 12:46 592  
[ ]finseq_2__2358_24.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_2__2361_16.min1.thm12017-02-06 12:46 284  
[ ]finseq_2__2376_28.min1.thm12017-02-06 12:46 359  
[ ]finseq_2__2376_28.min1.thm1.tptp2017-02-06 16:47 302  
[ ]finseq_2__2377_43.min1.thm12017-02-06 12:46 771  
[ ]finseq_2__2378_55.min1.thm12017-02-06 12:46 867  
[ ]finseq_2__2380_17.min1.thm12017-02-06 12:46 325  
[ ]finseq_2__2384_16.min1.thm12017-02-06 12:46 820  
[ ]finseq_2__2393_28.min1.thm12017-02-06 12:46 578  
[ ]finseq_2__2393_28.min1.thm1.tptp2017-02-06 16:47 501  
[ ]finseq_2__2394_18.min1.thm12017-02-06 12:46 578  
[ ]finseq_2__2394_18.min1.thm1.tptp2017-02-06 16:47 501  
[ ]finseq_2__2410_30.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__2411_44.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_2__2412_41.min1.thm12017-02-06 12:46 868  
[ ]finseq_2__2418_31.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__2422_15.min1.thm12017-02-06 12:46 275  
[ ]finseq_2__2426_28.min1.thm12017-02-06 12:46 941  
[ ]finseq_2__2427_24.min1.thm12017-02-06 12:46 691  
[ ]finseq_2__2428_34.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_2__2440_24.min1.thm12017-02-06 12:46 353  
[ ]finseq_2__2440_24.min1.thm1.tptp2017-02-06 16:47 296  
[ ]finseq_2__2441_39.min1.thm12017-02-06 12:46 741  
[ ]finseq_2__2443_22.min1.thm12017-02-06 12:46 538  
[ ]finseq_2__2444_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__2446_20.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_2__2448_26.min1.thm12017-02-06 12:46 802  
[ ]finseq_2__2464_37.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_2__2488_18.min1.thm12017-02-06 12:46 921  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80