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