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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]grsolv_1__59_27.min1.thm12017-02-06 12:45 618  
[ ]grsolv_1__61_19.min1.thm12017-02-06 12:45 501  
[ ]grsolv_1__62_41.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__63_23.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__65_62.min1.thm12017-02-06 12:45 813  
[ ]grsolv_1__67_16.min1.thm12017-02-06 12:45 674  
[ ]grsolv_1__80_20.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__81_19.min1.thm12017-02-06 12:45 451  
[ ]grsolv_1__84_20.min1.thm12017-02-06 12:45 793  
[ ]grsolv_1__85_18.min1.thm12017-02-06 12:45 705  
[ ]grsolv_1__88_15.min1.thm12017-02-06 12:45 279  
[ ]grsolv_1__98_43.min1.thm12017-02-06 12:45 1.0K 
[ ]grsolv_1__104_43.min1.thm12017-02-06 12:45 356  
[ ]grsolv_1__105_31.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__106_17.min1.thm12017-02-06 12:45 2.8K 
[ ]grsolv_1__118_52.min1.thm12017-02-06 12:45 2.5K 
[ ]grsolv_1__121_36.min1.thm12017-02-06 12:45 2.6K 
[ ]grsolv_1__123_23.min1.thm12017-02-06 12:45 4.0K 
[ ]grsolv_1__135_47.min1.thm12017-02-06 12:45 921  
[ ]grsolv_1__137_37.min1.thm12017-02-06 12:45 2.1K 
[ ]grsolv_1__139_7.min1.thm12017-02-06 12:45 1.8K 
[ ]grsolv_1__140_58.min1.thm12017-02-06 12:45 834  
[ ]grsolv_1__141_29.min1.thm12017-02-06 12:45 2.3K 
[ ]grsolv_1__143_54.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__145_31.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__157_57.min1.thm12017-02-06 12:45 2.5K 
[ ]grsolv_1__161_32.min1.thm12017-02-06 12:45 1.0K 
[ ]grsolv_1__163_17.min1.thm12017-02-06 12:45 2.0K 
[ ]grsolv_1__165_62.min1.thm12017-02-06 12:45 2.5K 
[ ]grsolv_1__170_31.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__187_17.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__190_22.min1.thm12017-02-06 12:45 4.4K 
[ ]grsolv_1__192_22.min1.thm12017-02-06 12:45 1.4K 
[ ]grsolv_1__193_24.min1.thm12017-02-06 12:45 2.1K 
[ ]grsolv_1__194_23.min1.thm12017-02-06 12:45 1.7K 
[ ]grsolv_1__198_49.min1.thm12017-02-06 12:45 846  
[ ]grsolv_1__199_71.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__203_28.min1.thm12017-02-06 12:45 2.1K 
[ ]grsolv_1__204_49.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__205_68.min1.thm12017-02-06 12:45 947  
[ ]grsolv_1__207_50.min1.thm12017-02-06 12:45 1.9K 
[ ]grsolv_1__210_18.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__215_27.min1.thm12017-02-06 12:45 4.4K 
[ ]grsolv_1__216_22.min1.thm12017-02-06 12:45 1.7K 
[ ]grsolv_1__217_26.min1.thm12017-02-06 12:45 1.4K 
[ ]grsolv_1__224_37.min1.thm12017-02-06 12:45 3.2K 
[ ]grsolv_1__237_47.min1.thm12017-02-06 12:45 921  
[ ]grsolv_1__239_37.min1.thm12017-02-06 12:45 2.1K 
[ ]grsolv_1__241_7.min1.thm12017-02-06 12:45 1.8K 
[ ]grsolv_1__242_58.min1.thm12017-02-06 12:45 834  
[ ]grsolv_1__243_29.min1.thm12017-02-06 12:45 2.3K 
[ ]grsolv_1__245_54.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__258_57.min1.thm12017-02-06 12:45 2.5K 
[ ]grsolv_1__262_32.min1.thm12017-02-06 12:45 1.0K 
[ ]grsolv_1__264_17.min1.thm12017-02-06 12:45 2.0K 
[ ]grsolv_1__266_62.min1.thm12017-02-06 12:45 2.5K 
[ ]grsolv_1__271_31.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__288_17.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__291_22.min1.thm12017-02-06 12:45 4.4K 
[ ]grsolv_1__293_22.min1.thm12017-02-06 12:45 1.4K 
[ ]grsolv_1__294_24.min1.thm12017-02-06 12:45 2.1K 
[ ]grsolv_1__295_23.min1.thm12017-02-06 12:45 1.7K 
[ ]grsolv_1__299_49.min1.thm12017-02-06 12:45 846  
[ ]grsolv_1__300_71.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__304_29.min1.thm12017-02-06 12:45 1.8K 
[ ]grsolv_1__305_49.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__306_68.min1.thm12017-02-06 12:45 947  
[ ]grsolv_1__308_52.min1.thm12017-02-06 12:45 1.9K 
[ ]grsolv_1__311_18.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__316_27.min1.thm12017-02-06 12:45 4.4K 
[ ]grsolv_1__317_22.min1.thm12017-02-06 12:45 1.7K 
[ ]grsolv_1__318_26.min1.thm12017-02-06 12:45 1.4K 
[ ]grsolv_1__325_37.min1.thm12017-02-06 12:45 3.2K 
[ ]grsolv_1__348_22.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__349_30.min1.thm12017-02-06 12:45 607  
[ ]grsolv_1__350_52.min1.thm12017-02-06 12:45 786  
[ ]grsolv_1__352_47.min1.thm12017-02-06 12:45 1.4K 
[ ]grsolv_1__355_15.min1.thm12017-02-06 12:45 547  
[ ]grsolv_1__373_18.min1.thm12017-02-06 12:45 1.0K 
[ ]grsolv_1__378_33.min1.thm12017-02-06 12:45 1.7K 
[ ]grsolv_1__379_58.min1.thm12017-02-06 12:45 1.5K 
[ ]grsolv_1__388_23.min1.thm12017-02-06 12:45 3.3K 
[ ]grsolv_1__389_24.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__390_31.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__394_14.min1.thm12017-02-06 12:45 2.9K 
[ ]grsolv_1__396_14.min1.thm12017-02-06 12:45 2.9K 
[ ]grsolv_1__406_21.min1.thm12017-02-06 12:45 2.3K 
[ ]grsolv_1__408_15.min1.thm12017-02-06 12:45 1.4K 
[ ]grsolv_1__411_19.min1.thm12017-02-06 12:45 1.5K 
[ ]grsolv_1__415_15.min1.thm12017-02-06 12:45 1.9K 
[ ]grsolv_1__416_26.min1.thm12017-02-06 12:45 2.0K 
[ ]grsolv_1__417_65.min1.thm12017-02-06 12:45 1.0K 
[ ]grsolv_1__418_19.min1.thm12017-02-06 12:45 2.1K 
[ ]grsolv_1__423_73.min1.thm12017-02-06 12:45 2.6K 
[ ]grsolv_1__425_28.min1.thm12017-02-06 12:45 1.7K 
[ ]grsolv_1__426_16.min1.thm12017-02-06 12:45 669  
[ ]grsolv_1__445_16.min1.thm12017-02-06 12:45 1.9K 
[ ]grsolv_1__445_16.min1.thm1.tptp2017-02-06 16:47 2.0K 
[ ]grsolv_1__452_52.min1.thm12017-02-06 12:45 1.0K 
[ ]grsolv_1__453_58.min1.thm12017-02-06 12:45 698  
[ ]grsolv_1__455_25.min1.thm12017-02-06 12:45 384  
[ ]grsolv_1__456_20.min1.thm12017-02-06 12:45 683  
[ ]grsolv_1__457_14.min1.thm12017-02-06 12:45 657  
[ ]grsolv_1__458_16.min1.thm12017-02-06 12:45 683  
[ ]grsolv_1__471_20.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__473_19.min1.thm12017-02-06 12:45 461  
[ ]grsolv_1__474_20.min1.thm12017-02-06 12:45 1.4K 
[ ]grsolv_1__481_23.min1.thm12017-02-06 12:45 2.6K 
[ ]grsolv_1__488_16.min1.thm12017-02-06 12:45 970  
[ ]grsolv_1__501_43.min1.thm12017-02-06 12:45 892  
[ ]grsolv_1__509_50.min1.thm12017-02-06 12:45 2.1K 
[ ]grsolv_1__509_63.min1.thm12017-02-06 12:45 1.9K 
[ ]grsolv_1__510_38.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__516_42.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__517_42.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__518_51.min1.thm12017-02-06 12:45 1.4K 
[ ]grsolv_1__520_46.min1.thm12017-02-06 12:45 1.4K 
[ ]grsolv_1__522_23.min1.thm12017-02-06 12:45 3.1K 
[ ]grsolv_1__545_30.min1.thm12017-02-06 12:45 3.0K 
[ ]grsolv_1__556_23.min1.thm12017-02-06 12:45 2.6K 
[ ]grsolv_1__557_41.min1.thm12017-02-06 12:45 2.5K 
[ ]grsolv_1__558_30.min1.thm12017-02-06 12:45 3.0K 
[ ]grsolv_1__564_72.min1.thm12017-02-06 12:45 2.2K 
[ ]grsolv_1__572_29.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__573_33.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__574_31.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__575_45.min1.thm12017-02-06 12:45 2.2K 
[ ]grsolv_1__576_18.min1.thm12017-02-06 12:45 2.1K 
[ ]grsolv_1__577_30.min1.thm12017-02-06 12:45 1.5K 
[ ]grsolv_1__579_56.min1.thm12017-02-06 12:45 2.0K 
[ ]grsolv_1__580_41.min1.thm12017-02-06 12:45 2.6K 
[ ]grsolv_1__593_46.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__595_53.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__596_47.min1.thm12017-02-06 12:45 1.8K 
[ ]grsolv_1__597_52.min1.thm12017-02-06 12:45 2.1K 
[ ]grsolv_1__616_14.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__617_35.min1.thm12017-02-06 12:45 356  
[ ]grsolv_1__617_35.min1.thm1.tptp2017-02-06 16:47 278  
[ ]grsolv_1__620_13.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__621_28.min1.thm12017-02-06 12:45 930  
[ ]grsolv_1__622_40.min1.thm12017-02-06 12:45 2.1K 
[ ]grsolv_1__623_39.min1.thm12017-02-06 12:45 2.1K 
[ ]grsolv_1__625_18.min1.thm12017-02-06 12:45 2.2K 
[ ]grsolv_1__626_17.min1.thm12017-02-06 12:45 2.6K 
[ ]grsolv_1__627_28.min1.thm12017-02-06 12:45 3.0K 
[ ]grsolv_1__630_30.min1.thm12017-02-06 12:45 1.0K 
[ ]grsolv_1__630_30.min1.thm1.tptp2017-02-06 16:47 955  
[ ]grsolv_1__636_17.min1.thm12017-02-06 12:45 2.8K 
[ ]grsolv_1__639_14.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__640_35.min1.thm12017-02-06 12:45 778  
[ ]grsolv_1__641_13.min1.thm12017-02-06 12:45 3.7K 
[ ]grsolv_1__644_18.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__647_33.min1.thm12017-02-06 12:45 1.0K 
[ ]grsolv_1__647_33.min1.thm1.tptp2017-02-06 16:47 955  
[ ]grsolv_1__648_33.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__655_15.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__656_35.min1.thm12017-02-06 12:45 356  
[ ]grsolv_1__656_35.min1.thm1.tptp2017-02-06 16:47 278  
[ ]grsolv_1__659_14.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__660_28.min1.thm12017-02-06 12:45 930  
[ ]grsolv_1__661_40.min1.thm12017-02-06 12:45 2.1K 
[ ]grsolv_1__662_39.min1.thm12017-02-06 12:45 2.1K 
[ ]grsolv_1__664_19.min1.thm12017-02-06 12:45 2.2K 
[ ]grsolv_1__665_17.min1.thm12017-02-06 12:45 2.6K 
[ ]grsolv_1__666_26.min1.thm12017-02-06 12:45 3.0K 
[ ]grsolv_1__669_28.min1.thm12017-02-06 12:45 1.0K 
[ ]grsolv_1__669_28.min1.thm1.tptp2017-02-06 16:47 955  
[ ]grsolv_1__675_18.min1.thm12017-02-06 12:45 2.8K 
[ ]grsolv_1__678_14.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__679_35.min1.thm12017-02-06 12:45 778  
[ ]grsolv_1__680_13.min1.thm12017-02-06 12:45 3.7K 
[ ]grsolv_1__683_18.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__686_31.min1.thm12017-02-06 12:45 1.0K 
[ ]grsolv_1__686_31.min1.thm1.tptp2017-02-06 16:47 955  
[ ]grsolv_1__687_17.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__707_36.min1.thm12017-02-06 12:45 357  
[ ]grsolv_1__707_36.min1.thm1.tptp2017-02-06 16:47 279  
[ ]grsolv_1__712_36.min1.thm12017-02-06 12:45 358  
[ ]grsolv_1__712_36.min1.thm1.tptp2017-02-06 16:47 280  
[ ]grsolv_1__713_27.min1.thm12017-02-06 12:45 1.7K 
[ ]grsolv_1__718_37.min1.thm12017-02-06 12:45 1.0K 
[ ]grsolv_1__718_37.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]grsolv_1__725_13.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__726_35.min1.thm12017-02-06 12:45 356  
[ ]grsolv_1__726_35.min1.thm1.tptp2017-02-06 16:47 278  
[ ]grsolv_1__729_28.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__730_39.min1.thm12017-02-06 12:45 2.4K 
[ ]grsolv_1__731_20.min1.thm12017-02-06 12:45 2.6K 
[ ]grsolv_1__734_39.min1.thm12017-02-06 12:45 1.0K 
[ ]grsolv_1__734_39.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]grsolv_1__735_17.min1.thm12017-02-06 12:45 1.4K 
[ ]grsolv_1__747_53.min1.thm12017-02-06 12:45 544  
[ ]grsolv_1__747_53.min1.thm1.tptp2017-02-06 16:47 456  
[ ]grsolv_1__752_17.min1.thm12017-02-06 12:45 2.2K 
[ ]grsolv_1__756_38.min1.thm12017-02-06 12:45 786  
[ ]grsolv_1__758_37.min1.thm12017-02-06 12:45 371  
[ ]grsolv_1__758_37.min1.thm1.tptp2017-02-06 16:47 285  
[ ]grsolv_1__766_38.min1.thm12017-02-06 12:45 855  
[ ]grsolv_1__769_23.min1.thm12017-02-06 12:45 3.4K 
[ ]grsolv_1__771_17.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__773_27.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__774_36.min1.thm12017-02-06 12:45 2.4K 
[ ]grsolv_1__775_23.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__776_19.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__777_20.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__779_25.min1.thm12017-02-06 12:45 3.6K 
[ ]grsolv_1__781_19.min1.thm12017-02-06 12:45 807  
[ ]grsolv_1__781_19.min1.thm1.tptp2017-02-06 16:47 743  
[ ]grsolv_1__783_17.min1.thm12017-02-06 12:45 3.4K 
[ ]grsolv_1__800_15.min1.thm12017-02-06 12:45 1.9K 
[ ]grsolv_1__802_21.min1.thm12017-02-06 12:45 1.9K 
[ ]grsolv_1__810_22.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__811_30.min1.thm12017-02-06 12:45 619  
[ ]grsolv_1__812_39.min1.thm12017-02-06 12:45 772  
[ ]grsolv_1__814_9.min1.thm12017-02-06 12:45 403  
[ ]grsolv_1__815_43.min1.thm12017-02-06 12:45 2.7K 
[ ]grsolv_1__816_39.min1.thm12017-02-06 12:45 2.4K 
[ ]grsolv_1__817_19.min1.thm12017-02-06 12:45 891  
[ ]grsolv_1__822_24.min1.thm12017-02-06 12:45 1.5K 
[ ]grsolv_1__824_22.min1.thm12017-02-06 12:45 1.2K 
[ ]grsolv_1__825_14.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__840_15.min1.thm12017-02-06 12:45 2.8K 
[ ]grsolv_1__843_15.min1.thm12017-02-06 12:45 4.5K 
[ ]grsolv_1__851_22.min1.thm12017-02-06 12:45 3.3K 
[ ]grsolv_1__855_22.min1.thm12017-02-06 12:45 3.3K 
[ ]grsolv_1__859_34.min1.thm12017-02-06 12:45 3.3K 
[ ]grsolv_1__861_24.min1.thm12017-02-06 12:45 2.7K 
[ ]grsolv_1__862_44.min1.thm12017-02-06 12:45 2.8K 
[ ]grsolv_1__863_20.min1.thm12017-02-06 12:45 3.4K 
[ ]grsolv_1__866_40.min1.thm12017-02-06 12:45 803  
[ ]grsolv_1__870_27.min1.thm12017-02-06 12:45 2.2K 
[ ]grsolv_1__872_20.min1.thm12017-02-06 12:45 3.4K 
[ ]grsolv_1__875_40.min1.thm12017-02-06 12:45 803  
[ ]grsolv_1__879_24.min1.thm12017-02-06 12:45 2.2K 
[ ]grsolv_1__888_46.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__889_46.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__891_47.min1.thm12017-02-06 12:45 2.8K 
[ ]grsolv_1__894_45.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__897_51.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__898_48.min1.thm12017-02-06 12:45 656  
[ ]grsolv_1__899_23.min1.thm12017-02-06 12:45 1.5K 
[ ]grsolv_1__900_50.min1.thm12017-02-06 12:45 2.0K 
[ ]grsolv_1__901_23.min1.thm12017-02-06 12:45 1.5K 
[ ]grsolv_1__902_50.min1.thm12017-02-06 12:45 2.0K 
[ ]grsolv_1__903_68.min1.thm12017-02-06 12:45 2.8K 
[ ]grsolv_1__905_39.min1.thm12017-02-06 12:45 1.8K 
[ ]grsolv_1__906_56.min1.thm12017-02-06 12:45 1.8K 
[ ]grsolv_1__907_39.min1.thm12017-02-06 12:45 1.8K 
[ ]grsolv_1__908_56.min1.thm12017-02-06 12:45 1.8K 
[ ]grsolv_1__915_34.min1.thm12017-02-06 12:45 790  
[ ]grsolv_1__916_58.min1.thm12017-02-06 12:45 810  
[ ]grsolv_1__917_28.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__918_32.min1.thm12017-02-06 12:45 2.7K 
[ ]grsolv_1__921_36.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__928_34.min1.thm12017-02-06 12:45 790  
[ ]grsolv_1__929_58.min1.thm12017-02-06 12:45 810  
[ ]grsolv_1__930_28.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__931_31.min1.thm12017-02-06 12:45 2.7K 
[ ]grsolv_1__934_35.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__940_31.min1.thm12017-02-06 12:45 2.0K 
[ ]grsolv_1__941_56.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__942_28.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__943_38.min1.thm12017-02-06 12:45 2.8K 
[ ]grsolv_1__946_34.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__947_41.min1.thm12017-02-06 12:45 3.4K 
[ ]grsolv_1__952_50.min1.thm12017-02-06 12:45 908  
[ ]grsolv_1__952_50.min1.thm1.tptp2017-02-06 16:47 836  
[ ]grsolv_1__959_22.min1.thm12017-02-06 12:45 3.6K 
[ ]grsolv_1__965_31.min1.thm12017-02-06 12:45 2.0K 
[ ]grsolv_1__966_56.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__967_28.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__968_39.min1.thm12017-02-06 12:45 2.8K 
[ ]grsolv_1__970_40.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__971_38.min1.thm12017-02-06 12:45 1.3K 
[ ]grsolv_1__972_25.min1.thm12017-02-06 12:45 1.9K 
[ ]grsolv_1__981_46.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__982_46.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__984_47.min1.thm12017-02-06 12:45 2.8K 
[ ]grsolv_1__987_43.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__988_53.min1.thm12017-02-06 12:45 2.6K 
[ ]grsolv_1__996_41.min1.thm12017-02-06 12:45 380  
[ ]grsolv_1__996_41.min1.thm1.tptp2017-02-06 16:47 302  
[ ]grsolv_1__1001_23.min1.thm12017-02-06 12:45 2.3K 
[ ]grsolv_1__1002_51.min1.thm12017-02-06 12:45 713  
[ ]grsolv_1__1003_23.min1.thm12017-02-06 12:45 2.3K 
[ ]grsolv_1__1004_51.min1.thm12017-02-06 12:45 710  
[ ]grsolv_1__1005_26.min1.thm12017-02-06 12:45 2.7K 
[ ]grsolv_1__1007_29.min1.thm12017-02-06 12:45 3.7K 
[ ]grsolv_1__1009_48.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__1011_38.min1.thm12017-02-06 12:45 2.0K 
[ ]grsolv_1__1012_53.min1.thm12017-02-06 12:45 2.6K 
[ ]grsolv_1__1020_41.min1.thm12017-02-06 12:45 380  
[ ]grsolv_1__1020_41.min1.thm1.tptp2017-02-06 16:47 302  
[ ]grsolv_1__1025_23.min1.thm12017-02-06 12:45 2.3K 
[ ]grsolv_1__1026_51.min1.thm12017-02-06 12:45 710  
[ ]grsolv_1__1027_23.min1.thm12017-02-06 12:45 2.3K 
[ ]grsolv_1__1028_51.min1.thm12017-02-06 12:45 713  
[ ]grsolv_1__1029_26.min1.thm12017-02-06 12:45 2.7K 
[ ]grsolv_1__1031_30.min1.thm12017-02-06 12:45 3.7K 
[ ]grsolv_1__1033_50.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__1035_38.min1.thm12017-02-06 12:45 2.0K 
[ ]grsolv_1__1036_34.min1.thm12017-02-06 12:45 3.3K 
[ ]grsolv_1__1038_24.min1.thm12017-02-06 12:45 2.7K 
[ ]grsolv_1__1039_44.min1.thm12017-02-06 12:45 2.8K 
[ ]grsolv_1__1047_39.min1.thm12017-02-06 12:45 1.6K 
[ ]grsolv_1__1054_60.min1.thm12017-02-06 12:45 1.1K 
[ ]grsolv_1__1055_34.min1.thm12017-02-06 12:45 1.8K 
[ ]grsolv_1__1056_73.min1.thm12017-02-06 12:45 2.6K 
[ ]grsolv_1__1059_24.min1.thm12017-02-06 12:45 1.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80