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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jgraph_5__52_33.min1.thm12017-02-06 12:46 624  
[ ]jgraph_5__52_33.min1.thm1.tptp2017-02-06 16:47 553  
[ ]jgraph_5__77_33.min1.thm12017-02-06 12:46 624  
[ ]jgraph_5__77_33.min1.thm1.tptp2017-02-06 16:47 553  
[ ]jgraph_5__103_9.min1.thm12017-02-06 12:46 852  
[ ]jgraph_5__105_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__108_60.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__110_22.min1.thm12017-02-06 12:46 955  
[ ]jgraph_5__111_30.min1.thm12017-02-06 12:46 733  
[ ]jgraph_5__113_16.min1.thm12017-02-06 12:46 761  
[ ]jgraph_5__114_12.min1.thm12017-02-06 12:46 853  
[ ]jgraph_5__115_22.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__117_43.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__118_45.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__123_20.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__124_62.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__125_17.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__142_20.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__143_17.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__155_20.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__156_17.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__177_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__178_30.min1.thm12017-02-06 12:46 573  
[ ]jgraph_5__179_52.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__180_45.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__181_19.min1.thm12017-02-06 12:46 808  
[ ]jgraph_5__189_43.min1.thm12017-02-06 12:46 512  
[ ]jgraph_5__191_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__211_12.min1.thm12017-02-06 12:46 942  
[ ]jgraph_5__212_52.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__213_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__214_13.min1.thm12017-02-06 12:46 943  
[ ]jgraph_5__216_59.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__220_46.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__221_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__222_13.min1.thm12017-02-06 12:46 943  
[ ]jgraph_5__235_72.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__236_12.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__240_59.min1.thm12017-02-06 12:46 744  
[ ]jgraph_5__241_20.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__244_13.min1.thm12017-02-06 12:46 735  
[ ]jgraph_5__245_21.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__248_55.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__249_25.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__251_22.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__254_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__258_11.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__266_73.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__267_23.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__271_12.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__274_13.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__277_9.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__282_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__283_12.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__292_11.min1.thm12017-02-06 12:46 865  
[ ]jgraph_5__293_9.min1.thm12017-02-06 12:46 865  
[ ]jgraph_5__295_21.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__296_23.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__297_8.min1.thm12017-02-06 12:46 864  
[ ]jgraph_5__299_20.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__300_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__323_12.min1.thm12017-02-06 12:46 942  
[ ]jgraph_5__324_52.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__325_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__326_13.min1.thm12017-02-06 12:46 943  
[ ]jgraph_5__328_59.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__332_46.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__333_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__334_13.min1.thm12017-02-06 12:46 943  
[ ]jgraph_5__347_72.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__348_12.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__352_59.min1.thm12017-02-06 12:46 744  
[ ]jgraph_5__353_20.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__356_13.min1.thm12017-02-06 12:46 735  
[ ]jgraph_5__357_21.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__360_55.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__361_25.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__363_22.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__366_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__370_11.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__378_73.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__379_23.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__383_12.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__386_13.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__389_9.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__394_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__395_12.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__404_11.min1.thm12017-02-06 12:46 865  
[ ]jgraph_5__405_9.min1.thm12017-02-06 12:46 865  
[ ]jgraph_5__407_21.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__408_23.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__409_8.min1.thm12017-02-06 12:46 864  
[ ]jgraph_5__411_20.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__412_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__422_43.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__423_17.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__452_12.min1.thm12017-02-06 12:46 747  
[ ]jgraph_5__454_15.min1.thm12017-02-06 12:46 748  
[ ]jgraph_5__458_20.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__460_20.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__468_23.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__469_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__472_32.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__473_54.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__478_30.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__481_28.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__484_31.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__485_10.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__514_41.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__539_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__544_34.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__545_34.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__548_45.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__549_45.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__550_45.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__553_20.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__554_45.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__556_28.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__561_19.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__561_19.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]jgraph_5__562_31.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_5__565_24.min1.thm12017-02-06 12:46 703  
[ ]jgraph_5__568_9.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__570_41.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__574_41.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__594_22.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__596_20.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__600_28.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__603_13.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__615_16.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__628_30.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__640_24.min1.thm12017-02-06 12:46 704  
[ ]jgraph_5__643_9.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__668_22.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__670_20.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__674_20.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__676_6.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__687_8.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__696_30.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__701_19.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__701_19.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]jgraph_5__705_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__712_24.min1.thm12017-02-06 12:46 704  
[ ]jgraph_5__715_10.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__717_41.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__718_41.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__729_6.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__737_20.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__741_30.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__743_16.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__754_17.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__771_24.min1.thm12017-02-06 12:46 706  
[ ]jgraph_5__775_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__778_9.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__780_41.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__784_41.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__800_6.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__808_20.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__812_30.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__814_13.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__825_20.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__842_34.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__848_19.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__852_17.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__853_19.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__857_17.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__860_15.min1.thm12017-02-06 12:46 948  
[ ]jgraph_5__868_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__870_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__872_44.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_5__874_23.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__878_22.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__882_44.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_5__907_38.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__909_15.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__939_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__941_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__943_44.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_5__954_44.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_5__955_63.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__969_16.min1.thm12017-02-06 12:46 3.2K 
[ ]jgraph_5__975_38.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__976_22.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__977_23.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__982_22.min1.thm12017-02-06 12:46 3.3K 
[ ]jgraph_5__1012_15.min1.thm12017-02-06 12:46 948  
[ ]jgraph_5__1020_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1022_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__1024_44.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_5__1028_44.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_5__1044_23.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__1047_31.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__1048_22.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__1060_15.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__1090_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1092_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__1094_44.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_5__1105_44.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_5__1106_63.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__1120_16.min1.thm12017-02-06 12:46 3.2K 
[ ]jgraph_5__1126_38.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__1127_22.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__1128_23.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__1133_22.min1.thm12017-02-06 12:46 3.3K 
[ ]jgraph_5__1161_19.min1.thm12017-02-06 12:46 5.2K 
[ ]jgraph_5__1161_19.min1.thm1.tptp2017-02-06 16:47 5.2K 
[ ]jgraph_5__1166_45.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__1167_45.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__1168_45.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__1172_29.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__1178_32.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_5__1184_25.min1.thm12017-02-06 12:46 703  
[ ]jgraph_5__1186_9.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__1205_6.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__1215_10.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__1229_45.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__1232_46.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__1237_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1237_33.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]jgraph_5__1238_32.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_5__1241_25.min1.thm12017-02-06 12:46 704  
[ ]jgraph_5__1244_9.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__1246_42.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__1247_42.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__1265_16.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__1276_18.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__1290_46.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__1296_25.min1.thm12017-02-06 12:46 704  
[ ]jgraph_5__1300_22.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__1303_10.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__1305_42.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__1306_42.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__1325_6.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__1327_13.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__1338_20.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__1352_46.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__1358_20.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1358_20.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]jgraph_5__1359_22.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__1360_32.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_5__1363_25.min1.thm12017-02-06 12:46 706  
[ ]jgraph_5__1366_9.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__1368_42.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__1369_42.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__1385_6.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__1387_16.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__1398_17.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__1414_20.min1.thm12017-02-06 12:46 635  
[ ]jgraph_5__1414_20.min1.thm1.tptp2017-02-06 16:47 581  
[ ]jgraph_5__1417_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__1420_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__1421_73.min1.thm12017-02-06 12:46 3.3K 
[ ]jgraph_5__1425_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1428_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1429_26.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__1431_17.min1.thm12017-02-06 12:46 956  
[ ]jgraph_5__1457_40.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__1467_37.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1468_37.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__1479_38.min1.thm12017-02-06 12:46 300  
[ ]jgraph_5__1480_20.min1.thm12017-02-06 12:46 790  
[ ]jgraph_5__1486_38.min1.thm12017-02-06 12:46 300  
[ ]jgraph_5__1492_38.min1.thm12017-02-06 12:46 301  
[ ]jgraph_5__1498_38.min1.thm12017-02-06 12:46 302  
[ ]jgraph_5__1499_21.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__1500_20.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__1503_10.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__1504_35.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1507_22.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__1509_37.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__1510_18.min1.thm12017-02-06 12:46 786  
[ ]jgraph_5__1513_10.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__1514_33.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__1517_37.min1.thm12017-02-06 12:46 840  
[ ]jgraph_5__1519_10.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__1522_22.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__1524_10.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__1549_19.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__1560_16.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__1564_16.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__1567_16.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__1573_39.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__1577_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1580_20.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1588_39.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__1592_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1595_20.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1600_16.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__1603_38.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__1607_20.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1610_15.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1613_20.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1616_15.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1618_23.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__1621_20.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1623_17.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__1624_17.min1.thm12017-02-06 12:46 956  
[ ]jgraph_5__1639_13.min1.thm12017-02-06 12:46 329  
[ ]jgraph_5__1649_14.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__1661_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1664_21.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__1668_21.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1671_14.min1.thm12017-02-06 12:46 916  
[ ]jgraph_5__1689_13.min1.thm12017-02-06 12:46 213  
[ ]jgraph_5__1692_33.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__1693_17.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__1696_12.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1704_14.min1.thm12017-02-06 12:46 570  
[ ]jgraph_5__1722_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1726_20.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1734_43.min1.thm12017-02-06 12:46 644  
[ ]jgraph_5__1734_43.min1.thm1.tptp2017-02-06 16:47 573  
[ ]jgraph_5__1741_38.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__1745_34.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__1746_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1749_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1758_43.min1.thm12017-02-06 12:46 714  
[ ]jgraph_5__1758_43.min1.thm1.tptp2017-02-06 16:47 643  
[ ]jgraph_5__1759_21.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1762_37.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__1765_20.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1770_35.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__1771_27.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_5__1775_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__1780_39.min1.thm12017-02-06 12:46 638  
[ ]jgraph_5__1780_39.min1.thm1.tptp2017-02-06 16:47 567  
[ ]jgraph_5__1787_30.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1790_30.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__1791_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__1793_32.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__1804_39.min1.thm12017-02-06 12:46 678  
[ ]jgraph_5__1804_39.min1.thm1.tptp2017-02-06 16:47 607  
[ ]jgraph_5__1812_19.min1.thm12017-02-06 12:46 221  
[ ]jgraph_5__1815_25.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1821_21.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_5__1824_38.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_5__1828_35.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__1831_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1836_14.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__1849_13.min1.thm12017-02-06 12:46 329  
[ ]jgraph_5__1859_14.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__1877_13.min1.thm12017-02-06 12:46 213  
[ ]jgraph_5__1880_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1881_17.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__1884_12.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1892_14.min1.thm12017-02-06 12:46 570  
[ ]jgraph_5__1910_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1914_20.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1922_43.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1929_38.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__1933_34.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1934_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1937_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1946_43.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1947_21.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1950_37.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__1953_20.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1958_35.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__1959_27.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_5__1963_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__1968_39.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1975_30.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__1978_30.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__1979_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__1981_32.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__1992_39.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2000_19.min1.thm12017-02-06 12:46 221  
[ ]jgraph_5__2003_25.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__2009_21.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_5__2012_38.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_5__2016_35.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__2019_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__2024_14.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__2037_13.min1.thm12017-02-06 12:46 329  
[ ]jgraph_5__2047_14.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2068_39.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2073_6.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__2077_22.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_5__2080_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__2081_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__2089_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__2090_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__2095_16.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__2096_12.min1.thm12017-02-06 12:46 886  
[ ]jgraph_5__2099_13.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__2103_52.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__2105_41.min1.thm12017-02-06 12:46 3.3K 
[ ]jgraph_5__2108_20.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_5__2109_22.min1.thm12017-02-06 12:46 3.2K 
[ ]jgraph_5__2140_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__2144_20.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__2152_43.min1.thm12017-02-06 12:46 644  
[ ]jgraph_5__2152_43.min1.thm1.tptp2017-02-06 16:47 573  
[ ]jgraph_5__2159_38.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2163_34.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2164_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__2167_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2176_43.min1.thm12017-02-06 12:46 714  
[ ]jgraph_5__2176_43.min1.thm1.tptp2017-02-06 16:47 643  
[ ]jgraph_5__2177_21.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2180_37.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__2183_20.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__2188_35.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__2189_27.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_5__2193_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__2198_39.min1.thm12017-02-06 12:46 638  
[ ]jgraph_5__2198_39.min1.thm1.tptp2017-02-06 16:47 567  
[ ]jgraph_5__2205_30.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2208_30.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2209_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__2211_32.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__2222_39.min1.thm12017-02-06 12:46 678  
[ ]jgraph_5__2222_39.min1.thm1.tptp2017-02-06 16:47 607  
[ ]jgraph_5__2230_19.min1.thm12017-02-06 12:46 221  
[ ]jgraph_5__2233_25.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__2239_21.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_5__2242_38.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_5__2246_35.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__2249_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__2254_14.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__2267_51.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2270_16.min1.thm12017-02-06 12:46 499  
[ ]jgraph_5__2270_16.min1.thm1.tptp2017-02-06 16:47 436  
[ ]jgraph_5__2272_15.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2274_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__2276_43.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__2277_28.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__2292_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2293_44.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2294_57.min1.thm12017-02-06 12:46 532  
[ ]jgraph_5__2296_27.min1.thm12017-02-06 12:46 826  
[ ]jgraph_5__2297_17.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__2302_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__2304_28.min1.thm12017-02-06 12:46 653  
[ ]jgraph_5__2309_51.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2312_17.min1.thm12017-02-06 12:46 499  
[ ]jgraph_5__2312_17.min1.thm1.tptp2017-02-06 16:47 436  
[ ]jgraph_5__2314_15.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2316_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__2318_43.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__2334_17.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2335_44.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2336_57.min1.thm12017-02-06 12:46 532  
[ ]jgraph_5__2338_27.min1.thm12017-02-06 12:46 826  
[ ]jgraph_5__2339_17.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__2344_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__2346_28.min1.thm12017-02-06 12:46 653  
[ ]jgraph_5__2354_27.min1.thm12017-02-06 12:46 886  
[ ]jgraph_5__2356_77.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__2359_17.min1.thm12017-02-06 12:46 737  
[ ]jgraph_5__2367_41.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2370_24.min1.thm12017-02-06 12:46 635  
[ ]jgraph_5__2371_22.min1.thm12017-02-06 12:46 886  
[ ]jgraph_5__2374_4.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2376_22.min1.thm12017-02-06 12:46 715  
[ ]jgraph_5__2377_22.min1.thm12017-02-06 12:46 886  
[ ]jgraph_5__2380_39.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__2382_23.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__2383_33.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__2385_17.min1.thm12017-02-06 12:46 717  
[ ]jgraph_5__2393_42.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2397_19.min1.thm12017-02-06 12:46 635  
[ ]jgraph_5__2398_22.min1.thm12017-02-06 12:46 886  
[ ]jgraph_5__2401_38.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__2403_21.min1.thm12017-02-06 12:46 715  
[ ]jgraph_5__2405_27.min1.thm12017-02-06 12:46 687  
[ ]jgraph_5__2406_34.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__2408_22.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__2410_28.min1.thm12017-02-06 12:46 711  
[ ]jgraph_5__2419_13.min1.thm12017-02-06 12:46 942  
[ ]jgraph_5__2421_58.min1.thm12017-02-06 12:46 532  
[ ]jgraph_5__2433_31.min1.thm12017-02-06 12:46 898  
[ ]jgraph_5__2437_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2440_22.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__2442_14.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2452_18.min1.thm12017-02-06 12:46 391  
[ ]jgraph_5__2452_18.min1.thm1.tptp2017-02-06 16:47 326  
[ ]jgraph_5__2453_21.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2455_12.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__2457_14.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2463_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2465_54.min1.thm12017-02-06 12:46 908  
[ ]jgraph_5__2467_27.min1.thm12017-02-06 12:46 861  
[ ]jgraph_5__2469_27.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__2473_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2476_9.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2478_17.min1.thm12017-02-06 12:46 922  
[ ]jgraph_5__2486_41.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2490_18.min1.thm12017-02-06 12:46 707  
[ ]jgraph_5__2491_22.min1.thm12017-02-06 12:46 886  
[ ]jgraph_5__2494_38.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__2496_21.min1.thm12017-02-06 12:46 715  
[ ]jgraph_5__2498_26.min1.thm12017-02-06 12:46 665  
[ ]jgraph_5__2499_34.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__2501_22.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__2503_27.min1.thm12017-02-06 12:46 689  
[ ]jgraph_5__2512_13.min1.thm12017-02-06 12:46 942  
[ ]jgraph_5__2514_58.min1.thm12017-02-06 12:46 532  
[ ]jgraph_5__2528_28.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__2531_22.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__2533_14.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2543_17.min1.thm12017-02-06 12:46 369  
[ ]jgraph_5__2543_17.min1.thm1.tptp2017-02-06 16:47 304  
[ ]jgraph_5__2544_20.min1.thm12017-02-06 12:46 841  
[ ]jgraph_5__2546_12.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__2548_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2554_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2556_53.min1.thm12017-02-06 12:46 875  
[ ]jgraph_5__2558_26.min1.thm12017-02-06 12:46 839  
[ ]jgraph_5__2560_27.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__2564_12.min1.thm12017-02-06 12:46 812  
[ ]jgraph_5__2566_49.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2568_17.min1.thm12017-02-06 12:46 900  
[ ]jgraph_5__2578_62.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__2579_63.min1.thm12017-02-06 12:46 971  
[ ]jgraph_5__2581_17.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_5__2591_62.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__2592_63.min1.thm12017-02-06 12:46 971  
[ ]jgraph_5__2594_17.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_5__2604_17.min1.thm12017-02-06 12:46 686  
[ ]jgraph_5__2612_54.min1.thm12017-02-06 12:46 619  
[ ]jgraph_5__2612_54.min1.thm1.tptp2017-02-06 16:47 533  
[ ]jgraph_5__2630_34.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__2631_22.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2632_9.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__2635_61.min1.thm12017-02-06 12:46 651  
[ ]jgraph_5__2635_61.min1.thm1.tptp2017-02-06 16:47 571  
[ ]jgraph_5__2641_50.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__2654_25.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__2655_34.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__2656_10.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2657_34.min1.thm12017-02-06 12:46 756  
[ ]jgraph_5__2658_34.min1.thm12017-02-06 12:46 559  
[ ]jgraph_5__2659_57.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__2660_34.min1.thm12017-02-06 12:46 756  
[ ]jgraph_5__2666_22.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__2667_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2676_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2680_10.min1.thm12017-02-06 12:46 483  
[ ]jgraph_5__2680_10.min1.thm1.tptp2017-02-06 16:47 420  
[ ]jgraph_5__2681_34.min1.thm12017-02-06 12:46 559  
[ ]jgraph_5__2691_15.min1.thm12017-02-06 12:46 532  
[ ]jgraph_5__2694_50.min1.thm12017-02-06 12:46 822  
[ ]jgraph_5__2695_28.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2697_35.min1.thm12017-02-06 12:46 793  
[ ]jgraph_5__2698_19.min1.thm12017-02-06 12:46 575  
[ ]jgraph_5__2702_25.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__2705_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2709_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2710_44.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2714_23.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__2724_10.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__2729_11.min1.thm12017-02-06 12:46 446  
[ ]jgraph_5__2730_35.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__2731_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2734_14.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__2737_47.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2738_47.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2740_21.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2747_13.min1.thm12017-02-06 12:46 497  
[ ]jgraph_5__2747_13.min1.thm1.tptp2017-02-06 16:47 434  
[ ]jgraph_5__2751_20.min1.thm12017-02-06 12:46 722  
[ ]jgraph_5__2757_44.min1.thm12017-02-06 12:46 375  
[ ]jgraph_5__2759_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2760_54.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2761_24.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2764_54.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__2776_55.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2779_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2780_60.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__2782_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__2783_31.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2784_27.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__2785_27.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2788_21.min1.thm12017-02-06 12:46 624  
[ ]jgraph_5__2793_30.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2794_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__2796_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__2799_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2800_27.min1.thm12017-02-06 12:46 691  
[ ]jgraph_5__2801_29.min1.thm12017-02-06 12:46 679  
[ ]jgraph_5__2807_28.min1.thm12017-02-06 12:46 649  
[ ]jgraph_5__2808_29.min1.thm12017-02-06 12:46 701  
[ ]jgraph_5__2819_44.min1.thm12017-02-06 12:46 375  
[ ]jgraph_5__2821_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2822_54.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__2826_54.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2827_24.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2838_55.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2841_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2842_60.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__2844_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__2845_31.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2846_27.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__2847_27.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2850_21.min1.thm12017-02-06 12:46 624  
[ ]jgraph_5__2855_30.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2856_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__2858_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__2861_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2862_27.min1.thm12017-02-06 12:46 691  
[ ]jgraph_5__2863_29.min1.thm12017-02-06 12:46 679  
[ ]jgraph_5__2869_28.min1.thm12017-02-06 12:46 649  
[ ]jgraph_5__2870_29.min1.thm12017-02-06 12:46 701  
[ ]jgraph_5__2883_16.min1.thm12017-02-06 12:46 445  
[ ]jgraph_5__2885_61.min1.thm12017-02-06 12:46 652  
[ ]jgraph_5__2885_61.min1.thm1.tptp2017-02-06 16:47 572  
[ ]jgraph_5__2886_51.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2894_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2895_45.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2899_28.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2911_16.min1.thm12017-02-06 12:46 532  
[ ]jgraph_5__2914_51.min1.thm12017-02-06 12:46 822  
[ ]jgraph_5__2915_28.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2917_35.min1.thm12017-02-06 12:46 793  
[ ]jgraph_5__2918_19.min1.thm12017-02-06 12:46 575  
[ ]jgraph_5__2920_58.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__2921_25.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__2931_11.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__2936_11.min1.thm12017-02-06 12:46 446  
[ ]jgraph_5__2937_36.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__2938_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2941_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__2944_47.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2945_47.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2947_21.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2954_13.min1.thm12017-02-06 12:46 497  
[ ]jgraph_5__2954_13.min1.thm1.tptp2017-02-06 16:47 434  
[ ]jgraph_5__2958_20.min1.thm12017-02-06 12:46 722  
[ ]jgraph_5__2964_44.min1.thm12017-02-06 12:46 375  
[ ]jgraph_5__2966_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2967_54.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__2968_24.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2971_54.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__2983_55.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__2986_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__2987_60.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__2989_25.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__2990_33.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2991_28.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__2992_28.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__2995_21.min1.thm12017-02-06 12:46 624  
[ ]jgraph_5__3000_30.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3001_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__3003_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3007_27.min1.thm12017-02-06 12:46 691  
[ ]jgraph_5__3008_29.min1.thm12017-02-06 12:46 679  
[ ]jgraph_5__3014_28.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3015_28.min1.thm12017-02-06 12:46 649  
[ ]jgraph_5__3016_29.min1.thm12017-02-06 12:46 701  
[ ]jgraph_5__3028_44.min1.thm12017-02-06 12:46 375  
[ ]jgraph_5__3030_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3031_54.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3035_54.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__3036_24.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3047_55.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3050_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3051_60.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__3053_25.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3054_33.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3055_28.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__3056_28.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3059_21.min1.thm12017-02-06 12:46 624  
[ ]jgraph_5__3064_30.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3065_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__3067_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3071_27.min1.thm12017-02-06 12:46 691  
[ ]jgraph_5__3072_29.min1.thm12017-02-06 12:46 679  
[ ]jgraph_5__3078_28.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3079_28.min1.thm12017-02-06 12:46 649  
[ ]jgraph_5__3080_29.min1.thm12017-02-06 12:46 701  
[ ]jgraph_5__3094_16.min1.thm12017-02-06 12:46 445  
[ ]jgraph_5__3096_36.min1.thm12017-02-06 12:46 346  
[ ]jgraph_5__3098_33.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3099_37.min1.thm12017-02-06 12:46 756  
[ ]jgraph_5__3102_22.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3106_13.min1.thm12017-02-06 12:46 805  
[ ]jgraph_5__3107_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3112_36.min1.thm12017-02-06 12:46 433  
[ ]jgraph_5__3112_36.min1.thm1.tptp2017-02-06 16:47 383  
[ ]jgraph_5__3114_33.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__3122_12.min1.thm12017-02-06 12:46 893  
[ ]jgraph_5__3124_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__3127_61.min1.thm12017-02-06 12:46 638  
[ ]jgraph_5__3128_39.min1.thm12017-02-06 12:46 766  
[ ]jgraph_5__3129_23.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__3130_43.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3131_39.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__3132_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3140_40.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__3141_18.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3144_20.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__3146_57.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3150_15.min1.thm12017-02-06 12:46 519  
[ ]jgraph_5__3150_15.min1.thm1.tptp2017-02-06 16:47 456  
[ ]jgraph_5__3151_28.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3154_30.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3158_17.min1.thm12017-02-06 12:46 880  
[ ]jgraph_5__3161_29.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3164_27.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3166_18.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__3168_66.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3184_20.min1.thm12017-02-06 12:46 286  
[ ]jgraph_5__3187_16.min1.thm12017-02-06 12:46 435  
[ ]jgraph_5__3194_48.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3196_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3198_17.min1.thm12017-02-06 12:46 482  
[ ]jgraph_5__3206_54.min1.thm12017-02-06 12:46 619  
[ ]jgraph_5__3206_54.min1.thm1.tptp2017-02-06 16:47 533  
[ ]jgraph_5__3207_55.min1.thm12017-02-06 12:46 564  
[ ]jgraph_5__3210_52.min1.thm12017-02-06 12:46 605  
[ ]jgraph_5__3210_52.min1.thm1.tptp2017-02-06 16:47 526  
[ ]jgraph_5__3211_52.min1.thm12017-02-06 12:46 605  
[ ]jgraph_5__3211_52.min1.thm1.tptp2017-02-06 16:47 526  
[ ]jgraph_5__3226_34.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3227_22.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3228_9.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__3236_27.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3248_15.min1.thm12017-02-06 12:46 532  
[ ]jgraph_5__3249_13.min1.thm12017-02-06 12:46 784  
[ ]jgraph_5__3251_50.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__3252_28.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__3254_35.min1.thm12017-02-06 12:46 793  
[ ]jgraph_5__3255_19.min1.thm12017-02-06 12:46 575  
[ ]jgraph_5__3257_57.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__3258_61.min1.thm12017-02-06 12:46 652  
[ ]jgraph_5__3258_61.min1.thm1.tptp2017-02-06 16:47 572  
[ ]jgraph_5__3259_34.min1.thm12017-02-06 12:46 559  
[ ]jgraph_5__3260_34.min1.thm12017-02-06 12:46 559  
[ ]jgraph_5__3261_57.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__3262_34.min1.thm12017-02-06 12:46 756  
[ ]jgraph_5__3263_34.min1.thm12017-02-06 12:46 756  
[ ]jgraph_5__3267_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3268_51.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3275_34.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__3276_10.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3279_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3280_44.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3284_23.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__3294_10.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__3299_11.min1.thm12017-02-06 12:46 446  
[ ]jgraph_5__3300_35.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__3301_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3304_14.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__3307_47.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3308_47.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3310_21.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3317_13.min1.thm12017-02-06 12:46 497  
[ ]jgraph_5__3317_13.min1.thm1.tptp2017-02-06 16:47 434  
[ ]jgraph_5__3321_20.min1.thm12017-02-06 12:46 722  
[ ]jgraph_5__3327_44.min1.thm12017-02-06 12:46 375  
[ ]jgraph_5__3329_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3330_54.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3331_24.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3334_54.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3346_55.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3349_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__3350_60.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__3352_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3353_31.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3354_27.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__3355_27.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3358_21.min1.thm12017-02-06 12:46 624  
[ ]jgraph_5__3363_30.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3364_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__3366_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3370_27.min1.thm12017-02-06 12:46 691  
[ ]jgraph_5__3371_29.min1.thm12017-02-06 12:46 679  
[ ]jgraph_5__3376_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3377_28.min1.thm12017-02-06 12:46 649  
[ ]jgraph_5__3378_29.min1.thm12017-02-06 12:46 701  
[ ]jgraph_5__3389_44.min1.thm12017-02-06 12:46 375  
[ ]jgraph_5__3391_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3392_54.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3396_54.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__3397_24.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3408_55.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3411_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3412_60.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__3414_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3415_31.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3416_27.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__3417_27.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3420_21.min1.thm12017-02-06 12:46 624  
[ ]jgraph_5__3425_30.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3426_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__3428_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3432_27.min1.thm12017-02-06 12:46 691  
[ ]jgraph_5__3433_29.min1.thm12017-02-06 12:46 679  
[ ]jgraph_5__3438_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3439_28.min1.thm12017-02-06 12:46 649  
[ ]jgraph_5__3440_29.min1.thm12017-02-06 12:46 701  
[ ]jgraph_5__3453_16.min1.thm12017-02-06 12:46 445  
[ ]jgraph_5__3455_61.min1.thm12017-02-06 12:46 652  
[ ]jgraph_5__3455_61.min1.thm1.tptp2017-02-06 16:47 572  
[ ]jgraph_5__3456_51.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__3464_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3465_45.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3469_24.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__3479_10.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__3484_11.min1.thm12017-02-06 12:46 446  
[ ]jgraph_5__3485_36.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__3486_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3489_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__3492_47.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3493_47.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3495_21.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3502_13.min1.thm12017-02-06 12:46 497  
[ ]jgraph_5__3502_13.min1.thm1.tptp2017-02-06 16:47 434  
[ ]jgraph_5__3506_20.min1.thm12017-02-06 12:46 722  
[ ]jgraph_5__3512_44.min1.thm12017-02-06 12:46 375  
[ ]jgraph_5__3514_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3515_54.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3516_24.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3519_54.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3531_55.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3534_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__3535_60.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__3537_25.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3538_33.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3539_28.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__3540_28.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3543_21.min1.thm12017-02-06 12:46 624  
[ ]jgraph_5__3548_30.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3549_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__3551_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3554_28.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3555_27.min1.thm12017-02-06 12:46 691  
[ ]jgraph_5__3556_29.min1.thm12017-02-06 12:46 679  
[ ]jgraph_5__3563_28.min1.thm12017-02-06 12:46 649  
[ ]jgraph_5__3564_29.min1.thm12017-02-06 12:46 701  
[ ]jgraph_5__3576_44.min1.thm12017-02-06 12:46 375  
[ ]jgraph_5__3578_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3579_54.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3583_54.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__3584_24.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3595_55.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3598_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3599_60.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__3601_25.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3602_33.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3603_28.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__3604_28.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3607_21.min1.thm12017-02-06 12:46 624  
[ ]jgraph_5__3612_30.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3613_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__3615_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3618_28.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3619_27.min1.thm12017-02-06 12:46 691  
[ ]jgraph_5__3620_29.min1.thm12017-02-06 12:46 679  
[ ]jgraph_5__3627_28.min1.thm12017-02-06 12:46 649  
[ ]jgraph_5__3628_29.min1.thm12017-02-06 12:46 701  
[ ]jgraph_5__3642_16.min1.thm12017-02-06 12:46 445  
[ ]jgraph_5__3644_37.min1.thm12017-02-06 12:46 756  
[ ]jgraph_5__3645_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3654_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3658_11.min1.thm12017-02-06 12:46 483  
[ ]jgraph_5__3658_11.min1.thm1.tptp2017-02-06 16:47 420  
[ ]jgraph_5__3668_16.min1.thm12017-02-06 12:46 532  
[ ]jgraph_5__3669_13.min1.thm12017-02-06 12:46 784  
[ ]jgraph_5__3671_51.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__3672_28.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__3674_35.min1.thm12017-02-06 12:46 793  
[ ]jgraph_5__3675_19.min1.thm12017-02-06 12:46 575  
[ ]jgraph_5__3679_26.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3682_22.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3685_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3690_36.min1.thm12017-02-06 12:46 346  
[ ]jgraph_5__3695_22.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__3698_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3702_13.min1.thm12017-02-06 12:46 805  
[ ]jgraph_5__3703_36.min1.thm12017-02-06 12:46 433  
[ ]jgraph_5__3703_36.min1.thm1.tptp2017-02-06 16:47 383  
[ ]jgraph_5__3713_12.min1.thm12017-02-06 12:46 893  
[ ]jgraph_5__3715_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__3718_61.min1.thm12017-02-06 12:46 638  
[ ]jgraph_5__3719_39.min1.thm12017-02-06 12:46 766  
[ ]jgraph_5__3720_23.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__3721_43.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3722_39.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__3723_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3731_40.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__3732_18.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3735_20.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__3737_57.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3741_15.min1.thm12017-02-06 12:46 519  
[ ]jgraph_5__3741_15.min1.thm1.tptp2017-02-06 16:47 456  
[ ]jgraph_5__3742_26.min1.thm12017-02-06 12:46 796  
[ ]jgraph_5__3745_29.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3749_17.min1.thm12017-02-06 12:46 880  
[ ]jgraph_5__3752_30.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__3755_26.min1.thm12017-02-06 12:46 801  
[ ]jgraph_5__3757_18.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__3759_64.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3775_20.min1.thm12017-02-06 12:46 286  
[ ]jgraph_5__3778_16.min1.thm12017-02-06 12:46 435  
[ ]jgraph_5__3785_48.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3787_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__3789_17.min1.thm12017-02-06 12:46 482  
[ ]jgraph_5__3804_16.min1.thm12017-02-06 12:46 755  
[ ]jgraph_5__3805_56.min1.thm12017-02-06 12:46 866  
[ ]jgraph_5__3806_15.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__3809_15.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__3812_56.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__3814_56.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3822_35.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3824_12.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3825_21.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__3827_18.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__3828_12.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3829_21.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__3830_21.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__3833_16.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3833_16.min1.thm1.tptp2017-02-06 16:47 932  
[ ]jgraph_5__3838_46.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__3840_37.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3841_57.min1.thm12017-02-06 12:46 763  
[ ]jgraph_5__3850_25.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3853_19.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__3855_25.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3857_23.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__3859_27.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__3860_40.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__3861_17.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__3863_19.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__3875_31.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__3876_31.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__3881_19.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__3890_35.min1.thm12017-02-06 12:46 397  
[ ]jgraph_5__3891_32.min1.thm12017-02-06 12:46 793  
[ ]jgraph_5__3892_42.min1.thm12017-02-06 12:46 462  
[ ]jgraph_5__3892_42.min1.thm1.tptp2017-02-06 16:47 393  
[ ]jgraph_5__3893_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3900_64.min1.thm12017-02-06 12:46 852  
[ ]jgraph_5__3901_41.min1.thm12017-02-06 12:46 589  
[ ]jgraph_5__3902_45.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3903_32.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__3904_10.min1.thm12017-02-06 12:46 776  
[ ]jgraph_5__3910_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__3911_18.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__3914_13.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3918_20.min1.thm12017-02-06 12:46 691  
[ ]jgraph_5__3921_17.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__3936_16.min1.thm12017-02-06 12:46 755  
[ ]jgraph_5__3937_56.min1.thm12017-02-06 12:46 866  
[ ]jgraph_5__3938_15.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__3941_15.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__3944_56.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__3946_56.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__3954_35.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3956_12.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3957_21.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__3959_18.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__3960_12.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3961_21.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__3962_21.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__3965_16.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__3965_16.min1.thm1.tptp2017-02-06 16:47 932  
[ ]jgraph_5__3970_46.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__3972_37.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3973_57.min1.thm12017-02-06 12:46 763  
[ ]jgraph_5__3982_25.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3985_19.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__3987_25.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__3989_23.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__3991_27.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__3992_40.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__3993_17.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__3995_19.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__4007_31.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__4008_31.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__4013_19.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__4022_35.min1.thm12017-02-06 12:46 397  
[ ]jgraph_5__4023_32.min1.thm12017-02-06 12:46 793  
[ ]jgraph_5__4024_42.min1.thm12017-02-06 12:46 462  
[ ]jgraph_5__4024_42.min1.thm1.tptp2017-02-06 16:47 393  
[ ]jgraph_5__4025_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4032_64.min1.thm12017-02-06 12:46 852  
[ ]jgraph_5__4033_41.min1.thm12017-02-06 12:46 589  
[ ]jgraph_5__4034_45.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4035_32.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__4036_10.min1.thm12017-02-06 12:46 776  
[ ]jgraph_5__4042_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__4043_18.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4046_13.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4050_20.min1.thm12017-02-06 12:46 691  
[ ]jgraph_5__4053_17.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__4065_17.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4068_17.min1.thm12017-02-06 12:46 806  
[ ]jgraph_5__4085_23.min1.thm12017-02-06 12:46 667  
[ ]jgraph_5__4086_13.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__4088_17.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4090_16.min1.thm12017-02-06 12:46 618  
[ ]jgraph_5__4091_7.min1.thm12017-02-06 12:46 937  
[ ]jgraph_5__4092_14.min1.thm12017-02-06 12:46 786  
[ ]jgraph_5__4093_8.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4098_53.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__4099_53.min1.thm12017-02-06 12:46 619  
[ ]jgraph_5__4099_53.min1.thm1.tptp2017-02-06 16:47 533  
[ ]jgraph_5__4106_39.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__4107_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4113_14.min1.thm12017-02-06 12:46 671  
[ ]jgraph_5__4114_46.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__4116_16.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__4124_13.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4127_14.min1.thm12017-02-06 12:46 532  
[ ]jgraph_5__4128_26.min1.thm12017-02-06 12:46 689  
[ ]jgraph_5__4136_25.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4137_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4142_32.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_5__4144_17.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__4152_45.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4155_45.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4158_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4159_66.min1.thm12017-02-06 12:46 632  
[ ]jgraph_5__4161_30.min1.thm12017-02-06 12:46 753  
[ ]jgraph_5__4162_67.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4165_69.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4166_67.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4169_69.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4170_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4171_66.min1.thm12017-02-06 12:46 634  
[ ]jgraph_5__4172_34.min1.thm12017-02-06 12:46 754  
[ ]jgraph_5__4176_28.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4177_13.min1.thm12017-02-06 12:46 446  
[ ]jgraph_5__4177_13.min1.thm1.tptp2017-02-06 16:47 369  
[ ]jgraph_5__4178_16.min1.thm12017-02-06 12:46 382  
[ ]jgraph_5__4185_21.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4186_31.min1.thm12017-02-06 12:46 858  
[ ]jgraph_5__4187_19.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4188_20.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4190_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__4192_24.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4193_34.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4194_28.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4195_37.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4201_21.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4204_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4207_12.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4210_42.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__4219_53.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__4220_53.min1.thm12017-02-06 12:46 619  
[ ]jgraph_5__4220_53.min1.thm1.tptp2017-02-06 16:47 533  
[ ]jgraph_5__4227_39.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__4228_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4234_14.min1.thm12017-02-06 12:46 671  
[ ]jgraph_5__4235_46.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__4237_16.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__4245_13.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4248_14.min1.thm12017-02-06 12:46 532  
[ ]jgraph_5__4249_26.min1.thm12017-02-06 12:46 689  
[ ]jgraph_5__4257_25.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4258_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4263_32.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_5__4265_17.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__4273_45.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4276_45.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4279_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4280_66.min1.thm12017-02-06 12:46 632  
[ ]jgraph_5__4282_30.min1.thm12017-02-06 12:46 753  
[ ]jgraph_5__4283_67.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4286_69.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4287_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4288_66.min1.thm12017-02-06 12:46 634  
[ ]jgraph_5__4290_30.min1.thm12017-02-06 12:46 754  
[ ]jgraph_5__4291_67.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4293_73.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4295_25.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4296_28.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4297_13.min1.thm12017-02-06 12:46 446  
[ ]jgraph_5__4297_13.min1.thm1.tptp2017-02-06 16:47 369  
[ ]jgraph_5__4298_16.min1.thm12017-02-06 12:46 382  
[ ]jgraph_5__4305_21.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4306_31.min1.thm12017-02-06 12:46 858  
[ ]jgraph_5__4307_19.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4308_20.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4310_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__4313_34.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__4314_28.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4315_36.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4320_21.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4323_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4329_42.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__4344_53.min1.thm12017-02-06 12:46 619  
[ ]jgraph_5__4344_53.min1.thm1.tptp2017-02-06 16:47 533  
[ ]jgraph_5__4352_39.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__4353_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4363_45.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4364_36.min1.thm12017-02-06 12:46 432  
[ ]jgraph_5__4364_36.min1.thm1.tptp2017-02-06 16:47 382  
[ ]jgraph_5__4368_6.min1.thm12017-02-06 12:46 673  
[ ]jgraph_5__4372_34.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_5__4374_17.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__4378_32.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__4380_61.min1.thm12017-02-06 12:46 864  
[ ]jgraph_5__4387_36.min1.thm12017-02-06 12:46 346  
[ ]jgraph_5__4390_24.min1.thm12017-02-06 12:46 662  
[ ]jgraph_5__4391_25.min1.thm12017-02-06 12:46 684  
[ ]jgraph_5__4392_48.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4396_33.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4397_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__4398_34.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__4399_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__4410_53.min1.thm12017-02-06 12:46 619  
[ ]jgraph_5__4410_53.min1.thm1.tptp2017-02-06 16:47 533  
[ ]jgraph_5__4418_39.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__4419_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4429_45.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4430_36.min1.thm12017-02-06 12:46 432  
[ ]jgraph_5__4430_36.min1.thm1.tptp2017-02-06 16:47 382  
[ ]jgraph_5__4434_6.min1.thm12017-02-06 12:46 673  
[ ]jgraph_5__4438_34.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_5__4440_17.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__4444_32.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__4446_61.min1.thm12017-02-06 12:46 864  
[ ]jgraph_5__4453_36.min1.thm12017-02-06 12:46 346  
[ ]jgraph_5__4456_24.min1.thm12017-02-06 12:46 662  
[ ]jgraph_5__4457_25.min1.thm12017-02-06 12:46 684  
[ ]jgraph_5__4458_48.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__4462_35.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4463_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__4464_34.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__4465_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__4477_63.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__4509_47.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__4510_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4511_29.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4514_12.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__4515_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4517_23.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_5__4521_24.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__4538_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4539_29.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4542_12.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__4543_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4549_24.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__4552_26.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4553_47.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__4562_45.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4575_22.min1.thm12017-02-06 12:46 751  
[ ]jgraph_5__4587_17.min1.thm12017-02-06 12:46 268  
[ ]jgraph_5__4591_31.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4596_47.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__4597_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4598_29.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4601_12.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__4602_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4604_23.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_5__4606_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__4608_24.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__4624_47.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__4625_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4626_29.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4629_12.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__4630_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4632_23.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_5__4636_24.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__4652_19.min1.thm12017-02-06 12:46 717  
[ ]jgraph_5__4652_19.min1.thm1.tptp2017-02-06 16:47 637  
[ ]jgraph_5__4654_15.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4657_64.min1.thm12017-02-06 12:46 895  
[ ]jgraph_5__4657_64.min1.thm1.tptp2017-02-06 16:47 809  
[ ]jgraph_5__4670_63.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__4700_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4701_23.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4703_22.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4704_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4706_22.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__4710_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4712_22.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__4713_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4714_23.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__4716_18.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__4718_24.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4719_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4720_23.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4722_22.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4725_20.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__4726_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4727_23.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__4729_18.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__4731_24.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4732_45.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__4737_75.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4740_44.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4747_45.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__4752_75.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4755_44.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4768_22.min1.thm12017-02-06 12:46 751  
[ ]jgraph_5__4780_17.min1.thm12017-02-06 12:46 268  
[ ]jgraph_5__4785_20.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__4789_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4790_27.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__4792_12.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__4793_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4794_23.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4795_27.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4796_23.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__4798_18.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__4800_24.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4801_45.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__4806_75.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4809_44.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4816_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4817_27.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__4819_12.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__4820_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4821_23.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4822_27.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4823_23.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__4825_18.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__4827_24.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4828_45.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__4833_75.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__4836_44.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4842_19.min1.thm12017-02-06 12:46 717  
[ ]jgraph_5__4842_19.min1.thm1.tptp2017-02-06 16:47 637  
[ ]jgraph_5__4844_15.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4847_64.min1.thm12017-02-06 12:46 895  
[ ]jgraph_5__4847_64.min1.thm1.tptp2017-02-06 16:47 809  
[ ]jgraph_5__4867_24.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__4870_50.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4871_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4872_41.min1.thm12017-02-06 12:46 665  
[ ]jgraph_5__4880_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4881_51.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__4884_14.min1.thm12017-02-06 12:46 268  
[ ]jgraph_5__4906_44.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_5__4907_21.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4908_71.min1.thm12017-02-06 12:46 651  
[ ]jgraph_5__4912_69.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4916_47.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4917_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4922_16.min1.thm12017-02-06 12:46 610  
[ ]jgraph_5__4923_35.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4924_23.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__4925_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4929_30.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4930_11.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__4934_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4935_61.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__4936_31.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__4940_34.min1.thm12017-02-06 12:46 754  
[ ]jgraph_5__4941_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4942_61.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__4944_29.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__4948_34.min1.thm12017-02-06 12:46 754  
[ ]jgraph_5__4950_26.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__4975_45.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__4976_14.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4979_22.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4982_15.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__4983_61.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__4984_31.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__4987_71.min1.thm12017-02-06 12:46 651  
[ ]jgraph_5__4992_25.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__4995_34.min1.thm12017-02-06 12:46 462  
[ ]jgraph_5__4995_34.min1.thm1.tptp2017-02-06 16:47 408  
[ ]jgraph_5__4996_23.min1.thm12017-02-06 12:46 663  
[ ]jgraph_5__5000_47.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5001_59.min1.thm12017-02-06 12:46 621  
[ ]jgraph_5__5002_31.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__5005_26.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__5013_44.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_5__5014_21.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5015_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__5020_16.min1.thm12017-02-06 12:46 610  
[ ]jgraph_5__5021_35.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5022_23.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5023_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__5027_30.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5028_11.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__5032_26.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__5052_14.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5054_70.min1.thm12017-02-06 12:46 650  
[ ]jgraph_5__5055_45.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5056_14.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5060_24.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5065_25.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5067_38.min1.thm12017-02-06 12:46 462  
[ ]jgraph_5__5067_38.min1.thm1.tptp2017-02-06 16:47 408  
[ ]jgraph_5__5069_19.min1.thm12017-02-06 12:46 862  
[ ]jgraph_5__5071_14.min1.thm12017-02-06 12:46 854  
[ ]jgraph_5__5072_59.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__5076_30.min1.thm12017-02-06 12:46 744  
[ ]jgraph_5__5080_14.min1.thm12017-02-06 12:46 732  
[ ]jgraph_5__5081_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5085_22.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5090_48.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__5096_44.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_5__5097_21.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5099_13.min1.thm12017-02-06 12:46 273  
[ ]jgraph_5__5109_20.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__5110_39.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5111_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5112_34.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5114_15.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5116_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5120_18.min1.thm12017-02-06 12:46 312  
[ ]jgraph_5__5123_14.min1.thm12017-02-06 12:46 521  
[ ]jgraph_5__5141_14.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5143_70.min1.thm12017-02-06 12:46 650  
[ ]jgraph_5__5144_45.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5145_15.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5149_25.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5151_38.min1.thm12017-02-06 12:46 462  
[ ]jgraph_5__5151_38.min1.thm1.tptp2017-02-06 16:47 408  
[ ]jgraph_5__5153_19.min1.thm12017-02-06 12:46 860  
[ ]jgraph_5__5155_14.min1.thm12017-02-06 12:46 854  
[ ]jgraph_5__5156_59.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__5160_31.min1.thm12017-02-06 12:46 744  
[ ]jgraph_5__5164_14.min1.thm12017-02-06 12:46 731  
[ ]jgraph_5__5165_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5169_48.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__5175_44.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_5__5176_21.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5178_13.min1.thm12017-02-06 12:46 273  
[ ]jgraph_5__5188_20.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__5189_39.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5190_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5191_34.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5193_15.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5195_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5199_18.min1.thm12017-02-06 12:46 312  
[ ]jgraph_5__5202_14.min1.thm12017-02-06 12:46 521  
[ ]jgraph_5__5216_70.min1.thm12017-02-06 12:46 650  
[ ]jgraph_5__5219_14.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5220_50.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5221_14.min1.thm12017-02-06 12:46 427  
[ ]jgraph_5__5224_30.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5225_30.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__5226_73.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5227_16.min1.thm12017-02-06 12:46 426  
[ ]jgraph_5__5231_73.min1.thm12017-02-06 12:46 424  
[ ]jgraph_5__5233_29.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5235_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__5240_20.min1.thm12017-02-06 12:46 438  
[ ]jgraph_5__5251_23.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_5__5255_16.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5272_70.min1.thm12017-02-06 12:46 650  
[ ]jgraph_5__5275_14.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5277_58.min1.thm12017-02-06 12:46 620  
[ ]jgraph_5__5278_22.min1.thm12017-02-06 12:46 684  
[ ]jgraph_5__5280_22.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5281_71.min1.thm12017-02-06 12:46 651  
[ ]jgraph_5__5283_15.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5285_59.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__5287_13.min1.thm12017-02-06 12:46 584  
[ ]jgraph_5__5290_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__5291_35.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__5294_30.min1.thm12017-02-06 12:46 745  
[ ]jgraph_5__5297_30.min1.thm12017-02-06 12:46 744  
[ ]jgraph_5__5303_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5307_53.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__5308_24.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__5313_60.min1.thm12017-02-06 12:46 627  
[ ]jgraph_5__5315_30.min1.thm12017-02-06 12:46 750  
[ ]jgraph_5__5319_69.min1.thm12017-02-06 12:46 431  
[ ]jgraph_5__5321_31.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5323_48.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5324_60.min1.thm12017-02-06 12:46 626  
[ ]jgraph_5__5325_35.min1.thm12017-02-06 12:46 751  
[ ]jgraph_5__5335_45.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_5__5336_25.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5337_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__5342_20.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__5343_39.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5344_24.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5345_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__5349_34.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5351_15.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5353_36.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__5357_21.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5360_14.min1.thm12017-02-06 12:46 920  
[ ]jgraph_5__5380_58.min1.thm12017-02-06 12:46 620  
[ ]jgraph_5__5384_28.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5385_71.min1.thm12017-02-06 12:46 651  
[ ]jgraph_5__5390_69.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5396_69.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5399_59.min1.thm12017-02-06 12:46 621  
[ ]jgraph_5__5402_24.min1.thm12017-02-06 12:46 969  
[ ]jgraph_5__5406_29.min1.thm12017-02-06 12:46 741  
[ ]jgraph_5__5410_28.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__5416_23.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5418_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5419_51.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5420_25.min1.thm12017-02-06 12:46 684  
[ ]jgraph_5__5425_38.min1.thm12017-02-06 12:46 347  
[ ]jgraph_5__5429_56.min1.thm12017-02-06 12:46 621  
[ ]jgraph_5__5429_56.min1.thm1.tptp2017-02-06 16:47 535  
[ ]jgraph_5__5432_10.min1.thm12017-02-06 12:46 674  
[ ]jgraph_5__5446_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5456_18.min1.thm12017-02-06 12:46 612  
[ ]jgraph_5__5458_18.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__5459_23.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5463_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5477_24.min1.thm12017-02-06 12:46 685  
[ ]jgraph_5__5480_17.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5500_58.min1.thm12017-02-06 12:46 620  
[ ]jgraph_5__5504_28.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5505_71.min1.thm12017-02-06 12:46 651  
[ ]jgraph_5__5510_69.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5516_69.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5519_59.min1.thm12017-02-06 12:46 621  
[ ]jgraph_5__5522_24.min1.thm12017-02-06 12:46 969  
[ ]jgraph_5__5526_28.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__5529_28.min1.thm12017-02-06 12:46 741  
[ ]jgraph_5__5533_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5534_51.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5535_25.min1.thm12017-02-06 12:46 684  
[ ]jgraph_5__5540_38.min1.thm12017-02-06 12:46 347  
[ ]jgraph_5__5544_56.min1.thm12017-02-06 12:46 621  
[ ]jgraph_5__5544_56.min1.thm1.tptp2017-02-06 16:47 535  
[ ]jgraph_5__5547_10.min1.thm12017-02-06 12:46 674  
[ ]jgraph_5__5561_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5571_18.min1.thm12017-02-06 12:46 612  
[ ]jgraph_5__5573_18.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__5574_23.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5578_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5592_24.min1.thm12017-02-06 12:46 685  
[ ]jgraph_5__5595_17.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5615_58.min1.thm12017-02-06 12:46 620  
[ ]jgraph_5__5620_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5621_71.min1.thm12017-02-06 12:46 651  
[ ]jgraph_5__5624_26.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5625_26.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5626_59.min1.thm12017-02-06 12:46 621  
[ ]jgraph_5__5629_35.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5632_29.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__5636_28.min1.thm12017-02-06 12:46 741  
[ ]jgraph_5__5642_23.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5644_24.min1.thm12017-02-06 12:46 662  
[ ]jgraph_5__5645_51.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5650_38.min1.thm12017-02-06 12:46 434  
[ ]jgraph_5__5650_38.min1.thm1.tptp2017-02-06 16:47 384  
[ ]jgraph_5__5654_56.min1.thm12017-02-06 12:46 621  
[ ]jgraph_5__5654_56.min1.thm1.tptp2017-02-06 16:47 535  
[ ]jgraph_5__5657_10.min1.thm12017-02-06 12:46 674  
[ ]jgraph_5__5671_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5681_18.min1.thm12017-02-06 12:46 612  
[ ]jgraph_5__5683_18.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__5684_21.min1.thm12017-02-06 12:46 789  
[ ]jgraph_5__5688_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5699_23.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5700_17.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5717_70.min1.thm12017-02-06 12:46 650  
[ ]jgraph_5__5719_25.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5720_25.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5725_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5726_24.min1.thm12017-02-06 12:46 662  
[ ]jgraph_5__5727_51.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5732_38.min1.thm12017-02-06 12:46 434  
[ ]jgraph_5__5732_38.min1.thm1.tptp2017-02-06 16:47 384  
[ ]jgraph_5__5736_56.min1.thm12017-02-06 12:46 621  
[ ]jgraph_5__5736_56.min1.thm1.tptp2017-02-06 16:47 535  
[ ]jgraph_5__5739_10.min1.thm12017-02-06 12:46 674  
[ ]jgraph_5__5753_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5763_18.min1.thm12017-02-06 12:46 612  
[ ]jgraph_5__5765_18.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__5766_21.min1.thm12017-02-06 12:46 789  
[ ]jgraph_5__5770_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5781_23.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5782_17.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5799_58.min1.thm12017-02-06 12:46 620  
[ ]jgraph_5__5800_24.min1.thm12017-02-06 12:46 683  
[ ]jgraph_5__5801_58.min1.thm12017-02-06 12:46 620  
[ ]jgraph_5__5802_71.min1.thm12017-02-06 12:46 651  
[ ]jgraph_5__5807_47.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5808_29.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5809_51.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5811_13.min1.thm12017-02-06 12:46 608  
[ ]jgraph_5__5814_30.min1.thm12017-02-06 12:46 744  
[ ]jgraph_5__5817_30.min1.thm12017-02-06 12:46 744  
[ ]jgraph_5__5822_37.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__5831_28.min1.thm12017-02-06 12:46 691  
[ ]jgraph_5__5832_22.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__5836_21.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5841_70.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5846_21.min1.thm12017-02-06 12:46 971  
[ ]jgraph_5__5851_30.min1.thm12017-02-06 12:46 744  
[ ]jgraph_5__5858_28.min1.thm12017-02-06 12:46 691  
[ ]jgraph_5__5859_22.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__5863_30.min1.thm12017-02-06 12:46 745  
[ ]jgraph_5__5871_42.min1.thm12017-02-06 12:46 353  
[ ]jgraph_5__5875_60.min1.thm12017-02-06 12:46 627  
[ ]jgraph_5__5875_60.min1.thm1.tptp2017-02-06 16:47 541  
[ ]jgraph_5__5878_18.min1.thm12017-02-06 12:46 680  
[ ]jgraph_5__5892_24.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5902_22.min1.thm12017-02-06 12:46 618  
[ ]jgraph_5__5904_21.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5905_26.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5909_24.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5921_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5924_14.min1.thm12017-02-06 12:46 896  
[ ]jgraph_5__5942_70.min1.thm12017-02-06 12:46 650  
[ ]jgraph_5__5944_25.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5948_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__5949_25.min1.thm12017-02-06 12:46 684  
[ ]jgraph_5__5950_26.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__5951_51.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__5956_38.min1.thm12017-02-06 12:46 347  
[ ]jgraph_5__5960_56.min1.thm12017-02-06 12:46 621  
[ ]jgraph_5__5960_56.min1.thm1.tptp2017-02-06 16:47 535  
[ ]jgraph_5__5963_10.min1.thm12017-02-06 12:46 674  
[ ]jgraph_5__5977_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__5987_18.min1.thm12017-02-06 12:46 612  
[ ]jgraph_5__5989_18.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__5990_23.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__5994_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__6005_44.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__6006_17.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__6021_14.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6025_15.min1.thm12017-02-06 12:46 333  
[ ]jgraph_5__6035_16.min1.thm12017-02-06 12:46 523  
[ ]jgraph_5__6039_19.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6058_22.min1.thm12017-02-06 12:46 683  
[ ]jgraph_5__6060_21.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__6062_41.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__6063_33.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__6066_39.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__6069_25.min1.thm12017-02-06 12:46 672  
[ ]jgraph_5__6070_36.min1.thm12017-02-06 12:46 529  
[ ]jgraph_5__6071_25.min1.thm12017-02-06 12:46 672  
[ ]jgraph_5__6073_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__6076_22.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__6080_22.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__6087_22.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__6090_31.min1.thm12017-02-06 12:46 799  
[ ]jgraph_5__6095_26.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__6097_71.min1.thm12017-02-06 12:46 651  
[ ]jgraph_5__6099_71.min1.thm12017-02-06 12:46 651  
[ ]jgraph_5__6101_14.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__6106_66.min1.thm12017-02-06 12:46 732  
[ ]jgraph_5__6108_15.min1.thm12017-02-06 12:46 721  
[ ]jgraph_5__6121_28.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__6126_26.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_5__6134_62.min1.thm12017-02-06 12:46 732  
[ ]jgraph_5__6137_62.min1.thm12017-02-06 12:46 732  
[ ]jgraph_5__6141_15.min1.thm12017-02-06 12:46 721  
[ ]jgraph_5__6145_15.min1.thm12017-02-06 12:46 723  
[ ]jgraph_5__6147_15.min1.thm12017-02-06 12:46 231  
[ ]jgraph_5__6150_36.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6151_26.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__6156_30.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__6161_22.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__6164_31.min1.thm12017-02-06 12:46 448  
[ ]jgraph_5__6164_31.min1.thm1.tptp2017-02-06 16:47 371  
[ ]jgraph_5__6168_28.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__6169_28.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__6171_36.min1.thm12017-02-06 12:46 760  
[ ]jgraph_5__6172_36.min1.thm12017-02-06 12:46 865  
[ ]jgraph_5__6175_31.min1.thm12017-02-06 12:46 448  
[ ]jgraph_5__6175_31.min1.thm1.tptp2017-02-06 16:47 371  
[ ]jgraph_5__6181_45.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__6185_43.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__6193_45.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__6200_27.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__6206_23.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__6237_11.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__6238_28.min1.thm12017-02-06 12:46 384  
[ ]jgraph_5__6241_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__6243_56.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__6244_18.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__6245_16.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__6246_19.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__6248_17.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__6260_12.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__6261_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__6263_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__6264_42.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_5__6270_26.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__6271_27.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__6276_23.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__6278_18.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__6279_27.min1.thm12017-02-06 12:46 967  
[ ]jgraph_5__6284_23.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__6285_20.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__6286_27.min1.thm12017-02-06 12:46 967  
[ ]jgraph_5__6291_26.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__6296_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__6298_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__6302_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6303_37.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_5__6308_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6309_26.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__6315_26.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__6319_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__6321_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__6322_42.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_5__6325_26.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__6331_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6342_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6369_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__6371_56.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__6374_26.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__6377_12.min1.thm12017-02-06 12:46 729  
[ ]jgraph_5__6378_16.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__6381_11.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__6382_28.min1.thm12017-02-06 12:46 384  
[ ]jgraph_5__6383_13.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__6385_13.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__6388_33.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__6391_26.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__6393_15.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__6394_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__6396_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__6397_42.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_5__6400_22.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__6403_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__6404_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__6407_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__6409_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__6413_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6414_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__6416_22.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__6419_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__6421_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__6422_42.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__6425_12.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__6427_22.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__6432_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6437_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6442_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6445_37.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_5__6485_39.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__6491_38.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__6494_16.min1.thm12017-02-06 12:46 586  
[ ]jgraph_5__6494_16.min1.thm1.tptp2017-02-06 16:47 509  
[ ]jgraph_5__6523_15.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__6525_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__6527_16.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__6531_28.min1.thm12017-02-06 12:46 743  
[ ]jgraph_5__6532_21.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__6535_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__6539_28.min1.thm12017-02-06 12:46 384  
[ ]jgraph_5__6540_12.min1.thm12017-02-06 12:46 729  
[ ]jgraph_5__6542_12.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__6545_33.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__6549_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6550_15.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__6552_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__6556_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6557_15.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__6559_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__6563_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6564_15.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__6566_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__6570_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6572_13.min1.thm12017-02-06 12:46 239  
[ ]jgraph_5__6576_10.min1.thm12017-02-06 12:46 656  
[ ]jgraph_5__6577_23.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__6584_34.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__6585_24.min1.thm12017-02-06 12:46 3.8K 
[ ]jgraph_5__6592_19.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__6597_49.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__6602_25.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__6606_37.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_5__6619_10.min1.thm12017-02-06 12:46 656  
[ ]jgraph_5__6621_17.min1.thm12017-02-06 12:46 245  
[ ]jgraph_5__6627_24.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__6632_32.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__6635_34.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__6636_27.min1.thm12017-02-06 12:46 3.7K 
[ ]jgraph_5__6645_21.min1.thm12017-02-06 12:46 239  
[ ]jgraph_5__6649_37.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__6653_34.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__6657_27.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__6661_25.min1.thm12017-02-06 12:46 245  
[ ]jgraph_5__6665_41.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__6669_38.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__6673_31.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__6681_38.min1.thm12017-02-06 12:46 707  
[ ]jgraph_5__6682_33.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__6691_41.min1.thm12017-02-06 12:46 4.1K 
[ ]jgraph_5__6695_34.min1.thm12017-02-06 12:46 701  
[ ]jgraph_5__6697_24.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__6705_34.min1.thm12017-02-06 12:46 4.1K 
[ ]jgraph_5__6710_21.min1.thm12017-02-06 12:46 211  
[ ]jgraph_5__6718_29.min1.thm12017-02-06 12:46 868  
[ ]jgraph_5__6723_26.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__6725_32.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__6731_40.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__6735_28.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_5__6746_29.min1.thm12017-02-06 12:46 223  
[ ]jgraph_5__6755_53.min1.thm12017-02-06 12:46 3.2K 
[ ]jgraph_5__6763_47.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__6766_40.min1.thm12017-02-06 12:46 3.3K 
[ ]jgraph_5__6772_40.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__6775_40.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__6793_40.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__6796_32.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__6801_28.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_5__6812_29.min1.thm12017-02-06 12:46 223  
[ ]jgraph_5__6821_53.min1.thm12017-02-06 12:46 3.2K 
[ ]jgraph_5__6829_47.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__6848_36.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__6856_25.min1.thm12017-02-06 12:46 856  
[ ]jgraph_5__6862_36.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__6866_24.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__6873_28.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_5__6885_43.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__6892_28.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_5__6896_41.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__6899_40.min1.thm12017-02-06 12:46 709  
[ ]jgraph_5__6901_35.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__6903_38.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__6917_29.min1.thm12017-02-06 12:46 223  
[ ]jgraph_5__6925_53.min1.thm12017-02-06 12:46 3.2K 
[ ]jgraph_5__6934_47.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__6937_43.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__6951_10.min1.thm12017-02-06 12:46 656  
[ ]jgraph_5__6954_77.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_5__6959_10.min1.thm12017-02-06 12:46 656  
[ ]jgraph_5__6963_28.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__6974_28.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__6982_28.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__7027_39.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7033_38.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7036_16.min1.thm12017-02-06 12:46 586  
[ ]jgraph_5__7036_16.min1.thm1.tptp2017-02-06 16:47 509  
[ ]jgraph_5__7059_75.min1.thm12017-02-06 12:46 650  
[ ]jgraph_5__7061_24.min1.thm12017-02-06 12:46 683  
[ ]jgraph_5__7063_21.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7065_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7067_26.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__7068_51.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__7069_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7071_20.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__7075_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7077_20.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__7080_23.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7081_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7083_20.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__7104_75.min1.thm12017-02-06 12:46 650  
[ ]jgraph_5__7106_24.min1.thm12017-02-06 12:46 683  
[ ]jgraph_5__7108_21.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7111_14.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7112_51.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__7113_76.min1.thm12017-02-06 12:46 651  
[ ]jgraph_5__7115_15.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7117_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__7119_15.min1.thm12017-02-06 12:46 729  
[ ]jgraph_5__7120_16.min1.thm12017-02-06 12:46 740  
[ ]jgraph_5__7122_13.min1.thm12017-02-06 12:46 225  
[ ]jgraph_5__7125_30.min1.thm12017-02-06 12:46 747  
[ ]jgraph_5__7126_23.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__7130_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__7131_20.min1.thm12017-02-06 12:46 665  
[ ]jgraph_5__7133_17.min1.thm12017-02-06 12:46 251  
[ ]jgraph_5__7137_29.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__7142_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7144_29.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7162_22.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7166_32.min1.thm12017-02-06 12:46 407  
[ ]jgraph_5__7167_13.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__7170_34.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__7173_17.min1.thm12017-02-06 12:46 359  
[ ]jgraph_5__7180_37.min1.thm12017-02-06 12:46 755  
[ ]jgraph_5__7181_27.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7184_31.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__7186_31.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__7187_36.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__7192_27.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__7196_30.min1.thm12017-02-06 12:46 695  
[ ]jgraph_5__7198_27.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7200_21.min1.thm12017-02-06 12:46 443  
[ ]jgraph_5__7203_40.min1.thm12017-02-06 12:46 638  
[ ]jgraph_5__7212_21.min1.thm12017-02-06 12:46 443  
[ ]jgraph_5__7215_40.min1.thm12017-02-06 12:46 638  
[ ]jgraph_5__7226_21.min1.thm12017-02-06 12:46 443  
[ ]jgraph_5__7229_40.min1.thm12017-02-06 12:46 638  
[ ]jgraph_5__7248_45.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7254_47.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7300_17.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__7303_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7305_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__7307_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7310_16.min1.thm12017-02-06 12:46 868  
[ ]jgraph_5__7313_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7315_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__7317_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7320_16.min1.thm12017-02-06 12:46 964  
[ ]jgraph_5__7327_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7329_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__7331_16.min1.thm12017-02-06 12:46 964  
[ ]jgraph_5__7337_17.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__7339_24.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__7344_21.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_5__7357_15.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__7368_16.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_5__7379_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7381_62.min1.thm12017-02-06 12:46 622  
[ ]jgraph_5__7383_16.min1.thm12017-02-06 12:46 964  
[ ]jgraph_5__7386_14.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_5__7387_26.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_5__7390_21.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_5__7420_11.min1.thm12017-02-06 12:46 3.6K 
[ ]jgraph_5__7465_39.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7533_57.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__7545_40.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7552_20.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_5__7553_16.min1.thm12017-02-06 12:46 586  
[ ]jgraph_5__7553_16.min1.thm1.tptp2017-02-06 16:47 509  
[ ]jgraph_5__7554_16.min1.thm12017-02-06 12:46 462  
[ ]jgraph_5__7560_24.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7562_22.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7564_38.min1.thm12017-02-06 12:46 836  
[ ]jgraph_5__7566_24.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7568_24.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_5__7570_23.min1.thm12017-02-06 12:46 787  
[ ]jgraph_5__7572_22.min1.thm12017-02-06 12:46 782  
[ ]jgraph_5__7576_10.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_5__7578_10.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_5__7580_10.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_5__7582_10.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7585_21.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__7587_21.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__7606_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__7607_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__7608_11.min1.thm12017-02-06 12:46 351  
[ ]jgraph_5__7612_18.min1.thm12017-02-06 12:46 392  
[ ]jgraph_5__7616_34.min1.thm12017-02-06 12:46 835  
[ ]jgraph_5__7622_34.min1.thm12017-02-06 12:46 835  
[ ]jgraph_5__7627_34.min1.thm12017-02-06 12:46 835  
[ ]jgraph_5__7630_16.min1.thm12017-02-06 12:46 826  
[ ]jgraph_5__7641_23.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__7642_31.min1.thm12017-02-06 12:46 599  
[ ]jgraph_5__7642_31.min1.thm1.tptp2017-02-06 16:47 524  
[ ]jgraph_5__7643_43.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7649_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__7651_39.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7656_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__7662_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__7668_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__7669_23.min1.thm12017-02-06 12:46 737  
[ ]jgraph_5__7671_24.min1.thm12017-02-06 12:46 759  
[ ]jgraph_5__7672_35.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7682_15.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__7683_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__7684_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7685_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__7687_62.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7688_26.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__7688_26.min1.thm1.tptp2017-02-06 16:47 539  
[ ]jgraph_5__7693_23.min1.thm12017-02-06 12:46 559  
[ ]jgraph_5__7694_35.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7704_15.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__7705_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__7706_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7707_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__7709_62.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7710_26.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__7710_26.min1.thm1.tptp2017-02-06 16:47 539  
[ ]jgraph_5__7724_20.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__7727_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__7728_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__7732_23.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__7735_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__7736_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__7739_27.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__7740_19.min1.thm12017-02-06 12:46 884  
[ ]jgraph_5__7761_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__7762_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__7763_11.min1.thm12017-02-06 12:46 351  
[ ]jgraph_5__7767_18.min1.thm12017-02-06 12:46 392  
[ ]jgraph_5__7772_34.min1.thm12017-02-06 12:46 835  
[ ]jgraph_5__7777_34.min1.thm12017-02-06 12:46 835  
[ ]jgraph_5__7783_34.min1.thm12017-02-06 12:46 835  
[ ]jgraph_5__7786_16.min1.thm12017-02-06 12:46 826  
[ ]jgraph_5__7797_23.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__7798_31.min1.thm12017-02-06 12:46 599  
[ ]jgraph_5__7798_31.min1.thm1.tptp2017-02-06 16:47 524  
[ ]jgraph_5__7799_43.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7805_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__7807_39.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7812_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__7818_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__7824_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__7825_23.min1.thm12017-02-06 12:46 737  
[ ]jgraph_5__7827_24.min1.thm12017-02-06 12:46 759  
[ ]jgraph_5__7828_35.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7838_15.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__7839_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__7840_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7841_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__7843_62.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7844_26.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__7844_26.min1.thm1.tptp2017-02-06 16:47 539  
[ ]jgraph_5__7849_23.min1.thm12017-02-06 12:46 559  
[ ]jgraph_5__7850_35.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7860_15.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__7861_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__7862_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7863_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__7865_62.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7866_26.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__7866_26.min1.thm1.tptp2017-02-06 16:47 539  
[ ]jgraph_5__7880_20.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__7883_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__7884_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__7888_23.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__7891_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__7892_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__7895_27.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__7896_19.min1.thm12017-02-06 12:46 884  
[ ]jgraph_5__7917_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__7918_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__7919_11.min1.thm12017-02-06 12:46 351  
[ ]jgraph_5__7923_18.min1.thm12017-02-06 12:46 392  
[ ]jgraph_5__7928_34.min1.thm12017-02-06 12:46 835  
[ ]jgraph_5__7933_34.min1.thm12017-02-06 12:46 835  
[ ]jgraph_5__7939_34.min1.thm12017-02-06 12:46 835  
[ ]jgraph_5__7942_16.min1.thm12017-02-06 12:46 826  
[ ]jgraph_5__7953_23.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__7954_31.min1.thm12017-02-06 12:46 599  
[ ]jgraph_5__7954_31.min1.thm1.tptp2017-02-06 16:47 524  
[ ]jgraph_5__7955_43.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7961_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__7963_39.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7968_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__7974_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__7980_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__7981_23.min1.thm12017-02-06 12:46 737  
[ ]jgraph_5__7983_24.min1.thm12017-02-06 12:46 759  
[ ]jgraph_5__7984_35.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__7994_15.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__7995_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__7996_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__7997_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__7999_62.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__8000_26.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__8000_26.min1.thm1.tptp2017-02-06 16:47 539  
[ ]jgraph_5__8005_23.min1.thm12017-02-06 12:46 559  
[ ]jgraph_5__8006_35.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__8016_15.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__8017_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__8018_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__8019_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__8021_62.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__8022_26.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__8022_26.min1.thm1.tptp2017-02-06 16:47 539  
[ ]jgraph_5__8036_20.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__8039_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__8040_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__8044_23.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__8047_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__8048_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__8051_27.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__8052_19.min1.thm12017-02-06 12:46 884  
[ ]jgraph_5__8073_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__8074_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_5__8075_11.min1.thm12017-02-06 12:46 351  
[ ]jgraph_5__8079_18.min1.thm12017-02-06 12:46 392  
[ ]jgraph_5__8083_34.min1.thm12017-02-06 12:46 835  
[ ]jgraph_5__8089_34.min1.thm12017-02-06 12:46 835  
[ ]jgraph_5__8094_34.min1.thm12017-02-06 12:46 835  
[ ]jgraph_5__8097_16.min1.thm12017-02-06 12:46 826  
[ ]jgraph_5__8109_24.min1.thm12017-02-06 12:46 759  
[ ]jgraph_5__8116_15.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__8117_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__8118_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__8119_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__8121_62.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__8122_26.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__8122_26.min1.thm1.tptp2017-02-06 16:47 539  
[ ]jgraph_5__8132_15.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__8133_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__8134_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__8135_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_5__8137_62.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_5__8138_26.min1.thm12017-02-06 12:46 616  
[ ]jgraph_5__8138_26.min1.thm1.tptp2017-02-06 16:47 539  
[ ]jgraph_5__8142_31.min1.thm12017-02-06 12:46 599  
[ ]jgraph_5__8142_31.min1.thm1.tptp2017-02-06 16:47 524  
[ ]jgraph_5__8143_43.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__8149_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__8151_39.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__8156_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__8162_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__8168_42.min1.thm12017-02-06 12:46 310  
[ ]jgraph_5__8169_23.min1.thm12017-02-06 12:46 559  
[ ]jgraph_5__8170_23.min1.thm12017-02-06 12:46 737  
[ ]jgraph_5__8171_35.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__8178_35.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_5__8185_23.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_5__8190_20.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_5__8193_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__8194_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__8198_23.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__8201_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_5__8202_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_5__8205_27.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_5__8206_19.min1.thm12017-02-06 12:46 884  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80