Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/topgen_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topgen_4__49_14.min1.thm12017-02-06 12:45 392  
[ ]topgen_4__49_14.min1.thm1.tptp2017-02-06 16:46 320  
[ ]topgen_4__57_35.min1.thm12017-02-06 12:45 513  
[ ]topgen_4__58_17.min1.thm12017-02-06 12:45 585  
[ ]topgen_4__63_14.min1.thm12017-02-06 12:45 618  
[ ]topgen_4__73_19.min1.thm12017-02-06 12:45 626  
[ ]topgen_4__76_26.min1.thm12017-02-06 12:45 558  
[ ]topgen_4__92_8.min1.thm12017-02-06 12:45 475  
[ ]topgen_4__92_8.min1.thm1.tptp2017-02-06 16:46 412  
[ ]topgen_4__93_14.min1.thm12017-02-06 12:45 812  
[ ]topgen_4__94_19.min1.thm12017-02-06 12:45 963  
[ ]topgen_4__96_17.min1.thm12017-02-06 12:45 648  
[ ]topgen_4__108_43.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__109_29.min1.thm12017-02-06 12:45 940  
[ ]topgen_4__116_21.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__117_36.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_4__118_17.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__127_46.min1.thm12017-02-06 12:45 331  
[ ]topgen_4__127_46.min1.thm1.tptp2017-02-06 16:46 243  
[ ]topgen_4__128_26.min1.thm12017-02-06 12:45 469  
[ ]topgen_4__129_27.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__130_19.min1.thm12017-02-06 12:45 514  
[ ]topgen_4__139_30.min1.thm12017-02-06 12:45 322  
[ ]topgen_4__139_30.min1.thm1.tptp2017-02-06 16:46 241  
[ ]topgen_4__146_11.min1.thm12017-02-06 12:45 235  
[ ]topgen_4__148_11.min1.thm12017-02-06 12:45 241  
[ ]topgen_4__153_15.min1.thm12017-02-06 12:45 291  
[ ]topgen_4__153_15.min1.thm1.tptp2017-02-06 16:46 199  
[ ]topgen_4__167_15.min1.thm12017-02-06 12:45 720  
[ ]topgen_4__168_24.min1.thm12017-02-06 12:45 707  
[ ]topgen_4__169_23.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__173_22.min1.thm12017-02-06 12:45 707  
[ ]topgen_4__174_11.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__175_14.min1.thm12017-02-06 12:45 658  
[ ]topgen_4__188_13.min1.thm12017-02-06 12:45 370  
[ ]topgen_4__192_58.min1.thm12017-02-06 12:45 568  
[ ]topgen_4__193_54.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__194_17.min1.thm12017-02-06 12:45 725  
[ ]topgen_4__218_12.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__219_14.min1.thm12017-02-06 12:45 634  
[ ]topgen_4__220_16.min1.thm12017-02-06 12:45 778  
[ ]topgen_4__222_34.min1.thm12017-02-06 12:45 439  
[ ]topgen_4__222_34.min1.thm1.tptp2017-02-06 16:46 361  
[ ]topgen_4__231_36.min1.thm12017-02-06 12:45 1.6K 
[ ]topgen_4__232_19.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__234_20.min1.thm12017-02-06 12:45 855  
[ ]topgen_4__236_26.min1.thm12017-02-06 12:45 921  
[ ]topgen_4__248_25.min1.thm12017-02-06 12:45 812  
[ ]topgen_4__250_30.min1.thm12017-02-06 12:45 507  
[ ]topgen_4__251_26.min1.thm12017-02-06 12:45 427  
[ ]topgen_4__252_59.min1.thm12017-02-06 12:45 492  
[ ]topgen_4__256_42.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__257_28.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__258_17.min1.thm12017-02-06 12:45 503  
[ ]topgen_4__268_24.min1.thm12017-02-06 12:45 484  
[ ]topgen_4__269_26.min1.thm12017-02-06 12:45 462  
[ ]topgen_4__269_26.min1.thm1.tptp2017-02-06 16:46 383  
[ ]topgen_4__270_28.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__271_17.min1.thm12017-02-06 12:45 503  
[ ]topgen_4__276_14.min1.thm12017-02-06 12:45 352  
[ ]topgen_4__291_20.min1.thm12017-02-06 12:45 895  
[ ]topgen_4__292_15.min1.thm12017-02-06 12:45 812  
[ ]topgen_4__294_18.min1.thm12017-02-06 12:45 625  
[ ]topgen_4__295_20.min1.thm12017-02-06 12:45 895  
[ ]topgen_4__304_18.min1.thm12017-02-06 12:45 428  
[ ]topgen_4__308_23.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__309_32.min1.thm12017-02-06 12:45 899  
[ ]topgen_4__311_24.min1.thm12017-02-06 12:45 578  
[ ]topgen_4__313_16.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_4__314_18.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__315_32.min1.thm12017-02-06 12:45 899  
[ ]topgen_4__318_31.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__320_25.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__321_19.min1.thm12017-02-06 12:45 579  
[ ]topgen_4__322_21.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_4__323_27.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__332_17.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__342_31.min1.thm12017-02-06 12:45 904  
[ ]topgen_4__355_13.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__356_17.min1.thm12017-02-06 12:45 631  
[ ]topgen_4__357_26.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__363_17.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__374_25.min1.thm12017-02-06 12:45 537  
[ ]topgen_4__375_64.min1.thm12017-02-06 12:45 842  
[ ]topgen_4__380_24.min1.thm12017-02-06 12:45 609  
[ ]topgen_4__381_14.min1.thm12017-02-06 12:45 500  
[ ]topgen_4__389_42.min1.thm12017-02-06 12:45 652  
[ ]topgen_4__390_17.min1.thm12017-02-06 12:45 801  
[ ]topgen_4__425_11.min1.thm12017-02-06 12:45 191  
[ ]topgen_4__428_19.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_4__432_19.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__439_14.min1.thm12017-02-06 12:45 525  
[ ]topgen_4__447_54.min1.thm12017-02-06 12:45 630  
[ ]topgen_4__448_13.min1.thm12017-02-06 12:45 291  
[ ]topgen_4__448_13.min1.thm1.tptp2017-02-06 16:46 208  
[ ]topgen_4__450_17.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__456_14.min1.thm12017-02-06 12:45 777  
[ ]topgen_4__465_29.min1.thm12017-02-06 12:45 639  
[ ]topgen_4__472_19.min1.thm12017-02-06 12:45 922  
[ ]topgen_4__475_66.min1.thm12017-02-06 12:45 759  
[ ]topgen_4__476_22.min1.thm12017-02-06 12:45 699  
[ ]topgen_4__476_22.min1.thm1.tptp2017-02-06 16:46 627  
[ ]topgen_4__477_14.min1.thm12017-02-06 12:45 954  
[ ]topgen_4__500_22.min1.thm12017-02-06 12:45 962  
[ ]topgen_4__501_18.min1.thm12017-02-06 12:45 586  
[ ]topgen_4__503_50.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__512_20.min1.thm12017-02-06 12:45 952  
[ ]topgen_4__513_16.min1.thm12017-02-06 12:45 574  
[ ]topgen_4__515_17.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__530_41.min1.thm12017-02-06 12:45 490  
[ ]topgen_4__531_15.min1.thm12017-02-06 12:45 856  
[ ]topgen_4__532_19.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__537_39.min1.thm12017-02-06 12:45 664  
[ ]topgen_4__538_13.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__539_19.min1.thm12017-02-06 12:45 832  
[ ]topgen_4__540_14.min1.thm12017-02-06 12:45 591  
[ ]topgen_4__553_39.min1.thm12017-02-06 12:45 664  
[ ]topgen_4__554_13.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__555_19.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__556_14.min1.thm12017-02-06 12:45 591  
[ ]topgen_4__573_15.min1.thm12017-02-06 12:45 201  
[ ]topgen_4__576_23.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_4__580_62.min1.thm12017-02-06 12:45 534  
[ ]topgen_4__581_58.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__584_47.min1.thm12017-02-06 12:45 817  
[ ]topgen_4__585_21.min1.thm12017-02-06 12:45 731  
[ ]topgen_4__586_23.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__589_58.min1.thm12017-02-06 12:45 892  
[ ]topgen_4__598_13.min1.thm12017-02-06 12:45 195  
[ ]topgen_4__601_21.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_4__605_60.min1.thm12017-02-06 12:45 518  
[ ]topgen_4__606_56.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__609_45.min1.thm12017-02-06 12:45 805  
[ ]topgen_4__610_18.min1.thm12017-02-06 12:45 719  
[ ]topgen_4__611_21.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__614_17.min1.thm12017-02-06 12:45 886  
[ ]topgen_4__621_14.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__624_14.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__633_14.min1.thm12017-02-06 12:45 454  
[ ]topgen_4__633_14.min1.thm1.tptp2017-02-06 16:46 380  
[ ]topgen_4__644_48.min1.thm12017-02-06 12:45 547  
[ ]topgen_4__644_48.min1.thm1.tptp2017-02-06 16:46 490  
[ ]topgen_4__645_19.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__654_35.min1.thm12017-02-06 12:45 712  
[ ]topgen_4__655_16.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__663_15.min1.thm12017-02-06 12:45 240  
[ ]topgen_4__664_14.min1.thm12017-02-06 12:45 429  
[ ]topgen_4__669_11.min1.thm12017-02-06 12:45 487  
[ ]topgen_4__681_61.min1.thm12017-02-06 12:45 855  
[ ]topgen_4__682_22.min1.thm12017-02-06 12:45 936  
[ ]topgen_4__686_11.min1.thm12017-02-06 12:45 684  
[ ]topgen_4__687_17.min1.thm12017-02-06 12:45 921  
[ ]topgen_4__697_63.min1.thm12017-02-06 12:45 855  
[ ]topgen_4__699_24.min1.thm12017-02-06 12:45 936  
[ ]topgen_4__703_11.min1.thm12017-02-06 12:45 684  
[ ]topgen_4__704_17.min1.thm12017-02-06 12:45 921  
[ ]topgen_4__719_19.min1.thm12017-02-06 12:45 535  
[ ]topgen_4__719_19.min1.thm1.tptp2017-02-06 16:46 493  
[ ]topgen_4__720_20.min1.thm12017-02-06 12:45 294  
[ ]topgen_4__721_30.min1.thm12017-02-06 12:45 948  
[ ]topgen_4__722_18.min1.thm12017-02-06 12:45 458  
[ ]topgen_4__724_16.min1.thm12017-02-06 12:45 441  
[ ]topgen_4__724_16.min1.thm1.tptp2017-02-06 16:46 363  
[ ]topgen_4__735_19.min1.thm12017-02-06 12:45 535  
[ ]topgen_4__735_19.min1.thm1.tptp2017-02-06 16:46 493  
[ ]topgen_4__736_20.min1.thm12017-02-06 12:45 895  
[ ]topgen_4__737_21.min1.thm12017-02-06 12:45 688  
[ ]topgen_4__739_16.min1.thm12017-02-06 12:45 441  
[ ]topgen_4__739_16.min1.thm1.tptp2017-02-06 16:46 363  
[ ]topgen_4__755_37.min1.thm12017-02-06 12:45 758  
[ ]topgen_4__756_32.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__757_19.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__774_37.min1.thm12017-02-06 12:45 758  
[ ]topgen_4__775_32.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__776_19.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__793_37.min1.thm12017-02-06 12:45 758  
[ ]topgen_4__794_28.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__795_19.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__812_37.min1.thm12017-02-06 12:45 758  
[ ]topgen_4__813_28.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__814_19.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__837_26.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__838_19.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_4__846_17.min1.thm12017-02-06 12:45 945  
[ ]topgen_4__847_36.min1.thm12017-02-06 12:45 706  
[ ]topgen_4__849_23.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_4__850_15.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__855_17.min1.thm12017-02-06 12:45 867  
[ ]topgen_4__878_28.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__879_21.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_4__885_17.min1.thm12017-02-06 12:45 945  
[ ]topgen_4__886_36.min1.thm12017-02-06 12:45 706  
[ ]topgen_4__888_23.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_4__889_15.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__894_17.min1.thm12017-02-06 12:45 599  
[ ]topgen_4__894_17.min1.thm1.tptp2017-02-06 16:46 513  
[ ]topgen_4__905_23.min1.thm12017-02-06 12:45 465  
[ ]topgen_4__905_23.min1.thm1.tptp2017-02-06 16:46 410  
[ ]topgen_4__909_17.min1.thm12017-02-06 12:45 511  
[ ]topgen_4__909_17.min1.thm1.tptp2017-02-06 16:46 469  
[ ]topgen_4__910_14.min1.thm12017-02-06 12:45 519  
[ ]topgen_4__913_24.min1.thm12017-02-06 12:45 466  
[ ]topgen_4__914_19.min1.thm12017-02-06 12:45 448  
[ ]topgen_4__914_19.min1.thm1.tptp2017-02-06 16:46 386  
[ ]topgen_4__918_24.min1.thm12017-02-06 12:45 466  
[ ]topgen_4__919_19.min1.thm12017-02-06 12:45 541  
[ ]topgen_4__936_16.min1.thm12017-02-06 12:45 508  
[ ]topgen_4__936_16.min1.thm1.tptp2017-02-06 16:46 446  
[ ]topgen_4__940_15.min1.thm12017-02-06 12:45 376  
[ ]topgen_4__943_15.min1.thm12017-02-06 12:45 423  
[ ]topgen_4__943_15.min1.thm1.tptp2017-02-06 16:46 368  
[ ]topgen_4__945_36.min1.thm12017-02-06 12:45 756  
[ ]topgen_4__946_21.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__951_15.min1.thm12017-02-06 12:45 376  
[ ]topgen_4__954_15.min1.thm12017-02-06 12:45 423  
[ ]topgen_4__954_15.min1.thm1.tptp2017-02-06 16:46 368  
[ ]topgen_4__956_36.min1.thm12017-02-06 12:45 942  
[ ]topgen_4__957_21.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__960_16.min1.thm12017-02-06 12:45 381  
[ ]topgen_4__975_14.min1.thm12017-02-06 12:45 662  
[ ]topgen_4__988_13.min1.thm12017-02-06 12:45 370  
[ ]topgen_4__990_13.min1.thm12017-02-06 12:45 370  
[ ]topgen_4__991_26.min1.thm12017-02-06 12:45 548  
[ ]topgen_4__1004_13.min1.thm12017-02-06 12:45 370  
[ ]topgen_4__1006_13.min1.thm12017-02-06 12:45 370  
[ ]topgen_4__1007_33.min1.thm12017-02-06 12:45 548  
[ ]topgen_4__1015_11.min1.thm12017-02-06 12:45 261  
[ ]topgen_4__1023_27.min1.thm12017-02-06 12:45 468  
[ ]topgen_4__1023_27.min1.thm1.tptp2017-02-06 16:46 404  
[ ]topgen_4__1025_26.min1.thm12017-02-06 12:45 616  
[ ]topgen_4__1026_22.min1.thm12017-02-06 12:45 561  
[ ]topgen_4__1028_26.min1.thm12017-02-06 12:45 616  
[ ]topgen_4__1029_48.min1.thm12017-02-06 12:45 914  
[ ]topgen_4__1035_28.min1.thm12017-02-06 12:45 448  
[ ]topgen_4__1036_33.min1.thm12017-02-06 12:45 504  
[ ]topgen_4__1036_33.min1.thm1.tptp2017-02-06 16:46 468  
[ ]topgen_4__1037_19.min1.thm12017-02-06 12:45 435  
[ ]topgen_4__1037_19.min1.thm1.tptp2017-02-06 16:46 352  
[ ]topgen_4__1048_45.min1.thm12017-02-06 12:45 393  
[ ]topgen_4__1049_16.min1.thm12017-02-06 12:45 536  
[ ]topgen_4__1049_16.min1.thm1.tptp2017-02-06 16:46 456  
[ ]topgen_4__1061_13.min1.thm12017-02-06 12:45 370  
[ ]topgen_4__1063_13.min1.thm12017-02-06 12:45 370  
[ ]topgen_4__1072_41.min1.thm12017-02-06 12:45 564  
[ ]topgen_4__1073_25.min1.thm12017-02-06 12:45 877  
[ ]topgen_4__1074_21.min1.thm12017-02-06 12:45 520  
[ ]topgen_4__1077_18.min1.thm12017-02-06 12:45 566  
[ ]topgen_4__1082_41.min1.thm12017-02-06 12:45 564  
[ ]topgen_4__1083_25.min1.thm12017-02-06 12:45 877  
[ ]topgen_4__1084_21.min1.thm12017-02-06 12:45 427  
[ ]topgen_4__1084_21.min1.thm1.tptp2017-02-06 16:46 365  
[ ]topgen_4__1086_23.min1.thm12017-02-06 12:45 566  
[ ]topgen_4__1087_19.min1.thm12017-02-06 12:45 547  
[ ]topgen_4__1089_34.min1.thm12017-02-06 12:45 548  
[ ]topgen_4__1095_32.min1.thm12017-02-06 12:45 514  
[ ]topgen_4__1095_32.min1.thm1.tptp2017-02-06 16:46 452  
[ ]topgen_4__1102_21.min1.thm12017-02-06 12:45 527  
[ ]topgen_4__1102_21.min1.thm1.tptp2017-02-06 16:46 485  
[ ]topgen_4__1103_26.min1.thm12017-02-06 12:45 921  
[ ]topgen_4__1104_21.min1.thm12017-02-06 12:45 559  
[ ]topgen_4__1106_19.min1.thm12017-02-06 12:45 889  
[ ]topgen_4__1108_17.min1.thm12017-02-06 12:45 687  
[ ]topgen_4__1134_12.min1.thm12017-02-06 12:45 597  
[ ]topgen_4__1137_50.min1.thm12017-02-06 12:45 353  
[ ]topgen_4__1138_18.min1.thm12017-02-06 12:45 940  
[ ]topgen_4__1139_17.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_4__1141_46.min1.thm12017-02-06 12:45 925  
[ ]topgen_4__1143_17.min1.thm12017-02-06 12:45 2.4K 
[ ]topgen_4__1150_47.min1.thm12017-02-06 12:45 927  
[ ]topgen_4__1152_17.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_4__1158_47.min1.thm12017-02-06 12:45 927  
[ ]topgen_4__1160_17.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_4__1166_14.min1.thm12017-02-06 12:45 625  
[ ]topgen_4__1174_18.min1.thm12017-02-06 12:45 911  
[ ]topgen_4__1175_11.min1.thm12017-02-06 12:45 189  
[ ]topgen_4__1179_16.min1.thm12017-02-06 12:45 722  
[ ]topgen_4__1180_37.min1.thm12017-02-06 12:45 902  
[ ]topgen_4__1185_21.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1186_16.min1.thm12017-02-06 12:45 628  
[ ]topgen_4__1195_17.min1.thm12017-02-06 12:45 911  
[ ]topgen_4__1196_11.min1.thm12017-02-06 12:45 189  
[ ]topgen_4__1200_18.min1.thm12017-02-06 12:45 723  
[ ]topgen_4__1201_37.min1.thm12017-02-06 12:45 904  
[ ]topgen_4__1206_21.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1207_16.min1.thm12017-02-06 12:45 628  
[ ]topgen_4__1218_18.min1.thm12017-02-06 12:45 911  
[ ]topgen_4__1220_18.min1.thm12017-02-06 12:45 911  
[ ]topgen_4__1221_57.min1.thm12017-02-06 12:45 862  
[ ]topgen_4__1222_18.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__1225_21.min1.thm12017-02-06 12:45 453  
[ ]topgen_4__1225_21.min1.thm1.tptp2017-02-06 16:46 379  
[ ]topgen_4__1227_17.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1237_18.min1.thm12017-02-06 12:45 911  
[ ]topgen_4__1239_18.min1.thm12017-02-06 12:45 911  
[ ]topgen_4__1240_50.min1.thm12017-02-06 12:45 862  
[ ]topgen_4__1241_11.min1.thm12017-02-06 12:45 261  
[ ]topgen_4__1244_18.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__1247_21.min1.thm12017-02-06 12:45 460  
[ ]topgen_4__1247_21.min1.thm1.tptp2017-02-06 16:46 386  
[ ]topgen_4__1249_19.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__1253_19.min1.thm12017-02-06 12:45 964  
[ ]topgen_4__1257_19.min1.thm12017-02-06 12:45 871  
[ ]topgen_4__1268_17.min1.thm12017-02-06 12:45 911  
[ ]topgen_4__1270_17.min1.thm12017-02-06 12:45 911  
[ ]topgen_4__1271_50.min1.thm12017-02-06 12:45 862  
[ ]topgen_4__1272_11.min1.thm12017-02-06 12:45 261  
[ ]topgen_4__1278_22.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__1281_21.min1.thm12017-02-06 12:45 460  
[ ]topgen_4__1281_21.min1.thm1.tptp2017-02-06 16:46 386  
[ ]topgen_4__1282_16.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__1283_19.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__1287_28.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1288_19.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__1299_17.min1.thm12017-02-06 12:45 911  
[ ]topgen_4__1301_17.min1.thm12017-02-06 12:45 911  
[ ]topgen_4__1302_57.min1.thm12017-02-06 12:45 862  
[ ]topgen_4__1303_11.min1.thm12017-02-06 12:45 261  
[ ]topgen_4__1306_16.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__1309_21.min1.thm12017-02-06 12:45 460  
[ ]topgen_4__1309_21.min1.thm1.tptp2017-02-06 16:46 386  
[ ]topgen_4__1311_19.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1315_28.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1316_21.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__1317_16.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_4__1326_67.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_4__1328_16.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__1336_65.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_4__1338_16.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__1351_28.min1.thm12017-02-06 12:45 349  
[ ]topgen_4__1351_28.min1.thm1.tptp2017-02-06 16:46 271  
[ ]topgen_4__1356_25.min1.thm12017-02-06 12:45 436  
[ ]topgen_4__1356_25.min1.thm1.tptp2017-02-06 16:46 368  
[ ]topgen_4__1357_19.min1.thm12017-02-06 12:45 809  
[ ]topgen_4__1359_43.min1.thm12017-02-06 12:45 391  
[ ]topgen_4__1359_43.min1.thm1.tptp2017-02-06 16:46 313  
[ ]topgen_4__1369_50.min1.thm12017-02-06 12:45 539  
[ ]topgen_4__1370_18.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__1372_24.min1.thm12017-02-06 12:45 867  
[ ]topgen_4__1379_20.min1.thm12017-02-06 12:45 547  
[ ]topgen_4__1380_20.min1.thm12017-02-06 12:45 488  
[ ]topgen_4__1380_20.min1.thm1.tptp2017-02-06 16:46 434  
[ ]topgen_4__1384_54.min1.thm12017-02-06 12:45 523  
[ ]topgen_4__1384_54.min1.thm1.tptp2017-02-06 16:46 478  
[ ]topgen_4__1385_21.min1.thm12017-02-06 12:45 937  
[ ]topgen_4__1389_27.min1.thm12017-02-06 12:45 279  
[ ]topgen_4__1389_27.min1.thm1.tptp2017-02-06 16:46 193  
[ ]topgen_4__1394_44.min1.thm12017-02-06 12:45 393  
[ ]topgen_4__1395_28.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1396_21.min1.thm12017-02-06 12:45 855  
[ ]topgen_4__1402_13.min1.thm12017-02-06 12:45 691  
[ ]topgen_4__1403_43.min1.thm12017-02-06 12:45 533  
[ ]topgen_4__1404_19.min1.thm12017-02-06 12:45 834  
[ ]topgen_4__1406_17.min1.thm12017-02-06 12:45 875  
[ ]topgen_4__1427_23.min1.thm12017-02-06 12:45 717  
[ ]topgen_4__1428_16.min1.thm12017-02-06 12:45 896  
[ ]topgen_4__1430_17.min1.thm12017-02-06 12:45 590  
[ ]topgen_4__1455_17.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1460_19.min1.thm12017-02-06 12:45 902  
[ ]topgen_4__1472_27.min1.thm12017-02-06 12:45 740  
[ ]topgen_4__1474_17.min1.thm12017-02-06 12:45 951  
[ ]topgen_4__1475_19.min1.thm12017-02-06 12:45 850  
[ ]topgen_4__1476_29.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__1477_23.min1.thm12017-02-06 12:45 710  
[ ]topgen_4__1481_19.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_4__1482_26.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__1496_13.min1.thm12017-02-06 12:45 203  
[ ]topgen_4__1499_50.min1.thm12017-02-06 12:45 422  
[ ]topgen_4__1499_50.min1.thm1.tptp2017-02-06 16:46 332  
[ ]topgen_4__1501_22.min1.thm12017-02-06 12:45 330  
[ ]topgen_4__1501_22.min1.thm1.tptp2017-02-06 16:46 244  
[ ]topgen_4__1502_21.min1.thm12017-02-06 12:45 657  
[ ]topgen_4__1506_46.min1.thm12017-02-06 12:45 416  
[ ]topgen_4__1506_46.min1.thm1.tptp2017-02-06 16:46 328  
[ ]topgen_4__1507_15.min1.thm12017-02-06 12:45 417  
[ ]topgen_4__1507_15.min1.thm1.tptp2017-02-06 16:46 340  
[ ]topgen_4__1508_18.min1.thm12017-02-06 12:45 366  
[ ]topgen_4__1508_18.min1.thm1.tptp2017-02-06 16:46 280  
[ ]topgen_4__1512_14.min1.thm12017-02-06 12:45 311  
[ ]topgen_4__1538_23.min1.thm12017-02-06 12:45 924  
[ ]topgen_4__1539_19.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_4__1554_16.min1.thm12017-02-06 12:45 542  
[ ]topgen_4__1578_51.min1.thm12017-02-06 12:45 927  
[ ]topgen_4__1579_60.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1581_13.min1.thm12017-02-06 12:45 548  
[ ]topgen_4__1582_11.min1.thm12017-02-06 12:45 461  
[ ]topgen_4__1583_35.min1.thm12017-02-06 12:45 760  
[ ]topgen_4__1584_22.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__1585_19.min1.thm12017-02-06 12:45 639  
[ ]topgen_4__1596_37.min1.thm12017-02-06 12:45 851  
[ ]topgen_4__1597_35.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1598_41.min1.thm12017-02-06 12:45 845  
[ ]topgen_4__1599_17.min1.thm12017-02-06 12:45 807  
[ ]topgen_4__1605_25.min1.thm12017-02-06 12:45 842  
[ ]topgen_4__1609_37.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__1616_14.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__1620_14.min1.thm12017-02-06 12:45 519  
[ ]topgen_4__1620_14.min1.thm1.tptp2017-02-06 16:46 465  
[ ]topgen_4__1621_38.min1.thm12017-02-06 12:45 859  
[ ]topgen_4__1623_24.min1.thm12017-02-06 12:45 805  
[ ]topgen_4__1624_38.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1625_19.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_4__1628_17.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1639_38.min1.thm12017-02-06 12:45 851  
[ ]topgen_4__1640_36.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1641_41.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__1642_17.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1658_52.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1659_44.min1.thm12017-02-06 12:45 1.7K 
[ ]topgen_4__1674_43.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_4__1676_73.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1677_34.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_4__1693_28.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__1704_15.min1.thm12017-02-06 12:45 428  
[ ]topgen_4__1705_36.min1.thm12017-02-06 12:45 851  
[ ]topgen_4__1706_36.min1.thm12017-02-06 12:45 1.2K 
[ ]topgen_4__1714_14.min1.thm12017-02-06 12:45 764  
[ ]topgen_4__1725_26.min1.thm12017-02-06 12:45 571  
[ ]topgen_4__1726_36.min1.thm12017-02-06 12:45 778  
[ ]topgen_4__1727_25.min1.thm12017-02-06 12:45 595  
[ ]topgen_4__1728_14.min1.thm12017-02-06 12:45 554  
[ ]topgen_4__1728_14.min1.thm1.tptp2017-02-06 16:46 473  
[ ]topgen_4__1737_15.min1.thm12017-02-06 12:45 434  
[ ]topgen_4__1737_15.min1.thm1.tptp2017-02-06 16:46 355  
[ ]topgen_4__1749_30.min1.thm12017-02-06 12:45 542  
[ ]topgen_4__1754_17.min1.thm12017-02-06 12:45 776  
[ ]topgen_4__1756_62.min1.thm12017-02-06 12:45 918  
[ ]topgen_4__1759_17.min1.thm12017-02-06 12:45 960  
[ ]topgen_4__1769_17.min1.thm12017-02-06 12:45 1.9K 
[ ]topgen_4__1770_60.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__1771_50.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_4__1772_25.min1.thm12017-02-06 12:45 568  
[ ]topgen_4__1773_14.min1.thm12017-02-06 12:45 686  
[ ]topgen_4__1789_19.min1.thm12017-02-06 12:45 749  
[ ]topgen_4__1791_17.min1.thm12017-02-06 12:45 859  
[ ]topgen_4__1807_19.min1.thm12017-02-06 12:45 749  
[ ]topgen_4__1809_17.min1.thm12017-02-06 12:45 859  
[ ]topgen_4__1833_31.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_4__1835_24.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__1843_14.min1.thm12017-02-06 12:45 876  
[ ]topgen_4__1843_14.min1.thm1.tptp2017-02-06 16:46 801  
[ ]topgen_4__1853_15.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_4__1860_11.min1.thm12017-02-06 12:45 589  
[ ]topgen_4__1865_72.min1.thm12017-02-06 12:45 828  
[ ]topgen_4__1865_72.min1.thm1.tptp2017-02-06 16:46 802  
[ ]topgen_4__1873_15.min1.thm12017-02-06 12:45 787  
[ ]topgen_4__1873_15.min1.thm1.tptp2017-02-06 16:46 711  
[ ]topgen_4__1883_18.min1.thm12017-02-06 12:45 491  
[ ]topgen_4__1888_21.min1.thm12017-02-06 12:45 790  
[ ]topgen_4__1890_16.min1.thm12017-02-06 12:45 286  
[ ]topgen_4__1909_79.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__1911_16.min1.thm12017-02-06 12:45 547  
[ ]topgen_4__1917_16.min1.thm12017-02-06 12:45 663  
[ ]topgen_4__1929_22.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__1946_52.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__1949_29.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_4__1954_29.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__1963_79.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__1965_49.min1.thm12017-02-06 12:45 1.5K 
[ ]topgen_4__1966_20.min1.thm12017-02-06 12:45 596  
[ ]topgen_4__1966_20.min1.thm1.tptp2017-02-06 16:46 520  
[ ]topgen_4__1968_17.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__1981_10.min1.thm12017-02-06 12:45 1.3K 
[ ]topgen_4__1988_23.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_4__1998_41.min1.thm12017-02-06 12:45 515  
[ ]topgen_4__2000_19.min1.thm12017-02-06 12:45 645  
[ ]topgen_4__2015_46.min1.thm12017-02-06 12:45 326  
[ ]topgen_4__2024_18.min1.thm12017-02-06 12:45 951  
[ ]topgen_4__2034_28.min1.thm12017-02-06 12:45 1.4K 
[ ]topgen_4__2035_19.min1.thm12017-02-06 12:45 404  
[ ]topgen_4__2035_19.min1.thm1.tptp2017-02-06 16:46 334  
[ ]topgen_4__2048_41.min1.thm12017-02-06 12:45 572  
[ ]topgen_4__2049_19.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__2052_14.min1.thm12017-02-06 12:45 274  
[ ]topgen_4__2064_41.min1.thm12017-02-06 12:45 572  
[ ]topgen_4__2065_17.min1.thm12017-02-06 12:45 1.0K 
[ ]topgen_4__2066_19.min1.thm12017-02-06 12:45 1.1K 
[ ]topgen_4__2068_14.min1.thm12017-02-06 12:45 274  
[ ]topgen_4__2082_43.min1.thm12017-02-06 12:45 660  
[ ]topgen_4__2084_19.min1.thm12017-02-06 12:45 1.8K 
[ ]topgen_4__2105_18.min1.thm12017-02-06 12:45 950  
[ ]topgen_4__2106_23.min1.thm12017-02-06 12:45 750  
[ ]topgen_4__2108_19.min1.thm12017-02-06 12:45 732  
[ ]topgen_4__2120_17.min1.thm12017-02-06 12:45 950  
[ ]topgen_4__2121_23.min1.thm12017-02-06 12:45 750  
[ ]topgen_4__2123_19.min1.thm12017-02-06 12:45 732  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80