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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fib_num3__44_17.min1.thm12017-02-06 12:46 649  
[ ]fib_num3__53_18.min1.thm12017-02-06 12:46 896  
[ ]fib_num3__54_26.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__55_14.min1.thm12017-02-06 12:46 322  
[ ]fib_num3__62_9.min1.thm12017-02-06 12:46 796  
[ ]fib_num3__63_19.min1.thm12017-02-06 12:46 920  
[ ]fib_num3__64_17.min1.thm12017-02-06 12:46 885  
[ ]fib_num3__71_11.min1.thm12017-02-06 12:46 949  
[ ]fib_num3__72_17.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__78_25.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__80_14.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__88_58.min1.thm12017-02-06 12:46 741  
[ ]fib_num3__89_62.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__90_50.min1.thm12017-02-06 12:46 920  
[ ]fib_num3__91_38.min1.thm12017-02-06 12:46 888  
[ ]fib_num3__94_14.min1.thm12017-02-06 12:46 378  
[ ]fib_num3__102_54.min1.thm12017-02-06 12:46 413  
[ ]fib_num3__102_54.min1.thm1.tptp2017-02-06 16:47 336  
[ ]fib_num3__103_37.min1.thm12017-02-06 12:46 419  
[ ]fib_num3__103_37.min1.thm1.tptp2017-02-06 16:47 342  
[ ]fib_num3__104_14.min1.thm12017-02-06 12:46 502  
[ ]fib_num3__112_28.min1.thm12017-02-06 12:46 769  
[ ]fib_num3__119_14.min1.thm12017-02-06 12:46 856  
[ ]fib_num3__121_14.min1.thm12017-02-06 12:46 2.4K 
[ ]fib_num3__130_60.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__133_41.min1.thm12017-02-06 12:46 1.5K 
[ ]fib_num3__136_31.min1.thm12017-02-06 12:46 338  
[ ]fib_num3__136_31.min1.thm1.tptp2017-02-06 16:47 261  
[ ]fib_num3__137_42.min1.thm12017-02-06 12:46 370  
[ ]fib_num3__137_42.min1.thm1.tptp2017-02-06 16:47 293  
[ ]fib_num3__138_27.min1.thm12017-02-06 12:46 1.7K 
[ ]fib_num3__139_23.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__140_35.min1.thm12017-02-06 12:46 328  
[ ]fib_num3__140_35.min1.thm1.tptp2017-02-06 16:47 251  
[ ]fib_num3__151_46.min1.thm12017-02-06 12:46 1.4K 
[ ]fib_num3__153_16.min1.thm12017-02-06 12:46 1.8K 
[ ]fib_num3__155_65.min1.thm12017-02-06 12:46 402  
[ ]fib_num3__155_65.min1.thm1.tptp2017-02-06 16:47 325  
[ ]fib_num3__156_48.min1.thm12017-02-06 12:46 1.7K 
[ ]fib_num3__157_37.min1.thm12017-02-06 12:46 418  
[ ]fib_num3__157_37.min1.thm1.tptp2017-02-06 16:47 341  
[ ]fib_num3__158_26.min1.thm12017-02-06 12:46 386  
[ ]fib_num3__158_26.min1.thm1.tptp2017-02-06 16:47 309  
[ ]fib_num3__160_44.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__161_27.min1.thm12017-02-06 12:46 1.8K 
[ ]fib_num3__163_8.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__164_11.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__166_14.min1.thm12017-02-06 12:46 519  
[ ]fib_num3__166_14.min1.thm1.tptp2017-02-06 16:47 442  
[ ]fib_num3__176_72.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__183_37.min1.thm12017-02-06 12:46 338  
[ ]fib_num3__183_37.min1.thm1.tptp2017-02-06 16:47 261  
[ ]fib_num3__184_50.min1.thm12017-02-06 12:46 370  
[ ]fib_num3__184_50.min1.thm1.tptp2017-02-06 16:47 293  
[ ]fib_num3__186_27.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__187_46.min1.thm12017-02-06 12:46 346  
[ ]fib_num3__187_46.min1.thm1.tptp2017-02-06 16:47 269  
[ ]fib_num3__196_53.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__198_54.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__199_37.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__200_16.min1.thm12017-02-06 12:46 1.8K 
[ ]fib_num3__203_8.min1.thm12017-02-06 12:46 402  
[ ]fib_num3__203_8.min1.thm1.tptp2017-02-06 16:47 325  
[ ]fib_num3__204_58.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__205_47.min1.thm12017-02-06 12:46 418  
[ ]fib_num3__205_47.min1.thm1.tptp2017-02-06 16:47 341  
[ ]fib_num3__206_32.min1.thm12017-02-06 12:46 386  
[ ]fib_num3__206_32.min1.thm1.tptp2017-02-06 16:47 309  
[ ]fib_num3__208_52.min1.thm12017-02-06 12:46 901  
[ ]fib_num3__209_31.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__211_8.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__212_11.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__214_14.min1.thm12017-02-06 12:46 519  
[ ]fib_num3__214_14.min1.thm1.tptp2017-02-06 16:47 442  
[ ]fib_num3__234_18.min1.thm12017-02-06 12:46 1.8K 
[ ]fib_num3__249_19.min1.thm12017-02-06 12:46 1.6K 
[ ]fib_num3__263_11.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__265_44.min1.thm12017-02-06 12:46 3.1K 
[ ]fib_num3__267_11.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__269_53.min1.thm12017-02-06 12:46 1.4K 
[ ]fib_num3__269_53.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]fib_num3__272_54.min1.thm12017-02-06 12:46 3.3K 
[ ]fib_num3__274_42.min1.thm12017-02-06 12:46 1.4K 
[ ]fib_num3__274_42.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]fib_num3__284_34.min1.thm12017-02-06 12:46 1.6K 
[ ]fib_num3__284_62.min1.thm12017-02-06 12:46 555  
[ ]fib_num3__284_62.min1.thm1.tptp2017-02-06 16:47 482  
[ ]fib_num3__293_14.min1.thm12017-02-06 12:46 446  
[ ]fib_num3__299_25.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__299_37.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__300_8.min1.thm12017-02-06 12:46 931  
[ ]fib_num3__301_14.min1.thm12017-02-06 12:46 206  
[ ]fib_num3__307_25.min1.thm12017-02-06 12:46 892  
[ ]fib_num3__307_35.min1.thm12017-02-06 12:46 1.4K 
[ ]fib_num3__308_8.min1.thm12017-02-06 12:46 931  
[ ]fib_num3__309_14.min1.thm12017-02-06 12:46 206  
[ ]fib_num3__315_27.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__315_36.min1.thm12017-02-06 12:46 1.8K 
[ ]fib_num3__316_7.min1.thm12017-02-06 12:46 931  
[ ]fib_num3__317_14.min1.thm12017-02-06 12:46 206  
[ ]fib_num3__324_8.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__331_13.min1.thm12017-02-06 12:46 193  
[ ]fib_num3__334_21.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__338_20.min1.thm12017-02-06 12:46 400  
[ ]fib_num3__340_31.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__341_38.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__348_11.min1.thm12017-02-06 12:46 426  
[ ]fib_num3__348_11.min1.thm1.tptp2017-02-06 16:47 351  
[ ]fib_num3__365_41.min1.thm12017-02-06 12:46 1.5K 
[ ]fib_num3__368_11.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__369_11.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__371_16.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__380_13.min1.thm12017-02-06 12:46 191  
[ ]fib_num3__383_21.min1.thm12017-02-06 12:46 618  
[ ]fib_num3__387_21.min1.thm12017-02-06 12:46 1.5K 
[ ]fib_num3__397_47.min1.thm12017-02-06 12:46 2.5K 
[ ]fib_num3__411_41.min1.thm12017-02-06 12:46 2.3K 
[ ]fib_num3__413_51.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__416_50.min1.thm12017-02-06 12:46 805  
[ ]fib_num3__416_50.min1.thm1.tptp2017-02-06 16:47 732  
[ ]fib_num3__418_16.min1.thm12017-02-06 12:46 1.7K 
[ ]fib_num3__420_9.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__421_20.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__423_11.min1.thm12017-02-06 12:46 1.5K 
[ ]fib_num3__424_9.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__426_11.min1.thm12017-02-06 12:46 1.8K 
[ ]fib_num3__434_27.min1.thm12017-02-06 12:46 296  
[ ]fib_num3__434_27.min1.thm1.tptp2017-02-06 16:47 219  
[ ]fib_num3__435_59.min1.thm12017-02-06 12:46 919  
[ ]fib_num3__436_8.min1.thm12017-02-06 12:46 642  
[ ]fib_num3__438_11.min1.thm12017-02-06 12:46 560  
[ ]fib_num3__438_11.min1.thm1.tptp2017-02-06 16:47 489  
[ ]fib_num3__445_66.min1.thm12017-02-06 12:46 1.5K 
[ ]fib_num3__448_75.min1.thm12017-02-06 12:46 769  
[ ]fib_num3__448_75.min1.thm1.tptp2017-02-06 16:47 692  
[ ]fib_num3__449_74.min1.thm12017-02-06 12:46 1.7K 
[ ]fib_num3__450_54.min1.thm12017-02-06 12:46 666  
[ ]fib_num3__450_54.min1.thm1.tptp2017-02-06 16:47 589  
[ ]fib_num3__451_16.min1.thm12017-02-06 12:46 500  
[ ]fib_num3__453_56.min1.thm12017-02-06 12:46 382  
[ ]fib_num3__457_14.min1.thm12017-02-06 12:46 360  
[ ]fib_num3__471_53.min1.thm12017-02-06 12:46 1.4K 
[ ]fib_num3__473_64.min1.thm12017-02-06 12:46 736  
[ ]fib_num3__473_64.min1.thm1.tptp2017-02-06 16:47 659  
[ ]fib_num3__479_23.min1.thm12017-02-06 12:46 2.1K 
[ ]fib_num3__480_16.min1.thm12017-02-06 12:46 2.1K 
[ ]fib_num3__482_9.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__483_20.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__485_11.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__486_11.min1.thm12017-02-06 12:46 2.3K 
[ ]fib_num3__494_11.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__504_18.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__508_24.min1.thm12017-02-06 12:46 585  
[ ]fib_num3__508_24.min1.thm1.tptp2017-02-06 16:47 512  
[ ]fib_num3__509_19.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__510_16.min1.thm12017-02-06 12:46 1.8K 
[ ]fib_num3__512_11.min1.thm12017-02-06 12:46 2.1K 
[ ]fib_num3__527_56.min1.thm12017-02-06 12:46 586  
[ ]fib_num3__527_56.min1.thm1.tptp2017-02-06 16:47 509  
[ ]fib_num3__528_49.min1.thm12017-02-06 12:46 660  
[ ]fib_num3__528_49.min1.thm1.tptp2017-02-06 16:47 583  
[ ]fib_num3__530_35.min1.thm12017-02-06 12:46 1.8K 
[ ]fib_num3__532_21.min1.thm12017-02-06 12:46 1.5K 
[ ]fib_num3__533_22.min1.thm12017-02-06 12:46 2.4K 
[ ]fib_num3__534_16.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__536_9.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__537_20.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__539_11.min1.thm12017-02-06 12:46 1.7K 
[ ]fib_num3__540_11.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__542_14.min1.thm12017-02-06 12:46 457  
[ ]fib_num3__542_14.min1.thm1.tptp2017-02-06 16:47 380  
[ ]fib_num3__550_9.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__552_17.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__558_60.min1.thm12017-02-06 12:46 610  
[ ]fib_num3__558_60.min1.thm1.tptp2017-02-06 16:47 533  
[ ]fib_num3__563_26.min1.thm12017-02-06 12:46 1.8K 
[ ]fib_num3__564_16.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__566_11.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__567_18.min1.thm12017-02-06 12:46 1.4K 
[ ]fib_num3__569_11.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__570_11.min1.thm12017-02-06 12:46 2.2K 
[ ]fib_num3__572_14.min1.thm12017-02-06 12:46 489  
[ ]fib_num3__572_14.min1.thm1.tptp2017-02-06 16:47 412  
[ ]fib_num3__589_71.min1.thm12017-02-06 12:46 821  
[ ]fib_num3__589_71.min1.thm1.tptp2017-02-06 16:47 744  
[ ]fib_num3__590_38.min1.thm12017-02-06 12:46 2.9K 
[ ]fib_num3__590_74.min1.thm12017-02-06 12:46 2.8K 
[ ]fib_num3__594_64.min1.thm12017-02-06 12:46 866  
[ ]fib_num3__594_64.min1.thm1.tptp2017-02-06 16:47 789  
[ ]fib_num3__595_54.min1.thm12017-02-06 12:46 780  
[ ]fib_num3__595_54.min1.thm1.tptp2017-02-06 16:47 703  
[ ]fib_num3__596_18.min1.thm12017-02-06 12:46 754  
[ ]fib_num3__604_31.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__607_16.min1.thm12017-02-06 12:46 570  
[ ]fib_num3__609_11.min1.thm12017-02-06 12:46 3.5K 
[ ]fib_num3__611_14.min1.thm12017-02-06 12:46 810  
[ ]fib_num3__627_49.min1.thm12017-02-06 12:46 2.1K 
[ ]fib_num3__629_62.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__639_40.min1.thm12017-02-06 12:46 2.1K 
[ ]fib_num3__640_20.min1.thm12017-02-06 12:46 1.4K 
[ ]fib_num3__641_45.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__643_8.min1.thm12017-02-06 12:46 1.6K 
[ ]fib_num3__644_62.min1.thm12017-02-06 12:46 2.3K 
[ ]fib_num3__645_15.min1.thm12017-02-06 12:46 1.7K 
[ ]fib_num3__648_8.min1.thm12017-02-06 12:46 2.2K 
[ ]fib_num3__657_15.min1.thm12017-02-06 12:46 372  
[ ]fib_num3__661_26.min1.thm12017-02-06 12:46 702  
[ ]fib_num3__661_26.min1.thm1.tptp2017-02-06 16:47 625  
[ ]fib_num3__663_25.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__665_4.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__669_14.min1.thm12017-02-06 12:46 374  
[ ]fib_num3__677_9.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__679_17.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__698_46.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__698_46.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]fib_num3__702_40.min1.thm12017-02-06 12:46 2.3K 
[ ]fib_num3__704_55.min1.thm12017-02-06 12:46 2.4K 
[ ]fib_num3__710_40.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__710_40.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]fib_num3__716_50.min1.thm12017-02-06 12:46 1.7K 
[ ]fib_num3__716_50.min1.thm1.tptp2017-02-06 16:47 1.6K 
[ ]fib_num3__720_56.min1.thm12017-02-06 12:46 835  
[ ]fib_num3__720_56.min1.thm1.tptp2017-02-06 16:47 758  
[ ]fib_num3__721_45.min1.thm12017-02-06 12:46 761  
[ ]fib_num3__721_45.min1.thm1.tptp2017-02-06 16:47 684  
[ ]fib_num3__729_16.min1.thm12017-02-06 12:46 2.3K 
[ ]fib_num3__731_9.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__732_26.min1.thm12017-02-06 12:46 1.6K 
[ ]fib_num3__733_44.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__735_8.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__736_11.min1.thm12017-02-06 12:46 2.2K 
[ ]fib_num3__749_66.min1.thm12017-02-06 12:46 2.1K 
[ ]fib_num3__751_37.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__752_44.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__756_29.min1.thm12017-02-06 12:46 1.5K 
[ ]fib_num3__757_20.min1.thm12017-02-06 12:46 381  
[ ]fib_num3__757_20.min1.thm1.tptp2017-02-06 16:47 266  
[ ]fib_num3__759_57.min1.thm12017-02-06 12:46 908  
[ ]fib_num3__761_16.min1.thm12017-02-06 12:46 796  
[ ]fib_num3__764_42.min1.thm12017-02-06 12:46 755  
[ ]fib_num3__765_41.min1.thm12017-02-06 12:46 1.5K 
[ ]fib_num3__766_28.min1.thm12017-02-06 12:46 1.4K 
[ ]fib_num3__767_14.min1.thm12017-02-06 12:46 558  
[ ]fib_num3__776_8.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__778_22.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__779_14.min1.thm12017-02-06 12:46 628  
[ ]fib_num3__789_39.min1.thm12017-02-06 12:46 563  
[ ]fib_num3__790_35.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__791_16.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__809_18.min1.thm12017-02-06 12:46 1.8K 
[ ]fib_num3__824_19.min1.thm12017-02-06 12:46 1.6K 
[ ]fib_num3__839_11.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__841_44.min1.thm12017-02-06 12:46 3.1K 
[ ]fib_num3__843_11.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__845_53.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__845_53.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]fib_num3__848_54.min1.thm12017-02-06 12:46 3.3K 
[ ]fib_num3__850_42.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__850_42.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]fib_num3__854_14.min1.thm12017-02-06 12:46 638  
[ ]fib_num3__865_70.min1.thm12017-02-06 12:46 2.6K 
[ ]fib_num3__868_28.min1.thm12017-02-06 12:46 3.0K 
[ ]fib_num3__869_14.min1.thm12017-02-06 12:46 1.4K 
[ ]fib_num3__876_56.min1.thm12017-02-06 12:46 855  
[ ]fib_num3__877_22.min1.thm12017-02-06 12:46 2.1K 
[ ]fib_num3__878_14.min1.thm12017-02-06 12:46 606  
[ ]fib_num3__888_14.min1.thm12017-02-06 12:46 638  
[ ]fib_num3__898_14.min1.thm12017-02-06 12:46 638  
[ ]fib_num3__905_11.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__910_43.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__911_19.min1.thm12017-02-06 12:46 464  
[ ]fib_num3__911_19.min1.thm1.tptp2017-02-06 16:47 387  
[ ]fib_num3__912_16.min1.thm12017-02-06 12:46 378  
[ ]fib_num3__914_11.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__916_14.min1.thm12017-02-06 12:46 458  
[ ]fib_num3__923_11.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__928_48.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__929_22.min1.thm12017-02-06 12:46 476  
[ ]fib_num3__929_22.min1.thm1.tptp2017-02-06 16:47 399  
[ ]fib_num3__930_16.min1.thm12017-02-06 12:46 372  
[ ]fib_num3__932_11.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__934_14.min1.thm12017-02-06 12:46 452  
[ ]fib_num3__946_26.min1.thm12017-02-06 12:46 2.6K 
[ ]fib_num3__947_14.min1.thm12017-02-06 12:46 638  
[ ]fib_num3__956_21.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__963_14.min1.thm12017-02-06 12:46 638  
[ ]fib_num3__975_14.min1.thm12017-02-06 12:46 644  
[ ]fib_num3__988_58.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__990_8.min1.thm12017-02-06 12:46 636  
[ ]fib_num3__997_15.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__999_56.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__1000_27.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1001_22.min1.thm12017-02-06 12:46 1.7K 
[ ]fib_num3__1002_25.min1.thm12017-02-06 12:46 511  
[ ]fib_num3__1002_25.min1.thm1.tptp2017-02-06 16:47 436  
[ ]fib_num3__1004_24.min1.thm12017-02-06 12:46 1.5K 
[ ]fib_num3__1005_64.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1006_52.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1010_8.min1.thm12017-02-06 12:46 1.5K 
[ ]fib_num3__1011_65.min1.thm12017-02-06 12:46 1.4K 
[ ]fib_num3__1013_39.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__1014_52.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1015_65.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__1016_18.min1.thm12017-02-06 12:46 820  
[ ]fib_num3__1018_11.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1020_15.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1021_33.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1023_62.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1025_55.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__1027_8.min1.thm12017-02-06 12:46 636  
[ ]fib_num3__1029_16.min1.thm12017-02-06 12:46 960  
[ ]fib_num3__1043_11.min1.thm12017-02-06 12:46 1.4K 
[ ]fib_num3__1049_40.min1.thm12017-02-06 12:46 508  
[ ]fib_num3__1049_40.min1.thm1.tptp2017-02-06 16:47 431  
[ ]fib_num3__1051_29.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1052_18.min1.thm12017-02-06 12:46 422  
[ ]fib_num3__1054_11.min1.thm12017-02-06 12:46 1.5K 
[ ]fib_num3__1056_16.min1.thm12017-02-06 12:46 402  
[ ]fib_num3__1056_16.min1.thm1.tptp2017-02-06 16:47 325  
[ ]fib_num3__1059_11.min1.thm12017-02-06 12:46 2.7K 
[ ]fib_num3__1068_59.min1.thm12017-02-06 12:46 602  
[ ]fib_num3__1068_59.min1.thm1.tptp2017-02-06 16:47 525  
[ ]fib_num3__1069_51.min1.thm12017-02-06 12:46 680  
[ ]fib_num3__1069_51.min1.thm1.tptp2017-02-06 16:47 603  
[ ]fib_num3__1071_28.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1072_29.min1.thm12017-02-06 12:46 2.9K 
[ ]fib_num3__1073_18.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__1075_42.min1.thm12017-02-06 12:46 2.2K 
[ ]fib_num3__1076_44.min1.thm12017-02-06 12:46 1.7K 
[ ]fib_num3__1078_24.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1080_8.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__1081_11.min1.thm12017-02-06 12:46 2.3K 
[ ]fib_num3__1083_16.min1.thm12017-02-06 12:46 467  
[ ]fib_num3__1083_16.min1.thm1.tptp2017-02-06 16:47 390  
[ ]fib_num3__1093_27.min1.thm12017-02-06 12:46 730  
[ ]fib_num3__1093_27.min1.thm1.tptp2017-02-06 16:47 653  
[ ]fib_num3__1097_31.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1099_16.min1.thm12017-02-06 12:46 1.8K 
[ ]fib_num3__1102_14.min1.thm12017-02-06 12:46 699  
[ ]fib_num3__1102_14.min1.thm1.tptp2017-02-06 16:47 622  
[ ]fib_num3__1109_39.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1110_60.min1.thm12017-02-06 12:46 1.6K 
[ ]fib_num3__1129_63.min1.thm12017-02-06 12:46 836  
[ ]fib_num3__1129_63.min1.thm1.tptp2017-02-06 16:47 759  
[ ]fib_num3__1130_52.min1.thm12017-02-06 12:46 762  
[ ]fib_num3__1130_52.min1.thm1.tptp2017-02-06 16:47 685  
[ ]fib_num3__1131_16.min1.thm12017-02-06 12:46 698  
[ ]fib_num3__1133_20.min1.thm12017-02-06 12:46 707  
[ ]fib_num3__1138_14.min1.thm12017-02-06 12:46 795  
[ ]fib_num3__1151_27.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__1153_16.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__1155_22.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1156_24.min1.thm12017-02-06 12:46 1.5K 
[ ]fib_num3__1158_8.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__1159_24.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1160_24.min1.thm12017-02-06 12:46 909  
[ ]fib_num3__1161_38.min1.thm12017-02-06 12:46 1.6K 
[ ]fib_num3__1163_21.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1165_8.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1167_14.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__1178_33.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1179_24.min1.thm12017-02-06 12:46 1.6K 
[ ]fib_num3__1180_12.min1.thm12017-02-06 12:46 909  
[ ]fib_num3__1181_35.min1.thm12017-02-06 12:46 961  
[ ]fib_num3__1182_16.min1.thm12017-02-06 12:46 1.4K 
[ ]fib_num3__1185_74.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__1189_51.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__1191_72.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1203_23.min1.thm12017-02-06 12:46 1.4K 
[ ]fib_num3__1204_46.min1.thm12017-02-06 12:46 843  
[ ]fib_num3__1206_40.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1208_31.min1.thm12017-02-06 12:46 1.7K 
[ ]fib_num3__1209_19.min1.thm12017-02-06 12:46 947  
[ ]fib_num3__1212_11.min1.thm12017-02-06 12:46 1.7K 
[ ]fib_num3__1214_41.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__1216_43.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__1217_31.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1221_65.min1.thm12017-02-06 12:46 1.5K 
[ ]fib_num3__1221_65.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]fib_num3__1230_70.min1.thm12017-02-06 12:46 2.2K 
[ ]fib_num3__1234_35.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__1255_21.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1257_22.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1259_6.min1.thm12017-02-06 12:46 1.8K 
[ ]fib_num3__1263_21.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__1264_21.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1268_60.min1.thm12017-02-06 12:46 945  
[ ]fib_num3__1269_72.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1283_11.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__1291_30.min1.thm12017-02-06 12:46 2.4K 
[ ]fib_num3__1293_16.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__1295_11.min1.thm12017-02-06 12:46 2.7K 
[ ]fib_num3__1297_14.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1305_19.min1.thm12017-02-06 12:46 912  
[ ]fib_num3__1305_28.min1.thm12017-02-06 12:46 1.6K 
[ ]fib_num3__1306_31.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1307_24.min1.thm12017-02-06 12:46 1.6K 
[ ]fib_num3__1308_12.min1.thm12017-02-06 12:46 909  
[ ]fib_num3__1310_11.min1.thm12017-02-06 12:46 2.2K 
[ ]fib_num3__1320_47.min1.thm12017-02-06 12:46 820  
[ ]fib_num3__1320_47.min1.thm1.tptp2017-02-06 16:47 743  
[ ]fib_num3__1321_36.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__1323_16.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__1325_11.min1.thm12017-02-06 12:46 2.9K 
[ ]fib_num3__1327_14.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__1335_11.min1.thm12017-02-06 12:46 1.7K 
[ ]fib_num3__1342_47.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1344_21.min1.thm12017-02-06 12:46 516  
[ ]fib_num3__1344_21.min1.thm1.tptp2017-02-06 16:47 439  
[ ]fib_num3__1345_16.min1.thm12017-02-06 12:46 450  
[ ]fib_num3__1347_11.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1349_14.min1.thm12017-02-06 12:46 596  
[ ]fib_num3__1363_43.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__1366_21.min1.thm12017-02-06 12:46 516  
[ ]fib_num3__1366_21.min1.thm1.tptp2017-02-06 16:47 439  
[ ]fib_num3__1367_16.min1.thm12017-02-06 12:46 1.8K 
[ ]fib_num3__1369_31.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1370_24.min1.thm12017-02-06 12:46 1.6K 
[ ]fib_num3__1371_12.min1.thm12017-02-06 12:46 953  
[ ]fib_num3__1373_11.min1.thm12017-02-06 12:46 1.8K 
[ ]fib_num3__1374_11.min1.thm12017-02-06 12:46 1.9K 
[ ]fib_num3__1376_14.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1392_15.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__1393_72.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1395_30.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__1396_16.min1.thm12017-02-06 12:46 758  
[ ]fib_num3__1398_48.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__1399_12.min1.thm12017-02-06 12:46 909  
[ ]fib_num3__1400_26.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1402_8.min1.thm12017-02-06 12:46 586  
[ ]fib_num3__1403_48.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__1404_12.min1.thm12017-02-06 12:46 914  
[ ]fib_num3__1405_26.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1407_8.min1.thm12017-02-06 12:46 616  
[ ]fib_num3__1409_14.min1.thm12017-02-06 12:46 855  
[ ]fib_num3__1424_62.min1.thm12017-02-06 12:46 1.7K 
[ ]fib_num3__1426_28.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__1427_16.min1.thm12017-02-06 12:46 632  
[ ]fib_num3__1429_26.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__1430_24.min1.thm12017-02-06 12:46 837  
[ ]fib_num3__1432_8.min1.thm12017-02-06 12:46 516  
[ ]fib_num3__1433_26.min1.thm12017-02-06 12:46 1.2K 
[ ]fib_num3__1434_24.min1.thm12017-02-06 12:46 842  
[ ]fib_num3__1436_8.min1.thm12017-02-06 12:46 536  
[ ]fib_num3__1438_14.min1.thm12017-02-06 12:46 778  
[ ]fib_num3__1450_2.min1.thm12017-02-06 12:46 788  
[ ]fib_num3__1450_2.min1.thm1.tptp2017-02-06 16:47 711  
[ ]fib_num3__1451_63.min1.thm12017-02-06 12:46 756  
[ ]fib_num3__1451_63.min1.thm1.tptp2017-02-06 16:47 679  
[ ]fib_num3__1454_22.min1.thm12017-02-06 12:46 857  
[ ]fib_num3__1456_8.min1.thm12017-02-06 12:46 810  
[ ]fib_num3__1462_59.min1.thm12017-02-06 12:46 1.6K 
[ ]fib_num3__1463_16.min1.thm12017-02-06 12:46 396  
[ ]fib_num3__1463_16.min1.thm1.tptp2017-02-06 16:47 319  
[ ]fib_num3__1467_20.min1.thm12017-02-06 12:46 396  
[ ]fib_num3__1467_20.min1.thm1.tptp2017-02-06 16:47 319  
[ ]fib_num3__1468_28.min1.thm12017-02-06 12:46 733  
[ ]fib_num3__1472_31.min1.thm12017-02-06 12:46 340  
[ ]fib_num3__1472_31.min1.thm1.tptp2017-02-06 16:47 263  
[ ]fib_num3__1473_44.min1.thm12017-02-06 12:46 372  
[ ]fib_num3__1473_44.min1.thm1.tptp2017-02-06 16:47 295  
[ ]fib_num3__1474_29.min1.thm12017-02-06 12:46 1.7K 
[ ]fib_num3__1478_39.min1.thm12017-02-06 12:46 340  
[ ]fib_num3__1478_39.min1.thm1.tptp2017-02-06 16:47 263  
[ ]fib_num3__1479_52.min1.thm12017-02-06 12:46 372  
[ ]fib_num3__1479_52.min1.thm1.tptp2017-02-06 16:47 295  
[ ]fib_num3__1481_28.min1.thm12017-02-06 12:46 686  
[ ]fib_num3__1490_16.min1.thm12017-02-06 12:46 1.0K 
[ ]fib_num3__1493_71.min1.thm12017-02-06 12:46 806  
[ ]fib_num3__1493_71.min1.thm1.tptp2017-02-06 16:47 729  
[ ]fib_num3__1495_48.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__1498_22.min1.thm12017-02-06 12:46 862  
[ ]fib_num3__1500_8.min1.thm12017-02-06 12:46 840  
[ ]fib_num3__1502_14.min1.thm12017-02-06 12:46 1.1K 
[ ]fib_num3__1510_60.min1.thm12017-02-06 12:46 2.0K 
[ ]fib_num3__1512_26.min1.thm12017-02-06 12:46 1.3K 
[ ]fib_num3__1513_14.min1.thm12017-02-06 12:46 640  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80