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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_3__49_34.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__50_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__56_36.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__57_19.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__63_38.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__64_21.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__70_40.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__71_23.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__77_42.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__78_25.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__84_44.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__85_27.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__91_42.min1.thm12017-02-06 12:46 352  
[ ]finseq_3__91_42.min1.thm1.tptp2017-02-06 16:47 278  
[ ]finseq_3__93_17.min1.thm12017-02-06 12:46 400  
[ ]finseq_3__94_20.min1.thm12017-02-06 12:46 740  
[ ]finseq_3__102_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__103_15.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__104_23.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__113_17.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_3__114_15.min1.thm12017-02-06 12:46 728  
[ ]finseq_3__115_17.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__122_24.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__131_17.min1.thm12017-02-06 12:46 533  
[ ]finseq_3__133_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__147_17.min1.thm12017-02-06 12:46 811  
[ ]finseq_3__150_13.min1.thm12017-02-06 12:46 543  
[ ]finseq_3__153_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__163_47.min1.thm12017-02-06 12:46 607  
[ ]finseq_3__165_26.min1.thm12017-02-06 12:46 681  
[ ]finseq_3__169_16.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__178_29.min1.thm12017-02-06 12:46 761  
[ ]finseq_3__181_37.min1.thm12017-02-06 12:46 577  
[ ]finseq_3__182_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__184_16.min1.thm12017-02-06 12:46 367  
[ ]finseq_3__184_16.min1.thm1.tptp2017-02-06 16:47 302  
[ ]finseq_3__185_11.min1.thm12017-02-06 12:46 801  
[ ]finseq_3__192_36.min1.thm12017-02-06 12:46 463  
[ ]finseq_3__192_36.min1.thm1.tptp2017-02-06 16:47 386  
[ ]finseq_3__193_25.min1.thm12017-02-06 12:46 387  
[ ]finseq_3__193_25.min1.thm1.tptp2017-02-06 16:47 306  
[ ]finseq_3__194_17.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__201_24.min1.thm12017-02-06 12:46 415  
[ ]finseq_3__201_24.min1.thm1.tptp2017-02-06 16:47 347  
[ ]finseq_3__204_37.min1.thm12017-02-06 12:46 967  
[ ]finseq_3__209_15.min1.thm12017-02-06 12:46 736  
[ ]finseq_3__210_17.min1.thm12017-02-06 12:46 711  
[ ]finseq_3__216_18.min1.thm12017-02-06 12:46 548  
[ ]finseq_3__217_42.min1.thm12017-02-06 12:46 663  
[ ]finseq_3__218_17.min1.thm12017-02-06 12:46 467  
[ ]finseq_3__218_17.min1.thm1.tptp2017-02-06 16:47 393  
[ ]finseq_3__227_13.min1.thm12017-02-06 12:46 189  
[ ]finseq_3__235_19.min1.thm12017-02-06 12:46 419  
[ ]finseq_3__236_20.min1.thm12017-02-06 12:46 480  
[ ]finseq_3__237_28.min1.thm12017-02-06 12:46 776  
[ ]finseq_3__238_25.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__239_21.min1.thm12017-02-06 12:46 646  
[ ]finseq_3__242_14.min1.thm12017-02-06 12:46 248  
[ ]finseq_3__252_13.min1.thm12017-02-06 12:46 189  
[ ]finseq_3__260_17.min1.thm12017-02-06 12:46 185  
[ ]finseq_3__267_19.min1.thm12017-02-06 12:46 398  
[ ]finseq_3__268_23.min1.thm12017-02-06 12:46 891  
[ ]finseq_3__270_23.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__271_32.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__274_14.min1.thm12017-02-06 12:46 869  
[ ]finseq_3__276_25.min1.thm12017-02-06 12:46 612  
[ ]finseq_3__282_25.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__285_18.min1.thm12017-02-06 12:46 348  
[ ]finseq_3__288_14.min1.thm12017-02-06 12:46 336  
[ ]finseq_3__295_14.min1.thm12017-02-06 12:46 936  
[ ]finseq_3__299_40.min1.thm12017-02-06 12:46 671  
[ ]finseq_3__305_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__306_17.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__315_27.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__316_19.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__321_20.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__322_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__333_17.min1.thm12017-02-06 12:46 690  
[ ]finseq_3__334_13.min1.thm12017-02-06 12:46 667  
[ ]finseq_3__335_19.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__340_21.min1.thm12017-02-06 12:46 2.7K 
[ ]finseq_3__341_15.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_3__342_17.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_3__350_23.min1.thm12017-02-06 12:46 956  
[ ]finseq_3__357_25.min1.thm12017-02-06 12:46 956  
[ ]finseq_3__358_23.min1.thm12017-02-06 12:46 956  
[ ]finseq_3__359_17.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__366_14.min1.thm12017-02-06 12:46 460  
[ ]finseq_3__368_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__369_23.min1.thm12017-02-06 12:46 956  
[ ]finseq_3__370_17.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__378_17.min1.thm12017-02-06 12:46 704  
[ ]finseq_3__379_17.min1.thm12017-02-06 12:46 584  
[ ]finseq_3__383_17.min1.thm12017-02-06 12:46 301  
[ ]finseq_3__383_17.min1.thm1.tptp2017-02-06 16:47 224  
[ ]finseq_3__386_19.min1.thm12017-02-06 12:46 319  
[ ]finseq_3__386_19.min1.thm1.tptp2017-02-06 16:47 248  
[ ]finseq_3__391_19.min1.thm12017-02-06 12:46 576  
[ ]finseq_3__392_17.min1.thm12017-02-06 12:46 781  
[ ]finseq_3__398_19.min1.thm12017-02-06 12:46 576  
[ ]finseq_3__399_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__405_21.min1.thm12017-02-06 12:46 574  
[ ]finseq_3__406_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__416_33.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__420_62.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__421_50.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__430_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__437_27.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__439_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__440_27.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__441_27.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__442_65.min1.thm12017-02-06 12:46 846  
[ ]finseq_3__443_46.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__444_35.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__446_16.min1.thm12017-02-06 12:46 924  
[ ]finseq_3__449_24.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__456_24.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__469_35.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__470_41.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__474_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__475_24.min1.thm12017-02-06 12:46 442  
[ ]finseq_3__476_42.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__477_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__485_29.min1.thm12017-02-06 12:46 569  
[ ]finseq_3__486_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__501_10.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__515_35.min1.thm12017-02-06 12:46 449  
[ ]finseq_3__516_42.min1.thm12017-02-06 12:46 467  
[ ]finseq_3__516_42.min1.thm1.tptp2017-02-06 16:47 393  
[ ]finseq_3__518_31.min1.thm12017-02-06 12:46 691  
[ ]finseq_3__520_41.min1.thm12017-02-06 12:46 739  
[ ]finseq_3__524_46.min1.thm12017-02-06 12:46 880  
[ ]finseq_3__531_18.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__533_14.min1.thm12017-02-06 12:46 868  
[ ]finseq_3__536_20.min1.thm12017-02-06 12:46 698  
[ ]finseq_3__537_48.min1.thm12017-02-06 12:46 596  
[ ]finseq_3__538_15.min1.thm12017-02-06 12:46 871  
[ ]finseq_3__539_15.min1.thm12017-02-06 12:46 778  
[ ]finseq_3__543_17.min1.thm12017-02-06 12:46 357  
[ ]finseq_3__543_17.min1.thm1.tptp2017-02-06 16:47 283  
[ ]finseq_3__545_29.min1.thm12017-02-06 12:46 785  
[ ]finseq_3__546_27.min1.thm12017-02-06 12:46 729  
[ ]finseq_3__547_25.min1.thm12017-02-06 12:46 757  
[ ]finseq_3__557_29.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__558_55.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__559_17.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__561_40.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__562_35.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__564_25.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__567_55.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__568_22.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__571_25.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__573_19.min1.thm12017-02-06 12:46 311  
[ ]finseq_3__576_32.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__577_54.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__579_54.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__581_26.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__584_29.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__585_29.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__586_30.min1.thm12017-02-06 12:46 547  
[ ]finseq_3__587_34.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__590_26.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__591_49.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__592_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__595_38.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__597_33.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__598_34.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__600_25.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__601_28.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__604_29.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__605_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__611_29.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__612_30.min1.thm12017-02-06 12:46 443  
[ ]finseq_3__612_30.min1.thm1.tptp2017-02-06 16:47 381  
[ ]finseq_3__613_34.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__616_26.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__617_49.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__618_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__621_33.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__622_28.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__623_25.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__627_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__636_24.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__642_26.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__645_34.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__646_30.min1.thm12017-02-06 12:46 547  
[ ]finseq_3__647_34.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__650_26.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__651_29.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__652_49.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__653_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__659_29.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__660_30.min1.thm12017-02-06 12:46 443  
[ ]finseq_3__660_30.min1.thm1.tptp2017-02-06 16:47 381  
[ ]finseq_3__661_34.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__664_26.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__665_49.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__666_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__677_12.min1.thm12017-02-06 12:46 943  
[ ]finseq_3__689_30.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__692_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__697_23.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__698_47.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__701_28.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__704_20.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__705_43.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__706_23.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__709_28.min1.thm12017-02-06 12:46 899  
[ ]finseq_3__710_19.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__713_22.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__718_29.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__719_55.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__720_17.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__725_19.min1.thm12017-02-06 12:46 311  
[ ]finseq_3__728_32.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__729_54.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__730_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__732_29.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__733_25.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__736_42.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__737_64.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__739_26.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__742_29.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__743_25.min1.thm12017-02-06 12:46 535  
[ ]finseq_3__744_34.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__747_26.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__748_49.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__749_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__755_29.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__756_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__763_30.min1.thm12017-02-06 12:46 537  
[ ]finseq_3__764_34.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__767_26.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__768_49.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__769_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__772_33.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__773_28.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__774_25.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__778_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__787_24.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__793_26.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__796_29.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__797_25.min1.thm12017-02-06 12:46 535  
[ ]finseq_3__798_34.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__801_26.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__802_49.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__803_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__809_32.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__810_30.min1.thm12017-02-06 12:46 537  
[ ]finseq_3__811_34.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__814_25.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__815_49.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__816_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__820_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__824_31.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__825_26.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__826_30.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__836_13.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__846_15.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__849_16.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__850_35.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__852_15.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__856_20.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__859_16.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__860_35.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__861_24.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__863_15.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__864_19.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__865_11.min1.thm12017-02-06 12:46 946  
[ ]finseq_3__875_13.min1.thm12017-02-06 12:46 484  
[ ]finseq_3__876_17.min1.thm12017-02-06 12:46 572  
[ ]finseq_3__885_20.min1.thm12017-02-06 12:46 407  
[ ]finseq_3__887_19.min1.thm12017-02-06 12:46 370  
[ ]finseq_3__887_19.min1.thm1.tptp2017-02-06 16:47 292  
[ ]finseq_3__888_31.min1.thm12017-02-06 12:46 600  
[ ]finseq_3__890_22.min1.thm12017-02-06 12:46 529  
[ ]finseq_3__891_22.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__892_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__901_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__902_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__905_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__907_29.min1.thm12017-02-06 12:46 583  
[ ]finseq_3__908_32.min1.thm12017-02-06 12:46 746  
[ ]finseq_3__909_11.min1.thm12017-02-06 12:46 597  
[ ]finseq_3__911_28.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__913_25.min1.thm12017-02-06 12:46 469  
[ ]finseq_3__913_25.min1.thm1.tptp2017-02-06 16:47 413  
[ ]finseq_3__914_26.min1.thm12017-02-06 12:46 469  
[ ]finseq_3__914_26.min1.thm1.tptp2017-02-06 16:47 413  
[ ]finseq_3__915_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__917_27.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__918_27.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__920_16.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__931_43.min1.thm12017-02-06 12:46 536  
[ ]finseq_3__938_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__944_20.min1.thm12017-02-06 12:46 329  
[ ]finseq_3__944_20.min1.thm1.tptp2017-02-06 16:47 252  
[ ]finseq_3__950_20.min1.thm12017-02-06 12:46 329  
[ ]finseq_3__950_20.min1.thm1.tptp2017-02-06 16:47 252  
[ ]finseq_3__952_33.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__965_53.min1.thm12017-02-06 12:46 568  
[ ]finseq_3__966_20.min1.thm12017-02-06 12:46 941  
[ ]finseq_3__968_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__969_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__972_25.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__975_23.min1.thm12017-02-06 12:46 597  
[ ]finseq_3__977_32.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__978_53.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__979_18.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__980_23.min1.thm12017-02-06 12:46 597  
[ ]finseq_3__984_39.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__986_38.min1.thm12017-02-06 12:46 557  
[ ]finseq_3__986_38.min1.thm1.tptp2017-02-06 16:47 489  
[ ]finseq_3__989_27.min1.thm12017-02-06 12:46 757  
[ ]finseq_3__993_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__996_19.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__998_18.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__999_15.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__1002_15.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1005_23.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1016_22.min1.thm12017-02-06 12:46 395  
[ ]finseq_3__1016_22.min1.thm1.tptp2017-02-06 16:47 330  
[ ]finseq_3__1017_22.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__1018_27.min1.thm12017-02-06 12:46 601  
[ ]finseq_3__1019_32.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1022_20.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1023_43.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1025_19.min1.thm12017-02-06 12:46 961  
[ ]finseq_3__1030_23.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__1042_20.min1.thm12017-02-06 12:46 705  
[ ]finseq_3__1048_19.min1.thm12017-02-06 12:46 708  
[ ]finseq_3__1050_21.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__1053_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1063_19.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__1064_24.min1.thm12017-02-06 12:46 861  
[ ]finseq_3__1067_15.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1068_24.min1.thm12017-02-06 12:46 863  
[ ]finseq_3__1071_22.min1.thm12017-02-06 12:46 944  
[ ]finseq_3__1072_24.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1090_14.min1.thm12017-02-06 12:46 633  
[ ]finseq_3__1090_14.min1.thm1.tptp2017-02-06 16:47 566  
[ ]finseq_3__1094_41.min1.thm12017-02-06 12:46 574  
[ ]finseq_3__1100_32.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__1102_47.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__1104_37.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__1110_28.min1.thm12017-02-06 12:46 757  
[ ]finseq_3__1112_18.min1.thm12017-02-06 12:46 546  
[ ]finseq_3__1112_18.min1.thm1.tptp2017-02-06 16:47 484  
[ ]finseq_3__1115_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__1116_47.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1117_27.min1.thm12017-02-06 12:46 763  
[ ]finseq_3__1124_20.min1.thm12017-02-06 12:46 387  
[ ]finseq_3__1124_20.min1.thm1.tptp2017-02-06 16:47 322  
[ ]finseq_3__1126_26.min1.thm12017-02-06 12:46 477  
[ ]finseq_3__1128_31.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__1130_30.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__1131_51.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__1133_32.min1.thm12017-02-06 12:46 511  
[ ]finseq_3__1133_32.min1.thm1.tptp2017-02-06 16:47 443  
[ ]finseq_3__1136_25.min1.thm12017-02-06 12:46 739  
[ ]finseq_3__1137_28.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1138_31.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__1139_22.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__1140_26.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1143_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1144_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1147_51.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1150_44.min1.thm12017-02-06 12:46 488  
[ ]finseq_3__1159_43.min1.thm12017-02-06 12:46 457  
[ ]finseq_3__1160_11.min1.thm12017-02-06 12:46 892  
[ ]finseq_3__1162_14.min1.thm12017-02-06 12:46 364  
[ ]finseq_3__1162_14.min1.thm1.tptp2017-02-06 16:47 287  
[ ]finseq_3__1168_42.min1.thm12017-02-06 12:46 918  
[ ]finseq_3__1170_29.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__1171_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1173_29.min1.thm12017-02-06 12:46 764  
[ ]finseq_3__1174_37.min1.thm12017-02-06 12:46 248  
[ ]finseq_3__1175_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__1181_27.min1.thm12017-02-06 12:46 361  
[ ]finseq_3__1181_27.min1.thm1.tptp2017-02-06 16:47 284  
[ ]finseq_3__1182_35.min1.thm12017-02-06 12:46 592  
[ ]finseq_3__1192_40.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1193_29.min1.thm12017-02-06 12:46 777  
[ ]finseq_3__1194_19.min1.thm12017-02-06 12:46 725  
[ ]finseq_3__1197_37.min1.thm12017-02-06 12:46 554  
[ ]finseq_3__1198_17.min1.thm12017-02-06 12:46 548  
[ ]finseq_3__1204_21.min1.thm12017-02-06 12:46 630  
[ ]finseq_3__1214_15.min1.thm12017-02-06 12:46 827  
[ ]finseq_3__1215_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1225_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1234_68.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1240_20.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__1242_12.min1.thm12017-02-06 12:46 323  
[ ]finseq_3__1242_12.min1.thm1.tptp2017-02-06 16:47 258  
[ ]finseq_3__1244_15.min1.thm12017-02-06 12:46 754  
[ ]finseq_3__1247_36.min1.thm12017-02-06 12:46 707  
[ ]finseq_3__1259_25.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__1260_37.min1.thm12017-02-06 12:46 460  
[ ]finseq_3__1262_18.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__1266_23.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1267_17.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__1284_24.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__1285_45.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__1290_33.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__1292_28.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1293_25.min1.thm12017-02-06 12:46 619  
[ ]finseq_3__1299_23.min1.thm12017-02-06 12:46 460  
[ ]finseq_3__1303_23.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1304_21.min1.thm12017-02-06 12:46 412  
[ ]finseq_3__1306_25.min1.thm12017-02-06 12:46 640  
[ ]finseq_3__1309_18.min1.thm12017-02-06 12:46 468  
[ ]finseq_3__1315_18.min1.thm12017-02-06 12:46 618  
[ ]finseq_3__1315_18.min1.thm1.tptp2017-02-06 16:47 556  
[ ]finseq_3__1319_21.min1.thm12017-02-06 12:46 930  
[ ]finseq_3__1320_47.min1.thm12017-02-06 12:46 823  
[ ]finseq_3__1321_26.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__1323_25.min1.thm12017-02-06 12:46 929  
[ ]finseq_3__1324_26.min1.thm12017-02-06 12:46 844  
[ ]finseq_3__1325_23.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1331_18.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1332_21.min1.thm12017-02-06 12:46 942  
[ ]finseq_3__1335_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1337_23.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1340_16.min1.thm12017-02-06 12:46 364  
[ ]finseq_3__1350_15.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1352_30.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1353_34.min1.thm12017-02-06 12:46 2.7K 
[ ]finseq_3__1356_17.min1.thm12017-02-06 12:46 919  
[ ]finseq_3__1360_22.min1.thm12017-02-06 12:46 505  
[ ]finseq_3__1360_22.min1.thm1.tptp2017-02-06 16:47 431  
[ ]finseq_3__1361_31.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__1362_37.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1367_22.min1.thm12017-02-06 12:46 918  
[ ]finseq_3__1368_43.min1.thm12017-02-06 12:46 811  
[ ]finseq_3__1369_35.min1.thm12017-02-06 12:46 131  
[ ]finseq_3__1372_15.min1.thm12017-02-06 12:46 425  
[ ]finseq_3__1372_15.min1.thm1.tptp2017-02-06 16:47 345  
[ ]finseq_3__1385_16.min1.thm12017-02-06 12:46 606  
[ ]finseq_3__1388_24.min1.thm12017-02-06 12:46 674  
[ ]finseq_3__1389_28.min1.thm12017-02-06 12:46 468  
[ ]finseq_3__1396_15.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1397_38.min1.thm12017-02-06 12:46 573  
[ ]finseq_3__1397_38.min1.thm1.tptp2017-02-06 16:47 514  
[ ]finseq_3__1398_19.min1.thm12017-02-06 12:46 957  
[ ]finseq_3__1407_39.min1.thm12017-02-06 12:46 664  
[ ]finseq_3__1408_38.min1.thm12017-02-06 12:46 664  
[ ]finseq_3__1411_32.min1.thm12017-02-06 12:46 793  
[ ]finseq_3__1412_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__1423_17.min1.thm12017-02-06 12:46 910  
[ ]finseq_3__1424_41.min1.thm12017-02-06 12:46 803  
[ ]finseq_3__1425_15.min1.thm12017-02-06 12:46 688  
[ ]finseq_3__1426_20.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__1438_63.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1439_41.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1440_46.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__1441_72.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__1445_43.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1447_16.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__1455_24.min1.thm12017-02-06 12:46 956  
[ ]finseq_3__1456_37.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__1457_24.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__1460_25.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1464_21.min1.thm12017-02-06 12:46 744  
[ ]finseq_3__1465_25.min1.thm12017-02-06 12:46 958  
[ ]finseq_3__1467_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1472_29.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1478_37.min1.thm12017-02-06 12:46 588  
[ ]finseq_3__1478_37.min1.thm1.tptp2017-02-06 16:47 518  
[ ]finseq_3__1487_39.min1.thm12017-02-06 12:46 588  
[ ]finseq_3__1487_39.min1.thm1.tptp2017-02-06 16:47 518  
[ ]finseq_3__1489_21.min1.thm12017-02-06 12:46 620  
[ ]finseq_3__1497_24.min1.thm12017-02-06 12:46 653  
[ ]finseq_3__1498_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__1504_35.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__1505_25.min1.thm12017-02-06 12:46 956  
[ ]finseq_3__1506_24.min1.thm12017-02-06 12:46 504  
[ ]finseq_3__1506_24.min1.thm1.tptp2017-02-06 16:47 430  
[ ]finseq_3__1514_25.min1.thm12017-02-06 12:46 956  
[ ]finseq_3__1523_25.min1.thm12017-02-06 12:46 956  
[ ]finseq_3__1524_24.min1.thm12017-02-06 12:46 956  
[ ]finseq_3__1528_26.min1.thm12017-02-06 12:46 886  
[ ]finseq_3__1532_41.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__1542_19.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__1558_37.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__1560_34.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__1561_17.min1.thm12017-02-06 12:46 641  
[ ]finseq_3__1562_24.min1.thm12017-02-06 12:46 628  
[ ]finseq_3__1563_20.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__1575_27.min1.thm12017-02-06 12:46 527  
[ ]finseq_3__1575_27.min1.thm1.tptp2017-02-06 16:47 457  
[ ]finseq_3__1576_14.min1.thm12017-02-06 12:46 558  
[ ]finseq_3__1583_27.min1.thm12017-02-06 12:46 620  
[ ]finseq_3__1584_17.min1.thm12017-02-06 12:46 574  
[ ]finseq_3__1595_22.min1.thm12017-02-06 12:46 480  
[ ]finseq_3__1596_28.min1.thm12017-02-06 12:46 594  
[ ]finseq_3__1601_27.min1.thm12017-02-06 12:46 527  
[ ]finseq_3__1601_27.min1.thm1.tptp2017-02-06 16:47 457  
[ ]finseq_3__1602_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1613_26.min1.thm12017-02-06 12:46 616  
[ ]finseq_3__1617_20.min1.thm12017-02-06 12:46 614  
[ ]finseq_3__1630_23.min1.thm12017-02-06 12:46 581  
[ ]finseq_3__1631_15.min1.thm12017-02-06 12:46 272  
[ ]finseq_3__1632_19.min1.thm12017-02-06 12:46 560  
[ ]finseq_3__1639_41.min1.thm12017-02-06 12:46 507  
[ ]finseq_3__1639_41.min1.thm1.tptp2017-02-06 16:47 453  
[ ]finseq_3__1642_17.min1.thm12017-02-06 12:46 577  
[ ]finseq_3__1648_20.min1.thm12017-02-06 12:46 333  
[ ]finseq_3__1648_20.min1.thm1.tptp2017-02-06 16:47 258  
[ ]finseq_3__1649_17.min1.thm12017-02-06 12:46 547  
[ ]finseq_3__1653_19.min1.thm12017-02-06 12:46 453  
[ ]finseq_3__1653_19.min1.thm1.tptp2017-02-06 16:47 404  
[ ]finseq_3__1661_26.min1.thm12017-02-06 12:46 803  
[ ]finseq_3__1662_23.min1.thm12017-02-06 12:46 607  
[ ]finseq_3__1663_15.min1.thm12017-02-06 12:46 272  
[ ]finseq_3__1664_19.min1.thm12017-02-06 12:46 653  
[ ]finseq_3__1673_13.min1.thm12017-02-06 12:46 602  
[ ]finseq_3__1674_15.min1.thm12017-02-06 12:46 700  
[ ]finseq_3__1677_17.min1.thm12017-02-06 12:46 799  
[ ]finseq_3__1682_23.min1.thm12017-02-06 12:46 605  
[ ]finseq_3__1686_27.min1.thm12017-02-06 12:46 700  
[ ]finseq_3__1687_20.min1.thm12017-02-06 12:46 696  
[ ]finseq_3__1688_19.min1.thm12017-02-06 12:46 348  
[ ]finseq_3__1688_19.min1.thm1.tptp2017-02-06 16:47 270  
[ ]finseq_3__1691_25.min1.thm12017-02-06 12:46 463  
[ ]finseq_3__1692_17.min1.thm12017-02-06 12:46 696  
[ ]finseq_3__1697_30.min1.thm12017-02-06 12:46 518  
[ ]finseq_3__1697_30.min1.thm1.tptp2017-02-06 16:47 451  
[ ]finseq_3__1698_28.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__1706_33.min1.thm12017-02-06 12:46 863  
[ ]finseq_3__1707_19.min1.thm12017-02-06 12:46 656  
[ ]finseq_3__1709_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__1715_22.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__1719_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__1721_18.min1.thm12017-02-06 12:46 407  
[ ]finseq_3__1721_18.min1.thm1.tptp2017-02-06 16:47 331  
[ ]finseq_3__1723_18.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1725_12.min1.thm12017-02-06 12:46 522  
[ ]finseq_3__1734_21.min1.thm12017-02-06 12:46 934  
[ ]finseq_3__1735_47.min1.thm12017-02-06 12:46 827  
[ ]finseq_3__1736_19.min1.thm12017-02-06 12:46 644  
[ ]finseq_3__1739_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1740_23.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__1746_19.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1748_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__1753_16.min1.thm12017-02-06 12:46 538  
[ ]finseq_3__1764_22.min1.thm12017-02-06 12:46 732  
[ ]finseq_3__1767_26.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__1770_26.min1.thm12017-02-06 12:46 3.1K 
[ ]finseq_3__1777_56.min1.thm12017-02-06 12:46 885  
[ ]finseq_3__1778_54.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1779_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__1780_22.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_3__1781_42.min1.thm12017-02-06 12:46 2.8K 
[ ]finseq_3__1782_31.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__1786_30.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__1790_27.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_3__1797_24.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__1798_24.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__1800_18.min1.thm12017-02-06 12:46 2.4K 
[ ]finseq_3__1805_24.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1808_13.min1.thm12017-02-06 12:46 732  
[ ]finseq_3__1809_15.min1.thm12017-02-06 12:46 746  
[ ]finseq_3__1821_26.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1826_22.min1.thm12017-02-06 12:46 618  
[ ]finseq_3__1826_22.min1.thm1.tptp2017-02-06 16:47 556  
[ ]finseq_3__1829_51.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__1830_23.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__1831_25.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1832_29.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_3__1833_30.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__1834_27.min1.thm12017-02-06 12:46 539  
[ ]finseq_3__1834_27.min1.thm1.tptp2017-02-06 16:47 477  
[ ]finseq_3__1838_27.min1.thm12017-02-06 12:46 551  
[ ]finseq_3__1838_27.min1.thm1.tptp2017-02-06 16:47 489  
[ ]finseq_3__1841_20.min1.thm12017-02-06 12:46 460  
[ ]finseq_3__1847_20.min1.thm12017-02-06 12:46 612  
[ ]finseq_3__1847_20.min1.thm1.tptp2017-02-06 16:47 550  
[ ]finseq_3__1850_27.min1.thm12017-02-06 12:46 855  
[ ]finseq_3__1851_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1856_26.min1.thm12017-02-06 12:46 421  
[ ]finseq_3__1856_26.min1.thm1.tptp2017-02-06 16:47 356  
[ ]finseq_3__1859_23.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__1860_21.min1.thm12017-02-06 12:46 737  
[ ]finseq_3__1861_25.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__1864_18.min1.thm12017-02-06 12:46 398  
[ ]finseq_3__1866_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__1879_21.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1883_25.min1.thm12017-02-06 12:46 646  
[ ]finseq_3__1886_26.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__1887_30.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__1888_29.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_3__1890_21.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__1892_31.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1894_21.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1895_19.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__1897_23.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1899_20.min1.thm12017-02-06 12:46 849  
[ ]finseq_3__1904_25.min1.thm12017-02-06 12:46 958  
[ ]finseq_3__1909_25.min1.thm12017-02-06 12:46 748  
[ ]finseq_3__1914_24.min1.thm12017-02-06 12:46 469  
[ ]finseq_3__1914_24.min1.thm1.tptp2017-02-06 16:47 404  
[ ]finseq_3__1915_29.min1.thm12017-02-06 12:46 962  
[ ]finseq_3__1921_33.min1.thm12017-02-06 12:46 590  
[ ]finseq_3__1925_59.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__1926_49.min1.thm12017-02-06 12:46 966  
[ ]finseq_3__1935_45.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__1938_22.min1.thm12017-02-06 12:46 409  
[ ]finseq_3__1938_22.min1.thm1.tptp2017-02-06 16:47 344  
[ ]finseq_3__1939_19.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__1950_23.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__1951_57.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__1952_64.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__1954_34.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__1956_21.min1.thm12017-02-06 12:46 745  
[ ]finseq_3__1958_27.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1962_36.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__1963_39.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__1965_28.min1.thm12017-02-06 12:46 2.8K 
[ ]finseq_3__1966_40.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__1968_28.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__1972_26.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__1975_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__1976_40.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_3__1977_42.min1.thm12017-02-06 12:46 2.8K 
[ ]finseq_3__1979_36.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__1982_34.min1.thm12017-02-06 12:46 886  
[ ]finseq_3__1983_32.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__1985_46.min1.thm12017-02-06 12:46 502  
[ ]finseq_3__1985_46.min1.thm1.tptp2017-02-06 16:47 436  
[ ]finseq_3__1991_25.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__1992_38.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__1993_38.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__1996_54.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2003_30.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__2004_21.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__2007_30.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__2008_46.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_3__2009_24.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__2014_37.min1.thm12017-02-06 12:46 492  
[ ]finseq_3__2014_37.min1.thm1.tptp2017-02-06 16:47 414  
[ ]finseq_3__2016_18.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_3__2019_25.min1.thm12017-02-06 12:46 868  
[ ]finseq_3__2030_23.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__2031_30.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__2032_26.min1.thm12017-02-06 12:46 433  
[ ]finseq_3__2032_26.min1.thm1.tptp2017-02-06 16:47 368  
[ ]finseq_3__2033_24.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__2042_43.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__2043_42.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2044_66.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2057_57.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2058_39.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2059_43.min1.thm12017-02-06 12:46 779  
[ ]finseq_3__2059_43.min1.thm1.tptp2017-02-06 16:47 709  
[ ]finseq_3__2061_39.min1.thm12017-02-06 12:46 782  
[ ]finseq_3__2061_39.min1.thm1.tptp2017-02-06 16:47 715  
[ ]finseq_3__2068_12.min1.thm12017-02-06 12:46 491  
[ ]finseq_3__2070_14.min1.thm12017-02-06 12:46 576  
[ ]finseq_3__2074_36.min1.thm12017-02-06 12:46 570  
[ ]finseq_3__2077_13.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2080_41.min1.thm12017-02-06 12:46 318  
[ ]finseq_3__2083_32.min1.thm12017-02-06 12:46 304  
[ ]finseq_3__2088_36.min1.thm12017-02-06 12:46 346  
[ ]finseq_3__2092_29.min1.thm12017-02-06 12:46 679  
[ ]finseq_3__2093_22.min1.thm12017-02-06 12:46 411  
[ ]finseq_3__2093_22.min1.thm1.tptp2017-02-06 16:47 331  
[ ]finseq_3__2094_19.min1.thm12017-02-06 12:46 437  
[ ]finseq_3__2094_19.min1.thm1.tptp2017-02-06 16:47 366  
[ ]finseq_3__2099_23.min1.thm12017-02-06 12:46 376  
[ ]finseq_3__2099_23.min1.thm1.tptp2017-02-06 16:47 302  
[ ]finseq_3__2102_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__2103_21.min1.thm12017-02-06 12:46 376  
[ ]finseq_3__2103_21.min1.thm1.tptp2017-02-06 16:47 302  
[ ]finseq_3__2105_12.min1.thm12017-02-06 12:46 2.4K 
[ ]finseq_3__2114_28.min1.thm12017-02-06 12:46 403  
[ ]finseq_3__2114_28.min1.thm1.tptp2017-02-06 16:47 327  
[ ]finseq_3__2115_36.min1.thm12017-02-06 12:46 346  
[ ]finseq_3__2116_21.min1.thm12017-02-06 12:46 376  
[ ]finseq_3__2116_21.min1.thm1.tptp2017-02-06 16:47 302  
[ ]finseq_3__2117_39.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2118_17.min1.thm12017-02-06 12:46 600  
[ ]finseq_3__2129_38.min1.thm12017-02-06 12:46 346  
[ ]finseq_3__2130_47.min1.thm12017-02-06 12:46 373  
[ ]finseq_3__2131_47.min1.thm12017-02-06 12:46 373  
[ ]finseq_3__2132_38.min1.thm12017-02-06 12:46 346  
[ ]finseq_3__2133_20.min1.thm12017-02-06 12:46 591  
[ ]finseq_3__2134_38.min1.thm12017-02-06 12:46 497  
[ ]finseq_3__2134_38.min1.thm1.tptp2017-02-06 16:47 421  
[ ]finseq_3__2135_39.min1.thm12017-02-06 12:46 833  
[ ]finseq_3__2136_66.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__2147_23.min1.thm12017-02-06 12:46 376  
[ ]finseq_3__2147_23.min1.thm1.tptp2017-02-06 16:47 302  
[ ]finseq_3__2148_36.min1.thm12017-02-06 12:46 346  
[ ]finseq_3__2149_26.min1.thm12017-02-06 12:46 403  
[ ]finseq_3__2149_26.min1.thm1.tptp2017-02-06 16:47 327  
[ ]finseq_3__2150_39.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2151_17.min1.thm12017-02-06 12:46 600  
[ ]finseq_3__2162_38.min1.thm12017-02-06 12:46 346  
[ ]finseq_3__2163_47.min1.thm12017-02-06 12:46 373  
[ ]finseq_3__2164_47.min1.thm12017-02-06 12:46 373  
[ ]finseq_3__2165_38.min1.thm12017-02-06 12:46 346  
[ ]finseq_3__2166_20.min1.thm12017-02-06 12:46 591  
[ ]finseq_3__2167_38.min1.thm12017-02-06 12:46 497  
[ ]finseq_3__2167_38.min1.thm1.tptp2017-02-06 16:47 421  
[ ]finseq_3__2168_39.min1.thm12017-02-06 12:46 833  
[ ]finseq_3__2169_66.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__2177_36.min1.thm12017-02-06 12:46 346  
[ ]finseq_3__2183_70.min1.thm12017-02-06 12:46 543  
[ ]finseq_3__2186_9.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2192_28.min1.thm12017-02-06 12:46 403  
[ ]finseq_3__2192_28.min1.thm1.tptp2017-02-06 16:47 327  
[ ]finseq_3__2193_26.min1.thm12017-02-06 12:46 403  
[ ]finseq_3__2193_26.min1.thm1.tptp2017-02-06 16:47 327  
[ ]finseq_3__2208_43.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2209_24.min1.thm12017-02-06 12:46 586  
[ ]finseq_3__2209_24.min1.thm1.tptp2017-02-06 16:47 512  
[ ]finseq_3__2210_17.min1.thm12017-02-06 12:46 715  
[ ]finseq_3__2216_41.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2217_35.min1.thm12017-02-06 12:46 653  
[ ]finseq_3__2217_35.min1.thm1.tptp2017-02-06 16:47 577  
[ ]finseq_3__2233_43.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2234_37.min1.thm12017-02-06 12:46 657  
[ ]finseq_3__2234_37.min1.thm1.tptp2017-02-06 16:47 581  
[ ]finseq_3__2255_44.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2267_71.min1.thm12017-02-06 12:46 967  
[ ]finseq_3__2268_16.min1.thm12017-02-06 12:46 435  
[ ]finseq_3__2270_33.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__2278_13.min1.thm12017-02-06 12:46 309  
[ ]finseq_3__2281_24.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2282_25.min1.thm12017-02-06 12:46 528  
[ ]finseq_3__2283_39.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__2285_19.min1.thm12017-02-06 12:46 585  
[ ]finseq_3__2291_27.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2298_21.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__2308_26.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2310_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__2311_17.min1.thm12017-02-06 12:46 558  
[ ]finseq_3__2312_22.min1.thm12017-02-06 12:46 972  
[ ]finseq_3__2313_26.min1.thm12017-02-06 12:46 835  
[ ]finseq_3__2315_21.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2316_24.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__2317_23.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__2320_19.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2321_23.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2329_17.min1.thm12017-02-06 12:46 237  
[ ]finseq_3__2340_27.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2341_53.min1.thm12017-02-06 12:46 867  
[ ]finseq_3__2342_25.min1.thm12017-02-06 12:46 684  
[ ]finseq_3__2343_27.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__2344_28.min1.thm12017-02-06 12:46 797  
[ ]finseq_3__2345_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__2352_27.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2355_36.min1.thm12017-02-06 12:46 851  
[ ]finseq_3__2356_35.min1.thm12017-02-06 12:46 639  
[ ]finseq_3__2359_27.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2360_25.min1.thm12017-02-06 12:46 603  
[ ]finseq_3__2360_25.min1.thm1.tptp2017-02-06 16:47 521  
[ ]finseq_3__2365_29.min1.thm12017-02-06 12:46 397  
[ ]finseq_3__2365_29.min1.thm1.tptp2017-02-06 16:47 329  
[ ]finseq_3__2366_28.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2367_43.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__2369_23.min1.thm12017-02-06 12:46 597  
[ ]finseq_3__2370_24.min1.thm12017-02-06 12:46 557  
[ ]finseq_3__2371_28.min1.thm12017-02-06 12:46 742  
[ ]finseq_3__2373_25.min1.thm12017-02-06 12:46 394  
[ ]finseq_3__2373_25.min1.thm1.tptp2017-02-06 16:47 316  
[ ]finseq_3__2379_51.min1.thm12017-02-06 12:46 777  
[ ]finseq_3__2380_25.min1.thm12017-02-06 12:46 814  
[ ]finseq_3__2382_21.min1.thm12017-02-06 12:46 885  
[ ]finseq_3__2383_21.min1.thm12017-02-06 12:46 895  
[ ]finseq_3__2388_27.min1.thm12017-02-06 12:46 970  
[ ]finseq_3__2389_25.min1.thm12017-02-06 12:46 680  
[ ]finseq_3__2390_28.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__2393_21.min1.thm12017-02-06 12:46 569  
[ ]finseq_3__2394_26.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2395_30.min1.thm12017-02-06 12:46 881  
[ ]finseq_3__2396_27.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2403_31.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2410_25.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__2420_30.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2422_21.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__2423_21.min1.thm12017-02-06 12:46 570  
[ ]finseq_3__2424_26.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2425_30.min1.thm12017-02-06 12:46 883  
[ ]finseq_3__2427_25.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2428_28.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__2429_27.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__2431_27.min1.thm12017-02-06 12:46 755  
[ ]finseq_3__2433_27.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__2435_23.min1.thm12017-02-06 12:46 559  
[ ]finseq_3__2439_59.min1.thm12017-02-06 12:46 838  
[ ]finseq_3__2442_28.min1.thm12017-02-06 12:46 342  
[ ]finseq_3__2442_28.min1.thm1.tptp2017-02-06 16:47 265  
[ ]finseq_3__2443_23.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2445_25.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__2455_30.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2456_26.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__2458_25.min1.thm12017-02-06 12:46 881  
[ ]finseq_3__2459_27.min1.thm12017-02-06 12:46 554  
[ ]finseq_3__2460_27.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2464_38.min1.thm12017-02-06 12:46 633  
[ ]finseq_3__2465_28.min1.thm12017-02-06 12:46 506  
[ ]finseq_3__2466_28.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__2470_48.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2471_33.min1.thm12017-02-06 12:46 642  
[ ]finseq_3__2475_28.min1.thm12017-02-06 12:46 729  
[ ]finseq_3__2480_22.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2485_18.min1.thm12017-02-06 12:46 482  
[ ]finseq_3__2488_14.min1.thm12017-02-06 12:46 472  
[ ]finseq_3__2502_15.min1.thm12017-02-06 12:46 794  
[ ]finseq_3__2503_16.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__2515_15.min1.thm12017-02-06 12:46 181  
[ ]finseq_3__2524_17.min1.thm12017-02-06 12:46 618  
[ ]finseq_3__2525_27.min1.thm12017-02-06 12:46 527  
[ ]finseq_3__2525_27.min1.thm1.tptp2017-02-06 16:47 457  
[ ]finseq_3__2526_25.min1.thm12017-02-06 12:46 737  
[ ]finseq_3__2527_17.min1.thm12017-02-06 12:46 880  
[ ]finseq_3__2537_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__2543_21.min1.thm12017-02-06 12:46 742  
[ ]finseq_3__2560_18.min1.thm12017-02-06 12:46 600  
[ ]finseq_3__2561_18.min1.thm12017-02-06 12:46 600  
[ ]finseq_3__2564_25.min1.thm12017-02-06 12:46 310  
[ ]finseq_3__2571_16.min1.thm12017-02-06 12:46 618  
[ ]finseq_3__2572_17.min1.thm12017-02-06 12:46 733  
[ ]finseq_3__2573_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2575_21.min1.thm12017-02-06 12:46 928  
[ ]finseq_3__2576_18.min1.thm12017-02-06 12:46 600  
[ ]finseq_3__2577_21.min1.thm12017-02-06 12:46 833  
[ ]finseq_3__2582_22.min1.thm12017-02-06 12:46 443  
[ ]finseq_3__2582_22.min1.thm1.tptp2017-02-06 16:47 381  
[ ]finseq_3__2586_15.min1.thm12017-02-06 12:46 558  
[ ]finseq_3__2588_18.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2589_19.min1.thm12017-02-06 12:46 567  
[ ]finseq_3__2590_19.min1.thm12017-02-06 12:46 793  
[ ]finseq_3__2592_40.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__2593_17.min1.thm12017-02-06 12:46 761  
[ ]finseq_3__2604_19.min1.thm12017-02-06 12:46 372  
[ ]finseq_3__2604_19.min1.thm1.tptp2017-02-06 16:47 298  
[ ]finseq_3__2605_17.min1.thm12017-02-06 12:46 762  
[ ]finseq_3__2614_17.min1.thm12017-02-06 12:46 372  
[ ]finseq_3__2614_17.min1.thm1.tptp2017-02-06 16:47 294  
[ ]finseq_3__2615_40.min1.thm12017-02-06 12:46 862  
[ ]finseq_3__2616_17.min1.thm12017-02-06 12:46 643  
[ ]finseq_3__2641_28.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__2642_28.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__2643_23.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__2649_22.min1.thm12017-02-06 12:46 523  
[ ]finseq_3__2650_23.min1.thm12017-02-06 12:46 944  
[ ]finseq_3__2660_22.min1.thm12017-02-06 12:46 523  
[ ]finseq_3__2661_23.min1.thm12017-02-06 12:46 944  
[ ]finseq_3__2672_23.min1.thm12017-02-06 12:46 594  
[ ]finseq_3__2676_26.min1.thm12017-02-06 12:46 594  
[ ]finseq_3__2681_16.min1.thm12017-02-06 12:46 232  
[ ]finseq_3__2690_18.min1.thm12017-02-06 12:46 513  
[ ]finseq_3__2690_18.min1.thm1.tptp2017-02-06 16:47 459  
[ ]finseq_3__2694_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2698_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2699_41.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2700_32.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__2701_25.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__2703_24.min1.thm12017-02-06 12:46 907  
[ ]finseq_3__2706_16.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__2707_27.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__2708_18.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__2709_22.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__2719_48.min1.thm12017-02-06 12:46 959  
[ ]finseq_3__2720_23.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__2721_23.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__2722_22.min1.thm12017-02-06 12:46 906  
[ ]finseq_3__2723_22.min1.thm12017-02-06 12:46 906  
[ ]finseq_3__2744_43.min1.thm12017-02-06 12:46 336  
[ ]finseq_3__2754_14.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2756_13.min1.thm12017-02-06 12:46 315  
[ ]finseq_3__2756_13.min1.thm1.tptp2017-02-06 16:47 250  
[ ]finseq_3__2757_14.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2758_17.min1.thm12017-02-06 12:46 380  
[ ]finseq_3__2764_22.min1.thm12017-02-06 12:46 589  
[ ]finseq_3__2765_15.min1.thm12017-02-06 12:46 273  
[ ]finseq_3__2767_24.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__2777_18.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__2778_18.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__2780_18.min1.thm12017-02-06 12:46 634  
[ ]finseq_3__2783_20.min1.thm12017-02-06 12:46 310  
[ ]finseq_3__2787_32.min1.thm12017-02-06 12:46 700  
[ ]finseq_3__2792_32.min1.thm12017-02-06 12:46 700  
[ ]finseq_3__2796_16.min1.thm12017-02-06 12:46 232  
[ ]finseq_3__2801_15.min1.thm12017-02-06 12:46 273  
[ ]finseq_3__2803_25.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__2804_20.min1.thm12017-02-06 12:46 589  
[ ]finseq_3__2812_14.min1.thm12017-02-06 12:46 661  
[ ]finseq_3__2813_14.min1.thm12017-02-06 12:46 661  
[ ]finseq_3__2825_25.min1.thm12017-02-06 12:46 813  
[ ]finseq_3__2827_25.min1.thm12017-02-06 12:46 554  
[ ]finseq_3__2827_25.min1.thm1.tptp2017-02-06 16:47 500  
[ ]finseq_3__2828_18.min1.thm12017-02-06 12:46 890  
[ ]finseq_3__2831_36.min1.thm12017-02-06 12:46 463  
[ ]finseq_3__2831_36.min1.thm1.tptp2017-02-06 16:47 387  
[ ]finseq_3__2832_38.min1.thm12017-02-06 12:46 861  
[ ]finseq_3__2834_37.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__2835_28.min1.thm12017-02-06 12:46 230  
[ ]finseq_3__2836_30.min1.thm12017-02-06 12:46 340  
[ ]finseq_3__2836_30.min1.thm1.tptp2017-02-06 16:47 262  
[ ]finseq_3__2837_45.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__2838_19.min1.thm12017-02-06 12:46 529  
[ ]finseq_3__2838_19.min1.thm1.tptp2017-02-06 16:47 458  
[ ]finseq_3__2840_15.min1.thm12017-02-06 12:46 661  
[ ]finseq_3__2841_17.min1.thm12017-02-06 12:46 314  
[ ]finseq_3__2843_18.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__2844_17.min1.thm12017-02-06 12:46 314  
[ ]finseq_3__2846_18.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__2847_17.min1.thm12017-02-06 12:46 314  
[ ]finseq_3__2849_18.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__2865_20.min1.thm12017-02-06 12:46 920  
[ ]finseq_3__2867_15.min1.thm12017-02-06 12:46 492  
[ ]finseq_3__2868_20.min1.thm12017-02-06 12:46 920  
[ ]finseq_3__2869_20.min1.thm12017-02-06 12:46 492  
[ ]finseq_3__2873_18.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2880_19.min1.thm12017-02-06 12:46 906  
[ ]finseq_3__2881_21.min1.thm12017-02-06 12:46 383  
[ ]finseq_3__2881_21.min1.thm1.tptp2017-02-06 16:47 318  
[ ]finseq_3__2884_17.min1.thm12017-02-06 12:46 736  
[ ]finseq_3__2885_19.min1.thm12017-02-06 12:46 485  
[ ]finseq_3__2885_19.min1.thm1.tptp2017-02-06 16:47 420  
[ ]finseq_3__2887_23.min1.thm12017-02-06 12:46 956  
[ ]finseq_3__2888_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__2897_14.min1.thm12017-02-06 12:46 602  
[ ]finseq_3__2898_17.min1.thm12017-02-06 12:46 624  
[ ]finseq_3__2909_20.min1.thm12017-02-06 12:46 325  
[ ]finseq_3__2910_16.min1.thm12017-02-06 12:46 577  
[ ]finseq_3__2911_20.min1.thm12017-02-06 12:46 342  
[ ]finseq_3__2911_20.min1.thm1.tptp2017-02-06 16:47 264  
[ ]finseq_3__2912_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__2923_16.min1.thm12017-02-06 12:46 718  
[ ]finseq_3__2925_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__2927_17.min1.thm12017-02-06 12:46 390  
[ ]finseq_3__2927_17.min1.thm1.tptp2017-02-06 16:47 334  
[ ]finseq_3__2929_19.min1.thm12017-02-06 12:46 901  
[ ]finseq_3__2930_17.min1.thm12017-02-06 12:46 390  
[ ]finseq_3__2930_17.min1.thm1.tptp2017-02-06 16:47 334  
[ ]finseq_3__2931_22.min1.thm12017-02-06 12:46 901  
[ ]finseq_3__2933_14.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2934_17.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__2941_26.min1.thm12017-02-06 12:46 650  
[ ]finseq_3__2942_30.min1.thm12017-02-06 12:46 375  
[ ]finseq_3__2943_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__2956_30.min1.thm12017-02-06 12:46 532  
[ ]finseq_3__2957_17.min1.thm12017-02-06 12:46 818  
[ ]finseq_3__2973_16.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__2975_45.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__2984_28.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__2987_25.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__2988_23.min1.thm12017-02-06 12:46 705  
[ ]finseq_3__2992_15.min1.thm12017-02-06 12:46 266  
[ ]finseq_3__2995_44.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__2996_28.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__2999_26.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__3004_18.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__3005_16.min1.thm12017-02-06 12:46 847  
[ ]finseq_3__3008_35.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__3018_22.min1.thm12017-02-06 12:46 890  
[ ]finseq_3__3020_22.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__3022_32.min1.thm12017-02-06 12:46 518  
[ ]finseq_3__3033_42.min1.thm12017-02-06 12:46 872  
[ ]finseq_3__3034_20.min1.thm12017-02-06 12:46 660  
[ ]finseq_3__3037_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3039_31.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__3041_28.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__3042_20.min1.thm12017-02-06 12:46 578  
[ ]finseq_3__3043_11.min1.thm12017-02-06 12:46 674  
[ ]finseq_3__3044_17.min1.thm12017-02-06 12:46 758  
[ ]finseq_3__3045_52.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__3059_37.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3060_24.min1.thm12017-02-06 12:46 967  
[ ]finseq_3__3064_24.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3079_26.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3086_47.min1.thm12017-02-06 12:46 364  
[ ]finseq_3__3086_47.min1.thm1.tptp2017-02-06 16:47 284  
[ ]finseq_3__3087_44.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__3088_43.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__3089_24.min1.thm12017-02-06 12:46 965  
[ ]finseq_3__3090_66.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__3093_38.min1.thm12017-02-06 12:46 589  
[ ]finseq_3__3093_38.min1.thm1.tptp2017-02-06 16:47 525  
[ ]finseq_3__3094_50.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__3095_66.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__3097_14.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__3099_18.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3102_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3103_56.min1.thm12017-02-06 12:46 436  
[ ]finseq_3__3103_56.min1.thm1.tptp2017-02-06 16:47 376  
[ ]finseq_3__3104_28.min1.thm12017-02-06 12:46 457  
[ ]finseq_3__3104_28.min1.thm1.tptp2017-02-06 16:47 393  
[ ]finseq_3__3106_44.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__3111_48.min1.thm12017-02-06 12:46 431  
[ ]finseq_3__3111_48.min1.thm1.tptp2017-02-06 16:47 369  
[ ]finseq_3__3112_26.min1.thm12017-02-06 12:46 529  
[ ]finseq_3__3112_26.min1.thm1.tptp2017-02-06 16:47 475  
[ ]finseq_3__3114_28.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3115_27.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__3117_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3118_8.min1.thm12017-02-06 12:46 723  
[ ]finseq_3__3126_11.min1.thm12017-02-06 12:46 272  
[ ]finseq_3__3129_53.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__3133_51.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__3134_67.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3141_19.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__3165_13.min1.thm12017-02-06 12:46 273  
[ ]finseq_3__3166_20.min1.thm12017-02-06 12:46 779  
[ ]finseq_3__3168_31.min1.thm12017-02-06 12:46 844  
[ ]finseq_3__3169_22.min1.thm12017-02-06 12:46 529  
[ ]finseq_3__3170_15.min1.thm12017-02-06 12:46 436  
[ ]finseq_3__3198_11.min1.thm12017-02-06 12:46 560  
[ ]finseq_3__3201_12.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3202_12.min1.thm12017-02-06 12:46 573  
[ ]finseq_3__3203_18.min1.thm12017-02-06 12:46 647  
[ ]finseq_3__3205_22.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__3206_14.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3208_15.min1.thm12017-02-06 12:46 214  
[ ]finseq_3__3212_16.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__3221_30.min1.thm12017-02-06 12:46 836  
[ ]finseq_3__3225_19.min1.thm12017-02-06 12:46 761  
[ ]finseq_3__3226_27.min1.thm12017-02-06 12:46 837  
[ ]finseq_3__3227_24.min1.thm12017-02-06 12:46 399  
[ ]finseq_3__3227_24.min1.thm1.tptp2017-02-06 16:47 331  
[ ]finseq_3__3228_23.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__3230_27.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__3234_41.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__3238_16.min1.thm12017-02-06 12:46 675  
[ ]finseq_3__3239_19.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__3240_22.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3242_23.min1.thm12017-02-06 12:46 870  
[ ]finseq_3__3243_25.min1.thm12017-02-06 12:46 530  
[ ]finseq_3__3244_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3246_35.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__3247_48.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__3261_30.min1.thm12017-02-06 12:46 836  
[ ]finseq_3__3265_19.min1.thm12017-02-06 12:46 761  
[ ]finseq_3__3266_27.min1.thm12017-02-06 12:46 837  
[ ]finseq_3__3267_24.min1.thm12017-02-06 12:46 503  
[ ]finseq_3__3268_27.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__3276_14.min1.thm12017-02-06 12:46 798  
[ ]finseq_3__3277_25.min1.thm12017-02-06 12:46 391  
[ ]finseq_3__3277_25.min1.thm1.tptp2017-02-06 16:47 323  
[ ]finseq_3__3278_23.min1.thm12017-02-06 12:46 869  
[ ]finseq_3__3279_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3281_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__3283_33.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_3__3285_56.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3286_20.min1.thm12017-02-06 12:46 390  
[ ]finseq_3__3287_15.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3291_21.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__3292_15.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__3295_14.min1.thm12017-02-06 12:46 698  
[ ]finseq_3__3298_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3300_22.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3315_31.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__3317_24.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__3318_20.min1.thm12017-02-06 12:46 409  
[ ]finseq_3__3318_20.min1.thm1.tptp2017-02-06 16:47 344  
[ ]finseq_3__3331_23.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__3333_30.min1.thm12017-02-06 12:46 925  
[ ]finseq_3__3336_36.min1.thm12017-02-06 12:46 551  
[ ]finseq_3__3337_35.min1.thm12017-02-06 12:46 702  
[ ]finseq_3__3343_36.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__3344_35.min1.thm12017-02-06 12:46 429  
[ ]finseq_3__3344_35.min1.thm1.tptp2017-02-06 16:47 361  
[ ]finseq_3__3346_35.min1.thm12017-02-06 12:46 774  
[ ]finseq_3__3349_28.min1.thm12017-02-06 12:46 576  
[ ]finseq_3__3354_28.min1.thm12017-02-06 12:46 834  
[ ]finseq_3__3359_34.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__3363_27.min1.thm12017-02-06 12:46 863  
[ ]finseq_3__3364_33.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3366_25.min1.thm12017-02-06 12:46 561  
[ ]finseq_3__3367_27.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__3368_30.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__3369_33.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3374_24.min1.thm12017-02-06 12:46 421  
[ ]finseq_3__3374_24.min1.thm1.tptp2017-02-06 16:47 356  
[ ]finseq_3__3375_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3376_33.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__3379_26.min1.thm12017-02-06 12:46 450  
[ ]finseq_3__3381_28.min1.thm12017-02-06 12:46 711  
[ ]finseq_3__3383_27.min1.thm12017-02-06 12:46 654  
[ ]finseq_3__3384_20.min1.thm12017-02-06 12:46 783  
[ ]finseq_3__3385_30.min1.thm12017-02-06 12:46 798  
[ ]finseq_3__3388_19.min1.thm12017-02-06 12:46 587  
[ ]finseq_3__3390_25.min1.thm12017-02-06 12:46 672  
[ ]finseq_3__3391_28.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__3392_34.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__3394_30.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__3395_19.min1.thm12017-02-06 12:46 588  
[ ]finseq_3__3397_25.min1.thm12017-02-06 12:46 673  
[ ]finseq_3__3404_36.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__3405_37.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__3408_49.min1.thm12017-02-06 12:46 676  
[ ]finseq_3__3416_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3419_16.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3421_9.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3432_53.min1.thm12017-02-06 12:46 893  
[ ]finseq_3__3442_11.min1.thm12017-02-06 12:46 340  
[ ]finseq_3__3447_18.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3449_15.min1.thm12017-02-06 12:46 212  
[ ]finseq_3__3453_36.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3454_26.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3457_25.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3458_30.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__3461_17.min1.thm12017-02-06 12:46 824  
[ ]finseq_3__3462_21.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3463_20.min1.thm12017-02-06 12:46 580  
[ ]finseq_3__3465_22.min1.thm12017-02-06 12:46 671  
[ ]finseq_3__3474_33.min1.thm12017-02-06 12:46 766  
[ ]finseq_3__3475_25.min1.thm12017-02-06 12:46 700  
[ ]finseq_3__3476_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3480_16.min1.thm12017-02-06 12:46 410  
[ ]finseq_3__3499_22.min1.thm12017-02-06 12:46 963  
[ ]finseq_3__3500_24.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3501_24.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__3505_32.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3506_9.min1.thm12017-02-06 12:46 675  
[ ]finseq_3__3507_14.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3509_17.min1.thm12017-02-06 12:46 625  
[ ]finseq_3__3522_14.min1.thm12017-02-06 12:46 353  
[ ]finseq_3__3522_14.min1.thm1.tptp2017-02-06 16:47 279  
[ ]finseq_3__3526_21.min1.thm12017-02-06 12:46 902  
[ ]finseq_3__3527_24.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3528_25.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__3529_15.min1.thm12017-02-06 12:46 969  
[ ]finseq_3__3533_22.min1.thm12017-02-06 12:46 631  
[ ]finseq_3__3534_27.min1.thm12017-02-06 12:46 640  
[ ]finseq_3__3535_19.min1.thm12017-02-06 12:46 784  
[ ]finseq_3__3552_17.min1.thm12017-02-06 12:46 710  
[ ]finseq_3__3553_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3554_23.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__3556_19.min1.thm12017-02-06 12:46 747  
[ ]finseq_3__3557_30.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__3570_24.min1.thm12017-02-06 12:46 963  
[ ]finseq_3__3572_25.min1.thm12017-02-06 12:46 475  
[ ]finseq_3__3574_28.min1.thm12017-02-06 12:46 706  
[ ]finseq_3__3575_50.min1.thm12017-02-06 12:46 948  
[ ]finseq_3__3576_12.min1.thm12017-02-06 12:46 865  
[ ]finseq_3__3578_31.min1.thm12017-02-06 12:46 563  
[ ]finseq_3__3578_31.min1.thm1.tptp2017-02-06 16:47 489  
[ ]finseq_3__3579_29.min1.thm12017-02-06 12:46 794  
[ ]finseq_3__3583_39.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3584_19.min1.thm12017-02-06 12:46 750  
[ ]finseq_3__3586_23.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__3588_4.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_3__3591_50.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__3594_30.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__3595_30.min1.thm12017-02-06 12:46 673  
[ ]finseq_3__3595_30.min1.thm1.tptp2017-02-06 16:47 602  
[ ]finseq_3__3596_26.min1.thm12017-02-06 12:46 617  
[ ]finseq_3__3597_26.min1.thm12017-02-06 12:46 706  
[ ]finseq_3__3598_24.min1.thm12017-02-06 12:46 963  
[ ]finseq_3__3599_15.min1.thm12017-02-06 12:46 972  
[ ]finseq_3__3600_27.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__3603_50.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__3604_45.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__3605_43.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__3606_37.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3608_40.min1.thm12017-02-06 12:46 727  
[ ]finseq_3__3608_40.min1.thm1.tptp2017-02-06 16:47 656  
[ ]finseq_3__3609_36.min1.thm12017-02-06 12:46 671  
[ ]finseq_3__3610_36.min1.thm12017-02-06 12:46 760  
[ ]finseq_3__3611_32.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3613_24.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__3614_15.min1.thm12017-02-06 12:46 965  
[ ]finseq_3__3627_21.min1.thm12017-02-06 12:46 563  
[ ]finseq_3__3628_25.min1.thm12017-02-06 12:46 880  
[ ]finseq_3__3629_60.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__3630_52.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3631_54.min1.thm12017-02-06 12:46 870  
[ ]finseq_3__3632_51.min1.thm12017-02-06 12:46 335  
[ ]finseq_3__3633_46.min1.thm12017-02-06 12:46 774  
[ ]finseq_3__3634_41.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3636_49.min1.thm12017-02-06 12:46 914  
[ ]finseq_3__3636_49.min1.thm1.tptp2017-02-06 16:47 844  
[ ]finseq_3__3638_47.min1.thm12017-02-06 12:46 714  
[ ]finseq_3__3638_47.min1.thm1.tptp2017-02-06 16:47 644  
[ ]finseq_3__3639_39.min1.thm12017-02-06 12:46 741  
[ ]finseq_3__3640_30.min1.thm12017-02-06 12:46 846  
[ ]finseq_3__3641_19.min1.thm12017-02-06 12:46 758  
[ ]finseq_3__3642_16.min1.thm12017-02-06 12:46 538  
[ ]finseq_3__3642_16.min1.thm1.tptp2017-02-06 16:47 468  
[ ]finseq_3__3648_27.min1.thm12017-02-06 12:46 625  
[ ]finseq_3__3649_27.min1.thm12017-02-06 12:46 631  
[ ]finseq_3__3649_27.min1.thm1.tptp2017-02-06 16:47 564  
[ ]finseq_3__3650_23.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3651_24.min1.thm12017-02-06 12:46 752  
[ ]finseq_3__3656_31.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3657_24.min1.thm12017-02-06 12:46 690  
[ ]finseq_3__3657_24.min1.thm1.tptp2017-02-06 16:47 620  
[ ]finseq_3__3658_26.min1.thm12017-02-06 12:46 840  
[ ]finseq_3__3663_52.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__3664_32.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__3665_36.min1.thm12017-02-06 12:46 734  
[ ]finseq_3__3665_36.min1.thm1.tptp2017-02-06 16:47 664  
[ ]finseq_3__3666_28.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3672_37.min1.thm12017-02-06 12:46 834  
[ ]finseq_3__3672_37.min1.thm1.tptp2017-02-06 16:47 764  
[ ]finseq_3__3673_46.min1.thm12017-02-06 12:46 861  
[ ]finseq_3__3674_37.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3675_39.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__3680_25.min1.thm12017-02-06 12:46 752  
[ ]finseq_3__3681_19.min1.thm12017-02-06 12:46 752  
[ ]finseq_3__3682_28.min1.thm12017-02-06 12:46 902  
[ ]finseq_3__3684_61.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__3686_30.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__3687_23.min1.thm12017-02-06 12:46 602  
[ ]finseq_3__3687_23.min1.thm1.tptp2017-02-06 16:47 532  
[ ]finseq_3__3688_24.min1.thm12017-02-06 12:46 965  
[ ]finseq_3__3690_31.min1.thm12017-02-06 12:46 620  
[ ]finseq_3__3690_31.min1.thm1.tptp2017-02-06 16:47 550  
[ ]finseq_3__3691_23.min1.thm12017-02-06 12:46 809  
[ ]finseq_3__3694_25.min1.thm12017-02-06 12:46 752  
[ ]finseq_3__3695_27.min1.thm12017-02-06 12:46 625  
[ ]finseq_3__3696_27.min1.thm12017-02-06 12:46 631  
[ ]finseq_3__3696_27.min1.thm1.tptp2017-02-06 16:47 564  
[ ]finseq_3__3697_23.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3702_31.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3703_24.min1.thm12017-02-06 12:46 690  
[ ]finseq_3__3703_24.min1.thm1.tptp2017-02-06 16:47 620  
[ ]finseq_3__3706_26.min1.thm12017-02-06 12:46 841  
[ ]finseq_3__3709_46.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__3710_32.min1.thm12017-02-06 12:46 708  
[ ]finseq_3__3710_32.min1.thm1.tptp2017-02-06 16:47 638  
[ ]finseq_3__3711_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3716_36.min1.thm12017-02-06 12:46 746  
[ ]finseq_3__3716_36.min1.thm1.tptp2017-02-06 16:47 676  
[ ]finseq_3__3717_38.min1.thm12017-02-06 12:46 779  
[ ]finseq_3__3717_38.min1.thm1.tptp2017-02-06 16:47 712  
[ ]finseq_3__3731_38.min1.thm12017-02-06 12:46 471  
[ ]finseq_3__3731_38.min1.thm1.tptp2017-02-06 16:47 383  
[ ]finseq_3__3733_22.min1.thm12017-02-06 12:46 957  
[ ]finseq_3__3734_13.min1.thm12017-02-06 12:46 376  
[ ]finseq_3__3736_19.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__3737_25.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__3738_20.min1.thm12017-02-06 12:46 426  
[ ]finseq_3__3738_20.min1.thm1.tptp2017-02-06 16:47 349  
[ ]finseq_3__3739_11.min1.thm12017-02-06 12:46 875  
[ ]finseq_3__3740_14.min1.thm12017-02-06 12:46 254  
[ ]finseq_3__3753_19.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3754_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3755_24.min1.thm12017-02-06 12:46 894  
[ ]finseq_3__3765_38.min1.thm12017-02-06 12:46 766  
[ ]finseq_3__3766_38.min1.thm12017-02-06 12:46 814  
[ ]finseq_3__3779_15.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_3__3783_68.min1.thm12017-02-06 12:46 597  
[ ]finseq_3__3786_54.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__3789_21.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__3795_16.min1.thm12017-02-06 12:46 927  
[ ]finseq_3__3796_39.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3797_28.min1.thm12017-02-06 12:46 441  
[ ]finseq_3__3824_13.min1.thm12017-02-06 12:46 357  
[ ]finseq_3__3826_26.min1.thm12017-02-06 12:46 940  
[ ]finseq_3__3827_15.min1.thm12017-02-06 12:46 329  
[ ]finseq_3__3827_15.min1.thm1.tptp2017-02-06 16:47 255  
[ ]finseq_3__3828_21.min1.thm12017-02-06 12:46 719  
[ ]finseq_3__3832_15.min1.thm12017-02-06 12:46 557  
[ ]finseq_3__3834_21.min1.thm12017-02-06 12:46 868  
[ ]finseq_3__3835_25.min1.thm12017-02-06 12:46 391  
[ ]finseq_3__3835_25.min1.thm1.tptp2017-02-06 16:47 326  
[ ]finseq_3__3836_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__3839_40.min1.thm12017-02-06 12:46 305  
[ ]finseq_3__3839_40.min1.thm1.tptp2017-02-06 16:47 225  
[ ]finseq_3__3844_39.min1.thm12017-02-06 12:46 721  
[ ]finseq_3__3853_12.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3857_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__3861_27.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__3868_20.min1.thm12017-02-06 12:46 708  
[ ]finseq_3__3869_34.min1.thm12017-02-06 12:46 895  
[ ]finseq_3__3870_32.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3873_22.min1.thm12017-02-06 12:46 842  
[ ]finseq_3__3878_29.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__3879_24.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__3881_48.min1.thm12017-02-06 12:46 860  
[ ]finseq_3__3882_18.min1.thm12017-02-06 12:46 516  
[ ]finseq_3__3884_23.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__3886_18.min1.thm12017-02-06 12:46 519  
[ ]finseq_3__3886_18.min1.thm1.tptp2017-02-06 16:47 437  
[ ]finseq_3__3902_31.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__3930_10.min1.thm12017-02-06 12:46 869  
[ ]finseq_3__3930_10.min1.thm1.tptp2017-02-06 16:47 845  
[ ]finseq_3__3931_24.min1.thm12017-02-06 12:46 631  
[ ]finseq_3__3989_14.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__3994_23.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__3997_22.min1.thm12017-02-06 12:46 877  
[ ]finseq_3__4022_24.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__4024_23.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__4025_27.min1.thm12017-02-06 12:46 132  
[ ]finseq_3__4027_15.min1.thm12017-02-06 12:46 504  
[ ]finseq_3__4030_19.min1.thm12017-02-06 12:46 573  
[ ]finseq_3__4035_22.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__4036_37.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__4037_37.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4043_22.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__4044_41.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4045_21.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__4046_14.min1.thm12017-02-06 12:46 541  
[ ]finseq_3__4046_14.min1.thm1.tptp2017-02-06 16:47 459  
[ ]finseq_3__4063_24.min1.thm12017-02-06 12:46 890  
[ ]finseq_3__4064_18.min1.thm12017-02-06 12:46 523  
[ ]finseq_3__4065_17.min1.thm12017-02-06 12:46 362  
[ ]finseq_3__4065_17.min1.thm1.tptp2017-02-06 16:47 299  
[ ]finseq_3__4073_34.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4075_18.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__4083_17.min1.thm12017-02-06 12:46 438  
[ ]finseq_3__4084_31.min1.thm12017-02-06 12:46 832  
[ ]finseq_3__4086_22.min1.thm12017-02-06 12:46 890  
[ ]finseq_3__4087_17.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__4093_36.min1.thm12017-02-06 12:46 678  
[ ]finseq_3__4094_20.min1.thm12017-02-06 12:46 577  
[ ]finseq_3__4096_26.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4097_30.min1.thm12017-02-06 12:46 417  
[ ]finseq_3__4097_30.min1.thm1.tptp2017-02-06 16:47 363  
[ ]finseq_3__4105_34.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4107_16.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4108_19.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__4116_26.min1.thm12017-02-06 12:46 482  
[ ]finseq_3__4117_35.min1.thm12017-02-06 12:46 895  
[ ]finseq_3__4119_20.min1.thm12017-02-06 12:46 578  
[ ]finseq_3__4120_29.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4128_17.min1.thm12017-02-06 12:46 382  
[ ]finseq_3__4128_17.min1.thm1.tptp2017-02-06 16:47 324  
[ ]finseq_3__4129_40.min1.thm12017-02-06 12:46 768  
[ ]finseq_3__4130_22.min1.thm12017-02-06 12:46 666  
[ ]finseq_3__4131_22.min1.thm12017-02-06 12:46 650  
[ ]finseq_3__4133_28.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__4134_30.min1.thm12017-02-06 12:46 420  
[ ]finseq_3__4134_30.min1.thm1.tptp2017-02-06 16:47 362  
[ ]finseq_3__4143_34.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4145_16.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4146_19.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__4154_35.min1.thm12017-02-06 12:46 524  
[ ]finseq_3__4155_39.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4157_22.min1.thm12017-02-06 12:46 651  
[ ]finseq_3__4158_31.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__4165_20.min1.thm12017-02-06 12:46 266  
[ ]finseq_3__4166_18.min1.thm12017-02-06 12:46 808  
[ ]finseq_3__4167_40.min1.thm12017-02-06 12:46 777  
[ ]finseq_3__4168_17.min1.thm12017-02-06 12:46 920  
[ ]finseq_3__4178_53.min1.thm12017-02-06 12:46 539  
[ ]finseq_3__4178_53.min1.thm1.tptp2017-02-06 16:47 488  
[ ]finseq_3__4179_16.min1.thm12017-02-06 12:46 796  
[ ]finseq_3__4183_32.min1.thm12017-02-06 12:46 714  
[ ]finseq_3__4203_16.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4207_38.min1.thm12017-02-06 12:46 905  
[ ]finseq_3__4208_17.min1.thm12017-02-06 12:46 939  
[ ]finseq_3__4222_48.min1.thm12017-02-06 12:46 615  
[ ]finseq_3__4223_24.min1.thm12017-02-06 12:46 344  
[ ]finseq_3__4224_23.min1.thm12017-02-06 12:46 410  
[ ]finseq_3__4224_23.min1.thm1.tptp2017-02-06 16:47 336  
[ ]finseq_3__4230_52.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4232_3.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__4233_18.min1.thm12017-02-06 12:46 594  
[ ]finseq_3__4234_45.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__4235_26.min1.thm12017-02-06 12:46 622  
[ ]finseq_3__4240_17.min1.thm12017-02-06 12:46 327  
[ ]finseq_3__4240_17.min1.thm1.tptp2017-02-06 16:47 262  
[ ]finseq_3__4242_7.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__4244_26.min1.thm12017-02-06 12:46 620  
[ ]finseq_3__4249_17.min1.thm12017-02-06 12:46 327  
[ ]finseq_3__4249_17.min1.thm1.tptp2017-02-06 16:47 262  
[ ]finseq_3__4251_9.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__4255_5.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__4262_62.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4265_10.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__4266_36.min1.thm12017-02-06 12:46 678  
[ ]finseq_3__4267_51.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__4268_62.min1.thm12017-02-06 12:46 762  
[ ]finseq_3__4273_26.min1.thm12017-02-06 12:46 377  
[ ]finseq_3__4273_26.min1.thm1.tptp2017-02-06 16:47 323  
[ ]finseq_3__4275_7.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__4277_62.min1.thm12017-02-06 12:46 756  
[ ]finseq_3__4282_26.min1.thm12017-02-06 12:46 377  
[ ]finseq_3__4282_26.min1.thm1.tptp2017-02-06 16:47 323  
[ ]finseq_3__4284_7.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_3__4288_12.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_3__4296_72.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__4298_40.min1.thm12017-02-06 12:46 722  
[ ]finseq_3__4299_40.min1.thm12017-02-06 12:46 768  
[ ]finseq_3__4300_22.min1.thm12017-02-06 12:46 666  
[ ]finseq_3__4302_10.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__4304_4.min1.thm12017-02-06 12:46 880  
[ ]finseq_3__4309_35.min1.thm12017-02-06 12:46 457  
[ ]finseq_3__4309_35.min1.thm1.tptp2017-02-06 16:47 400  
[ ]finseq_3__4314_23.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__4315_41.min1.thm12017-02-06 12:46 718  
[ ]finseq_3__4317_4.min1.thm12017-02-06 12:46 873  
[ ]finseq_3__4322_35.min1.thm12017-02-06 12:46 457  
[ ]finseq_3__4322_35.min1.thm1.tptp2017-02-06 16:47 400  
[ ]finseq_3__4328_27.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__4335_36.min1.thm12017-02-06 12:46 506  
[ ]finseq_3__4336_19.min1.thm12017-02-06 12:46 645  
[ ]finseq_3__4337_11.min1.thm12017-02-06 12:46 246  
[ ]finseq_3__4338_31.min1.thm12017-02-06 12:46 748  
[ ]finseq_3__4339_11.min1.thm12017-02-06 12:46 250  
[ ]finseq_3__4345_40.min1.thm12017-02-06 12:46 476  
[ ]finseq_3__4345_40.min1.thm1.tptp2017-02-06 16:47 413  
[ ]finseq_3__4346_21.min1.thm12017-02-06 12:46 349  
[ ]finseq_3__4347_16.min1.thm12017-02-06 12:46 318  
[ ]finseq_3__4348_35.min1.thm12017-02-06 12:46 560  
[ ]finseq_3__4349_16.min1.thm12017-02-06 12:46 322  
[ ]finseq_3__4356_4.min1.thm12017-02-06 12:46 636  
[ ]finseq_3__4356_4.min1.thm1.tptp2017-02-06 16:47 568  
[ ]finseq_3__4357_20.min1.thm12017-02-06 12:46 244  
[ ]finseq_3__4358_29.min1.thm12017-02-06 12:46 387  
[ ]finseq_3__4359_44.min1.thm12017-02-06 12:46 522  
[ ]finseq_3__4359_44.min1.thm1.tptp2017-02-06 16:47 462  
[ ]finseq_3__4360_21.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4361_19.min1.thm12017-02-06 12:46 248  
[ ]finseq_3__4362_71.min1.thm12017-02-06 12:46 893  
[ ]finseq_3__4364_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__4371_35.min1.thm12017-02-06 12:46 906  
[ ]finseq_3__4372_46.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__4373_30.min1.thm12017-02-06 12:46 639  
[ ]finseq_3__4374_28.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__4375_32.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4382_30.min1.thm12017-02-06 12:46 726  
[ ]finseq_3__4383_50.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__4384_36.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4391_28.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__4392_33.min1.thm12017-02-06 12:46 926  
[ ]finseq_3__4399_17.min1.thm12017-02-06 12:46 362  
[ ]finseq_3__4399_17.min1.thm1.tptp2017-02-06 16:47 299  
[ ]finseq_3__4401_3.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4403_38.min1.thm12017-02-06 12:46 602  
[ ]finseq_3__4404_24.min1.thm12017-02-06 12:46 521  
[ ]finseq_3__4404_24.min1.thm1.tptp2017-02-06 16:47 454  
[ ]finseq_3__4405_15.min1.thm12017-02-06 12:46 311  
[ ]finseq_3__4409_38.min1.thm12017-02-06 12:46 960  
[ ]finseq_3__4414_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4415_36.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__4418_32.min1.thm12017-02-06 12:46 831  
[ ]finseq_3__4419_16.min1.thm12017-02-06 12:46 792  
[ ]finseq_3__4421_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__4428_28.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__4430_13.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__4432_46.min1.thm12017-02-06 12:46 572  
[ ]finseq_3__4432_46.min1.thm1.tptp2017-02-06 16:47 513  
[ ]finseq_3__4433_33.min1.thm12017-02-06 12:46 751  
[ ]finseq_3__4434_26.min1.thm12017-02-06 12:46 431  
[ ]finseq_3__4444_20.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__4445_17.min1.thm12017-02-06 12:46 380  
[ ]finseq_3__4445_17.min1.thm1.tptp2017-02-06 16:47 326  
[ ]finseq_3__4446_32.min1.thm12017-02-06 12:46 831  
[ ]finseq_3__4447_17.min1.thm12017-02-06 12:46 380  
[ ]finseq_3__4447_17.min1.thm1.tptp2017-02-06 16:47 326  
[ ]finseq_3__4450_35.min1.thm12017-02-06 12:46 925  
[ ]finseq_3__4453_17.min1.thm12017-02-06 12:46 792  
[ ]finseq_3__4454_35.min1.thm12017-02-06 12:46 925  
[ ]finseq_3__4458_17.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_3__4465_18.min1.thm12017-02-06 12:46 523  
[ ]finseq_3__4466_29.min1.thm12017-02-06 12:46 496  
[ ]finseq_3__4466_29.min1.thm1.tptp2017-02-06 16:47 429  
[ ]finseq_3__4467_29.min1.thm12017-02-06 12:46 495  
[ ]finseq_3__4467_29.min1.thm1.tptp2017-02-06 16:47 428  
[ ]finseq_3__4470_4.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__4474_34.min1.thm12017-02-06 12:46 561  
[ ]finseq_3__4478_64.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__4479_37.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4483_20.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__4484_18.min1.thm12017-02-06 12:46 524  
[ ]finseq_3__4485_32.min1.thm12017-02-06 12:46 831  
[ ]finseq_3__4487_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4495_42.min1.thm12017-02-06 12:46 727  
[ ]finseq_3__4496_31.min1.thm12017-02-06 12:46 605  
[ ]finseq_3__4498_37.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__4499_22.min1.thm12017-02-06 12:46 577  
[ ]finseq_3__4501_28.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4502_42.min1.thm12017-02-06 12:46 725  
[ ]finseq_3__4504_31.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__4508_40.min1.thm12017-02-06 12:46 745  
[ ]finseq_3__4513_5.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__4514_36.min1.thm12017-02-06 12:46 679  
[ ]finseq_3__4515_36.min1.thm12017-02-06 12:46 851  
[ ]finseq_3__4519_37.min1.thm12017-02-06 12:46 831  
[ ]finseq_3__4520_34.min1.thm12017-02-06 12:46 938  
[ ]finseq_3__4523_17.min1.thm12017-02-06 12:46 792  
[ ]finseq_3__4525_17.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__4532_54.min1.thm12017-02-06 12:46 852  
[ ]finseq_3__4535_28.min1.thm12017-02-06 12:46 513  
[ ]finseq_3__4535_28.min1.thm1.tptp2017-02-06 16:47 451  
[ ]finseq_3__4537_42.min1.thm12017-02-06 12:46 678  
[ ]finseq_3__4538_52.min1.thm12017-02-06 12:46 693  
[ ]finseq_3__4539_17.min1.thm12017-02-06 12:46 2.4K 
[ ]finseq_3__4549_54.min1.thm12017-02-06 12:46 852  
[ ]finseq_3__4550_42.min1.thm12017-02-06 12:46 678  
[ ]finseq_3__4551_52.min1.thm12017-02-06 12:46 693  
[ ]finseq_3__4558_24.min1.thm12017-02-06 12:46 890  
[ ]finseq_3__4559_37.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__4560_54.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__4561_29.min1.thm12017-02-06 12:46 763  
[ ]finseq_3__4562_26.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__4563_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4569_36.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4570_41.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4571_56.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__4572_22.min1.thm12017-02-06 12:46 577  
[ ]finseq_3__4574_16.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__4575_31.min1.thm12017-02-06 12:46 937  
[ ]finseq_3__4578_31.min1.thm12017-02-06 12:46 850  
[ ]finseq_3__4580_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4586_24.min1.thm12017-02-06 12:46 890  
[ ]finseq_3__4587_37.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__4588_54.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__4589_29.min1.thm12017-02-06 12:46 763  
[ ]finseq_3__4590_26.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__4591_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4597_36.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4598_41.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4599_56.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_3__4600_22.min1.thm12017-02-06 12:46 577  
[ ]finseq_3__4602_16.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__4603_31.min1.thm12017-02-06 12:46 937  
[ ]finseq_3__4606_31.min1.thm12017-02-06 12:46 850  
[ ]finseq_3__4608_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4621_15.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__4623_19.min1.thm12017-02-06 12:46 901  
[ ]finseq_3__4625_17.min1.thm12017-02-06 12:46 405  
[ ]finseq_3__4625_17.min1.thm1.tptp2017-02-06 16:47 349  
[ ]finseq_3__4629_40.min1.thm12017-02-06 12:46 820  
[ ]finseq_3__4630_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4637_28.min1.thm12017-02-06 12:46 567  
[ ]finseq_3__4641_28.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4645_17.min1.thm12017-02-06 12:46 492  
[ ]finseq_3__4649_40.min1.thm12017-02-06 12:46 820  
[ ]finseq_3__4650_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4657_28.min1.thm12017-02-06 12:46 655  
[ ]finseq_3__4661_28.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4664_15.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4665_22.min1.thm12017-02-06 12:46 901  
[ ]finseq_3__4666_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_3__4685_18.min1.thm12017-02-06 12:46 800  
[ ]finseq_3__4691_17.min1.thm12017-02-06 12:46 535  
[ ]finseq_3__4692_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__4697_46.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__4698_46.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4700_33.min1.thm12017-02-06 12:46 492  
[ ]finseq_3__4700_33.min1.thm1.tptp2017-02-06 16:47 410  
[ ]finseq_3__4701_29.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_3__4703_24.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4704_28.min1.thm12017-02-06 12:46 806  
[ ]finseq_3__4706_20.min1.thm12017-02-06 12:46 834  
[ ]finseq_3__4715_16.min1.thm12017-02-06 12:46 924  
[ ]finseq_3__4718_50.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__4723_48.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_3__4726_24.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_3__4727_13.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_3__4728_28.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_3__4731_32.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__4732_39.min1.thm12017-02-06 12:46 972  
[ ]finseq_3__4734_22.min1.thm12017-02-06 12:46 378  
[ ]finseq_3__4734_22.min1.thm1.tptp2017-02-06 16:47 296  
[ ]finseq_3__4735_22.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_3__4736_19.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_3__4739_9.min1.thm12017-02-06 12:46 608  
[ ]finseq_3__4741_12.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_3__4742_17.min1.thm12017-02-06 12:46 815  
[ ]finseq_3__4754_36.min1.thm12017-02-06 12:46 860  
[ ]finseq_3__4758_40.min1.thm12017-02-06 12:46 411  
[ ]finseq_3__4758_40.min1.thm1.tptp2017-02-06 16:47 337  
[ ]finseq_3__4759_19.min1.thm12017-02-06 12:46 1.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80