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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topgen_3__73_18.min1.thm12017-02-06 12:45 540  
[ ]topgen_3__78_13.min1.thm12017-02-06 12:45 729  
[ ]topgen_3__79_34.min1.thm12017-02-06 12:45 481  
[ ]topgen_3__81_27.min1.thm12017-02-06 12:45 512  
[ ]topgen_3__87_21.min1.thm12017-02-06 12:45 529  
[ ]topgen_3__90_53.min1.thm12017-02-06 12:45 491  
[ ]topgen_3__90_53.min1.thm1.tptp2017-02-06 16:46 426  
[ ]topgen_3__91_19.min1.thm12017-02-06 12:45 711  
[ ]topgen_3__93_17.min1.thm12017-02-06 12:45 536  
[ ]topgen_3__111_25.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__112_50.min1.thm12017-02-06 12:45 901  
[ ]topgen_3__116_48.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__117_43.min1.thm12017-02-06 12:45 827  
[ ]topgen_3__125_63.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__126_18.min1.thm12017-02-06 12:45 895  
[ ]topgen_3__128_47.min1.thm12017-02-06 12:45 701  
[ ]topgen_3__143_65.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_3__144_20.min1.thm12017-02-06 12:45 833  
[ ]topgen_3__147_33.min1.thm12017-02-06 12:45 928  
[ ]topgen_3__151_20.min1.thm12017-02-06 12:45 694  
[ ]topgen_3__154_17.min1.thm12017-02-06 12:45 775  
[ ]topgen_3__155_15.min1.thm12017-02-06 12:45 787  
[ ]topgen_3__158_17.min1.thm12017-02-06 12:45 777  
[ ]topgen_3__159_16.min1.thm12017-02-06 12:45 714  
[ ]topgen_3__160_20.min1.thm12017-02-06 12:45 515  
[ ]topgen_3__165_16.min1.thm12017-02-06 12:45 712  
[ ]topgen_3__166_28.min1.thm12017-02-06 12:45 818  
[ ]topgen_3__167_23.min1.thm12017-02-06 12:45 627  
[ ]topgen_3__168_21.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_3__169_21.min1.thm12017-02-06 12:45 770  
[ ]topgen_3__175_63.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_3__176_18.min1.thm12017-02-06 12:45 416  
[ ]topgen_3__180_21.min1.thm12017-02-06 12:45 303  
[ ]topgen_3__180_21.min1.thm1.tptp2017-02-06 16:46 215  
[ ]topgen_3__181_44.min1.thm12017-02-06 12:45 383  
[ ]topgen_3__181_44.min1.thm1.tptp2017-02-06 16:46 297  
[ ]topgen_3__182_28.min1.thm12017-02-06 12:45 570  
[ ]topgen_3__183_17.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__201_33.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__202_54.min1.thm12017-02-06 12:45 794  
[ ]topgen_3__203_16.min1.thm12017-02-06 12:45 513  
[ ]topgen_3__203_16.min1.thm1.tptp2017-02-06 16:46 447  
[ ]topgen_3__219_15.min1.thm12017-02-06 12:45 507  
[ ]topgen_3__220_46.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__223_16.min1.thm12017-02-06 12:45 650  
[ ]topgen_3__224_15.min1.thm12017-02-06 12:45 414  
[ ]topgen_3__224_15.min1.thm1.tptp2017-02-06 16:46 352  
[ ]topgen_3__225_46.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__228_16.min1.thm12017-02-06 12:45 652  
[ ]topgen_3__229_14.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__232_21.min1.thm12017-02-06 12:45 807  
[ ]topgen_3__233_13.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__234_36.min1.thm12017-02-06 12:45 483  
[ ]topgen_3__236_18.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__237_18.min1.thm12017-02-06 12:45 565  
[ ]topgen_3__238_23.min1.thm12017-02-06 12:45 531  
[ ]topgen_3__239_19.min1.thm12017-02-06 12:45 624  
[ ]topgen_3__242_18.min1.thm12017-02-06 12:45 239  
[ ]topgen_3__254_54.min1.thm12017-02-06 12:45 708  
[ ]topgen_3__256_23.min1.thm12017-02-06 12:45 831  
[ ]topgen_3__261_50.min1.thm12017-02-06 12:45 642  
[ ]topgen_3__266_55.min1.thm12017-02-06 12:45 960  
[ ]topgen_3__269_21.min1.thm12017-02-06 12:45 421  
[ ]topgen_3__269_21.min1.thm1.tptp2017-02-06 16:46 343  
[ ]topgen_3__270_16.min1.thm12017-02-06 12:45 935  
[ ]topgen_3__271_38.min1.thm12017-02-06 12:45 636  
[ ]topgen_3__273_19.min1.thm12017-02-06 12:45 679  
[ ]topgen_3__276_38.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__286_15.min1.thm12017-02-06 12:45 803  
[ ]topgen_3__287_38.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_3__290_15.min1.thm12017-02-06 12:45 749  
[ ]topgen_3__291_21.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__293_19.min1.thm12017-02-06 12:45 617  
[ ]topgen_3__295_16.min1.thm12017-02-06 12:45 723  
[ ]topgen_3__295_16.min1.thm1.tptp2017-02-06 16:46 637  
[ ]topgen_3__297_14.min1.thm12017-02-06 12:45 307  
[ ]topgen_3__297_14.min1.thm1.tptp2017-02-06 16:46 221  
[ ]topgen_3__323_18.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__324_50.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__328_31.min1.thm12017-02-06 12:45 927  
[ ]topgen_3__329_41.min1.thm12017-02-06 12:45 915  
[ ]topgen_3__330_29.min1.thm12017-02-06 12:45 920  
[ ]topgen_3__331_43.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__337_14.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__338_14.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__339_25.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__341_19.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__343_21.min1.thm12017-02-06 12:45 303  
[ ]topgen_3__343_21.min1.thm1.tptp2017-02-06 16:46 215  
[ ]topgen_3__345_31.min1.thm12017-02-06 12:45 597  
[ ]topgen_3__346_33.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__347_17.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__365_47.min1.thm12017-02-06 12:45 461  
[ ]topgen_3__365_47.min1.thm1.tptp2017-02-06 16:46 398  
[ ]topgen_3__366_16.min1.thm12017-02-06 12:45 559  
[ ]topgen_3__368_41.min1.thm12017-02-06 12:45 453  
[ ]topgen_3__376_9.min1.thm12017-02-06 12:45 532  
[ ]topgen_3__380_9.min1.thm12017-02-06 12:45 532  
[ ]topgen_3__381_18.min1.thm12017-02-06 12:45 840  
[ ]topgen_3__382_19.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__392_20.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__393_49.min1.thm12017-02-06 12:45 540  
[ ]topgen_3__394_16.min1.thm12017-02-06 12:45 300  
[ ]topgen_3__396_26.min1.thm12017-02-06 12:45 591  
[ ]topgen_3__397_16.min1.thm12017-02-06 12:45 780  
[ ]topgen_3__399_12.min1.thm12017-02-06 12:45 289  
[ ]topgen_3__399_12.min1.thm1.tptp2017-02-06 16:46 206  
[ ]topgen_3__401_15.min1.thm12017-02-06 12:45 709  
[ ]topgen_3__404_29.min1.thm12017-02-06 12:45 850  
[ ]topgen_3__406_51.min1.thm12017-02-06 12:45 494  
[ ]topgen_3__406_51.min1.thm1.tptp2017-02-06 16:46 433  
[ ]topgen_3__416_27.min1.thm12017-02-06 12:45 430  
[ ]topgen_3__418_40.min1.thm12017-02-06 12:45 871  
[ ]topgen_3__419_27.min1.thm12017-02-06 12:45 430  
[ ]topgen_3__421_40.min1.thm12017-02-06 12:45 871  
[ ]topgen_3__422_48.min1.thm12017-02-06 12:45 586  
[ ]topgen_3__426_35.min1.thm12017-02-06 12:45 616  
[ ]topgen_3__427_37.min1.thm12017-02-06 12:45 703  
[ ]topgen_3__428_14.min1.thm12017-02-06 12:45 675  
[ ]topgen_3__429_19.min1.thm12017-02-06 12:45 633  
[ ]topgen_3__430_17.min1.thm12017-02-06 12:45 741  
[ ]topgen_3__441_49.min1.thm12017-02-06 12:45 464  
[ ]topgen_3__452_27.min1.thm12017-02-06 12:45 430  
[ ]topgen_3__454_40.min1.thm12017-02-06 12:45 872  
[ ]topgen_3__455_27.min1.thm12017-02-06 12:45 430  
[ ]topgen_3__457_40.min1.thm12017-02-06 12:45 872  
[ ]topgen_3__459_44.min1.thm12017-02-06 12:45 586  
[ ]topgen_3__463_35.min1.thm12017-02-06 12:45 616  
[ ]topgen_3__464_37.min1.thm12017-02-06 12:45 703  
[ ]topgen_3__465_14.min1.thm12017-02-06 12:45 675  
[ ]topgen_3__466_22.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__467_19.min1.thm12017-02-06 12:45 657  
[ ]topgen_3__468_17.min1.thm12017-02-06 12:45 741  
[ ]topgen_3__479_47.min1.thm12017-02-06 12:45 948  
[ ]topgen_3__480_45.min1.thm12017-02-06 12:45 948  
[ ]topgen_3__481_49.min1.thm12017-02-06 12:45 473  
[ ]topgen_3__489_14.min1.thm12017-02-06 12:45 881  
[ ]topgen_3__509_21.min1.thm12017-02-06 12:45 905  
[ ]topgen_3__517_15.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__520_15.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__521_36.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__530_20.min1.thm12017-02-06 12:45 833  
[ ]topgen_3__541_42.min1.thm12017-02-06 12:45 504  
[ ]topgen_3__542_29.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__543_37.min1.thm12017-02-06 12:45 2.4K 
[ ]topgen_3__548_35.min1.thm12017-02-06 12:45 837  
[ ]topgen_3__549_39.min1.thm12017-02-06 12:45 925  
[ ]topgen_3__555_10.min1.thm12017-02-06 12:45 294  
[ ]topgen_3__555_10.min1.thm1.tptp2017-02-06 16:46 215  
[ ]topgen_3__557_15.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_3__561_48.min1.thm12017-02-06 12:45 692  
[ ]topgen_3__562_39.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__563_12.min1.thm12017-02-06 12:45 2.0K 
[ ]topgen_3__567_40.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__590_19.min1.thm12017-02-06 12:45 609  
[ ]topgen_3__591_20.min1.thm12017-02-06 12:45 508  
[ ]topgen_3__591_20.min1.thm1.tptp2017-02-06 16:46 433  
[ ]topgen_3__592_26.min1.thm12017-02-06 12:45 774  
[ ]topgen_3__598_20.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__599_19.min1.thm12017-02-06 12:45 790  
[ ]topgen_3__604_21.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__606_20.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__612_27.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_3__613_20.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__614_19.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__616_12.min1.thm12017-02-06 12:45 290  
[ ]topgen_3__616_12.min1.thm1.tptp2017-02-06 16:46 207  
[ ]topgen_3__618_17.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__622_27.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__642_51.min1.thm12017-02-06 12:45 408  
[ ]topgen_3__643_43.min1.thm12017-02-06 12:45 459  
[ ]topgen_3__643_43.min1.thm1.tptp2017-02-06 16:46 373  
[ ]topgen_3__644_19.min1.thm12017-02-06 12:45 675  
[ ]topgen_3__645_24.min1.thm12017-02-06 12:45 903  
[ ]topgen_3__646_18.min1.thm12017-02-06 12:45 883  
[ ]topgen_3__649_49.min1.thm12017-02-06 12:45 404  
[ ]topgen_3__650_41.min1.thm12017-02-06 12:45 449  
[ ]topgen_3__650_41.min1.thm1.tptp2017-02-06 16:46 363  
[ ]topgen_3__651_17.min1.thm12017-02-06 12:45 663  
[ ]topgen_3__652_22.min1.thm12017-02-06 12:45 875  
[ ]topgen_3__653_34.min1.thm12017-02-06 12:45 861  
[ ]topgen_3__656_14.min1.thm12017-02-06 12:45 741  
[ ]topgen_3__678_21.min1.thm12017-02-06 12:45 905  
[ ]topgen_3__686_15.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__689_15.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__690_36.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__699_20.min1.thm12017-02-06 12:45 608  
[ ]topgen_3__710_42.min1.thm12017-02-06 12:45 504  
[ ]topgen_3__711_25.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_3__712_37.min1.thm12017-02-06 12:45 2.4K 
[ ]topgen_3__717_27.min1.thm12017-02-06 12:45 837  
[ ]topgen_3__718_31.min1.thm12017-02-06 12:45 925  
[ ]topgen_3__721_10.min1.thm12017-02-06 12:45 223  
[ ]topgen_3__722_16.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_3__726_50.min1.thm12017-02-06 12:45 686  
[ ]topgen_3__727_14.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__728_41.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__731_39.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__732_12.min1.thm12017-02-06 12:45 2.0K 
[ ]topgen_3__733_20.min1.thm12017-02-06 12:45 853  
[ ]topgen_3__756_20.min1.thm12017-02-06 12:45 567  
[ ]topgen_3__757_21.min1.thm12017-02-06 12:45 508  
[ ]topgen_3__757_21.min1.thm1.tptp2017-02-06 16:46 433  
[ ]topgen_3__758_20.min1.thm12017-02-06 12:45 879  
[ ]topgen_3__759_23.min1.thm12017-02-06 12:45 665  
[ ]topgen_3__765_21.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__766_19.min1.thm12017-02-06 12:45 743  
[ ]topgen_3__771_22.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__773_21.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__779_28.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_3__780_21.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__781_19.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__783_8.min1.thm12017-02-06 12:45 234  
[ ]topgen_3__785_15.min1.thm12017-02-06 12:45 941  
[ ]topgen_3__789_27.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__807_29.min1.thm12017-02-06 12:45 935  
[ ]topgen_3__808_31.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__809_17.min1.thm12017-02-06 12:45 729  
[ ]topgen_3__824_12.min1.thm12017-02-06 12:45 748  
[ ]topgen_3__834_73.min1.thm12017-02-06 12:45 575  
[ ]topgen_3__834_73.min1.thm1.tptp2017-02-06 16:46 520  
[ ]topgen_3__835_18.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__837_46.min1.thm12017-02-06 12:45 451  
[ ]topgen_3__847_23.min1.thm12017-02-06 12:45 655  
[ ]topgen_3__851_23.min1.thm12017-02-06 12:45 655  
[ ]topgen_3__853_22.min1.thm12017-02-06 12:45 926  
[ ]topgen_3__854_16.min1.thm12017-02-06 12:45 450  
[ ]topgen_3__854_16.min1.thm1.tptp2017-02-06 16:46 388  
[ ]topgen_3__855_50.min1.thm12017-02-06 12:45 965  
[ ]topgen_3__856_16.min1.thm12017-02-06 12:45 543  
[ ]topgen_3__858_17.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__859_16.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__860_16.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__861_16.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__864_16.min1.thm12017-02-06 12:45 889  
[ ]topgen_3__865_16.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__868_17.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__869_21.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__871_15.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__872_16.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__874_15.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__875_16.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__876_20.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__877_19.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__879_21.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_3__880_16.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__881_27.min1.thm12017-02-06 12:45 1.9K 
[ ]topgen_3__882_21.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_3__887_47.min1.thm12017-02-06 12:45 336  
[ ]topgen_3__887_47.min1.thm1.tptp2017-02-06 16:46 258  
[ ]topgen_3__888_20.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_3__893_18.min1.thm12017-02-06 12:45 389  
[ ]topgen_3__894_21.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__895_20.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__903_45.min1.thm12017-02-06 12:45 580  
[ ]topgen_3__903_45.min1.thm1.tptp2017-02-06 16:46 526  
[ ]topgen_3__908_19.min1.thm12017-02-06 12:45 677  
[ ]topgen_3__908_19.min1.thm1.tptp2017-02-06 16:46 632  
[ ]topgen_3__910_40.min1.thm12017-02-06 12:45 479  
[ ]topgen_3__919_56.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__922_42.min1.thm12017-02-06 12:45 685  
[ ]topgen_3__923_27.min1.thm12017-02-06 12:45 385  
[ ]topgen_3__927_13.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__928_12.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__932_58.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__934_27.min1.thm12017-02-06 12:45 454  
[ ]topgen_3__935_12.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__947_56.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__950_42.min1.thm12017-02-06 12:45 685  
[ ]topgen_3__953_17.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__957_58.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__959_27.min1.thm12017-02-06 12:45 453  
[ ]topgen_3__962_12.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__973_69.min1.thm12017-02-06 12:45 867  
[ ]topgen_3__976_42.min1.thm12017-02-06 12:45 685  
[ ]topgen_3__980_15.min1.thm12017-02-06 12:45 705  
[ ]topgen_3__981_12.min1.thm12017-02-06 12:45 946  
[ ]topgen_3__985_58.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__987_27.min1.thm12017-02-06 12:45 453  
[ ]topgen_3__1002_70.min1.thm12017-02-06 12:45 800  
[ ]topgen_3__1005_42.min1.thm12017-02-06 12:45 685  
[ ]topgen_3__1009_15.min1.thm12017-02-06 12:45 705  
[ ]topgen_3__1010_16.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_3__1014_58.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__1016_27.min1.thm12017-02-06 12:45 453  
[ ]topgen_3__1019_12.min1.thm12017-02-06 12:45 949  
[ ]topgen_3__1033_72.min1.thm12017-02-06 12:45 800  
[ ]topgen_3__1036_42.min1.thm12017-02-06 12:45 685  
[ ]topgen_3__1037_16.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_3__1043_21.min1.thm12017-02-06 12:45 695  
[ ]topgen_3__1044_58.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__1046_18.min1.thm12017-02-06 12:45 943  
[ ]topgen_3__1050_27.min1.thm12017-02-06 12:45 454  
[ ]topgen_3__1056_19.min1.thm12017-02-06 12:45 498  
[ ]topgen_3__1064_44.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__1065_42.min1.thm12017-02-06 12:45 415  
[ ]topgen_3__1066_34.min1.thm12017-02-06 12:45 767  
[ ]topgen_3__1067_47.min1.thm12017-02-06 12:45 370  
[ ]topgen_3__1068_44.min1.thm12017-02-06 12:45 869  
[ ]topgen_3__1070_16.min1.thm12017-02-06 12:45 717  
[ ]topgen_3__1086_26.min1.thm12017-02-06 12:45 528  
[ ]topgen_3__1087_37.min1.thm12017-02-06 12:45 457  
[ ]topgen_3__1088_13.min1.thm12017-02-06 12:45 225  
[ ]topgen_3__1089_19.min1.thm12017-02-06 12:45 717  
[ ]topgen_3__1099_14.min1.thm12017-02-06 12:45 685  
[ ]topgen_3__1101_22.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__1102_18.min1.thm12017-02-06 12:45 2.2K 
[ ]topgen_3__1105_11.min1.thm12017-02-06 12:45 557  
[ ]topgen_3__1106_15.min1.thm12017-02-06 12:45 306  
[ ]topgen_3__1106_15.min1.thm1.tptp2017-02-06 16:46 225  
[ ]topgen_3__1108_28.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__1112_14.min1.thm12017-02-06 12:45 494  
[ ]topgen_3__1113_13.min1.thm12017-02-06 12:45 494  
[ ]topgen_3__1114_19.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__1116_44.min1.thm12017-02-06 12:45 817  
[ ]topgen_3__1117_15.min1.thm12017-02-06 12:45 430  
[ ]topgen_3__1118_28.min1.thm12017-02-06 12:45 956  
[ ]topgen_3__1119_27.min1.thm12017-02-06 12:45 460  
[ ]topgen_3__1136_19.min1.thm12017-02-06 12:45 503  
[ ]topgen_3__1136_19.min1.thm1.tptp2017-02-06 16:46 450  
[ ]topgen_3__1139_12.min1.thm12017-02-06 12:45 617  
[ ]topgen_3__1140_15.min1.thm12017-02-06 12:45 305  
[ ]topgen_3__1140_15.min1.thm1.tptp2017-02-06 16:46 224  
[ ]topgen_3__1141_19.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__1142_48.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__1155_16.min1.thm12017-02-06 12:45 669  
[ ]topgen_3__1156_16.min1.thm12017-02-06 12:45 542  
[ ]topgen_3__1157_17.min1.thm12017-02-06 12:45 703  
[ ]topgen_3__1160_28.min1.thm12017-02-06 12:45 666  
[ ]topgen_3__1161_17.min1.thm12017-02-06 12:45 400  
[ ]topgen_3__1185_27.min1.thm12017-02-06 12:45 595  
[ ]topgen_3__1186_57.min1.thm12017-02-06 12:45 746  
[ ]topgen_3__1187_44.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__1203_26.min1.thm12017-02-06 12:45 849  
[ ]topgen_3__1204_69.min1.thm12017-02-06 12:45 824  
[ ]topgen_3__1206_15.min1.thm12017-02-06 12:45 545  
[ ]topgen_3__1214_26.min1.thm12017-02-06 12:45 850  
[ ]topgen_3__1217_14.min1.thm12017-02-06 12:45 619  
[ ]topgen_3__1218_14.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__1220_14.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__1221_69.min1.thm12017-02-06 12:45 826  
[ ]topgen_3__1224_15.min1.thm12017-02-06 12:45 547  
[ ]topgen_3__1225_13.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__1226_50.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_3__1228_30.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_3__1232_28.min1.thm12017-02-06 12:45 798  
[ ]topgen_3__1239_16.min1.thm12017-02-06 12:45 598  
[ ]topgen_3__1244_26.min1.thm12017-02-06 12:45 920  
[ ]topgen_3__1245_69.min1.thm12017-02-06 12:45 825  
[ ]topgen_3__1248_15.min1.thm12017-02-06 12:45 547  
[ ]topgen_3__1252_16.min1.thm12017-02-06 12:45 600  
[ ]topgen_3__1257_26.min1.thm12017-02-06 12:45 923  
[ ]topgen_3__1263_14.min1.thm12017-02-06 12:45 467  
[ ]topgen_3__1263_14.min1.thm1.tptp2017-02-06 16:46 413  
[ ]topgen_3__1264_38.min1.thm12017-02-06 12:45 810  
[ ]topgen_3__1265_14.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__1266_69.min1.thm12017-02-06 12:45 827  
[ ]topgen_3__1269_15.min1.thm12017-02-06 12:45 547  
[ ]topgen_3__1270_14.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__1271_14.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__1272_13.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__1273_50.min1.thm12017-02-06 12:45 2.1K 
[ ]topgen_3__1275_30.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__1283_15.min1.thm12017-02-06 12:45 598  
[ ]topgen_3__1288_23.min1.thm12017-02-06 12:45 920  
[ ]topgen_3__1290_32.min1.thm12017-02-06 12:45 661  
[ ]topgen_3__1292_28.min1.thm12017-02-06 12:45 641  
[ ]topgen_3__1293_29.min1.thm12017-02-06 12:45 355  
[ ]topgen_3__1293_29.min1.thm1.tptp2017-02-06 16:46 274  
[ ]topgen_3__1294_26.min1.thm12017-02-06 12:45 869  
[ ]topgen_3__1302_17.min1.thm12017-02-06 12:45 435  
[ ]topgen_3__1303_34.min1.thm12017-02-06 12:45 452  
[ ]topgen_3__1304_16.min1.thm12017-02-06 12:45 664  
[ ]topgen_3__1311_11.min1.thm12017-02-06 12:45 428  
[ ]topgen_3__1334_17.min1.thm12017-02-06 12:45 559  
[ ]topgen_3__1334_17.min1.thm1.tptp2017-02-06 16:46 504  
[ ]topgen_3__1335_15.min1.thm12017-02-06 12:45 302  
[ ]topgen_3__1335_15.min1.thm1.tptp2017-02-06 16:46 221  
[ ]topgen_3__1339_25.min1.thm12017-02-06 12:45 748  
[ ]topgen_3__1340_19.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__1342_12.min1.thm12017-02-06 12:45 468  
[ ]topgen_3__1344_25.min1.thm12017-02-06 12:45 622  
[ ]topgen_3__1345_53.min1.thm12017-02-06 12:45 709  
[ ]topgen_3__1346_28.min1.thm12017-02-06 12:45 611  
[ ]topgen_3__1347_19.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__1348_30.min1.thm12017-02-06 12:45 722  
[ ]topgen_3__1352_44.min1.thm12017-02-06 12:45 320  
[ ]topgen_3__1352_44.min1.thm1.tptp2017-02-06 16:46 242  
[ ]topgen_3__1353_16.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_3__1357_15.min1.thm12017-02-06 12:45 305  
[ ]topgen_3__1357_15.min1.thm1.tptp2017-02-06 16:46 224  
[ ]topgen_3__1358_43.min1.thm12017-02-06 12:45 514  
[ ]topgen_3__1359_19.min1.thm12017-02-06 12:45 796  
[ ]topgen_3__1360_19.min1.thm12017-02-06 12:45 886  
[ ]topgen_3__1373_20.min1.thm12017-02-06 12:45 826  
[ ]topgen_3__1379_20.min1.thm12017-02-06 12:45 826  
[ ]topgen_3__1384_14.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__1386_18.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__1387_19.min1.thm12017-02-06 12:45 911  
[ ]topgen_3__1389_17.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__1409_15.min1.thm12017-02-06 12:45 388  
[ ]topgen_3__1410_25.min1.thm12017-02-06 12:45 350  
[ ]topgen_3__1410_25.min1.thm1.tptp2017-02-06 16:46 276  
[ ]topgen_3__1411_19.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_3__1422_54.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__1423_26.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_3__1449_14.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__1450_30.min1.thm12017-02-06 12:45 573  
[ ]topgen_3__1464_16.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__1466_27.min1.thm12017-02-06 12:45 573  
[ ]topgen_3__1472_25.min1.thm12017-02-06 12:45 2.1K 
[ ]topgen_3__1478_29.min1.thm12017-02-06 12:45 1.9K 
[ ]topgen_3__1480_26.min1.thm12017-02-06 12:45 2.6K 
[ ]topgen_3__1481_21.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_3__1489_22.min1.thm12017-02-06 12:45 3.1K 
[ ]topgen_3__1506_14.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__1507_30.min1.thm12017-02-06 12:45 573  
[ ]topgen_3__1515_14.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__1529_43.min1.thm12017-02-06 12:45 579  
[ ]topgen_3__1529_43.min1.thm1.tptp2017-02-06 16:46 502  
[ ]topgen_3__1542_14.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__1545_19.min1.thm12017-02-06 12:45 408  
[ ]topgen_3__1545_19.min1.thm1.tptp2017-02-06 16:46 342  
[ ]topgen_3__1546_42.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__1547_28.min1.thm12017-02-06 12:45 2.2K 
[ ]topgen_3__1550_72.min1.thm12017-02-06 12:45 2.6K 
[ ]topgen_3__1560_34.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_3__1566_13.min1.thm12017-02-06 12:45 2.5K 
[ ]topgen_3__1567_18.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_3__1569_18.min1.thm12017-02-06 12:45 2.0K 
[ ]topgen_3__1570_35.min1.thm12017-02-06 12:45 922  
[ ]topgen_3__1571_13.min1.thm12017-02-06 12:45 2.1K 
[ ]topgen_3__1578_71.min1.thm12017-02-06 12:45 777  
[ ]topgen_3__1578_71.min1.thm1.tptp2017-02-06 16:46 696  
[ ]topgen_3__1579_17.min1.thm12017-02-06 12:45 2.3K 
[ ]topgen_3__1602_36.min1.thm12017-02-06 12:45 356  
[ ]topgen_3__1602_36.min1.thm1.tptp2017-02-06 16:46 293  
[ ]topgen_3__1604_26.min1.thm12017-02-06 12:45 903  
[ ]topgen_3__1607_35.min1.thm12017-02-06 12:45 921  
[ ]topgen_3__1611_17.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__1612_28.min1.thm12017-02-06 12:45 1.9K 
[ ]topgen_3__1622_30.min1.thm12017-02-06 12:45 2.9K 
[ ]topgen_3__1624_30.min1.thm12017-02-06 12:45 2.9K 
[ ]topgen_3__1637_37.min1.thm12017-02-06 12:45 2.4K 
[ ]topgen_3__1638_26.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_3__1641_37.min1.thm12017-02-06 12:45 2.4K 
[ ]topgen_3__1647_16.min1.thm12017-02-06 12:45 481  
[ ]topgen_3__1655_13.min1.thm12017-02-06 12:45 286  
[ ]topgen_3__1656_39.min1.thm12017-02-06 12:45 945  
[ ]topgen_3__1657_14.min1.thm12017-02-06 12:45 928  
[ ]topgen_3__1658_75.min1.thm12017-02-06 12:45 846  
[ ]topgen_3__1666_56.min1.thm12017-02-06 12:45 844  
[ ]topgen_3__1667_41.min1.thm12017-02-06 12:45 631  
[ ]topgen_3__1667_41.min1.thm1.tptp2017-02-06 16:46 553  
[ ]topgen_3__1677_44.min1.thm12017-02-06 12:45 352  
[ ]topgen_3__1677_44.min1.thm1.tptp2017-02-06 16:46 284  
[ ]topgen_3__1682_23.min1.thm12017-02-06 12:45 461  
[ ]topgen_3__1684_16.min1.thm12017-02-06 12:45 418  
[ ]topgen_3__1684_16.min1.thm1.tptp2017-02-06 16:46 355  
[ ]topgen_3__1685_13.min1.thm12017-02-06 12:45 475  
[ ]topgen_3__1686_33.min1.thm12017-02-06 12:45 714  
[ ]topgen_3__1687_19.min1.thm12017-02-06 12:45 378  
[ ]topgen_3__1687_19.min1.thm1.tptp2017-02-06 16:46 309  
[ ]topgen_3__1688_19.min1.thm12017-02-06 12:45 590  
[ ]topgen_3__1699_15.min1.thm12017-02-06 12:45 725  
[ ]topgen_3__1700_15.min1.thm12017-02-06 12:45 725  
[ ]topgen_3__1701_19.min1.thm12017-02-06 12:45 619  
[ ]topgen_3__1701_19.min1.thm1.tptp2017-02-06 16:46 558  
[ ]topgen_3__1704_31.min1.thm12017-02-06 12:45 730  
[ ]topgen_3__1706_25.min1.thm12017-02-06 12:45 747  
[ ]topgen_3__1707_28.min1.thm12017-02-06 12:45 355  
[ ]topgen_3__1707_28.min1.thm1.tptp2017-02-06 16:46 274  
[ ]topgen_3__1708_30.min1.thm12017-02-06 12:45 863  
[ ]topgen_3__1714_22.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__1718_31.min1.thm12017-02-06 12:45 686  
[ ]topgen_3__1720_32.min1.thm12017-02-06 12:45 628  
[ ]topgen_3__1721_16.min1.thm12017-02-06 12:45 475  
[ ]topgen_3__1721_16.min1.thm1.tptp2017-02-06 16:46 395  
[ ]topgen_3__1722_50.min1.thm12017-02-06 12:45 504  
[ ]topgen_3__1723_34.min1.thm12017-02-06 12:45 788  
[ ]topgen_3__1725_43.min1.thm12017-02-06 12:45 421  
[ ]topgen_3__1725_43.min1.thm1.tptp2017-02-06 16:46 343  
[ ]topgen_3__1727_32.min1.thm12017-02-06 12:45 357  
[ ]topgen_3__1727_32.min1.thm1.tptp2017-02-06 16:46 277  
[ ]topgen_3__1728_56.min1.thm12017-02-06 12:45 386  
[ ]topgen_3__1730_37.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__1731_37.min1.thm12017-02-06 12:45 613  
[ ]topgen_3__1732_68.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__1735_48.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_3__1737_46.min1.thm12017-02-06 12:45 417  
[ ]topgen_3__1738_20.min1.thm12017-02-06 12:45 769  
[ ]topgen_3__1739_49.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__1740_70.min1.thm12017-02-06 12:45 456  
[ ]topgen_3__1744_25.min1.thm12017-02-06 12:45 353  
[ ]topgen_3__1746_28.min1.thm12017-02-06 12:45 408  
[ ]topgen_3__1747_39.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__1749_52.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__1750_30.min1.thm12017-02-06 12:45 475  
[ ]topgen_3__1760_18.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_3__1761_23.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_3__1763_35.min1.thm12017-02-06 12:45 2.2K 
[ ]topgen_3__1764_23.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_3__1766_35.min1.thm12017-02-06 12:45 2.2K 
[ ]topgen_3__1767_17.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_3__1770_21.min1.thm12017-02-06 12:45 744  
[ ]topgen_3__1771_19.min1.thm12017-02-06 12:45 818  
[ ]topgen_3__1772_34.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__1774_17.min1.thm12017-02-06 12:45 913  
[ ]topgen_3__1781_25.min1.thm12017-02-06 12:45 377  
[ ]topgen_3__1782_34.min1.thm12017-02-06 12:45 359  
[ ]topgen_3__1782_34.min1.thm1.tptp2017-02-06 16:46 279  
[ ]topgen_3__1783_17.min1.thm12017-02-06 12:45 572  
[ ]topgen_3__1795_13.min1.thm12017-02-06 12:45 305  
[ ]topgen_3__1798_33.min1.thm12017-02-06 12:45 718  
[ ]topgen_3__1799_43.min1.thm12017-02-06 12:45 766  
[ ]topgen_3__1804_29.min1.thm12017-02-06 12:45 490  
[ ]topgen_3__1805_20.min1.thm12017-02-06 12:45 650  
[ ]topgen_3__1806_43.min1.thm12017-02-06 12:45 916  
[ ]topgen_3__1810_29.min1.thm12017-02-06 12:45 693  
[ ]topgen_3__1811_43.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__1824_72.min1.thm12017-02-06 12:45 475  
[ ]topgen_3__1824_72.min1.thm1.tptp2017-02-06 16:46 415  
[ ]topgen_3__1825_18.min1.thm12017-02-06 12:45 452  
[ ]topgen_3__1827_16.min1.thm12017-02-06 12:45 669  
[ ]topgen_3__1837_61.min1.thm12017-02-06 12:45 719  
[ ]topgen_3__1840_31.min1.thm12017-02-06 12:45 352  
[ ]topgen_3__1841_37.min1.thm12017-02-06 12:45 657  
[ ]topgen_3__1845_13.min1.thm12017-02-06 12:45 673  
[ ]topgen_3__1848_14.min1.thm12017-02-06 12:45 747  
[ ]topgen_3__1851_24.min1.thm12017-02-06 12:45 825  
[ ]topgen_3__1852_37.min1.thm12017-02-06 12:45 488  
[ ]topgen_3__1858_15.min1.thm12017-02-06 12:45 620  
[ ]topgen_3__1859_15.min1.thm12017-02-06 12:45 885  
[ ]topgen_3__1862_35.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__1863_19.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_3__1868_17.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__1872_55.min1.thm12017-02-06 12:45 671  
[ ]topgen_3__1875_31.min1.thm12017-02-06 12:45 304  
[ ]topgen_3__1876_18.min1.thm12017-02-06 12:45 407  
[ ]topgen_3__1876_18.min1.thm1.tptp2017-02-06 16:46 330  
[ ]topgen_3__1877_16.min1.thm12017-02-06 12:45 576  
[ ]topgen_3__1878_19.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__1880_22.min1.thm12017-02-06 12:45 507  
[ ]topgen_3__1882_30.min1.thm12017-02-06 12:45 421  
[ ]topgen_3__1882_30.min1.thm1.tptp2017-02-06 16:46 343  
[ ]topgen_3__1887_43.min1.thm12017-02-06 12:45 480  
[ ]topgen_3__1889_28.min1.thm12017-02-06 12:45 573  
[ ]topgen_3__1890_19.min1.thm12017-02-06 12:45 390  
[ ]topgen_3__1890_19.min1.thm1.tptp2017-02-06 16:46 309  
[ ]topgen_3__1892_14.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__1906_24.min1.thm12017-02-06 12:45 559  
[ ]topgen_3__1908_21.min1.thm12017-02-06 12:45 537  
[ ]topgen_3__1910_17.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__1912_14.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_3__1917_15.min1.thm12017-02-06 12:45 253  
[ ]topgen_3__1920_24.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__1922_11.min1.thm12017-02-06 12:45 488  
[ ]topgen_3__1927_19.min1.thm12017-02-06 12:45 573  
[ ]topgen_3__1927_19.min1.thm1.tptp2017-02-06 16:46 519  
[ ]topgen_3__1928_38.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__1929_12.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_3__1932_17.min1.thm12017-02-06 12:45 959  
[ ]topgen_3__1938_45.min1.thm12017-02-06 12:45 830  
[ ]topgen_3__1940_38.min1.thm12017-02-06 12:45 627  
[ ]topgen_3__1940_38.min1.thm1.tptp2017-02-06 16:46 563  
[ ]topgen_3__1943_42.min1.thm12017-02-06 12:45 683  
[ ]topgen_3__1944_42.min1.thm12017-02-06 12:45 583  
[ ]topgen_3__1944_42.min1.thm1.tptp2017-02-06 16:46 529  
[ ]topgen_3__1947_29.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__1948_46.min1.thm12017-02-06 12:45 672  
[ ]topgen_3__1949_52.min1.thm12017-02-06 12:45 706  
[ ]topgen_3__1964_10.min1.thm12017-02-06 12:45 238  
[ ]topgen_3__1971_38.min1.thm12017-02-06 12:45 749  
[ ]topgen_3__1972_17.min1.thm12017-02-06 12:45 703  
[ ]topgen_3__1973_21.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_3__1986_23.min1.thm12017-02-06 12:45 539  
[ ]topgen_3__1989_23.min1.thm12017-02-06 12:45 426  
[ ]topgen_3__1989_23.min1.thm1.tptp2017-02-06 16:46 360  
[ ]topgen_3__1990_17.min1.thm12017-02-06 12:45 373  
[ ]topgen_3__1990_17.min1.thm1.tptp2017-02-06 16:46 305  
[ ]topgen_3__1991_15.min1.thm12017-02-06 12:45 514  
[ ]topgen_3__1991_15.min1.thm1.tptp2017-02-06 16:46 449  
[ ]topgen_3__1992_57.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__1995_21.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_3__1997_20.min1.thm12017-02-06 12:45 586  
[ ]topgen_3__2002_32.min1.thm12017-02-06 12:45 444  
[ ]topgen_3__2004_18.min1.thm12017-02-06 12:45 734  
[ ]topgen_3__2015_69.min1.thm12017-02-06 12:45 828  
[ ]topgen_3__2016_68.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__2027_36.min1.thm12017-02-06 12:45 551  
[ ]topgen_3__2027_36.min1.thm1.tptp2017-02-06 16:46 515  
[ ]topgen_3__2032_11.min1.thm12017-02-06 12:45 516  
[ ]topgen_3__2032_11.min1.thm1.tptp2017-02-06 16:46 442  
[ ]topgen_3__2033_47.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__2037_22.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_3__2038_17.min1.thm12017-02-06 12:45 753  
[ ]topgen_3__2046_19.min1.thm12017-02-06 12:45 523  
[ ]topgen_3__2047_8.min1.thm12017-02-06 12:45 224  
[ ]topgen_3__2048_14.min1.thm12017-02-06 12:45 924  
[ ]topgen_3__2054_14.min1.thm12017-02-06 12:45 783  
[ ]topgen_3__2066_36.min1.thm12017-02-06 12:45 551  
[ ]topgen_3__2066_36.min1.thm1.tptp2017-02-06 16:46 515  
[ ]topgen_3__2067_17.min1.thm12017-02-06 12:45 756  
[ ]topgen_3__2068_24.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__2070_43.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__2088_23.min1.thm12017-02-06 12:45 205  
[ ]topgen_3__2090_48.min1.thm12017-02-06 12:45 793  
[ ]topgen_3__2090_48.min1.thm1.tptp2017-02-06 16:46 747  
[ ]topgen_3__2091_27.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__2092_23.min1.thm12017-02-06 12:45 380  
[ ]topgen_3__2092_23.min1.thm1.tptp2017-02-06 16:46 306  
[ ]topgen_3__2093_21.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__2095_20.min1.thm12017-02-06 12:45 404  
[ ]topgen_3__2099_15.min1.thm12017-02-06 12:45 291  
[ ]topgen_3__2102_23.min1.thm12017-02-06 12:45 1.9K 
[ ]topgen_3__2107_45.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_3__2108_35.min1.thm12017-02-06 12:45 731  
[ ]topgen_3__2109_35.min1.thm12017-02-06 12:45 731  
[ ]topgen_3__2110_23.min1.thm12017-02-06 12:45 2.4K 
[ ]topgen_3__2116_23.min1.thm12017-02-06 12:45 205  
[ ]topgen_3__2117_77.min1.thm12017-02-06 12:45 891  
[ ]topgen_3__2117_77.min1.thm1.tptp2017-02-06 16:46 849  
[ ]topgen_3__2121_38.min1.thm12017-02-06 12:45 2.8K 
[ ]topgen_3__2122_21.min1.thm12017-02-06 12:45 2.9K 
[ ]topgen_3__2128_32.min1.thm12017-02-06 12:45 475  
[ ]topgen_3__2130_18.min1.thm12017-02-06 12:45 846  
[ ]topgen_3__2142_53.min1.thm12017-02-06 12:45 894  
[ ]topgen_3__2143_19.min1.thm12017-02-06 12:45 811  
[ ]topgen_3__2153_14.min1.thm12017-02-06 12:45 873  
[ ]topgen_3__2163_42.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_3__2164_22.min1.thm12017-02-06 12:45 846  
[ ]topgen_3__2165_19.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__2175_29.min1.thm12017-02-06 12:45 822  
[ ]topgen_3__2177_35.min1.thm12017-02-06 12:45 725  
[ ]topgen_3__2178_17.min1.thm12017-02-06 12:45 797  
[ ]topgen_3__2188_31.min1.thm12017-02-06 12:45 892  
[ ]topgen_3__2191_37.min1.thm12017-02-06 12:45 735  
[ ]topgen_3__2192_17.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__2205_19.min1.thm12017-02-06 12:45 339  
[ ]topgen_3__2205_19.min1.thm1.tptp2017-02-06 16:46 274  
[ ]topgen_3__2210_16.min1.thm12017-02-06 12:45 401  
[ ]topgen_3__2211_13.min1.thm12017-02-06 12:45 409  
[ ]topgen_3__2212_17.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_3__2222_43.min1.thm12017-02-06 12:45 377  
[ ]topgen_3__2223_39.min1.thm12017-02-06 12:45 533  
[ ]topgen_3__2224_14.min1.thm12017-02-06 12:45 338  
[ ]topgen_3__2224_14.min1.thm1.tptp2017-02-06 16:46 273  
[ ]topgen_3__2225_39.min1.thm12017-02-06 12:45 743  
[ ]topgen_3__2226_42.min1.thm12017-02-06 12:45 641  
[ ]topgen_3__2226_42.min1.thm1.tptp2017-02-06 16:46 603  
[ ]topgen_3__2230_19.min1.thm12017-02-06 12:45 691  
[ ]topgen_3__2232_72.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_3__2239_20.min1.thm12017-02-06 12:45 342  
[ ]topgen_3__2239_20.min1.thm1.tptp2017-02-06 16:46 274  
[ ]topgen_3__2240_12.min1.thm12017-02-06 12:45 619  
[ ]topgen_3__2241_50.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__2260_21.min1.thm12017-02-06 12:45 213  
[ ]topgen_3__2261_46.min1.thm12017-02-06 12:45 846  
[ ]topgen_3__2262_21.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__2267_15.min1.thm12017-02-06 12:45 307  
[ ]topgen_3__2270_21.min1.thm12017-02-06 12:45 640  
[ ]topgen_3__2271_23.min1.thm12017-02-06 12:45 217  
[ ]topgen_3__2272_48.min1.thm12017-02-06 12:45 850  
[ ]topgen_3__2274_33.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__2275_23.min1.thm12017-02-06 12:45 217  
[ ]topgen_3__2276_48.min1.thm12017-02-06 12:45 850  
[ ]topgen_3__2278_33.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__2279_21.min1.thm12017-02-06 12:45 640  
[ ]topgen_3__2280_23.min1.thm12017-02-06 12:45 2.4K 
[ ]topgen_3__2284_24.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__2285_27.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_3__2287_40.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__2288_21.min1.thm12017-02-06 12:45 269  
[ ]topgen_3__2289_51.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_3__2291_46.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_3__2292_28.min1.thm12017-02-06 12:45 828  
[ ]topgen_3__2293_28.min1.thm12017-02-06 12:45 828  
[ ]topgen_3__2300_21.min1.thm12017-02-06 12:45 213  
[ ]topgen_3__2301_61.min1.thm12017-02-06 12:45 928  
[ ]topgen_3__2304_33.min1.thm12017-02-06 12:45 2.6K 
[ ]topgen_3__2305_21.min1.thm12017-02-06 12:45 2.7K 
[ ]topgen_3__2307_19.min1.thm12017-02-06 12:45 384  
[ ]topgen_3__2312_32.min1.thm12017-02-06 12:45 437  
[ ]topgen_3__2327_20.min1.thm12017-02-06 12:45 800  
[ ]topgen_3__2327_20.min1.thm1.tptp2017-02-06 16:46 723  
[ ]topgen_3__2337_14.min1.thm12017-02-06 12:45 880  
[ ]topgen_3__2346_40.min1.thm12017-02-06 12:45 648  
[ ]topgen_3__2346_40.min1.thm1.tptp2017-02-06 16:46 610  
[ ]topgen_3__2348_13.min1.thm12017-02-06 12:45 598  
[ ]topgen_3__2349_37.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__2359_28.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__2360_35.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__2361_17.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__2370_42.min1.thm12017-02-06 12:45 648  
[ ]topgen_3__2370_42.min1.thm1.tptp2017-02-06 16:46 610  
[ ]topgen_3__2376_51.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__2377_54.min1.thm12017-02-06 12:45 710  
[ ]topgen_3__2378_16.min1.thm12017-02-06 12:45 842  
[ ]topgen_3__2379_28.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_3__2380_36.min1.thm12017-02-06 12:45 786  
[ ]topgen_3__2381_19.min1.thm12017-02-06 12:45 584  
[ ]topgen_3__2386_31.min1.thm12017-02-06 12:45 500  
[ ]topgen_3__2386_31.min1.thm1.tptp2017-02-06 16:46 438  
[ ]topgen_3__2387_26.min1.thm12017-02-06 12:45 688  
[ ]topgen_3__2388_52.min1.thm12017-02-06 12:45 797  
[ ]topgen_3__2394_21.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__2395_18.min1.thm12017-02-06 12:45 868  
[ ]topgen_3__2396_20.min1.thm12017-02-06 12:45 831  
[ ]topgen_3__2397_11.min1.thm12017-02-06 12:45 879  
[ ]topgen_3__2406_27.min1.thm12017-02-06 12:45 644  
[ ]topgen_3__2406_27.min1.thm1.tptp2017-02-06 16:46 606  
[ ]topgen_3__2407_24.min1.thm12017-02-06 12:45 325  
[ ]topgen_3__2407_24.min1.thm1.tptp2017-02-06 16:46 246  
[ ]topgen_3__2413_36.min1.thm12017-02-06 12:45 731  
[ ]topgen_3__2414_16.min1.thm12017-02-06 12:45 830  
[ ]topgen_3__2416_27.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_3__2417_19.min1.thm12017-02-06 12:45 563  
[ ]topgen_3__2419_10.min1.thm12017-02-06 12:45 554  
[ ]topgen_3__2421_30.min1.thm12017-02-06 12:45 947  
[ ]topgen_3__2422_13.min1.thm12017-02-06 12:45 803  
[ ]topgen_3__2423_32.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_3__2424_39.min1.thm12017-02-06 12:45 721  
[ ]topgen_3__2425_38.min1.thm12017-02-06 12:45 605  
[ ]topgen_3__2426_17.min1.thm12017-02-06 12:45 759  
[ ]topgen_3__2434_27.min1.thm12017-02-06 12:45 648  
[ ]topgen_3__2434_27.min1.thm1.tptp2017-02-06 16:46 610  
[ ]topgen_3__2435_10.min1.thm12017-02-06 12:45 234  
[ ]topgen_3__2436_43.min1.thm12017-02-06 12:45 735  
[ ]topgen_3__2437_17.min1.thm12017-02-06 12:45 1.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80