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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topgen_2__60_16.min1.thm12017-02-06 12:45 348  
[ ]topgen_2__62_45.min1.thm12017-02-06 12:45 769  
[ ]topgen_2__65_29.min1.thm12017-02-06 12:45 680  
[ ]topgen_2__66_35.min1.thm12017-02-06 12:45 599  
[ ]topgen_2__68_17.min1.thm12017-02-06 12:45 667  
[ ]topgen_2__75_18.min1.thm12017-02-06 12:45 364  
[ ]topgen_2__86_19.min1.thm12017-02-06 12:45 534  
[ ]topgen_2__88_17.min1.thm12017-02-06 12:45 593  
[ ]topgen_2__90_14.min1.thm12017-02-06 12:45 773  
[ ]topgen_2__90_14.min1.thm1.tptp2017-02-06 16:47 687  
[ ]topgen_2__109_15.min1.thm12017-02-06 12:45 857  
[ ]topgen_2__110_33.min1.thm12017-02-06 12:45 754  
[ ]topgen_2__111_24.min1.thm12017-02-06 12:45 796  
[ ]topgen_2__111_24.min1.thm1.tptp2017-02-06 16:46 719  
[ ]topgen_2__112_19.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__114_51.min1.thm12017-02-06 12:45 497  
[ ]topgen_2__115_31.min1.thm12017-02-06 12:45 536  
[ ]topgen_2__115_31.min1.thm1.tptp2017-02-06 16:46 470  
[ ]topgen_2__121_24.min1.thm12017-02-06 12:45 796  
[ ]topgen_2__121_24.min1.thm1.tptp2017-02-06 16:47 719  
[ ]topgen_2__126_18.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_2__127_18.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__128_18.min1.thm12017-02-06 12:45 319  
[ ]topgen_2__128_18.min1.thm1.tptp2017-02-06 16:46 233  
[ ]topgen_2__136_16.min1.thm12017-02-06 12:45 922  
[ ]topgen_2__137_33.min1.thm12017-02-06 12:45 754  
[ ]topgen_2__138_24.min1.thm12017-02-06 12:45 796  
[ ]topgen_2__138_24.min1.thm1.tptp2017-02-06 16:47 719  
[ ]topgen_2__139_36.min1.thm12017-02-06 12:45 812  
[ ]topgen_2__140_19.min1.thm12017-02-06 12:45 968  
[ ]topgen_2__156_22.min1.thm12017-02-06 12:45 324  
[ ]topgen_2__156_22.min1.thm1.tptp2017-02-06 16:47 246  
[ ]topgen_2__158_37.min1.thm12017-02-06 12:45 918  
[ ]topgen_2__164_18.min1.thm12017-02-06 12:45 542  
[ ]topgen_2__166_18.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__176_31.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__192_32.min1.thm12017-02-06 12:45 313  
[ ]topgen_2__192_32.min1.thm1.tptp2017-02-06 16:47 232  
[ ]topgen_2__193_66.min1.thm12017-02-06 12:45 415  
[ ]topgen_2__195_17.min1.thm12017-02-06 12:45 457  
[ ]topgen_2__195_17.min1.thm1.tptp2017-02-06 16:47 400  
[ ]topgen_2__204_46.min1.thm12017-02-06 12:45 605  
[ ]topgen_2__205_30.min1.thm12017-02-06 12:45 530  
[ ]topgen_2__207_37.min1.thm12017-02-06 12:45 378  
[ ]topgen_2__207_37.min1.thm1.tptp2017-02-06 16:47 311  
[ ]topgen_2__212_17.min1.thm12017-02-06 12:45 594  
[ ]topgen_2__213_26.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__220_46.min1.thm12017-02-06 12:45 605  
[ ]topgen_2__221_19.min1.thm12017-02-06 12:45 948  
[ ]topgen_2__223_17.min1.thm12017-02-06 12:45 805  
[ ]topgen_2__236_48.min1.thm12017-02-06 12:45 651  
[ ]topgen_2__236_48.min1.thm1.tptp2017-02-06 16:47 618  
[ ]topgen_2__238_18.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__250_31.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__262_46.min1.thm12017-02-06 12:45 647  
[ ]topgen_2__262_46.min1.thm1.tptp2017-02-06 16:47 614  
[ ]topgen_2__264_19.min1.thm12017-02-06 12:45 843  
[ ]topgen_2__265_47.min1.thm12017-02-06 12:45 798  
[ ]topgen_2__276_17.min1.thm12017-02-06 12:45 586  
[ ]topgen_2__277_21.min1.thm12017-02-06 12:45 409  
[ ]topgen_2__277_21.min1.thm1.tptp2017-02-06 16:46 334  
[ ]topgen_2__278_17.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__297_18.min1.thm12017-02-06 12:45 661  
[ ]topgen_2__299_23.min1.thm12017-02-06 12:45 646  
[ ]topgen_2__299_23.min1.thm1.tptp2017-02-06 16:46 579  
[ ]topgen_2__300_24.min1.thm12017-02-06 12:45 338  
[ ]topgen_2__300_24.min1.thm1.tptp2017-02-06 16:46 257  
[ ]topgen_2__301_27.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__302_25.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__304_19.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__310_24.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__312_23.min1.thm12017-02-06 12:45 587  
[ ]topgen_2__313_26.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__331_17.min1.thm12017-02-06 12:45 494  
[ ]topgen_2__331_17.min1.thm1.tptp2017-02-06 16:47 417  
[ ]topgen_2__344_53.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__345_19.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_2__349_14.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__373_26.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__377_14.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__378_17.min1.thm12017-02-06 12:45 622  
[ ]topgen_2__395_42.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_2__396_14.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__397_12.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__398_21.min1.thm12017-02-06 12:45 802  
[ ]topgen_2__402_14.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__403_17.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__414_16.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__415_22.min1.thm12017-02-06 12:45 653  
[ ]topgen_2__416_20.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_2__431_22.min1.thm12017-02-06 12:45 645  
[ ]topgen_2__448_20.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__450_48.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__465_64.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__467_17.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__468_16.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__477_15.min1.thm12017-02-06 12:45 516  
[ ]topgen_2__493_24.min1.thm12017-02-06 12:45 632  
[ ]topgen_2__493_24.min1.thm1.tptp2017-02-06 16:46 568  
[ ]topgen_2__503_16.min1.thm12017-02-06 12:45 381  
[ ]topgen_2__506_24.min1.thm12017-02-06 12:45 463  
[ ]topgen_2__506_24.min1.thm1.tptp2017-02-06 16:47 385  
[ ]topgen_2__513_33.min1.thm12017-02-06 12:45 406  
[ ]topgen_2__521_37.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__528_13.min1.thm12017-02-06 12:45 746  
[ ]topgen_2__529_39.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__530_33.min1.thm12017-02-06 12:45 630  
[ ]topgen_2__536_21.min1.thm12017-02-06 12:45 874  
[ ]topgen_2__538_23.min1.thm12017-02-06 12:45 740  
[ ]topgen_2__539_17.min1.thm12017-02-06 12:45 495  
[ ]topgen_2__539_17.min1.thm1.tptp2017-02-06 16:47 414  
[ ]topgen_2__540_21.min1.thm12017-02-06 12:45 888  
[ ]topgen_2__541_19.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__543_22.min1.thm12017-02-06 12:45 845  
[ ]topgen_2__566_49.min1.thm12017-02-06 12:45 595  
[ ]topgen_2__566_49.min1.thm1.tptp2017-02-06 16:46 532  
[ ]topgen_2__567_31.min1.thm12017-02-06 12:45 801  
[ ]topgen_2__570_11.min1.thm12017-02-06 12:45 280  
[ ]topgen_2__578_11.min1.thm12017-02-06 12:45 189  
[ ]topgen_2__581_19.min1.thm12017-02-06 12:45 408  
[ ]topgen_2__585_38.min1.thm12017-02-06 12:45 293  
[ ]topgen_2__585_38.min1.thm1.tptp2017-02-06 16:47 213  
[ ]topgen_2__590_35.min1.thm12017-02-06 12:45 847  
[ ]topgen_2__595_21.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__599_16.min1.thm12017-02-06 12:45 747  
[ ]topgen_2__600_16.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_2__601_21.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_2__610_23.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_2__611_17.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_2__612_21.min1.thm12017-02-06 12:45 435  
[ ]topgen_2__614_16.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__615_30.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_2__616_19.min1.thm12017-02-06 12:45 553  
[ ]topgen_2__631_36.min1.thm12017-02-06 12:45 600  
[ ]topgen_2__632_16.min1.thm12017-02-06 12:45 664  
[ ]topgen_2__633_19.min1.thm12017-02-06 12:45 740  
[ ]topgen_2__641_37.min1.thm12017-02-06 12:45 783  
[ ]topgen_2__643_19.min1.thm12017-02-06 12:45 942  
[ ]topgen_2__644_18.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__645_18.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__654_14.min1.thm12017-02-06 12:45 797  
[ ]topgen_2__655_32.min1.thm12017-02-06 12:45 592  
[ ]topgen_2__656_13.min1.thm12017-02-06 12:45 968  
[ ]topgen_2__657_14.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__662_11.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__663_17.min1.thm12017-02-06 12:45 554  
[ ]topgen_2__672_69.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__673_16.min1.thm12017-02-06 12:45 804  
[ ]topgen_2__674_38.min1.thm12017-02-06 12:45 361  
[ ]topgen_2__674_38.min1.thm1.tptp2017-02-06 16:47 282  
[ ]topgen_2__676_44.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__677_47.min1.thm12017-02-06 12:45 631  
[ ]topgen_2__677_47.min1.thm1.tptp2017-02-06 16:47 567  
[ ]topgen_2__678_44.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__686_47.min1.thm12017-02-06 12:45 385  
[ ]topgen_2__686_47.min1.thm1.tptp2017-02-06 16:47 305  
[ ]topgen_2__690_39.min1.thm12017-02-06 12:45 485  
[ ]topgen_2__690_39.min1.thm1.tptp2017-02-06 16:46 410  
[ ]topgen_2__691_30.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_2__701_25.min1.thm12017-02-06 12:45 632  
[ ]topgen_2__701_25.min1.thm1.tptp2017-02-06 16:47 568  
[ ]topgen_2__711_18.min1.thm12017-02-06 12:45 366  
[ ]topgen_2__714_48.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__720_25.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_2__721_27.min1.thm12017-02-06 12:45 132  
[ ]topgen_2__723_13.min1.thm12017-02-06 12:45 754  
[ ]topgen_2__724_21.min1.thm12017-02-06 12:45 601  
[ ]topgen_2__725_18.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_2__730_31.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__732_20.min1.thm12017-02-06 12:45 747  
[ ]topgen_2__733_55.min1.thm12017-02-06 12:45 712  
[ ]topgen_2__735_29.min1.thm12017-02-06 12:45 694  
[ ]topgen_2__736_36.min1.thm12017-02-06 12:45 541  
[ ]topgen_2__745_16.min1.thm12017-02-06 12:45 584  
[ ]topgen_2__745_16.min1.thm1.tptp2017-02-06 16:46 511  
[ ]topgen_2__748_16.min1.thm12017-02-06 12:45 648  
[ ]topgen_2__749_14.min1.thm12017-02-06 12:45 585  
[ ]topgen_2__750_14.min1.thm12017-02-06 12:45 861  
[ ]topgen_2__751_64.min1.thm12017-02-06 12:45 960  
[ ]topgen_2__759_40.min1.thm12017-02-06 12:45 598  
[ ]topgen_2__760_31.min1.thm12017-02-06 12:45 684  
[ ]topgen_2__765_17.min1.thm12017-02-06 12:45 884  
[ ]topgen_2__766_25.min1.thm12017-02-06 12:45 402  
[ ]topgen_2__766_25.min1.thm1.tptp2017-02-06 16:47 323  
[ ]topgen_2__767_30.min1.thm12017-02-06 12:45 722  
[ ]topgen_2__768_16.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__779_24.min1.thm12017-02-06 12:45 663  
[ ]topgen_2__779_24.min1.thm1.tptp2017-02-06 16:47 599  
[ ]topgen_2__781_18.min1.thm12017-02-06 12:45 618  
[ ]topgen_2__783_29.min1.thm12017-02-06 12:45 725  
[ ]topgen_2__784_54.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__786_39.min1.thm12017-02-06 12:45 713  
[ ]topgen_2__789_39.min1.thm12017-02-06 12:45 356  
[ ]topgen_2__789_39.min1.thm1.tptp2017-02-06 16:46 278  
[ ]topgen_2__800_18.min1.thm12017-02-06 12:45 366  
[ ]topgen_2__802_46.min1.thm12017-02-06 12:45 796  
[ ]topgen_2__817_39.min1.thm12017-02-06 12:45 356  
[ ]topgen_2__817_39.min1.thm1.tptp2017-02-06 16:47 278  
[ ]topgen_2__827_18.min1.thm12017-02-06 12:45 368  
[ ]topgen_2__845_20.min1.thm12017-02-06 12:45 697  
[ ]topgen_2__846_21.min1.thm12017-02-06 12:45 612  
[ ]topgen_2__855_28.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_2__856_42.min1.thm12017-02-06 12:45 870  
[ ]topgen_2__860_18.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__864_17.min1.thm12017-02-06 12:45 376  
[ ]topgen_2__864_17.min1.thm1.tptp2017-02-06 16:47 294  
[ ]topgen_2__866_16.min1.thm12017-02-06 12:45 2.1K 
[ ]topgen_2__886_38.min1.thm12017-02-06 12:45 600  
[ ]topgen_2__889_14.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_2__890_16.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__891_33.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__892_11.min1.thm12017-02-06 12:45 790  
[ ]topgen_2__897_14.min1.thm12017-02-06 12:45 927  
[ ]topgen_2__898_16.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__899_17.min1.thm12017-02-06 12:45 554  
[ ]topgen_2__915_16.min1.thm12017-02-06 12:45 751  
[ ]topgen_2__917_30.min1.thm12017-02-06 12:45 932  
[ ]topgen_2__918_47.min1.thm12017-02-06 12:45 598  
[ ]topgen_2__918_47.min1.thm1.tptp2017-02-06 16:47 535  
[ ]topgen_2__935_16.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__945_44.min1.thm12017-02-06 12:45 189  
[ ]topgen_2__946_17.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_2__958_12.min1.thm12017-02-06 12:45 735  
[ ]topgen_2__958_12.min1.thm1.tptp2017-02-06 16:46 708  
[ ]topgen_2__967_32.min1.thm12017-02-06 12:45 671  
[ ]topgen_2__970_34.min1.thm12017-02-06 12:45 904  
[ ]topgen_2__971_18.min1.thm12017-02-06 12:45 852  
[ ]topgen_2__973_43.min1.thm12017-02-06 12:45 710  
[ ]topgen_2__975_15.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__987_27.min1.thm12017-02-06 12:45 512  
[ ]topgen_2__987_27.min1.thm1.tptp2017-02-06 16:47 467  
[ ]topgen_2__988_28.min1.thm12017-02-06 12:45 682  
[ ]topgen_2__989_14.min1.thm12017-02-06 12:45 524  
[ ]topgen_2__990_16.min1.thm12017-02-06 12:45 820  
[ ]topgen_2__991_50.min1.thm12017-02-06 12:45 878  
[ ]topgen_2__995_15.min1.thm12017-02-06 12:45 301  
[ ]topgen_2__1000_22.min1.thm12017-02-06 12:45 472  
[ ]topgen_2__1000_22.min1.thm1.tptp2017-02-06 16:46 406  
[ ]topgen_2__1001_18.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_2__1003_54.min1.thm12017-02-06 12:45 544  
[ ]topgen_2__1003_54.min1.thm1.tptp2017-02-06 16:46 484  
[ ]topgen_2__1004_29.min1.thm12017-02-06 12:45 891  
[ ]topgen_2__1005_23.min1.thm12017-02-06 12:45 751  
[ ]topgen_2__1006_36.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1007_29.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_2__1008_45.min1.thm12017-02-06 12:45 893  
[ ]topgen_2__1016_19.min1.thm12017-02-06 12:45 799  
[ ]topgen_2__1017_20.min1.thm12017-02-06 12:45 875  
[ ]topgen_2__1018_60.min1.thm12017-02-06 12:45 553  
[ ]topgen_2__1018_60.min1.thm1.tptp2017-02-06 16:47 494  
[ ]topgen_2__1021_29.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1022_45.min1.thm12017-02-06 12:45 814  
[ ]topgen_2__1029_16.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__1034_18.min1.thm12017-02-06 12:45 593  
[ ]topgen_2__1034_18.min1.thm1.tptp2017-02-06 16:46 533  
[ ]topgen_2__1037_21.min1.thm12017-02-06 12:45 593  
[ ]topgen_2__1037_21.min1.thm1.tptp2017-02-06 16:46 533  
[ ]topgen_2__1038_25.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_2__1039_24.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_2__1040_21.min1.thm12017-02-06 12:45 924  
[ ]topgen_2__1045_40.min1.thm12017-02-06 12:45 734  
[ ]topgen_2__1045_40.min1.thm1.tptp2017-02-06 16:47 692  
[ ]topgen_2__1046_28.min1.thm12017-02-06 12:45 964  
[ ]topgen_2__1047_24.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1048_21.min1.thm12017-02-06 12:45 846  
[ ]topgen_2__1056_14.min1.thm12017-02-06 12:45 925  
[ ]topgen_2__1068_35.min1.thm12017-02-06 12:45 678  
[ ]topgen_2__1069_27.min1.thm12017-02-06 12:45 508  
[ ]topgen_2__1069_27.min1.thm1.tptp2017-02-06 16:46 463  
[ ]topgen_2__1073_30.min1.thm12017-02-06 12:45 794  
[ ]topgen_2__1075_32.min1.thm12017-02-06 12:45 872  
[ ]topgen_2__1076_19.min1.thm12017-02-06 12:45 786  
[ ]topgen_2__1079_30.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1090_31.min1.thm12017-02-06 12:45 769  
[ ]topgen_2__1092_52.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1093_25.min1.thm12017-02-06 12:45 508  
[ ]topgen_2__1093_25.min1.thm1.tptp2017-02-06 16:46 463  
[ ]topgen_2__1094_17.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1103_25.min1.thm12017-02-06 12:45 508  
[ ]topgen_2__1103_25.min1.thm1.tptp2017-02-06 16:46 463  
[ ]topgen_2__1104_17.min1.thm12017-02-06 12:45 934  
[ ]topgen_2__1116_27.min1.thm12017-02-06 12:45 508  
[ ]topgen_2__1116_27.min1.thm1.tptp2017-02-06 16:46 463  
[ ]topgen_2__1117_18.min1.thm12017-02-06 12:45 341  
[ ]topgen_2__1117_18.min1.thm1.tptp2017-02-06 16:46 273  
[ ]topgen_2__1132_25.min1.thm12017-02-06 12:45 508  
[ ]topgen_2__1132_25.min1.thm1.tptp2017-02-06 16:47 463  
[ ]topgen_2__1133_24.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1135_21.min1.thm12017-02-06 12:45 734  
[ ]topgen_2__1136_12.min1.thm12017-02-06 12:45 335  
[ ]topgen_2__1136_12.min1.thm1.tptp2017-02-06 16:46 270  
[ ]topgen_2__1137_17.min1.thm12017-02-06 12:45 785  
[ ]topgen_2__1147_21.min1.thm12017-02-06 12:45 609  
[ ]topgen_2__1148_17.min1.thm12017-02-06 12:45 783  
[ ]topgen_2__1158_16.min1.thm12017-02-06 12:45 574  
[ ]topgen_2__1174_39.min1.thm12017-02-06 12:45 807  
[ ]topgen_2__1175_36.min1.thm12017-02-06 12:45 743  
[ ]topgen_2__1177_35.min1.thm12017-02-06 12:45 776  
[ ]topgen_2__1178_34.min1.thm12017-02-06 12:45 427  
[ ]topgen_2__1178_34.min1.thm1.tptp2017-02-06 16:47 341  
[ ]topgen_2__1179_15.min1.thm12017-02-06 12:45 270  
[ ]topgen_2__1180_23.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_2__1185_37.min1.thm12017-02-06 12:45 848  
[ ]topgen_2__1196_20.min1.thm12017-02-06 12:45 920  
[ ]topgen_2__1197_22.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__1198_8.min1.thm12017-02-06 12:45 564  
[ ]topgen_2__1198_8.min1.thm1.tptp2017-02-06 16:47 490  
[ ]topgen_2__1208_39.min1.thm12017-02-06 12:45 807  
[ ]topgen_2__1209_36.min1.thm12017-02-06 12:45 743  
[ ]topgen_2__1211_34.min1.thm12017-02-06 12:45 427  
[ ]topgen_2__1211_34.min1.thm1.tptp2017-02-06 16:46 341  
[ ]topgen_2__1214_32.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_2__1216_15.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_2__1234_31.min1.thm12017-02-06 12:45 794  
[ ]topgen_2__1235_41.min1.thm12017-02-06 12:45 660  
[ ]topgen_2__1239_41.min1.thm12017-02-06 12:45 717  
[ ]topgen_2__1240_16.min1.thm12017-02-06 12:45 784  
[ ]topgen_2__1241_23.min1.thm12017-02-06 12:45 680  
[ ]topgen_2__1243_19.min1.thm12017-02-06 12:45 698  
[ ]topgen_2__1245_27.min1.thm12017-02-06 12:45 508  
[ ]topgen_2__1245_27.min1.thm1.tptp2017-02-06 16:46 463  
[ ]topgen_2__1250_55.min1.thm12017-02-06 12:45 512  
[ ]topgen_2__1250_55.min1.thm1.tptp2017-02-06 16:47 452  
[ ]topgen_2__1251_19.min1.thm12017-02-06 12:45 859  
[ ]topgen_2__1258_34.min1.thm12017-02-06 12:45 768  
[ ]topgen_2__1261_41.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1262_41.min1.thm12017-02-06 12:45 684  
[ ]topgen_2__1266_31.min1.thm12017-02-06 12:45 704  
[ ]topgen_2__1267_31.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1272_64.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__1280_16.min1.thm12017-02-06 12:45 512  
[ ]topgen_2__1280_16.min1.thm1.tptp2017-02-06 16:46 452  
[ ]topgen_2__1281_20.min1.thm12017-02-06 12:45 507  
[ ]topgen_2__1282_33.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__1283_19.min1.thm12017-02-06 12:45 698  
[ ]topgen_2__1288_13.min1.thm12017-02-06 12:45 567  
[ ]topgen_2__1288_13.min1.thm1.tptp2017-02-06 16:46 485  
[ ]topgen_2__1304_23.min1.thm12017-02-06 12:45 461  
[ ]topgen_2__1306_16.min1.thm12017-02-06 12:45 418  
[ ]topgen_2__1306_16.min1.thm1.tptp2017-02-06 16:46 355  
[ ]topgen_2__1307_13.min1.thm12017-02-06 12:45 475  
[ ]topgen_2__1308_33.min1.thm12017-02-06 12:45 714  
[ ]topgen_2__1310_14.min1.thm12017-02-06 12:45 378  
[ ]topgen_2__1310_14.min1.thm1.tptp2017-02-06 16:47 309  
[ ]topgen_2__1311_24.min1.thm12017-02-06 12:45 780  
[ ]topgen_2__1312_19.min1.thm12017-02-06 12:45 680  
[ ]topgen_2__1314_30.min1.thm12017-02-06 12:45 786  
[ ]topgen_2__1315_28.min1.thm12017-02-06 12:45 673  
[ ]topgen_2__1321_65.min1.thm12017-02-06 12:45 833  
[ ]topgen_2__1322_43.min1.thm12017-02-06 12:45 540  
[ ]topgen_2__1323_19.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__1325_28.min1.thm12017-02-06 12:45 419  
[ ]topgen_2__1325_28.min1.thm1.tptp2017-02-06 16:46 341  
[ ]topgen_2__1326_17.min1.thm12017-02-06 12:45 663  
[ ]topgen_2__1344_15.min1.thm12017-02-06 12:45 602  
[ ]topgen_2__1346_16.min1.thm12017-02-06 12:45 418  
[ ]topgen_2__1346_16.min1.thm1.tptp2017-02-06 16:47 355  
[ ]topgen_2__1347_28.min1.thm12017-02-06 12:45 824  
[ ]topgen_2__1349_14.min1.thm12017-02-06 12:45 378  
[ ]topgen_2__1349_14.min1.thm1.tptp2017-02-06 16:46 309  
[ ]topgen_2__1350_24.min1.thm12017-02-06 12:45 809  
[ ]topgen_2__1351_19.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__1353_30.min1.thm12017-02-06 12:45 821  
[ ]topgen_2__1354_28.min1.thm12017-02-06 12:45 679  
[ ]topgen_2__1364_14.min1.thm12017-02-06 12:45 598  
[ ]topgen_2__1365_35.min1.thm12017-02-06 12:45 536  
[ ]topgen_2__1366_14.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1376_37.min1.thm12017-02-06 12:45 678  
[ ]topgen_2__1377_17.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_2__1378_16.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__1379_21.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1382_17.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__1397_23.min1.thm12017-02-06 12:45 267  
[ ]topgen_2__1398_22.min1.thm12017-02-06 12:45 399  
[ ]topgen_2__1399_18.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1400_30.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1402_34.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1403_21.min1.thm12017-02-06 12:45 363  
[ ]topgen_2__1403_21.min1.thm1.tptp2017-02-06 16:47 284  
[ ]topgen_2__1404_37.min1.thm12017-02-06 12:45 929  
[ ]topgen_2__1405_28.min1.thm12017-02-06 12:45 663  
[ ]topgen_2__1406_16.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__1417_22.min1.thm12017-02-06 12:45 399  
[ ]topgen_2__1418_23.min1.thm12017-02-06 12:45 267  
[ ]topgen_2__1420_27.min1.thm12017-02-06 12:45 508  
[ ]topgen_2__1420_27.min1.thm1.tptp2017-02-06 16:46 463  
[ ]topgen_2__1427_27.min1.thm12017-02-06 12:45 821  
[ ]topgen_2__1429_16.min1.thm12017-02-06 12:45 371  
[ ]topgen_2__1429_16.min1.thm1.tptp2017-02-06 16:47 303  
[ ]topgen_2__1430_14.min1.thm12017-02-06 12:45 809  
[ ]topgen_2__1431_46.min1.thm12017-02-06 12:45 631  
[ ]topgen_2__1434_14.min1.thm12017-02-06 12:45 911  
[ ]topgen_2__1435_14.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__1436_28.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_2__1441_13.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1442_19.min1.thm12017-02-06 12:45 506  
[ ]topgen_2__1444_19.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1445_30.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1446_37.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1447_17.min1.thm12017-02-06 12:45 640  
[ ]topgen_2__1460_21.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__1461_29.min1.thm12017-02-06 12:45 922  
[ ]topgen_2__1462_47.min1.thm12017-02-06 12:45 728  
[ ]topgen_2__1462_47.min1.thm1.tptp2017-02-06 16:46 675  
[ ]topgen_2__1463_17.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__1476_40.min1.thm12017-02-06 12:45 738  
[ ]topgen_2__1481_44.min1.thm12017-02-06 12:45 588  
[ ]topgen_2__1482_16.min1.thm12017-02-06 12:45 911  
[ ]topgen_2__1484_45.min1.thm12017-02-06 12:45 842  
[ ]topgen_2__1488_27.min1.thm12017-02-06 12:45 508  
[ ]topgen_2__1488_27.min1.thm1.tptp2017-02-06 16:47 463  
[ ]topgen_2__1495_18.min1.thm12017-02-06 12:45 796  
[ ]topgen_2__1497_23.min1.thm12017-02-06 12:45 720  
[ ]topgen_2__1498_47.min1.thm12017-02-06 12:45 919  
[ ]topgen_2__1499_13.min1.thm12017-02-06 12:45 195  
[ ]topgen_2__1502_21.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1506_48.min1.thm12017-02-06 12:45 545  
[ ]topgen_2__1507_28.min1.thm12017-02-06 12:45 419  
[ ]topgen_2__1508_56.min1.thm12017-02-06 12:45 815  
[ ]topgen_2__1514_40.min1.thm12017-02-06 12:45 914  
[ ]topgen_2__1515_19.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__1519_16.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__1520_39.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1521_18.min1.thm12017-02-06 12:45 669  
[ ]topgen_2__1524_21.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1526_31.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__1527_32.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_2__1532_26.min1.thm12017-02-06 12:45 508  
[ ]topgen_2__1532_26.min1.thm1.tptp2017-02-06 16:46 430  
[ ]topgen_2__1541_31.min1.thm12017-02-06 12:45 794  
[ ]topgen_2__1546_44.min1.thm12017-02-06 12:45 656  
[ ]topgen_2__1547_16.min1.thm12017-02-06 12:45 931  
[ ]topgen_2__1550_33.min1.thm12017-02-06 12:45 510  
[ ]topgen_2__1552_43.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__1554_29.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_2__1571_40.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1573_20.min1.thm12017-02-06 12:45 2.0K 
[ ]topgen_2__1574_41.min1.thm12017-02-06 12:45 474  
[ ]topgen_2__1574_41.min1.thm1.tptp2017-02-06 16:46 394  
[ ]topgen_2__1583_33.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__1584_23.min1.thm12017-02-06 12:45 756  
[ ]topgen_2__1587_17.min1.thm12017-02-06 12:45 858  
[ ]topgen_2__1591_21.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_2__1592_30.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__1594_38.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1595_21.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_2__1596_44.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_2__1597_53.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_2__1605_14.min1.thm12017-02-06 12:45 786  
[ ]topgen_2__1610_18.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1611_50.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1612_27.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__1613_19.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1617_26.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_2__1619_33.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__1620_23.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1621_19.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__1635_13.min1.thm12017-02-06 12:45 640  
[ ]topgen_2__1637_19.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__1638_41.min1.thm12017-02-06 12:45 442  
[ ]topgen_2__1638_41.min1.thm1.tptp2017-02-06 16:46 362  
[ ]topgen_2__1645_33.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__1646_23.min1.thm12017-02-06 12:45 724  
[ ]topgen_2__1649_17.min1.thm12017-02-06 12:45 826  
[ ]topgen_2__1653_20.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__1654_21.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_2__1655_30.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__1657_38.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1658_21.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_2__1659_44.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_2__1660_53.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_2__1662_32.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1668_14.min1.thm12017-02-06 12:45 754  
[ ]topgen_2__1673_18.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1674_50.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1675_27.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_2__1676_19.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1680_19.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1699_50.min1.thm12017-02-06 12:45 576  
[ ]topgen_2__1702_22.min1.thm12017-02-06 12:45 307  
[ ]topgen_2__1706_55.min1.thm12017-02-06 12:45 523  
[ ]topgen_2__1710_49.min1.thm12017-02-06 12:45 604  
[ ]topgen_2__1711_37.min1.thm12017-02-06 12:45 915  
[ ]topgen_2__1714_50.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_2__1722_51.min1.thm12017-02-06 12:45 612  
[ ]topgen_2__1723_17.min1.thm12017-02-06 12:45 724  
[ ]topgen_2__1726_39.min1.thm12017-02-06 12:45 935  
[ ]topgen_2__1738_49.min1.thm12017-02-06 12:45 604  
[ ]topgen_2__1739_15.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_2__1740_37.min1.thm12017-02-06 12:45 915  
[ ]topgen_2__1741_15.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_2__1746_21.min1.thm12017-02-06 12:45 597  
[ ]topgen_2__1752_50.min1.thm12017-02-06 12:45 821  
[ ]topgen_2__1753_23.min1.thm12017-02-06 12:45 640  
[ ]topgen_2__1755_16.min1.thm12017-02-06 12:45 444  
[ ]topgen_2__1755_16.min1.thm1.tptp2017-02-06 16:46 358  
[ ]topgen_2__1757_34.min1.thm12017-02-06 12:45 597  
[ ]topgen_2__1766_47.min1.thm12017-02-06 12:45 596  
[ ]topgen_2__1767_45.min1.thm12017-02-06 12:45 660  
[ ]topgen_2__1770_43.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1772_14.min1.thm12017-02-06 12:45 374  
[ ]topgen_2__1772_14.min1.thm1.tptp2017-02-06 16:46 288  
[ ]topgen_2__1785_63.min1.thm12017-02-06 12:45 757  
[ ]topgen_2__1786_66.min1.thm12017-02-06 12:45 596  
[ ]topgen_2__1789_62.min1.thm12017-02-06 12:45 940  
[ ]topgen_2__1791_34.min1.thm12017-02-06 12:45 423  
[ ]topgen_2__1792_61.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_2__1794_25.min1.thm12017-02-06 12:45 960  
[ ]topgen_2__1795_19.min1.thm12017-02-06 12:45 700  
[ ]topgen_2__1796_29.min1.thm12017-02-06 12:45 960  
[ ]topgen_2__1801_34.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_2__1802_50.min1.thm12017-02-06 12:45 2.1K 
[ ]topgen_2__1803_41.min1.thm12017-02-06 12:45 3.2K 
[ ]topgen_2__1810_29.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_2__1813_19.min1.thm12017-02-06 12:45 717  
[ ]topgen_2__1814_35.min1.thm12017-02-06 12:45 743  
[ ]topgen_2__1815_34.min1.thm12017-02-06 12:45 737  
[ ]topgen_2__1817_50.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_2__1823_60.min1.thm12017-02-06 12:45 850  
[ ]topgen_2__1824_38.min1.thm12017-02-06 12:45 605  
[ ]topgen_2__1829_47.min1.thm12017-02-06 12:45 596  
[ ]topgen_2__1830_44.min1.thm12017-02-06 12:45 661  
[ ]topgen_2__1833_38.min1.thm12017-02-06 12:45 789  
[ ]topgen_2__1834_58.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_2__1837_27.min1.thm12017-02-06 12:45 870  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80