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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]connsp_2__43_25.min1.thm12017-02-06 12:45 451  
[ ]connsp_2__43_25.min1.thm1.tptp2017-02-06 16:48 377  
[ ]connsp_2__44_16.min1.thm12017-02-06 12:45 904  
[ ]connsp_2__60_25.min1.thm12017-02-06 12:45 418  
[ ]connsp_2__60_25.min1.thm1.tptp2017-02-06 16:48 345  
[ ]connsp_2__61_16.min1.thm12017-02-06 12:45 772  
[ ]connsp_2__74_42.min1.thm12017-02-06 12:45 470  
[ ]connsp_2__74_42.min1.thm1.tptp2017-02-06 16:48 382  
[ ]connsp_2__81_41.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__82_28.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__83_19.min1.thm12017-02-06 12:45 2.0K 
[ ]connsp_2__85_14.min1.thm12017-02-06 12:45 754  
[ ]connsp_2__94_13.min1.thm12017-02-06 12:45 1.5K 
[ ]connsp_2__96_10.min1.thm12017-02-06 12:45 1.6K 
[ ]connsp_2__99_6.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__100_17.min1.thm12017-02-06 12:45 1.5K 
[ ]connsp_2__109_21.min1.thm12017-02-06 12:45 827  
[ ]connsp_2__110_17.min1.thm12017-02-06 12:45 845  
[ ]connsp_2__120_20.min1.thm12017-02-06 12:45 953  
[ ]connsp_2__121_18.min1.thm12017-02-06 12:45 557  
[ ]connsp_2__122_17.min1.thm12017-02-06 12:45 855  
[ ]connsp_2__130_22.min1.thm12017-02-06 12:45 953  
[ ]connsp_2__133_13.min1.thm12017-02-06 12:45 885  
[ ]connsp_2__134_42.min1.thm12017-02-06 12:45 477  
[ ]connsp_2__136_16.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__146_53.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__148_66.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__153_18.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__154_38.min1.thm12017-02-06 12:45 849  
[ ]connsp_2__156_17.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__177_39.min1.thm12017-02-06 12:45 493  
[ ]connsp_2__180_18.min1.thm12017-02-06 12:45 798  
[ ]connsp_2__182_38.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__184_22.min1.thm12017-02-06 12:45 745  
[ ]connsp_2__189_20.min1.thm12017-02-06 12:45 797  
[ ]connsp_2__191_23.min1.thm12017-02-06 12:45 901  
[ ]connsp_2__193_17.min1.thm12017-02-06 12:45 1.6K 
[ ]connsp_2__205_20.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__206_15.min1.thm12017-02-06 12:45 838  
[ ]connsp_2__207_19.min1.thm12017-02-06 12:45 1.5K 
[ ]connsp_2__210_22.min1.thm12017-02-06 12:45 968  
[ ]connsp_2__211_59.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__212_22.min1.thm12017-02-06 12:45 509  
[ ]connsp_2__212_22.min1.thm1.tptp2017-02-06 16:48 445  
[ ]connsp_2__213_17.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__226_15.min1.thm12017-02-06 12:45 1.8K 
[ ]connsp_2__230_30.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__234_34.min1.thm12017-02-06 12:45 302  
[ ]connsp_2__235_15.min1.thm12017-02-06 12:45 725  
[ ]connsp_2__237_21.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__238_16.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__239_22.min1.thm12017-02-06 12:45 1.4K 
[ ]connsp_2__240_17.min1.thm12017-02-06 12:45 865  
[ ]connsp_2__254_24.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__257_22.min1.thm12017-02-06 12:45 909  
[ ]connsp_2__260_47.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__262_31.min1.thm12017-02-06 12:45 669  
[ ]connsp_2__263_48.min1.thm12017-02-06 12:45 1.9K 
[ ]connsp_2__266_19.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__268_17.min1.thm12017-02-06 12:45 621  
[ ]connsp_2__268_17.min1.thm1.tptp2017-02-06 16:48 557  
[ ]connsp_2__281_17.min1.thm12017-02-06 12:45 968  
[ ]connsp_2__283_33.min1.thm12017-02-06 12:45 2.2K 
[ ]connsp_2__284_34.min1.thm12017-02-06 12:45 1.4K 
[ ]connsp_2__295_21.min1.thm12017-02-06 12:45 633  
[ ]connsp_2__298_19.min1.thm12017-02-06 12:45 814  
[ ]connsp_2__299_45.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__305_39.min1.thm12017-02-06 12:45 944  
[ ]connsp_2__308_24.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__309_21.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__311_22.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__312_19.min1.thm12017-02-06 12:45 1.6K 
[ ]connsp_2__314_17.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__325_50.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__326_31.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__328_16.min1.thm12017-02-06 12:45 659  
[ ]connsp_2__329_17.min1.thm12017-02-06 12:45 878  
[ ]connsp_2__384_49.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__387_24.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__391_14.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__392_21.min1.thm12017-02-06 12:45 917  
[ ]connsp_2__393_42.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__394_19.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__395_22.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__396_36.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__398_39.min1.thm12017-02-06 12:45 1.6K 
[ ]connsp_2__399_14.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__400_27.min1.thm12017-02-06 12:45 3.0K 
[ ]connsp_2__401_19.min1.thm12017-02-06 12:45 1.5K 
[ ]connsp_2__410_22.min1.thm12017-02-06 12:45 822  
[ ]connsp_2__414_15.min1.thm12017-02-06 12:45 934  
[ ]connsp_2__415_45.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__416_21.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__417_41.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__419_37.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__421_24.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__423_30.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__424_31.min1.thm12017-02-06 12:45 1.9K 
[ ]connsp_2__425_19.min1.thm12017-02-06 12:45 2.8K 
[ ]connsp_2__427_17.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__445_21.min1.thm12017-02-06 12:45 947  
[ ]connsp_2__446_41.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__447_51.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__449_37.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__450_13.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__451_24.min1.thm12017-02-06 12:45 1.8K 
[ ]connsp_2__453_29.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__454_32.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__455_36.min1.thm12017-02-06 12:45 1.4K 
[ ]connsp_2__456_38.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__457_19.min1.thm12017-02-06 12:45 2.2K 
[ ]connsp_2__474_16.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__477_34.min1.thm12017-02-06 12:45 1.8K 
[ ]connsp_2__479_39.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__481_20.min1.thm12017-02-06 12:45 1.4K 
[ ]connsp_2__483_33.min1.thm12017-02-06 12:45 2.1K 
[ ]connsp_2__484_35.min1.thm12017-02-06 12:45 2.0K 
[ ]connsp_2__485_21.min1.thm12017-02-06 12:45 3.0K 
[ ]connsp_2__487_19.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__504_37.min1.thm12017-02-06 12:45 490  
[ ]connsp_2__505_35.min1.thm12017-02-06 12:45 1.4K 
[ ]connsp_2__506_62.min1.thm12017-02-06 12:45 1.4K 
[ ]connsp_2__507_36.min1.thm12017-02-06 12:45 1.5K 
[ ]connsp_2__508_23.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__510_34.min1.thm12017-02-06 12:45 872  
[ ]connsp_2__511_19.min1.thm12017-02-06 12:45 445  
[ ]connsp_2__511_19.min1.thm1.tptp2017-02-06 16:48 375  
[ ]connsp_2__512_14.min1.thm12017-02-06 12:45 654  
[ ]connsp_2__524_43.min1.thm12017-02-06 12:45 369  
[ ]connsp_2__525_19.min1.thm12017-02-06 12:45 846  
[ ]connsp_2__532_42.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__539_40.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__540_34.min1.thm12017-02-06 12:45 2.0K 
[ ]connsp_2__544_42.min1.thm12017-02-06 12:45 738  
[ ]connsp_2__546_20.min1.thm12017-02-06 12:45 2.6K 
[ ]connsp_2__550_17.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__564_17.min1.thm12017-02-06 12:45 1.4K 
[ ]connsp_2__566_13.min1.thm12017-02-06 12:45 941  
[ ]connsp_2__567_38.min1.thm12017-02-06 12:45 524  
[ ]connsp_2__568_35.min1.thm12017-02-06 12:45 635  
[ ]connsp_2__569_40.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__571_73.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__572_16.min1.thm12017-02-06 12:45 476  
[ ]connsp_2__572_16.min1.thm1.tptp2017-02-06 16:48 399  
[ ]connsp_2__574_34.min1.thm12017-02-06 12:45 1.5K 
[ ]connsp_2__575_17.min1.thm12017-02-06 12:45 753  
[ ]connsp_2__592_24.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__593_34.min1.thm12017-02-06 12:45 371  
[ ]connsp_2__594_29.min1.thm12017-02-06 12:45 824  
[ ]connsp_2__595_36.min1.thm12017-02-06 12:45 767  
[ ]connsp_2__596_22.min1.thm12017-02-06 12:45 1.8K 
[ ]connsp_2__597_37.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__601_18.min1.thm12017-02-06 12:45 1.8K 
[ ]connsp_2__602_32.min1.thm12017-02-06 12:45 310  
[ ]connsp_2__603_17.min1.thm12017-02-06 12:45 743  
[ ]connsp_2__604_19.min1.thm12017-02-06 12:45 1.4K 
[ ]connsp_2__616_21.min1.thm12017-02-06 12:45 947  
[ ]connsp_2__617_41.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__619_37.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__620_24.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__621_34.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__623_17.min1.thm12017-02-06 12:45 904  
[ ]connsp_2__625_13.min1.thm12017-02-06 12:45 1.6K 
[ ]connsp_2__626_38.min1.thm12017-02-06 12:45 2.4K 
[ ]connsp_2__627_19.min1.thm12017-02-06 12:45 2.1K 
[ ]connsp_2__629_17.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__642_29.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__646_17.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__648_16.min1.thm12017-02-06 12:45 758  
[ ]connsp_2__649_35.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__650_15.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__652_13.min1.thm12017-02-06 12:45 690  
[ ]connsp_2__653_11.min1.thm12017-02-06 12:45 1.6K 
[ ]connsp_2__654_23.min1.thm12017-02-06 12:45 935  
[ ]connsp_2__655_37.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__657_35.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__659_24.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__660_31.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__661_20.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__662_11.min1.thm12017-02-06 12:45 1.5K 
[ ]connsp_2__663_23.min1.thm12017-02-06 12:45 935  
[ ]connsp_2__664_40.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__665_16.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__667_14.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__668_20.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__669_25.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__672_36.min1.thm12017-02-06 12:45 1.4K 
[ ]connsp_2__673_15.min1.thm12017-02-06 12:45 1.5K 
[ ]connsp_2__674_28.min1.thm12017-02-06 12:45 2.3K 
[ ]connsp_2__675_28.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__677_19.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__679_11.min1.thm12017-02-06 12:45 735  
[ ]connsp_2__681_17.min1.thm12017-02-06 12:45 575  
[ ]connsp_2__704_14.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__706_17.min1.thm12017-02-06 12:45 1.4K 
[ ]connsp_2__707_29.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__720_39.min1.thm12017-02-06 12:45 834  
[ ]connsp_2__721_31.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__723_16.min1.thm12017-02-06 12:45 1.8K 
[ ]connsp_2__724_17.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__725_21.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__728_19.min1.thm12017-02-06 12:45 707  
[ ]connsp_2__743_20.min1.thm12017-02-06 12:45 821  
[ ]connsp_2__745_18.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__746_26.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__750_17.min1.thm12017-02-06 12:45 2.4K 
[ ]connsp_2__753_33.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__754_20.min1.thm12017-02-06 12:45 1.6K 
[ ]connsp_2__756_14.min1.thm12017-02-06 12:45 1.4K 
[ ]connsp_2__757_19.min1.thm12017-02-06 12:45 787  
[ ]connsp_2__776_28.min1.thm12017-02-06 12:45 811  
[ ]connsp_2__778_25.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__779_14.min1.thm12017-02-06 12:45 520  
[ ]connsp_2__781_13.min1.thm12017-02-06 12:45 722  
[ ]connsp_2__782_25.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__786_18.min1.thm12017-02-06 12:45 2.4K 
[ ]connsp_2__787_21.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__788_14.min1.thm12017-02-06 12:45 815  
[ ]connsp_2__789_42.min1.thm12017-02-06 12:45 747  
[ ]connsp_2__790_18.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__791_37.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__792_27.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__797_35.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__799_24.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__801_30.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__802_18.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__803_39.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__804_31.min1.thm12017-02-06 12:45 1.8K 
[ ]connsp_2__805_20.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__806_32.min1.thm12017-02-06 12:45 2.0K 
[ ]connsp_2__808_31.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__809_15.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__811_14.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__812_14.min1.thm12017-02-06 12:45 609  
[ ]connsp_2__814_17.min1.thm12017-02-06 12:45 484  
[ ]connsp_2__815_14.min1.thm12017-02-06 12:45 521  
[ ]connsp_2__817_14.min1.thm12017-02-06 12:45 723  
[ ]connsp_2__818_20.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__819_57.min1.thm12017-02-06 12:45 1.5K 
[ ]connsp_2__820_17.min1.thm12017-02-06 12:45 959  
[ ]connsp_2__821_23.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__822_38.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__824_35.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__826_24.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__827_24.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__828_45.min1.thm12017-02-06 12:45 1.5K 
[ ]connsp_2__829_32.min1.thm12017-02-06 12:45 1.8K 
[ ]connsp_2__830_20.min1.thm12017-02-06 12:45 1.7K 
[ ]connsp_2__831_32.min1.thm12017-02-06 12:45 2.3K 
[ ]connsp_2__833_31.min1.thm12017-02-06 12:45 1.4K 
[ ]connsp_2__834_21.min1.thm12017-02-06 12:45 1.5K 
[ ]connsp_2__835_22.min1.thm12017-02-06 12:45 1.4K 
[ ]connsp_2__837_24.min1.thm12017-02-06 12:45 1.6K 
[ ]connsp_2__839_16.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__840_33.min1.thm12017-02-06 12:45 1.9K 
[ ]connsp_2__849_24.min1.thm12017-02-06 12:45 580  
[ ]connsp_2__852_17.min1.thm12017-02-06 12:45 1.8K 
[ ]connsp_2__872_40.min1.thm12017-02-06 12:45 512  
[ ]connsp_2__872_40.min1.thm1.tptp2017-02-06 16:48 434  
[ ]connsp_2__881_73.min1.thm12017-02-06 12:45 868  
[ ]connsp_2__882_20.min1.thm12017-02-06 12:45 537  
[ ]connsp_2__884_20.min1.thm12017-02-06 12:45 773  
[ ]connsp_2__884_20.min1.thm1.tptp2017-02-06 16:48 709  
[ ]connsp_2__886_15.min1.thm12017-02-06 12:45 331  
[ ]connsp_2__898_17.min1.thm12017-02-06 12:45 828  
[ ]connsp_2__901_19.min1.thm12017-02-06 12:45 828  
[ ]connsp_2__902_15.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__903_14.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__914_45.min1.thm12017-02-06 12:45 560  
[ ]connsp_2__915_40.min1.thm12017-02-06 12:45 865  
[ ]connsp_2__916_26.min1.thm12017-02-06 12:45 767  
[ ]connsp_2__917_25.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__919_23.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__929_45.min1.thm12017-02-06 12:45 560  
[ ]connsp_2__930_40.min1.thm12017-02-06 12:45 865  
[ ]connsp_2__931_25.min1.thm12017-02-06 12:45 767  
[ ]connsp_2__932_25.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__934_24.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__936_33.min1.thm12017-02-06 12:45 535  
[ ]connsp_2__936_33.min1.thm1.tptp2017-02-06 16:48 447  
[ ]connsp_2__938_19.min1.thm12017-02-06 12:45 376  
[ ]connsp_2__938_19.min1.thm1.tptp2017-02-06 16:48 316  
[ ]connsp_2__948_58.min1.thm12017-02-06 12:45 1.4K 
[ ]connsp_2__949_17.min1.thm12017-02-06 12:45 936  
[ ]connsp_2__961_16.min1.thm12017-02-06 12:45 675  
[ ]connsp_2__963_27.min1.thm12017-02-06 12:45 755  
[ ]connsp_2__965_17.min1.thm12017-02-06 12:45 482  
[ ]connsp_2__974_56.min1.thm12017-02-06 12:45 487  
[ ]connsp_2__975_17.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__988_13.min1.thm12017-02-06 12:45 589  
[ ]connsp_2__991_39.min1.thm12017-02-06 12:45 516  
[ ]connsp_2__992_13.min1.thm12017-02-06 12:45 667  
[ ]connsp_2__993_23.min1.thm12017-02-06 12:45 718  
[ ]connsp_2__994_21.min1.thm12017-02-06 12:45 779  
[ ]connsp_2__995_22.min1.thm12017-02-06 12:45 1.0K 
[ ]connsp_2__997_21.min1.thm12017-02-06 12:45 822  
[ ]connsp_2__998_34.min1.thm12017-02-06 12:45 1.3K 
[ ]connsp_2__999_15.min1.thm12017-02-06 12:45 780  
[ ]connsp_2__1000_26.min1.thm12017-02-06 12:45 814  
[ ]connsp_2__1001_30.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__1004_23.min1.thm12017-02-06 12:45 777  
[ ]connsp_2__1005_21.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__1008_23.min1.thm12017-02-06 12:45 1.8K 
[ ]connsp_2__1009_20.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__1010_16.min1.thm12017-02-06 12:45 708  
[ ]connsp_2__1012_13.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__1013_17.min1.thm12017-02-06 12:45 946  
[ ]connsp_2__1028_33.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__1029_25.min1.thm12017-02-06 12:45 2.0K 
[ ]connsp_2__1030_22.min1.thm12017-02-06 12:45 1.1K 
[ ]connsp_2__1037_36.min1.thm12017-02-06 12:45 927  
[ ]connsp_2__1038_22.min1.thm12017-02-06 12:45 489  
[ ]connsp_2__1040_17.min1.thm12017-02-06 12:45 1.5K 
[ ]connsp_2__1048_20.min1.thm12017-02-06 12:45 455  
[ ]connsp_2__1048_20.min1.thm1.tptp2017-02-06 16:48 381  
[ ]connsp_2__1049_21.min1.thm12017-02-06 12:45 812  
[ ]connsp_2__1057_28.min1.thm12017-02-06 12:45 1.2K 
[ ]connsp_2__1058_17.min1.thm12017-02-06 12:45 444  
[ ]connsp_2__1058_17.min1.thm1.tptp2017-02-06 16:48 373  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80