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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]grnilp_1__52_44.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__53_44.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__54_44.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__55_39.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__56_31.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__57_29.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__58_14.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__64_43.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__65_37.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__66_38.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__67_39.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__68_35.min1.thm12017-02-06 12:46 1.8K 
[ ]grnilp_1__69_33.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__70_39.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__71_44.min1.thm12017-02-06 12:46 1.4K 
[ ]grnilp_1__72_42.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__73_27.min1.thm12017-02-06 12:46 2.6K 
[ ]grnilp_1__79_43.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__80_37.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__81_38.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__82_39.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__83_35.min1.thm12017-02-06 12:46 1.8K 
[ ]grnilp_1__84_33.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__85_41.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__86_44.min1.thm12017-02-06 12:46 1.4K 
[ ]grnilp_1__87_46.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__88_48.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__89_48.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__90_46.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__97_41.min1.thm12017-02-06 12:46 1.4K 
[ ]grnilp_1__98_35.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__106_62.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__107_60.min1.thm12017-02-06 12:46 2.2K 
[ ]grnilp_1__108_64.min1.thm12017-02-06 12:46 2.5K 
[ ]grnilp_1__109_64.min1.thm12017-02-06 12:46 2.5K 
[ ]grnilp_1__111_9.min1.thm12017-02-06 12:46 2.5K 
[ ]grnilp_1__113_9.min1.thm12017-02-06 12:46 2.5K 
[ ]grnilp_1__114_61.min1.thm12017-02-06 12:46 2.4K 
[ ]grnilp_1__115_59.min1.thm12017-02-06 12:46 2.6K 
[ ]grnilp_1__116_44.min1.thm12017-02-06 12:46 2.6K 
[ ]grnilp_1__117_43.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__118_42.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__120_59.min1.thm12017-02-06 12:46 2.5K 
[ ]grnilp_1__121_59.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__123_9.min1.thm12017-02-06 12:46 2.6K 
[ ]grnilp_1__127_9.min1.thm12017-02-06 12:46 2.8K 
[ ]grnilp_1__131_9.min1.thm12017-02-06 12:46 2.1K 
[ ]grnilp_1__137_9.min1.thm12017-02-06 12:46 2.5K 
[ ]grnilp_1__139_9.min1.thm12017-02-06 12:46 2.5K 
[ ]grnilp_1__141_9.min1.thm12017-02-06 12:46 2.3K 
[ ]grnilp_1__143_9.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__144_60.min1.thm12017-02-06 12:46 2.2K 
[ ]grnilp_1__146_43.min1.thm12017-02-06 12:46 2.5K 
[ ]grnilp_1__147_17.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__147_17.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]grnilp_1__153_55.min1.thm12017-02-06 12:46 2.2K 
[ ]grnilp_1__154_54.min1.thm12017-02-06 12:46 2.0K 
[ ]grnilp_1__155_47.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__156_40.min1.thm12017-02-06 12:46 2.0K 
[ ]grnilp_1__157_39.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__158_39.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__159_35.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__160_24.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__166_45.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__167_17.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__190_25.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__195_24.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__206_19.min1.thm12017-02-06 12:46 1.4K 
[ ]grnilp_1__211_41.min1.thm12017-02-06 12:46 2.9K 
[ ]grnilp_1__212_35.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__213_28.min1.thm12017-02-06 12:46 2.0K 
[ ]grnilp_1__223_17.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__224_39.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__226_26.min1.thm12017-02-06 12:46 1.4K 
[ ]grnilp_1__230_33.min1.thm12017-02-06 12:46 2.6K 
[ ]grnilp_1__231_25.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__257_13.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__258_22.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__259_22.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__260_22.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__262_31.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__263_34.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__264_17.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__282_33.min1.thm12017-02-06 12:46 666  
[ ]grnilp_1__284_36.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__294_62.min1.thm12017-02-06 12:46 1.4K 
[ ]grnilp_1__310_33.min1.thm12017-02-06 12:46 604  
[ ]grnilp_1__320_34.min1.thm12017-02-06 12:46 604  
[ ]grnilp_1__321_25.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__329_58.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__334_44.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__335_50.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__337_58.min1.thm12017-02-06 12:46 1.4K 
[ ]grnilp_1__339_54.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__350_18.min1.thm12017-02-06 12:46 888  
[ ]grnilp_1__359_37.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__362_14.min1.thm12017-02-06 12:46 937  
[ ]grnilp_1__367_56.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__368_51.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__369_41.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__370_44.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__371_37.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__372_32.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__375_17.min1.thm12017-02-06 12:46 921  
[ ]grnilp_1__402_31.min1.thm12017-02-06 12:46 603  
[ ]grnilp_1__402_31.min1.thm1.tptp2017-02-06 16:47 544  
[ ]grnilp_1__403_31.min1.thm12017-02-06 12:46 137  
[ ]grnilp_1__405_22.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__409_20.min1.thm12017-02-06 12:46 660  
[ ]grnilp_1__412_16.min1.thm12017-02-06 12:46 629  
[ ]grnilp_1__420_31.min1.thm12017-02-06 12:46 642  
[ ]grnilp_1__421_21.min1.thm12017-02-06 12:46 947  
[ ]grnilp_1__423_15.min1.thm12017-02-06 12:46 771  
[ ]grnilp_1__424_20.min1.thm12017-02-06 12:46 470  
[ ]grnilp_1__427_58.min1.thm12017-02-06 12:46 448  
[ ]grnilp_1__428_44.min1.thm12017-02-06 12:46 135  
[ ]grnilp_1__429_45.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__431_19.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__432_24.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__433_21.min1.thm12017-02-06 12:46 887  
[ ]grnilp_1__434_21.min1.thm12017-02-06 12:46 707  
[ ]grnilp_1__436_16.min1.thm12017-02-06 12:46 421  
[ ]grnilp_1__455_16.min1.thm12017-02-06 12:46 357  
[ ]grnilp_1__455_16.min1.thm1.tptp2017-02-06 16:47 277  
[ ]grnilp_1__466_22.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__467_17.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__475_42.min1.thm12017-02-06 12:46 715  
[ ]grnilp_1__476_17.min1.thm12017-02-06 12:46 692  
[ ]grnilp_1__484_45.min1.thm12017-02-06 12:46 502  
[ ]grnilp_1__484_45.min1.thm1.tptp2017-02-06 16:47 423  
[ ]grnilp_1__485_30.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__486_17.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__512_30.min1.thm12017-02-06 12:46 888  
[ ]grnilp_1__514_18.min1.thm12017-02-06 12:46 857  
[ ]grnilp_1__516_25.min1.thm12017-02-06 12:46 1.4K 
[ ]grnilp_1__519_8.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__521_18.min1.thm12017-02-06 12:46 946  
[ ]grnilp_1__522_22.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__523_26.min1.thm12017-02-06 12:46 713  
[ ]grnilp_1__534_20.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__535_27.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__540_15.min1.thm12017-02-06 12:46 284  
[ ]grnilp_1__555_55.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__556_46.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__564_42.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__566_16.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__569_38.min1.thm12017-02-06 12:46 371  
[ ]grnilp_1__569_38.min1.thm1.tptp2017-02-06 16:47 285  
[ ]grnilp_1__570_19.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__573_22.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__578_32.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__579_28.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__584_32.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__585_28.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__591_53.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__592_46.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__593_40.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__594_39.min1.thm12017-02-06 12:46 806  
[ ]grnilp_1__597_26.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__598_26.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__602_18.min1.thm12017-02-06 12:46 762  
[ ]grnilp_1__617_55.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__618_46.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__628_30.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__631_41.min1.thm12017-02-06 12:46 722  
[ ]grnilp_1__632_16.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__636_58.min1.thm12017-02-06 12:46 2.2K 
[ ]grnilp_1__645_64.min1.thm12017-02-06 12:46 1.8K 
[ ]grnilp_1__646_62.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__647_59.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__648_51.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__649_46.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__650_38.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__651_21.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__653_19.min1.thm12017-02-06 12:46 1.8K 
[ ]grnilp_1__673_64.min1.thm12017-02-06 12:46 283  
[ ]grnilp_1__687_53.min1.thm12017-02-06 12:46 2.7K 
[ ]grnilp_1__694_62.min1.thm12017-02-06 12:46 2.9K 
[ ]grnilp_1__695_61.min1.thm12017-02-06 12:46 2.7K 
[ ]grnilp_1__697_23.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__699_21.min1.thm12017-02-06 12:46 2.4K 
[ ]grnilp_1__705_59.min1.thm12017-02-06 12:46 2.6K 
[ ]grnilp_1__724_42.min1.thm12017-02-06 12:46 1.8K 
[ ]grnilp_1__725_51.min1.thm12017-02-06 12:46 2.5K 
[ ]grnilp_1__726_21.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__734_53.min1.thm12017-02-06 12:46 2.5K 
[ ]grnilp_1__759_42.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__762_49.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__763_57.min1.thm12017-02-06 12:46 1.8K 
[ ]grnilp_1__773_32.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__776_43.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__777_44.min1.thm12017-02-06 12:46 2.7K 
[ ]grnilp_1__783_22.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__784_41.min1.thm12017-02-06 12:46 723  
[ ]grnilp_1__787_48.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__788_41.min1.thm12017-02-06 12:46 723  
[ ]grnilp_1__789_16.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__793_16.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__794_13.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__795_32.min1.thm12017-02-06 12:46 2.4K 
[ ]grnilp_1__796_23.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__807_62.min1.thm12017-02-06 12:46 2.2K 
[ ]grnilp_1__808_60.min1.thm12017-02-06 12:46 2.1K 
[ ]grnilp_1__809_55.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__810_47.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__811_42.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__812_34.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__813_21.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__815_19.min1.thm12017-02-06 12:46 2.4K 
[ ]grnilp_1__822_43.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__824_58.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__827_58.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__831_55.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__837_59.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__838_59.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__852_43.min1.thm12017-02-06 12:46 368  
[ ]grnilp_1__853_31.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__874_22.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__875_44.min1.thm12017-02-06 12:46 661  
[ ]grnilp_1__876_59.min1.thm12017-02-06 12:46 910  
[ ]grnilp_1__877_47.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__881_15.min1.thm12017-02-06 12:46 637  
[ ]grnilp_1__887_15.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__890_15.min1.thm12017-02-06 12:46 1.8K 
[ ]grnilp_1__891_26.min1.thm12017-02-06 12:46 2.1K 
[ ]grnilp_1__892_72.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__898_6.min1.thm12017-02-06 12:46 2.8K 
[ ]grnilp_1__899_28.min1.thm12017-02-06 12:46 2.3K 
[ ]grnilp_1__900_16.min1.thm12017-02-06 12:46 635  
[ ]grnilp_1__913_30.min1.thm12017-02-06 12:46 1.8K 
[ ]grnilp_1__916_33.min1.thm12017-02-06 12:46 1.8K 
[ ]grnilp_1__918_40.min1.thm12017-02-06 12:46 2.7K 
[ ]grnilp_1__919_49.min1.thm12017-02-06 12:46 2.1K 
[ ]grnilp_1__937_6.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__939_27.min1.thm12017-02-06 12:46 792  
[ ]grnilp_1__953_22.min1.thm12017-02-06 12:46 2.0K 
[ ]grnilp_1__954_36.min1.thm12017-02-06 12:46 2.3K 
[ ]grnilp_1__955_25.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__963_18.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__968_11.min1.thm12017-02-06 12:46 635  
[ ]grnilp_1__968_11.min1.thm1.tptp2017-02-06 16:47 595  
[ ]grnilp_1__980_46.min1.thm12017-02-06 12:46 2.1K 
[ ]grnilp_1__981_40.min1.thm12017-02-06 12:46 2.5K 
[ ]grnilp_1__982_47.min1.thm12017-02-06 12:46 3.0K 
[ ]grnilp_1__983_41.min1.thm12017-02-06 12:46 2.1K 
[ ]grnilp_1__984_40.min1.thm12017-02-06 12:46 2.5K 
[ ]grnilp_1__1008_30.min1.thm12017-02-06 12:46 2.5K 
[ ]grnilp_1__1019_16.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__1020_38.min1.thm12017-02-06 12:46 786  
[ ]grnilp_1__1029_29.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__1029_29.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]grnilp_1__1037_35.min1.thm12017-02-06 12:46 364  
[ ]grnilp_1__1037_35.min1.thm1.tptp2017-02-06 16:47 286  
[ ]grnilp_1__1041_28.min1.thm12017-02-06 12:46 938  
[ ]grnilp_1__1043_39.min1.thm12017-02-06 12:46 2.1K 
[ ]grnilp_1__1045_17.min1.thm12017-02-06 12:46 2.4K 
[ ]grnilp_1__1047_53.min1.thm12017-02-06 12:46 2.1K 
[ ]grnilp_1__1052_33.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__1052_33.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]grnilp_1__1053_19.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__1055_17.min1.thm12017-02-06 12:46 2.5K 
[ ]grnilp_1__1082_63.min1.thm12017-02-06 12:46 3.0K 
[ ]grnilp_1__1095_49.min1.thm12017-02-06 12:46 2.2K 
[ ]grnilp_1__1102_21.min1.thm12017-02-06 12:46 2.0K 
[ ]grnilp_1__1104_16.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__1105_23.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__1106_17.min1.thm12017-02-06 12:46 2.3K 
[ ]grnilp_1__1109_17.min1.thm12017-02-06 12:46 1.1K 
[ ]grnilp_1__1110_43.min1.thm12017-02-06 12:46 787  
[ ]grnilp_1__1113_39.min1.thm12017-02-06 12:46 2.7K 
[ ]grnilp_1__1115_39.min1.thm12017-02-06 12:46 2.7K 
[ ]grnilp_1__1116_51.min1.thm12017-02-06 12:46 2.1K 
[ ]grnilp_1__1123_61.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__1124_59.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__1125_54.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__1126_46.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__1127_41.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__1128_33.min1.thm12017-02-06 12:46 1.4K 
[ ]grnilp_1__1129_21.min1.thm12017-02-06 12:46 2.3K 
[ ]grnilp_1__1144_52.min1.thm12017-02-06 12:46 2.8K 
[ ]grnilp_1__1148_19.min1.thm12017-02-06 12:46 2.0K 
[ ]grnilp_1__1151_17.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__1159_38.min1.thm12017-02-06 12:46 832  
[ ]grnilp_1__1164_16.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__1166_34.min1.thm12017-02-06 12:46 2.2K 
[ ]grnilp_1__1167_24.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__1171_19.min1.thm12017-02-06 12:46 743  
[ ]grnilp_1__1171_19.min1.thm1.tptp2017-02-06 16:47 679  
[ ]grnilp_1__1189_15.min1.thm12017-02-06 12:46 1.8K 
[ ]grnilp_1__1199_22.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__1200_44.min1.thm12017-02-06 12:46 661  
[ ]grnilp_1__1201_46.min1.thm12017-02-06 12:46 942  
[ ]grnilp_1__1203_9.min1.thm12017-02-06 12:46 552  
[ ]grnilp_1__1205_53.min1.thm12017-02-06 12:46 2.6K 
[ ]grnilp_1__1206_19.min1.thm12017-02-06 12:46 1.0K 
[ ]grnilp_1__1211_26.min1.thm12017-02-06 12:46 1.6K 
[ ]grnilp_1__1213_24.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__1214_20.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__1226_32.min1.thm12017-02-06 12:46 1.8K 
[ ]grnilp_1__1229_18.min1.thm12017-02-06 12:46 3.6K 
[ ]grnilp_1__1233_35.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__1234_54.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__1241_72.min1.thm12017-02-06 12:46 1.2K 
[ ]grnilp_1__1242_36.min1.thm12017-02-06 12:46 1.9K 
[ ]grnilp_1__1246_38.min1.thm12017-02-06 12:46 1.5K 
[ ]grnilp_1__1257_28.min1.thm12017-02-06 12:46 894  
[ ]grnilp_1__1282_34.min1.thm12017-02-06 12:46 1.8K 
[ ]grnilp_1__1311_32.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__1313_44.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__1314_34.min1.thm12017-02-06 12:46 2.4K 
[ ]grnilp_1__1318_16.min1.thm12017-02-06 12:46 1.8K 
[ ]grnilp_1__1318_16.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]grnilp_1__1344_39.min1.thm12017-02-06 12:46 1.7K 
[ ]grnilp_1__1345_44.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__1346_34.min1.thm12017-02-06 12:46 2.6K 
[ ]grnilp_1__1350_16.min1.thm12017-02-06 12:46 1.8K 
[ ]grnilp_1__1350_16.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]grnilp_1__1364_53.min1.thm12017-02-06 12:46 659  
[ ]grnilp_1__1382_64.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__1383_57.min1.thm12017-02-06 12:46 2.9K 
[ ]grnilp_1__1384_41.min1.thm12017-02-06 12:46 1.3K 
[ ]grnilp_1__1387_21.min1.thm12017-02-06 12:46 3.5K 
[ ]grnilp_1__1390_18.min1.thm12017-02-06 12:46 3.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80