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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]afinsq_1__50_30.min1.thm12017-02-06 12:46 630  
[ ]afinsq_1__55_14.min1.thm12017-02-06 12:46 411  
[ ]afinsq_1__56_14.min1.thm12017-02-06 12:46 379  
[ ]afinsq_1__56_14.min1.thm1.tptp2017-02-06 16:48 300  
[ ]afinsq_1__65_37.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__66_9.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__67_15.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__68_17.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__81_9.min1.thm12017-02-06 12:46 599  
[ ]afinsq_1__82_26.min1.thm12017-02-06 12:46 2.5K 
[ ]afinsq_1__83_30.min1.thm12017-02-06 12:46 3.0K 
[ ]afinsq_1__84_34.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__85_19.min1.thm12017-02-06 12:46 493  
[ ]afinsq_1__85_19.min1.thm1.tptp2017-02-06 16:48 431  
[ ]afinsq_1__87_13.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__88_17.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__89_18.min1.thm12017-02-06 12:46 355  
[ ]afinsq_1__89_18.min1.thm1.tptp2017-02-06 16:48 274  
[ ]afinsq_1__90_17.min1.thm12017-02-06 12:46 608  
[ ]afinsq_1__97_22.min1.thm12017-02-06 12:46 789  
[ ]afinsq_1__107_11.min1.thm12017-02-06 12:46 623  
[ ]afinsq_1__118_30.min1.thm12017-02-06 12:46 649  
[ ]afinsq_1__119_17.min1.thm12017-02-06 12:46 879  
[ ]afinsq_1__127_19.min1.thm12017-02-06 12:46 178  
[ ]afinsq_1__128_16.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__141_53.min1.thm12017-02-06 12:46 749  
[ ]afinsq_1__142_18.min1.thm12017-02-06 12:46 946  
[ ]afinsq_1__156_33.min1.thm12017-02-06 12:46 942  
[ ]afinsq_1__161_17.min1.thm12017-02-06 12:46 509  
[ ]afinsq_1__163_19.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__164_12.min1.thm12017-02-06 12:46 815  
[ ]afinsq_1__165_17.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__179_52.min1.thm12017-02-06 12:46 550  
[ ]afinsq_1__180_19.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__184_35.min1.thm12017-02-06 12:46 948  
[ ]afinsq_1__186_16.min1.thm12017-02-06 12:46 846  
[ ]afinsq_1__194_35.min1.thm12017-02-06 12:46 948  
[ ]afinsq_1__196_16.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__205_14.min1.thm12017-02-06 12:46 701  
[ ]afinsq_1__206_15.min1.thm12017-02-06 12:46 921  
[ ]afinsq_1__207_41.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__209_16.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__218_38.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__219_17.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__232_41.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__233_16.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__234_22.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__236_17.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__241_11.min1.thm12017-02-06 12:46 480  
[ ]afinsq_1__241_11.min1.thm1.tptp2017-02-06 16:48 410  
[ ]afinsq_1__248_26.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__249_17.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__256_20.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__257_17.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__266_28.min1.thm12017-02-06 12:46 388  
[ ]afinsq_1__267_16.min1.thm12017-02-06 12:46 516  
[ ]afinsq_1__279_30.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__280_17.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__285_11.min1.thm12017-02-06 12:46 272  
[ ]afinsq_1__291_59.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__299_40.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__300_35.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__310_22.min1.thm12017-02-06 12:46 797  
[ ]afinsq_1__316_16.min1.thm12017-02-06 12:46 443  
[ ]afinsq_1__317_17.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__324_30.min1.thm12017-02-06 12:46 442  
[ ]afinsq_1__325_16.min1.thm12017-02-06 12:46 770  
[ ]afinsq_1__336_16.min1.thm12017-02-06 12:46 900  
[ ]afinsq_1__337_14.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__338_16.min1.thm12017-02-06 12:46 620  
[ ]afinsq_1__345_11.min1.thm12017-02-06 12:46 131  
[ ]afinsq_1__350_11.min1.thm12017-02-06 12:46 687  
[ ]afinsq_1__356_14.min1.thm12017-02-06 12:46 440  
[ ]afinsq_1__362_11.min1.thm12017-02-06 12:46 285  
[ ]afinsq_1__362_11.min1.thm1.tptp2017-02-06 16:48 202  
[ ]afinsq_1__372_37.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__376_37.min1.thm12017-02-06 12:46 1.8K 
[ ]afinsq_1__377_48.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__391_45.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__393_17.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__395_54.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__405_33.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__406_19.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__411_29.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__420_20.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__443_24.min1.thm12017-02-06 12:46 2.3K 
[ ]afinsq_1__447_18.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__450_19.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__452_17.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__459_32.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__460_17.min1.thm12017-02-06 12:46 908  
[ ]afinsq_1__468_39.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__470_14.min1.thm12017-02-06 12:46 2.1K 
[ ]afinsq_1__472_38.min1.thm12017-02-06 12:46 2.1K 
[ ]afinsq_1__473_17.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__480_45.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__481_14.min1.thm12017-02-06 12:46 436  
[ ]afinsq_1__488_24.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__493_12.min1.thm12017-02-06 12:46 811  
[ ]afinsq_1__494_39.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__498_17.min1.thm12017-02-06 12:46 485  
[ ]afinsq_1__498_17.min1.thm1.tptp2017-02-06 16:48 421  
[ ]afinsq_1__509_12.min1.thm12017-02-06 12:46 811  
[ ]afinsq_1__510_39.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__514_17.min1.thm12017-02-06 12:46 485  
[ ]afinsq_1__514_17.min1.thm1.tptp2017-02-06 16:48 421  
[ ]afinsq_1__526_39.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__529_24.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__534_22.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__544_19.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__546_25.min1.thm12017-02-06 12:46 843  
[ ]afinsq_1__548_32.min1.thm12017-02-06 12:46 681  
[ ]afinsq_1__550_33.min1.thm12017-02-06 12:46 571  
[ ]afinsq_1__550_33.min1.thm1.tptp2017-02-06 16:48 507  
[ ]afinsq_1__551_42.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__552_38.min1.thm12017-02-06 12:46 620  
[ ]afinsq_1__552_38.min1.thm1.tptp2017-02-06 16:48 549  
[ ]afinsq_1__553_17.min1.thm12017-02-06 12:46 695  
[ ]afinsq_1__564_24.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__586_37.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__591_19.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__591_19.min1.thm1.tptp2017-02-06 16:48 891  
[ ]afinsq_1__636_17.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__646_19.min1.thm12017-02-06 12:46 2.4K 
[ ]afinsq_1__661_17.min1.thm12017-02-06 12:46 2.4K 
[ ]afinsq_1__671_20.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__682_17.min1.thm12017-02-06 12:46 498  
[ ]afinsq_1__682_17.min1.thm1.tptp2017-02-06 16:48 424  
[ ]afinsq_1__683_45.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__684_25.min1.thm12017-02-06 12:46 654  
[ ]afinsq_1__685_19.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__693_25.min1.thm12017-02-06 12:46 541  
[ ]afinsq_1__694_17.min1.thm12017-02-06 12:46 510  
[ ]afinsq_1__702_11.min1.thm12017-02-06 12:46 739  
[ ]afinsq_1__706_49.min1.thm12017-02-06 12:46 969  
[ ]afinsq_1__710_42.min1.thm12017-02-06 12:46 565  
[ ]afinsq_1__716_24.min1.thm12017-02-06 12:46 737  
[ ]afinsq_1__718_16.min1.thm12017-02-06 12:46 353  
[ ]afinsq_1__718_16.min1.thm1.tptp2017-02-06 16:48 288  
[ ]afinsq_1__719_24.min1.thm12017-02-06 12:46 676  
[ ]afinsq_1__720_21.min1.thm12017-02-06 12:46 553  
[ ]afinsq_1__721_23.min1.thm12017-02-06 12:46 526  
[ ]afinsq_1__722_27.min1.thm12017-02-06 12:46 724  
[ ]afinsq_1__727_19.min1.thm12017-02-06 12:46 474  
[ ]afinsq_1__728_21.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__731_19.min1.thm12017-02-06 12:46 671  
[ ]afinsq_1__738_11.min1.thm12017-02-06 12:46 737  
[ ]afinsq_1__746_20.min1.thm12017-02-06 12:46 937  
[ ]afinsq_1__747_19.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__756_23.min1.thm12017-02-06 12:46 665  
[ ]afinsq_1__756_23.min1.thm1.tptp2017-02-06 16:48 591  
[ ]afinsq_1__758_26.min1.thm12017-02-06 12:46 918  
[ ]afinsq_1__759_28.min1.thm12017-02-06 12:46 311  
[ ]afinsq_1__760_20.min1.thm12017-02-06 12:46 563  
[ ]afinsq_1__761_33.min1.thm12017-02-06 12:46 647  
[ ]afinsq_1__762_28.min1.thm12017-02-06 12:46 404  
[ ]afinsq_1__762_28.min1.thm1.tptp2017-02-06 16:48 330  
[ ]afinsq_1__763_20.min1.thm12017-02-06 12:46 656  
[ ]afinsq_1__764_17.min1.thm12017-02-06 12:46 647  
[ ]afinsq_1__771_13.min1.thm12017-02-06 12:46 131  
[ ]afinsq_1__775_13.min1.thm12017-02-06 12:46 131  
[ ]afinsq_1__781_11.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__790_11.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__797_22.min1.thm12017-02-06 12:46 426  
[ ]afinsq_1__806_22.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__807_18.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__808_25.min1.thm12017-02-06 12:46 752  
[ ]afinsq_1__809_19.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__814_7.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__815_20.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__816_17.min1.thm12017-02-06 12:46 381  
[ ]afinsq_1__816_17.min1.thm1.tptp2017-02-06 16:48 316  
[ ]afinsq_1__817_17.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__826_11.min1.thm12017-02-06 12:46 365  
[ ]afinsq_1__827_24.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__829_17.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__835_30.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__837_21.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__838_19.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__840_10.min1.thm12017-02-06 12:46 955  
[ ]afinsq_1__854_25.min1.thm12017-02-06 12:46 2.1K 
[ ]afinsq_1__855_17.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__856_9.min1.thm12017-02-06 12:46 716  
[ ]afinsq_1__857_15.min1.thm12017-02-06 12:46 262  
[ ]afinsq_1__859_21.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__860_21.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__862_13.min1.thm12017-02-06 12:46 957  
[ ]afinsq_1__863_47.min1.thm12017-02-06 12:46 2.7K 
[ ]afinsq_1__865_13.min1.thm12017-02-06 12:46 957  
[ ]afinsq_1__876_15.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__877_41.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__878_18.min1.thm12017-02-06 12:46 423  
[ ]afinsq_1__878_18.min1.thm1.tptp2017-02-06 16:48 358  
[ ]afinsq_1__879_18.min1.thm12017-02-06 12:46 2.3K 
[ ]afinsq_1__880_19.min1.thm12017-02-06 12:46 849  
[ ]afinsq_1__886_20.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__887_15.min1.thm12017-02-06 12:46 333  
[ ]afinsq_1__887_15.min1.thm1.tptp2017-02-06 16:48 268  
[ ]afinsq_1__888_19.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__890_18.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__891_25.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__892_33.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__901_15.min1.thm12017-02-06 12:46 262  
[ ]afinsq_1__903_21.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__904_21.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__908_24.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__909_14.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__910_9.min1.thm12017-02-06 12:46 873  
[ ]afinsq_1__913_12.min1.thm12017-02-06 12:46 957  
[ ]afinsq_1__914_35.min1.thm12017-02-06 12:46 2.1K 
[ ]afinsq_1__916_12.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__917_52.min1.thm12017-02-06 12:46 2.8K 
[ ]afinsq_1__918_19.min1.thm12017-02-06 12:46 3.0K 
[ ]afinsq_1__919_13.min1.thm12017-02-06 12:46 957  
[ ]afinsq_1__928_23.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__931_33.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__932_32.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__933_19.min1.thm12017-02-06 12:46 2.2K 
[ ]afinsq_1__939_20.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__941_13.min1.thm12017-02-06 12:46 333  
[ ]afinsq_1__941_13.min1.thm1.tptp2017-02-06 16:48 268  
[ ]afinsq_1__942_45.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__943_18.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__945_18.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__946_29.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__947_37.min1.thm12017-02-06 12:46 1.8K 
[ ]afinsq_1__956_26.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__962_28.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__968_30.min1.thm12017-02-06 12:46 946  
[ ]afinsq_1__977_19.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__983_10.min1.thm12017-02-06 12:46 911  
[ ]afinsq_1__999_17.min1.thm12017-02-06 12:46 569  
[ ]afinsq_1__1000_18.min1.thm12017-02-06 12:46 866  
[ ]afinsq_1__1009_18.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__1010_35.min1.thm12017-02-06 12:46 921  
[ ]afinsq_1__1012_15.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__1015_16.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__1021_43.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1029_19.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1031_35.min1.thm12017-02-06 12:46 2.2K 
[ ]afinsq_1__1036_32.min1.thm12017-02-06 12:46 4.2K 
[ ]afinsq_1__1038_16.min1.thm12017-02-06 12:46 405  
[ ]afinsq_1__1038_16.min1.thm1.tptp2017-02-06 16:48 340  
[ ]afinsq_1__1040_20.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__1041_19.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__1046_15.min1.thm12017-02-06 12:46 4.0K 
[ ]afinsq_1__1054_11.min1.thm12017-02-06 12:46 889  
[ ]afinsq_1__1082_17.min1.thm12017-02-06 12:46 881  
[ ]afinsq_1__1083_21.min1.thm12017-02-06 12:46 301  
[ ]afinsq_1__1083_21.min1.thm1.tptp2017-02-06 16:48 215  
[ ]afinsq_1__1086_11.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__1097_20.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__1099_22.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__1101_21.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__1103_21.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1105_21.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__1109_17.min1.thm12017-02-06 12:46 914  
[ ]afinsq_1__1110_17.min1.thm12017-02-06 12:46 856  
[ ]afinsq_1__1132_27.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__1136_24.min1.thm12017-02-06 12:46 1.8K 
[ ]afinsq_1__1140_18.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__1154_18.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__1165_21.min1.thm12017-02-06 12:46 2.6K 
[ ]afinsq_1__1183_49.min1.thm12017-02-06 12:46 618  
[ ]afinsq_1__1185_46.min1.thm12017-02-06 12:46 536  
[ ]afinsq_1__1186_40.min1.thm12017-02-06 12:46 679  
[ ]afinsq_1__1186_40.min1.thm1.tptp2017-02-06 16:48 609  
[ ]afinsq_1__1187_18.min1.thm12017-02-06 12:46 530  
[ ]afinsq_1__1188_19.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__1204_19.min1.thm12017-02-06 12:46 587  
[ ]afinsq_1__1204_19.min1.thm1.tptp2017-02-06 16:48 529  
[ ]afinsq_1__1205_16.min1.thm12017-02-06 12:46 357  
[ ]afinsq_1__1205_16.min1.thm1.tptp2017-02-06 16:48 277  
[ ]afinsq_1__1210_44.min1.thm12017-02-06 12:46 433  
[ ]afinsq_1__1215_11.min1.thm12017-02-06 12:46 227  
[ ]afinsq_1__1216_17.min1.thm12017-02-06 12:46 608  
[ ]afinsq_1__1229_47.min1.thm12017-02-06 12:46 618  
[ ]afinsq_1__1229_47.min1.thm1.tptp2017-02-06 16:48 559  
[ ]afinsq_1__1230_16.min1.thm12017-02-06 12:46 509  
[ ]afinsq_1__1232_17.min1.thm12017-02-06 12:46 538  
[ ]afinsq_1__1247_29.min1.thm12017-02-06 12:46 668  
[ ]afinsq_1__1248_19.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__1260_23.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1261_37.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__1262_36.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__1263_16.min1.thm12017-02-06 12:46 611  
[ ]afinsq_1__1263_16.min1.thm1.tptp2017-02-06 16:48 562  
[ ]afinsq_1__1273_15.min1.thm12017-02-06 12:46 249  
[ ]afinsq_1__1276_44.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1278_54.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__1279_29.min1.thm12017-02-06 12:46 721  
[ ]afinsq_1__1281_28.min1.thm12017-02-06 12:46 955  
[ ]afinsq_1__1282_21.min1.thm12017-02-06 12:46 502  
[ ]afinsq_1__1282_21.min1.thm1.tptp2017-02-06 16:48 428  
[ ]afinsq_1__1283_42.min1.thm12017-02-06 12:46 879  
[ ]afinsq_1__1284_40.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__1288_34.min1.thm12017-02-06 12:46 892  
[ ]afinsq_1__1289_40.min1.thm12017-02-06 12:46 663  
[ ]afinsq_1__1301_20.min1.thm12017-02-06 12:46 516  
[ ]afinsq_1__1301_20.min1.thm1.tptp2017-02-06 16:48 442  
[ ]afinsq_1__1302_19.min1.thm12017-02-06 12:46 586  
[ ]afinsq_1__1311_19.min1.thm12017-02-06 12:46 516  
[ ]afinsq_1__1311_19.min1.thm1.tptp2017-02-06 16:48 442  
[ ]afinsq_1__1312_19.min1.thm12017-02-06 12:46 586  
[ ]afinsq_1__1327_24.min1.thm12017-02-06 12:46 872  
[ ]afinsq_1__1329_18.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__1330_30.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__1331_17.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__1333_15.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__1334_8.min1.thm12017-02-06 12:46 871  
[ ]afinsq_1__1335_30.min1.thm12017-02-06 12:46 479  
[ ]afinsq_1__1337_25.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__1354_15.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__1355_8.min1.thm12017-02-06 12:46 871  
[ ]afinsq_1__1356_39.min1.thm12017-02-06 12:46 530  
[ ]afinsq_1__1377_15.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__1378_8.min1.thm12017-02-06 12:46 871  
[ ]afinsq_1__1379_48.min1.thm12017-02-06 12:46 581  
[ ]afinsq_1__1401_15.min1.thm12017-02-06 12:46 2.1K 
[ ]afinsq_1__1402_8.min1.thm12017-02-06 12:46 871  
[ ]afinsq_1__1404_6.min1.thm12017-02-06 12:46 632  
[ ]afinsq_1__1427_15.min1.thm12017-02-06 12:46 2.2K 
[ ]afinsq_1__1428_8.min1.thm12017-02-06 12:46 871  
[ ]afinsq_1__1430_6.min1.thm12017-02-06 12:46 683  
[ ]afinsq_1__1453_15.min1.thm12017-02-06 12:46 2.3K 
[ ]afinsq_1__1454_8.min1.thm12017-02-06 12:46 871  
[ ]afinsq_1__1456_6.min1.thm12017-02-06 12:46 744  
[ ]afinsq_1__1469_20.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__1477_28.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1478_17.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__1488_17.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__1489_24.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__1498_22.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__1499_17.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__1505_19.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__1506_17.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__1516_21.min1.thm12017-02-06 12:46 731  
[ ]afinsq_1__1521_19.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__1525_15.min1.thm12017-02-06 12:46 287  
[ ]afinsq_1__1532_25.min1.thm12017-02-06 12:46 2.1K 
[ ]afinsq_1__1534_22.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__1539_28.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__1542_15.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__1553_17.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__1558_26.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__1562_23.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__1571_20.min1.thm12017-02-06 12:46 899  
[ ]afinsq_1__1572_33.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__1573_17.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__1582_13.min1.thm12017-02-06 12:46 309  
[ ]afinsq_1__1587_24.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__1589_16.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__1590_23.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__1599_25.min1.thm12017-02-06 12:46 1.8K 
[ ]afinsq_1__1606_23.min1.thm12017-02-06 12:46 2.9K 
[ ]afinsq_1__1608_25.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__1615_19.min1.thm12017-02-06 12:46 275  
[ ]afinsq_1__1618_30.min1.thm12017-02-06 12:46 961  
[ ]afinsq_1__1624_28.min1.thm12017-02-06 12:46 2.9K 
[ ]afinsq_1__1628_29.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__1632_31.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1634_32.min1.thm12017-02-06 12:46 687  
[ ]afinsq_1__1641_37.min1.thm12017-02-06 12:46 608  
[ ]afinsq_1__1646_14.min1.thm12017-02-06 12:46 448  
[ ]afinsq_1__1653_13.min1.thm12017-02-06 12:46 251  
[ ]afinsq_1__1656_24.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__1658_14.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1659_12.min1.thm12017-02-06 12:46 480  
[ ]afinsq_1__1659_12.min1.thm1.tptp2017-02-06 16:48 407  
[ ]afinsq_1__1660_21.min1.thm12017-02-06 12:46 690  
[ ]afinsq_1__1664_53.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__1674_17.min1.thm12017-02-06 12:46 911  
[ ]afinsq_1__1675_24.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__1677_27.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__1678_28.min1.thm12017-02-06 12:46 1.8K 
[ ]afinsq_1__1680_51.min1.thm12017-02-06 12:46 2.9K 
[ ]afinsq_1__1686_10.min1.thm12017-02-06 12:46 947  
[ ]afinsq_1__1689_21.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__1692_14.min1.thm12017-02-06 12:46 460  
[ ]afinsq_1__1713_15.min1.thm12017-02-06 12:46 955  
[ ]afinsq_1__1718_17.min1.thm12017-02-06 12:46 510  
[ ]afinsq_1__1718_17.min1.thm1.tptp2017-02-06 16:48 437  
[ ]afinsq_1__1719_23.min1.thm12017-02-06 12:46 2.2K 
[ ]afinsq_1__1724_20.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1725_18.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__1727_24.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1729_25.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__1736_17.min1.thm12017-02-06 12:46 3.4K 
[ ]afinsq_1__1749_13.min1.thm12017-02-06 12:46 845  
[ ]afinsq_1__1751_16.min1.thm12017-02-06 12:46 549  
[ ]afinsq_1__1752_17.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__1753_19.min1.thm12017-02-06 12:46 2.3K 
[ ]afinsq_1__1763_20.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__1764_15.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1779_45.min1.thm12017-02-06 12:46 682  
[ ]afinsq_1__1783_19.min1.thm12017-02-06 12:46 627  
[ ]afinsq_1__1787_14.min1.thm12017-02-06 12:46 859  
[ ]afinsq_1__1788_42.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1789_17.min1.thm12017-02-06 12:46 3.0K 
[ ]afinsq_1__1792_18.min1.thm12017-02-06 12:46 3.9K 
[ ]afinsq_1__1793_31.min1.thm12017-02-06 12:46 3.2K 
[ ]afinsq_1__1794_27.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1797_24.min1.thm12017-02-06 12:46 2.7K 
[ ]afinsq_1__1798_21.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__1801_29.min1.thm12017-02-06 12:46 699  
[ ]afinsq_1__1806_35.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__1807_21.min1.thm12017-02-06 12:46 663  
[ ]afinsq_1__1809_19.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__1830_28.min1.thm12017-02-06 12:46 756  
[ ]afinsq_1__1831_23.min1.thm12017-02-06 12:46 913  
[ ]afinsq_1__1851_48.min1.thm12017-02-06 12:46 620  
[ ]afinsq_1__1855_19.min1.thm12017-02-06 12:46 500  
[ ]afinsq_1__1855_19.min1.thm1.tptp2017-02-06 16:48 426  
[ ]afinsq_1__1859_14.min1.thm12017-02-06 12:46 806  
[ ]afinsq_1__1860_42.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1861_24.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__1862_19.min1.thm12017-02-06 12:46 1.8K 
[ ]afinsq_1__1863_21.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1865_19.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__1866_22.min1.thm12017-02-06 12:46 2.1K 
[ ]afinsq_1__1867_18.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__1869_28.min1.thm12017-02-06 12:46 2.5K 
[ ]afinsq_1__1872_25.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__1873_21.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1876_29.min1.thm12017-02-06 12:46 659  
[ ]afinsq_1__1877_25.min1.thm12017-02-06 12:46 907  
[ ]afinsq_1__1882_28.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1883_21.min1.thm12017-02-06 12:46 746  
[ ]afinsq_1__1885_19.min1.thm12017-02-06 12:46 777  
[ ]afinsq_1__1904_29.min1.thm12017-02-06 12:46 819  
[ ]afinsq_1__1905_23.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__1914_30.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__1929_16.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__1930_46.min1.thm12017-02-06 12:46 561  
[ ]afinsq_1__1931_12.min1.thm12017-02-06 12:46 536  
[ ]afinsq_1__1932_42.min1.thm12017-02-06 12:46 523  
[ ]afinsq_1__1934_30.min1.thm12017-02-06 12:46 2.1K 
[ ]afinsq_1__1937_23.min1.thm12017-02-06 12:46 3.3K 
[ ]afinsq_1__1938_18.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__1944_12.min1.thm12017-02-06 12:46 970  
[ ]afinsq_1__1951_15.min1.thm12017-02-06 12:46 805  
[ ]afinsq_1__1953_17.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__1954_14.min1.thm12017-02-06 12:46 675  
[ ]afinsq_1__1955_23.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__1958_27.min1.thm12017-02-06 12:46 2.1K 
[ ]afinsq_1__1960_31.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__1961_18.min1.thm12017-02-06 12:46 2.4K 
[ ]afinsq_1__1962_45.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__1969_18.min1.thm12017-02-06 12:46 388  
[ ]afinsq_1__1971_17.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__1973_24.min1.thm12017-02-06 12:46 2.7K 
[ ]afinsq_1__1977_28.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__1985_20.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__1986_16.min1.thm12017-02-06 12:46 2.2K 
[ ]afinsq_1__1988_18.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__1990_25.min1.thm12017-02-06 12:46 2.7K 
[ ]afinsq_1__1996_28.min1.thm12017-02-06 12:46 2.1K 
[ ]afinsq_1__1999_33.min1.thm12017-02-06 12:46 2.4K 
[ ]afinsq_1__2004_14.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__2005_18.min1.thm12017-02-06 12:46 306  
[ ]afinsq_1__2009_39.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__2010_29.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__2011_32.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__2032_47.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__2034_20.min1.thm12017-02-06 12:46 2.7K 
[ ]afinsq_1__2036_25.min1.thm12017-02-06 12:46 552  
[ ]afinsq_1__2040_26.min1.thm12017-02-06 12:46 683  
[ ]afinsq_1__2041_25.min1.thm12017-02-06 12:46 841  
[ ]afinsq_1__2045_24.min1.thm12017-02-06 12:46 660  
[ ]afinsq_1__2046_25.min1.thm12017-02-06 12:46 818  
[ ]afinsq_1__2049_18.min1.thm12017-02-06 12:46 911  
[ ]afinsq_1__2069_42.min1.thm12017-02-06 12:46 972  
[ ]afinsq_1__2075_48.min1.thm12017-02-06 12:46 576  
[ ]afinsq_1__2078_19.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__2083_14.min1.thm12017-02-06 12:46 817  
[ ]afinsq_1__2084_42.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__2085_21.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__2086_20.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__2087_24.min1.thm12017-02-06 12:46 2.2K 
[ ]afinsq_1__2089_20.min1.thm12017-02-06 12:46 2.1K 
[ ]afinsq_1__2090_15.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__2092_18.min1.thm12017-02-06 12:46 725  
[ ]afinsq_1__2094_47.min1.thm12017-02-06 12:46 669  
[ ]afinsq_1__2095_21.min1.thm12017-02-06 12:46 899  
[ ]afinsq_1__2104_27.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__2105_23.min1.thm12017-02-06 12:46 810  
[ ]afinsq_1__2108_21.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__2114_31.min1.thm12017-02-06 12:46 268  
[ ]afinsq_1__2121_17.min1.thm12017-02-06 12:46 711  
[ ]afinsq_1__2127_22.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__2128_21.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__2130_16.min1.thm12017-02-06 12:46 711  
[ ]afinsq_1__2144_15.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__2165_18.min1.thm12017-02-06 12:46 541  
[ ]afinsq_1__2177_18.min1.thm12017-02-06 12:46 547  
[ ]afinsq_1__2178_23.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__2188_20.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__2197_17.min1.thm12017-02-06 12:46 567  
[ ]afinsq_1__2198_17.min1.thm12017-02-06 12:46 493  
[ ]afinsq_1__2198_17.min1.thm1.tptp2017-02-06 16:48 418  
[ ]afinsq_1__2199_40.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__2200_16.min1.thm12017-02-06 12:46 2.1K 
[ ]afinsq_1__2201_20.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__2211_21.min1.thm12017-02-06 12:46 558  
[ ]afinsq_1__2216_37.min1.thm12017-02-06 12:46 828  
[ ]afinsq_1__2220_32.min1.thm12017-02-06 12:46 936  
[ ]afinsq_1__2221_14.min1.thm12017-02-06 12:46 745  
[ ]afinsq_1__2222_24.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__2226_37.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__2227_32.min1.thm12017-02-06 12:46 578  
[ ]afinsq_1__2228_15.min1.thm12017-02-06 12:46 660  
[ ]afinsq_1__2235_30.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__2246_67.min1.thm12017-02-06 12:46 776  
[ ]afinsq_1__2258_43.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__2259_17.min1.thm12017-02-06 12:46 2.3K 
[ ]afinsq_1__2260_58.min1.thm12017-02-06 12:46 937  
[ ]afinsq_1__2264_54.min1.thm12017-02-06 12:46 813  
[ ]afinsq_1__2265_17.min1.thm12017-02-06 12:46 2.2K 
[ ]afinsq_1__2279_26.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__2283_19.min1.thm12017-02-06 12:46 495  
[ ]afinsq_1__2283_19.min1.thm1.tptp2017-02-06 16:48 420  
[ ]afinsq_1__2284_42.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__2285_25.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__2286_21.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__2287_42.min1.thm12017-02-06 12:46 1.8K 
[ ]afinsq_1__2288_19.min1.thm12017-02-06 12:46 2.5K 
[ ]afinsq_1__2290_17.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__2299_17.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__2300_35.min1.thm12017-02-06 12:46 925  
[ ]afinsq_1__2301_23.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__2302_20.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__2304_23.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__2305_14.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__2310_24.min1.thm12017-02-06 12:46 2.4K 
[ ]afinsq_1__2313_15.min1.thm12017-02-06 12:46 1.5K 
[ ]afinsq_1__2314_21.min1.thm12017-02-06 12:46 2.2K 
[ ]afinsq_1__2319_19.min1.thm12017-02-06 12:46 455  
[ ]afinsq_1__2333_13.min1.thm12017-02-06 12:46 226  
[ ]afinsq_1__2335_52.min1.thm12017-02-06 12:46 607  
[ ]afinsq_1__2336_18.min1.thm12017-02-06 12:46 648  
[ ]afinsq_1__2337_18.min1.thm12017-02-06 12:46 357  
[ ]afinsq_1__2337_18.min1.thm1.tptp2017-02-06 16:48 271  
[ ]afinsq_1__2340_52.min1.thm12017-02-06 12:46 916  
[ ]afinsq_1__2347_61.min1.thm12017-02-06 12:46 438  
[ ]afinsq_1__2347_61.min1.thm1.tptp2017-02-06 16:48 364  
[ ]afinsq_1__2348_43.min1.thm12017-02-06 12:46 640  
[ ]afinsq_1__2350_30.min1.thm12017-02-06 12:46 802  
[ ]afinsq_1__2352_32.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__2356_21.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__2359_36.min1.thm12017-02-06 12:46 417  
[ ]afinsq_1__2359_36.min1.thm1.tptp2017-02-06 16:48 349  
[ ]afinsq_1__2362_18.min1.thm12017-02-06 12:46 357  
[ ]afinsq_1__2362_18.min1.thm1.tptp2017-02-06 16:48 271  
[ ]afinsq_1__2378_36.min1.thm12017-02-06 12:46 820  
[ ]afinsq_1__2382_22.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__2393_18.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__2394_13.min1.thm12017-02-06 12:46 876  
[ ]afinsq_1__2395_23.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__2396_17.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__2407_25.min1.thm12017-02-06 12:46 475  
[ ]afinsq_1__2407_25.min1.thm1.tptp2017-02-06 16:48 410  
[ ]afinsq_1__2413_14.min1.thm12017-02-06 12:46 559  
[ ]afinsq_1__2420_13.min1.thm12017-02-06 12:46 652  
[ ]afinsq_1__2428_40.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__2429_28.min1.thm12017-02-06 12:46 1.8K 
[ ]afinsq_1__2430_18.min1.thm12017-02-06 12:46 934  
[ ]afinsq_1__2439_42.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__2440_28.min1.thm12017-02-06 12:46 1.8K 
[ ]afinsq_1__2441_18.min1.thm12017-02-06 12:46 1.0K 
[ ]afinsq_1__2450_24.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__2452_16.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__2459_21.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__2465_27.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__2466_15.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__2467_20.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__2468_18.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__2483_36.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__2486_52.min1.thm12017-02-06 12:46 481  
[ ]afinsq_1__2486_52.min1.thm1.tptp2017-02-06 16:48 395  
[ ]afinsq_1__2494_17.min1.thm12017-02-06 12:46 492  
[ ]afinsq_1__2497_26.min1.thm12017-02-06 12:46 1.4K 
[ ]afinsq_1__2501_47.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__2517_19.min1.thm12017-02-06 12:46 1.2K 
[ ]afinsq_1__2519_21.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__2524_22.min1.thm12017-02-06 12:46 644  
[ ]afinsq_1__2533_15.min1.thm12017-02-06 12:46 738  
[ ]afinsq_1__2534_16.min1.thm12017-02-06 12:46 1.3K 
[ ]afinsq_1__2548_40.min1.thm12017-02-06 12:46 879  
[ ]afinsq_1__2552_17.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__2556_15.min1.thm12017-02-06 12:46 1.7K 
[ ]afinsq_1__2564_34.min1.thm12017-02-06 12:46 830  
[ ]afinsq_1__2566_62.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__2569_39.min1.thm12017-02-06 12:46 2.2K 
[ ]afinsq_1__2576_34.min1.thm12017-02-06 12:46 830  
[ ]afinsq_1__2577_65.min1.thm12017-02-06 12:46 2.0K 
[ ]afinsq_1__2578_18.min1.thm12017-02-06 12:46 2.3K 
[ ]afinsq_1__2585_32.min1.thm12017-02-06 12:46 970  
[ ]afinsq_1__2586_26.min1.thm12017-02-06 12:46 614  
[ ]afinsq_1__2594_17.min1.thm12017-02-06 12:46 690  
[ ]afinsq_1__2599_10.min1.thm12017-02-06 12:46 657  
[ ]afinsq_1__2599_10.min1.thm1.tptp2017-02-06 16:48 582  
[ ]afinsq_1__2605_10.min1.thm12017-02-06 12:46 132  
[ ]afinsq_1__2625_17.min1.thm12017-02-06 12:46 740  
[ ]afinsq_1__2626_10.min1.thm12017-02-06 12:46 872  
[ ]afinsq_1__2637_34.min1.thm12017-02-06 12:46 1.9K 
[ ]afinsq_1__2638_14.min1.thm12017-02-06 12:46 1.1K 
[ ]afinsq_1__2639_25.min1.thm12017-02-06 12:46 706  
[ ]afinsq_1__2641_26.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__2644_14.min1.thm12017-02-06 12:46 724  
[ ]afinsq_1__2645_26.min1.thm12017-02-06 12:46 1.6K 
[ ]afinsq_1__2648_14.min1.thm12017-02-06 12:46 724  
[ ]afinsq_1__2649_32.min1.thm12017-02-06 12:46 1.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80