Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/finseq_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_1__48_13.min1.thm12017-02-06 12:46 130  
[ ]finseq_1__61_63.min1.thm12017-02-06 12:46 711  
[ ]finseq_1__62_18.min1.thm12017-02-06 12:46 954  
[ ]finseq_1__64_16.min1.thm12017-02-06 12:46 369  
[ ]finseq_1__64_16.min1.thm1.tptp2017-02-06 16:47 291  
[ ]finseq_1__71_15.min1.thm12017-02-06 12:46 368  
[ ]finseq_1__73_54.min1.thm12017-02-06 12:46 573  
[ ]finseq_1__73_54.min1.thm1.tptp2017-02-06 16:47 517  
[ ]finseq_1__74_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__83_20.min1.thm12017-02-06 12:46 335  
[ ]finseq_1__83_20.min1.thm1.tptp2017-02-06 16:47 258  
[ ]finseq_1__84_60.min1.thm12017-02-06 12:46 958  
[ ]finseq_1__99_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__100_14.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__101_21.min1.thm12017-02-06 12:46 397  
[ ]finseq_1__104_17.min1.thm12017-02-06 12:46 319  
[ ]finseq_1__104_17.min1.thm1.tptp2017-02-06 16:47 254  
[ ]finseq_1__105_20.min1.thm12017-02-06 12:46 971  
[ ]finseq_1__107_24.min1.thm12017-02-06 12:46 424  
[ ]finseq_1__107_24.min1.thm1.tptp2017-02-06 16:47 372  
[ ]finseq_1__116_12.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__117_19.min1.thm12017-02-06 12:46 743  
[ ]finseq_1__118_28.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__119_21.min1.thm12017-02-06 12:46 447  
[ ]finseq_1__122_26.min1.thm12017-02-06 12:46 367  
[ ]finseq_1__122_26.min1.thm1.tptp2017-02-06 16:47 313  
[ ]finseq_1__123_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__125_17.min1.thm12017-02-06 12:46 442  
[ ]finseq_1__125_17.min1.thm1.tptp2017-02-06 16:47 390  
[ ]finseq_1__132_34.min1.thm12017-02-06 12:46 427  
[ ]finseq_1__133_27.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__134_14.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__139_14.min1.thm12017-02-06 12:46 689  
[ ]finseq_1__143_20.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__155_43.min1.thm12017-02-06 12:46 723  
[ ]finseq_1__156_13.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__157_13.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__158_18.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__159_19.min1.thm12017-02-06 12:46 946  
[ ]finseq_1__165_22.min1.thm12017-02-06 12:46 404  
[ ]finseq_1__166_19.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__168_14.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__175_25.min1.thm12017-02-06 12:46 637  
[ ]finseq_1__176_17.min1.thm12017-02-06 12:46 597  
[ ]finseq_1__183_24.min1.thm12017-02-06 12:46 545  
[ ]finseq_1__184_17.min1.thm12017-02-06 12:46 824  
[ ]finseq_1__188_42.min1.thm12017-02-06 12:46 759  
[ ]finseq_1__195_15.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__197_24.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__200_38.min1.thm12017-02-06 12:46 542  
[ ]finseq_1__200_38.min1.thm1.tptp2017-02-06 16:47 480  
[ ]finseq_1__201_37.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__202_19.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__207_37.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__208_13.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__209_11.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__210_18.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__211_34.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__212_17.min1.thm12017-02-06 12:46 600  
[ ]finseq_1__219_36.min1.thm12017-02-06 12:46 463  
[ ]finseq_1__219_36.min1.thm1.tptp2017-02-06 16:47 386  
[ ]finseq_1__224_29.min1.thm12017-02-06 12:46 765  
[ ]finseq_1__227_39.min1.thm12017-02-06 12:46 758  
[ ]finseq_1__230_16.min1.thm12017-02-06 12:46 375  
[ ]finseq_1__230_16.min1.thm1.tptp2017-02-06 16:47 310  
[ ]finseq_1__231_13.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__234_17.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__254_18.min1.thm12017-02-06 12:46 859  
[ ]finseq_1__278_58.min1.thm12017-02-06 12:46 670  
[ ]finseq_1__279_36.min1.thm12017-02-06 12:46 924  
[ ]finseq_1__281_19.min1.thm12017-02-06 12:46 416  
[ ]finseq_1__281_19.min1.thm1.tptp2017-02-06 16:47 341  
[ ]finseq_1__295_20.min1.thm12017-02-06 12:46 666  
[ ]finseq_1__298_20.min1.thm12017-02-06 12:46 733  
[ ]finseq_1__299_55.min1.thm12017-02-06 12:46 787  
[ ]finseq_1__300_37.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__301_25.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__308_14.min1.thm12017-02-06 12:46 826  
[ ]finseq_1__310_18.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__313_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__314_24.min1.thm12017-02-06 12:46 602  
[ ]finseq_1__317_20.min1.thm12017-02-06 12:46 424  
[ ]finseq_1__319_16.min1.thm12017-02-06 12:46 248  
[ ]finseq_1__330_22.min1.thm12017-02-06 12:46 771  
[ ]finseq_1__331_38.min1.thm12017-02-06 12:46 775  
[ ]finseq_1__332_19.min1.thm12017-02-06 12:46 603  
[ ]finseq_1__339_8.min1.thm12017-02-06 12:46 700  
[ ]finseq_1__344_21.min1.thm12017-02-06 12:46 344  
[ ]finseq_1__344_21.min1.thm1.tptp2017-02-06 16:47 267  
[ ]finseq_1__345_22.min1.thm12017-02-06 12:46 461  
[ ]finseq_1__346_69.min1.thm12017-02-06 12:46 661  
[ ]finseq_1__352_19.min1.thm12017-02-06 12:46 491  
[ ]finseq_1__352_19.min1.thm1.tptp2017-02-06 16:47 437  
[ ]finseq_1__353_14.min1.thm12017-02-06 12:46 355  
[ ]finseq_1__353_14.min1.thm1.tptp2017-02-06 16:47 290  
[ ]finseq_1__360_21.min1.thm12017-02-06 12:46 549  
[ ]finseq_1__360_21.min1.thm1.tptp2017-02-06 16:47 495  
[ ]finseq_1__361_16.min1.thm12017-02-06 12:46 387  
[ ]finseq_1__361_16.min1.thm1.tptp2017-02-06 16:47 322  
[ ]finseq_1__362_21.min1.thm12017-02-06 12:46 652  
[ ]finseq_1__368_14.min1.thm12017-02-06 12:46 336  
[ ]finseq_1__368_14.min1.thm1.tptp2017-02-06 16:47 255  
[ ]finseq_1__371_56.min1.thm12017-02-06 12:46 333  
[ ]finseq_1__371_56.min1.thm1.tptp2017-02-06 16:47 252  
[ ]finseq_1__372_17.min1.thm12017-02-06 12:46 781  
[ ]finseq_1__379_26.min1.thm12017-02-06 12:46 355  
[ ]finseq_1__379_26.min1.thm1.tptp2017-02-06 16:47 278  
[ ]finseq_1__380_26.min1.thm12017-02-06 12:46 749  
[ ]finseq_1__395_23.min1.thm12017-02-06 12:46 181  
[ ]finseq_1__396_16.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__402_20.min1.thm12017-02-06 12:46 450  
[ ]finseq_1__402_20.min1.thm1.tptp2017-02-06 16:47 391  
[ ]finseq_1__417_29.min1.thm12017-02-06 12:46 920  
[ ]finseq_1__418_23.min1.thm12017-02-06 12:46 850  
[ ]finseq_1__419_23.min1.thm12017-02-06 12:46 683  
[ ]finseq_1__421_27.min1.thm12017-02-06 12:46 296  
[ ]finseq_1__428_18.min1.thm12017-02-06 12:46 658  
[ ]finseq_1__429_24.min1.thm12017-02-06 12:46 848  
[ ]finseq_1__430_23.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__436_19.min1.thm12017-02-06 12:46 704  
[ ]finseq_1__437_16.min1.thm12017-02-06 12:46 714  
[ ]finseq_1__438_25.min1.thm12017-02-06 12:46 811  
[ ]finseq_1__439_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__442_27.min1.thm12017-02-06 12:46 736  
[ ]finseq_1__446_24.min1.thm12017-02-06 12:46 914  
[ ]finseq_1__447_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__451_22.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__452_18.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__460_28.min1.thm12017-02-06 12:46 655  
[ ]finseq_1__461_16.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__473_32.min1.thm12017-02-06 12:46 707  
[ ]finseq_1__479_17.min1.thm12017-02-06 12:46 509  
[ ]finseq_1__481_14.min1.thm12017-02-06 12:46 815  
[ ]finseq_1__482_17.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__483_17.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__491_43.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__495_34.min1.thm12017-02-06 12:46 711  
[ ]finseq_1__497_16.min1.thm12017-02-06 12:46 847  
[ ]finseq_1__506_17.min1.thm12017-02-06 12:46 371  
[ ]finseq_1__507_34.min1.thm12017-02-06 12:46 711  
[ ]finseq_1__509_16.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__518_14.min1.thm12017-02-06 12:46 670  
[ ]finseq_1__519_15.min1.thm12017-02-06 12:46 872  
[ ]finseq_1__520_30.min1.thm12017-02-06 12:46 775  
[ ]finseq_1__522_16.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__531_38.min1.thm12017-02-06 12:46 937  
[ ]finseq_1__532_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__541_24.min1.thm12017-02-06 12:46 784  
[ ]finseq_1__542_24.min1.thm12017-02-06 12:46 784  
[ ]finseq_1__547_30.min1.thm12017-02-06 12:46 783  
[ ]finseq_1__548_26.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__549_22.min1.thm12017-02-06 12:46 686  
[ ]finseq_1__551_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__558_27.min1.thm12017-02-06 12:46 892  
[ ]finseq_1__559_26.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__561_17.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__568_26.min1.thm12017-02-06 12:46 837  
[ ]finseq_1__569_19.min1.thm12017-02-06 12:46 786  
[ ]finseq_1__570_17.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__579_23.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__580_24.min1.thm12017-02-06 12:46 897  
[ ]finseq_1__581_34.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__582_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__596_18.min1.thm12017-02-06 12:46 447  
[ ]finseq_1__597_16.min1.thm12017-02-06 12:46 617  
[ ]finseq_1__607_22.min1.thm12017-02-06 12:46 541  
[ ]finseq_1__614_30.min1.thm12017-02-06 12:46 814  
[ ]finseq_1__615_17.min1.thm12017-02-06 12:46 887  
[ ]finseq_1__620_11.min1.thm12017-02-06 12:46 358  
[ ]finseq_1__620_11.min1.thm1.tptp2017-02-06 16:47 303  
[ ]finseq_1__627_34.min1.thm12017-02-06 12:46 454  
[ ]finseq_1__628_16.min1.thm12017-02-06 12:46 693  
[ ]finseq_1__635_14.min1.thm12017-02-06 12:46 523  
[ ]finseq_1__635_14.min1.thm1.tptp2017-02-06 16:47 474  
[ ]finseq_1__644_31.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__645_41.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__646_29.min1.thm12017-02-06 12:46 584  
[ ]finseq_1__646_29.min1.thm1.tptp2017-02-06 16:47 513  
[ ]finseq_1__647_17.min1.thm12017-02-06 12:46 969  
[ ]finseq_1__654_35.min1.thm12017-02-06 12:46 921  
[ ]finseq_1__660_20.min1.thm12017-02-06 12:46 472  
[ ]finseq_1__660_20.min1.thm1.tptp2017-02-06 16:47 401  
[ ]finseq_1__661_44.min1.thm12017-02-06 12:46 627  
[ ]finseq_1__670_25.min1.thm12017-02-06 12:46 761  
[ ]finseq_1__677_25.min1.thm12017-02-06 12:46 3.3K 
[ ]finseq_1__678_22.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__681_14.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__688_11.min1.thm12017-02-06 12:46 131  
[ ]finseq_1__697_18.min1.thm12017-02-06 12:46 447  
[ ]finseq_1__698_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__705_11.min1.thm12017-02-06 12:46 285  
[ ]finseq_1__705_11.min1.thm1.tptp2017-02-06 16:47 202  
[ ]finseq_1__714_15.min1.thm12017-02-06 12:46 287  
[ ]finseq_1__714_15.min1.thm1.tptp2017-02-06 16:47 204  
[ ]finseq_1__749_78.min1.thm12017-02-06 12:46 584  
[ ]finseq_1__750_23.min1.thm12017-02-06 12:46 949  
[ ]finseq_1__750_23.min1.thm1.tptp2017-02-06 16:47 927  
[ ]finseq_1__757_53.min1.thm12017-02-06 12:46 873  
[ ]finseq_1__757_53.min1.thm1.tptp2017-02-06 16:47 824  
[ ]finseq_1__758_20.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__758_20.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]finseq_1__760_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__760_21.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]finseq_1__771_23.min1.thm12017-02-06 12:46 895  
[ ]finseq_1__773_28.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__774_31.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__775_45.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__776_21.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__783_23.min1.thm12017-02-06 12:46 895  
[ ]finseq_1__785_15.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__786_19.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__787_31.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__788_35.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__789_39.min1.thm12017-02-06 12:46 945  
[ ]finseq_1__794_49.min1.thm12017-02-06 12:46 3.4K 
[ ]finseq_1__799_18.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__821_41.min1.thm12017-02-06 12:46 953  
[ ]finseq_1__824_31.min1.thm12017-02-06 12:46 3.2K 
[ ]finseq_1__826_25.min1.thm12017-02-06 12:46 935  
[ ]finseq_1__827_42.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__833_30.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__835_21.min1.thm12017-02-06 12:46 899  
[ ]finseq_1__836_23.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__837_23.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__839_21.min1.thm12017-02-06 12:46 786  
[ ]finseq_1__848_38.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__849_24.min1.thm12017-02-06 12:46 784  
[ ]finseq_1__852_46.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__859_34.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__873_35.min1.thm12017-02-06 12:46 921  
[ ]finseq_1__878_21.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__880_22.min1.thm12017-02-06 12:46 905  
[ ]finseq_1__889_45.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_1__900_25.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__902_30.min1.thm12017-02-06 12:46 834  
[ ]finseq_1__907_26.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__908_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__914_37.min1.thm12017-02-06 12:46 929  
[ ]finseq_1__918_15.min1.thm12017-02-06 12:46 871  
[ ]finseq_1__919_28.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__921_19.min1.thm12017-02-06 12:46 911  
[ ]finseq_1__923_19.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__925_17.min1.thm12017-02-06 12:46 929  
[ ]finseq_1__925_17.min1.thm1.tptp2017-02-06 16:47 882  
[ ]finseq_1__931_27.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__932_41.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__933_31.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__934_17.min1.thm12017-02-06 12:46 955  
[ ]finseq_1__943_21.min1.thm12017-02-06 12:46 871  
[ ]finseq_1__944_37.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__946_13.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__947_17.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__948_19.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__950_21.min1.thm12017-02-06 12:46 2.7K 
[ ]finseq_1__951_31.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_1__953_17.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__960_45.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__961_14.min1.thm12017-02-06 12:46 436  
[ ]finseq_1__972_12.min1.thm12017-02-06 12:46 762  
[ ]finseq_1__973_39.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__974_24.min1.thm12017-02-06 12:46 680  
[ ]finseq_1__975_18.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__978_17.min1.thm12017-02-06 12:46 485  
[ ]finseq_1__978_17.min1.thm1.tptp2017-02-06 16:47 421  
[ ]finseq_1__989_12.min1.thm12017-02-06 12:46 762  
[ ]finseq_1__990_39.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__992_26.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__994_17.min1.thm12017-02-06 12:46 485  
[ ]finseq_1__994_17.min1.thm1.tptp2017-02-06 16:47 421  
[ ]finseq_1__1006_30.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1007_39.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__1017_39.min1.thm12017-02-06 12:46 937  
[ ]finseq_1__1020_27.min1.thm12017-02-06 12:46 3.2K 
[ ]finseq_1__1022_25.min1.thm12017-02-06 12:46 910  
[ ]finseq_1__1027_28.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__1029_19.min1.thm12017-02-06 12:46 883  
[ ]finseq_1__1031_25.min1.thm12017-02-06 12:46 825  
[ ]finseq_1__1033_32.min1.thm12017-02-06 12:46 714  
[ ]finseq_1__1036_34.min1.thm12017-02-06 12:46 571  
[ ]finseq_1__1036_34.min1.thm1.tptp2017-02-06 16:47 507  
[ ]finseq_1__1037_42.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1038_38.min1.thm12017-02-06 12:46 620  
[ ]finseq_1__1038_38.min1.thm1.tptp2017-02-06 16:47 549  
[ ]finseq_1__1039_17.min1.thm12017-02-06 12:46 695  
[ ]finseq_1__1045_45.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1046_36.min1.thm12017-02-06 12:46 827  
[ ]finseq_1__1048_31.min1.thm12017-02-06 12:46 827  
[ ]finseq_1__1054_24.min1.thm12017-02-06 12:46 680  
[ ]finseq_1__1056_14.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1066_37.min1.thm12017-02-06 12:46 945  
[ ]finseq_1__1069_20.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1075_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1077_35.min1.thm12017-02-06 12:46 959  
[ ]finseq_1__1081_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1081_19.min1.thm1.tptp2017-02-06 16:47 891  
[ ]finseq_1__1094_36.min1.thm12017-02-06 12:46 848  
[ ]finseq_1__1095_41.min1.thm12017-02-06 12:46 894  
[ ]finseq_1__1098_17.min1.thm12017-02-06 12:46 788  
[ ]finseq_1__1104_26.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__1105_16.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__1107_19.min1.thm12017-02-06 12:46 953  
[ ]finseq_1__1112_36.min1.thm12017-02-06 12:46 850  
[ ]finseq_1__1113_24.min1.thm12017-02-06 12:46 725  
[ ]finseq_1__1116_17.min1.thm12017-02-06 12:46 788  
[ ]finseq_1__1125_19.min1.thm12017-02-06 12:46 953  
[ ]finseq_1__1127_17.min1.thm12017-02-06 12:46 686  
[ ]finseq_1__1133_33.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__1134_30.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1136_43.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__1137_19.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__1138_33.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__1139_30.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1148_17.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__1155_20.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__1155_40.min1.thm12017-02-06 12:46 723  
[ ]finseq_1__1165_45.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1166_17.min1.thm12017-02-06 12:46 625  
[ ]finseq_1__1167_26.min1.thm12017-02-06 12:46 654  
[ ]finseq_1__1175_25.min1.thm12017-02-06 12:46 541  
[ ]finseq_1__1176_17.min1.thm12017-02-06 12:46 510  
[ ]finseq_1__1184_11.min1.thm12017-02-06 12:46 551  
[ ]finseq_1__1191_28.min1.thm12017-02-06 12:46 800  
[ ]finseq_1__1192_19.min1.thm12017-02-06 12:46 554  
[ ]finseq_1__1193_22.min1.thm12017-02-06 12:46 659  
[ ]finseq_1__1198_42.min1.thm12017-02-06 12:46 632  
[ ]finseq_1__1205_19.min1.thm12017-02-06 12:46 733  
[ ]finseq_1__1206_21.min1.thm12017-02-06 12:46 553  
[ ]finseq_1__1207_24.min1.thm12017-02-06 12:46 672  
[ ]finseq_1__1208_16.min1.thm12017-02-06 12:46 343  
[ ]finseq_1__1208_16.min1.thm1.tptp2017-02-06 16:47 278  
[ ]finseq_1__1209_18.min1.thm12017-02-06 12:46 516  
[ ]finseq_1__1210_27.min1.thm12017-02-06 12:46 704  
[ ]finseq_1__1215_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1216_21.min1.thm12017-02-06 12:46 972  
[ ]finseq_1__1225_11.min1.thm12017-02-06 12:46 565  
[ ]finseq_1__1234_18.min1.thm12017-02-06 12:46 770  
[ ]finseq_1__1242_23.min1.thm12017-02-06 12:46 676  
[ ]finseq_1__1244_26.min1.thm12017-02-06 12:46 820  
[ ]finseq_1__1245_28.min1.thm12017-02-06 12:46 311  
[ ]finseq_1__1246_20.min1.thm12017-02-06 12:46 563  
[ ]finseq_1__1247_32.min1.thm12017-02-06 12:46 627  
[ ]finseq_1__1248_28.min1.thm12017-02-06 12:46 404  
[ ]finseq_1__1248_28.min1.thm1.tptp2017-02-06 16:47 330  
[ ]finseq_1__1249_20.min1.thm12017-02-06 12:46 656  
[ ]finseq_1__1250_17.min1.thm12017-02-06 12:46 627  
[ ]finseq_1__1257_13.min1.thm12017-02-06 12:46 131  
[ ]finseq_1__1261_13.min1.thm12017-02-06 12:46 131  
[ ]finseq_1__1267_11.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1276_11.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1279_11.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1283_19.min1.thm12017-02-06 12:46 335  
[ ]finseq_1__1283_19.min1.thm1.tptp2017-02-06 16:47 262  
[ ]finseq_1__1292_26.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1293_18.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1294_25.min1.thm12017-02-06 12:46 693  
[ ]finseq_1__1295_19.min1.thm12017-02-06 12:46 954  
[ ]finseq_1__1300_15.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1301_20.min1.thm12017-02-06 12:46 807  
[ ]finseq_1__1302_17.min1.thm12017-02-06 12:46 371  
[ ]finseq_1__1302_17.min1.thm1.tptp2017-02-06 16:47 306  
[ ]finseq_1__1303_17.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1309_32.min1.thm12017-02-06 12:46 957  
[ ]finseq_1__1310_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1316_32.min1.thm12017-02-06 12:46 957  
[ ]finseq_1__1317_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1323_12.min1.thm12017-02-06 12:46 902  
[ ]finseq_1__1324_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1326_17.min1.thm12017-02-06 12:46 953  
[ ]finseq_1__1332_22.min1.thm12017-02-06 12:46 964  
[ ]finseq_1__1333_21.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1335_10.min1.thm12017-02-06 12:46 770  
[ ]finseq_1__1349_42.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1350_25.min1.thm12017-02-06 12:46 939  
[ ]finseq_1__1351_17.min1.thm12017-02-06 12:46 867  
[ ]finseq_1__1352_9.min1.thm12017-02-06 12:46 644  
[ ]finseq_1__1353_15.min1.thm12017-02-06 12:46 252  
[ ]finseq_1__1354_26.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1356_13.min1.thm12017-02-06 12:46 772  
[ ]finseq_1__1357_21.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1358_37.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1359_41.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1360_19.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_1__1361_13.min1.thm12017-02-06 12:46 772  
[ ]finseq_1__1367_23.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__1368_28.min1.thm12017-02-06 12:46 891  
[ ]finseq_1__1369_36.min1.thm12017-02-06 12:46 963  
[ ]finseq_1__1374_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1375_15.min1.thm12017-02-06 12:46 323  
[ ]finseq_1__1375_15.min1.thm1.tptp2017-02-06 16:47 258  
[ ]finseq_1__1376_19.min1.thm12017-02-06 12:46 954  
[ ]finseq_1__1383_15.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1384_41.min1.thm12017-02-06 12:46 947  
[ ]finseq_1__1385_18.min1.thm12017-02-06 12:46 413  
[ ]finseq_1__1385_18.min1.thm1.tptp2017-02-06 16:47 348  
[ ]finseq_1__1386_18.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1387_19.min1.thm12017-02-06 12:46 754  
[ ]finseq_1__1399_43.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__1400_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1401_14.min1.thm12017-02-06 12:46 867  
[ ]finseq_1__1402_9.min1.thm12017-02-06 12:46 801  
[ ]finseq_1__1403_15.min1.thm12017-02-06 12:46 252  
[ ]finseq_1__1405_21.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1406_35.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1407_18.min1.thm12017-02-06 12:46 2.4K 
[ ]finseq_1__1408_12.min1.thm12017-02-06 12:46 772  
[ ]finseq_1__1409_35.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__1410_28.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1412_12.min1.thm12017-02-06 12:46 959  
[ ]finseq_1__1413_21.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1414_39.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__1415_46.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1416_19.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_1__1417_13.min1.thm12017-02-06 12:46 772  
[ ]finseq_1__1424_23.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__1425_32.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1426_40.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1431_22.min1.thm12017-02-06 12:46 942  
[ ]finseq_1__1434_33.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1435_32.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1436_19.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1442_20.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1444_13.min1.thm12017-02-06 12:46 323  
[ ]finseq_1__1444_13.min1.thm1.tptp2017-02-06 16:47 258  
[ ]finseq_1__1445_45.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1446_18.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__1456_20.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1457_35.min1.thm12017-02-06 12:46 921  
[ ]finseq_1__1458_40.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1461_29.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1462_28.min1.thm12017-02-06 12:46 892  
[ ]finseq_1__1463_14.min1.thm12017-02-06 12:46 958  
[ ]finseq_1__1464_28.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1468_40.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1469_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1471_15.min1.thm12017-02-06 12:46 786  
[ ]finseq_1__1477_43.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1478_20.min1.thm12017-02-06 12:46 2.4K 
[ ]finseq_1__1480_26.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__1484_22.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1485_32.min1.thm12017-02-06 12:46 2.6K 
[ ]finseq_1__1490_16.min1.thm12017-02-06 12:46 906  
[ ]finseq_1__1492_31.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1493_58.min1.thm12017-02-06 12:46 950  
[ ]finseq_1__1494_42.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1495_28.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_1__1496_20.min1.thm12017-02-06 12:46 2.4K 
[ ]finseq_1__1497_16.min1.thm12017-02-06 12:46 437  
[ ]finseq_1__1497_16.min1.thm1.tptp2017-02-06 16:47 372  
[ ]finseq_1__1499_19.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__1512_20.min1.thm12017-02-06 12:46 956  
[ ]finseq_1__1513_17.min1.thm12017-02-06 12:46 351  
[ ]finseq_1__1513_17.min1.thm1.tptp2017-02-06 16:47 286  
[ ]finseq_1__1514_16.min1.thm12017-02-06 12:46 492  
[ ]finseq_1__1532_36.min1.thm12017-02-06 12:46 495  
[ ]finseq_1__1534_11.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1542_20.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__1544_20.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1545_36.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1546_25.min1.thm12017-02-06 12:46 943  
[ ]finseq_1__1548_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1550_23.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1553_30.min1.thm12017-02-06 12:46 380  
[ ]finseq_1__1556_17.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1557_17.min1.thm12017-02-06 12:46 805  
[ ]finseq_1__1573_20.min1.thm12017-02-06 12:46 474  
[ ]finseq_1__1573_20.min1.thm1.tptp2017-02-06 16:47 407  
[ ]finseq_1__1574_14.min1.thm12017-02-06 12:46 2.4K 
[ ]finseq_1__1588_33.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1589_26.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__1595_36.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__1596_26.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__1598_17.min1.thm12017-02-06 12:46 476  
[ ]finseq_1__1598_17.min1.thm1.tptp2017-02-06 16:47 409  
[ ]finseq_1__1600_18.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1604_40.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1606_27.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1607_35.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1609_27.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1610_24.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1613_30.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1614_18.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1616_19.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1626_20.min1.thm12017-02-06 12:46 559  
[ ]finseq_1__1642_48.min1.thm12017-02-06 12:46 412  
[ ]finseq_1__1644_45.min1.thm12017-02-06 12:46 262  
[ ]finseq_1__1645_18.min1.thm12017-02-06 12:46 536  
[ ]finseq_1__1646_19.min1.thm12017-02-06 12:46 850  
[ ]finseq_1__1658_37.min1.thm12017-02-06 12:46 389  
[ ]finseq_1__1658_37.min1.thm1.tptp2017-02-06 16:47 308  
[ ]finseq_1__1659_23.min1.thm12017-02-06 12:46 389  
[ ]finseq_1__1659_23.min1.thm1.tptp2017-02-06 16:47 308  
[ ]finseq_1__1662_35.min1.thm12017-02-06 12:46 385  
[ ]finseq_1__1662_35.min1.thm1.tptp2017-02-06 16:47 304  
[ ]finseq_1__1663_22.min1.thm12017-02-06 12:46 385  
[ ]finseq_1__1663_22.min1.thm1.tptp2017-02-06 16:47 304  
[ ]finseq_1__1665_19.min1.thm12017-02-06 12:46 446  
[ ]finseq_1__1665_19.min1.thm1.tptp2017-02-06 16:47 394  
[ ]finseq_1__1675_14.min1.thm12017-02-06 12:46 388  
[ ]finseq_1__1675_14.min1.thm1.tptp2017-02-06 16:47 322  
[ ]finseq_1__1676_16.min1.thm12017-02-06 12:46 359  
[ ]finseq_1__1676_16.min1.thm1.tptp2017-02-06 16:47 279  
[ ]finseq_1__1685_12.min1.thm12017-02-06 12:46 626  
[ ]finseq_1__1697_45.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1698_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1699_15.min1.thm12017-02-06 12:46 276  
[ ]finseq_1__1700_22.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1703_14.min1.thm12017-02-06 12:46 776  
[ ]finseq_1__1704_22.min1.thm12017-02-06 12:46 892  
[ ]finseq_1__1705_37.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1706_14.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__1708_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1709_18.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__1711_21.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__1712_39.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1713_49.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1715_49.min1.thm12017-02-06 12:46 274  
[ ]finseq_1__1719_13.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__1721_18.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__1723_18.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1724_64.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1725_26.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1728_47.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1736_32.min1.thm12017-02-06 12:46 880  
[ ]finseq_1__1741_45.min1.thm12017-02-06 12:46 799  
[ ]finseq_1__1745_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1746_30.min1.thm12017-02-06 12:46 921  
[ ]finseq_1__1747_44.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1748_20.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__1749_18.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1750_32.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1751_38.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1752_33.min1.thm12017-02-06 12:46 933  
[ ]finseq_1__1753_24.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__1754_30.min1.thm12017-02-06 12:46 375  
[ ]finseq_1__1754_30.min1.thm1.tptp2017-02-06 16:47 307  
[ ]finseq_1__1755_25.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1761_22.min1.thm12017-02-06 12:46 803  
[ ]finseq_1__1762_44.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1763_31.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1764_24.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__1765_20.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__1766_33.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__1767_38.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__1769_28.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1771_23.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1772_20.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__1774_24.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__1775_30.min1.thm12017-02-06 12:46 375  
[ ]finseq_1__1775_30.min1.thm1.tptp2017-02-06 16:47 307  
[ ]finseq_1__1776_25.min1.thm12017-02-06 12:46 684  
[ ]finseq_1__1778_23.min1.thm12017-02-06 12:46 953  
[ ]finseq_1__1785_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1786_25.min1.thm12017-02-06 12:46 899  
[ ]finseq_1__1787_40.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1788_21.min1.thm12017-02-06 12:46 563  
[ ]finseq_1__1790_16.min1.thm12017-02-06 12:46 724  
[ ]finseq_1__1795_21.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__1796_41.min1.thm12017-02-06 12:46 945  
[ ]finseq_1__1797_17.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__1798_25.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__1799_22.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__1801_21.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1802_24.min1.thm12017-02-06 12:46 968  
[ ]finseq_1__1803_28.min1.thm12017-02-06 12:46 963  
[ ]finseq_1__1808_18.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__1809_18.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__1810_27.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1812_23.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1813_25.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1814_28.min1.thm12017-02-06 12:46 860  
[ ]finseq_1__1816_35.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__1817_21.min1.thm12017-02-06 12:46 874  
[ ]finseq_1__1819_35.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1827_36.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1830_19.min1.thm12017-02-06 12:46 792  
[ ]finseq_1__1831_27.min1.thm12017-02-06 12:46 907  
[ ]finseq_1__1832_42.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1833_40.min1.thm12017-02-06 12:46 835  
[ ]finseq_1__1835_22.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__1836_27.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__1837_18.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__1838_26.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_1__1841_38.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__1842_40.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1843_47.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1844_33.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__1845_40.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__1847_28.min1.thm12017-02-06 12:46 371  
[ ]finseq_1__1847_28.min1.thm1.tptp2017-02-06 16:47 303  
[ ]finseq_1__1848_23.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__1854_27.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1855_21.min1.thm12017-02-06 12:46 867  
[ ]finseq_1__1856_33.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1857_43.min1.thm12017-02-06 12:46 822  
[ ]finseq_1__1858_21.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1867_25.min1.thm12017-02-06 12:46 599  
[ ]finseq_1__1871_59.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_1__1880_41.min1.thm12017-02-06 12:46 945  
[ ]finseq_1__1882_46.min1.thm12017-02-06 12:46 2.7K 
[ ]finseq_1__1884_27.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__1885_17.min1.thm12017-02-06 12:46 835  
[ ]finseq_1__1887_21.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__1888_17.min1.thm12017-02-06 12:46 848  
[ ]finseq_1__1889_30.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_1__1890_35.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__1892_25.min1.thm12017-02-06 12:46 965  
[ ]finseq_1__1893_22.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1895_18.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1896_16.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1898_17.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__1899_39.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_1__1908_41.min1.thm12017-02-06 12:46 945  
[ ]finseq_1__1910_46.min1.thm12017-02-06 12:46 2.7K 
[ ]finseq_1__1912_27.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__1913_17.min1.thm12017-02-06 12:46 835  
[ ]finseq_1__1915_21.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__1916_17.min1.thm12017-02-06 12:46 848  
[ ]finseq_1__1917_30.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_1__1918_35.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__1920_25.min1.thm12017-02-06 12:46 965  
[ ]finseq_1__1921_22.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1923_18.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1924_16.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__1926_17.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__1927_39.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_1__1937_45.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1940_36.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1941_36.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1942_18.min1.thm12017-02-06 12:46 836  
[ ]finseq_1__1943_18.min1.thm12017-02-06 12:46 836  
[ ]finseq_1__1944_22.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__1945_22.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__1946_18.min1.thm12017-02-06 12:46 848  
[ ]finseq_1__1947_18.min1.thm12017-02-06 12:46 848  
[ ]finseq_1__1948_26.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_1__1949_26.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_1__1950_31.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__1951_31.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__1952_26.min1.thm12017-02-06 12:46 965  
[ ]finseq_1__1953_26.min1.thm12017-02-06 12:46 965  
[ ]finseq_1__1966_39.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__1967_39.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__1973_19.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1974_21.min1.thm12017-02-06 12:46 339  
[ ]finseq_1__1974_21.min1.thm1.tptp2017-02-06 16:47 274  
[ ]finseq_1__1977_37.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__1982_40.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__1983_41.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1984_39.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__1988_43.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__1990_31.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__1993_44.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__1994_21.min1.thm12017-02-06 12:46 912  
[ ]finseq_1__2000_14.min1.thm12017-02-06 12:46 809  
[ ]finseq_1__2006_11.min1.thm12017-02-06 12:46 227  
[ ]finseq_1__2007_17.min1.thm12017-02-06 12:46 421  
[ ]finseq_1__2021_44.min1.thm12017-02-06 12:46 588  
[ ]finseq_1__2021_44.min1.thm1.tptp2017-02-06 16:47 529  
[ ]finseq_1__2022_42.min1.thm12017-02-06 12:46 479  
[ ]finseq_1__2024_19.min1.thm12017-02-06 12:46 776  
[ ]finseq_1__2024_19.min1.thm1.tptp2017-02-06 16:47 736  
[ ]finseq_1__2026_14.min1.thm12017-02-06 12:46 504  
[ ]finseq_1__2045_15.min1.thm12017-02-06 12:46 590  
[ ]finseq_1__2059_35.min1.thm12017-02-06 12:46 404  
[ ]finseq_1__2059_35.min1.thm1.tptp2017-02-06 16:47 316  
[ ]finseq_1__2060_22.min1.thm12017-02-06 12:46 812  
[ ]finseq_1__2068_21.min1.thm12017-02-06 12:46 490  
[ ]finseq_1__2068_21.min1.thm1.tptp2017-02-06 16:47 431  
[ ]finseq_1__2069_23.min1.thm12017-02-06 12:46 466  
[ ]finseq_1__2069_23.min1.thm1.tptp2017-02-06 16:47 388  
[ ]finseq_1__2070_29.min1.thm12017-02-06 12:46 575  
[ ]finseq_1__2071_17.min1.thm12017-02-06 12:46 907  
[ ]finseq_1__2077_21.min1.thm12017-02-06 12:46 490  
[ ]finseq_1__2077_21.min1.thm1.tptp2017-02-06 16:47 431  
[ ]finseq_1__2078_24.min1.thm12017-02-06 12:46 483  
[ ]finseq_1__2078_24.min1.thm1.tptp2017-02-06 16:47 409  
[ ]finseq_1__2079_30.min1.thm12017-02-06 12:46 575  
[ ]finseq_1__2080_17.min1.thm12017-02-06 12:46 907  
[ ]finseq_1__2088_29.min1.thm12017-02-06 12:46 510  
[ ]finseq_1__2088_29.min1.thm1.tptp2017-02-06 16:47 451  
[ ]finseq_1__2089_24.min1.thm12017-02-06 12:46 608  
[ ]finseq_1__2114_30.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__2115_17.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_1__2130_25.min1.thm12017-02-06 12:46 442  
[ ]finseq_1__2130_25.min1.thm1.tptp2017-02-06 16:47 376  
[ ]finseq_1__2131_24.min1.thm12017-02-06 12:46 932  
[ ]finseq_1__2132_45.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__2137_21.min1.thm12017-02-06 12:46 2.4K 
[ ]finseq_1__2138_19.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_1__2139_19.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__2149_16.min1.thm12017-02-06 12:46 779  
[ ]finseq_1__2150_27.min1.thm12017-02-06 12:46 617  
[ ]finseq_1__2151_26.min1.thm12017-02-06 12:46 940  
[ ]finseq_1__2152_19.min1.thm12017-02-06 12:46 425  
[ ]finseq_1__2152_19.min1.thm1.tptp2017-02-06 16:47 357  
[ ]finseq_1__2153_45.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__2154_21.min1.thm12017-02-06 12:46 2.4K 
[ ]finseq_1__2155_19.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_1__2156_19.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__2157_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2164_41.min1.thm12017-02-06 12:46 948  
[ ]finseq_1__2168_21.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__2171_26.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__2172_17.min1.thm12017-02-06 12:46 544  
[ ]finseq_1__2187_32.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__2189_23.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2190_19.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__2195_27.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__2201_27.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__2205_39.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__2210_34.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__2211_30.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2217_25.min1.thm12017-02-06 12:46 559  
[ ]finseq_1__2217_25.min1.thm1.tptp2017-02-06 16:47 478  
[ ]finseq_1__2240_10.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__2259_16.min1.thm12017-02-06 12:46 908  
[ ]finseq_1__2261_23.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2264_38.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2265_32.min1.thm12017-02-06 12:46 922  
[ ]finseq_1__2266_26.min1.thm12017-02-06 12:46 971  
[ ]finseq_1__2267_48.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2269_16.min1.thm12017-02-06 12:46 267  
[ ]finseq_1__2279_35.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__2281_31.min1.thm12017-02-06 12:46 2.4K 
[ ]finseq_1__2282_40.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__2284_27.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2289_21.min1.thm12017-02-06 12:46 794  
[ ]finseq_1__2293_26.min1.thm12017-02-06 12:46 2.8K 
[ ]finseq_1__2294_39.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2296_29.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__2297_36.min1.thm12017-02-06 12:46 965  
[ ]finseq_1__2298_47.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__2299_42.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__2303_34.min1.thm12017-02-06 12:46 371  
[ ]finseq_1__2307_28.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_1__2308_30.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2308_54.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__2309_25.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__2313_20.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__2319_43.min1.thm12017-02-06 12:46 592  
[ ]finseq_1__2325_17.min1.thm12017-02-06 12:46 828  
[ ]finseq_1__2326_26.min1.thm12017-02-06 12:46 939  
[ ]finseq_1__2327_41.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2328_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__2329_21.min1.thm12017-02-06 12:46 831  
[ ]finseq_1__2330_17.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__2331_19.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__2332_30.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__2333_26.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__2335_23.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__2336_23.min1.thm12017-02-06 12:46 638  
[ ]finseq_1__2337_26.min1.thm12017-02-06 12:46 914  
[ ]finseq_1__2338_25.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__2340_27.min1.thm12017-02-06 12:46 415  
[ ]finseq_1__2340_27.min1.thm1.tptp2017-02-06 16:47 351  
[ ]finseq_1__2341_51.min1.thm12017-02-06 12:46 667  
[ ]finseq_1__2342_26.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2343_38.min1.thm12017-02-06 12:46 2.8K 
[ ]finseq_1__2349_19.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2351_14.min1.thm12017-02-06 12:46 347  
[ ]finseq_1__2351_14.min1.thm1.tptp2017-02-06 16:47 282  
[ ]finseq_1__2356_25.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__2359_45.min1.thm12017-02-06 12:46 505  
[ ]finseq_1__2360_21.min1.thm12017-02-06 12:46 292  
[ ]finseq_1__2361_32.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2362_41.min1.thm12017-02-06 12:46 785  
[ ]finseq_1__2366_18.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__2367_27.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2368_43.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__2369_19.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_1__2370_23.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_1__2372_22.min1.thm12017-02-06 12:46 2.6K 
[ ]finseq_1__2373_23.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_1__2374_33.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__2376_27.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2377_25.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__2378_39.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2379_18.min1.thm12017-02-06 12:46 892  
[ ]finseq_1__2382_23.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2386_31.min1.thm12017-02-06 12:46 720  
[ ]finseq_1__2392_16.min1.thm12017-02-06 12:46 824  
[ ]finseq_1__2393_25.min1.thm12017-02-06 12:46 939  
[ ]finseq_1__2394_41.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2395_21.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__2396_40.min1.thm12017-02-06 12:46 937  
[ ]finseq_1__2397_29.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__2398_17.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__2399_24.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__2401_37.min1.thm12017-02-06 12:46 956  
[ ]finseq_1__2404_31.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2405_26.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2413_30.min1.thm12017-02-06 12:46 641  
[ ]finseq_1__2414_25.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__2418_45.min1.thm12017-02-06 12:46 867  
[ ]finseq_1__2419_23.min1.thm12017-02-06 12:46 756  
[ ]finseq_1__2431_21.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__2432_30.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__2433_26.min1.thm12017-02-06 12:46 939  
[ ]finseq_1__2435_27.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__2436_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__2437_30.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__2438_26.min1.thm12017-02-06 12:46 941  
[ ]finseq_1__2440_27.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__2441_29.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__2442_30.min1.thm12017-02-06 12:46 2.2K 
[ ]finseq_1__2443_38.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2444_34.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__2447_32.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__2454_16.min1.thm12017-02-06 12:46 912  
[ ]finseq_1__2455_25.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2456_41.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__2457_21.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__2458_40.min1.thm12017-02-06 12:46 938  
[ ]finseq_1__2459_29.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2460_17.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__2462_18.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__2463_28.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__2466_31.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__2467_26.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2475_30.min1.thm12017-02-06 12:46 645  
[ ]finseq_1__2480_45.min1.thm12017-02-06 12:46 872  
[ ]finseq_1__2481_23.min1.thm12017-02-06 12:46 761  
[ ]finseq_1__2493_21.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__2494_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2496_21.min1.thm12017-02-06 12:46 707  
[ ]finseq_1__2497_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__2499_21.min1.thm12017-02-06 12:46 904  
[ ]finseq_1__2500_22.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2501_22.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2502_19.min1.thm12017-02-06 12:46 817  
[ ]finseq_1__2503_19.min1.thm12017-02-06 12:46 817  
[ ]finseq_1__2518_28.min1.thm12017-02-06 12:46 486  
[ ]finseq_1__2518_28.min1.thm1.tptp2017-02-06 16:47 427  
[ ]finseq_1__2519_17.min1.thm12017-02-06 12:46 827  
[ ]finseq_1__2526_11.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__2534_30.min1.thm12017-02-06 12:46 487  
[ ]finseq_1__2534_30.min1.thm1.tptp2017-02-06 16:47 414  
[ ]finseq_1__2535_48.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__2536_29.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__2550_23.min1.thm12017-02-06 12:46 905  
[ ]finseq_1__2551_11.min1.thm12017-02-06 12:46 371  
[ ]finseq_1__2554_24.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__2555_14.min1.thm12017-02-06 12:46 774  
[ ]finseq_1__2568_45.min1.thm12017-02-06 12:46 880  
[ ]finseq_1__2575_41.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2576_15.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__2577_36.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__2578_18.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__2592_18.min1.thm12017-02-06 12:46 626  
[ ]finseq_1__2595_18.min1.thm12017-02-06 12:46 707  
[ ]finseq_1__2596_21.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__2597_32.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__2604_14.min1.thm12017-02-06 12:46 808  
[ ]finseq_1__2607_18.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__2608_48.min1.thm12017-02-06 12:46 565  
[ ]finseq_1__2608_48.min1.thm1.tptp2017-02-06 16:47 506  
[ ]finseq_1__2611_28.min1.thm12017-02-06 12:46 939  
[ ]finseq_1__2612_45.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__2614_18.min1.thm12017-02-06 12:46 900  
[ ]finseq_1__2619_21.min1.thm12017-02-06 12:46 579  
[ ]finseq_1__2625_54.min1.thm12017-02-06 12:46 640  
[ ]finseq_1__2626_32.min1.thm12017-02-06 12:46 900  
[ ]finseq_1__2628_15.min1.thm12017-02-06 12:46 368  
[ ]finseq_1__2628_15.min1.thm1.tptp2017-02-06 16:47 293  
[ ]finseq_1__2642_16.min1.thm12017-02-06 12:46 606  
[ ]finseq_1__2645_16.min1.thm12017-02-06 12:46 650  
[ ]finseq_1__2646_51.min1.thm12017-02-06 12:46 816  
[ ]finseq_1__2647_33.min1.thm12017-02-06 12:46 1.9K 
[ ]finseq_1__2653_39.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2654_13.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__2656_15.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__2657_37.min1.thm12017-02-06 12:46 929  
[ ]finseq_1__2658_13.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__2661_14.min1.thm12017-02-06 12:46 678  
[ ]finseq_1__2662_37.min1.thm12017-02-06 12:46 617  
[ ]finseq_1__2665_23.min1.thm12017-02-06 12:46 963  
[ ]finseq_1__2666_21.min1.thm12017-02-06 12:46 894  
[ ]finseq_1__2667_17.min1.thm12017-02-06 12:46 549  
[ ]finseq_1__2678_26.min1.thm12017-02-06 12:46 498  
[ ]finseq_1__2684_13.min1.thm12017-02-06 12:46 368  
[ ]finseq_1__2686_52.min1.thm12017-02-06 12:46 539  
[ ]finseq_1__2686_52.min1.thm1.tptp2017-02-06 16:47 483  
[ ]finseq_1__2689_19.min1.thm12017-02-06 12:46 750  
[ ]finseq_1__2690_25.min1.thm12017-02-06 12:46 754  
[ ]finseq_1__2694_15.min1.thm12017-02-06 12:46 435  
[ ]finseq_1__2697_19.min1.thm12017-02-06 12:46 750  
[ ]finseq_1__2698_25.min1.thm12017-02-06 12:46 556  
[ ]finseq_1__2702_16.min1.thm12017-02-06 12:46 435  
[ ]finseq_1__2703_39.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2704_18.min1.thm12017-02-06 12:46 409  
[ ]finseq_1__2705_18.min1.thm12017-02-06 12:46 409  
[ ]finseq_1__2706_22.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__2707_22.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__2708_23.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__2709_23.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__2714_36.min1.thm12017-02-06 12:46 900  
[ ]finseq_1__2721_36.min1.thm12017-02-06 12:46 900  
[ ]finseq_1__2724_33.min1.thm12017-02-06 12:46 582  
[ ]finseq_1__2725_33.min1.thm12017-02-06 12:46 582  
[ ]finseq_1__2726_30.min1.thm12017-02-06 12:46 678  
[ ]finseq_1__2727_30.min1.thm12017-02-06 12:46 678  
[ ]finseq_1__2735_29.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__2740_27.min1.thm12017-02-06 12:46 264  
[ ]finseq_1__2743_24.min1.thm12017-02-06 12:46 282  
[ ]finseq_1__2750_25.min1.thm12017-02-06 12:46 347  
[ ]finseq_1__2750_25.min1.thm1.tptp2017-02-06 16:47 278  
[ ]finseq_1__2752_27.min1.thm12017-02-06 12:46 429  
[ ]finseq_1__2753_17.min1.thm12017-02-06 12:46 560  
[ ]finseq_1__2760_27.min1.thm12017-02-06 12:46 338  
[ ]finseq_1__2760_27.min1.thm1.tptp2017-02-06 16:47 257  
[ ]finseq_1__2761_17.min1.thm12017-02-06 12:46 782  
[ ]finseq_1__2770_11.min1.thm12017-02-06 12:46 498  
[ ]finseq_1__2789_14.min1.thm12017-02-06 12:46 817  
[ ]finseq_1__2791_14.min1.thm12017-02-06 12:46 817  
[ ]finseq_1__2797_11.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2816_41.min1.thm12017-02-06 12:46 739  
[ ]finseq_1__2818_13.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2820_18.min1.thm12017-02-06 12:46 666  
[ ]finseq_1__2826_32.min1.thm12017-02-06 12:46 615  
[ ]finseq_1__2827_41.min1.thm12017-02-06 12:46 726  
[ ]finseq_1__2829_16.min1.thm12017-02-06 12:46 971  
[ ]finseq_1__2843_14.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2855_11.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__2862_28.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2863_24.min1.thm12017-02-06 12:46 907  
[ ]finseq_1__2864_17.min1.thm12017-02-06 12:46 901  
[ ]finseq_1__2871_29.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__2872_24.min1.thm12017-02-06 12:46 907  
[ ]finseq_1__2873_37.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__2885_13.min1.thm12017-02-06 12:46 542  
[ ]finseq_1__2886_13.min1.thm12017-02-06 12:46 553  
[ ]finseq_1__2887_13.min1.thm12017-02-06 12:46 447  
[ ]finseq_1__2889_15.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__2890_15.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2891_17.min1.thm12017-02-06 12:46 948  
[ ]finseq_1__2900_9.min1.thm12017-02-06 12:46 959  
[ ]finseq_1__2902_13.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__2903_17.min1.thm12017-02-06 12:46 848  
[ ]finseq_1__2904_16.min1.thm12017-02-06 12:46 756  
[ ]finseq_1__2905_21.min1.thm12017-02-06 12:46 623  
[ ]finseq_1__2906_13.min1.thm12017-02-06 12:46 447  
[ ]finseq_1__2907_18.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2908_17.min1.thm12017-02-06 12:46 859  
[ ]finseq_1__2942_36.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2950_34.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__2964_47.min1.thm12017-02-06 12:46 376  
[ ]finseq_1__2964_47.min1.thm1.tptp2017-02-06 16:47 307  
[ ]finseq_1__2965_16.min1.thm12017-02-06 12:46 627  
[ ]finseq_1__2966_21.min1.thm12017-02-06 12:46 458  
[ ]finseq_1__2967_32.min1.thm12017-02-06 12:46 936  
[ ]finseq_1__2968_17.min1.thm12017-02-06 12:46 376  
[ ]finseq_1__2968_17.min1.thm1.tptp2017-02-06 16:47 307  
[ ]finseq_1__2979_18.min1.thm12017-02-06 12:46 748  
[ ]finseq_1__2990_26.min1.thm12017-02-06 12:46 863  
[ ]finseq_1__2991_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__3001_33.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__3003_17.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3034_19.min1.thm12017-02-06 12:46 621  
[ ]finseq_1__3034_19.min1.thm1.tptp2017-02-06 16:47 558  
[ ]finseq_1__3036_27.min1.thm12017-02-06 12:46 2.4K 
[ ]finseq_1__3038_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__3039_30.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__3041_19.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__3043_14.min1.thm12017-02-06 12:46 832  
[ ]finseq_1__3048_28.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3050_15.min1.thm12017-02-06 12:46 944  
[ ]finseq_1__3052_28.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3054_28.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__3056_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3058_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3060_16.min1.thm12017-02-06 12:46 944  
[ ]finseq_1__3062_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3064_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3066_29.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__3068_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3070_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3072_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3074_16.min1.thm12017-02-06 12:46 945  
[ ]finseq_1__3076_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3078_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3080_29.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3082_29.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__3093_24.min1.thm12017-02-06 12:46 710  
[ ]finseq_1__3095_18.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__3096_30.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__3097_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__3099_15.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__3100_8.min1.thm12017-02-06 12:46 800  
[ ]finseq_1__3103_31.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3120_15.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__3121_8.min1.thm12017-02-06 12:46 800  
[ ]finseq_1__3124_31.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__3143_15.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__3144_8.min1.thm12017-02-06 12:46 800  
[ ]finseq_1__3148_31.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__3167_15.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3168_8.min1.thm12017-02-06 12:46 800  
[ ]finseq_1__3172_31.min1.thm12017-02-06 12:46 1.6K 
[ ]finseq_1__3192_15.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__3193_8.min1.thm12017-02-06 12:46 800  
[ ]finseq_1__3197_31.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__3217_15.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__3218_8.min1.thm12017-02-06 12:46 800  
[ ]finseq_1__3222_31.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__3229_46.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__3232_55.min1.thm12017-02-06 12:46 1.8K 
[ ]finseq_1__3236_29.min1.thm12017-02-06 12:46 336  
[ ]finseq_1__3239_77.min1.thm12017-02-06 12:46 447  
[ ]finseq_1__3239_77.min1.thm1.tptp2017-02-06 16:47 403  
[ ]finseq_1__3250_21.min1.thm12017-02-06 12:46 773  
[ ]finseq_1__3251_11.min1.thm12017-02-06 12:46 867  
[ ]finseq_1__3259_23.min1.thm12017-02-06 12:46 961  
[ ]finseq_1__3260_11.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__3261_23.min1.thm12017-02-06 12:46 961  
[ ]finseq_1__3262_11.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__3270_25.min1.thm12017-02-06 12:46 668  
[ ]finseq_1__3271_11.min1.thm12017-02-06 12:46 832  
[ ]finseq_1__3272_25.min1.thm12017-02-06 12:46 668  
[ ]finseq_1__3273_11.min1.thm12017-02-06 12:46 832  
[ ]finseq_1__3274_25.min1.thm12017-02-06 12:46 668  
[ ]finseq_1__3275_11.min1.thm12017-02-06 12:46 832  
[ ]finseq_1__3285_30.min1.thm12017-02-06 12:46 506  
[ ]finseq_1__3287_24.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__3298_29.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__3299_42.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__3300_32.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__3301_17.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__3311_24.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__3321_15.min1.thm12017-02-06 12:46 384  
[ ]finseq_1__3325_23.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__3326_26.min1.thm12017-02-06 12:46 795  
[ ]finseq_1__3327_27.min1.thm12017-02-06 12:46 1.5K 
[ ]finseq_1__3328_28.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__3338_15.min1.thm12017-02-06 12:46 2.3K 
[ ]finseq_1__3340_17.min1.thm12017-02-06 12:46 2.1K 
[ ]finseq_1__3343_24.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__3344_28.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__3346_26.min1.thm12017-02-06 12:46 709  
[ ]finseq_1__3346_26.min1.thm1.tptp2017-02-06 16:47 626  
[ ]finseq_1__3369_18.min1.thm12017-02-06 12:46 957  
[ ]finseq_1__3381_12.min1.thm12017-02-06 12:46 461  
[ ]finseq_1__3382_17.min1.thm12017-02-06 12:46 529  
[ ]finseq_1__3390_11.min1.thm12017-02-06 12:46 666  
[ ]finseq_1__3400_24.min1.thm12017-02-06 12:46 555  
[ ]finseq_1__3419_10.min1.thm12017-02-06 12:46 810  
[ ]finseq_1__3420_14.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__3422_15.min1.thm12017-02-06 12:46 828  
[ ]finseq_1__3423_19.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__3424_19.min1.thm12017-02-06 12:46 645  
[ ]finseq_1__3430_12.min1.thm12017-02-06 12:46 738  
[ ]finseq_1__3431_19.min1.thm12017-02-06 12:46 538  
[ ]finseq_1__3434_15.min1.thm12017-02-06 12:46 707  
[ ]finseq_1__3435_14.min1.thm12017-02-06 12:46 335  
[ ]finseq_1__3435_14.min1.thm1.tptp2017-02-06 16:47 267  
[ ]finseq_1__3436_9.min1.thm12017-02-06 12:46 960  
[ ]finseq_1__3438_14.min1.thm12017-02-06 12:46 2.6K 
[ ]finseq_1__3439_11.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__3440_17.min1.thm12017-02-06 12:46 954  
[ ]finseq_1__3451_20.min1.thm12017-02-06 12:46 455  
[ ]finseq_1__3451_20.min1.thm1.tptp2017-02-06 16:47 389  
[ ]finseq_1__3452_39.min1.thm12017-02-06 12:46 1.0K 
[ ]finseq_1__3454_24.min1.thm12017-02-06 12:46 819  
[ ]finseq_1__3455_22.min1.thm12017-02-06 12:46 1.7K 
[ ]finseq_1__3464_11.min1.thm12017-02-06 12:46 499  
[ ]finseq_1__3469_26.min1.thm12017-02-06 12:46 947  
[ ]finseq_1__3475_27.min1.thm12017-02-06 12:46 654  
[ ]finseq_1__3502_22.min1.thm12017-02-06 12:46 319  
[ ]finseq_1__3502_22.min1.thm1.tptp2017-02-06 16:47 234  
[ ]finseq_1__3504_17.min1.thm12017-02-06 12:46 590  
[ ]finseq_1__3514_28.min1.thm12017-02-06 12:46 859  
[ ]finseq_1__3523_26.min1.thm12017-02-06 12:46 376  
[ ]finseq_1__3523_26.min1.thm1.tptp2017-02-06 16:47 307  
[ ]finseq_1__3525_19.min1.thm12017-02-06 12:46 624  
[ ]finseq_1__3526_17.min1.thm12017-02-06 12:46 555  
[ ]finseq_1__3527_18.min1.thm12017-02-06 12:46 907  
[ ]finseq_1__3537_25.min1.thm12017-02-06 12:46 491  
[ ]finseq_1__3550_37.min1.thm12017-02-06 12:46 494  
[ ]finseq_1__3551_53.min1.thm12017-02-06 12:46 669  
[ ]finseq_1__3552_20.min1.thm12017-02-06 12:46 583  
[ ]finseq_1__3553_31.min1.thm12017-02-06 12:46 637  
[ ]finseq_1__3554_16.min1.thm12017-02-06 12:46 447  
[ ]finseq_1__3563_32.min1.thm12017-02-06 12:46 196  
[ ]finseq_1__3564_19.min1.thm12017-02-06 12:46 886  
[ ]finseq_1__3574_25.min1.thm12017-02-06 12:46 1.1K 
[ ]finseq_1__3585_34.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__3586_21.min1.thm12017-02-06 12:46 791  
[ ]finseq_1__3587_27.min1.thm12017-02-06 12:46 944  
[ ]finseq_1__3588_17.min1.thm12017-02-06 12:46 1.2K 
[ ]finseq_1__3596_57.min1.thm12017-02-06 12:46 866  
[ ]finseq_1__3607_24.min1.thm12017-02-06 12:46 956  
[ ]finseq_1__3608_23.min1.thm12017-02-06 12:46 736  
[ ]finseq_1__3612_12.min1.thm12017-02-06 12:46 790  
[ ]finseq_1__3613_22.min1.thm12017-02-06 12:46 891  
[ ]finseq_1__3619_18.min1.thm12017-02-06 12:46 2.0K 
[ ]finseq_1__3621_15.min1.thm12017-02-06 12:46 2.8K 
[ ]finseq_1__3622_22.min1.thm12017-02-06 12:46 891  
[ ]finseq_1__3624_17.min1.thm12017-02-06 12:46 930  
[ ]finseq_1__3632_16.min1.thm12017-02-06 12:46 555  
[ ]finseq_1__3633_25.min1.thm12017-02-06 12:46 906  
[ ]finseq_1__3641_27.min1.thm12017-02-06 12:46 784  
[ ]finseq_1__3642_26.min1.thm12017-02-06 12:46 2.6K 
[ ]finseq_1__3659_45.min1.thm12017-02-06 12:46 1.3K 
[ ]finseq_1__3660_22.min1.thm12017-02-06 12:46 2.5K 
[ ]finseq_1__3661_19.min1.thm12017-02-06 12:46 1.4K 
[ ]finseq_1__3672_20.min1.thm12017-02-06 12:46 949  
[ ]finseq_1__3673_17.min1.thm12017-02-06 12:46 430  
[ ]finseq_1__3683_14.min1.thm12017-02-06 12:46 498  
[ ]finseq_1__3696_13.min1.thm12017-02-06 12:46 254  
[ ]finseq_1__3699_21.min1.thm12017-02-06 12:46 650  
[ ]finseq_1__3700_19.min1.thm12017-02-06 12:46 448  
[ ]finseq_1__3700_19.min1.thm1.tptp2017-02-06 16:47 374  
[ ]finseq_1__3701_21.min1.thm12017-02-06 12:46 872  
[ ]finseq_1__3704_21.min1.thm12017-02-06 12:46 916  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80