Index of /~mptp/1147/MPTP2/ilp0/numbers

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]numbers__35_78.min1.thm12017-02-06 12:46 374  
[   ]numbers__35_78.min1.thm1.tptp2017-02-06 16:47 300  
[   ]numbers__43_15.min1.thm12017-02-06 12:46 307  
[   ]numbers__48_11.min1.thm12017-02-06 12:46 129  
[   ]numbers__53_36.min1.thm12017-02-06 12:46 288  
[   ]numbers__54_17.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__59_14.min1.thm12017-02-06 12:46 778  
[   ]numbers__66_11.min1.thm12017-02-06 12:46 129  
[   ]numbers__69_11.min1.thm12017-02-06 12:46 129  
[   ]numbers__72_11.min1.thm12017-02-06 12:46 129  
[   ]numbers__74_14.min1.thm12017-02-06 12:46 315  
[   ]numbers__74_14.min1.thm1.tptp2017-02-06 16:47 229  
[   ]numbers__79_33.min1.thm12017-02-06 12:46 288  
[   ]numbers__80_17.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__85_30.min1.thm12017-02-06 12:46 288  
[   ]numbers__86_17.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__91_11.min1.thm12017-02-06 12:46 540  
[   ]numbers__93_14.min1.thm12017-02-06 12:46 467  
[   ]numbers__95_14.min1.thm12017-02-06 12:46 560  
[   ]numbers__106_20.min1.thm12017-02-06 12:46 485  
[   ]numbers__108_14.min1.thm12017-02-06 12:46 345  
[   ]numbers__108_14.min1.thm1.tptp2017-02-06 16:47 280  
[   ]numbers__109_17.min1.thm12017-02-06 12:46 499  
[   ]numbers__110_19.min1.thm12017-02-06 12:46 373  
[   ]numbers__110_19.min1.thm1.tptp2017-02-06 16:47 308  
[   ]numbers__111_17.min1.thm12017-02-06 12:46 390  
[   ]numbers__121_26.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__123_19.min1.thm12017-02-06 12:46 656  
[   ]numbers__128_16.min1.thm12017-02-06 12:46 968  
[   ]numbers__129_12.min1.thm12017-02-06 12:46 397  
[   ]numbers__130_16.min1.thm12017-02-06 12:46 922  
[   ]numbers__133_34.min1.thm12017-02-06 12:46 449  
[   ]numbers__133_34.min1.thm1.tptp2017-02-06 16:47 384  
[   ]numbers__138_34.min1.thm12017-02-06 12:46 483  
[   ]numbers__138_34.min1.thm1.tptp2017-02-06 16:47 427  
[   ]numbers__142_26.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__148_11.min1.thm12017-02-06 12:46 967  
[   ]numbers__149_28.min1.thm12017-02-06 12:46 739  
[   ]numbers__152_25.min1.thm12017-02-06 12:46 336  
[   ]numbers__152_25.min1.thm1.tptp2017-02-06 16:47 257  
[   ]numbers__154_22.min1.thm12017-02-06 12:46 484  
[   ]numbers__155_30.min1.thm12017-02-06 12:46 894  
[   ]numbers__157_22.min1.thm12017-02-06 12:46 594  
[   ]numbers__158_23.min1.thm12017-02-06 12:46 894  
[   ]numbers__159_25.min1.thm12017-02-06 12:46 594  
[   ]numbers__162_16.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__170_19.min1.thm12017-02-06 12:46 523  
[   ]numbers__171_34.min1.thm12017-02-06 12:46 537  
[   ]numbers__173_15.min1.thm12017-02-06 12:46 506  
[   ]numbers__174_18.min1.thm12017-02-06 12:46 563  
[   ]numbers__180_21.min1.thm12017-02-06 12:46 523  
[   ]numbers__181_38.min1.thm12017-02-06 12:46 537  
[   ]numbers__183_17.min1.thm12017-02-06 12:46 506  
[   ]numbers__184_16.min1.thm12017-02-06 12:46 563  
[   ]numbers__194_16.min1.thm12017-02-06 12:46 814  
[   ]numbers__205_13.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__209_48.min1.thm12017-02-06 12:46 1.8K 
[   ]numbers__210_34.min1.thm12017-02-06 12:46 670  
[   ]numbers__211_33.min1.thm12017-02-06 12:46 670  
[   ]numbers__218_19.min1.thm12017-02-06 12:46 1.6K 
[   ]numbers__223_17.min1.thm12017-02-06 12:46 1.5K 
[   ]numbers__228_14.min1.thm12017-02-06 12:46 703  
[   ]numbers__235_25.min1.thm12017-02-06 12:46 464  
[   ]numbers__240_11.min1.thm12017-02-06 12:46 2.4K 
[   ]numbers__243_37.min1.thm12017-02-06 12:46 289  
[   ]numbers__245_20.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__246_52.min1.thm12017-02-06 12:46 878  
[   ]numbers__247_34.min1.thm12017-02-06 12:46 918  
[   ]numbers__248_49.min1.thm12017-02-06 12:46 1.6K 
[   ]numbers__250_67.min1.thm12017-02-06 12:46 1.5K 
[   ]numbers__252_48.min1.thm12017-02-06 12:46 1.9K 
[   ]numbers__253_52.min1.thm12017-02-06 12:46 893  
[   ]numbers__259_34.min1.thm12017-02-06 12:46 454  
[   ]numbers__259_34.min1.thm1.tptp2017-02-06 16:47 383  
[   ]numbers__260_56.min1.thm12017-02-06 12:46 611  
[   ]numbers__261_17.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__270_17.min1.thm12017-02-06 12:46 524  
[   ]numbers__271_15.min1.thm12017-02-06 12:46 524  
[   ]numbers__272_53.min1.thm12017-02-06 12:46 614  
[   ]numbers__275_17.min1.thm12017-02-06 12:46 793  
[   ]numbers__277_68.min1.thm12017-02-06 12:46 1.6K 
[   ]numbers__279_11.min1.thm12017-02-06 12:46 320  
[   ]numbers__279_11.min1.thm1.tptp2017-02-06 16:47 241  
[   ]numbers__280_17.min1.thm12017-02-06 12:46 878  
[   ]numbers__288_15.min1.thm12017-02-06 12:46 631  
[   ]numbers__289_15.min1.thm12017-02-06 12:46 810  
[   ]numbers__291_14.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__292_17.min1.thm12017-02-06 12:46 714  
[   ]numbers__295_16.min1.thm12017-02-06 12:46 192  
[   ]numbers__295_36.min1.thm12017-02-06 12:46 636  
[   ]numbers__296_23.min1.thm12017-02-06 12:46 333  
[   ]numbers__297_13.min1.thm12017-02-06 12:46 545  
[   ]numbers__306_12.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__308_20.min1.thm12017-02-06 12:46 944  
[   ]numbers__309_14.min1.thm12017-02-06 12:46 467  
[   ]numbers__313_23.min1.thm12017-02-06 12:46 2.0K 
[   ]numbers__314_18.min1.thm12017-02-06 12:46 1.8K 
[   ]numbers__318_25.min1.thm12017-02-06 12:46 1.9K 
[   ]numbers__322_55.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__323_54.min1.thm12017-02-06 12:46 2.5K 
[   ]numbers__325_44.min1.thm12017-02-06 12:46 2.4K 
[   ]numbers__326_18.min1.thm12017-02-06 12:46 646  
[   ]numbers__327_63.min1.thm12017-02-06 12:46 2.5K 
[   ]numbers__329_23.min1.thm12017-02-06 12:46 2.4K 
[   ]numbers__334_10.min1.thm12017-02-06 12:46 550  
[   ]numbers__338_10.min1.thm12017-02-06 12:46 550  
[   ]numbers__344_27.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__345_16.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__346_10.min1.thm12017-02-06 12:46 250  
[   ]numbers__346_10.min1.thm1.tptp2017-02-06 16:47 168  
[   ]numbers__347_17.min1.thm12017-02-06 12:46 648  
[   ]numbers__353_30.min1.thm12017-02-06 12:46 680  
[   ]numbers__354_29.min1.thm12017-02-06 12:46 730  
[   ]numbers__364_37.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__365_12.min1.thm12017-02-06 12:46 194  
[   ]numbers__365_27.min1.thm12017-02-06 12:46 260  
[   ]numbers__367_17.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__370_20.min1.thm12017-02-06 12:46 495  
[   ]numbers__372_13.min1.thm12017-02-06 12:46 812  
[   ]numbers__378_32.min1.thm12017-02-06 12:46 692  
[   ]numbers__380_49.min1.thm12017-02-06 12:46 934  
[   ]numbers__381_29.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__382_24.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__383_16.min1.thm12017-02-06 12:46 741  
[   ]numbers__386_13.min1.thm12017-02-06 12:46 903  
[   ]numbers__389_26.min1.thm12017-02-06 12:46 443  
[   ]numbers__390_17.min1.thm12017-02-06 12:46 281  
[   ]numbers__394_23.min1.thm12017-02-06 12:46 558  
[   ]numbers__395_41.min1.thm12017-02-06 12:46 356  
[   ]numbers__399_22.min1.thm12017-02-06 12:46 831  
[   ]numbers__400_19.min1.thm12017-02-06 12:46 635  
[   ]numbers__407_12.min1.thm12017-02-06 12:46 438  
[   ]numbers__407_12.min1.thm1.tptp2017-02-06 16:47 375  
[   ]numbers__412_18.min1.thm12017-02-06 12:46 840  
[   ]numbers__415_20.min1.thm12017-02-06 12:46 753  
[   ]numbers__416_39.min1.thm12017-02-06 12:46 646  
[   ]numbers__422_53.min1.thm12017-02-06 12:46 834  
[   ]numbers__425_32.min1.thm12017-02-06 12:46 652  
[   ]numbers__428_20.min1.thm12017-02-06 12:46 553  
[   ]numbers__429_23.min1.thm12017-02-06 12:46 673  
[   ]numbers__432_17.min1.thm12017-02-06 12:46 708  
[   ]numbers__434_19.min1.thm12017-02-06 12:46 236  
[   ]numbers__437_21.min1.thm12017-02-06 12:46 568  
[   ]numbers__438_37.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__440_25.min1.thm12017-02-06 12:46 587  
[   ]numbers__444_44.min1.thm12017-02-06 12:46 891  
[   ]numbers__445_37.min1.thm12017-02-06 12:46 537  
[   ]numbers__446_38.min1.thm12017-02-06 12:46 967  
[   ]numbers__450_37.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__451_36.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__453_37.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__457_21.min1.thm12017-02-06 12:46 875  
[   ]numbers__459_26.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__461_39.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__464_43.min1.thm12017-02-06 12:46 1.2K 
[   ]numbers__465_47.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__466_53.min1.thm12017-02-06 12:46 1.5K 
[   ]numbers__468_21.min1.thm12017-02-06 12:46 1.7K 
[   ]numbers__470_25.min1.thm12017-02-06 12:46 1.7K 
[   ]numbers__471_72.min1.thm12017-02-06 12:46 2.0K 
[   ]numbers__473_37.min1.thm12017-02-06 12:46 2.6K 
[   ]numbers__474_44.min1.thm12017-02-06 12:46 1.2K 
[   ]numbers__475_51.min1.thm12017-02-06 12:46 1.2K 
[   ]numbers__476_34.min1.thm12017-02-06 12:46 1.6K 
[   ]numbers__477_36.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__478_33.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__479_26.min1.thm12017-02-06 12:46 613  
[   ]numbers__480_30.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__481_32.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__483_32.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__486_55.min1.thm12017-02-06 12:46 2.9K 
[   ]numbers__488_60.min1.thm12017-02-06 12:46 2.1K 
[   ]numbers__489_62.min1.thm12017-02-06 12:46 2.1K 
[   ]numbers__490_64.min1.thm12017-02-06 12:46 2.1K 
[   ]numbers__491_39.min1.thm12017-02-06 12:46 2.2K 
[   ]numbers__492_47.min1.thm12017-02-06 12:46 1.8K 
[   ]numbers__494_35.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__498_26.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__508_29.min1.thm12017-02-06 12:46 1.9K 
[   ]numbers__509_28.min1.thm12017-02-06 12:46 734  
[   ]numbers__510_28.min1.thm12017-02-06 12:46 743  
[   ]numbers__512_42.min1.thm12017-02-06 12:46 742  
[   ]numbers__513_26.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__514_43.min1.thm12017-02-06 12:46 1.2K 
[   ]numbers__520_39.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__522_27.min1.thm12017-02-06 12:46 924  
[   ]numbers__525_25.min1.thm12017-02-06 12:46 693  
[   ]numbers__526_28.min1.thm12017-02-06 12:46 903  
[   ]numbers__528_24.min1.thm12017-02-06 12:46 847  
[   ]numbers__529_26.min1.thm12017-02-06 12:46 648  
[   ]numbers__532_36.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__536_44.min1.thm12017-02-06 12:46 891  
[   ]numbers__537_37.min1.thm12017-02-06 12:46 537  
[   ]numbers__538_38.min1.thm12017-02-06 12:46 967  
[   ]numbers__541_42.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__543_37.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__548_24.min1.thm12017-02-06 12:46 800  
[   ]numbers__549_46.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__551_34.min1.thm12017-02-06 12:46 525  
[   ]numbers__552_21.min1.thm12017-02-06 12:46 844  
[   ]numbers__554_26.min1.thm12017-02-06 12:46 928  
[   ]numbers__556_39.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__559_43.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__560_47.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__561_53.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__563_21.min1.thm12017-02-06 12:46 1.6K 
[   ]numbers__565_25.min1.thm12017-02-06 12:46 1.6K 
[   ]numbers__566_72.min1.thm12017-02-06 12:46 1.8K 
[   ]numbers__568_37.min1.thm12017-02-06 12:46 2.5K 
[   ]numbers__569_44.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__570_51.min1.thm12017-02-06 12:46 1.2K 
[   ]numbers__571_34.min1.thm12017-02-06 12:46 1.5K 
[   ]numbers__572_36.min1.thm12017-02-06 12:46 1.2K 
[   ]numbers__573_33.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__574_26.min1.thm12017-02-06 12:46 565  
[   ]numbers__575_30.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__576_32.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__578_32.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__579_63.min1.thm12017-02-06 12:46 2.2K 
[   ]numbers__581_55.min1.thm12017-02-06 12:46 2.7K 
[   ]numbers__583_60.min1.thm12017-02-06 12:46 1.9K 
[   ]numbers__584_62.min1.thm12017-02-06 12:46 2.0K 
[   ]numbers__585_64.min1.thm12017-02-06 12:46 2.0K 
[   ]numbers__586_39.min1.thm12017-02-06 12:46 2.0K 
[   ]numbers__587_47.min1.thm12017-02-06 12:46 1.7K 
[   ]numbers__589_35.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__593_26.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__603_29.min1.thm12017-02-06 12:46 1.8K 
[   ]numbers__604_28.min1.thm12017-02-06 12:46 734  
[   ]numbers__605_28.min1.thm12017-02-06 12:46 743  
[   ]numbers__607_42.min1.thm12017-02-06 12:46 742  
[   ]numbers__608_26.min1.thm12017-02-06 12:46 951  
[   ]numbers__609_43.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__618_33.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__619_13.min1.thm12017-02-06 12:46 404  
[   ]numbers__620_24.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__622_35.min1.thm12017-02-06 12:46 2.7K 
[   ]numbers__623_18.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__625_18.min1.thm12017-02-06 12:46 1.5K 
[   ]numbers__626_43.min1.thm12017-02-06 12:46 1.6K 
[   ]numbers__627_34.min1.thm12017-02-06 12:46 1.9K 
[   ]numbers__628_24.min1.thm12017-02-06 12:46 1.6K 
[   ]numbers__630_48.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__631_30.min1.thm12017-02-06 12:46 380  
[   ]numbers__631_30.min1.thm1.tptp2017-02-06 16:47 299  
[   ]numbers__634_12.min1.thm12017-02-06 12:46 193  
[   ]numbers__635_16.min1.thm12017-02-06 12:46 269  
[   ]numbers__635_16.min1.thm1.tptp2017-02-06 16:47 186  
[   ]numbers__637_24.min1.thm12017-02-06 12:46 2.0K 
[   ]numbers__638_17.min1.thm12017-02-06 12:46 513  
[   ]numbers__644_33.min1.thm12017-02-06 12:46 692  
[   ]numbers__645_41.min1.thm12017-02-06 12:46 564  
[   ]numbers__646_13.min1.thm12017-02-06 12:46 190  
[   ]numbers__650_21.min1.thm12017-02-06 12:46 875  
[   ]numbers__651_20.min1.thm12017-02-06 12:46 1.5K 
[   ]numbers__656_33.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__658_47.min1.thm12017-02-06 12:46 832  
[   ]numbers__663_20.min1.thm12017-02-06 12:46 850  
[   ]numbers__666_30.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__675_17.min1.thm12017-02-06 12:46 308  
[   ]numbers__678_39.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__681_16.min1.thm12017-02-06 12:46 2.0K 
[   ]numbers__683_39.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__684_46.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__685_61.min1.thm12017-02-06 12:46 1.5K 
[   ]numbers__686_63.min1.thm12017-02-06 12:46 1.6K 
[   ]numbers__687_61.min1.thm12017-02-06 12:46 1.6K 
[   ]numbers__688_71.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__690_36.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__691_27.min1.thm12017-02-06 12:46 1.2K 
[   ]numbers__692_20.min1.thm12017-02-06 12:46 385  
[   ]numbers__692_20.min1.thm1.tptp2017-02-06 16:47 308  
[   ]numbers__694_22.min1.thm12017-02-06 12:46 811  
[   ]numbers__695_23.min1.thm12017-02-06 12:46 817  
[   ]numbers__696_26.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__697_34.min1.thm12017-02-06 12:46 1.2K 
[   ]numbers__698_24.min1.thm12017-02-06 12:46 904  
[   ]numbers__702_43.min1.thm12017-02-06 12:46 1.2K 
[   ]numbers__703_20.min1.thm12017-02-06 12:46 385  
[   ]numbers__703_20.min1.thm1.tptp2017-02-06 16:47 308  
[   ]numbers__705_36.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__707_28.min1.thm12017-02-06 12:46 620  
[   ]numbers__708_28.min1.thm12017-02-06 12:46 1.2K 
[   ]numbers__709_34.min1.thm12017-02-06 12:46 918  
[   ]numbers__711_25.min1.thm12017-02-06 12:46 1.5K 
[   ]numbers__713_51.min1.thm12017-02-06 12:46 1.8K 
[   ]numbers__714_27.min1.thm12017-02-06 12:46 827  
[   ]numbers__715_40.min1.thm12017-02-06 12:46 1.9K 
[   ]numbers__717_44.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__718_71.min1.thm12017-02-06 12:46 937  
[   ]numbers__720_50.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__721_53.min1.thm12017-02-06 12:46 709  
[   ]numbers__721_53.min1.thm1.tptp2017-02-06 16:47 632  
[   ]numbers__722_51.min1.thm12017-02-06 12:46 817  
[   ]numbers__723_51.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__724_42.min1.thm12017-02-06 12:46 819  
[   ]numbers__725_40.min1.thm12017-02-06 12:46 710  
[   ]numbers__726_42.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__728_30.min1.thm12017-02-06 12:46 1.3K 
[   ]numbers__729_22.min1.thm12017-02-06 12:46 813  
[   ]numbers__730_37.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__731_27.min1.thm12017-02-06 12:46 605  
[   ]numbers__732_39.min1.thm12017-02-06 12:46 947  
[   ]numbers__733_34.min1.thm12017-02-06 12:46 750  
[   ]numbers__734_30.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__735_24.min1.thm12017-02-06 12:46 877  
[   ]numbers__738_34.min1.thm12017-02-06 12:46 368  
[   ]numbers__742_12.min1.thm12017-02-06 12:46 1.2K 
[   ]numbers__743_22.min1.thm12017-02-06 12:46 728  
[   ]numbers__745_17.min1.thm12017-02-06 12:46 1.1K 
[   ]numbers__757_61.min1.thm12017-02-06 12:46 708  
[   ]numbers__758_69.min1.thm12017-02-06 12:46 757  
[   ]numbers__763_19.min1.thm12017-02-06 12:46 481  
[   ]numbers__765_23.min1.thm12017-02-06 12:46 325  
[   ]numbers__765_23.min1.thm1.tptp2017-02-06 16:47 245  
[   ]numbers__767_24.min1.thm12017-02-06 12:46 879  
[   ]numbers__770_42.min1.thm12017-02-06 12:46 563  
[   ]numbers__775_49.min1.thm12017-02-06 12:46 714  
[   ]numbers__786_43.min1.thm12017-02-06 12:46 655  
[   ]numbers__792_39.min1.thm12017-02-06 12:46 682  
[   ]numbers__795_16.min1.thm12017-02-06 12:46 473  
[   ]numbers__796_25.min1.thm12017-02-06 12:46 329  
[   ]numbers__796_25.min1.thm1.tptp2017-02-06 16:47 261  
[   ]numbers__798_36.min1.thm12017-02-06 12:46 390  
[   ]numbers__798_36.min1.thm1.tptp2017-02-06 16:47 328  
[   ]numbers__800_37.min1.thm12017-02-06 12:46 425  
[   ]numbers__800_37.min1.thm1.tptp2017-02-06 16:47 363  
[   ]numbers__801_19.min1.thm12017-02-06 12:46 957  
[   ]numbers__802_17.min1.thm12017-02-06 12:46 455  
[   ]numbers__806_19.min1.thm12017-02-06 12:46 389  
[   ]numbers__812_17.min1.thm12017-02-06 12:46 1.2K 
[   ]numbers__823_18.min1.thm12017-02-06 12:46 498  
[   ]numbers__827_17.min1.thm12017-02-06 12:46 426  
[   ]numbers__828_55.min1.thm12017-02-06 12:46 716  
[   ]numbers__830_41.min1.thm12017-02-06 12:46 628  
[   ]numbers__831_20.min1.thm12017-02-06 12:46 1.4K 
[   ]numbers__832_17.min1.thm12017-02-06 12:46 368  
[   ]numbers__836_16.min1.thm12017-02-06 12:46 389  
[   ]numbers__839_19.min1.thm12017-02-06 12:46 389  
[   ]numbers__844_13.min1.thm12017-02-06 12:46 259  
[   ]numbers__845_30.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__847_34.min1.thm12017-02-06 12:46 582  
[   ]numbers__848_23.min1.thm12017-02-06 12:46 421  
[   ]numbers__849_19.min1.thm12017-02-06 12:46 644  
[   ]numbers__850_30.min1.thm12017-02-06 12:46 495  
[   ]numbers__851_22.min1.thm12017-02-06 12:46 1.0K 
[   ]numbers__852_17.min1.thm12017-02-06 12:46 575  
[   ]numbers__856_15.min1.thm12017-02-06 12:46 389  
[   ]numbers__859_16.min1.thm12017-02-06 12:46 389  
[   ]numbers__862_19.min1.thm12017-02-06 12:46 390  
[   ]numbers__867_20.min1.thm12017-02-06 12:46 307  
[   ]numbers__867_20.min1.thm1.tptp2017-02-06 16:47 233  
[   ]numbers__870_16.min1.thm12017-02-06 12:46 307  
[   ]numbers__870_16.min1.thm1.tptp2017-02-06 16:47 233  
[   ]numbers__873_19.min1.thm12017-02-06 12:46 307  
[   ]numbers__873_19.min1.thm1.tptp2017-02-06 16:47 233  
[   ]numbers__876_15.min1.thm12017-02-06 12:46 307  
[   ]numbers__876_15.min1.thm1.tptp2017-02-06 16:47 233  
[   ]numbers__879_16.min1.thm12017-02-06 12:46 307  
[   ]numbers__879_16.min1.thm1.tptp2017-02-06 16:47 233  
[   ]numbers__882_19.min1.thm12017-02-06 12:46 307  
[   ]numbers__882_19.min1.thm1.tptp2017-02-06 16:47 233  
[   ]numbers__885_15.min1.thm12017-02-06 12:46 213  
[   ]numbers__888_15.min1.thm12017-02-06 12:46 307  
[   ]numbers__888_15.min1.thm1.tptp2017-02-06 16:47 233  
[   ]numbers__891_13.min1.thm12017-02-06 12:46 323  
[   ]numbers__891_13.min1.thm1.tptp2017-02-06 16:47 245  
[   ]numbers__894_19.min1.thm12017-02-06 12:46 308  
[   ]numbers__894_19.min1.thm1.tptp2017-02-06 16:47 234  
[   ]numbers__897_20.min1.thm12017-02-06 12:46 284  
[   ]numbers__897_20.min1.thm1.tptp2017-02-06 16:47 201  
[   ]numbers__900_16.min1.thm12017-02-06 12:46 284  
[   ]numbers__900_16.min1.thm1.tptp2017-02-06 16:47 201  
[   ]numbers__903_19.min1.thm12017-02-06 12:46 368  
[   ]numbers__906_15.min1.thm12017-02-06 12:46 284  
[   ]numbers__906_15.min1.thm1.tptp2017-02-06 16:47 201  
[   ]numbers__909_16.min1.thm12017-02-06 12:46 368  
[   ]numbers__912_19.min1.thm12017-02-06 12:46 541  
[   ]numbers__915_15.min1.thm12017-02-06 12:46 284  
[   ]numbers__915_15.min1.thm1.tptp2017-02-06 16:47 201  
[   ]numbers__918_15.min1.thm12017-02-06 12:46 368  
[   ]numbers__921_16.min1.thm12017-02-06 12:46 541  
[   ]numbers__924_19.min1.thm12017-02-06 12:46 541  
[   ]numbers__929_11.min1.thm12017-02-06 12:46 130  
[   ]numbers__934_11.min1.thm12017-02-06 12:46 609  
[   ]numbers__938_20.min1.thm12017-02-06 12:46 529  
[   ]numbers__943_31.min1.thm12017-02-06 12:46 407  
[   ]numbers__943_31.min1.thm1.tptp2017-02-06 16:47 357  
[   ]numbers__944_25.min1.thm12017-02-06 12:46 616  
[   ]numbers__945_14.min1.thm12017-02-06 12:46 304  
[   ]numbers__945_14.min1.thm1.tptp2017-02-06 16:47 225  
[   ]numbers__949_20.min1.thm12017-02-06 12:46 362  
[   ]numbers__953_14.min1.thm12017-02-06 12:46 427  
[   ]numbers__955_14.min1.thm12017-02-06 12:46 428  
[   ]numbers__957_14.min1.thm12017-02-06 12:46 428  
[   ]numbers__959_14.min1.thm12017-02-06 12:46 428  

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80