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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pre_poly__60_27.min1.thm12017-02-06 12:45 837  
[ ]pre_poly__61_19.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__70_29.min1.thm12017-02-06 12:45 879  
[ ]pre_poly__71_16.min1.thm12017-02-06 12:45 394  
[ ]pre_poly__71_16.min1.thm1.tptp2017-02-06 16:47 316  
[ ]pre_poly__78_14.min1.thm12017-02-06 12:45 823  
[ ]pre_poly__87_29.min1.thm12017-02-06 12:45 466  
[ ]pre_poly__88_19.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__95_19.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__104_11.min1.thm12017-02-06 12:45 653  
[ ]pre_poly__119_18.min1.thm12017-02-06 12:45 784  
[ ]pre_poly__132_28.min1.thm12017-02-06 12:45 808  
[ ]pre_poly__133_22.min1.thm12017-02-06 12:45 808  
[ ]pre_poly__158_26.min1.thm12017-02-06 12:45 622  
[ ]pre_poly__159_39.min1.thm12017-02-06 12:45 622  
[ ]pre_poly__163_13.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__165_13.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__169_29.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__170_42.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__171_17.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__185_23.min1.thm12017-02-06 12:45 850  
[ ]pre_poly__187_23.min1.thm12017-02-06 12:45 850  
[ ]pre_poly__192_26.min1.thm12017-02-06 12:45 622  
[ ]pre_poly__193_39.min1.thm12017-02-06 12:45 622  
[ ]pre_poly__197_13.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__199_13.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__202_56.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__217_15.min1.thm12017-02-06 12:45 766  
[ ]pre_poly__230_19.min1.thm12017-02-06 12:45 856  
[ ]pre_poly__242_17.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__258_40.min1.thm12017-02-06 12:45 451  
[ ]pre_poly__262_23.min1.thm12017-02-06 12:45 476  
[ ]pre_poly__263_38.min1.thm12017-02-06 12:45 313  
[ ]pre_poly__267_15.min1.thm12017-02-06 12:45 380  
[ ]pre_poly__268_14.min1.thm12017-02-06 12:45 689  
[ ]pre_poly__269_22.min1.thm12017-02-06 12:45 542  
[ ]pre_poly__270_16.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__277_11.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__281_14.min1.thm12017-02-06 12:45 680  
[ ]pre_poly__288_18.min1.thm12017-02-06 12:45 379  
[ ]pre_poly__288_18.min1.thm1.tptp2017-02-06 16:47 307  
[ ]pre_poly__289_35.min1.thm12017-02-06 12:45 477  
[ ]pre_poly__290_16.min1.thm12017-02-06 12:45 394  
[ ]pre_poly__290_16.min1.thm1.tptp2017-02-06 16:47 314  
[ ]pre_poly__300_19.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__316_11.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__317_16.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__327_19.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__339_27.min1.thm12017-02-06 12:45 616  
[ ]pre_poly__339_27.min1.thm1.tptp2017-02-06 16:47 542  
[ ]pre_poly__362_21.min1.thm12017-02-06 12:45 440  
[ ]pre_poly__362_21.min1.thm1.tptp2017-02-06 16:47 372  
[ ]pre_poly__364_48.min1.thm12017-02-06 12:45 469  
[ ]pre_poly__365_16.min1.thm12017-02-06 12:45 226  
[ ]pre_poly__366_20.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__369_58.min1.thm12017-02-06 12:45 694  
[ ]pre_poly__370_27.min1.thm12017-02-06 12:45 504  
[ ]pre_poly__374_26.min1.thm12017-02-06 12:45 755  
[ ]pre_poly__376_22.min1.thm12017-02-06 12:45 616  
[ ]pre_poly__377_24.min1.thm12017-02-06 12:45 963  
[ ]pre_poly__378_26.min1.thm12017-02-06 12:45 410  
[ ]pre_poly__378_26.min1.thm1.tptp2017-02-06 16:47 330  
[ ]pre_poly__380_22.min1.thm12017-02-06 12:45 519  
[ ]pre_poly__381_17.min1.thm12017-02-06 12:45 955  
[ ]pre_poly__382_24.min1.thm12017-02-06 12:45 394  
[ ]pre_poly__382_24.min1.thm1.tptp2017-02-06 16:47 316  
[ ]pre_poly__384_24.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__385_27.min1.thm12017-02-06 12:45 865  
[ ]pre_poly__386_25.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__387_28.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__390_19.min1.thm12017-02-06 12:45 320  
[ ]pre_poly__390_19.min1.thm1.tptp2017-02-06 16:47 243  
[ ]pre_poly__392_17.min1.thm12017-02-06 12:45 395  
[ ]pre_poly__401_13.min1.thm12017-02-06 12:45 429  
[ ]pre_poly__401_13.min1.thm1.tptp2017-02-06 16:47 358  
[ ]pre_poly__402_40.min1.thm12017-02-06 12:45 878  
[ ]pre_poly__404_15.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__416_32.min1.thm12017-02-06 12:45 349  
[ ]pre_poly__416_32.min1.thm1.tptp2017-02-06 16:47 271  
[ ]pre_poly__432_13.min1.thm12017-02-06 12:45 195  
[ ]pre_poly__436_20.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__440_45.min1.thm12017-02-06 12:45 473  
[ ]pre_poly__441_59.min1.thm12017-02-06 12:45 544  
[ ]pre_poly__442_38.min1.thm12017-02-06 12:45 723  
[ ]pre_poly__442_38.min1.thm1.tptp2017-02-06 16:47 637  
[ ]pre_poly__452_24.min1.thm12017-02-06 12:45 430  
[ ]pre_poly__453_48.min1.thm12017-02-06 12:45 437  
[ ]pre_poly__454_26.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__469_20.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__477_19.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__478_35.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__479_46.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__482_49.min1.thm12017-02-06 12:45 430  
[ ]pre_poly__483_20.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__485_33.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__486_32.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__487_36.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__491_29.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__496_22.min1.thm12017-02-06 12:45 833  
[ ]pre_poly__497_28.min1.thm12017-02-06 12:45 855  
[ ]pre_poly__499_28.min1.thm12017-02-06 12:45 828  
[ ]pre_poly__502_33.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__503_30.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__504_33.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__512_47.min1.thm12017-02-06 12:45 895  
[ ]pre_poly__513_47.min1.thm12017-02-06 12:45 895  
[ ]pre_poly__516_50.min1.thm12017-02-06 12:45 430  
[ ]pre_poly__519_50.min1.thm12017-02-06 12:45 430  
[ ]pre_poly__531_25.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__534_24.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__538_34.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__539_29.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__542_31.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__544_19.min1.thm12017-02-06 12:45 249  
[ ]pre_poly__547_24.min1.thm12017-02-06 12:45 488  
[ ]pre_poly__586_24.min1.thm12017-02-06 12:45 488  
[ ]pre_poly__589_20.min1.thm12017-02-06 12:45 282  
[ ]pre_poly__599_49.min1.thm12017-02-06 12:45 430  
[ ]pre_poly__602_49.min1.thm12017-02-06 12:45 430  
[ ]pre_poly__605_33.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__606_29.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__607_33.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__608_31.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__611_45.min1.thm12017-02-06 12:45 420  
[ ]pre_poly__612_45.min1.thm12017-02-06 12:45 421  
[ ]pre_poly__613_33.min1.thm12017-02-06 12:45 408  
[ ]pre_poly__613_33.min1.thm1.tptp2017-02-06 16:47 331  
[ ]pre_poly__614_33.min1.thm12017-02-06 12:45 408  
[ ]pre_poly__614_33.min1.thm1.tptp2017-02-06 16:47 331  
[ ]pre_poly__616_31.min1.thm12017-02-06 12:45 917  
[ ]pre_poly__618_27.min1.thm12017-02-06 12:45 490  
[ ]pre_poly__619_23.min1.thm12017-02-06 12:45 577  
[ ]pre_poly__620_19.min1.thm12017-02-06 12:45 766  
[ ]pre_poly__621_20.min1.thm12017-02-06 12:45 754  
[ ]pre_poly__622_45.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__633_23.min1.thm12017-02-06 12:45 255  
[ ]pre_poly__636_31.min1.thm12017-02-06 12:45 639  
[ ]pre_poly__636_31.min1.thm1.tptp2017-02-06 16:47 562  
[ ]pre_poly__649_24.min1.thm12017-02-06 12:45 474  
[ ]pre_poly__653_27.min1.thm12017-02-06 12:45 627  
[ ]pre_poly__653_27.min1.thm1.tptp2017-02-06 16:47 550  
[ ]pre_poly__656_20.min1.thm12017-02-06 12:45 464  
[ ]pre_poly__658_35.min1.thm12017-02-06 12:45 687  
[ ]pre_poly__660_52.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__661_63.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__662_19.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__664_19.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__665_51.min1.thm12017-02-06 12:45 899  
[ ]pre_poly__667_23.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__673_45.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__674_19.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__676_19.min1.thm12017-02-06 12:45 2.6K 
[ ]pre_poly__677_45.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__678_18.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__679_19.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__680_24.min1.thm12017-02-06 12:45 2.6K 
[ ]pre_poly__685_18.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__699_13.min1.thm12017-02-06 12:45 195  
[ ]pre_poly__702_25.min1.thm12017-02-06 12:45 954  
[ ]pre_poly__703_21.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__707_45.min1.thm12017-02-06 12:45 473  
[ ]pre_poly__708_59.min1.thm12017-02-06 12:45 544  
[ ]pre_poly__715_55.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__737_22.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__738_41.min1.thm12017-02-06 12:45 492  
[ ]pre_poly__743_52.min1.thm12017-02-06 12:45 616  
[ ]pre_poly__744_21.min1.thm12017-02-06 12:45 372  
[ ]pre_poly__744_21.min1.thm1.tptp2017-02-06 16:47 309  
[ ]pre_poly__746_25.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__750_43.min1.thm12017-02-06 12:45 355  
[ ]pre_poly__752_18.min1.thm12017-02-06 12:45 291  
[ ]pre_poly__769_23.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__775_34.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__776_33.min1.thm12017-02-06 12:45 2.5K 
[ ]pre_poly__777_41.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__787_49.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__799_21.min1.thm12017-02-06 12:45 2.4K 
[ ]pre_poly__805_49.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__805_49.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]pre_poly__806_46.min1.thm12017-02-06 12:45 369  
[ ]pre_poly__807_33.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__809_29.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__810_36.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__812_40.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__813_27.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__814_26.min1.thm12017-02-06 12:45 574  
[ ]pre_poly__814_26.min1.thm1.tptp2017-02-06 16:47 504  
[ ]pre_poly__816_38.min1.thm12017-02-06 12:45 817  
[ ]pre_poly__820_23.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__821_34.min1.thm12017-02-06 12:45 2.3K 
[ ]pre_poly__826_20.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__827_29.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__828_45.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__829_25.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__831_24.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__832_39.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__834_25.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__835_23.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__841_16.min1.thm12017-02-06 12:45 812  
[ ]pre_poly__842_25.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__846_24.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__850_20.min1.thm12017-02-06 12:45 872  
[ ]pre_poly__851_29.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__852_43.min1.thm12017-02-06 12:45 737  
[ ]pre_poly__853_19.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__855_22.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__856_19.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__858_31.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__859_25.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__860_26.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__862_28.min1.thm12017-02-06 12:45 457  
[ ]pre_poly__862_28.min1.thm1.tptp2017-02-06 16:47 393  
[ ]pre_poly__863_52.min1.thm12017-02-06 12:45 725  
[ ]pre_poly__864_28.min1.thm12017-02-06 12:45 2.4K 
[ ]pre_poly__865_40.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__870_42.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__878_19.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__879_28.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__881_43.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__885_23.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__910_25.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__914_28.min1.thm12017-02-06 12:45 2.5K 
[ ]pre_poly__922_44.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__930_20.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__931_29.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__933_45.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__934_22.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__937_25.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__940_32.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__959_27.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__963_30.min1.thm12017-02-06 12:45 2.4K 
[ ]pre_poly__970_23.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__971_27.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__974_24.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__975_23.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__977_29.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__983_37.min1.thm12017-02-06 12:45 307  
[ ]pre_poly__994_54.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__999_13.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__1010_21.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1011_21.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__1012_21.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1013_21.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__1022_21.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1023_21.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__1024_21.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1025_21.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__1028_10.min1.thm12017-02-06 12:45 2.6K 
[ ]pre_poly__1055_14.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__1058_14.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__1059_18.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__1060_18.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__1065_15.min1.thm12017-02-06 12:45 209  
[ ]pre_poly__1073_22.min1.thm12017-02-06 12:45 655  
[ ]pre_poly__1086_34.min1.thm12017-02-06 12:45 569  
[ ]pre_poly__1086_34.min1.thm1.tptp2017-02-06 16:47 490  
[ ]pre_poly__1090_19.min1.thm12017-02-06 12:45 559  
[ ]pre_poly__1090_19.min1.thm1.tptp2017-02-06 16:47 489  
[ ]pre_poly__1091_33.min1.thm12017-02-06 12:45 787  
[ ]pre_poly__1093_31.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1094_25.min1.thm12017-02-06 12:45 787  
[ ]pre_poly__1096_28.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1097_24.min1.thm12017-02-06 12:45 787  
[ ]pre_poly__1098_29.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1099_29.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__1106_11.min1.thm12017-02-06 12:45 728  
[ ]pre_poly__1115_18.min1.thm12017-02-06 12:45 840  
[ ]pre_poly__1128_42.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__1136_39.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__1137_42.min1.thm12017-02-06 12:45 907  
[ ]pre_poly__1138_42.min1.thm12017-02-06 12:45 907  
[ ]pre_poly__1139_16.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__1140_16.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__1142_19.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1144_19.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1148_18.min1.thm12017-02-06 12:45 814  
[ ]pre_poly__1158_16.min1.thm12017-02-06 12:45 381  
[ ]pre_poly__1160_14.min1.thm12017-02-06 12:45 370  
[ ]pre_poly__1160_14.min1.thm1.tptp2017-02-06 16:47 284  
[ ]pre_poly__1170_36.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__1176_22.min1.thm12017-02-06 12:45 939  
[ ]pre_poly__1193_26.min1.thm12017-02-06 12:45 483  
[ ]pre_poly__1194_22.min1.thm12017-02-06 12:45 903  
[ ]pre_poly__1204_14.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__1206_20.min1.thm12017-02-06 12:45 639  
[ ]pre_poly__1207_32.min1.thm12017-02-06 12:45 928  
[ ]pre_poly__1208_19.min1.thm12017-02-06 12:45 663  
[ ]pre_poly__1211_24.min1.thm12017-02-06 12:45 784  
[ ]pre_poly__1216_20.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__1218_33.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__1221_18.min1.thm12017-02-06 12:45 709  
[ ]pre_poly__1240_19.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__1259_37.min1.thm12017-02-06 12:45 534  
[ ]pre_poly__1259_37.min1.thm1.tptp2017-02-06 16:47 472  
[ ]pre_poly__1260_56.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__1262_17.min1.thm12017-02-06 12:45 662  
[ ]pre_poly__1262_17.min1.thm1.tptp2017-02-06 16:47 614  
[ ]pre_poly__1272_24.min1.thm12017-02-06 12:45 914  
[ ]pre_poly__1273_47.min1.thm12017-02-06 12:45 770  
[ ]pre_poly__1274_19.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1275_47.min1.thm12017-02-06 12:45 770  
[ ]pre_poly__1276_18.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__1277_18.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1279_57.min1.thm12017-02-06 12:45 797  
[ ]pre_poly__1281_18.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__1281_18.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]pre_poly__1296_37.min1.thm12017-02-06 12:45 637  
[ ]pre_poly__1297_56.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__1298_24.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1299_18.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__1301_19.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__1314_13.min1.thm12017-02-06 12:45 308  
[ ]pre_poly__1314_13.min1.thm1.tptp2017-02-06 16:47 231  
[ ]pre_poly__1316_13.min1.thm12017-02-06 12:45 308  
[ ]pre_poly__1316_13.min1.thm1.tptp2017-02-06 16:47 231  
[ ]pre_poly__1318_13.min1.thm12017-02-06 12:45 344  
[ ]pre_poly__1318_13.min1.thm1.tptp2017-02-06 16:47 266  
[ ]pre_poly__1320_17.min1.thm12017-02-06 12:45 731  
[ ]pre_poly__1321_13.min1.thm12017-02-06 12:45 344  
[ ]pre_poly__1321_13.min1.thm1.tptp2017-02-06 16:47 266  
[ ]pre_poly__1322_20.min1.thm12017-02-06 12:45 732  
[ ]pre_poly__1323_50.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1324_9.min1.thm12017-02-06 12:45 480  
[ ]pre_poly__1325_14.min1.thm12017-02-06 12:45 387  
[ ]pre_poly__1325_14.min1.thm1.tptp2017-02-06 16:47 307  
[ ]pre_poly__1339_36.min1.thm12017-02-06 12:45 880  
[ ]pre_poly__1340_21.min1.thm12017-02-06 12:45 778  
[ ]pre_poly__1342_18.min1.thm12017-02-06 12:45 477  
[ ]pre_poly__1343_21.min1.thm12017-02-06 12:45 776  
[ ]pre_poly__1344_21.min1.thm12017-02-06 12:45 474  
[ ]pre_poly__1345_17.min1.thm12017-02-06 12:45 749  
[ ]pre_poly__1357_29.min1.thm12017-02-06 12:45 428  
[ ]pre_poly__1357_29.min1.thm1.tptp2017-02-06 16:47 347  
[ ]pre_poly__1358_32.min1.thm12017-02-06 12:45 572  
[ ]pre_poly__1359_22.min1.thm12017-02-06 12:45 591  
[ ]pre_poly__1360_17.min1.thm12017-02-06 12:45 714  
[ ]pre_poly__1369_32.min1.thm12017-02-06 12:45 341  
[ ]pre_poly__1370_17.min1.thm12017-02-06 12:45 933  
[ ]pre_poly__1379_24.min1.thm12017-02-06 12:45 335  
[ ]pre_poly__1379_24.min1.thm1.tptp2017-02-06 16:47 255  
[ ]pre_poly__1380_23.min1.thm12017-02-06 12:45 470  
[ ]pre_poly__1381_15.min1.thm12017-02-06 12:45 343  
[ ]pre_poly__1381_15.min1.thm1.tptp2017-02-06 16:47 261  
[ ]pre_poly__1396_39.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__1397_15.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__1409_18.min1.thm12017-02-06 12:45 729  
[ ]pre_poly__1425_39.min1.thm12017-02-06 12:45 671  
[ ]pre_poly__1428_14.min1.thm12017-02-06 12:45 407  
[ ]pre_poly__1428_14.min1.thm1.tptp2017-02-06 16:47 329  
[ ]pre_poly__1436_29.min1.thm12017-02-06 12:45 693  
[ ]pre_poly__1437_13.min1.thm12017-02-06 12:45 501  
[ ]pre_poly__1437_13.min1.thm1.tptp2017-02-06 16:47 435  
[ ]pre_poly__1438_19.min1.thm12017-02-06 12:45 859  
[ ]pre_poly__1447_29.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__1448_13.min1.thm12017-02-06 12:45 501  
[ ]pre_poly__1448_13.min1.thm1.tptp2017-02-06 16:47 435  
[ ]pre_poly__1449_19.min1.thm12017-02-06 12:45 565  
[ ]pre_poly__1449_19.min1.thm1.tptp2017-02-06 16:47 516  
[ ]pre_poly__1457_40.min1.thm12017-02-06 12:45 571  
[ ]pre_poly__1457_40.min1.thm1.tptp2017-02-06 16:47 510  
[ ]pre_poly__1458_62.min1.thm12017-02-06 12:45 726  
[ ]pre_poly__1459_33.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1460_17.min1.thm12017-02-06 12:45 539  
[ ]pre_poly__1468_11.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__1478_18.min1.thm12017-02-06 12:45 293  
[ ]pre_poly__1479_36.min1.thm12017-02-06 12:45 583  
[ ]pre_poly__1480_21.min1.thm12017-02-06 12:45 538  
[ ]pre_poly__1481_21.min1.thm12017-02-06 12:45 538  
[ ]pre_poly__1482_31.min1.thm12017-02-06 12:45 582  
[ ]pre_poly__1483_21.min1.thm12017-02-06 12:45 564  
[ ]pre_poly__1484_38.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1486_18.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1508_26.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__1511_30.min1.thm12017-02-06 12:45 940  
[ ]pre_poly__1512_16.min1.thm12017-02-06 12:45 560  
[ ]pre_poly__1512_16.min1.thm1.tptp2017-02-06 16:47 490  
[ ]pre_poly__1514_31.min1.thm12017-02-06 12:45 789  
[ ]pre_poly__1516_15.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1541_26.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__1544_29.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__1545_16.min1.thm12017-02-06 12:45 560  
[ ]pre_poly__1545_16.min1.thm1.tptp2017-02-06 16:47 490  
[ ]pre_poly__1547_31.min1.thm12017-02-06 12:45 789  
[ ]pre_poly__1549_15.min1.thm12017-02-06 12:45 3.1K 
[ ]pre_poly__1560_18.min1.thm12017-02-06 12:45 645  
[ ]pre_poly__1560_18.min1.thm1.tptp2017-02-06 16:47 575  
[ ]pre_poly__1561_31.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1573_18.min1.thm12017-02-06 12:45 621  
[ ]pre_poly__1583_30.min1.thm12017-02-06 12:45 953  
[ ]pre_poly__1584_34.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1598_19.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__1607_13.min1.thm12017-02-06 12:45 249  
[ ]pre_poly__1610_21.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1614_21.min1.thm12017-02-06 12:45 798  
[ ]pre_poly__1624_25.min1.thm12017-02-06 12:45 874  
[ ]pre_poly__1625_21.min1.thm12017-02-06 12:45 790  
[ ]pre_poly__1626_19.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__1635_15.min1.thm12017-02-06 12:45 478  
[ ]pre_poly__1649_50.min1.thm12017-02-06 12:45 598  
[ ]pre_poly__1650_26.min1.thm12017-02-06 12:45 599  
[ ]pre_poly__1656_22.min1.thm12017-02-06 12:45 576  
[ ]pre_poly__1657_17.min1.thm12017-02-06 12:45 396  
[ ]pre_poly__1657_17.min1.thm1.tptp2017-02-06 16:47 315  
[ ]pre_poly__1665_33.min1.thm12017-02-06 12:45 795  
[ ]pre_poly__1669_38.min1.thm12017-02-06 12:45 693  
[ ]pre_poly__1670_28.min1.thm12017-02-06 12:45 780  
[ ]pre_poly__1672_19.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1683_15.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1692_15.min1.thm12017-02-06 12:45 580  
[ ]pre_poly__1708_23.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__1709_39.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__1710_19.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__1711_25.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__1712_18.min1.thm12017-02-06 12:45 683  
[ ]pre_poly__1714_19.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__1728_43.min1.thm12017-02-06 12:45 723  
[ ]pre_poly__1729_20.min1.thm12017-02-06 12:45 857  
[ ]pre_poly__1730_19.min1.thm12017-02-06 12:45 549  
[ ]pre_poly__1733_25.min1.thm12017-02-06 12:45 433  
[ ]pre_poly__1733_25.min1.thm1.tptp2017-02-06 16:47 355  
[ ]pre_poly__1738_26.min1.thm12017-02-06 12:45 665  
[ ]pre_poly__1748_18.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__1749_31.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__1750_16.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__1759_19.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__1763_17.min1.thm12017-02-06 12:45 911  
[ ]pre_poly__1764_29.min1.thm12017-02-06 12:45 731  
[ ]pre_poly__1766_44.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1767_22.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__1772_12.min1.thm12017-02-06 12:45 889  
[ ]pre_poly__1773_34.min1.thm12017-02-06 12:45 688  
[ ]pre_poly__1774_26.min1.thm12017-02-06 12:45 688  
[ ]pre_poly__1777_14.min1.thm12017-02-06 12:45 384  
[ ]pre_poly__1777_14.min1.thm1.tptp2017-02-06 16:47 302  
[ ]pre_poly__1784_25.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1787_25.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1795_31.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__1798_13.min1.thm12017-02-06 12:45 255  
[ ]pre_poly__1802_19.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__1804_24.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1805_28.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__1809_28.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__1812_22.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__1814_24.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__1819_21.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__1826_11.min1.thm12017-02-06 12:45 589  
[ ]pre_poly__1836_20.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1837_17.min1.thm12017-02-06 12:45 780  
[ ]pre_poly__1838_19.min1.thm12017-02-06 12:45 944  
[ ]pre_poly__1852_50.min1.thm12017-02-06 12:45 598  
[ ]pre_poly__1853_29.min1.thm12017-02-06 12:45 737  
[ ]pre_poly__1859_22.min1.thm12017-02-06 12:45 576  
[ ]pre_poly__1860_17.min1.thm12017-02-06 12:45 550  
[ ]pre_poly__1860_17.min1.thm1.tptp2017-02-06 16:47 473  
[ ]pre_poly__1868_33.min1.thm12017-02-06 12:45 799  
[ ]pre_poly__1872_38.min1.thm12017-02-06 12:45 693  
[ ]pre_poly__1873_31.min1.thm12017-02-06 12:45 896  
[ ]pre_poly__1875_19.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__1884_15.min1.thm12017-02-06 12:45 521  
[ ]pre_poly__1885_31.min1.thm12017-02-06 12:45 633  
[ ]pre_poly__1886_16.min1.thm12017-02-06 12:45 441  
[ ]pre_poly__1901_32.min1.thm12017-02-06 12:45 646  
[ ]pre_poly__1901_32.min1.thm1.tptp2017-02-06 16:47 572  
[ ]pre_poly__1905_20.min1.thm12017-02-06 12:45 810  
[ ]pre_poly__1907_17.min1.thm12017-02-06 12:45 2.3K 
[ ]pre_poly__1917_40.min1.thm12017-02-06 12:45 603  
[ ]pre_poly__1918_26.min1.thm12017-02-06 12:45 478  
[ ]pre_poly__1918_26.min1.thm1.tptp2017-02-06 16:47 404  
[ ]pre_poly__1938_28.min1.thm12017-02-06 12:45 630  
[ ]pre_poly__1938_28.min1.thm1.tptp2017-02-06 16:47 556  
[ ]pre_poly__1943_13.min1.thm12017-02-06 12:45 313  
[ ]pre_poly__1948_22.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__1950_22.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__1957_23.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1960_15.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1977_35.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1977_35.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]pre_poly__1980_33.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__1982_18.min1.thm12017-02-06 12:45 704  
[ ]pre_poly__1983_19.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__1990_9.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__2016_28.min1.thm12017-02-06 12:45 630  
[ ]pre_poly__2016_28.min1.thm1.tptp2017-02-06 16:47 556  
[ ]pre_poly__2017_13.min1.thm12017-02-06 12:45 255  
[ ]pre_poly__2025_23.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__2028_22.min1.thm12017-02-06 12:45 2.9K 
[ ]pre_poly__2029_26.min1.thm12017-02-06 12:45 2.1K 
[ ]pre_poly__2032_38.min1.thm12017-02-06 12:45 491  
[ ]pre_poly__2032_38.min1.thm1.tptp2017-02-06 16:47 417  
[ ]pre_poly__2033_23.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2036_15.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2047_54.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__2048_18.min1.thm12017-02-06 12:45 687  
[ ]pre_poly__2049_19.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__2053_76.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__2056_56.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__2061_9.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__2081_37.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__2082_16.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__2084_30.min1.thm12017-02-06 12:45 514  
[ ]pre_poly__2085_34.min1.thm12017-02-06 12:45 3.0K 
[ ]pre_poly__2086_19.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__2088_19.min1.thm12017-02-06 12:45 459  
[ ]pre_poly__2090_22.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__2103_27.min1.thm12017-02-06 12:45 477  
[ ]pre_poly__2118_44.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__2120_21.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__2121_19.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__2122_53.min1.thm12017-02-06 12:45 602  
[ ]pre_poly__2123_33.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__2139_22.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2140_16.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__2141_51.min1.thm12017-02-06 12:45 516  
[ ]pre_poly__2143_19.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__2147_16.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__2148_47.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__2149_30.min1.thm12017-02-06 12:45 776  
[ ]pre_poly__2153_31.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__2154_30.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__2158_23.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2175_13.min1.thm12017-02-06 12:45 389  
[ ]pre_poly__2178_21.min1.thm12017-02-06 12:45 715  
[ ]pre_poly__2182_23.min1.thm12017-02-06 12:45 688  
[ ]pre_poly__2183_18.min1.thm12017-02-06 12:45 669  
[ ]pre_poly__2187_23.min1.thm12017-02-06 12:45 728  
[ ]pre_poly__2188_18.min1.thm12017-02-06 12:45 669  
[ ]pre_poly__2201_13.min1.thm12017-02-06 12:45 389  
[ ]pre_poly__2204_21.min1.thm12017-02-06 12:45 713  
[ ]pre_poly__2208_23.min1.thm12017-02-06 12:45 688  
[ ]pre_poly__2209_18.min1.thm12017-02-06 12:45 667  
[ ]pre_poly__2213_23.min1.thm12017-02-06 12:45 728  
[ ]pre_poly__2214_18.min1.thm12017-02-06 12:45 667  
[ ]pre_poly__2224_11.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__2228_30.min1.thm12017-02-06 12:45 811  
[ ]pre_poly__2230_31.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__2236_15.min1.thm12017-02-06 12:45 237  
[ ]pre_poly__2243_35.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__2244_23.min1.thm12017-02-06 12:45 2.5K 
[ ]pre_poly__2248_60.min1.thm12017-02-06 12:45 460  
[ ]pre_poly__2265_13.min1.thm12017-02-06 12:45 231  
[ ]pre_poly__2268_21.min1.thm12017-02-06 12:45 560  
[ ]pre_poly__2268_21.min1.thm1.tptp2017-02-06 16:47 483  
[ ]pre_poly__2272_19.min1.thm12017-02-06 12:45 534  
[ ]pre_poly__2272_19.min1.thm1.tptp2017-02-06 16:47 468  
[ ]pre_poly__2273_19.min1.thm12017-02-06 12:45 534  
[ ]pre_poly__2273_19.min1.thm1.tptp2017-02-06 16:47 468  
[ ]pre_poly__2274_18.min1.thm12017-02-06 12:45 527  
[ ]pre_poly__2274_18.min1.thm1.tptp2017-02-06 16:47 461  
[ ]pre_poly__2275_22.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__2276_18.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2277_21.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__2278_24.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__2289_32.min1.thm12017-02-06 12:45 445  
[ ]pre_poly__2290_19.min1.thm12017-02-06 12:45 445  
[ ]pre_poly__2305_13.min1.thm12017-02-06 12:45 225  
[ ]pre_poly__2308_30.min1.thm12017-02-06 12:45 540  
[ ]pre_poly__2308_30.min1.thm1.tptp2017-02-06 16:47 463  
[ ]pre_poly__2312_19.min1.thm12017-02-06 12:45 532  
[ ]pre_poly__2312_19.min1.thm1.tptp2017-02-06 16:47 466  
[ ]pre_poly__2313_19.min1.thm12017-02-06 12:45 532  
[ ]pre_poly__2313_19.min1.thm1.tptp2017-02-06 16:47 466  
[ ]pre_poly__2314_18.min1.thm12017-02-06 12:45 532  
[ ]pre_poly__2314_18.min1.thm1.tptp2017-02-06 16:47 466  
[ ]pre_poly__2315_44.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__2316_28.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__2317_23.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__2332_13.min1.thm12017-02-06 12:45 225  
[ ]pre_poly__2335_33.min1.thm12017-02-06 12:45 536  
[ ]pre_poly__2335_33.min1.thm1.tptp2017-02-06 16:47 459  
[ ]pre_poly__2339_19.min1.thm12017-02-06 12:45 532  
[ ]pre_poly__2339_19.min1.thm1.tptp2017-02-06 16:47 466  
[ ]pre_poly__2340_19.min1.thm12017-02-06 12:45 532  
[ ]pre_poly__2340_19.min1.thm1.tptp2017-02-06 16:47 466  
[ ]pre_poly__2341_18.min1.thm12017-02-06 12:45 532  
[ ]pre_poly__2341_18.min1.thm1.tptp2017-02-06 16:47 466  
[ ]pre_poly__2342_22.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__2343_18.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2344_21.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__2345_24.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__2354_11.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__2367_21.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__2369_19.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2381_43.min1.thm12017-02-06 12:45 3.6K 
[ ]pre_poly__2382_26.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__2383_25.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__2384_26.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__2385_26.min1.thm12017-02-06 12:45 3.6K 
[ ]pre_poly__2400_26.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__2421_35.min1.thm12017-02-06 12:45 413  
[ ]pre_poly__2424_22.min1.thm12017-02-06 12:45 692  
[ ]pre_poly__2425_19.min1.thm12017-02-06 12:45 545  
[ ]pre_poly__2435_28.min1.thm12017-02-06 12:45 376  
[ ]pre_poly__2436_21.min1.thm12017-02-06 12:45 525  
[ ]pre_poly__2436_21.min1.thm1.tptp2017-02-06 16:47 444  
[ ]pre_poly__2438_19.min1.thm12017-02-06 12:45 374  
[ ]pre_poly__2438_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]pre_poly__2447_18.min1.thm12017-02-06 12:45 524  
[ ]pre_poly__2448_17.min1.thm12017-02-06 12:45 676  
[ ]pre_poly__2464_24.min1.thm12017-02-06 12:45 451  
[ ]pre_poly__2465_32.min1.thm12017-02-06 12:45 573  
[ ]pre_poly__2474_28.min1.thm12017-02-06 12:45 922  
[ ]pre_poly__2475_28.min1.thm12017-02-06 12:45 917  
[ ]pre_poly__2476_15.min1.thm12017-02-06 12:45 692  
[ ]pre_poly__2483_14.min1.thm12017-02-06 12:45 413  
[ ]pre_poly__2483_14.min1.thm1.tptp2017-02-06 16:47 340  
[ ]pre_poly__2493_38.min1.thm12017-02-06 12:45 918  
[ ]pre_poly__2496_27.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__2499_23.min1.thm12017-02-06 12:45 418  
[ ]pre_poly__2500_17.min1.thm12017-02-06 12:45 864  
[ ]pre_poly__2503_29.min1.thm12017-02-06 12:45 383  
[ ]pre_poly__2518_17.min1.thm12017-02-06 12:45 819  
[ ]pre_poly__2519_15.min1.thm12017-02-06 12:45 395  
[ ]pre_poly__2522_24.min1.thm12017-02-06 12:45 425  
[ ]pre_poly__2522_24.min1.thm1.tptp2017-02-06 16:47 360  
[ ]pre_poly__2523_23.min1.thm12017-02-06 12:45 568  
[ ]pre_poly__2527_25.min1.thm12017-02-06 12:45 698  
[ ]pre_poly__2528_30.min1.thm12017-02-06 12:45 814  
[ ]pre_poly__2529_23.min1.thm12017-02-06 12:45 478  
[ ]pre_poly__2529_23.min1.thm1.tptp2017-02-06 16:47 416  
[ ]pre_poly__2533_25.min1.thm12017-02-06 12:45 736  
[ ]pre_poly__2534_30.min1.thm12017-02-06 12:45 814  
[ ]pre_poly__2535_23.min1.thm12017-02-06 12:45 478  
[ ]pre_poly__2535_23.min1.thm1.tptp2017-02-06 16:47 416  
[ ]pre_poly__2538_38.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__2549_38.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2551_28.min1.thm12017-02-06 12:45 961  
[ ]pre_poly__2556_23.min1.thm12017-02-06 12:45 418  
[ ]pre_poly__2557_27.min1.thm12017-02-06 12:45 672  
[ ]pre_poly__2558_21.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__2561_19.min1.thm12017-02-06 12:45 696  
[ ]pre_poly__2574_48.min1.thm12017-02-06 12:45 522  
[ ]pre_poly__2574_48.min1.thm1.tptp2017-02-06 16:47 460  
[ ]pre_poly__2575_36.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__2576_27.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__2583_31.min1.thm12017-02-06 12:45 463  
[ ]pre_poly__2583_31.min1.thm1.tptp2017-02-06 16:47 399  
[ ]pre_poly__2585_15.min1.thm12017-02-06 12:45 656  
[ ]pre_poly__2586_26.min1.thm12017-02-06 12:45 556  
[ ]pre_poly__2587_25.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__2604_20.min1.thm12017-02-06 12:45 656  
[ ]pre_poly__2605_26.min1.thm12017-02-06 12:45 2.3K 
[ ]pre_poly__2624_37.min1.thm12017-02-06 12:45 861  
[ ]pre_poly__2625_29.min1.thm12017-02-06 12:45 641  
[ ]pre_poly__2634_49.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__2635_35.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__2640_37.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__2641_36.min1.thm12017-02-06 12:45 943  
[ ]pre_poly__2655_21.min1.thm12017-02-06 12:45 540  
[ ]pre_poly__2660_17.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__2678_16.min1.thm12017-02-06 12:45 580  
[ ]pre_poly__2708_33.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__2709_33.min1.thm12017-02-06 12:45 908  
[ ]pre_poly__2711_16.min1.thm12017-02-06 12:45 538  
[ ]pre_poly__2714_24.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__2718_24.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__2725_17.min1.thm12017-02-06 12:45 376  
[ ]pre_poly__2727_13.min1.thm12017-02-06 12:45 817  
[ ]pre_poly__2730_11.min1.thm12017-02-06 12:45 724  
[ ]pre_poly__2731_20.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__2732_13.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__2740_13.min1.thm12017-02-06 12:45 592  
[ ]pre_poly__2751_21.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__2752_19.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__2753_26.min1.thm12017-02-06 12:45 2.4K 
[ ]pre_poly__2754_17.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__2763_19.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__2764_17.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__2773_19.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__2774_17.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__2786_16.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2788_33.min1.thm12017-02-06 12:45 667  
[ ]pre_poly__2792_52.min1.thm12017-02-06 12:45 688  
[ ]pre_poly__2793_14.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__2801_19.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2810_13.min1.thm12017-02-06 12:45 896  
[ ]pre_poly__2821_11.min1.thm12017-02-06 12:45 284  
[ ]pre_poly__2824_15.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__2825_19.min1.thm12017-02-06 12:45 467  
[ ]pre_poly__2825_19.min1.thm1.tptp2017-02-06 16:47 386  
[ ]pre_poly__2829_19.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__2842_37.min1.thm12017-02-06 12:45 485  
[ ]pre_poly__2843_21.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2846_31.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__2847_16.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2861_16.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2877_37.min1.thm12017-02-06 12:45 485  
[ ]pre_poly__2880_19.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2881_23.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__2883_30.min1.thm12017-02-06 12:45 449  
[ ]pre_poly__2883_30.min1.thm1.tptp2017-02-06 16:47 366  
[ ]pre_poly__2891_19.min1.thm12017-02-06 12:45 866  
[ ]pre_poly__2892_19.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2893_24.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__2910_24.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__2912_17.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__2928_40.min1.thm12017-02-06 12:45 705  
[ ]pre_poly__2931_37.min1.thm12017-02-06 12:45 656  
[ ]pre_poly__2932_31.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__2933_29.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__2934_19.min1.thm12017-02-06 12:45 850  
[ ]pre_poly__2943_33.min1.thm12017-02-06 12:45 666  
[ ]pre_poly__2944_32.min1.thm12017-02-06 12:45 820  
[ ]pre_poly__2944_32.min1.thm1.tptp2017-02-06 16:47 747  
[ ]pre_poly__2946_19.min1.thm12017-02-06 12:45 380  
[ ]pre_poly__2946_19.min1.thm1.tptp2017-02-06 16:47 320  
[ ]pre_poly__2955_20.min1.thm12017-02-06 12:45 269  
[ ]pre_poly__2956_16.min1.thm12017-02-06 12:45 376  
[ ]pre_poly__2956_16.min1.thm1.tptp2017-02-06 16:47 304  
[ ]pre_poly__2967_20.min1.thm12017-02-06 12:45 343  
[ ]pre_poly__2967_20.min1.thm1.tptp2017-02-06 16:47 278  
[ ]pre_poly__2968_29.min1.thm12017-02-06 12:45 2.1K 
[ ]pre_poly__2971_49.min1.thm12017-02-06 12:45 540  
[ ]pre_poly__2972_11.min1.thm12017-02-06 12:45 623  
[ ]pre_poly__2973_22.min1.thm12017-02-06 12:45 416  
[ ]pre_poly__2975_17.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__2983_26.min1.thm12017-02-06 12:45 914  
[ ]pre_poly__2995_18.min1.thm12017-02-06 12:45 945  
[ ]pre_poly__3005_13.min1.thm12017-02-06 12:45 198  
[ ]pre_poly__3007_53.min1.thm12017-02-06 12:45 427  
[ ]pre_poly__3007_53.min1.thm1.tptp2017-02-06 16:47 337  
[ ]pre_poly__3008_34.min1.thm12017-02-06 12:45 865  
[ ]pre_poly__3009_22.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__3010_18.min1.thm12017-02-06 12:45 584  
[ ]pre_poly__3010_18.min1.thm1.tptp2017-02-06 16:47 498  
[ ]pre_poly__3013_24.min1.thm12017-02-06 12:45 493  
[ ]pre_poly__3014_21.min1.thm12017-02-06 12:45 422  
[ ]pre_poly__3022_14.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__3031_26.min1.thm12017-02-06 12:45 914  
[ ]pre_poly__3032_19.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__3041_11.min1.thm12017-02-06 12:45 224  
[ ]pre_poly__3044_19.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__3060_25.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__3062_15.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__3075_25.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__3077_15.min1.thm12017-02-06 12:45 960  
[ ]pre_poly__3090_25.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__3105_13.min1.thm12017-02-06 12:45 904  
[ ]pre_poly__3106_26.min1.thm12017-02-06 12:45 377  
[ ]pre_poly__3106_26.min1.thm1.tptp2017-02-06 16:47 304  
[ ]pre_poly__3121_21.min1.thm12017-02-06 12:45 2.5K 
[ ]pre_poly__3124_19.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__3125_19.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3126_24.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__3141_25.min1.thm12017-02-06 12:45 375  
[ ]pre_poly__3141_25.min1.thm1.tptp2017-02-06 16:47 302  
[ ]pre_poly__3152_16.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__3179_12.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__3182_18.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__3183_27.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__3184_21.min1.thm12017-02-06 12:45 3.4K 
[ ]pre_poly__3193_42.min1.thm12017-02-06 12:45 711  
[ ]pre_poly__3204_27.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__3208_20.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__3209_47.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__3210_19.min1.thm12017-02-06 12:45 3.2K 
[ ]pre_poly__3213_44.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__3219_78.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__3221_19.min1.thm12017-02-06 12:45 2.5K 
[ ]pre_poly__3223_32.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__3238_38.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__3239_18.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__3240_26.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__3247_36.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__3248_16.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__3249_19.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__3258_36.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__3259_11.min1.thm12017-02-06 12:45 835  
[ ]pre_poly__3260_17.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__3272_42.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__3273_14.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__3275_25.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__3276_44.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__3277_16.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__3278_17.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__3290_43.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__3291_42.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__3292_43.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__3292_43.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]pre_poly__3294_20.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__3295_17.min1.thm12017-02-06 12:45 2.1K 
[ ]pre_poly__3302_33.min1.thm12017-02-06 12:45 366  
[ ]pre_poly__3302_33.min1.thm1.tptp2017-02-06 16:47 285  
[ ]pre_poly__3310_42.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__3311_18.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__3312_19.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3313_19.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__3315_62.min1.thm12017-02-06 12:45 543  
[ ]pre_poly__3316_17.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__3325_32.min1.thm12017-02-06 12:45 372  
[ ]pre_poly__3325_32.min1.thm1.tptp2017-02-06 16:47 291  
[ ]pre_poly__3327_27.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__3328_19.min1.thm12017-02-06 12:45 930  
[ ]pre_poly__3353_54.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__3355_31.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__3358_25.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__3360_19.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__3388_44.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__3416_49.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3428_19.min1.thm12017-02-06 12:45 868  
[ ]pre_poly__3431_17.min1.thm12017-02-06 12:45 723  
[ ]pre_poly__3439_16.min1.thm12017-02-06 12:45 906  
[ ]pre_poly__3440_26.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__3441_19.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__3469_16.min1.thm12017-02-06 12:45 882  
[ ]pre_poly__3474_15.min1.thm12017-02-06 12:45 218  
[ ]pre_poly__3483_36.min1.thm12017-02-06 12:45 561  
[ ]pre_poly__3483_36.min1.thm1.tptp2017-02-06 16:47 499  
[ ]pre_poly__3487_17.min1.thm12017-02-06 12:45 727  
[ ]pre_poly__3493_54.min1.thm12017-02-06 12:45 2.8K 
[ ]pre_poly__3499_19.min1.thm12017-02-06 12:45 2.7K 
[ ]pre_poly__3508_29.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__3510_23.min1.thm12017-02-06 12:45 799  
[ ]pre_poly__3513_33.min1.thm12017-02-06 12:45 814  
[ ]pre_poly__3522_19.min1.thm12017-02-06 12:45 230  
[ ]pre_poly__3525_22.min1.thm12017-02-06 12:45 953  
[ ]pre_poly__3531_38.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__3535_27.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__3552_23.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__3557_23.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__3571_19.min1.thm12017-02-06 12:45 230  
[ ]pre_poly__3580_43.min1.thm12017-02-06 12:45 910  
[ ]pre_poly__3581_25.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__3589_30.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__3590_30.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3595_54.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3606_19.min1.thm12017-02-06 12:45 230  
[ ]pre_poly__3616_33.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__3634_25.min1.thm12017-02-06 12:45 2.9K 
[ ]pre_poly__3651_20.min1.thm12017-02-06 12:45 718  
[ ]pre_poly__3656_43.min1.thm12017-02-06 12:45 655  
[ ]pre_poly__3656_43.min1.thm1.tptp2017-02-06 16:47 583  
[ ]pre_poly__3659_32.min1.thm12017-02-06 12:45 849  
[ ]pre_poly__3671_13.min1.thm12017-02-06 12:45 198  
[ ]pre_poly__3674_38.min1.thm12017-02-06 12:45 923  
[ ]pre_poly__3675_32.min1.thm12017-02-06 12:45 695  
[ ]pre_poly__3676_18.min1.thm12017-02-06 12:45 584  
[ ]pre_poly__3680_40.min1.thm12017-02-06 12:45 240  
[ ]pre_poly__3681_55.min1.thm12017-02-06 12:45 684  
[ ]pre_poly__3681_55.min1.thm1.tptp2017-02-06 16:47 598  
[ ]pre_poly__3682_65.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__3697_31.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__3702_33.min1.thm12017-02-06 12:45 403  
[ ]pre_poly__3708_21.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3711_54.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3728_51.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3729_23.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__3730_24.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__3734_49.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3735_21.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__3736_22.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__3760_74.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__3766_33.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3768_17.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__3782_23.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__3783_19.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__3784_32.min1.thm12017-02-06 12:45 2.9K 
[ ]pre_poly__3792_35.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3793_25.min1.thm12017-02-06 12:45 741  
[ ]pre_poly__3794_25.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__3796_11.min1.thm12017-02-06 12:45 1.1K 
[ ]pre_poly__3806_61.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__3807_70.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__3826_37.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3827_27.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__3829_19.min1.thm12017-02-06 12:45 2.6K 
[ ]pre_poly__3831_35.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3833_29.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3834_27.min1.thm12017-02-06 12:45 669  
[ ]pre_poly__3860_26.min1.thm12017-02-06 12:45 643  
[ ]pre_poly__3861_71.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__3864_17.min1.thm12017-02-06 12:45 2.5K 
[ ]pre_poly__3875_30.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__3876_19.min1.thm12017-02-06 12:45 2.1K 
[ ]pre_poly__3910_24.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__3922_35.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3925_22.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__3926_17.min1.thm12017-02-06 12:45 790  
[ ]pre_poly__3932_27.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__3946_17.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__3954_36.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__3964_20.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__3995_55.min1.thm12017-02-06 12:45 3.2K 
[ ]pre_poly__3996_34.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__3999_12.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__4000_33.min1.thm12017-02-06 12:45 1.6K 
[ ]pre_poly__4018_16.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__4019_36.min1.thm12017-02-06 12:45 1.5K 
[ ]pre_poly__4022_11.min1.thm12017-02-06 12:45 1.3K 
[ ]pre_poly__4038_61.min1.thm12017-02-06 12:45 1.8K 
[ ]pre_poly__4040_45.min1.thm12017-02-06 12:45 555  
[ ]pre_poly__4047_12.min1.thm12017-02-06 12:45 532  
[ ]pre_poly__4105_53.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__4113_34.min1.thm12017-02-06 12:45 3.6K 
[ ]pre_poly__4120_61.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__4121_28.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__4122_25.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__4129_29.min1.thm12017-02-06 12:45 494  
[ ]pre_poly__4137_55.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__4145_34.min1.thm12017-02-06 12:45 3.6K 
[ ]pre_poly__4152_61.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__4153_28.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__4154_25.min1.thm12017-02-06 12:45 2.3K 
[ ]pre_poly__4161_30.min1.thm12017-02-06 12:45 496  
[ ]pre_poly__4185_52.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__4198_59.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__4199_25.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__4201_20.min1.thm12017-02-06 12:45 2.3K 
[ ]pre_poly__4206_25.min1.thm12017-02-06 12:45 3.2K 
[ ]pre_poly__4217_39.min1.thm12017-02-06 12:45 1.9K 
[ ]pre_poly__4220_56.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__4233_39.min1.thm12017-02-06 12:45 2.1K 
[ ]pre_poly__4237_28.min1.thm12017-02-06 12:45 508  
[ ]pre_poly__4240_28.min1.thm12017-02-06 12:45 508  
[ ]pre_poly__4255_51.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__4261_32.min1.thm12017-02-06 12:45 3.6K 
[ ]pre_poly__4268_57.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__4269_24.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__4272_18.min1.thm12017-02-06 12:45 2.3K 
[ ]pre_poly__4279_26.min1.thm12017-02-06 12:45 494  
[ ]pre_poly__4298_55.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__4307_21.min1.thm12017-02-06 12:45 2.7K 
[ ]pre_poly__4311_26.min1.thm12017-02-06 12:45 494  
[ ]pre_poly__4329_56.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__4344_61.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__4345_29.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__4350_20.min1.thm12017-02-06 12:45 2.2K 
[ ]pre_poly__4353_29.min1.thm12017-02-06 12:45 494  
[ ]pre_poly__4361_56.min1.thm12017-02-06 12:45 2.0K 
[ ]pre_poly__4376_61.min1.thm12017-02-06 12:45 1.7K 
[ ]pre_poly__4377_29.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__4382_20.min1.thm12017-02-06 12:45 2.3K 
[ ]pre_poly__4385_29.min1.thm12017-02-06 12:45 496  
[ ]pre_poly__4408_21.min1.thm12017-02-06 12:45 1.4K 
[ ]pre_poly__4411_29.min1.thm12017-02-06 12:45 462  
[ ]pre_poly__4411_29.min1.thm1.tptp2017-02-06 16:47 398  
[ ]pre_poly__4413_15.min1.thm12017-02-06 12:45 662  
[ ]pre_poly__4414_24.min1.thm12017-02-06 12:45 555  
[ ]pre_poly__4415_23.min1.thm12017-02-06 12:45 1.2K 
[ ]pre_poly__4429_41.min1.thm12017-02-06 12:45 1.0K 
[ ]pre_poly__4430_15.min1.thm12017-02-06 12:45 1.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80