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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]polynom2__52_18.min1.thm12017-02-06 12:45 547  
[ ]polynom2__52_18.min1.thm1.tptp2017-02-06 16:47 477  
[ ]polynom2__53_33.min1.thm12017-02-06 12:45 772  
[ ]polynom2__56_18.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__57_25.min1.thm12017-02-06 12:45 772  
[ ]polynom2__60_28.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__61_24.min1.thm12017-02-06 12:45 771  
[ ]polynom2__62_57.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__81_18.min1.thm12017-02-06 12:45 547  
[ ]polynom2__81_18.min1.thm1.tptp2017-02-06 16:47 477  
[ ]polynom2__83_26.min1.thm12017-02-06 12:45 771  
[ ]polynom2__84_25.min1.thm12017-02-06 12:45 772  
[ ]polynom2__87_28.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__90_28.min1.thm12017-02-06 12:45 772  
[ ]polynom2__92_18.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__96_24.min1.thm12017-02-06 12:45 781  
[ ]polynom2__98_32.min1.thm12017-02-06 12:45 771  
[ ]polynom2__108_17.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__109_22.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__112_17.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__113_22.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__119_52.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__120_29.min1.thm12017-02-06 12:45 848  
[ ]polynom2__121_17.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__141_16.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__144_41.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__146_8.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__148_14.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__148_14.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]polynom2__158_15.min1.thm12017-02-06 12:45 778  
[ ]polynom2__158_15.min1.thm1.tptp2017-02-06 16:47 689  
[ ]polynom2__176_20.min1.thm12017-02-06 12:45 573  
[ ]polynom2__177_11.min1.thm12017-02-06 12:45 779  
[ ]polynom2__178_16.min1.thm12017-02-06 12:45 910  
[ ]polynom2__179_17.min1.thm12017-02-06 12:45 845  
[ ]polynom2__186_55.min1.thm12017-02-06 12:45 457  
[ ]polynom2__186_55.min1.thm1.tptp2017-02-06 16:47 410  
[ ]polynom2__188_20.min1.thm12017-02-06 12:45 536  
[ ]polynom2__190_17.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__212_20.min1.thm12017-02-06 12:45 912  
[ ]polynom2__213_35.min1.thm12017-02-06 12:45 448  
[ ]polynom2__217_60.min1.thm12017-02-06 12:45 677  
[ ]polynom2__226_13.min1.thm12017-02-06 12:45 224  
[ ]polynom2__230_17.min1.thm12017-02-06 12:45 236  
[ ]polynom2__233_36.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__234_43.min1.thm12017-02-06 12:45 2.2K 
[ ]polynom2__235_26.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__236_25.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__243_29.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__246_23.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__248_23.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__249_27.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__251_27.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__252_36.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__253_43.min1.thm12017-02-06 12:45 2.2K 
[ ]polynom2__254_26.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__255_21.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__256_25.min1.thm12017-02-06 12:45 802  
[ ]polynom2__256_25.min1.thm1.tptp2017-02-06 16:47 726  
[ ]polynom2__259_18.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__265_19.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__266_18.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__267_23.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__269_23.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__270_32.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__271_40.min1.thm12017-02-06 12:45 2.2K 
[ ]polynom2__272_24.min1.thm12017-02-06 12:45 2.3K 
[ ]polynom2__273_18.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__274_21.min1.thm12017-02-06 12:45 2.1K 
[ ]polynom2__277_12.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__313_19.min1.thm12017-02-06 12:45 2.4K 
[ ]polynom2__316_26.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__319_15.min1.thm12017-02-06 12:45 192  
[ ]polynom2__323_22.min1.thm12017-02-06 12:45 2.6K 
[ ]polynom2__324_26.min1.thm12017-02-06 12:45 3.1K 
[ ]polynom2__325_20.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__326_23.min1.thm12017-02-06 12:45 748  
[ ]polynom2__331_17.min1.thm12017-02-06 12:45 556  
[ ]polynom2__332_71.min1.thm12017-02-06 12:45 747  
[ ]polynom2__342_19.min1.thm12017-02-06 12:45 382  
[ ]polynom2__346_23.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__352_25.min1.thm12017-02-06 12:45 520  
[ ]polynom2__353_25.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__354_29.min1.thm12017-02-06 12:45 2.1K 
[ ]polynom2__357_21.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__359_26.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__360_25.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__361_25.min1.thm12017-02-06 12:45 889  
[ ]polynom2__364_31.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__366_26.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__368_36.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__369_23.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__372_20.min1.thm12017-02-06 12:45 642  
[ ]polynom2__375_16.min1.thm12017-02-06 12:45 780  
[ ]polynom2__377_43.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__382_15.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__383_16.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__386_17.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__406_9.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__413_20.min1.thm12017-02-06 12:45 918  
[ ]polynom2__416_61.min1.thm12017-02-06 12:45 665  
[ ]polynom2__418_22.min1.thm12017-02-06 12:45 918  
[ ]polynom2__419_38.min1.thm12017-02-06 12:45 560  
[ ]polynom2__439_13.min1.thm12017-02-06 12:45 229  
[ ]polynom2__443_17.min1.thm12017-02-06 12:45 241  
[ ]polynom2__447_31.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__448_31.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__449_50.min1.thm12017-02-06 12:45 2.3K 
[ ]polynom2__451_30.min1.thm12017-02-06 12:45 2.5K 
[ ]polynom2__452_25.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__459_29.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__462_23.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__464_23.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__465_27.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__467_27.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__469_31.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__470_31.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__471_44.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__473_25.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__473_25.min1.thm1.tptp2017-02-06 16:47 933  
[ ]polynom2__476_18.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__482_19.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__483_23.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__485_23.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__487_27.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__488_18.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__489_27.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__490_40.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__493_26.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__497_12.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__520_9.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__521_42.min1.thm12017-02-06 12:45 961  
[ ]polynom2__522_42.min1.thm12017-02-06 12:45 961  
[ ]polynom2__523_11.min1.thm12017-02-06 12:45 213  
[ ]polynom2__526_15.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__532_17.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__534_22.min1.thm12017-02-06 12:45 921  
[ ]polynom2__548_21.min1.thm12017-02-06 12:45 922  
[ ]polynom2__552_61.min1.thm12017-02-06 12:45 689  
[ ]polynom2__553_40.min1.thm12017-02-06 12:45 588  
[ ]polynom2__555_14.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__557_18.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__569_15.min1.thm12017-02-06 12:45 241  
[ ]polynom2__573_19.min1.thm12017-02-06 12:45 253  
[ ]polynom2__577_33.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__578_33.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__590_31.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__593_25.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__595_25.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__596_29.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__598_29.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__600_33.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__601_33.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__604_28.min1.thm12017-02-06 12:45 2.8K 
[ ]polynom2__605_27.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__605_27.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]polynom2__608_20.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__614_21.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__615_25.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__617_25.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__619_29.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__620_20.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__621_29.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__629_18.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__631_15.min1.thm12017-02-06 12:45 209  
[ ]polynom2__634_27.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__635_20.min1.thm12017-02-06 12:45 888  
[ ]polynom2__636_20.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__640_21.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__642_24.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__646_9.min1.thm12017-02-06 12:45 932  
[ ]polynom2__649_19.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__676_24.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__684_15.min1.thm12017-02-06 12:45 766  
[ ]polynom2__685_17.min1.thm12017-02-06 12:45 936  
[ ]polynom2__706_16.min1.thm12017-02-06 12:45 559  
[ ]polynom2__706_16.min1.thm1.tptp2017-02-06 16:47 489  
[ ]polynom2__708_30.min1.thm12017-02-06 12:45 787  
[ ]polynom2__714_47.min1.thm12017-02-06 12:45 560  
[ ]polynom2__716_16.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__717_20.min1.thm12017-02-06 12:45 750  
[ ]polynom2__721_23.min1.thm12017-02-06 12:45 883  
[ ]polynom2__727_23.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__730_24.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__731_49.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__740_19.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__741_18.min1.thm12017-02-06 12:45 2.3K 
[ ]polynom2__749_34.min1.thm12017-02-06 12:45 562  
[ ]polynom2__749_34.min1.thm1.tptp2017-02-06 16:47 494  
[ ]polynom2__756_14.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__757_18.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__758_23.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__760_20.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__767_13.min1.thm12017-02-06 12:45 265  
[ ]polynom2__770_21.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__771_29.min1.thm12017-02-06 12:45 907  
[ ]polynom2__782_30.min1.thm12017-02-06 12:45 804  
[ ]polynom2__788_19.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__797_16.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__803_22.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__810_28.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__812_32.min1.thm12017-02-06 12:45 951  
[ ]polynom2__829_20.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__836_13.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__837_17.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__839_29.min1.thm12017-02-06 12:45 505  
[ ]polynom2__839_29.min1.thm1.tptp2017-02-06 16:47 437  
[ ]polynom2__849_20.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__850_13.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__851_17.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__864_16.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__865_20.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__871_24.min1.thm12017-02-06 12:45 748  
[ ]polynom2__877_17.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__898_16.min1.thm12017-02-06 12:45 559  
[ ]polynom2__898_16.min1.thm1.tptp2017-02-06 16:47 489  
[ ]polynom2__900_30.min1.thm12017-02-06 12:45 787  
[ ]polynom2__911_23.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__914_24.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__915_49.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__916_47.min1.thm12017-02-06 12:45 560  
[ ]polynom2__919_16.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__920_20.min1.thm12017-02-06 12:45 750  
[ ]polynom2__930_30.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__931_18.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__932_23.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__933_22.min1.thm12017-02-06 12:45 752  
[ ]polynom2__939_22.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__946_29.min1.thm12017-02-06 12:45 563  
[ ]polynom2__946_29.min1.thm1.tptp2017-02-06 16:47 495  
[ ]polynom2__957_14.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__961_17.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__963_24.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__968_18.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__971_17.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__973_24.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__981_13.min1.thm12017-02-06 12:45 265  
[ ]polynom2__984_23.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__986_15.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__988_17.min1.thm12017-02-06 12:45 237  
[ ]polynom2__991_37.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1000_32.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__1017_17.min1.thm12017-02-06 12:45 257  
[ ]polynom2__1024_28.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__1027_30.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__1029_26.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__1031_21.min1.thm12017-02-06 12:45 255  
[ ]polynom2__1035_25.min1.thm12017-02-06 12:45 235  
[ ]polynom2__1044_32.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1049_28.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1057_38.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__1058_29.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__1059_24.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1060_37.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__1062_41.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__1065_33.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__1079_29.min1.thm12017-02-06 12:45 804  
[ ]polynom2__1086_19.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1088_35.min1.thm12017-02-06 12:45 2.8K 
[ ]polynom2__1092_16.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1093_24.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1108_20.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1109_24.min1.thm12017-02-06 12:45 883  
[ ]polynom2__1115_23.min1.thm12017-02-06 12:45 762  
[ ]polynom2__1122_14.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1127_16.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1136_25.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__1138_21.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1146_19.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__1147_19.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1156_30.min1.thm12017-02-06 12:45 567  
[ ]polynom2__1156_30.min1.thm1.tptp2017-02-06 16:47 499  
[ ]polynom2__1157_18.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1173_16.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1174_21.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1175_26.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__1177_22.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1186_20.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__1195_17.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1223_23.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1224_20.min1.thm12017-02-06 12:45 750  
[ ]polynom2__1235_25.min1.thm12017-02-06 12:45 2.4K 
[ ]polynom2__1237_20.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__1239_13.min1.thm12017-02-06 12:45 235  
[ ]polynom2__1249_17.min1.thm12017-02-06 12:45 267  
[ ]polynom2__1253_19.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__1256_45.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__1266_27.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__1267_57.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__1269_22.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1279_18.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1292_27.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__1299_14.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1300_19.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__1302_14.min1.thm12017-02-06 12:45 557  
[ ]polynom2__1302_14.min1.thm1.tptp2017-02-06 16:47 491  
[ ]polynom2__1312_19.min1.thm12017-02-06 12:45 538  
[ ]polynom2__1312_19.min1.thm1.tptp2017-02-06 16:47 461  
[ ]polynom2__1316_18.min1.thm12017-02-06 12:45 617  
[ ]polynom2__1317_18.min1.thm12017-02-06 12:45 884  
[ ]polynom2__1319_11.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1320_18.min1.thm12017-02-06 12:45 494  
[ ]polynom2__1323_17.min1.thm12017-02-06 12:45 805  
[ ]polynom2__1341_27.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__1345_29.min1.thm12017-02-06 12:45 778  
[ ]polynom2__1347_13.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__1358_25.min1.thm12017-02-06 12:45 704  
[ ]polynom2__1363_24.min1.thm12017-02-06 12:45 926  
[ ]polynom2__1364_18.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1366_19.min1.thm12017-02-06 12:45 928  
[ ]polynom2__1386_32.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__1392_30.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1393_27.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1394_24.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1395_17.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1404_40.min1.thm12017-02-06 12:45 715  
[ ]polynom2__1404_40.min1.thm1.tptp2017-02-06 16:47 645  
[ ]polynom2__1433_18.min1.thm12017-02-06 12:45 563  
[ ]polynom2__1433_18.min1.thm1.tptp2017-02-06 16:47 497  
[ ]polynom2__1447_24.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__1448_55.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__1482_26.min1.thm12017-02-06 12:45 2.2K 
[ ]polynom2__1484_20.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1485_26.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__1486_25.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1487_27.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1489_19.min1.thm12017-02-06 12:45 3.4K 
[ ]polynom2__1490_18.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1500_59.min1.thm12017-02-06 12:45 371  
[ ]polynom2__1500_59.min1.thm1.tptp2017-02-06 16:47 291  
[ ]polynom2__1502_24.min1.thm12017-02-06 12:45 2.3K 
[ ]polynom2__1513_50.min1.thm12017-02-06 12:45 592  
[ ]polynom2__1521_33.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__1522_34.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__1523_14.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__1533_49.min1.thm12017-02-06 12:45 757  
[ ]polynom2__1533_49.min1.thm1.tptp2017-02-06 16:47 687  
[ ]polynom2__1538_21.min1.thm12017-02-06 12:45 393  
[ ]polynom2__1538_21.min1.thm1.tptp2017-02-06 16:47 328  
[ ]polynom2__1540_32.min1.thm12017-02-06 12:45 864  
[ ]polynom2__1541_16.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1543_45.min1.thm12017-02-06 12:45 640  
[ ]polynom2__1544_35.min1.thm12017-02-06 12:45 813  
[ ]polynom2__1548_18.min1.thm12017-02-06 12:45 480  
[ ]polynom2__1548_18.min1.thm1.tptp2017-02-06 16:47 415  
[ ]polynom2__1554_16.min1.thm12017-02-06 12:45 698  
[ ]polynom2__1559_13.min1.thm12017-02-06 12:45 755  
[ ]polynom2__1560_14.min1.thm12017-02-06 12:45 558  
[ ]polynom2__1560_14.min1.thm1.tptp2017-02-06 16:47 492  
[ ]polynom2__1565_13.min1.thm12017-02-06 12:45 757  
[ ]polynom2__1578_14.min1.thm12017-02-06 12:45 403  
[ ]polynom2__1586_65.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__1587_21.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1591_21.min1.thm12017-02-06 12:45 736  
[ ]polynom2__1592_17.min1.thm12017-02-06 12:45 760  
[ ]polynom2__1601_55.min1.thm12017-02-06 12:45 496  
[ ]polynom2__1601_55.min1.thm1.tptp2017-02-06 16:47 436  
[ ]polynom2__1606_44.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__1607_38.min1.thm12017-02-06 12:45 2.3K 
[ ]polynom2__1625_13.min1.thm12017-02-06 12:45 270  
[ ]polynom2__1627_22.min1.thm12017-02-06 12:45 581  
[ ]polynom2__1630_16.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__1634_41.min1.thm12017-02-06 12:45 745  
[ ]polynom2__1640_33.min1.thm12017-02-06 12:45 879  
[ ]polynom2__1645_24.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__1646_49.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__1648_44.min1.thm12017-02-06 12:45 746  
[ ]polynom2__1649_11.min1.thm12017-02-06 12:45 189  
[ ]polynom2__1652_20.min1.thm12017-02-06 12:45 718  
[ ]polynom2__1653_15.min1.thm12017-02-06 12:45 276  
[ ]polynom2__1654_27.min1.thm12017-02-06 12:45 662  
[ ]polynom2__1656_17.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1657_28.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__1658_27.min1.thm12017-02-06 12:45 468  
[ ]polynom2__1663_47.min1.thm12017-02-06 12:45 389  
[ ]polynom2__1664_42.min1.thm12017-02-06 12:45 657  
[ ]polynom2__1664_42.min1.thm1.tptp2017-02-06 16:47 571  
[ ]polynom2__1665_34.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__1666_44.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__1667_33.min1.thm12017-02-06 12:45 336  
[ ]polynom2__1667_33.min1.thm1.tptp2017-02-06 16:47 250  
[ ]polynom2__1680_28.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__1681_19.min1.thm12017-02-06 12:45 2.2K 
[ ]polynom2__1691_26.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__1695_21.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1696_27.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__1699_23.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__1701_32.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__1703_17.min1.thm12017-02-06 12:45 219  
[ ]polynom2__1706_25.min1.thm12017-02-06 12:45 811  
[ ]polynom2__1712_33.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1713_32.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1723_23.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1727_45.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1731_24.min1.thm12017-02-06 12:45 678  
[ ]polynom2__1737_28.min1.thm12017-02-06 12:45 845  
[ ]polynom2__1738_44.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__1740_44.min1.thm12017-02-06 12:45 2.7K 
[ ]polynom2__1743_44.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__1744_29.min1.thm12017-02-06 12:45 731  
[ ]polynom2__1749_39.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__1751_29.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1753_33.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__1758_33.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1759_36.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1764_27.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__1765_37.min1.thm12017-02-06 12:45 878  
[ ]polynom2__1768_28.min1.thm12017-02-06 12:45 846  
[ ]polynom2__1783_32.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__1784_31.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1787_27.min1.thm12017-02-06 12:45 696  
[ ]polynom2__1794_33.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__1795_33.min1.thm12017-02-06 12:45 936  
[ ]polynom2__1796_32.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1801_29.min1.thm12017-02-06 12:45 2.3K 
[ ]polynom2__1802_36.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1807_56.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__1809_29.min1.thm12017-02-06 12:45 731  
[ ]polynom2__1810_37.min1.thm12017-02-06 12:45 2.4K 
[ ]polynom2__1811_22.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1813_29.min1.thm12017-02-06 12:45 2.7K 
[ ]polynom2__1816_30.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1818_34.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__1821_27.min1.thm12017-02-06 12:45 696  
[ ]polynom2__1826_34.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1827_36.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1835_40.min1.thm12017-02-06 12:45 2.1K 
[ ]polynom2__1845_32.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1848_27.min1.thm12017-02-06 12:45 696  
[ ]polynom2__1856_34.min1.thm12017-02-06 12:45 972  
[ ]polynom2__1857_33.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1863_36.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__1867_22.min1.thm12017-02-06 12:45 845  
[ ]polynom2__1870_18.min1.thm12017-02-06 12:45 806  
[ ]polynom2__1878_27.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__1895_20.min1.thm12017-02-06 12:45 286  
[ ]polynom2__1903_27.min1.thm12017-02-06 12:45 472  
[ ]polynom2__1905_21.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__1906_14.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__1910_17.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__1911_43.min1.thm12017-02-06 12:45 745  
[ ]polynom2__1922_11.min1.thm12017-02-06 12:45 277  
[ ]polynom2__1933_17.min1.thm12017-02-06 12:45 217  
[ ]polynom2__1936_26.min1.thm12017-02-06 12:45 371  
[ ]polynom2__1936_26.min1.thm1.tptp2017-02-06 16:47 306  
[ ]polynom2__1937_25.min1.thm12017-02-06 12:45 709  
[ ]polynom2__1941_34.min1.thm12017-02-06 12:45 543  
[ ]polynom2__1941_34.min1.thm1.tptp2017-02-06 16:47 466  
[ ]polynom2__1942_32.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__1946_18.min1.thm12017-02-06 12:45 625  
[ ]polynom2__1954_20.min1.thm12017-02-06 12:45 781  
[ ]polynom2__1957_25.min1.thm12017-02-06 12:45 520  
[ ]polynom2__1961_22.min1.thm12017-02-06 12:45 336  
[ ]polynom2__1964_18.min1.thm12017-02-06 12:45 546  
[ ]polynom2__1968_35.min1.thm12017-02-06 12:45 775  
[ ]polynom2__1973_37.min1.thm12017-02-06 12:45 469  
[ ]polynom2__1974_14.min1.thm12017-02-06 12:45 920  
[ ]polynom2__1975_28.min1.thm12017-02-06 12:45 922  
[ ]polynom2__1982_33.min1.thm12017-02-06 12:45 869  
[ ]polynom2__1992_23.min1.thm12017-02-06 12:45 925  
[ ]polynom2__1993_47.min1.thm12017-02-06 12:45 588  
[ ]polynom2__1994_17.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__1995_15.min1.thm12017-02-06 12:45 389  
[ ]polynom2__2000_20.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__2002_22.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__2008_61.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__2013_22.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__2019_24.min1.thm12017-02-06 12:45 950  
[ ]polynom2__2025_16.min1.thm12017-02-06 12:45 837  
[ ]polynom2__2034_22.min1.thm12017-02-06 12:45 950  
[ ]polynom2__2035_25.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__2053_51.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__2056_28.min1.thm12017-02-06 12:45 922  
[ ]polynom2__2057_22.min1.thm12017-02-06 12:45 398  
[ ]polynom2__2057_22.min1.thm1.tptp2017-02-06 16:47 333  
[ ]polynom2__2059_19.min1.thm12017-02-06 12:45 943  
[ ]polynom2__2060_18.min1.thm12017-02-06 12:45 562  
[ ]polynom2__2060_18.min1.thm1.tptp2017-02-06 16:47 496  
[ ]polynom2__2061_24.min1.thm12017-02-06 12:45 2.2K 
[ ]polynom2__2062_47.min1.thm12017-02-06 12:45 655  
[ ]polynom2__2073_28.min1.thm12017-02-06 12:45 921  
[ ]polynom2__2074_22.min1.thm12017-02-06 12:45 397  
[ ]polynom2__2074_22.min1.thm1.tptp2017-02-06 16:47 332  
[ ]polynom2__2076_19.min1.thm12017-02-06 12:45 940  
[ ]polynom2__2077_33.min1.thm12017-02-06 12:45 868  
[ ]polynom2__2078_17.min1.thm12017-02-06 12:45 561  
[ ]polynom2__2078_17.min1.thm1.tptp2017-02-06 16:47 495  
[ ]polynom2__2079_24.min1.thm12017-02-06 12:45 2.2K 
[ ]polynom2__2080_47.min1.thm12017-02-06 12:45 652  
[ ]polynom2__2084_20.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__2101_53.min1.thm12017-02-06 12:45 862  
[ ]polynom2__2112_43.min1.thm12017-02-06 12:45 763  
[ ]polynom2__2123_27.min1.thm12017-02-06 12:45 938  
[ ]polynom2__2131_18.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__2132_15.min1.thm12017-02-06 12:45 681  
[ ]polynom2__2135_25.min1.thm12017-02-06 12:45 831  
[ ]polynom2__2135_25.min1.thm1.tptp2017-02-06 16:47 766  
[ ]polynom2__2136_23.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__2140_29.min1.thm12017-02-06 12:45 837  
[ ]polynom2__2140_29.min1.thm1.tptp2017-02-06 16:47 769  
[ ]polynom2__2144_23.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__2147_17.min1.thm12017-02-06 12:45 745  
[ ]polynom2__2148_30.min1.thm12017-02-06 12:45 2.1K 
[ ]polynom2__2151_18.min1.thm12017-02-06 12:45 3.2K 
[ ]polynom2__2159_18.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__2163_29.min1.thm12017-02-06 12:45 837  
[ ]polynom2__2163_29.min1.thm1.tptp2017-02-06 16:47 769  
[ ]polynom2__2179_18.min1.thm12017-02-06 12:45 576  
[ ]polynom2__2179_18.min1.thm1.tptp2017-02-06 16:47 510  
[ ]polynom2__2180_26.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__2191_29.min1.thm12017-02-06 12:45 833  
[ ]polynom2__2191_29.min1.thm1.tptp2017-02-06 16:47 765  
[ ]polynom2__2196_21.min1.thm12017-02-06 12:45 823  
[ ]polynom2__2196_21.min1.thm1.tptp2017-02-06 16:47 758  
[ ]polynom2__2198_18.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__2202_19.min1.thm12017-02-06 12:45 746  
[ ]polynom2__2203_36.min1.thm12017-02-06 12:45 2.6K 
[ ]polynom2__2208_20.min1.thm12017-02-06 12:45 823  
[ ]polynom2__2208_20.min1.thm1.tptp2017-02-06 16:47 758  
[ ]polynom2__2217_15.min1.thm12017-02-06 12:45 681  
[ ]polynom2__2220_21.min1.thm12017-02-06 12:45 750  
[ ]polynom2__2221_38.min1.thm12017-02-06 12:45 2.6K 
[ ]polynom2__2225_20.min1.thm12017-02-06 12:45 831  
[ ]polynom2__2225_20.min1.thm1.tptp2017-02-06 16:47 766  
[ ]polynom2__2226_33.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__2230_25.min1.thm12017-02-06 12:45 5.1K 
[ ]polynom2__2232_23.min1.thm12017-02-06 12:45 2.6K 
[ ]polynom2__2232_23.min1.thm1.tptp2017-02-06 16:47 2.5K 
[ ]polynom2__2237_24.min1.thm12017-02-06 12:45 837  
[ ]polynom2__2237_24.min1.thm1.tptp2017-02-06 16:47 769  
[ ]polynom2__2243_18.min1.thm12017-02-06 12:45 2.8K 
[ ]polynom2__2246_20.min1.thm12017-02-06 12:45 2.1K 
[ ]polynom2__2263_24.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__2265_23.min1.thm12017-02-06 12:45 938  
[ ]polynom2__2268_35.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__2271_17.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__2301_37.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__2306_19.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__2315_14.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__2328_19.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__2330_32.min1.thm12017-02-06 12:45 920  
[ ]polynom2__2335_33.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__2336_23.min1.thm12017-02-06 12:45 739  
[ ]polynom2__2342_19.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__2345_24.min1.thm12017-02-06 12:45 451  
[ ]polynom2__2345_24.min1.thm1.tptp2017-02-06 16:47 387  
[ ]polynom2__2346_52.min1.thm12017-02-06 12:45 562  
[ ]polynom2__2346_52.min1.thm1.tptp2017-02-06 16:47 494  
[ ]polynom2__2348_30.min1.thm12017-02-06 12:45 844  
[ ]polynom2__2349_26.min1.thm12017-02-06 12:45 766  
[ ]polynom2__2351_18.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__2352_25.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__2354_35.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__2358_17.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__2365_13.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__2396_24.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__2398_31.min1.thm12017-02-06 12:45 2.4K 
[ ]polynom2__2432_25.min1.thm12017-02-06 12:45 2.3K 
[ ]polynom2__2434_20.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__2435_25.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__2436_25.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__2437_27.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__2441_18.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__2456_54.min1.thm12017-02-06 12:45 2.1K 
[ ]polynom2__2458_18.min1.thm12017-02-06 12:45 714  
[ ]polynom2__2459_21.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__2460_36.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__2465_18.min1.thm12017-02-06 12:45 509  
[ ]polynom2__2465_18.min1.thm1.tptp2017-02-06 16:47 444  
[ ]polynom2__2481_14.min1.thm12017-02-06 12:45 403  
[ ]polynom2__2489_65.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__2490_21.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__2494_21.min1.thm12017-02-06 12:45 824  
[ ]polynom2__2495_17.min1.thm12017-02-06 12:45 848  
[ ]polynom2__2498_55.min1.thm12017-02-06 12:45 525  
[ ]polynom2__2498_55.min1.thm1.tptp2017-02-06 16:47 465  
[ ]polynom2__2504_18.min1.thm12017-02-06 12:45 758  
[ ]polynom2__2510_16.min1.thm12017-02-06 12:45 600  
[ ]polynom2__2521_40.min1.thm12017-02-06 12:45 2.2K 
[ ]polynom2__2554_33.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__2555_17.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__2573_21.min1.thm12017-02-06 12:45 371  
[ ]polynom2__2573_21.min1.thm1.tptp2017-02-06 16:47 306  
[ ]polynom2__2574_40.min1.thm12017-02-06 12:45 600  
[ ]polynom2__2576_20.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__2590_19.min1.thm12017-02-06 12:45 445  
[ ]polynom2__2597_29.min1.thm12017-02-06 12:45 537  
[ ]polynom2__2597_29.min1.thm1.tptp2017-02-06 16:47 472  
[ ]polynom2__2603_28.min1.thm12017-02-06 12:45 848  
[ ]polynom2__2615_14.min1.thm12017-02-06 12:45 403  
[ ]polynom2__2623_65.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__2624_21.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__2628_32.min1.thm12017-02-06 12:45 852  
[ ]polynom2__2629_19.min1.thm12017-02-06 12:45 876  
[ ]polynom2__2636_29.min1.thm12017-02-06 12:45 547  
[ ]polynom2__2636_29.min1.thm1.tptp2017-02-06 16:47 482  
[ ]polynom2__2642_13.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__2648_57.min1.thm12017-02-06 12:45 525  
[ ]polynom2__2648_57.min1.thm1.tptp2017-02-06 16:47 465  
[ ]polynom2__2653_47.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__2676_28.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__2705_28.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__2708_22.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__2717_15.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__2732_52.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__2735_23.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__2746_27.min1.thm12017-02-06 12:45 2.6K 
[ ]polynom2__2750_18.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__2752_19.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__2753_26.min1.thm12017-02-06 12:45 767  
[ ]polynom2__2763_29.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__2768_19.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__2772_28.min1.thm12017-02-06 12:45 576  
[ ]polynom2__2792_43.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__2793_13.min1.thm12017-02-06 12:45 270  
[ ]polynom2__2794_24.min1.thm12017-02-06 12:45 764  
[ ]polynom2__2800_38.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__2805_24.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__2806_49.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__2820_35.min1.thm12017-02-06 12:45 424  
[ ]polynom2__2820_35.min1.thm1.tptp2017-02-06 16:47 341  
[ ]polynom2__2827_44.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__2834_23.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__2836_19.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__2837_25.min1.thm12017-02-06 12:45 2.2K 
[ ]polynom2__2840_13.min1.thm12017-02-06 12:45 203  
[ ]polynom2__2843_23.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__2844_27.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__2855_18.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__2863_20.min1.thm12017-02-06 12:45 641  
[ ]polynom2__2867_29.min1.thm12017-02-06 12:45 2.3K 
[ ]polynom2__2870_39.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__2872_29.min1.thm12017-02-06 12:45 809  
[ ]polynom2__2873_39.min1.thm12017-02-06 12:45 2.6K 
[ ]polynom2__2888_23.min1.thm12017-02-06 12:45 2.1K 
[ ]polynom2__2893_27.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__2895_24.min1.thm12017-02-06 12:45 810  
[ ]polynom2__2901_31.min1.thm12017-02-06 12:45 2.4K 
[ ]polynom2__2924_30.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__2929_28.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__2934_27.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__2936_27.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__2956_35.min1.thm12017-02-06 12:45 2.8K 
[ ]polynom2__2974_30.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__2978_18.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__3003_19.min1.thm12017-02-06 12:45 620  
[ ]polynom2__3004_19.min1.thm12017-02-06 12:45 453  
[ ]polynom2__3004_19.min1.thm1.tptp2017-02-06 16:47 388  
[ ]polynom2__3011_30.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__3014_26.min1.thm12017-02-06 12:45 532  
[ ]polynom2__3020_29.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__3032_44.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__3034_13.min1.thm12017-02-06 12:45 339  
[ ]polynom2__3038_17.min1.thm12017-02-06 12:45 507  
[ ]polynom2__3048_21.min1.thm12017-02-06 12:45 239  
[ ]polynom2__3051_30.min1.thm12017-02-06 12:45 399  
[ ]polynom2__3051_30.min1.thm1.tptp2017-02-06 16:47 334  
[ ]polynom2__3052_29.min1.thm12017-02-06 12:45 816  
[ ]polynom2__3056_35.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__3059_39.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__3061_29.min1.thm12017-02-06 12:45 925  
[ ]polynom2__3073_24.min1.thm12017-02-06 12:45 879  
[ ]polynom2__3076_34.min1.thm12017-02-06 12:45 744  
[ ]polynom2__3081_29.min1.thm12017-02-06 12:45 610  
[ ]polynom2__3116_21.min1.thm12017-02-06 12:45 239  
[ ]polynom2__3123_35.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__3126_39.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__3139_29.min1.thm12017-02-06 12:45 903  
[ ]polynom2__3143_26.min1.thm12017-02-06 12:45 534  
[ ]polynom2__3143_26.min1.thm1.tptp2017-02-06 16:47 448  
[ ]polynom2__3157_43.min1.thm12017-02-06 12:45 501  
[ ]polynom2__3158_52.min1.thm12017-02-06 12:45 798  
[ ]polynom2__3159_19.min1.thm12017-02-06 12:45 1.2K 
[ ]polynom2__3161_34.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__3167_21.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__3168_27.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__3169_31.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__3176_27.min1.thm12017-02-06 12:45 930  
[ ]polynom2__3180_21.min1.thm12017-02-06 12:45 421  
[ ]polynom2__3190_22.min1.thm12017-02-06 12:45 915  
[ ]polynom2__3191_33.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__3218_27.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__3219_69.min1.thm12017-02-06 12:45 2.5K 
[ ]polynom2__3222_26.min1.thm12017-02-06 12:45 2.6K 
[ ]polynom2__3228_24.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__3230_63.min1.thm12017-02-06 12:45 2.5K 
[ ]polynom2__3234_41.min1.thm12017-02-06 12:45 2.5K 
[ ]polynom2__3255_23.min1.thm12017-02-06 12:45 558  
[ ]polynom2__3262_26.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__3267_18.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__3287_52.min1.thm12017-02-06 12:45 1.5K 
[ ]polynom2__3298_43.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__3313_21.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__3316_56.min1.thm12017-02-06 12:45 2.9K 
[ ]polynom2__3317_41.min1.thm12017-02-06 12:45 642  
[ ]polynom2__3324_30.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__3328_25.min1.thm12017-02-06 12:45 359  
[ ]polynom2__3328_25.min1.thm1.tptp2017-02-06 16:47 294  
[ ]polynom2__3329_35.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__3331_26.min1.thm12017-02-06 12:45 807  
[ ]polynom2__3334_27.min1.thm12017-02-06 12:45 361  
[ ]polynom2__3334_27.min1.thm1.tptp2017-02-06 16:47 293  
[ ]polynom2__3340_35.min1.thm12017-02-06 12:45 621  
[ ]polynom2__3340_35.min1.thm1.tptp2017-02-06 16:47 557  
[ ]polynom2__3341_46.min1.thm12017-02-06 12:45 2.3K 
[ ]polynom2__3342_22.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__3350_15.min1.thm12017-02-06 12:45 213  
[ ]polynom2__3353_25.min1.thm12017-02-06 12:45 363  
[ ]polynom2__3353_25.min1.thm1.tptp2017-02-06 16:47 298  
[ ]polynom2__3354_23.min1.thm12017-02-06 12:45 692  
[ ]polynom2__3358_29.min1.thm12017-02-06 12:45 369  
[ ]polynom2__3358_29.min1.thm1.tptp2017-02-06 16:47 301  
[ ]polynom2__3361_31.min1.thm12017-02-06 12:45 4.2K 
[ ]polynom2__3362_23.min1.thm12017-02-06 12:45 741  
[ ]polynom2__3365_17.min1.thm12017-02-06 12:45 277  
[ ]polynom2__3366_32.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__3369_19.min1.thm12017-02-06 12:45 799  
[ ]polynom2__3377_18.min1.thm12017-02-06 12:45 717  
[ ]polynom2__3382_29.min1.thm12017-02-06 12:45 377  
[ ]polynom2__3382_29.min1.thm1.tptp2017-02-06 16:47 309  
[ ]polynom2__3387_23.min1.thm12017-02-06 12:45 4.3K 
[ ]polynom2__3391_23.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__3401_40.min1.thm12017-02-06 12:45 649  
[ ]polynom2__3411_29.min1.thm12017-02-06 12:45 365  
[ ]polynom2__3411_29.min1.thm1.tptp2017-02-06 16:47 297  
[ ]polynom2__3416_21.min1.thm12017-02-06 12:45 435  
[ ]polynom2__3421_19.min1.thm12017-02-06 12:45 278  
[ ]polynom2__3422_35.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__3425_20.min1.thm12017-02-06 12:45 905  
[ ]polynom2__3427_20.min1.thm12017-02-06 12:45 355  
[ ]polynom2__3427_20.min1.thm1.tptp2017-02-06 16:47 290  
[ ]polynom2__3432_45.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__3433_37.min1.thm12017-02-06 12:45 809  
[ ]polynom2__3438_35.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__3439_15.min1.thm12017-02-06 12:45 213  
[ ]polynom2__3442_21.min1.thm12017-02-06 12:45 282  
[ ]polynom2__3443_37.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__3446_22.min1.thm12017-02-06 12:45 913  
[ ]polynom2__3447_20.min1.thm12017-02-06 12:45 363  
[ ]polynom2__3447_20.min1.thm1.tptp2017-02-06 16:47 298  
[ ]polynom2__3448_35.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__3452_26.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__3459_24.min1.thm12017-02-06 12:45 369  
[ ]polynom2__3459_24.min1.thm1.tptp2017-02-06 16:47 301  
[ ]polynom2__3465_20.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__3486_23.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__3488_19.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__3494_17.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__3542_25.min1.thm12017-02-06 12:45 532  
[ ]polynom2__3543_29.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__3551_26.min1.thm12017-02-06 12:45 532  
[ ]polynom2__3552_29.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__3571_25.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__3572_24.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__3586_29.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__3588_29.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__3589_34.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__3590_36.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__3592_22.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__3593_15.min1.thm12017-02-06 12:45 285  
[ ]polynom2__3596_27.min1.thm12017-02-06 12:45 599  
[ ]polynom2__3598_21.min1.thm12017-02-06 12:45 695  
[ ]polynom2__3599_27.min1.thm12017-02-06 12:45 2.8K 
[ ]polynom2__3604_27.min1.thm12017-02-06 12:45 894  
[ ]polynom2__3609_27.min1.thm12017-02-06 12:45 893  
[ ]polynom2__3613_75.min1.thm12017-02-06 12:45 525  
[ ]polynom2__3615_15.min1.thm12017-02-06 12:45 674  
[ ]polynom2__3621_26.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__3625_28.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__3626_24.min1.thm12017-02-06 12:45 591  
[ ]polynom2__3627_13.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__3636_29.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__3637_13.min1.thm12017-02-06 12:45 275  
[ ]polynom2__3646_25.min1.thm12017-02-06 12:45 872  
[ ]polynom2__3651_25.min1.thm12017-02-06 12:45 871  
[ ]polynom2__3655_23.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__3656_13.min1.thm12017-02-06 12:45 594  
[ ]polynom2__3659_11.min1.thm12017-02-06 12:45 555  
[ ]polynom2__3681_73.min1.thm12017-02-06 12:45 714  
[ ]polynom2__3681_73.min1.thm1.tptp2017-02-06 16:47 654  
[ ]polynom2__3714_43.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__3729_21.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__3732_56.min1.thm12017-02-06 12:45 3.0K 
[ ]polynom2__3733_41.min1.thm12017-02-06 12:45 642  
[ ]polynom2__3740_30.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__3744_25.min1.thm12017-02-06 12:45 359  
[ ]polynom2__3744_25.min1.thm1.tptp2017-02-06 16:47 294  
[ ]polynom2__3745_35.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__3747_26.min1.thm12017-02-06 12:45 807  
[ ]polynom2__3750_27.min1.thm12017-02-06 12:45 361  
[ ]polynom2__3750_27.min1.thm1.tptp2017-02-06 16:47 293  
[ ]polynom2__3757_46.min1.thm12017-02-06 12:45 2.4K 
[ ]polynom2__3758_22.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__3766_15.min1.thm12017-02-06 12:45 213  
[ ]polynom2__3769_25.min1.thm12017-02-06 12:45 363  
[ ]polynom2__3769_25.min1.thm1.tptp2017-02-06 16:47 298  
[ ]polynom2__3770_23.min1.thm12017-02-06 12:45 692  
[ ]polynom2__3774_29.min1.thm12017-02-06 12:45 369  
[ ]polynom2__3774_29.min1.thm1.tptp2017-02-06 16:47 301  
[ ]polynom2__3777_31.min1.thm12017-02-06 12:45 4.2K 
[ ]polynom2__3778_23.min1.thm12017-02-06 12:45 741  
[ ]polynom2__3781_17.min1.thm12017-02-06 12:45 277  
[ ]polynom2__3782_32.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__3785_19.min1.thm12017-02-06 12:45 799  
[ ]polynom2__3793_18.min1.thm12017-02-06 12:45 717  
[ ]polynom2__3798_29.min1.thm12017-02-06 12:45 377  
[ ]polynom2__3798_29.min1.thm1.tptp2017-02-06 16:47 309  
[ ]polynom2__3803_23.min1.thm12017-02-06 12:45 4.3K 
[ ]polynom2__3807_23.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__3817_40.min1.thm12017-02-06 12:45 649  
[ ]polynom2__3827_29.min1.thm12017-02-06 12:45 365  
[ ]polynom2__3827_29.min1.thm1.tptp2017-02-06 16:47 297  
[ ]polynom2__3832_21.min1.thm12017-02-06 12:45 435  
[ ]polynom2__3837_19.min1.thm12017-02-06 12:45 278  
[ ]polynom2__3838_35.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__3841_20.min1.thm12017-02-06 12:45 905  
[ ]polynom2__3843_20.min1.thm12017-02-06 12:45 355  
[ ]polynom2__3843_20.min1.thm1.tptp2017-02-06 16:47 290  
[ ]polynom2__3848_45.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__3849_37.min1.thm12017-02-06 12:45 809  
[ ]polynom2__3854_35.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__3855_15.min1.thm12017-02-06 12:45 213  
[ ]polynom2__3858_21.min1.thm12017-02-06 12:45 282  
[ ]polynom2__3859_37.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__3862_22.min1.thm12017-02-06 12:45 913  
[ ]polynom2__3863_20.min1.thm12017-02-06 12:45 363  
[ ]polynom2__3863_20.min1.thm1.tptp2017-02-06 16:47 298  
[ ]polynom2__3864_35.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__3868_26.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__3875_24.min1.thm12017-02-06 12:45 369  
[ ]polynom2__3875_24.min1.thm1.tptp2017-02-06 16:47 301  
[ ]polynom2__3881_20.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__3900_53.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__3905_22.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__3907_19.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__3914_17.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__3928_52.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__3939_43.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__3954_21.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__3957_56.min1.thm12017-02-06 12:45 3.0K 
[ ]polynom2__3958_41.min1.thm12017-02-06 12:45 642  
[ ]polynom2__3965_30.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__3969_25.min1.thm12017-02-06 12:45 359  
[ ]polynom2__3969_25.min1.thm1.tptp2017-02-06 16:47 294  
[ ]polynom2__3970_35.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__3972_26.min1.thm12017-02-06 12:45 807  
[ ]polynom2__3975_27.min1.thm12017-02-06 12:45 361  
[ ]polynom2__3975_27.min1.thm1.tptp2017-02-06 16:47 293  
[ ]polynom2__3982_46.min1.thm12017-02-06 12:45 2.4K 
[ ]polynom2__3983_22.min1.thm12017-02-06 12:45 2.0K 
[ ]polynom2__3991_15.min1.thm12017-02-06 12:45 213  
[ ]polynom2__3994_25.min1.thm12017-02-06 12:45 363  
[ ]polynom2__3994_25.min1.thm1.tptp2017-02-06 16:47 298  
[ ]polynom2__3995_23.min1.thm12017-02-06 12:45 692  
[ ]polynom2__3999_29.min1.thm12017-02-06 12:45 369  
[ ]polynom2__3999_29.min1.thm1.tptp2017-02-06 16:47 301  
[ ]polynom2__4002_31.min1.thm12017-02-06 12:45 4.2K 
[ ]polynom2__4003_23.min1.thm12017-02-06 12:45 741  
[ ]polynom2__4006_17.min1.thm12017-02-06 12:45 277  
[ ]polynom2__4007_32.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__4010_19.min1.thm12017-02-06 12:45 799  
[ ]polynom2__4018_18.min1.thm12017-02-06 12:45 717  
[ ]polynom2__4023_29.min1.thm12017-02-06 12:45 377  
[ ]polynom2__4023_29.min1.thm1.tptp2017-02-06 16:47 309  
[ ]polynom2__4028_23.min1.thm12017-02-06 12:45 4.3K 
[ ]polynom2__4032_23.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__4042_40.min1.thm12017-02-06 12:45 649  
[ ]polynom2__4052_29.min1.thm12017-02-06 12:45 365  
[ ]polynom2__4052_29.min1.thm1.tptp2017-02-06 16:47 297  
[ ]polynom2__4057_21.min1.thm12017-02-06 12:45 435  
[ ]polynom2__4062_19.min1.thm12017-02-06 12:45 278  
[ ]polynom2__4063_35.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__4066_20.min1.thm12017-02-06 12:45 905  
[ ]polynom2__4068_20.min1.thm12017-02-06 12:45 355  
[ ]polynom2__4068_20.min1.thm1.tptp2017-02-06 16:47 290  
[ ]polynom2__4073_45.min1.thm12017-02-06 12:45 1.8K 
[ ]polynom2__4074_37.min1.thm12017-02-06 12:45 809  
[ ]polynom2__4079_35.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__4080_15.min1.thm12017-02-06 12:45 213  
[ ]polynom2__4083_21.min1.thm12017-02-06 12:45 282  
[ ]polynom2__4084_37.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__4087_22.min1.thm12017-02-06 12:45 913  
[ ]polynom2__4088_20.min1.thm12017-02-06 12:45 363  
[ ]polynom2__4088_20.min1.thm1.tptp2017-02-06 16:47 298  
[ ]polynom2__4089_35.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__4093_26.min1.thm12017-02-06 12:45 1.3K 
[ ]polynom2__4100_24.min1.thm12017-02-06 12:45 369  
[ ]polynom2__4100_24.min1.thm1.tptp2017-02-06 16:47 301  
[ ]polynom2__4106_20.min1.thm12017-02-06 12:45 1.7K 
[ ]polynom2__4129_23.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__4131_19.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__4138_17.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__4161_19.min1.thm12017-02-06 12:45 2.8K 
[ ]polynom2__4168_51.min1.thm12017-02-06 12:45 773  
[ ]polynom2__4172_70.min1.thm12017-02-06 12:45 1.9K 
[ ]polynom2__4173_16.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__4181_16.min1.thm12017-02-06 12:45 1.4K 
[ ]polynom2__4181_16.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]polynom2__4186_26.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__4187_18.min1.thm12017-02-06 12:45 1.1K 
[ ]polynom2__4188_21.min1.thm12017-02-06 12:45 470  
[ ]polynom2__4188_21.min1.thm1.tptp2017-02-06 16:47 388  
[ ]polynom2__4190_47.min1.thm12017-02-06 12:45 2.7K 
[ ]polynom2__4191_47.min1.thm12017-02-06 12:45 2.7K 
[ ]polynom2__4201_11.min1.thm12017-02-06 12:45 1.0K 
[ ]polynom2__4214_15.min1.thm12017-02-06 12:45 1.6K 
[ ]polynom2__4230_52.min1.thm12017-02-06 12:45 591  
[ ]polynom2__4230_52.min1.thm1.tptp2017-02-06 16:47 503  
[ ]polynom2__4253_52.min1.thm12017-02-06 12:45 591  
[ ]polynom2__4253_52.min1.thm1.tptp2017-02-06 16:47 503  
[ ]polynom2__4271_78.min1.thm12017-02-06 12:45 3.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80