Index of /~mptp/1147/MPTP2/ilp0/sin_cos8

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]sin_cos8__37_16.min1.thm12017-02-06 12:46 338  
[   ]sin_cos8__37_16.min1.thm1.tptp2017-02-06 16:47 257  
[   ]sin_cos8__38_17.min1.thm12017-02-06 12:46 962  
[   ]sin_cos8__44_22.min1.thm12017-02-06 12:46 345  
[   ]sin_cos8__44_22.min1.thm1.tptp2017-02-06 16:47 269  
[   ]sin_cos8__46_30.min1.thm12017-02-06 12:46 509  
[   ]sin_cos8__46_30.min1.thm1.tptp2017-02-06 16:47 432  
[   ]sin_cos8__47_31.min1.thm12017-02-06 12:46 603  
[   ]sin_cos8__48_22.min1.thm12017-02-06 12:46 345  
[   ]sin_cos8__48_22.min1.thm1.tptp2017-02-06 16:47 269  
[   ]sin_cos8__50_30.min1.thm12017-02-06 12:46 509  
[   ]sin_cos8__50_30.min1.thm1.tptp2017-02-06 16:47 432  
[   ]sin_cos8__51_31.min1.thm12017-02-06 12:46 603  
[   ]sin_cos8__52_20.min1.thm12017-02-06 12:46 345  
[   ]sin_cos8__52_20.min1.thm1.tptp2017-02-06 16:47 269  
[   ]sin_cos8__53_23.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__54_24.min1.thm12017-02-06 12:46 445  
[   ]sin_cos8__54_24.min1.thm1.tptp2017-02-06 16:47 369  
[   ]sin_cos8__55_57.min1.thm12017-02-06 12:46 895  
[   ]sin_cos8__61_50.min1.thm12017-02-06 12:46 479  
[   ]sin_cos8__61_50.min1.thm1.tptp2017-02-06 16:47 403  
[   ]sin_cos8__62_31.min1.thm12017-02-06 12:46 497  
[   ]sin_cos8__62_31.min1.thm1.tptp2017-02-06 16:47 421  
[   ]sin_cos8__64_14.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__70_22.min1.thm12017-02-06 12:46 337  
[   ]sin_cos8__70_22.min1.thm1.tptp2017-02-06 16:47 261  
[   ]sin_cos8__72_11.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__73_21.min1.thm12017-02-06 12:46 345  
[   ]sin_cos8__73_21.min1.thm1.tptp2017-02-06 16:47 269  
[   ]sin_cos8__74_23.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__75_24.min1.thm12017-02-06 12:46 445  
[   ]sin_cos8__75_24.min1.thm1.tptp2017-02-06 16:47 369  
[   ]sin_cos8__76_25.min1.thm12017-02-06 12:46 427  
[   ]sin_cos8__76_25.min1.thm1.tptp2017-02-06 16:47 351  
[   ]sin_cos8__77_17.min1.thm12017-02-06 12:46 452  
[   ]sin_cos8__77_17.min1.thm1.tptp2017-02-06 16:47 372  
[   ]sin_cos8__82_19.min1.thm12017-02-06 12:46 335  
[   ]sin_cos8__82_19.min1.thm1.tptp2017-02-06 16:47 252  
[   ]sin_cos8__84_32.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__87_19.min1.thm12017-02-06 12:46 761  
[   ]sin_cos8__88_17.min1.thm12017-02-06 12:46 608  
[   ]sin_cos8__89_30.min1.thm12017-02-06 12:46 809  
[   ]sin_cos8__90_17.min1.thm12017-02-06 12:46 929  
[   ]sin_cos8__109_30.min1.thm12017-02-06 12:46 371  
[   ]sin_cos8__109_30.min1.thm1.tptp2017-02-06 16:47 295  
[   ]sin_cos8__111_28.min1.thm12017-02-06 12:46 371  
[   ]sin_cos8__111_28.min1.thm1.tptp2017-02-06 16:47 295  
[   ]sin_cos8__113_26.min1.thm12017-02-06 12:46 497  
[   ]sin_cos8__113_26.min1.thm1.tptp2017-02-06 16:47 421  
[   ]sin_cos8__114_17.min1.thm12017-02-06 12:46 933  
[   ]sin_cos8__120_25.min1.thm12017-02-06 12:46 371  
[   ]sin_cos8__120_25.min1.thm1.tptp2017-02-06 16:47 295  
[   ]sin_cos8__121_17.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__122_17.min1.thm12017-02-06 12:46 371  
[   ]sin_cos8__122_17.min1.thm1.tptp2017-02-06 16:47 295  
[   ]sin_cos8__123_25.min1.thm12017-02-06 12:46 371  
[   ]sin_cos8__123_25.min1.thm1.tptp2017-02-06 16:47 295  
[   ]sin_cos8__124_17.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__125_17.min1.thm12017-02-06 12:46 371  
[   ]sin_cos8__125_17.min1.thm1.tptp2017-02-06 16:47 295  
[   ]sin_cos8__127_32.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__128_21.min1.thm12017-02-06 12:46 773  
[   ]sin_cos8__129_19.min1.thm12017-02-06 12:46 842  
[   ]sin_cos8__130_25.min1.thm12017-02-06 12:46 371  
[   ]sin_cos8__130_25.min1.thm1.tptp2017-02-06 16:47 295  
[   ]sin_cos8__131_16.min1.thm12017-02-06 12:46 635  
[   ]sin_cos8__132_16.min1.thm12017-02-06 12:46 345  
[   ]sin_cos8__132_16.min1.thm1.tptp2017-02-06 16:47 269  
[   ]sin_cos8__134_27.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__135_16.min1.thm12017-02-06 12:46 816  
[   ]sin_cos8__136_32.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__137_28.min1.thm12017-02-06 12:46 738  
[   ]sin_cos8__138_17.min1.thm12017-02-06 12:46 795  
[   ]sin_cos8__139_17.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__145_28.min1.thm12017-02-06 12:46 547  
[   ]sin_cos8__146_20.min1.thm12017-02-06 12:46 859  
[   ]sin_cos8__147_28.min1.thm12017-02-06 12:46 547  
[   ]sin_cos8__148_19.min1.thm12017-02-06 12:46 859  
[   ]sin_cos8__149_29.min1.thm12017-02-06 12:46 440  
[   ]sin_cos8__149_29.min1.thm1.tptp2017-02-06 16:47 369  
[   ]sin_cos8__150_29.min1.thm12017-02-06 12:46 728  
[   ]sin_cos8__151_18.min1.thm12017-02-06 12:46 813  
[   ]sin_cos8__152_17.min1.thm12017-02-06 12:46 688  
[   ]sin_cos8__157_17.min1.thm12017-02-06 12:46 1.5K 
[   ]sin_cos8__159_20.min1.thm12017-02-06 12:46 493  
[   ]sin_cos8__160_18.min1.thm12017-02-06 12:46 2.2K 
[   ]sin_cos8__162_21.min1.thm12017-02-06 12:46 631  
[   ]sin_cos8__163_58.min1.thm12017-02-06 12:46 636  
[   ]sin_cos8__164_33.min1.thm12017-02-06 12:46 542  
[   ]sin_cos8__164_33.min1.thm1.tptp2017-02-06 16:47 465  
[   ]sin_cos8__173_36.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__174_15.min1.thm12017-02-06 12:46 440  
[   ]sin_cos8__174_15.min1.thm1.tptp2017-02-06 16:47 363  
[   ]sin_cos8__175_20.min1.thm12017-02-06 12:46 433  
[   ]sin_cos8__177_20.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__178_17.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__179_8.min1.thm12017-02-06 12:46 207  
[   ]sin_cos8__180_17.min1.thm12017-02-06 12:46 2.1K 
[   ]sin_cos8__186_19.min1.thm12017-02-06 12:46 392  
[   ]sin_cos8__186_19.min1.thm1.tptp2017-02-06 16:47 319  
[   ]sin_cos8__189_14.min1.thm12017-02-06 12:46 1.5K 
[   ]sin_cos8__192_24.min1.thm12017-02-06 12:46 849  
[   ]sin_cos8__194_19.min1.thm12017-02-06 12:46 591  
[   ]sin_cos8__198_19.min1.thm12017-02-06 12:46 768  
[   ]sin_cos8__206_22.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__207_17.min1.thm12017-02-06 12:46 408  
[   ]sin_cos8__207_17.min1.thm1.tptp2017-02-06 16:47 331  
[   ]sin_cos8__208_28.min1.thm12017-02-06 12:46 547  
[   ]sin_cos8__209_19.min1.thm12017-02-06 12:46 859  
[   ]sin_cos8__211_16.min1.thm12017-02-06 12:46 612  
[   ]sin_cos8__212_42.min1.thm12017-02-06 12:46 786  
[   ]sin_cos8__213_41.min1.thm12017-02-06 12:46 743  
[   ]sin_cos8__214_37.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__215_17.min1.thm12017-02-06 12:46 725  
[   ]sin_cos8__215_17.min1.thm1.tptp2017-02-06 16:47 645  
[   ]sin_cos8__222_55.min1.thm12017-02-06 12:46 486  
[   ]sin_cos8__222_55.min1.thm1.tptp2017-02-06 16:47 410  
[   ]sin_cos8__223_30.min1.thm12017-02-06 12:46 504  
[   ]sin_cos8__223_30.min1.thm1.tptp2017-02-06 16:47 428  
[   ]sin_cos8__225_30.min1.thm12017-02-06 12:46 566  
[   ]sin_cos8__225_30.min1.thm1.tptp2017-02-06 16:47 490  
[   ]sin_cos8__226_29.min1.thm12017-02-06 12:46 548  
[   ]sin_cos8__226_29.min1.thm1.tptp2017-02-06 16:47 472  
[   ]sin_cos8__227_52.min1.thm12017-02-06 12:46 768  
[   ]sin_cos8__228_33.min1.thm12017-02-06 12:46 796  
[   ]sin_cos8__228_33.min1.thm1.tptp2017-02-06 16:47 733  
[   ]sin_cos8__229_32.min1.thm12017-02-06 12:46 512  
[   ]sin_cos8__229_32.min1.thm1.tptp2017-02-06 16:47 436  
[   ]sin_cos8__230_31.min1.thm12017-02-06 12:46 530  
[   ]sin_cos8__230_31.min1.thm1.tptp2017-02-06 16:47 454  
[   ]sin_cos8__231_32.min1.thm12017-02-06 12:46 822  
[   ]sin_cos8__235_28.min1.thm12017-02-06 12:46 1.5K 
[   ]sin_cos8__236_30.min1.thm12017-02-06 12:46 567  
[   ]sin_cos8__236_30.min1.thm1.tptp2017-02-06 16:47 491  
[   ]sin_cos8__237_29.min1.thm12017-02-06 12:46 549  
[   ]sin_cos8__237_29.min1.thm1.tptp2017-02-06 16:47 473  
[   ]sin_cos8__238_17.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__238_17.min1.thm1.tptp2017-02-06 16:47 1.0K 
[   ]sin_cos8__247_19.min1.thm12017-02-06 12:46 702  
[   ]sin_cos8__248_21.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__249_62.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__250_57.min1.thm12017-02-06 12:46 1.8K 
[   ]sin_cos8__251_50.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__254_59.min1.thm12017-02-06 12:46 1.5K 
[   ]sin_cos8__258_53.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__261_11.min1.thm12017-02-06 12:46 1.6K 
[   ]sin_cos8__263_15.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__264_67.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__266_57.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__267_65.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__268_47.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__269_37.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__271_40.min1.thm12017-02-06 12:46 941  
[   ]sin_cos8__271_40.min1.thm1.tptp2017-02-06 16:47 872  
[   ]sin_cos8__272_25.min1.thm12017-02-06 12:46 793  
[   ]sin_cos8__272_25.min1.thm1.tptp2017-02-06 16:47 724  
[   ]sin_cos8__274_40.min1.thm12017-02-06 12:46 941  
[   ]sin_cos8__274_40.min1.thm1.tptp2017-02-06 16:47 872  
[   ]sin_cos8__275_25.min1.thm12017-02-06 12:46 793  
[   ]sin_cos8__275_25.min1.thm1.tptp2017-02-06 16:47 724  
[   ]sin_cos8__276_20.min1.thm12017-02-06 12:46 827  
[   ]sin_cos8__277_57.min1.thm12017-02-06 12:46 892  
[   ]sin_cos8__278_57.min1.thm12017-02-06 12:46 1.8K 
[   ]sin_cos8__279_50.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__282_60.min1.thm12017-02-06 12:46 1.5K 
[   ]sin_cos8__286_53.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__289_10.min1.thm12017-02-06 12:46 1.6K 
[   ]sin_cos8__291_15.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__292_67.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__294_57.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__295_65.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__296_47.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__297_37.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__298_17.min1.thm12017-02-06 12:46 2.5K 
[   ]sin_cos8__308_38.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__309_23.min1.thm12017-02-06 12:46 934  
[   ]sin_cos8__310_41.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__311_33.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__312_38.min1.thm12017-02-06 12:46 969  
[   ]sin_cos8__313_23.min1.thm12017-02-06 12:46 934  
[   ]sin_cos8__314_41.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__315_33.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__316_46.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__316_46.min1.thm1.tptp2017-02-06 16:47 1.2K 
[   ]sin_cos8__318_43.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__318_43.min1.thm1.tptp2017-02-06 16:47 1.2K 
[   ]sin_cos8__320_17.min1.thm12017-02-06 12:46 921  
[   ]sin_cos8__320_17.min1.thm1.tptp2017-02-06 16:47 841  
[   ]sin_cos8__329_4.min1.thm12017-02-06 12:46 1.7K 
[   ]sin_cos8__331_17.min1.thm12017-02-06 12:46 813  
[   ]sin_cos8__331_17.min1.thm1.tptp2017-02-06 16:47 731  
[   ]sin_cos8__339_71.min1.thm12017-02-06 12:46 600  
[   ]sin_cos8__339_71.min1.thm1.tptp2017-02-06 16:47 524  
[   ]sin_cos8__341_39.min1.thm12017-02-06 12:46 618  
[   ]sin_cos8__341_39.min1.thm1.tptp2017-02-06 16:47 542  
[   ]sin_cos8__342_38.min1.thm12017-02-06 12:46 636  
[   ]sin_cos8__342_38.min1.thm1.tptp2017-02-06 16:47 560  
[   ]sin_cos8__343_37.min1.thm12017-02-06 12:46 654  
[   ]sin_cos8__343_37.min1.thm1.tptp2017-02-06 16:47 578  
[   ]sin_cos8__345_19.min1.thm12017-02-06 12:46 406  
[   ]sin_cos8__345_19.min1.thm1.tptp2017-02-06 16:47 330  
[   ]sin_cos8__346_71.min1.thm12017-02-06 12:46 600  
[   ]sin_cos8__346_71.min1.thm1.tptp2017-02-06 16:47 524  
[   ]sin_cos8__348_39.min1.thm12017-02-06 12:46 618  
[   ]sin_cos8__348_39.min1.thm1.tptp2017-02-06 16:47 542  
[   ]sin_cos8__349_38.min1.thm12017-02-06 12:46 636  
[   ]sin_cos8__349_38.min1.thm1.tptp2017-02-06 16:47 560  
[   ]sin_cos8__350_37.min1.thm12017-02-06 12:46 654  
[   ]sin_cos8__350_37.min1.thm1.tptp2017-02-06 16:47 578  
[   ]sin_cos8__352_19.min1.thm12017-02-06 12:46 406  
[   ]sin_cos8__352_19.min1.thm1.tptp2017-02-06 16:47 330  
[   ]sin_cos8__353_29.min1.thm12017-02-06 12:46 406  
[   ]sin_cos8__353_29.min1.thm1.tptp2017-02-06 16:47 330  
[   ]sin_cos8__355_44.min1.thm12017-02-06 12:46 692  
[   ]sin_cos8__355_44.min1.thm1.tptp2017-02-06 16:47 616  
[   ]sin_cos8__356_45.min1.thm12017-02-06 12:46 674  
[   ]sin_cos8__356_45.min1.thm1.tptp2017-02-06 16:47 598  
[   ]sin_cos8__357_46.min1.thm12017-02-06 12:46 656  
[   ]sin_cos8__357_46.min1.thm1.tptp2017-02-06 16:47 580  
[   ]sin_cos8__358_47.min1.thm12017-02-06 12:46 638  
[   ]sin_cos8__358_47.min1.thm1.tptp2017-02-06 16:47 562  
[   ]sin_cos8__359_29.min1.thm12017-02-06 12:46 406  
[   ]sin_cos8__359_29.min1.thm1.tptp2017-02-06 16:47 330  
[   ]sin_cos8__361_44.min1.thm12017-02-06 12:46 692  
[   ]sin_cos8__361_44.min1.thm1.tptp2017-02-06 16:47 616  
[   ]sin_cos8__362_45.min1.thm12017-02-06 12:46 674  
[   ]sin_cos8__362_45.min1.thm1.tptp2017-02-06 16:47 598  
[   ]sin_cos8__363_46.min1.thm12017-02-06 12:46 656  
[   ]sin_cos8__363_46.min1.thm1.tptp2017-02-06 16:47 580  
[   ]sin_cos8__364_47.min1.thm12017-02-06 12:46 638  
[   ]sin_cos8__364_47.min1.thm1.tptp2017-02-06 16:47 562  
[   ]sin_cos8__365_71.min1.thm12017-02-06 12:46 600  
[   ]sin_cos8__365_71.min1.thm1.tptp2017-02-06 16:47 524  
[   ]sin_cos8__367_39.min1.thm12017-02-06 12:46 618  
[   ]sin_cos8__367_39.min1.thm1.tptp2017-02-06 16:47 542  
[   ]sin_cos8__368_38.min1.thm12017-02-06 12:46 636  
[   ]sin_cos8__368_38.min1.thm1.tptp2017-02-06 16:47 560  
[   ]sin_cos8__369_37.min1.thm12017-02-06 12:46 654  
[   ]sin_cos8__369_37.min1.thm1.tptp2017-02-06 16:47 578  
[   ]sin_cos8__371_19.min1.thm12017-02-06 12:46 406  
[   ]sin_cos8__371_19.min1.thm1.tptp2017-02-06 16:47 330  
[   ]sin_cos8__372_69.min1.thm12017-02-06 12:46 600  
[   ]sin_cos8__372_69.min1.thm1.tptp2017-02-06 16:47 524  
[   ]sin_cos8__374_39.min1.thm12017-02-06 12:46 618  
[   ]sin_cos8__374_39.min1.thm1.tptp2017-02-06 16:47 542  
[   ]sin_cos8__375_38.min1.thm12017-02-06 12:46 636  
[   ]sin_cos8__375_38.min1.thm1.tptp2017-02-06 16:47 560  
[   ]sin_cos8__376_37.min1.thm12017-02-06 12:46 654  
[   ]sin_cos8__376_37.min1.thm1.tptp2017-02-06 16:47 578  
[   ]sin_cos8__378_19.min1.thm12017-02-06 12:46 406  
[   ]sin_cos8__378_19.min1.thm1.tptp2017-02-06 16:47 330  
[   ]sin_cos8__379_17.min1.thm12017-02-06 12:46 2.9K 
[   ]sin_cos8__388_19.min1.thm12017-02-06 12:46 612  
[   ]sin_cos8__389_48.min1.thm12017-02-06 12:46 859  
[   ]sin_cos8__390_51.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__391_59.min1.thm12017-02-06 12:46 776  
[   ]sin_cos8__391_59.min1.thm1.tptp2017-02-06 16:47 705  
[   ]sin_cos8__393_4.min1.thm12017-02-06 12:46 1.8K 
[   ]sin_cos8__394_61.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__395_37.min1.thm12017-02-06 12:46 1.5K 
[   ]sin_cos8__396_46.min1.thm12017-02-06 12:46 859  
[   ]sin_cos8__397_49.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__398_58.min1.thm12017-02-06 12:46 776  
[   ]sin_cos8__398_58.min1.thm1.tptp2017-02-06 16:47 705  
[   ]sin_cos8__399_76.min1.thm12017-02-06 12:46 1.8K 
[   ]sin_cos8__401_61.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__402_37.min1.thm12017-02-06 12:46 1.5K 
[   ]sin_cos8__403_17.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__403_17.min1.thm1.tptp2017-02-06 16:47 963  
[   ]sin_cos8__413_59.min1.thm12017-02-06 12:46 1.8K 
[   ]sin_cos8__414_35.min1.thm12017-02-06 12:46 1.6K 
[   ]sin_cos8__417_59.min1.thm12017-02-06 12:46 1.8K 
[   ]sin_cos8__418_35.min1.thm12017-02-06 12:46 1.6K 
[   ]sin_cos8__421_59.min1.thm12017-02-06 12:46 1.8K 
[   ]sin_cos8__422_35.min1.thm12017-02-06 12:46 1.6K 
[   ]sin_cos8__425_61.min1.thm12017-02-06 12:46 1.8K 
[   ]sin_cos8__426_37.min1.thm12017-02-06 12:46 1.6K 
[   ]sin_cos8__427_17.min1.thm12017-02-06 12:46 2.1K 
[   ]sin_cos8__433_49.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__434_55.min1.thm12017-02-06 12:46 753  
[   ]sin_cos8__434_55.min1.thm1.tptp2017-02-06 16:47 682  
[   ]sin_cos8__437_71.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__437_71.min1.thm1.tptp2017-02-06 16:47 1.0K 
[   ]sin_cos8__441_4.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__444_31.min1.thm12017-02-06 12:46 817  
[   ]sin_cos8__444_31.min1.thm1.tptp2017-02-06 16:47 746  
[   ]sin_cos8__445_14.min1.thm12017-02-06 12:46 646  
[   ]sin_cos8__453_69.min1.thm12017-02-06 12:46 738  
[   ]sin_cos8__453_69.min1.thm1.tptp2017-02-06 16:47 662  
[   ]sin_cos8__455_41.min1.thm12017-02-06 12:46 756  
[   ]sin_cos8__455_41.min1.thm1.tptp2017-02-06 16:47 680  
[   ]sin_cos8__457_24.min1.thm12017-02-06 12:46 450  
[   ]sin_cos8__457_24.min1.thm1.tptp2017-02-06 16:47 374  
[   ]sin_cos8__458_25.min1.thm12017-02-06 12:46 432  
[   ]sin_cos8__458_25.min1.thm1.tptp2017-02-06 16:47 356  
[   ]sin_cos8__459_69.min1.thm12017-02-06 12:46 738  
[   ]sin_cos8__459_69.min1.thm1.tptp2017-02-06 16:47 662  
[   ]sin_cos8__461_41.min1.thm12017-02-06 12:46 756  
[   ]sin_cos8__461_41.min1.thm1.tptp2017-02-06 16:47 680  
[   ]sin_cos8__463_24.min1.thm12017-02-06 12:46 450  
[   ]sin_cos8__463_24.min1.thm1.tptp2017-02-06 16:47 374  
[   ]sin_cos8__464_25.min1.thm12017-02-06 12:46 432  
[   ]sin_cos8__464_25.min1.thm1.tptp2017-02-06 16:47 356  
[   ]sin_cos8__465_65.min1.thm12017-02-06 12:46 574  
[   ]sin_cos8__465_65.min1.thm1.tptp2017-02-06 16:47 498  
[   ]sin_cos8__467_37.min1.thm12017-02-06 12:46 592  
[   ]sin_cos8__467_37.min1.thm1.tptp2017-02-06 16:47 516  
[   ]sin_cos8__468_36.min1.thm12017-02-06 12:46 610  
[   ]sin_cos8__468_36.min1.thm1.tptp2017-02-06 16:47 534  
[   ]sin_cos8__470_24.min1.thm12017-02-06 12:46 450  
[   ]sin_cos8__470_24.min1.thm1.tptp2017-02-06 16:47 374  
[   ]sin_cos8__471_25.min1.thm12017-02-06 12:46 432  
[   ]sin_cos8__471_25.min1.thm1.tptp2017-02-06 16:47 356  
[   ]sin_cos8__472_65.min1.thm12017-02-06 12:46 574  
[   ]sin_cos8__472_65.min1.thm1.tptp2017-02-06 16:47 498  
[   ]sin_cos8__474_37.min1.thm12017-02-06 12:46 592  
[   ]sin_cos8__474_37.min1.thm1.tptp2017-02-06 16:47 516  
[   ]sin_cos8__475_36.min1.thm12017-02-06 12:46 610  
[   ]sin_cos8__475_36.min1.thm1.tptp2017-02-06 16:47 534  
[   ]sin_cos8__477_24.min1.thm12017-02-06 12:46 450  
[   ]sin_cos8__477_24.min1.thm1.tptp2017-02-06 16:47 374  
[   ]sin_cos8__478_25.min1.thm12017-02-06 12:46 432  
[   ]sin_cos8__478_25.min1.thm1.tptp2017-02-06 16:47 356  
[   ]sin_cos8__479_69.min1.thm12017-02-06 12:46 738  
[   ]sin_cos8__479_69.min1.thm1.tptp2017-02-06 16:47 662  
[   ]sin_cos8__481_41.min1.thm12017-02-06 12:46 756  
[   ]sin_cos8__481_41.min1.thm1.tptp2017-02-06 16:47 680  
[   ]sin_cos8__483_24.min1.thm12017-02-06 12:46 450  
[   ]sin_cos8__483_24.min1.thm1.tptp2017-02-06 16:47 374  
[   ]sin_cos8__484_25.min1.thm12017-02-06 12:46 432  
[   ]sin_cos8__484_25.min1.thm1.tptp2017-02-06 16:47 356  
[   ]sin_cos8__485_67.min1.thm12017-02-06 12:46 738  
[   ]sin_cos8__485_67.min1.thm1.tptp2017-02-06 16:47 662  
[   ]sin_cos8__487_41.min1.thm12017-02-06 12:46 756  
[   ]sin_cos8__487_41.min1.thm1.tptp2017-02-06 16:47 680  
[   ]sin_cos8__489_24.min1.thm12017-02-06 12:46 450  
[   ]sin_cos8__489_24.min1.thm1.tptp2017-02-06 16:47 374  
[   ]sin_cos8__490_25.min1.thm12017-02-06 12:46 432  
[   ]sin_cos8__490_25.min1.thm1.tptp2017-02-06 16:47 356  
[   ]sin_cos8__491_17.min1.thm12017-02-06 12:46 3.5K 
[   ]sin_cos8__499_28.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__503_33.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__506_26.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__510_33.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__512_17.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__512_17.min1.thm1.tptp2017-02-06 16:47 1.2K 
[   ]sin_cos8__519_21.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__520_73.min1.thm12017-02-06 12:46 2.2K 
[   ]sin_cos8__524_59.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__525_59.min1.thm12017-02-06 12:46 1.5K 
[   ]sin_cos8__527_14.min1.thm12017-02-06 12:46 800  
[   ]sin_cos8__534_21.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__539_57.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__540_57.min1.thm12017-02-06 12:46 1.5K 
[   ]sin_cos8__542_14.min1.thm12017-02-06 12:46 800  
[   ]sin_cos8__551_25.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__553_21.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__554_71.min1.thm12017-02-06 12:46 2.2K 
[   ]sin_cos8__555_75.min1.thm12017-02-06 12:46 1.8K 
[   ]sin_cos8__557_45.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__562_45.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__563_14.min1.thm12017-02-06 12:46 776  
[   ]sin_cos8__572_25.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__574_21.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__576_75.min1.thm12017-02-06 12:46 1.8K 
[   ]sin_cos8__580_41.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__587_45.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__588_14.min1.thm12017-02-06 12:46 776  
[   ]sin_cos8__595_25.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__596_25.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__598_21.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__599_73.min1.thm12017-02-06 12:46 3.1K 
[   ]sin_cos8__600_72.min1.thm12017-02-06 12:46 1.6K 
[   ]sin_cos8__602_67.min1.thm12017-02-06 12:46 1.5K 
[   ]sin_cos8__603_41.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__604_23.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__606_21.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__607_71.min1.thm12017-02-06 12:46 2.2K 
[   ]sin_cos8__608_73.min1.thm12017-02-06 12:46 1.8K 
[   ]sin_cos8__610_45.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__612_23.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__613_17.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__613_17.min1.thm1.tptp2017-02-06 16:47 1.1K 
[   ]sin_cos8__619_34.min1.thm12017-02-06 12:46 721  
[   ]sin_cos8__621_16.min1.thm12017-02-06 12:46 1.8K 
[   ]sin_cos8__622_67.min1.thm12017-02-06 12:46 2.0K 
[   ]sin_cos8__623_29.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__624_14.min1.thm12017-02-06 12:46 724  
[   ]sin_cos8__629_15.min1.thm12017-02-06 12:46 440  
[   ]sin_cos8__629_15.min1.thm1.tptp2017-02-06 16:47 363  
[   ]sin_cos8__630_20.min1.thm12017-02-06 12:46 433  
[   ]sin_cos8__631_14.min1.thm12017-02-06 12:46 1.7K 
[   ]sin_cos8__636_15.min1.thm12017-02-06 12:46 440  
[   ]sin_cos8__636_15.min1.thm1.tptp2017-02-06 16:47 363  
[   ]sin_cos8__638_17.min1.thm12017-02-06 12:46 433  
[   ]sin_cos8__639_17.min1.thm12017-02-06 12:46 392  
[   ]sin_cos8__639_17.min1.thm1.tptp2017-02-06 16:47 319  
[   ]sin_cos8__640_26.min1.thm12017-02-06 12:46 920  
[   ]sin_cos8__648_78.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__651_44.min1.thm12017-02-06 12:46 2.6K 
[   ]sin_cos8__655_45.min1.thm12017-02-06 12:46 2.1K 
[   ]sin_cos8__657_73.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__659_27.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__660_17.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__661_14.min1.thm12017-02-06 12:46 924  
[   ]sin_cos8__668_18.min1.thm12017-02-06 12:46 612  
[   ]sin_cos8__670_40.min1.thm12017-02-06 12:46 786  
[   ]sin_cos8__671_25.min1.thm12017-02-06 12:46 524  
[   ]sin_cos8__671_25.min1.thm1.tptp2017-02-06 16:47 453  
[   ]sin_cos8__672_18.min1.thm12017-02-06 12:46 612  
[   ]sin_cos8__674_58.min1.thm12017-02-06 12:46 927  
[   ]sin_cos8__675_17.min1.thm12017-02-06 12:46 440  
[   ]sin_cos8__675_17.min1.thm1.tptp2017-02-06 16:47 369  
[   ]sin_cos8__676_74.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__678_61.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__679_53.min1.thm12017-02-06 12:46 776  
[   ]sin_cos8__679_53.min1.thm1.tptp2017-02-06 16:47 705  
[   ]sin_cos8__680_43.min1.thm12017-02-06 12:46 692  
[   ]sin_cos8__680_43.min1.thm1.tptp2017-02-06 16:47 621  
[   ]sin_cos8__681_17.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__690_19.min1.thm12017-02-06 12:46 612  
[   ]sin_cos8__691_32.min1.thm12017-02-06 12:46 721  
[   ]sin_cos8__693_27.min1.thm12017-02-06 12:46 706  
[   ]sin_cos8__694_56.min1.thm12017-02-06 12:46 1.6K 
[   ]sin_cos8__695_69.min1.thm12017-02-06 12:46 1.7K 
[   ]sin_cos8__697_29.min1.thm12017-02-06 12:46 2.5K 
[   ]sin_cos8__701_72.min1.thm12017-02-06 12:46 2.3K 
[   ]sin_cos8__706_56.min1.thm12017-02-06 12:46 1.6K 
[   ]sin_cos8__707_69.min1.thm12017-02-06 12:46 1.7K 
[   ]sin_cos8__709_21.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__711_31.min1.thm12017-02-06 12:46 1.6K 
[   ]sin_cos8__721_61.min1.thm12017-02-06 12:46 1.8K 
[   ]sin_cos8__723_69.min1.thm12017-02-06 12:46 2.0K 
[   ]sin_cos8__742_26.min1.thm12017-02-06 12:46 2.9K 
[   ]sin_cos8__747_10.min1.thm12017-02-06 12:46 2.8K 
[   ]sin_cos8__749_14.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__759_18.min1.thm12017-02-06 12:46 2.3K 
[   ]sin_cos8__764_14.min1.thm12017-02-06 12:46 2.9K 
[   ]sin_cos8__779_27.min1.thm12017-02-06 12:46 3.1K 
[   ]sin_cos8__794_36.min1.thm12017-02-06 12:46 3.3K 
[   ]sin_cos8__814_41.min1.thm12017-02-06 12:46 2.4K 
[   ]sin_cos8__823_29.min1.thm12017-02-06 12:46 438  
[   ]sin_cos8__823_29.min1.thm1.tptp2017-02-06 16:47 362  
[   ]sin_cos8__826_30.min1.thm12017-02-06 12:46 450  
[   ]sin_cos8__826_30.min1.thm1.tptp2017-02-06 16:47 374  
[   ]sin_cos8__827_14.min1.thm12017-02-06 12:46 412  
[   ]sin_cos8__835_14.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__836_25.min1.thm12017-02-06 12:46 575  
[   ]sin_cos8__837_31.min1.thm12017-02-06 12:46 464  
[   ]sin_cos8__837_31.min1.thm1.tptp2017-02-06 16:47 388  
[   ]sin_cos8__840_32.min1.thm12017-02-06 12:46 476  
[   ]sin_cos8__840_32.min1.thm1.tptp2017-02-06 16:47 400  
[   ]sin_cos8__841_14.min1.thm12017-02-06 12:46 438  
[   ]sin_cos8__848_29.min1.thm12017-02-06 12:46 386  
[   ]sin_cos8__848_29.min1.thm1.tptp2017-02-06 16:47 310  
[   ]sin_cos8__850_24.min1.thm12017-02-06 12:46 450  
[   ]sin_cos8__850_24.min1.thm1.tptp2017-02-06 16:47 374  
[   ]sin_cos8__851_29.min1.thm12017-02-06 12:46 386  
[   ]sin_cos8__851_29.min1.thm1.tptp2017-02-06 16:47 310  
[   ]sin_cos8__853_35.min1.thm12017-02-06 12:46 552  
[   ]sin_cos8__853_35.min1.thm1.tptp2017-02-06 16:47 476  
[   ]sin_cos8__854_35.min1.thm12017-02-06 12:46 534  
[   ]sin_cos8__854_35.min1.thm1.tptp2017-02-06 16:47 458  
[   ]sin_cos8__855_27.min1.thm12017-02-06 12:46 386  
[   ]sin_cos8__855_27.min1.thm1.tptp2017-02-06 16:47 310  
[   ]sin_cos8__857_26.min1.thm12017-02-06 12:46 488  
[   ]sin_cos8__857_26.min1.thm1.tptp2017-02-06 16:47 412  
[   ]sin_cos8__858_27.min1.thm12017-02-06 12:46 470  
[   ]sin_cos8__858_27.min1.thm1.tptp2017-02-06 16:47 394  
[   ]sin_cos8__859_17.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__869_18.min1.thm12017-02-06 12:46 612  
[   ]sin_cos8__870_36.min1.thm12017-02-06 12:46 717  
[   ]sin_cos8__870_36.min1.thm1.tptp2017-02-06 16:47 648  
[   ]sin_cos8__871_45.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__872_43.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__873_42.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__874_45.min1.thm12017-02-06 12:46 1.6K 
[   ]sin_cos8__875_47.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__876_37.min1.thm12017-02-06 12:46 646  
[   ]sin_cos8__876_37.min1.thm1.tptp2017-02-06 16:47 575  
[   ]sin_cos8__877_40.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__878_67.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__882_21.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__884_4.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__885_58.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__886_58.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__887_50.min1.thm12017-02-06 12:46 769  
[   ]sin_cos8__887_50.min1.thm1.tptp2017-02-06 16:47 698  
[   ]sin_cos8__888_36.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__894_37.min1.thm12017-02-06 12:46 803  
[   ]sin_cos8__894_37.min1.thm1.tptp2017-02-06 16:47 732  
[   ]sin_cos8__897_28.min1.thm12017-02-06 12:46 719  
[   ]sin_cos8__897_28.min1.thm1.tptp2017-02-06 16:47 648  
[   ]sin_cos8__901_36.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__901_36.min1.thm1.tptp2017-02-06 16:47 1.8K 
[   ]sin_cos8__909_18.min1.thm12017-02-06 12:46 612  
[   ]sin_cos8__910_33.min1.thm12017-02-06 12:46 707  
[   ]sin_cos8__910_33.min1.thm1.tptp2017-02-06 16:47 638  
[   ]sin_cos8__911_46.min1.thm12017-02-06 12:46 681  
[   ]sin_cos8__911_46.min1.thm1.tptp2017-02-06 16:47 610  
[   ]sin_cos8__914_42.min1.thm12017-02-06 12:46 929  
[   ]sin_cos8__916_57.min1.thm12017-02-06 12:46 2.1K 
[   ]sin_cos8__918_44.min1.thm12017-02-06 12:46 912  
[   ]sin_cos8__919_50.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__921_44.min1.thm12017-02-06 12:46 1.3K 
[   ]sin_cos8__923_39.min1.thm12017-02-06 12:46 1.2K 
[   ]sin_cos8__929_38.min1.thm12017-02-06 12:46 803  
[   ]sin_cos8__929_38.min1.thm1.tptp2017-02-06 16:47 732  
[   ]sin_cos8__932_43.min1.thm12017-02-06 12:46 849  
[   ]sin_cos8__932_43.min1.thm1.tptp2017-02-06 16:47 778  
[   ]sin_cos8__935_68.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__935_68.min1.thm1.tptp2017-02-06 16:47 1.0K 
[   ]sin_cos8__939_17.min1.thm12017-02-06 12:46 3.2K 
[   ]sin_cos8__947_75.min1.thm12017-02-06 12:46 2.0K 
[   ]sin_cos8__949_41.min1.thm12017-02-06 12:46 2.6K 
[   ]sin_cos8__953_59.min1.thm12017-02-06 12:46 2.8K 
[   ]sin_cos8__962_26.min1.thm12017-02-06 12:46 2.7K 
[   ]sin_cos8__968_63.min1.thm12017-02-06 12:46 2.8K 
[   ]sin_cos8__977_22.min1.thm12017-02-06 12:46 2.7K 
[   ]sin_cos8__981_14.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__989_37.min1.thm12017-02-06 12:46 593  
[   ]sin_cos8__989_37.min1.thm1.tptp2017-02-06 16:47 514  
[   ]sin_cos8__990_36.min1.thm12017-02-06 12:46 841  
[   ]sin_cos8__991_40.min1.thm12017-02-06 12:46 698  
[   ]sin_cos8__994_40.min1.thm12017-02-06 12:46 2.0K 
[   ]sin_cos8__995_14.min1.thm12017-02-06 12:46 496  
[   ]sin_cos8__1003_37.min1.thm12017-02-06 12:46 593  
[   ]sin_cos8__1003_37.min1.thm1.tptp2017-02-06 16:47 514  
[   ]sin_cos8__1004_36.min1.thm12017-02-06 12:46 841  
[   ]sin_cos8__1005_43.min1.thm12017-02-06 12:46 730  
[   ]sin_cos8__1006_41.min1.thm12017-02-06 12:46 1.4K 
[   ]sin_cos8__1009_41.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__1010_14.min1.thm12017-02-06 12:46 522  
[   ]sin_cos8__1025_67.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__1027_59.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__1027_59.min1.thm1.tptp2017-02-06 16:47 958  
[   ]sin_cos8__1029_34.min1.thm12017-02-06 12:46 287  
[   ]sin_cos8__1033_6.min1.thm12017-02-06 12:46 2.1K 
[   ]sin_cos8__1037_33.min1.thm12017-02-06 12:46 287  
[   ]sin_cos8__1047_33.min1.thm12017-02-06 12:46 287  
[   ]sin_cos8__1060_31.min1.thm12017-02-06 12:46 2.4K 
[   ]sin_cos8__1062_31.min1.thm12017-02-06 12:46 287  
[   ]sin_cos8__1068_40.min1.thm12017-02-06 12:46 2.4K 
[   ]sin_cos8__1078_17.min1.thm12017-02-06 12:46 3.5K 
[   ]sin_cos8__1088_35.min1.thm12017-02-06 12:46 357  
[   ]sin_cos8__1088_35.min1.thm1.tptp2017-02-06 16:47 268  
[   ]sin_cos8__1092_59.min1.thm12017-02-06 12:46 1.0K 
[   ]sin_cos8__1092_59.min1.thm1.tptp2017-02-06 16:47 926  
[   ]sin_cos8__1101_51.min1.thm12017-02-06 12:46 1.6K 
[   ]sin_cos8__1103_64.min1.thm12017-02-06 12:46 1.9K 
[   ]sin_cos8__1107_33.min1.thm12017-02-06 12:46 287  
[   ]sin_cos8__1111_7.min1.thm12017-02-06 12:46 2.1K 
[   ]sin_cos8__1115_33.min1.thm12017-02-06 12:46 287  
[   ]sin_cos8__1126_34.min1.thm12017-02-06 12:46 287  
[   ]sin_cos8__1137_31.min1.thm12017-02-06 12:46 287  
[   ]sin_cos8__1155_17.min1.thm12017-02-06 12:46 3.5K 
[   ]sin_cos8__1162_51.min1.thm12017-02-06 12:46 1.6K 
[   ]sin_cos8__1162_51.min1.thm1.tptp2017-02-06 16:47 1.5K 
[   ]sin_cos8__1165_49.min1.thm12017-02-06 12:46 1.6K 
[   ]sin_cos8__1165_49.min1.thm1.tptp2017-02-06 16:47 1.5K 
[   ]sin_cos8__1168_17.min1.thm12017-02-06 12:46 1.1K 
[   ]sin_cos8__1168_17.min1.thm1.tptp2017-02-06 16:47 1.0K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80