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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]conlat_1__48_47.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__49_16.min1.thm12017-02-06 12:45 325  
[ ]conlat_1__54_47.min1.thm12017-02-06 12:45 761  
[ ]conlat_1__55_16.min1.thm12017-02-06 12:45 410  
[ ]conlat_1__55_16.min1.thm1.tptp2017-02-06 16:48 337  
[ ]conlat_1__63_50.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__64_16.min1.thm12017-02-06 12:45 524  
[ ]conlat_1__64_16.min1.thm1.tptp2017-02-06 16:48 453  
[ ]conlat_1__78_42.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__79_16.min1.thm12017-02-06 12:45 621  
[ ]conlat_1__85_51.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__86_16.min1.thm12017-02-06 12:45 621  
[ ]conlat_1__103_14.min1.thm12017-02-06 12:45 398  
[ ]conlat_1__103_14.min1.thm1.tptp2017-02-06 16:48 323  
[ ]conlat_1__105_14.min1.thm12017-02-06 12:45 398  
[ ]conlat_1__105_14.min1.thm1.tptp2017-02-06 16:48 323  
[ ]conlat_1__114_40.min1.thm12017-02-06 12:45 261  
[ ]conlat_1__115_16.min1.thm12017-02-06 12:45 618  
[ ]conlat_1__121_42.min1.thm12017-02-06 12:45 261  
[ ]conlat_1__122_16.min1.thm12017-02-06 12:45 618  
[ ]conlat_1__166_7.min1.thm12017-02-06 12:45 876  
[ ]conlat_1__167_18.min1.thm12017-02-06 12:45 541  
[ ]conlat_1__169_36.min1.thm12017-02-06 12:45 601  
[ ]conlat_1__178_50.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__179_19.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__179_19.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__181_45.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__181_45.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__183_34.min1.thm12017-02-06 12:45 458  
[ ]conlat_1__183_34.min1.thm1.tptp2017-02-06 16:48 388  
[ ]conlat_1__186_54.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__187_19.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__187_19.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__189_48.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__189_48.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__191_34.min1.thm12017-02-06 12:45 458  
[ ]conlat_1__191_34.min1.thm1.tptp2017-02-06 16:48 388  
[ ]conlat_1__193_42.min1.thm12017-02-06 12:45 426  
[ ]conlat_1__193_42.min1.thm1.tptp2017-02-06 16:48 356  
[ ]conlat_1__194_22.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__194_22.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__195_12.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__195_12.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__196_19.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__196_19.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__198_46.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__198_46.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__199_13.min1.thm12017-02-06 12:45 426  
[ ]conlat_1__199_13.min1.thm1.tptp2017-02-06 16:48 356  
[ ]conlat_1__200_21.min1.thm12017-02-06 12:45 487  
[ ]conlat_1__202_36.min1.thm12017-02-06 12:45 756  
[ ]conlat_1__208_19.min1.thm12017-02-06 12:45 621  
[ ]conlat_1__211_50.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__212_17.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__212_17.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__214_52.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__214_52.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__215_12.min1.thm12017-02-06 12:45 426  
[ ]conlat_1__215_12.min1.thm1.tptp2017-02-06 16:48 356  
[ ]conlat_1__216_18.min1.thm12017-02-06 12:45 650  
[ ]conlat_1__222_53.min1.thm12017-02-06 12:45 478  
[ ]conlat_1__224_40.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__225_21.min1.thm12017-02-06 12:45 752  
[ ]conlat_1__228_37.min1.thm12017-02-06 12:45 592  
[ ]conlat_1__234_19.min1.thm12017-02-06 12:45 623  
[ ]conlat_1__237_50.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__245_43.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__246_20.min1.thm12017-02-06 12:45 822  
[ ]conlat_1__248_17.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__248_17.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__250_52.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__250_52.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__252_34.min1.thm12017-02-06 12:45 458  
[ ]conlat_1__252_34.min1.thm1.tptp2017-02-06 16:48 388  
[ ]conlat_1__253_21.min1.thm12017-02-06 12:45 788  
[ ]conlat_1__257_6.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__264_19.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__267_54.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__268_17.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__268_17.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__270_56.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__270_56.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__272_34.min1.thm12017-02-06 12:45 458  
[ ]conlat_1__272_34.min1.thm1.tptp2017-02-06 16:48 388  
[ ]conlat_1__273_17.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__273_17.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__275_56.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__275_56.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__276_13.min1.thm12017-02-06 12:45 426  
[ ]conlat_1__276_13.min1.thm1.tptp2017-02-06 16:48 356  
[ ]conlat_1__277_21.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_1__279_16.min1.thm12017-02-06 12:45 688  
[ ]conlat_1__279_16.min1.thm1.tptp2017-02-06 16:48 623  
[ ]conlat_1__296_53.min1.thm12017-02-06 12:45 478  
[ ]conlat_1__298_42.min1.thm12017-02-06 12:45 780  
[ ]conlat_1__299_18.min1.thm12017-02-06 12:45 780  
[ ]conlat_1__300_18.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__302_70.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__304_19.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_1__327_79.min1.thm12017-02-06 12:45 876  
[ ]conlat_1__329_18.min1.thm12017-02-06 12:45 541  
[ ]conlat_1__331_36.min1.thm12017-02-06 12:45 601  
[ ]conlat_1__340_50.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__341_18.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__341_18.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__343_45.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__343_45.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__345_34.min1.thm12017-02-06 12:45 458  
[ ]conlat_1__345_34.min1.thm1.tptp2017-02-06 16:48 388  
[ ]conlat_1__348_54.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__349_19.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__349_19.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__351_56.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__351_56.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__353_46.min1.thm12017-02-06 12:45 331  
[ ]conlat_1__355_34.min1.thm12017-02-06 12:45 458  
[ ]conlat_1__355_34.min1.thm1.tptp2017-02-06 16:48 388  
[ ]conlat_1__357_42.min1.thm12017-02-06 12:45 426  
[ ]conlat_1__357_42.min1.thm1.tptp2017-02-06 16:48 356  
[ ]conlat_1__358_22.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__358_22.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__359_12.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__359_12.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__360_19.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__360_19.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__362_46.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__362_46.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__363_13.min1.thm12017-02-06 12:45 426  
[ ]conlat_1__363_13.min1.thm1.tptp2017-02-06 16:48 356  
[ ]conlat_1__364_21.min1.thm12017-02-06 12:45 487  
[ ]conlat_1__366_36.min1.thm12017-02-06 12:45 756  
[ ]conlat_1__372_19.min1.thm12017-02-06 12:45 621  
[ ]conlat_1__375_50.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__376_17.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__376_17.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__378_52.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__378_52.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__379_12.min1.thm12017-02-06 12:45 426  
[ ]conlat_1__379_12.min1.thm1.tptp2017-02-06 16:48 356  
[ ]conlat_1__380_18.min1.thm12017-02-06 12:45 650  
[ ]conlat_1__386_54.min1.thm12017-02-06 12:45 478  
[ ]conlat_1__388_40.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__389_21.min1.thm12017-02-06 12:45 752  
[ ]conlat_1__392_38.min1.thm12017-02-06 12:45 592  
[ ]conlat_1__398_19.min1.thm12017-02-06 12:45 623  
[ ]conlat_1__401_50.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__409_43.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__410_20.min1.thm12017-02-06 12:45 822  
[ ]conlat_1__412_17.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__412_17.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__414_52.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__414_52.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__416_34.min1.thm12017-02-06 12:45 458  
[ ]conlat_1__416_34.min1.thm1.tptp2017-02-06 16:48 388  
[ ]conlat_1__417_21.min1.thm12017-02-06 12:45 788  
[ ]conlat_1__421_6.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__428_19.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__431_54.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__432_17.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__432_17.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__434_56.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__434_56.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__436_34.min1.thm12017-02-06 12:45 458  
[ ]conlat_1__436_34.min1.thm1.tptp2017-02-06 16:48 388  
[ ]conlat_1__437_17.min1.thm12017-02-06 12:45 394  
[ ]conlat_1__437_17.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__439_56.min1.thm12017-02-06 12:45 578  
[ ]conlat_1__439_56.min1.thm1.tptp2017-02-06 16:48 502  
[ ]conlat_1__440_13.min1.thm12017-02-06 12:45 426  
[ ]conlat_1__440_13.min1.thm1.tptp2017-02-06 16:48 356  
[ ]conlat_1__441_21.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_1__443_16.min1.thm12017-02-06 12:45 688  
[ ]conlat_1__443_16.min1.thm1.tptp2017-02-06 16:48 623  
[ ]conlat_1__460_54.min1.thm12017-02-06 12:45 478  
[ ]conlat_1__462_42.min1.thm12017-02-06 12:45 780  
[ ]conlat_1__463_18.min1.thm12017-02-06 12:45 780  
[ ]conlat_1__464_18.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__466_72.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__468_19.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_1__483_17.min1.thm12017-02-06 12:45 343  
[ ]conlat_1__483_17.min1.thm1.tptp2017-02-06 16:48 278  
[ ]conlat_1__484_16.min1.thm12017-02-06 12:45 722  
[ ]conlat_1__486_55.min1.thm12017-02-06 12:45 397  
[ ]conlat_1__486_55.min1.thm1.tptp2017-02-06 16:48 319  
[ ]conlat_1__493_35.min1.thm12017-02-06 12:45 952  
[ ]conlat_1__494_13.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__499_38.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__500_39.min1.thm12017-02-06 12:45 418  
[ ]conlat_1__501_29.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__502_19.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__511_65.min1.thm12017-02-06 12:45 797  
[ ]conlat_1__512_39.min1.thm12017-02-06 12:45 344  
[ ]conlat_1__513_71.min1.thm12017-02-06 12:45 667  
[ ]conlat_1__515_16.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__518_57.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__533_17.min1.thm12017-02-06 12:45 343  
[ ]conlat_1__533_17.min1.thm1.tptp2017-02-06 16:48 278  
[ ]conlat_1__534_16.min1.thm12017-02-06 12:45 722  
[ ]conlat_1__536_56.min1.thm12017-02-06 12:45 397  
[ ]conlat_1__536_56.min1.thm1.tptp2017-02-06 16:48 319  
[ ]conlat_1__543_38.min1.thm12017-02-06 12:45 952  
[ ]conlat_1__544_13.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__549_38.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__550_36.min1.thm12017-02-06 12:45 418  
[ ]conlat_1__551_29.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__552_19.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__561_62.min1.thm12017-02-06 12:45 797  
[ ]conlat_1__562_36.min1.thm12017-02-06 12:45 344  
[ ]conlat_1__564_6.min1.thm12017-02-06 12:45 667  
[ ]conlat_1__565_16.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__568_60.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__584_33.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__587_67.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__588_68.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__590_33.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__591_17.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__606_33.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__609_70.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__610_71.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__612_33.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__613_17.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__630_34.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__631_16.min1.thm12017-02-06 12:45 792  
[ ]conlat_1__633_53.min1.thm12017-02-06 12:45 568  
[ ]conlat_1__637_34.min1.thm12017-02-06 12:45 482  
[ ]conlat_1__644_34.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__645_19.min1.thm12017-02-06 12:45 659  
[ ]conlat_1__648_58.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__649_41.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__650_17.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__667_34.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__668_16.min1.thm12017-02-06 12:45 792  
[ ]conlat_1__670_52.min1.thm12017-02-06 12:45 568  
[ ]conlat_1__674_37.min1.thm12017-02-06 12:45 482  
[ ]conlat_1__681_34.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__682_19.min1.thm12017-02-06 12:45 659  
[ ]conlat_1__685_55.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__686_38.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__687_17.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__709_35.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__710_39.min1.thm12017-02-06 12:45 450  
[ ]conlat_1__717_17.min1.thm12017-02-06 12:45 297  
[ ]conlat_1__720_25.min1.thm12017-02-06 12:45 763  
[ ]conlat_1__726_35.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__728_51.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__732_18.min1.thm12017-02-06 12:45 532  
[ ]conlat_1__734_16.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__743_34.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__744_39.min1.thm12017-02-06 12:45 418  
[ ]conlat_1__750_39.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__751_21.min1.thm12017-02-06 12:45 747  
[ ]conlat_1__753_16.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__756_13.min1.thm12017-02-06 12:45 643  
[ ]conlat_1__763_34.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__764_16.min1.thm12017-02-06 12:45 792  
[ ]conlat_1__766_50.min1.thm12017-02-06 12:45 439  
[ ]conlat_1__766_50.min1.thm1.tptp2017-02-06 16:48 361  
[ ]conlat_1__773_34.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__774_16.min1.thm12017-02-06 12:45 913  
[ ]conlat_1__776_50.min1.thm12017-02-06 12:45 439  
[ ]conlat_1__776_50.min1.thm1.tptp2017-02-06 16:48 361  
[ ]conlat_1__800_35.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__801_36.min1.thm12017-02-06 12:45 450  
[ ]conlat_1__808_17.min1.thm12017-02-06 12:45 297  
[ ]conlat_1__811_25.min1.thm12017-02-06 12:45 763  
[ ]conlat_1__817_35.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__819_51.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__823_18.min1.thm12017-02-06 12:45 532  
[ ]conlat_1__825_16.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__834_34.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__835_36.min1.thm12017-02-06 12:45 418  
[ ]conlat_1__841_39.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__842_21.min1.thm12017-02-06 12:45 747  
[ ]conlat_1__844_16.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__847_13.min1.thm12017-02-06 12:45 643  
[ ]conlat_1__854_34.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__855_16.min1.thm12017-02-06 12:45 792  
[ ]conlat_1__857_49.min1.thm12017-02-06 12:45 439  
[ ]conlat_1__857_49.min1.thm1.tptp2017-02-06 16:48 361  
[ ]conlat_1__864_34.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__865_16.min1.thm12017-02-06 12:45 913  
[ ]conlat_1__867_51.min1.thm12017-02-06 12:45 439  
[ ]conlat_1__867_51.min1.thm1.tptp2017-02-06 16:48 361  
[ ]conlat_1__887_36.min1.thm12017-02-06 12:45 490  
[ ]conlat_1__892_15.min1.thm12017-02-06 12:45 283  
[ ]conlat_1__894_26.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__899_32.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__900_19.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__907_35.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__913_16.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__914_37.min1.thm12017-02-06 12:45 490  
[ ]conlat_1__915_34.min1.thm12017-02-06 12:45 490  
[ ]conlat_1__917_35.min1.thm12017-02-06 12:45 961  
[ ]conlat_1__920_34.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__921_33.min1.thm12017-02-06 12:45 677  
[ ]conlat_1__924_17.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__942_39.min1.thm12017-02-06 12:45 490  
[ ]conlat_1__947_15.min1.thm12017-02-06 12:45 283  
[ ]conlat_1__949_26.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__954_32.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__955_19.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__962_35.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__968_16.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__969_37.min1.thm12017-02-06 12:45 490  
[ ]conlat_1__970_34.min1.thm12017-02-06 12:45 490  
[ ]conlat_1__972_35.min1.thm12017-02-06 12:45 961  
[ ]conlat_1__975_34.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__976_33.min1.thm12017-02-06 12:45 677  
[ ]conlat_1__977_19.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__979_17.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__990_72.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__991_17.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_1__1005_38.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__1007_56.min1.thm12017-02-06 12:45 760  
[ ]conlat_1__1009_69.min1.thm12017-02-06 12:45 756  
[ ]conlat_1__1014_67.min1.thm12017-02-06 12:45 754  
[ ]conlat_1__1021_70.min1.thm12017-02-06 12:45 437  
[ ]conlat_1__1021_70.min1.thm1.tptp2017-02-06 16:48 354  
[ ]conlat_1__1024_21.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__1031_37.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__1032_60.min1.thm12017-02-06 12:45 760  
[ ]conlat_1__1037_6.min1.thm12017-02-06 12:45 784  
[ ]conlat_1__1040_2.min1.thm12017-02-06 12:45 2.7K 
[ ]conlat_1__1041_78.min1.thm12017-02-06 12:45 861  
[ ]conlat_1__1042_16.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__1042_16.min1.thm1.tptp2017-02-06 16:48 891  
[ ]conlat_1__1057_37.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__1059_57.min1.thm12017-02-06 12:45 760  
[ ]conlat_1__1061_67.min1.thm12017-02-06 12:45 756  
[ ]conlat_1__1066_69.min1.thm12017-02-06 12:45 754  
[ ]conlat_1__1073_71.min1.thm12017-02-06 12:45 437  
[ ]conlat_1__1073_71.min1.thm1.tptp2017-02-06 16:48 354  
[ ]conlat_1__1076_21.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__1083_38.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__1084_61.min1.thm12017-02-06 12:45 760  
[ ]conlat_1__1088_11.min1.thm12017-02-06 12:45 784  
[ ]conlat_1__1089_19.min1.thm12017-02-06 12:45 2.7K 
[ ]conlat_1__1127_23.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_1__1129_21.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__1142_23.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_1__1144_21.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__1149_30.min1.thm12017-02-06 12:45 2.6K 
[ ]conlat_1__1161_17.min1.thm12017-02-06 12:45 372  
[ ]conlat_1__1162_21.min1.thm12017-02-06 12:45 382  
[ ]conlat_1__1165_17.min1.thm12017-02-06 12:45 372  
[ ]conlat_1__1166_21.min1.thm12017-02-06 12:45 382  
[ ]conlat_1__1174_23.min1.thm12017-02-06 12:45 3.3K 
[ ]conlat_1__1176_21.min1.thm12017-02-06 12:45 2.9K 
[ ]conlat_1__1184_23.min1.thm12017-02-06 12:45 3.3K 
[ ]conlat_1__1186_21.min1.thm12017-02-06 12:45 2.9K 
[ ]conlat_1__1189_13.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__1189_13.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]conlat_1__1191_17.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__1191_17.min1.thm1.tptp2017-02-06 16:48 1.4K 
[ ]conlat_1__1212_15.min1.thm12017-02-06 12:45 370  
[ ]conlat_1__1213_19.min1.thm12017-02-06 12:45 370  
[ ]conlat_1__1216_16.min1.thm12017-02-06 12:45 370  
[ ]conlat_1__1217_19.min1.thm12017-02-06 12:45 370  
[ ]conlat_1__1219_31.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1220_31.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1225_37.min1.thm12017-02-06 12:45 356  
[ ]conlat_1__1225_37.min1.thm1.tptp2017-02-06 16:48 278  
[ ]conlat_1__1228_26.min1.thm12017-02-06 12:45 3.3K 
[ ]conlat_1__1229_25.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_1__1230_29.min1.thm12017-02-06 12:45 3.2K 
[ ]conlat_1__1233_23.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__1241_37.min1.thm12017-02-06 12:45 356  
[ ]conlat_1__1241_37.min1.thm1.tptp2017-02-06 16:48 278  
[ ]conlat_1__1244_26.min1.thm12017-02-06 12:45 3.3K 
[ ]conlat_1__1245_25.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_1__1246_29.min1.thm12017-02-06 12:45 3.2K 
[ ]conlat_1__1249_23.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__1263_69.min1.thm12017-02-06 12:45 750  
[ ]conlat_1__1266_61.min1.thm12017-02-06 12:45 750  
[ ]conlat_1__1274_6.min1.thm12017-02-06 12:45 2.6K 
[ ]conlat_1__1281_49.min1.thm12017-02-06 12:45 831  
[ ]conlat_1__1286_21.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_1__1287_51.min1.thm12017-02-06 12:45 832  
[ ]conlat_1__1288_50.min1.thm12017-02-06 12:45 832  
[ ]conlat_1__1290_19.min1.thm12017-02-06 12:45 385  
[ ]conlat_1__1290_19.min1.thm1.tptp2017-02-06 16:48 321  
[ ]conlat_1__1293_59.min1.thm12017-02-06 12:45 484  
[ ]conlat_1__1296_50.min1.thm12017-02-06 12:45 835  
[ ]conlat_1__1297_60.min1.thm12017-02-06 12:45 416  
[ ]conlat_1__1297_60.min1.thm1.tptp2017-02-06 16:48 330  
[ ]conlat_1__1298_62.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__1299_46.min1.thm12017-02-06 12:45 310  
[ ]conlat_1__1300_59.min1.thm12017-02-06 12:45 487  
[ ]conlat_1__1302_19.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_1__1316_73.min1.thm12017-02-06 12:45 2.6K 
[ ]conlat_1__1325_50.min1.thm12017-02-06 12:45 831  
[ ]conlat_1__1330_21.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_1__1331_50.min1.thm12017-02-06 12:45 832  
[ ]conlat_1__1332_49.min1.thm12017-02-06 12:45 832  
[ ]conlat_1__1335_15.min1.thm12017-02-06 12:45 385  
[ ]conlat_1__1335_15.min1.thm1.tptp2017-02-06 16:48 321  
[ ]conlat_1__1336_49.min1.thm12017-02-06 12:45 496  
[ ]conlat_1__1336_49.min1.thm1.tptp2017-02-06 16:48 408  
[ ]conlat_1__1338_58.min1.thm12017-02-06 12:45 558  
[ ]conlat_1__1341_51.min1.thm12017-02-06 12:45 835  
[ ]conlat_1__1342_61.min1.thm12017-02-06 12:45 416  
[ ]conlat_1__1342_61.min1.thm1.tptp2017-02-06 16:48 330  
[ ]conlat_1__1343_63.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__1344_60.min1.thm12017-02-06 12:45 410  
[ ]conlat_1__1344_60.min1.thm1.tptp2017-02-06 16:48 324  
[ ]conlat_1__1346_19.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_1__1363_56.min1.thm12017-02-06 12:45 636  
[ ]conlat_1__1370_41.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__1372_38.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__1375_35.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1376_36.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_1__1378_39.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__1381_35.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1382_39.min1.thm12017-02-06 12:45 418  
[ ]conlat_1__1389_20.min1.thm12017-02-06 12:45 889  
[ ]conlat_1__1392_25.min1.thm12017-02-06 12:45 699  
[ ]conlat_1__1396_25.min1.thm12017-02-06 12:45 699  
[ ]conlat_1__1399_18.min1.thm12017-02-06 12:45 465  
[ ]conlat_1__1402_35.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__1403_19.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__1412_35.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_1__1415_35.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1416_39.min1.thm12017-02-06 12:45 418  
[ ]conlat_1__1421_21.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__1422_21.min1.thm12017-02-06 12:45 687  
[ ]conlat_1__1425_35.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1427_36.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__1432_21.min1.thm12017-02-06 12:45 904  
[ ]conlat_1__1433_21.min1.thm12017-02-06 12:45 687  
[ ]conlat_1__1437_32.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1438_41.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__1439_19.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_1__1451_57.min1.thm12017-02-06 12:45 636  
[ ]conlat_1__1458_44.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__1460_38.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__1463_35.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1464_39.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_1__1466_38.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__1469_35.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1470_36.min1.thm12017-02-06 12:45 418  
[ ]conlat_1__1477_20.min1.thm12017-02-06 12:45 889  
[ ]conlat_1__1480_25.min1.thm12017-02-06 12:45 699  
[ ]conlat_1__1484_25.min1.thm12017-02-06 12:45 699  
[ ]conlat_1__1487_18.min1.thm12017-02-06 12:45 465  
[ ]conlat_1__1490_35.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__1491_19.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__1500_35.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_1__1503_35.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1504_36.min1.thm12017-02-06 12:45 418  
[ ]conlat_1__1509_21.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__1510_21.min1.thm12017-02-06 12:45 687  
[ ]conlat_1__1513_35.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1515_39.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__1520_21.min1.thm12017-02-06 12:45 904  
[ ]conlat_1__1521_21.min1.thm12017-02-06 12:45 687  
[ ]conlat_1__1525_32.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1526_44.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__1527_19.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_1__1536_52.min1.thm12017-02-06 12:45 348  
[ ]conlat_1__1536_52.min1.thm1.tptp2017-02-06 16:48 279  
[ ]conlat_1__1545_34.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__1546_16.min1.thm12017-02-06 12:45 792  
[ ]conlat_1__1552_39.min1.thm12017-02-06 12:45 356  
[ ]conlat_1__1552_39.min1.thm1.tptp2017-02-06 16:48 278  
[ ]conlat_1__1553_65.min1.thm12017-02-06 12:45 457  
[ ]conlat_1__1554_16.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_1__1557_55.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__1566_53.min1.thm12017-02-06 12:45 348  
[ ]conlat_1__1566_53.min1.thm1.tptp2017-02-06 16:48 279  
[ ]conlat_1__1575_34.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__1576_16.min1.thm12017-02-06 12:45 792  
[ ]conlat_1__1582_36.min1.thm12017-02-06 12:45 356  
[ ]conlat_1__1582_36.min1.thm1.tptp2017-02-06 16:48 278  
[ ]conlat_1__1583_68.min1.thm12017-02-06 12:45 457  
[ ]conlat_1__1584_16.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_1__1587_58.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__1617_37.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_1__1618_16.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1623_55.min1.thm12017-02-06 12:45 352  
[ ]conlat_1__1623_55.min1.thm1.tptp2017-02-06 16:48 283  
[ ]conlat_1__1624_54.min1.thm12017-02-06 12:45 352  
[ ]conlat_1__1624_54.min1.thm1.tptp2017-02-06 16:48 283  
[ ]conlat_1__1625_39.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__1626_16.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__1636_57.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__1637_19.min1.thm12017-02-06 12:45 727  
[ ]conlat_1__1652_27.min1.thm12017-02-06 12:45 788  
[ ]conlat_1__1657_34.min1.thm12017-02-06 12:45 792  
[ ]conlat_1__1661_19.min1.thm12017-02-06 12:45 695  
[ ]conlat_1__1674_13.min1.thm12017-02-06 12:45 251  
[ ]conlat_1__1678_21.min1.thm12017-02-06 12:45 822  
[ ]conlat_1__1682_21.min1.thm12017-02-06 12:45 701  
[ ]conlat_1__1685_14.min1.thm12017-02-06 12:45 425  
[ ]conlat_1__1709_19.min1.thm12017-02-06 12:45 391  
[ ]conlat_1__1709_19.min1.thm1.tptp2017-02-06 16:48 326  
[ ]conlat_1__1710_18.min1.thm12017-02-06 12:45 789  
[ ]conlat_1__1712_57.min1.thm12017-02-06 12:45 437  
[ ]conlat_1__1712_57.min1.thm1.tptp2017-02-06 16:48 359  
[ ]conlat_1__1719_39.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__1721_39.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1722_18.min1.thm12017-02-06 12:45 812  
[ ]conlat_1__1724_52.min1.thm12017-02-06 12:45 519  
[ ]conlat_1__1724_52.min1.thm1.tptp2017-02-06 16:48 441  
[ ]conlat_1__1733_63.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__1734_18.min1.thm12017-02-06 12:45 937  
[ ]conlat_1__1736_51.min1.thm12017-02-06 12:45 601  
[ ]conlat_1__1736_51.min1.thm1.tptp2017-02-06 16:48 523  
[ ]conlat_1__1738_73.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__1741_73.min1.thm12017-02-06 12:45 3.7K 
[ ]conlat_1__1742_25.min1.thm12017-02-06 12:45 2.7K 
[ ]conlat_1__1743_30.min1.thm12017-02-06 12:45 3.1K 
[ ]conlat_1__1744_16.min1.thm12017-02-06 12:45 467  
[ ]conlat_1__1744_16.min1.thm1.tptp2017-02-06 16:48 384  
[ ]conlat_1__1760_68.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__1761_69.min1.thm12017-02-06 12:45 934  
[ ]conlat_1__1763_16.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__1786_64.min1.thm12017-02-06 12:45 738  
[ ]conlat_1__1787_55.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_1__1788_11.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__1789_52.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_1__1790_11.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__1791_62.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__1792_19.min1.thm12017-02-06 12:45 2.5K 
[ ]conlat_1__1802_17.min1.thm12017-02-06 12:45 4.3K 
[ ]conlat_1__1813_62.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__1816_27.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__1819_62.min1.thm12017-02-06 12:45 2.6K 
[ ]conlat_1__1822_26.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__1823_67.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__1827_73.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__1832_22.min1.thm12017-02-06 12:45 858  
[ ]conlat_1__1832_22.min1.thm1.tptp2017-02-06 16:48 775  
[ ]conlat_1__1834_17.min1.thm12017-02-06 12:45 2.5K 
[ ]conlat_1__1856_64.min1.thm12017-02-06 12:45 738  
[ ]conlat_1__1857_55.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_1__1858_11.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__1859_52.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_1__1860_11.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__1861_68.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__1862_19.min1.thm12017-02-06 12:45 2.5K 
[ ]conlat_1__1872_17.min1.thm12017-02-06 12:45 4.3K 
[ ]conlat_1__1883_62.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__1886_30.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__1889_62.min1.thm12017-02-06 12:45 2.6K 
[ ]conlat_1__1892_26.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__1893_67.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__1897_75.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__1902_22.min1.thm12017-02-06 12:45 858  
[ ]conlat_1__1902_22.min1.thm1.tptp2017-02-06 16:48 775  
[ ]conlat_1__1904_17.min1.thm12017-02-06 12:45 2.5K 
[ ]conlat_1__1928_55.min1.thm12017-02-06 12:45 352  
[ ]conlat_1__1928_55.min1.thm1.tptp2017-02-06 16:48 283  
[ ]conlat_1__1930_78.min1.thm12017-02-06 12:45 3.5K 
[ ]conlat_1__1932_55.min1.thm12017-02-06 12:45 440  
[ ]conlat_1__1932_55.min1.thm1.tptp2017-02-06 16:48 365  
[ ]conlat_1__1939_54.min1.thm12017-02-06 12:45 352  
[ ]conlat_1__1939_54.min1.thm1.tptp2017-02-06 16:48 283  
[ ]conlat_1__1941_67.min1.thm12017-02-06 12:45 3.5K 
[ ]conlat_1__1942_53.min1.thm12017-02-06 12:45 440  
[ ]conlat_1__1942_53.min1.thm1.tptp2017-02-06 16:48 365  
[ ]conlat_1__1958_55.min1.thm12017-02-06 12:45 352  
[ ]conlat_1__1958_55.min1.thm1.tptp2017-02-06 16:48 283  
[ ]conlat_1__1960_78.min1.thm12017-02-06 12:45 3.5K 
[ ]conlat_1__1962_55.min1.thm12017-02-06 12:45 440  
[ ]conlat_1__1962_55.min1.thm1.tptp2017-02-06 16:48 365  
[ ]conlat_1__1966_12.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__1979_54.min1.thm12017-02-06 12:45 352  
[ ]conlat_1__1979_54.min1.thm1.tptp2017-02-06 16:48 283  
[ ]conlat_1__1981_67.min1.thm12017-02-06 12:45 3.5K 
[ ]conlat_1__1982_53.min1.thm12017-02-06 12:45 440  
[ ]conlat_1__1982_53.min1.thm1.tptp2017-02-06 16:48 365  
[ ]conlat_1__1986_12.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2002_17.min1.thm12017-02-06 12:45 2.6K 
[ ]conlat_1__2012_69.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__2016_28.min1.thm12017-02-06 12:45 718  
[ ]conlat_1__2018_66.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__2022_31.min1.thm12017-02-06 12:45 718  
[ ]conlat_1__2024_17.min1.thm12017-02-06 12:45 611  
[ ]conlat_1__2024_17.min1.thm1.tptp2017-02-06 16:48 539  
[ ]conlat_1__2034_69.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2035_66.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2040_27.min1.thm12017-02-06 12:45 765  
[ ]conlat_1__2047_30.min1.thm12017-02-06 12:45 765  
[ ]conlat_1__2050_17.min1.thm12017-02-06 12:45 611  
[ ]conlat_1__2050_17.min1.thm1.tptp2017-02-06 16:48 547  
[ ]conlat_1__2060_42.min1.thm12017-02-06 12:45 440  
[ ]conlat_1__2061_69.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__2062_66.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__2064_16.min1.thm12017-02-06 12:45 962  
[ ]conlat_1__2068_30.min1.thm12017-02-06 12:45 726  
[ ]conlat_1__2073_33.min1.thm12017-02-06 12:45 726  
[ ]conlat_1__2076_14.min1.thm12017-02-06 12:45 537  
[ ]conlat_1__2076_14.min1.thm1.tptp2017-02-06 16:48 460  
[ ]conlat_1__2089_16.min1.thm12017-02-06 12:45 716  
[ ]conlat_1__2092_47.min1.thm12017-02-06 12:45 936  
[ ]conlat_1__2096_50.min1.thm12017-02-06 12:45 936  
[ ]conlat_1__2099_14.min1.thm12017-02-06 12:45 469  
[ ]conlat_1__2110_65.min1.thm12017-02-06 12:45 681  
[ ]conlat_1__2111_16.min1.thm12017-02-06 12:45 555  
[ ]conlat_1__2111_16.min1.thm1.tptp2017-02-06 16:48 495  
[ ]conlat_1__2119_14.min1.thm12017-02-06 12:45 887  
[ ]conlat_1__2146_29.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__2148_70.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__2149_37.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__2154_45.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__2156_67.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__2157_51.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_1__2159_17.min1.thm12017-02-06 12:45 685  
[ ]conlat_1__2159_17.min1.thm1.tptp2017-02-06 16:48 597  
[ ]conlat_1__2164_72.min1.thm12017-02-06 12:45 684  
[ ]conlat_1__2174_38.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__2176_37.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__2177_17.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_1__2198_26.min1.thm12017-02-06 12:45 769  
[ ]conlat_1__2200_26.min1.thm12017-02-06 12:45 769  
[ ]conlat_1__2201_39.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__2202_36.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__2204_37.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__2205_18.min1.thm12017-02-06 12:45 408  
[ ]conlat_1__2205_18.min1.thm1.tptp2017-02-06 16:48 328  
[ ]conlat_1__2207_39.min1.thm12017-02-06 12:45 260  
[ ]conlat_1__2217_67.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__2219_69.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_1__2221_18.min1.thm12017-02-06 12:45 3.4K 
[ ]conlat_1__2223_16.min1.thm12017-02-06 12:45 343  
[ ]conlat_1__2223_16.min1.thm1.tptp2017-02-06 16:48 255  
[ ]conlat_1__2239_65.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__2242_19.min1.thm12017-02-06 12:45 803  
[ ]conlat_1__2249_11.min1.thm12017-02-06 12:45 625  
[ ]conlat_1__2262_44.min1.thm12017-02-06 12:45 491  
[ ]conlat_1__2265_71.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__2266_19.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_1__2276_17.min1.thm12017-02-06 12:45 934  
[ ]conlat_1__2276_17.min1.thm1.tptp2017-02-06 16:48 855  
[ ]conlat_1__2304_23.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__2306_65.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__2308_52.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_1__2310_13.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__2311_56.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__2325_41.min1.thm12017-02-06 12:45 821  
[ ]conlat_1__2334_72.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__2361_18.min1.thm12017-02-06 12:45 768  
[ ]conlat_1__2362_50.min1.thm12017-02-06 12:45 743  
[ ]conlat_1__2363_50.min1.thm12017-02-06 12:45 743  
[ ]conlat_1__2371_21.min1.thm12017-02-06 12:45 3.2K 
[ ]conlat_1__2374_22.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__2404_22.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__2406_59.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__2408_30.min1.thm12017-02-06 12:45 2.3K 
[ ]conlat_1__2410_8.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__2411_56.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__2424_41.min1.thm12017-02-06 12:45 821  
[ ]conlat_1__2433_72.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__2460_18.min1.thm12017-02-06 12:45 768  
[ ]conlat_1__2461_50.min1.thm12017-02-06 12:45 743  
[ ]conlat_1__2462_50.min1.thm12017-02-06 12:45 743  
[ ]conlat_1__2470_21.min1.thm12017-02-06 12:45 3.2K 
[ ]conlat_1__2473_22.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__2483_46.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__2484_52.min1.thm12017-02-06 12:45 663  
[ ]conlat_1__2485_39.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_1__2486_17.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__2494_46.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__2495_52.min1.thm12017-02-06 12:45 663  
[ ]conlat_1__2496_39.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_1__2497_17.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__2541_46.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__2542_76.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_1__2552_46.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__2553_77.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_1__2571_4.min1.thm12017-02-06 12:45 3.0K 
[ ]conlat_1__2574_30.min1.thm12017-02-06 12:45 2.7K 
[ ]conlat_1__2580_6.min1.thm12017-02-06 12:45 2.7K 
[ ]conlat_1__2583_56.min1.thm12017-02-06 12:45 3.0K 
[ ]conlat_1__2597_46.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__2598_76.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_1__2608_46.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__2609_77.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_1__2625_78.min1.thm12017-02-06 12:45 3.0K 
[ ]conlat_1__2629_26.min1.thm12017-02-06 12:45 2.7K 
[ ]conlat_1__2635_4.min1.thm12017-02-06 12:45 2.7K 
[ ]conlat_1__2638_71.min1.thm12017-02-06 12:45 3.0K 
[ ]conlat_1__2651_74.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2653_46.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__2654_77.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_1__2667_47.min1.thm12017-02-06 12:45 2.4K 
[ ]conlat_1__2672_54.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__2673_27.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2677_45.min1.thm12017-02-06 12:45 2.5K 
[ ]conlat_1__2679_55.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_1__2681_27.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__2683_51.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__2684_51.min1.thm12017-02-06 12:45 3.0K 
[ ]conlat_1__2685_27.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2686_17.min1.thm12017-02-06 12:45 4.1K 
[ ]conlat_1__2695_74.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__2697_46.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__2698_77.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_1__2711_45.min1.thm12017-02-06 12:45 2.6K 
[ ]conlat_1__2715_49.min1.thm12017-02-06 12:45 4.1K 
[ ]conlat_1__2716_51.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__2717_27.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2721_48.min1.thm12017-02-06 12:45 2.5K 
[ ]conlat_1__2723_55.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_1__2725_31.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__2727_73.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__2728_54.min1.thm12017-02-06 12:45 3.1K 
[ ]conlat_1__2729_27.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2730_17.min1.thm12017-02-06 12:45 4.3K 
[ ]conlat_1__2745_49.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__2746_26.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__2747_38.min1.thm12017-02-06 12:45 260  
[ ]conlat_1__2748_69.min1.thm12017-02-06 12:45 367  
[ ]conlat_1__2748_69.min1.thm1.tptp2017-02-06 16:48 295  
[ ]conlat_1__2752_75.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_1__2757_28.min1.thm12017-02-06 12:45 3.9K 
[ ]conlat_1__2758_50.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__2759_26.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2760_17.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2779_76.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__2784_4.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__2785_51.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2787_33.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__2789_49.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_1__2791_34.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_1__2792_73.min1.thm12017-02-06 12:45 2.5K 
[ ]conlat_1__2793_49.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2794_75.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__2796_51.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2797_17.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__2813_50.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__2814_26.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__2815_40.min1.thm12017-02-06 12:45 260  
[ ]conlat_1__2816_71.min1.thm12017-02-06 12:45 367  
[ ]conlat_1__2816_71.min1.thm1.tptp2017-02-06 16:48 295  
[ ]conlat_1__2821_2.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_1__2825_49.min1.thm12017-02-06 12:45 3.9K 
[ ]conlat_1__2826_53.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__2827_26.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2828_17.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2848_4.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__2852_4.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__2853_54.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2855_36.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__2857_77.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_1__2860_37.min1.thm12017-02-06 12:45 2.1K 
[ ]conlat_1__2862_4.min1.thm12017-02-06 12:45 2.5K 
[ ]conlat_1__2863_53.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2865_7.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__2866_54.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2867_17.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__2889_34.min1.thm12017-02-06 12:45 591  
[ ]conlat_1__2892_34.min1.thm12017-02-06 12:45 594  
[ ]conlat_1__2900_19.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_1__2907_34.min1.thm12017-02-06 12:45 591  
[ ]conlat_1__2910_50.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_1__2912_19.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2919_34.min1.thm12017-02-06 12:45 591  
[ ]conlat_1__2924_34.min1.thm12017-02-06 12:45 594  
[ ]conlat_1__2927_52.min1.thm12017-02-06 12:45 2.5K 
[ ]conlat_1__2930_19.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_1__2945_34.min1.thm12017-02-06 12:45 591  
[ ]conlat_1__2948_50.min1.thm12017-02-06 12:45 2.0K 
[ ]conlat_1__2950_19.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__2963_14.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__2969_14.min1.thm12017-02-06 12:45 711  
[ ]conlat_1__2980_16.min1.thm12017-02-06 12:45 805  
[ ]conlat_1__3002_52.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__3004_72.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__3012_47.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__3013_77.min1.thm12017-02-06 12:45 1.9K 
[ ]conlat_1__3015_61.min1.thm12017-02-06 12:45 2.2K 
[ ]conlat_1__3016_30.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__3032_52.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__3033_39.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__3035_17.min1.thm12017-02-06 12:45 787  
[ ]conlat_1__3035_17.min1.thm1.tptp2017-02-06 16:48 699  
[ ]conlat_1__3047_13.min1.thm12017-02-06 12:45 195  
[ ]conlat_1__3065_54.min1.thm12017-02-06 12:45 813  
[ ]conlat_1__3067_22.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__3070_22.min1.thm12017-02-06 12:45 811  
[ ]conlat_1__3070_22.min1.thm1.tptp2017-02-06 16:48 760  
[ ]conlat_1__3073_65.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__3077_31.min1.thm12017-02-06 12:45 521  
[ ]conlat_1__3079_21.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__3083_64.min1.thm12017-02-06 12:45 515  
[ ]conlat_1__3089_14.min1.thm12017-02-06 12:45 902  
[ ]conlat_1__3091_30.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__3092_20.min1.thm12017-02-06 12:45 502  
[ ]conlat_1__3092_20.min1.thm1.tptp2017-02-06 16:48 416  
[ ]conlat_1__3094_42.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__3110_19.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__3113_25.min1.thm12017-02-06 12:45 677  
[ ]conlat_1__3120_35.min1.thm12017-02-06 12:45 663  
[ ]conlat_1__3121_25.min1.thm12017-02-06 12:45 811  
[ ]conlat_1__3123_23.min1.thm12017-02-06 12:45 823  
[ ]conlat_1__3123_23.min1.thm1.tptp2017-02-06 16:48 756  
[ ]conlat_1__3129_16.min1.thm12017-02-06 12:45 476  
[ ]conlat_1__3132_15.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__3134_37.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__3135_20.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__3154_35.min1.thm12017-02-06 12:45 436  
[ ]conlat_1__3155_18.min1.thm12017-02-06 12:45 918  
[ ]conlat_1__3157_27.min1.thm12017-02-06 12:45 555  
[ ]conlat_1__3157_27.min1.thm1.tptp2017-02-06 16:48 474  
[ ]conlat_1__3159_25.min1.thm12017-02-06 12:45 521  
[ ]conlat_1__3159_25.min1.thm1.tptp2017-02-06 16:48 466  
[ ]conlat_1__3166_21.min1.thm12017-02-06 12:45 521  
[ ]conlat_1__3166_21.min1.thm1.tptp2017-02-06 16:48 466  
[ ]conlat_1__3168_17.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__3171_23.min1.thm12017-02-06 12:45 919  
[ ]conlat_1__3171_23.min1.thm1.tptp2017-02-06 16:48 854  
[ ]conlat_1__3179_19.min1.thm12017-02-06 12:45 517  
[ ]conlat_1__3179_19.min1.thm1.tptp2017-02-06 16:48 462  
[ ]conlat_1__3181_15.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__3182_23.min1.thm12017-02-06 12:45 1.4K 
[ ]conlat_1__3200_62.min1.thm12017-02-06 12:45 857  
[ ]conlat_1__3203_25.min1.thm12017-02-06 12:45 715  
[ ]conlat_1__3214_35.min1.thm12017-02-06 12:45 806  
[ ]conlat_1__3215_27.min1.thm12017-02-06 12:45 1.8K 
[ ]conlat_1__3217_22.min1.thm12017-02-06 12:45 766  
[ ]conlat_1__3217_22.min1.thm1.tptp2017-02-06 16:48 697  
[ ]conlat_1__3219_23.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__3226_45.min1.thm12017-02-06 12:45 1.5K 
[ ]conlat_1__3229_74.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__3239_27.min1.thm12017-02-06 12:45 818  
[ ]conlat_1__3240_27.min1.thm12017-02-06 12:45 630  
[ ]conlat_1__3250_61.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_1__3257_41.min1.thm12017-02-06 12:45 532  
[ ]conlat_1__3263_33.min1.thm12017-02-06 12:45 722  
[ ]conlat_1__3264_61.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__3271_25.min1.thm12017-02-06 12:45 747  
[ ]conlat_1__3275_42.min1.thm12017-02-06 12:45 1.1K 
[ ]conlat_1__3276_23.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_1__3278_45.min1.thm12017-02-06 12:45 963  
[ ]conlat_1__3279_37.min1.thm12017-02-06 12:45 2.7K 
[ ]conlat_1__3291_43.min1.thm12017-02-06 12:45 1.3K 
[ ]conlat_1__3295_18.min1.thm12017-02-06 12:45 918  
[ ]conlat_1__3296_61.min1.thm12017-02-06 12:45 650  
[ ]conlat_1__3298_42.min1.thm12017-02-06 12:45 1.2K 
[ ]conlat_1__3299_56.min1.thm12017-02-06 12:45 1.6K 
[ ]conlat_1__3300_27.min1.thm12017-02-06 12:45 1.7K 
[ ]conlat_1__3302_25.min1.thm12017-02-06 12:45 2.4K 
[ ]conlat_1__3305_23.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__3319_23.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__3322_21.min1.thm12017-02-06 12:45 1.0K 
[ ]conlat_1__3331_14.min1.thm12017-02-06 12:45 473  
[ ]conlat_1__3331_14.min1.thm1.tptp2017-02-06 16:48 397  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80