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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]asympt_1__56_55.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__57_28.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__58_40.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__61_37.min1.thm12017-02-06 12:45 925  
[ ]asympt_1__63_47.min1.thm12017-02-06 12:45 3.2K 
[ ]asympt_1__66_23.min1.thm12017-02-06 12:45 874  
[ ]asympt_1__67_8.min1.thm12017-02-06 12:45 705  
[ ]asympt_1__69_8.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__71_14.min1.thm12017-02-06 12:45 367  
[ ]asympt_1__88_19.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__94_18.min1.thm12017-02-06 12:45 666  
[ ]asympt_1__94_18.min1.thm1.tptp2017-02-06 16:48 616  
[ ]asympt_1__98_48.min1.thm12017-02-06 12:45 776  
[ ]asympt_1__107_56.min1.thm12017-02-06 12:45 559  
[ ]asympt_1__107_56.min1.thm1.tptp2017-02-06 16:48 471  
[ ]asympt_1__119_32.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__121_21.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__122_23.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__126_9.min1.thm12017-02-06 12:45 705  
[ ]asympt_1__126_28.min1.thm12017-02-06 12:45 874  
[ ]asympt_1__128_29.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__129_13.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__130_8.min1.thm12017-02-06 12:45 930  
[ ]asympt_1__140_15.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__142_29.min1.thm12017-02-06 12:45 495  
[ ]asympt_1__143_18.min1.thm12017-02-06 12:45 3.2K 
[ ]asympt_1__145_44.min1.thm12017-02-06 12:45 2.8K 
[ ]asympt_1__148_23.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__149_22.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__150_31.min1.thm12017-02-06 12:45 4.1K 
[ ]asympt_1__162_15.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__163_24.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__166_19.min1.thm12017-02-06 12:45 3.4K 
[ ]asympt_1__174_17.min1.thm12017-02-06 12:45 385  
[ ]asympt_1__179_21.min1.thm12017-02-06 12:45 892  
[ ]asympt_1__180_11.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__182_9.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__184_16.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__186_54.min1.thm12017-02-06 12:45 561  
[ ]asympt_1__186_54.min1.thm1.tptp2017-02-06 16:48 473  
[ ]asympt_1__191_20.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__197_24.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__198_12.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__201_27.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__211_56.min1.thm12017-02-06 12:45 561  
[ ]asympt_1__211_56.min1.thm1.tptp2017-02-06 16:48 473  
[ ]asympt_1__221_20.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__227_19.min1.thm12017-02-06 12:45 567  
[ ]asympt_1__227_19.min1.thm1.tptp2017-02-06 16:48 505  
[ ]asympt_1__238_20.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__244_24.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__245_12.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__248_27.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__256_56.min1.thm12017-02-06 12:45 561  
[ ]asympt_1__256_56.min1.thm1.tptp2017-02-06 16:48 473  
[ ]asympt_1__265_17.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__268_27.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__270_20.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__271_23.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__286_19.min1.thm12017-02-06 12:45 576  
[ ]asympt_1__287_18.min1.thm12017-02-06 12:45 576  
[ ]asympt_1__295_17.min1.thm12017-02-06 12:45 566  
[ ]asympt_1__297_15.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__303_21.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__309_20.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__310_18.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__321_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__324_23.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__340_19.min1.thm12017-02-06 12:45 873  
[ ]asympt_1__351_17.min1.thm12017-02-06 12:45 587  
[ ]asympt_1__352_12.min1.thm12017-02-06 12:45 465  
[ ]asympt_1__354_12.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__355_40.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__356_13.min1.thm12017-02-06 12:45 447  
[ ]asympt_1__358_27.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__362_16.min1.thm12017-02-06 12:45 2.7K 
[ ]asympt_1__363_17.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__385_13.min1.thm12017-02-06 12:45 447  
[ ]asympt_1__386_13.min1.thm12017-02-06 12:45 447  
[ ]asympt_1__387_12.min1.thm12017-02-06 12:45 465  
[ ]asympt_1__388_12.min1.thm12017-02-06 12:45 466  
[ ]asympt_1__405_25.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__407_20.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__409_16.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__410_28.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__413_24.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__416_26.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__433_23.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__435_18.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__437_14.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__438_26.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__441_22.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__444_24.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__463_18.min1.thm12017-02-06 12:45 558  
[ ]asympt_1__463_18.min1.thm1.tptp2017-02-06 16:48 481  
[ ]asympt_1__472_38.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__472_38.min1.thm1.tptp2017-02-06 16:48 493  
[ ]asympt_1__473_17.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__473_17.min1.thm1.tptp2017-02-06 16:48 493  
[ ]asympt_1__501_23.min1.thm12017-02-06 12:45 783  
[ ]asympt_1__502_38.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__549_12.min1.thm12017-02-06 12:45 3.4K 
[ ]asympt_1__569_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__572_20.min1.thm12017-02-06 12:45 741  
[ ]asympt_1__576_20.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__582_19.min1.thm12017-02-06 12:45 483  
[ ]asympt_1__582_19.min1.thm1.tptp2017-02-06 16:48 421  
[ ]asympt_1__584_18.min1.thm12017-02-06 12:45 580  
[ ]asympt_1__584_18.min1.thm1.tptp2017-02-06 16:48 517  
[ ]asympt_1__595_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__598_26.min1.thm12017-02-06 12:45 480  
[ ]asympt_1__602_30.min1.thm12017-02-06 12:45 573  
[ ]asympt_1__603_26.min1.thm12017-02-06 12:45 715  
[ ]asympt_1__622_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__625_20.min1.thm12017-02-06 12:45 757  
[ ]asympt_1__629_20.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__635_19.min1.thm12017-02-06 12:45 498  
[ ]asympt_1__635_19.min1.thm1.tptp2017-02-06 16:48 436  
[ ]asympt_1__637_18.min1.thm12017-02-06 12:45 610  
[ ]asympt_1__637_18.min1.thm1.tptp2017-02-06 16:48 547  
[ ]asympt_1__648_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__651_26.min1.thm12017-02-06 12:45 491  
[ ]asympt_1__655_34.min1.thm12017-02-06 12:45 603  
[ ]asympt_1__656_26.min1.thm12017-02-06 12:45 750  
[ ]asympt_1__673_27.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__674_21.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__675_19.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__689_30.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__690_19.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__713_34.min1.thm12017-02-06 12:45 479  
[ ]asympt_1__715_16.min1.thm12017-02-06 12:45 957  
[ ]asympt_1__728_21.min1.thm12017-02-06 12:45 614  
[ ]asympt_1__728_21.min1.thm1.tptp2017-02-06 16:48 537  
[ ]asympt_1__734_51.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__752_23.min1.thm12017-02-06 12:45 740  
[ ]asympt_1__773_14.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__776_28.min1.thm12017-02-06 12:45 384  
[ ]asympt_1__777_19.min1.thm12017-02-06 12:45 563  
[ ]asympt_1__781_16.min1.thm12017-02-06 12:45 617  
[ ]asympt_1__784_18.min1.thm12017-02-06 12:45 763  
[ ]asympt_1__801_12.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__803_28.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__805_59.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__809_55.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__812_11.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__814_14.min1.thm12017-02-06 12:45 401  
[ ]asympt_1__825_13.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__826_34.min1.thm12017-02-06 12:45 521  
[ ]asympt_1__831_55.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__834_11.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__841_11.min1.thm12017-02-06 12:45 805  
[ ]asympt_1__845_11.min1.thm12017-02-06 12:45 237  
[ ]asympt_1__848_24.min1.thm12017-02-06 12:45 492  
[ ]asympt_1__849_42.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__850_16.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__853_29.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__859_18.min1.thm12017-02-06 12:45 571  
[ ]asympt_1__862_14.min1.thm12017-02-06 12:45 566  
[ ]asympt_1__863_43.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__864_13.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__866_13.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__867_43.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__868_14.min1.thm12017-02-06 12:45 646  
[ ]asympt_1__870_36.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__871_14.min1.thm12017-02-06 12:45 720  
[ ]asympt_1__873_18.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__874_18.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__891_32.min1.thm12017-02-06 12:45 391  
[ ]asympt_1__905_20.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__915_24.min1.thm12017-02-06 12:45 949  
[ ]asympt_1__925_18.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__942_32.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__956_35.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__959_23.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__970_37.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__974_17.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__976_28.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__995_36.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__1006_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1009_20.min1.thm12017-02-06 12:45 761  
[ ]asympt_1__1019_19.min1.thm12017-02-06 12:45 504  
[ ]asympt_1__1019_19.min1.thm1.tptp2017-02-06 16:48 442  
[ ]asympt_1__1021_18.min1.thm12017-02-06 12:45 622  
[ ]asympt_1__1021_18.min1.thm1.tptp2017-02-06 16:48 559  
[ ]asympt_1__1025_50.min1.thm12017-02-06 12:45 768  
[ ]asympt_1__1028_14.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__1029_14.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__1035_13.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1038_27.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__1045_25.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__1046_29.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__1047_47.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__1053_21.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__1070_21.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__1071_25.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__1106_24.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__1107_23.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1109_19.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1113_19.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1118_17.min1.thm12017-02-06 12:45 650  
[ ]asympt_1__1120_19.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__1123_14.min1.thm12017-02-06 12:45 612  
[ ]asympt_1__1142_24.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__1143_25.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__1145_25.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__1147_63.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__1149_44.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__1150_55.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1152_19.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1157_19.min1.thm12017-02-06 12:45 753  
[ ]asympt_1__1160_41.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__1161_19.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__1164_14.min1.thm12017-02-06 12:45 690  
[ ]asympt_1__1180_44.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__1182_25.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1183_21.min1.thm12017-02-06 12:45 3.6K 
[ ]asympt_1__1185_16.min1.thm12017-02-06 12:45 408  
[ ]asympt_1__1189_11.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1191_14.min1.thm12017-02-06 12:45 374  
[ ]asympt_1__1198_15.min1.thm12017-02-06 12:45 372  
[ ]asympt_1__1201_52.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__1203_32.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__1206_14.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__1230_24.min1.thm12017-02-06 12:45 2.8K 
[ ]asympt_1__1231_25.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__1233_20.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__1234_32.min1.thm12017-02-06 12:45 3.6K 
[ ]asympt_1__1242_46.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__1244_41.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__1247_46.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__1249_41.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__1255_14.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__1261_11.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1264_19.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__1269_15.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__1270_16.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1276_25.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__1277_28.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__1280_21.min1.thm12017-02-06 12:45 361  
[ ]asympt_1__1280_21.min1.thm1.tptp2017-02-06 16:48 275  
[ ]asympt_1__1285_17.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__1293_26.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__1313_47.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__1316_46.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1320_16.min1.thm12017-02-06 12:45 494  
[ ]asympt_1__1322_36.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__1324_38.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1327_8.min1.thm12017-02-06 12:45 398  
[ ]asympt_1__1329_14.min1.thm12017-02-06 12:45 460  
[ ]asympt_1__1339_39.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__1352_17.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1355_22.min1.thm12017-02-06 12:45 771  
[ ]asympt_1__1359_22.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__1366_21.min1.thm12017-02-06 12:45 531  
[ ]asympt_1__1366_21.min1.thm1.tptp2017-02-06 16:48 469  
[ ]asympt_1__1368_20.min1.thm12017-02-06 12:45 659  
[ ]asympt_1__1368_20.min1.thm1.tptp2017-02-06 16:48 596  
[ ]asympt_1__1372_47.min1.thm12017-02-06 12:45 806  
[ ]asympt_1__1373_21.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__1379_19.min1.thm12017-02-06 12:45 3.3K 
[ ]asympt_1__1381_30.min1.thm12017-02-06 12:45 3.3K 
[ ]asympt_1__1384_24.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__1388_43.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__1390_26.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__1403_23.min1.thm12017-02-06 12:45 475  
[ ]asympt_1__1403_23.min1.thm1.tptp2017-02-06 16:48 398  
[ ]asympt_1__1407_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1410_25.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__1414_34.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__1415_22.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1420_19.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__1423_16.min1.thm12017-02-06 12:45 493  
[ ]asympt_1__1425_21.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__1426_20.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__1427_23.min1.thm12017-02-06 12:45 579  
[ ]asympt_1__1438_18.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1453_21.min1.thm12017-02-06 12:45 623  
[ ]asympt_1__1468_17.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1471_22.min1.thm12017-02-06 12:45 756  
[ ]asympt_1__1483_21.min1.thm12017-02-06 12:45 516  
[ ]asympt_1__1483_21.min1.thm1.tptp2017-02-06 16:48 454  
[ ]asympt_1__1485_20.min1.thm12017-02-06 12:45 629  
[ ]asympt_1__1485_20.min1.thm1.tptp2017-02-06 16:48 566  
[ ]asympt_1__1489_44.min1.thm12017-02-06 12:45 776  
[ ]asympt_1__1494_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1497_27.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__1502_29.min1.thm12017-02-06 12:45 602  
[ ]asympt_1__1503_29.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__1510_41.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1517_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1520_25.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__1524_34.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__1525_22.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__1528_22.min1.thm12017-02-06 12:45 475  
[ ]asympt_1__1528_22.min1.thm1.tptp2017-02-06 16:48 398  
[ ]asympt_1__1533_25.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__1553_37.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__1557_54.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__1557_54.min1.thm1.tptp2017-02-06 16:48 482  
[ ]asympt_1__1561_29.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__1562_26.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__1569_17.min1.thm12017-02-06 12:45 663  
[ ]asympt_1__1573_15.min1.thm12017-02-06 12:45 890  
[ ]asympt_1__1577_21.min1.thm12017-02-06 12:45 938  
[ ]asympt_1__1581_14.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__1586_19.min1.thm12017-02-06 12:45 905  
[ ]asympt_1__1587_18.min1.thm12017-02-06 12:45 873  
[ ]asympt_1__1602_56.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__1604_48.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__1612_12.min1.thm12017-02-06 12:45 2.8K 
[ ]asympt_1__1615_14.min1.thm12017-02-06 12:45 862  
[ ]asympt_1__1624_11.min1.thm12017-02-06 12:45 759  
[ ]asympt_1__1634_15.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__1646_10.min1.thm12017-02-06 12:45 934  
[ ]asympt_1__1647_30.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__1649_20.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__1650_25.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__1651_23.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1652_41.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__1664_64.min1.thm12017-02-06 12:45 742  
[ ]asympt_1__1667_24.min1.thm12017-02-06 12:45 251  
[ ]asympt_1__1670_40.min1.thm12017-02-06 12:45 325  
[ ]asympt_1__1690_14.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__1693_25.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__1696_15.min1.thm12017-02-06 12:45 583  
[ ]asympt_1__1697_39.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1699_16.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__1704_20.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__1706_14.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1708_37.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__1709_22.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__1711_15.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1714_25.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1715_21.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__1717_16.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__1718_23.min1.thm12017-02-06 12:45 684  
[ ]asympt_1__1719_46.min1.thm12017-02-06 12:45 4.0K 
[ ]asympt_1__1720_23.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__1721_16.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__1727_61.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__1728_53.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__1735_14.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1737_13.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__1741_15.min1.thm12017-02-06 12:45 271  
[ ]asympt_1__1744_20.min1.thm12017-02-06 12:45 669  
[ ]asympt_1__1744_20.min1.thm1.tptp2017-02-06 16:48 598  
[ ]asympt_1__1748_20.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__1753_15.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__1758_21.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__1760_17.min1.thm12017-02-06 12:45 733  
[ ]asympt_1__1762_30.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__1763_39.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__1767_14.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1770_15.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__1772_14.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__1773_14.min1.thm12017-02-06 12:45 421  
[ ]asympt_1__1774_39.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__1775_13.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__1777_21.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__1781_29.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__1785_15.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__1789_26.min1.thm12017-02-06 12:45 3.2K 
[ ]asympt_1__1798_16.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__1800_17.min1.thm12017-02-06 12:45 735  
[ ]asympt_1__1801_35.min1.thm12017-02-06 12:45 721  
[ ]asympt_1__1803_30.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__1806_19.min1.thm12017-02-06 12:45 3.5K 
[ ]asympt_1__1807_15.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__1809_14.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1810_31.min1.thm12017-02-06 12:45 819  
[ ]asympt_1__1814_25.min1.thm12017-02-06 12:45 759  
[ ]asympt_1__1816_23.min1.thm12017-02-06 12:45 3.2K 
[ ]asympt_1__1832_17.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__1834_14.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__1835_17.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__1836_33.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__1837_46.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__1842_20.min1.thm12017-02-06 12:45 754  
[ ]asympt_1__1843_37.min1.thm12017-02-06 12:45 971  
[ ]asympt_1__1845_28.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__1846_19.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__1847_11.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__1859_30.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__1879_59.min1.thm12017-02-06 12:45 942  
[ ]asympt_1__1884_33.min1.thm12017-02-06 12:45 3.3K 
[ ]asympt_1__1889_16.min1.thm12017-02-06 12:45 372  
[ ]asympt_1__1895_25.min1.thm12017-02-06 12:45 580  
[ ]asympt_1__1903_37.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__1923_12.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__1924_25.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__1925_25.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__1927_20.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__1929_37.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__1946_16.min1.thm12017-02-06 12:45 3.2K 
[ ]asympt_1__1956_39.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__1957_61.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__1976_14.min1.thm12017-02-06 12:45 286  
[ ]asympt_1__1983_67.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__1986_24.min1.thm12017-02-06 12:45 793  
[ ]asympt_1__1996_17.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__1999_26.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__2018_18.min1.thm12017-02-06 12:45 486  
[ ]asympt_1__2018_18.min1.thm1.tptp2017-02-06 16:48 409  
[ ]asympt_1__2027_26.min1.thm12017-02-06 12:45 498  
[ ]asympt_1__2027_26.min1.thm1.tptp2017-02-06 16:48 421  
[ ]asympt_1__2028_17.min1.thm12017-02-06 12:45 498  
[ ]asympt_1__2028_17.min1.thm1.tptp2017-02-06 16:48 421  
[ ]asympt_1__2044_19.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2072_19.min1.thm12017-02-06 12:45 3.5K 
[ ]asympt_1__2080_44.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__2081_16.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__2087_15.min1.thm12017-02-06 12:45 2.7K 
[ ]asympt_1__2092_18.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__2098_14.min1.thm12017-02-06 12:45 296  
[ ]asympt_1__2110_17.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__2111_15.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__2112_21.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2130_23.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2137_15.min1.thm12017-02-06 12:45 711  
[ ]asympt_1__2141_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__2144_23.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__2145_23.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__2150_19.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__2153_22.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__2156_33.min1.thm12017-02-06 12:45 911  
[ ]asympt_1__2157_33.min1.thm12017-02-06 12:45 754  
[ ]asympt_1__2158_40.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__2159_27.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__2164_40.min1.thm12017-02-06 12:45 3.4K 
[ ]asympt_1__2171_15.min1.thm12017-02-06 12:45 482  
[ ]asympt_1__2171_15.min1.thm1.tptp2017-02-06 16:48 401  
[ ]asympt_1__2174_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__2177_23.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__2181_34.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__2182_17.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2183_20.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__2190_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__2202_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__2205_32.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__2206_19.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__2210_45.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__2212_19.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__2215_19.min1.thm12017-02-06 12:45 774  
[ ]asympt_1__2223_10.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__2233_67.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__2238_24.min1.thm12017-02-06 12:45 803  
[ ]asympt_1__2245_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__2248_23.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__2252_35.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__2253_17.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2256_14.min1.thm12017-02-06 12:45 2.7K 
[ ]asympt_1__2272_15.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__2274_44.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__2277_37.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2279_61.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__2282_30.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__2283_17.min1.thm12017-02-06 12:45 958  
[ ]asympt_1__2289_63.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__2301_14.min1.thm12017-02-06 12:45 314  
[ ]asympt_1__2324_32.min1.thm12017-02-06 12:45 391  
[ ]asympt_1__2338_39.min1.thm12017-02-06 12:45 3.2K 
[ ]asympt_1__2354_12.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__2395_22.min1.thm12017-02-06 12:45 454  
[ ]asympt_1__2395_22.min1.thm1.tptp2017-02-06 16:48 377  
[ ]asympt_1__2396_16.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__2399_18.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__2403_18.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__2406_59.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__2406_59.min1.thm1.tptp2017-02-06 16:48 482  
[ ]asympt_1__2412_20.min1.thm12017-02-06 12:45 422  
[ ]asympt_1__2412_20.min1.thm1.tptp2017-02-06 16:48 345  
[ ]asympt_1__2413_16.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2416_18.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__2420_18.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__2423_59.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__2423_59.min1.thm1.tptp2017-02-06 16:48 482  
[ ]asympt_1__2434_18.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__2437_23.min1.thm12017-02-06 12:45 559  
[ ]asympt_1__2439_17.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__2440_28.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__2442_27.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__2443_17.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2444_23.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2448_32.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2450_27.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2451_17.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__2453_21.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__2454_19.min1.thm12017-02-06 12:45 2.8K 
[ ]asympt_1__2456_28.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__2458_27.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__2459_17.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2476_18.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__2479_36.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__2480_28.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__2482_27.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2483_17.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__2485_21.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__2486_19.min1.thm12017-02-06 12:45 2.8K 
[ ]asympt_1__2487_32.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__2489_27.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__2490_17.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2495_28.min1.thm12017-02-06 12:45 530  
[ ]asympt_1__2497_27.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2498_17.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__2500_17.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__2501_18.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__2502_23.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2507_17.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__2530_26.min1.thm12017-02-06 12:45 707  
[ ]asympt_1__2533_21.min1.thm12017-02-06 12:45 707  
[ ]asympt_1__2534_30.min1.thm12017-02-06 12:45 963  
[ ]asympt_1__2552_25.min1.thm12017-02-06 12:45 772  
[ ]asympt_1__2556_23.min1.thm12017-02-06 12:45 873  
[ ]asympt_1__2571_23.min1.thm12017-02-06 12:45 740  
[ ]asympt_1__2575_24.min1.thm12017-02-06 12:45 964  
[ ]asympt_1__2593_38.min1.thm12017-02-06 12:45 850  
[ ]asympt_1__2593_38.min1.thm1.tptp2017-02-06 16:48 813  
[ ]asympt_1__2595_38.min1.thm12017-02-06 12:45 850  
[ ]asympt_1__2595_38.min1.thm1.tptp2017-02-06 16:48 813  
[ ]asympt_1__2604_26.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__2616_18.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2617_18.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2623_25.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2624_26.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__2626_25.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__2627_20.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2628_27.min1.thm12017-02-06 12:45 3.8K 
[ ]asympt_1__2645_16.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2646_16.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2652_23.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__2653_24.min1.thm12017-02-06 12:45 558  
[ ]asympt_1__2655_23.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__2656_18.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2667_17.min1.thm12017-02-06 12:45 703  
[ ]asympt_1__2684_8.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__2686_14.min1.thm12017-02-06 12:45 398  
[ ]asympt_1__2703_14.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2708_14.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2709_18.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__2710_26.min1.thm12017-02-06 12:45 641  
[ ]asympt_1__2711_27.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__2727_14.min1.thm12017-02-06 12:45 386  
[ ]asympt_1__2740_28.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__2743_29.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__2747_8.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2762_22.min1.thm12017-02-06 12:45 661  
[ ]asympt_1__2763_16.min1.thm12017-02-06 12:45 669  
[ ]asympt_1__2764_14.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2767_12.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__2774_14.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2775_14.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2782_25.min1.thm12017-02-06 12:45 2.7K 
[ ]asympt_1__2783_15.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__2784_34.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__2786_22.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__2788_28.min1.thm12017-02-06 12:45 2.7K 
[ ]asympt_1__2790_14.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2793_40.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2796_15.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__2797_31.min1.thm12017-02-06 12:45 884  
[ ]asympt_1__2830_16.min1.thm12017-02-06 12:45 669  
[ ]asympt_1__2837_32.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__2838_25.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__2840_19.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__2842_56.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__2842_56.min1.thm1.tptp2017-02-06 16:48 482  
[ ]asympt_1__2851_28.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__2853_56.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__2861_34.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__2864_16.min1.thm12017-02-06 12:45 666  
[ ]asympt_1__2866_22.min1.thm12017-02-06 12:45 661  
[ ]asympt_1__2898_32.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__2900_20.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__2901_12.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2903_36.min1.thm12017-02-06 12:45 610  
[ ]asympt_1__2905_23.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__2909_56.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__2909_56.min1.thm1.tptp2017-02-06 16:48 482  
[ ]asympt_1__2910_17.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__2917_12.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2920_60.min1.thm12017-02-06 12:45 824  
[ ]asympt_1__2929_38.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__2932_16.min1.thm12017-02-06 12:45 700  
[ ]asympt_1__2935_12.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__2937_15.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__2965_32.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__2967_20.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__2968_12.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2970_36.min1.thm12017-02-06 12:45 610  
[ ]asympt_1__2972_23.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__2977_54.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__2977_54.min1.thm1.tptp2017-02-06 16:48 482  
[ ]asympt_1__2983_53.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__2984_32.min1.thm12017-02-06 12:45 391  
[ ]asympt_1__2995_14.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__2997_13.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__2999_43.min1.thm12017-02-06 12:45 797  
[ ]asympt_1__3006_36.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__3008_40.min1.thm12017-02-06 12:45 3.2K 
[ ]asympt_1__3017_25.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__3019_53.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__3021_29.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3022_27.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__3025_20.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3026_24.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__3038_29.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__3056_37.min1.thm12017-02-06 12:45 525  
[ ]asympt_1__3056_37.min1.thm1.tptp2017-02-06 16:48 448  
[ ]asympt_1__3059_56.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__3059_56.min1.thm1.tptp2017-02-06 16:48 482  
[ ]asympt_1__3064_36.min1.thm12017-02-06 12:45 593  
[ ]asympt_1__3068_24.min1.thm12017-02-06 12:45 587  
[ ]asympt_1__3069_29.min1.thm12017-02-06 12:45 3.9K 
[ ]asympt_1__3070_35.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__3071_26.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__3077_36.min1.thm12017-02-06 12:45 593  
[ ]asympt_1__3078_23.min1.thm12017-02-06 12:45 471  
[ ]asympt_1__3078_23.min1.thm1.tptp2017-02-06 16:48 388  
[ ]asympt_1__3082_30.min1.thm12017-02-06 12:45 3.9K 
[ ]asympt_1__3083_35.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__3084_26.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__3085_17.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__3086_28.min1.thm12017-02-06 12:45 621  
[ ]asympt_1__3091_37.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__3094_37.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__3096_17.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__3112_54.min1.thm12017-02-06 12:45 3.3K 
[ ]asympt_1__3114_26.min1.thm12017-02-06 12:45 857  
[ ]asympt_1__3118_32.min1.thm12017-02-06 12:45 391  
[ ]asympt_1__3127_20.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__3144_18.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3145_58.min1.thm12017-02-06 12:45 783  
[ ]asympt_1__3163_32.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__3168_34.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__3196_39.min1.thm12017-02-06 12:45 754  
[ ]asympt_1__3196_51.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__3197_11.min1.thm12017-02-06 12:45 729  
[ ]asympt_1__3209_12.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__3210_25.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__3216_8.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3218_14.min1.thm12017-02-06 12:45 389  
[ ]asympt_1__3237_15.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__3242_32.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3246_38.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__3248_35.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__3250_35.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3251_22.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3252_10.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__3254_9.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__3282_27.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__3294_35.min1.thm12017-02-06 12:45 754  
[ ]asympt_1__3295_41.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__3296_28.min1.thm12017-02-06 12:45 968  
[ ]asympt_1__3297_15.min1.thm12017-02-06 12:45 930  
[ ]asympt_1__3298_11.min1.thm12017-02-06 12:45 646  
[ ]asympt_1__3299_43.min1.thm12017-02-06 12:45 714  
[ ]asympt_1__3300_14.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__3303_49.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3306_45.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__3308_25.min1.thm12017-02-06 12:45 871  
[ ]asympt_1__3310_27.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3311_38.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__3313_34.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__3315_35.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__3316_22.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3317_37.min1.thm12017-02-06 12:45 756  
[ ]asympt_1__3318_14.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__3322_14.min1.thm12017-02-06 12:45 439  
[ ]asympt_1__3334_13.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__3336_42.min1.thm12017-02-06 12:45 559  
[ ]asympt_1__3337_55.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__3338_28.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__3339_42.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__3342_34.min1.thm12017-02-06 12:45 971  
[ ]asympt_1__3342_54.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__3346_14.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3354_13.min1.thm12017-02-06 12:45 562  
[ ]asympt_1__3355_40.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__3356_15.min1.thm12017-02-06 12:45 2.8K 
[ ]asympt_1__3359_10.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3360_18.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__3362_33.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__3365_13.min1.thm12017-02-06 12:45 187  
[ ]asympt_1__3368_27.min1.thm12017-02-06 12:45 404  
[ ]asympt_1__3373_31.min1.thm12017-02-06 12:45 502  
[ ]asympt_1__3374_31.min1.thm12017-02-06 12:45 575  
[ ]asympt_1__3378_28.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3379_22.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__3381_43.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__3382_15.min1.thm12017-02-06 12:45 563  
[ ]asympt_1__3383_42.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3393_50.min1.thm12017-02-06 12:45 787  
[ ]asympt_1__3398_25.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__3402_14.min1.thm12017-02-06 12:45 3.2K 
[ ]asympt_1__3404_30.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__3405_19.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__3412_30.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__3414_14.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__3416_18.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__3417_18.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__3420_46.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3423_25.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__3427_30.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__3431_16.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__3441_44.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__3447_41.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__3452_16.min1.thm12017-02-06 12:45 560  
[ ]asympt_1__3455_51.min1.thm12017-02-06 12:45 556  
[ ]asympt_1__3462_24.min1.thm12017-02-06 12:45 2.7K 
[ ]asympt_1__3463_34.min1.thm12017-02-06 12:45 615  
[ ]asympt_1__3466_37.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__3472_44.min1.thm12017-02-06 12:45 530  
[ ]asympt_1__3477_17.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__3478_21.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3479_17.min1.thm12017-02-06 12:45 719  
[ ]asympt_1__3482_35.min1.thm12017-02-06 12:45 470  
[ ]asympt_1__3485_20.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__3489_24.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__3492_24.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__3495_21.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__3505_24.min1.thm12017-02-06 12:45 588  
[ ]asympt_1__3507_32.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3509_21.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3511_19.min1.thm12017-02-06 12:45 513  
[ ]asympt_1__3516_31.min1.thm12017-02-06 12:45 631  
[ ]asympt_1__3521_34.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__3528_24.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__3529_24.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__3531_13.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__3532_14.min1.thm12017-02-06 12:45 868  
[ ]asympt_1__3538_29.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3539_11.min1.thm12017-02-06 12:45 805  
[ ]asympt_1__3546_23.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__3558_20.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3566_25.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__3586_36.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__3621_8.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__3628_33.min1.thm12017-02-06 12:45 969  
[ ]asympt_1__3628_69.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__3629_30.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__3631_34.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__3633_38.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__3635_38.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__3636_25.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__3637_11.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__3638_14.min1.thm12017-02-06 12:45 224  
[ ]asympt_1__3643_33.min1.thm12017-02-06 12:45 969  
[ ]asympt_1__3643_69.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__3644_30.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__3646_34.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__3648_34.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__3649_21.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__3650_10.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__3651_14.min1.thm12017-02-06 12:45 222  
[ ]asympt_1__3666_14.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__3674_25.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3675_57.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3676_31.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__3677_12.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__3687_16.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__3688_20.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__3692_14.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__3693_14.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__3700_13.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__3701_28.min1.thm12017-02-06 12:45 797  
[ ]asympt_1__3704_18.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__3706_29.min1.thm12017-02-06 12:45 3.2K 
[ ]asympt_1__3734_16.min1.thm12017-02-06 12:45 3.3K 
[ ]asympt_1__3735_25.min1.thm12017-02-06 12:45 3.6K 
[ ]asympt_1__3746_58.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__3747_72.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__3749_28.min1.thm12017-02-06 12:45 4.0K 
[ ]asympt_1__3753_47.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__3782_15.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3783_18.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__3784_46.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__3787_51.min1.thm12017-02-06 12:45 728  
[ ]asympt_1__3789_64.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__3812_35.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3813_19.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__3815_56.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__3815_56.min1.thm1.tptp2017-02-06 16:48 482  
[ ]asympt_1__3822_37.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3825_56.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__3825_56.min1.thm1.tptp2017-02-06 16:48 482  
[ ]asympt_1__3828_51.min1.thm12017-02-06 12:45 517  
[ ]asympt_1__3833_14.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__3839_20.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__3846_29.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__3847_33.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__3849_21.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__3850_28.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__3851_19.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__3853_14.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__3854_38.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__3867_13.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3868_34.min1.thm12017-02-06 12:45 580  
[ ]asympt_1__3871_12.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__3874_21.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__3875_21.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__3876_20.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__3878_22.min1.thm12017-02-06 12:45 2.8K 
[ ]asympt_1__3880_15.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__3888_28.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__3891_19.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__3909_35.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3910_19.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__3913_54.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__3913_54.min1.thm1.tptp2017-02-06 16:48 482  
[ ]asympt_1__3914_51.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3923_14.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__3929_20.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__3936_37.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__3937_51.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3940_38.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__3947_33.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__3949_29.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__3956_21.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__3957_37.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__3965_13.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3966_37.min1.thm12017-02-06 12:45 668  
[ ]asympt_1__3976_28.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__3979_19.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__3990_51.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__3991_51.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__3993_44.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__4001_28.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__4002_17.min1.thm12017-02-06 12:45 923  
[ ]asympt_1__4003_11.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__4004_18.min1.thm12017-02-06 12:45 478  
[ ]asympt_1__4012_31.min1.thm12017-02-06 12:45 685  
[ ]asympt_1__4012_31.min1.thm1.tptp2017-02-06 16:48 608  
[ ]asympt_1__4013_13.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__4014_28.min1.thm12017-02-06 12:45 653  
[ ]asympt_1__4014_28.min1.thm1.tptp2017-02-06 16:48 565  
[ ]asympt_1__4019_17.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__4026_67.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__4027_67.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__4029_44.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__4039_16.min1.thm12017-02-06 12:45 464  
[ ]asympt_1__4066_23.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__4071_24.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__4074_25.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__4075_27.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__4084_28.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__4087_19.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__4095_66.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__4098_24.min1.thm12017-02-06 12:45 803  
[ ]asympt_1__4124_34.min1.thm12017-02-06 12:45 2.8K 
[ ]asympt_1__4125_14.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__4126_40.min1.thm12017-02-06 12:45 972  
[ ]asympt_1__4151_14.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__4157_23.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__4165_13.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__4166_21.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__4167_19.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__4168_42.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__4169_21.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__4171_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__4175_19.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__4176_23.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__4180_15.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__4181_14.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__4186_15.min1.thm12017-02-06 12:45 421  
[ ]asympt_1__4225_30.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__4226_19.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__4229_54.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__4229_54.min1.thm1.tptp2017-02-06 16:48 482  
[ ]asympt_1__4239_17.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__4240_26.min1.thm12017-02-06 12:45 837  
[ ]asympt_1__4240_26.min1.thm1.tptp2017-02-06 16:48 760  
[ ]asympt_1__4243_47.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__4258_69.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__4265_16.min1.thm12017-02-06 12:45 614  
[ ]asympt_1__4281_16.min1.thm12017-02-06 12:45 380  
[ ]asympt_1__4287_40.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__4293_13.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__4323_18.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__4326_28.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__4331_35.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__4334_51.min1.thm12017-02-06 12:45 912  
[ ]asympt_1__4337_48.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__4339_21.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__4341_10.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__4343_12.min1.thm12017-02-06 12:45 806  
[ ]asympt_1__4350_16.min1.thm12017-02-06 12:45 380  
[ ]asympt_1__4352_14.min1.thm12017-02-06 12:45 467  
[ ]asympt_1__4359_13.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__4370_17.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__4377_30.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__4381_19.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__4390_14.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__4391_18.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__4393_15.min1.thm12017-02-06 12:45 651  
[ ]asympt_1__4394_21.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__4423_46.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__4426_15.min1.thm12017-02-06 12:45 3.7K 
[ ]asympt_1__4427_21.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__4430_19.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__4431_18.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__4459_37.min1.thm12017-02-06 12:45 929  
[ ]asympt_1__4463_23.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__4464_12.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__4468_19.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__4469_12.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__4475_50.min1.thm12017-02-06 12:45 769  
[ ]asympt_1__4479_33.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__4483_35.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__4486_12.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__4493_15.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__4495_19.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__4496_18.min1.thm12017-02-06 12:45 854  
[ ]asympt_1__4499_26.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__4508_20.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__4511_20.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__4512_22.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__4515_41.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__4518_25.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__4529_42.min1.thm12017-02-06 12:45 474  
[ ]asympt_1__4529_42.min1.thm1.tptp2017-02-06 16:48 388  
[ ]asympt_1__4530_48.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__4538_21.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__4554_27.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__4565_46.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__4566_18.min1.thm12017-02-06 12:45 3.4K 
[ ]asympt_1__4567_21.min1.thm12017-02-06 12:45 528  
[ ]asympt_1__4567_21.min1.thm1.tptp2017-02-06 16:48 451  
[ ]asympt_1__4571_32.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__4572_19.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__4573_17.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__4574_12.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__4575_19.min1.thm12017-02-06 12:45 3.6K 
[ ]asympt_1__4594_13.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__4598_34.min1.thm12017-02-06 12:45 689  
[ ]asympt_1__4600_39.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__4602_23.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__4603_16.min1.thm12017-02-06 12:45 398  
[ ]asympt_1__4605_36.min1.thm12017-02-06 12:45 966  
[ ]asympt_1__4607_11.min1.thm12017-02-06 12:45 677  
[ ]asympt_1__4607_11.min1.thm1.tptp2017-02-06 16:48 626  
[ ]asympt_1__4608_19.min1.thm12017-02-06 12:45 898  
[ ]asympt_1__4609_11.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__4611_11.min1.thm12017-02-06 12:45 357  
[ ]asympt_1__4611_11.min1.thm1.tptp2017-02-06 16:48 275  
[ ]asympt_1__4613_14.min1.thm12017-02-06 12:45 364  
[ ]asympt_1__4620_32.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__4621_41.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__4623_25.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__4624_17.min1.thm12017-02-06 12:45 3.5K 
[ ]asympt_1__4642_32.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__4643_25.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__4645_19.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__4647_56.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__4647_56.min1.thm1.tptp2017-02-06 16:48 482  
[ ]asympt_1__4655_32.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__4665_17.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__4668_22.min1.thm12017-02-06 12:45 761  
[ ]asympt_1__4672_22.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__4679_21.min1.thm12017-02-06 12:45 521  
[ ]asympt_1__4679_21.min1.thm1.tptp2017-02-06 16:48 459  
[ ]asympt_1__4681_20.min1.thm12017-02-06 12:45 639  
[ ]asympt_1__4681_20.min1.thm1.tptp2017-02-06 16:48 576  
[ ]asympt_1__4685_42.min1.thm12017-02-06 12:45 786  
[ ]asympt_1__4686_22.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__4687_43.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__4692_24.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__4701_15.min1.thm12017-02-06 12:45 812  
[ ]asympt_1__4702_20.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__4703_34.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__4705_23.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__4706_38.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__4713_36.min1.thm12017-02-06 12:45 3.5K 
[ ]asympt_1__4717_14.min1.thm12017-02-06 12:45 492  
[ ]asympt_1__4721_26.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__4732_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__4735_23.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__4739_24.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__4740_36.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__4742_23.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__4753_31.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__4754_18.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__4767_17.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__4770_22.min1.thm12017-02-06 12:45 743  
[ ]asympt_1__4774_22.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__4781_21.min1.thm12017-02-06 12:45 503  
[ ]asympt_1__4781_21.min1.thm1.tptp2017-02-06 16:48 441  
[ ]asympt_1__4783_20.min1.thm12017-02-06 12:45 603  
[ ]asympt_1__4783_20.min1.thm1.tptp2017-02-06 16:48 540  
[ ]asympt_1__4787_40.min1.thm12017-02-06 12:45 752  
[ ]asympt_1__4793_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__4796_23.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__4800_36.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__4801_31.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__4802_23.min1.thm12017-02-06 12:45 728  
[ ]asympt_1__4807_22.min1.thm12017-02-06 12:45 447  
[ ]asympt_1__4807_22.min1.thm1.tptp2017-02-06 16:48 370  
[ ]asympt_1__4810_25.min1.thm12017-02-06 12:45 629  
[ ]asympt_1__4813_40.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__4856_23.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__4859_22.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__4865_18.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__4868_25.min1.thm12017-02-06 12:45 962  
[ ]asympt_1__4871_24.min1.thm12017-02-06 12:45 2.8K 
[ ]asympt_1__4875_25.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__4876_29.min1.thm12017-02-06 12:45 936  
[ ]asympt_1__4878_28.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__4880_26.min1.thm12017-02-06 12:45 3.4K 
[ ]asympt_1__4881_30.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__4886_19.min1.thm12017-02-06 12:45 3.4K 
[ ]asympt_1__4888_27.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__4889_17.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__4897_27.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__4898_17.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__4901_25.min1.thm12017-02-06 12:45 962  
[ ]asympt_1__4903_25.min1.thm12017-02-06 12:45 3.4K 
[ ]asympt_1__4908_24.min1.thm12017-02-06 12:45 2.8K 
[ ]asympt_1__4909_28.min1.thm12017-02-06 12:45 3.5K 
[ ]asympt_1__4913_29.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__4914_19.min1.thm12017-02-06 12:45 3.4K 
[ ]asympt_1__4923_19.min1.thm12017-02-06 12:45 3.5K 
[ ]asympt_1__4925_27.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__4926_17.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__4950_22.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__4951_17.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__4970_71.min1.thm12017-02-06 12:45 457  
[ ]asympt_1__4970_71.min1.thm1.tptp2017-02-06 16:48 394  
[ ]asympt_1__4971_20.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__4973_22.min1.thm12017-02-06 12:45 486  
[ ]asympt_1__4973_22.min1.thm1.tptp2017-02-06 16:48 414  
[ ]asympt_1__4974_19.min1.thm12017-02-06 12:45 671  
[ ]asympt_1__4986_16.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__4987_27.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__4993_8.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__5002_38.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__5003_31.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__5011_11.min1.thm12017-02-06 12:45 805  
[ ]asympt_1__5015_15.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__5023_37.min1.thm12017-02-06 12:45 558  
[ ]asympt_1__5027_35.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__5033_15.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__5054_16.min1.thm12017-02-06 12:45 3.3K 
[ ]asympt_1__5056_28.min1.thm12017-02-06 12:45 3.4K 
[ ]asympt_1__5057_15.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__5058_25.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__5059_13.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5060_25.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__5061_20.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__5070_25.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__5071_13.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5072_25.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__5073_24.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__5075_37.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__5081_17.min1.thm12017-02-06 12:45 891  
[ ]asympt_1__5082_22.min1.thm12017-02-06 12:45 883  
[ ]asympt_1__5095_24.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__5098_18.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__5101_20.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__5105_23.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__5108_23.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__5110_16.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__5111_26.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__5114_19.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__5117_15.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__5118_22.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5120_15.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__5121_18.min1.thm12017-02-06 12:45 573  
[ ]asympt_1__5124_24.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5128_25.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__5132_29.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__5137_14.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__5138_14.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__5139_33.min1.thm12017-02-06 12:45 951  
[ ]asympt_1__5145_18.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__5155_15.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__5157_25.min1.thm12017-02-06 12:45 769  
[ ]asympt_1__5159_28.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__5161_26.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__5167_18.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__5170_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__5173_23.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__5177_35.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__5178_17.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5182_15.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__5183_27.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__5190_22.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__5191_12.min1.thm12017-02-06 12:45 806  
[ ]asympt_1__5197_26.min1.thm12017-02-06 12:45 877  
[ ]asympt_1__5198_10.min1.thm12017-02-06 12:45 708  
[ ]asympt_1__5199_18.min1.thm12017-02-06 12:45 3.4K 
[ ]asympt_1__5200_44.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__5203_35.min1.thm12017-02-06 12:45 2.8K 
[ ]asympt_1__5206_17.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__5213_32.min1.thm12017-02-06 12:45 604  
[ ]asympt_1__5236_30.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__5237_19.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__5240_54.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__5240_54.min1.thm1.tptp2017-02-06 16:48 482  
[ ]asympt_1__5246_24.min1.thm12017-02-06 12:45 494  
[ ]asympt_1__5247_49.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__5248_29.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__5249_16.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__5251_26.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__5252_25.min1.thm12017-02-06 12:45 3.7K 
[ ]asympt_1__5253_24.min1.thm12017-02-06 12:45 3.7K 
[ ]asympt_1__5269_21.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__5271_23.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__5272_21.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__5274_15.min1.thm12017-02-06 12:45 2.8K 
[ ]asympt_1__5275_21.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5277_15.min1.thm12017-02-06 12:45 2.7K 
[ ]asympt_1__5279_51.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__5280_19.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__5281_13.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__5282_49.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__5295_41.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__5300_15.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__5302_21.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__5306_21.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__5307_21.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__5308_21.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__5312_16.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__5316_29.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__5329_26.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__5340_21.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__5343_22.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5345_19.min1.thm12017-02-06 12:45 3.7K 
[ ]asympt_1__5350_17.min1.thm12017-02-06 12:45 573  
[ ]asympt_1__5352_15.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__5353_14.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__5354_29.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__5358_31.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__5366_25.min1.thm12017-02-06 12:45 3.3K 
[ ]asympt_1__5375_50.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__5376_21.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__5378_44.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__5381_16.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__5385_27.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__5386_25.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__5387_33.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__5388_29.min1.thm12017-02-06 12:45 815  
[ ]asympt_1__5389_50.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__5399_21.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__5401_39.min1.thm12017-02-06 12:45 3.5K 
[ ]asympt_1__5402_17.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__5403_19.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__5405_47.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__5406_38.min1.thm12017-02-06 12:45 3.2K 
[ ]asympt_1__5407_25.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__5411_37.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__5433_15.min1.thm12017-02-06 12:45 219  
[ ]asympt_1__5436_23.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__5440_34.min1.thm12017-02-06 12:45 614  
[ ]asympt_1__5441_23.min1.thm12017-02-06 12:45 2.7K 
[ ]asympt_1__5446_54.min1.thm12017-02-06 12:45 570  
[ ]asympt_1__5446_54.min1.thm1.tptp2017-02-06 16:48 482  
[ ]asympt_1__5450_39.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__5457_15.min1.thm12017-02-06 12:45 219  
[ ]asympt_1__5461_24.min1.thm12017-02-06 12:45 506  
[ ]asympt_1__5462_46.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__5466_24.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__5467_18.min1.thm12017-02-06 12:45 660  
[ ]asympt_1__5475_28.min1.thm12017-02-06 12:45 542  
[ ]asympt_1__5478_21.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__5486_32.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__5491_30.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__5492_30.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__5494_38.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__5497_42.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__5503_37.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__5506_29.min1.thm12017-02-06 12:45 684  
[ ]asympt_1__5507_19.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5513_15.min1.thm12017-02-06 12:45 251  
[ ]asympt_1__5516_23.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__5520_42.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__5539_22.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__5540_20.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__5542_15.min1.thm12017-02-06 12:45 2.7K 
[ ]asympt_1__5543_21.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__5544_21.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5546_15.min1.thm12017-02-06 12:45 2.7K 
[ ]asympt_1__5550_24.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__5554_22.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__5557_28.min1.thm12017-02-06 12:45 673  
[ ]asympt_1__5559_29.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__5563_15.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__5572_14.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__5575_12.min1.thm12017-02-06 12:45 805  
[ ]asympt_1__5582_15.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__5583_40.min1.thm12017-02-06 12:45 3.2K 
[ ]asympt_1__5584_34.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__5588_40.min1.thm12017-02-06 12:45 3.2K 
[ ]asympt_1__5591_40.min1.thm12017-02-06 12:45 2.7K 
[ ]asympt_1__5592_36.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__5594_19.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__5596_19.min1.thm12017-02-06 12:45 523  
[ ]asympt_1__5600_28.min1.thm12017-02-06 12:45 672  
[ ]asympt_1__5601_19.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__5613_18.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__5616_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__5619_23.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__5623_35.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__5624_17.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5628_15.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__5629_27.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__5635_26.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__5636_13.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5637_25.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__5638_24.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__5640_37.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__5654_16.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__5659_11.min1.thm12017-02-06 12:45 658  
[ ]asympt_1__5661_14.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__5676_19.min1.thm12017-02-06 12:45 3.4K 
[ ]asympt_1__5677_34.min1.thm12017-02-06 12:45 3.0K 
[ ]asympt_1__5680_17.min1.thm12017-02-06 12:45 565  
[ ]asympt_1__5681_21.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__5685_18.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__5688_8.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__5690_14.min1.thm12017-02-06 12:45 472  
[ ]asympt_1__5707_48.min1.thm12017-02-06 12:45 816  
[ ]asympt_1__5708_20.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__5709_16.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__5713_19.min1.thm12017-02-06 12:45 2.8K 
[ ]asympt_1__5714_24.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__5715_26.min1.thm12017-02-06 12:45 364  
[ ]asympt_1__5725_22.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__5729_32.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5735_32.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5737_26.min1.thm12017-02-06 12:45 2.7K 
[ ]asympt_1__5738_23.min1.thm12017-02-06 12:45 898  
[ ]asympt_1__5743_18.min1.thm12017-02-06 12:45 254  
[ ]asympt_1__5748_23.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__5749_15.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__5750_18.min1.thm12017-02-06 12:45 3.5K 
[ ]asympt_1__5762_22.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__5766_32.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5769_29.min1.thm12017-02-06 12:45 3.4K 
[ ]asympt_1__5772_21.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__5778_28.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5783_18.min1.thm12017-02-06 12:45 263  
[ ]asympt_1__5789_32.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__5796_22.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__5799_13.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__5800_20.min1.thm12017-02-06 12:45 2.7K 
[ ]asympt_1__5801_19.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__5804_14.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__5812_13.min1.thm12017-02-06 12:45 132  
[ ]asympt_1__5817_22.min1.thm12017-02-06 12:45 2.7K 
[ ]asympt_1__5821_50.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__5823_13.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__5824_40.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__5826_52.min1.thm12017-02-06 12:45 928  
[ ]asympt_1__5828_15.min1.thm12017-02-06 12:45 314  
[ ]asympt_1__5840_16.min1.thm12017-02-06 12:45 554  
[ ]asympt_1__5844_16.min1.thm12017-02-06 12:45 554  
[ ]asympt_1__5850_22.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__5854_32.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5860_32.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5865_22.min1.thm12017-02-06 12:45 451  
[ ]asympt_1__5867_16.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__5877_9.min1.thm12017-02-06 12:45 733  
[ ]asympt_1__5881_13.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__5903_51.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__5904_21.min1.thm12017-02-06 12:45 424  
[ ]asympt_1__5904_21.min1.thm1.tptp2017-02-06 16:48 347  
[ ]asympt_1__5905_19.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__5907_56.min1.thm12017-02-06 12:45 581  
[ ]asympt_1__5907_56.min1.thm1.tptp2017-02-06 16:48 493  
[ ]asympt_1__5912_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__5915_29.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__5916_25.min1.thm12017-02-06 12:45 535  
[ ]asympt_1__5917_17.min1.thm12017-02-06 12:45 614  
[ ]asympt_1__5917_17.min1.thm1.tptp2017-02-06 16:48 578  
[ ]asympt_1__5918_23.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__5925_25.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__5927_19.min1.thm12017-02-06 12:45 1.4K 
[ ]asympt_1__5928_20.min1.thm12017-02-06 12:45 615  
[ ]asympt_1__5929_20.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__5932_23.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__5933_34.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__5934_25.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__5938_24.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__5939_27.min1.thm12017-02-06 12:45 3.3K 
[ ]asympt_1__5943_33.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__5951_41.min1.thm12017-02-06 12:45 460  
[ ]asympt_1__5952_12.min1.thm12017-02-06 12:45 806  
[ ]asympt_1__5956_29.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__5957_26.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__5965_22.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__5966_20.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__5969_21.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__5971_21.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5974_38.min1.thm12017-02-06 12:45 2.9K 
[ ]asympt_1__5976_14.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__5978_16.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__5982_16.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__5985_15.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__5988_15.min1.thm12017-02-06 12:45 721  
[ ]asympt_1__5989_25.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__5991_19.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__5993_22.min1.thm12017-02-06 12:45 729  
[ ]asympt_1__5994_16.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__5998_27.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__6018_18.min1.thm12017-02-06 12:45 578  
[ ]asympt_1__6020_25.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__6022_14.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__6023_15.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__6031_23.min1.thm12017-02-06 12:45 497  
[ ]asympt_1__6040_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__6043_25.min1.thm12017-02-06 12:45 535  
[ ]asympt_1__6044_17.min1.thm12017-02-06 12:45 614  
[ ]asympt_1__6044_17.min1.thm1.tptp2017-02-06 16:48 578  
[ ]asympt_1__6045_23.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__6050_29.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__6051_17.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__6052_59.min1.thm12017-02-06 12:45 2.5K 
[ ]asympt_1__6053_23.min1.thm12017-02-06 12:45 888  
[ ]asympt_1__6071_14.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__6075_14.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__6076_25.min1.thm12017-02-06 12:45 3.1K 
[ ]asympt_1__6077_11.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__6080_10.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__6134_24.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__6137_23.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__6142_31.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__6147_17.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__6149_24.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__6150_34.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__6156_22.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__6158_30.min1.thm12017-02-06 12:45 830  
[ ]asympt_1__6161_25.min1.thm12017-02-06 12:45 830  
[ ]asympt_1__6165_30.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__6169_25.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__6173_29.min1.thm12017-02-06 12:45 924  
[ ]asympt_1__6176_29.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__6197_19.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__6199_15.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__6200_15.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__6201_35.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__6206_15.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__6212_18.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__6217_16.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__6222_17.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__6223_15.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__6224_28.min1.thm12017-02-06 12:45 1.9K 
[ ]asympt_1__6229_15.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__6236_17.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__6259_64.min1.thm12017-02-06 12:45 743  
[ ]asympt_1__6261_24.min1.thm12017-02-06 12:45 255  
[ ]asympt_1__6264_13.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__6267_32.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__6268_46.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__6273_17.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__6276_20.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__6279_37.min1.thm12017-02-06 12:45 924  
[ ]asympt_1__6280_25.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__6284_25.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__6287_39.min1.thm12017-02-06 12:45 1.2K 
[ ]asympt_1__6301_13.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__6302_15.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__6307_20.min1.thm12017-02-06 12:45 2.2K 
[ ]asympt_1__6309_14.min1.thm12017-02-06 12:45 1.7K 
[ ]asympt_1__6310_16.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__6312_17.min1.thm12017-02-06 12:45 712  
[ ]asympt_1__6318_17.min1.thm12017-02-06 12:45 678  
[ ]asympt_1__6318_17.min1.thm1.tptp2017-02-06 16:48 602  
[ ]asympt_1__6343_14.min1.thm12017-02-06 12:45 2.1K 
[ ]asympt_1__6347_14.min1.thm12017-02-06 12:45 1.6K 
[ ]asympt_1__6348_14.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__6354_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__6355_28.min1.thm12017-02-06 12:45 772  
[ ]asympt_1__6358_15.min1.thm12017-02-06 12:45 2.0K 
[ ]asympt_1__6361_15.min1.thm12017-02-06 12:45 290  
[ ]asympt_1__6364_28.min1.thm12017-02-06 12:45 2.4K 
[ ]asympt_1__6368_37.min1.thm12017-02-06 12:45 2.3K 
[ ]asympt_1__6381_18.min1.thm12017-02-06 12:45 2.6K 
[ ]asympt_1__6386_20.min1.thm12017-02-06 12:45 679  
[ ]asympt_1__6394_25.min1.thm12017-02-06 12:45 220  
[ ]asympt_1__6397_40.min1.thm12017-02-06 12:45 1.3K 
[ ]asympt_1__6400_54.min1.thm12017-02-06 12:45 462  
[ ]asympt_1__6403_62.min1.thm12017-02-06 12:45 1.5K 
[ ]asympt_1__6406_55.min1.thm12017-02-06 12:45 414  
[ ]asympt_1__6409_59.min1.thm12017-02-06 12:45 412  
[ ]asympt_1__6412_57.min1.thm12017-02-06 12:45 514  
[ ]asympt_1__6416_26.min1.thm12017-02-06 12:45 651  
[ ]asympt_1__6419_13.min1.thm12017-02-06 12:45 200  
[ ]asympt_1__6422_24.min1.thm12017-02-06 12:45 218  
[ ]asympt_1__6425_23.min1.thm12017-02-06 12:45 216  
[ ]asympt_1__6428_34.min1.thm12017-02-06 12:45 392  
[ ]asympt_1__6431_33.min1.thm12017-02-06 12:45 364  
[ ]asympt_1__6434_41.min1.thm12017-02-06 12:45 464  
[ ]asympt_1__6438_30.min1.thm12017-02-06 12:45 832  
[ ]asympt_1__6441_38.min1.thm12017-02-06 12:45 392  
[ ]asympt_1__6444_33.min1.thm12017-02-06 12:45 358  
[ ]asympt_1__6447_52.min1.thm12017-02-06 12:45 347  
[ ]asympt_1__6450_45.min1.thm12017-02-06 12:45 1.8K 
[ ]asympt_1__6465_49.min1.thm12017-02-06 12:45 1.0K 
[ ]asympt_1__6468_49.min1.thm12017-02-06 12:45 432  
[ ]asympt_1__6471_55.min1.thm12017-02-06 12:45 378  
[ ]asympt_1__6480_33.min1.thm12017-02-06 12:45 660  
[ ]asympt_1__6484_32.min1.thm12017-02-06 12:45 812  
[ ]asympt_1__6488_45.min1.thm12017-02-06 12:45 1.1K 
[ ]asympt_1__6504_29.min1.thm12017-02-06 12:45 338  
[ ]asympt_1__6517_46.min1.thm12017-02-06 12:45 446  
[ ]asympt_1__6520_48.min1.thm12017-02-06 12:45 480  
[ ]asympt_1__6528_4.min1.thm12017-02-06 12:45 562  
[ ]asympt_1__6531_41.min1.thm12017-02-06 12:45 434  
[ ]asympt_1__6534_70.min1.thm12017-02-06 12:45 428  
[ ]asympt_1__6534_70.min1.thm1.tptp2017-02-06 16:48 368  
[ ]asympt_1__6550_9.min1.thm12017-02-06 12:45 572  
[ ]asympt_1__6560_44.min1.thm12017-02-06 12:45 424  
[ ]asympt_1__6563_36.min1.thm12017-02-06 12:45 394  
[ ]asympt_1__6566_66.min1.thm12017-02-06 12:45 478  
[ ]asympt_1__6569_66.min1.thm12017-02-06 12:45 422  
[ ]asympt_1__6572_65.min1.thm12017-02-06 12:45 2.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80