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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jgraph_3__50_13.min1.thm12017-02-06 12:46 554  
[ ]jgraph_3__51_14.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__54_43.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__56_43.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__60_30.min1.thm12017-02-06 12:46 729  
[ ]jgraph_3__60_30.min1.thm1.tptp2017-02-06 16:47 674  
[ ]jgraph_3__73_16.min1.thm12017-02-06 12:46 968  
[ ]jgraph_3__74_18.min1.thm12017-02-06 12:46 628  
[ ]jgraph_3__75_28.min1.thm12017-02-06 12:46 541  
[ ]jgraph_3__76_18.min1.thm12017-02-06 12:46 658  
[ ]jgraph_3__78_18.min1.thm12017-02-06 12:46 485  
[ ]jgraph_3__79_17.min1.thm12017-02-06 12:46 579  
[ ]jgraph_3__80_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__87_12.min1.thm12017-02-06 12:46 706  
[ ]jgraph_3__88_14.min1.thm12017-02-06 12:46 400  
[ ]jgraph_3__88_14.min1.thm1.tptp2017-02-06 16:47 338  
[ ]jgraph_3__89_11.min1.thm12017-02-06 12:46 493  
[ ]jgraph_3__90_26.min1.thm12017-02-06 12:46 592  
[ ]jgraph_3__92_22.min1.thm12017-02-06 12:46 531  
[ ]jgraph_3__93_21.min1.thm12017-02-06 12:46 620  
[ ]jgraph_3__94_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__119_27.min1.thm12017-02-06 12:46 601  
[ ]jgraph_3__124_13.min1.thm12017-02-06 12:46 198  
[ ]jgraph_3__127_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__131_25.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__132_40.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__134_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__135_23.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__142_19.min1.thm12017-02-06 12:46 841  
[ ]jgraph_3__143_46.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__146_24.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__148_19.min1.thm12017-02-06 12:46 841  
[ ]jgraph_3__149_60.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__150_24.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__153_18.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__154_27.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__155_46.min1.thm12017-02-06 12:46 851  
[ ]jgraph_3__173_19.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__175_23.min1.thm12017-02-06 12:46 887  
[ ]jgraph_3__176_44.min1.thm12017-02-06 12:46 518  
[ ]jgraph_3__176_44.min1.thm1.tptp2017-02-06 16:47 443  
[ ]jgraph_3__177_18.min1.thm12017-02-06 12:46 750  
[ ]jgraph_3__185_18.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__187_25.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__188_34.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__190_18.min1.thm12017-02-06 12:46 424  
[ ]jgraph_3__190_18.min1.thm1.tptp2017-02-06 16:47 353  
[ ]jgraph_3__193_27.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__195_22.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_3__199_34.min1.thm12017-02-06 12:46 702  
[ ]jgraph_3__200_45.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__202_19.min1.thm12017-02-06 12:46 832  
[ ]jgraph_3__202_19.min1.thm1.tptp2017-02-06 16:47 761  
[ ]jgraph_3__203_26.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__235_15.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__242_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__252_46.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_3__262_46.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_3__273_75.min1.thm12017-02-06 12:46 3.3K 
[ ]jgraph_3__300_48.min1.thm12017-02-06 12:46 372  
[ ]jgraph_3__300_48.min1.thm1.tptp2017-02-06 16:47 294  
[ ]jgraph_3__301_15.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__304_22.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__305_23.min1.thm12017-02-06 12:46 4.1K 
[ ]jgraph_3__310_67.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__331_34.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__338_18.min1.thm12017-02-06 12:46 754  
[ ]jgraph_3__345_24.min1.thm12017-02-06 12:46 770  
[ ]jgraph_3__348_42.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__352_33.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__353_42.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__357_24.min1.thm12017-02-06 12:46 841  
[ ]jgraph_3__366_39.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__368_27.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__369_23.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__370_32.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__376_77.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__387_24.min1.thm12017-02-06 12:46 770  
[ ]jgraph_3__390_33.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__391_42.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__395_42.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__399_24.min1.thm12017-02-06 12:46 841  
[ ]jgraph_3__408_39.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__410_27.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__411_23.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__412_32.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__418_77.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__424_71.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__426_35.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__446_33.min1.thm12017-02-06 12:46 277  
[ ]jgraph_3__447_34.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__448_66.min1.thm12017-02-06 12:46 705  
[ ]jgraph_3__449_16.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__456_41.min1.thm12017-02-06 12:46 627  
[ ]jgraph_3__456_41.min1.thm1.tptp2017-02-06 16:47 541  
[ ]jgraph_3__461_32.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__462_33.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__468_11.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__469_11.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__470_14.min1.thm12017-02-06 12:46 689  
[ ]jgraph_3__474_25.min1.thm12017-02-06 12:46 848  
[ ]jgraph_3__475_50.min1.thm12017-02-06 12:46 593  
[ ]jgraph_3__475_50.min1.thm1.tptp2017-02-06 16:47 530  
[ ]jgraph_3__478_14.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__479_12.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__482_13.min1.thm12017-02-06 12:46 310  
[ ]jgraph_3__502_17.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__504_15.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__530_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__531_39.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__532_54.min1.thm12017-02-06 12:46 616  
[ ]jgraph_3__532_54.min1.thm1.tptp2017-02-06 16:47 553  
[ ]jgraph_3__533_30.min1.thm12017-02-06 12:46 702  
[ ]jgraph_3__534_28.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__543_19.min1.thm12017-02-06 12:46 468  
[ ]jgraph_3__555_23.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_3__557_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__587_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__588_39.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__589_54.min1.thm12017-02-06 12:46 616  
[ ]jgraph_3__589_54.min1.thm1.tptp2017-02-06 16:47 553  
[ ]jgraph_3__590_30.min1.thm12017-02-06 12:46 702  
[ ]jgraph_3__591_28.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__600_22.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__611_23.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__613_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__619_10.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__620_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__645_22.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__646_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__672_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__673_19.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__694_41.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__707_28.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__708_19.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__730_41.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__745_29.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__769_41.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__784_29.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__796_4.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__797_30.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__816_4.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__817_30.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__839_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__839_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__840_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__840_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__846_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__849_39.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__850_50.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__853_20.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_3__864_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__866_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__867_48.min1.thm12017-02-06 12:46 958  
[ ]jgraph_3__873_42.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__874_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__887_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__887_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__888_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__888_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__894_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__897_39.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__898_50.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__901_20.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_3__912_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__914_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__915_48.min1.thm12017-02-06 12:46 958  
[ ]jgraph_3__921_42.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__922_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__935_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__935_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__936_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__936_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__942_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__945_39.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__946_50.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__949_20.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_3__960_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__962_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__963_48.min1.thm12017-02-06 12:46 958  
[ ]jgraph_3__969_42.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__970_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__983_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__983_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__984_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__984_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__990_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__993_39.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__994_50.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__997_20.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_3__1008_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1010_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__1011_48.min1.thm12017-02-06 12:46 958  
[ ]jgraph_3__1017_42.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__1018_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__1022_31.min1.thm12017-02-06 12:46 641  
[ ]jgraph_3__1025_47.min1.thm12017-02-06 12:46 909  
[ ]jgraph_3__1027_33.min1.thm12017-02-06 12:46 786  
[ ]jgraph_3__1039_28.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__1041_31.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1046_56.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__1048_41.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__1049_11.min1.thm12017-02-06 12:46 780  
[ ]jgraph_3__1050_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1063_28.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__1065_31.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1070_55.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__1072_43.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__1073_11.min1.thm12017-02-06 12:46 780  
[ ]jgraph_3__1074_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1091_57.min1.thm12017-02-06 12:46 493  
[ ]jgraph_3__1101_45.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__1102_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_3__1103_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1107_53.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__1115_34.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1116_16.min1.thm12017-02-06 12:46 566  
[ ]jgraph_3__1130_45.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__1131_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_3__1132_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1136_53.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__1145_34.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1146_16.min1.thm12017-02-06 12:46 566  
[ ]jgraph_3__1153_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1157_50.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__1161_19.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__1164_16.min1.thm12017-02-06 12:46 248  
[ ]jgraph_3__1177_53.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1178_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1180_44.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1184_18.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__1185_19.min1.thm12017-02-06 12:46 729  
[ ]jgraph_3__1185_19.min1.thm1.tptp2017-02-06 16:47 651  
[ ]jgraph_3__1192_49.min1.thm12017-02-06 12:46 909  
[ ]jgraph_3__1194_33.min1.thm12017-02-06 12:46 786  
[ ]jgraph_3__1208_57.min1.thm12017-02-06 12:46 493  
[ ]jgraph_3__1218_45.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__1219_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_3__1220_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1224_53.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__1226_69.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__1233_34.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1234_16.min1.thm12017-02-06 12:46 566  
[ ]jgraph_3__1248_45.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__1249_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_3__1250_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1254_53.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__1256_70.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__1263_34.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1264_16.min1.thm12017-02-06 12:46 566  
[ ]jgraph_3__1273_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1277_50.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__1281_19.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__1284_16.min1.thm12017-02-06 12:46 248  
[ ]jgraph_3__1295_53.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1296_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1298_44.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1302_18.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__1303_32.min1.thm12017-02-06 12:46 729  
[ ]jgraph_3__1303_32.min1.thm1.tptp2017-02-06 16:47 651  
[ ]jgraph_3__1315_72.min1.thm12017-02-06 12:46 541  
[ ]jgraph_3__1315_72.min1.thm1.tptp2017-02-06 16:47 478  
[ ]jgraph_3__1316_33.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1334_24.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__1336_56.min1.thm12017-02-06 12:46 471  
[ ]jgraph_3__1336_56.min1.thm1.tptp2017-02-06 16:47 408  
[ ]jgraph_3__1337_19.min1.thm12017-02-06 12:46 601  
[ ]jgraph_3__1344_68.min1.thm12017-02-06 12:46 549  
[ ]jgraph_3__1344_68.min1.thm1.tptp2017-02-06 16:47 486  
[ ]jgraph_3__1345_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1348_14.min1.thm12017-02-06 12:46 510  
[ ]jgraph_3__1348_14.min1.thm1.tptp2017-02-06 16:47 447  
[ ]jgraph_3__1351_17.min1.thm12017-02-06 12:46 620  
[ ]jgraph_3__1375_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1376_50.min1.thm12017-02-06 12:46 747  
[ ]jgraph_3__1398_21.min1.thm12017-02-06 12:46 841  
[ ]jgraph_3__1400_59.min1.thm12017-02-06 12:46 609  
[ ]jgraph_3__1401_16.min1.thm12017-02-06 12:46 748  
[ ]jgraph_3__1402_65.min1.thm12017-02-06 12:46 587  
[ ]jgraph_3__1403_21.min1.thm12017-02-06 12:46 915  
[ ]jgraph_3__1407_21.min1.thm12017-02-06 12:46 841  
[ ]jgraph_3__1409_60.min1.thm12017-02-06 12:46 609  
[ ]jgraph_3__1410_16.min1.thm12017-02-06 12:46 748  
[ ]jgraph_3__1411_65.min1.thm12017-02-06 12:46 587  
[ ]jgraph_3__1412_21.min1.thm12017-02-06 12:46 915  
[ ]jgraph_3__1421_22.min1.thm12017-02-06 12:46 893  
[ ]jgraph_3__1423_42.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1426_33.min1.thm12017-02-06 12:46 938  
[ ]jgraph_3__1455_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1456_50.min1.thm12017-02-06 12:46 747  
[ ]jgraph_3__1472_21.min1.thm12017-02-06 12:46 841  
[ ]jgraph_3__1474_59.min1.thm12017-02-06 12:46 612  
[ ]jgraph_3__1475_16.min1.thm12017-02-06 12:46 748  
[ ]jgraph_3__1476_65.min1.thm12017-02-06 12:46 587  
[ ]jgraph_3__1477_21.min1.thm12017-02-06 12:46 921  
[ ]jgraph_3__1481_21.min1.thm12017-02-06 12:46 841  
[ ]jgraph_3__1483_60.min1.thm12017-02-06 12:46 612  
[ ]jgraph_3__1484_16.min1.thm12017-02-06 12:46 748  
[ ]jgraph_3__1485_65.min1.thm12017-02-06 12:46 587  
[ ]jgraph_3__1486_21.min1.thm12017-02-06 12:46 921  
[ ]jgraph_3__1496_22.min1.thm12017-02-06 12:46 899  
[ ]jgraph_3__1498_42.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1501_33.min1.thm12017-02-06 12:46 941  
[ ]jgraph_3__1516_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1517_46.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__1520_40.min1.thm12017-02-06 12:46 933  
[ ]jgraph_3__1524_23.min1.thm12017-02-06 12:46 700  
[ ]jgraph_3__1533_14.min1.thm12017-02-06 12:46 903  
[ ]jgraph_3__1533_14.min1.thm1.tptp2017-02-06 16:47 864  
[ ]jgraph_3__1536_50.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__1537_21.min1.thm12017-02-06 12:46 691  
[ ]jgraph_3__1540_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__1545_54.min1.thm12017-02-06 12:46 621  
[ ]jgraph_3__1546_44.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__1555_14.min1.thm12017-02-06 12:46 903  
[ ]jgraph_3__1555_14.min1.thm1.tptp2017-02-06 16:47 864  
[ ]jgraph_3__1558_50.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__1559_21.min1.thm12017-02-06 12:46 691  
[ ]jgraph_3__1562_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__1564_21.min1.thm12017-02-06 12:46 728  
[ ]jgraph_3__1569_54.min1.thm12017-02-06 12:46 641  
[ ]jgraph_3__1570_45.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__1576_47.min1.thm12017-02-06 12:46 958  
[ ]jgraph_3__1584_59.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__1585_29.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__1586_42.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1589_48.min1.thm12017-02-06 12:46 818  
[ ]jgraph_3__1595_43.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__1599_55.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__1603_21.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__1606_18.min1.thm12017-02-06 12:46 256  
[ ]jgraph_3__1615_38.min1.thm12017-02-06 12:46 803  
[ ]jgraph_3__1616_49.min1.thm12017-02-06 12:46 717  
[ ]jgraph_3__1617_44.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1620_14.min1.thm12017-02-06 12:46 595  
[ ]jgraph_3__1622_53.min1.thm12017-02-06 12:46 972  
[ ]jgraph_3__1637_67.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__1638_36.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1642_8.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1647_41.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__1648_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__1655_50.min1.thm12017-02-06 12:46 971  
[ ]jgraph_3__1656_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__1659_44.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__1660_11.min1.thm12017-02-06 12:46 838  
[ ]jgraph_3__1664_35.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__1670_50.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1671_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__1675_48.min1.thm12017-02-06 12:46 383  
[ ]jgraph_3__1675_48.min1.thm1.tptp2017-02-06 16:47 305  
[ ]jgraph_3__1681_43.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__1685_55.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__1689_21.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__1692_18.min1.thm12017-02-06 12:46 260  
[ ]jgraph_3__1701_49.min1.thm12017-02-06 12:46 720  
[ ]jgraph_3__1702_44.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1705_14.min1.thm12017-02-06 12:46 604  
[ ]jgraph_3__1707_67.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__1709_53.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1711_70.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__1723_36.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__1727_8.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1735_44.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__1736_11.min1.thm12017-02-06 12:46 839  
[ ]jgraph_3__1740_16.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__1741_14.min1.thm12017-02-06 12:46 398  
[ ]jgraph_3__1743_20.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__1744_35.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__1752_25.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__1755_14.min1.thm12017-02-06 12:46 398  
[ ]jgraph_3__1757_20.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__1758_16.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__1759_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__1763_41.min1.thm12017-02-06 12:46 3.8K 
[ ]jgraph_3__1767_62.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__1778_24.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__1781_16.min1.thm12017-02-06 12:46 871  
[ ]jgraph_3__1782_13.min1.thm12017-02-06 12:46 228  
[ ]jgraph_3__1786_16.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__1787_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__1788_16.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__1789_21.min1.thm12017-02-06 12:46 743  
[ ]jgraph_3__1793_64.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1798_16.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__1802_42.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__1819_46.min1.thm12017-02-06 12:46 687  
[ ]jgraph_3__1820_22.min1.thm12017-02-06 12:46 528  
[ ]jgraph_3__1830_19.min1.thm12017-02-06 12:46 687  
[ ]jgraph_3__1832_17.min1.thm12017-02-06 12:46 704  
[ ]jgraph_3__1835_60.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1842_63.min1.thm12017-02-06 12:46 609  
[ ]jgraph_3__1846_28.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__1847_49.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__1850_25.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__1851_13.min1.thm12017-02-06 12:46 787  
[ ]jgraph_3__1856_37.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1862_12.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1867_21.min1.thm12017-02-06 12:46 4.5K 
[ ]jgraph_3__1874_21.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__1878_37.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1884_12.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1889_21.min1.thm12017-02-06 12:46 4.5K 
[ ]jgraph_3__1892_37.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_3__1896_54.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__1902_17.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__1906_27.min1.thm12017-02-06 12:46 391  
[ ]jgraph_3__1907_55.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__1916_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__1917_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__1918_49.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1919_46.min1.thm12017-02-06 12:46 780  
[ ]jgraph_3__1920_46.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1921_45.min1.thm12017-02-06 12:46 781  
[ ]jgraph_3__1924_75.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__1926_75.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1929_70.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__1931_15.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__1938_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1939_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1952_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1958_36.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1961_56.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__1963_56.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__1967_41.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__1973_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1974_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1987_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1993_36.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__1996_56.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__1998_56.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__2002_41.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__2008_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__2010_26.min1.thm12017-02-06 12:46 763  
[ ]jgraph_3__2013_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__2025_44.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__2026_44.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__2028_11.min1.thm12017-02-06 12:46 906  
[ ]jgraph_3__2032_29.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2034_15.min1.thm12017-02-06 12:46 912  
[ ]jgraph_3__2037_23.min1.thm12017-02-06 12:46 475  
[ ]jgraph_3__2041_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__2050_13.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2053_13.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2058_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__2066_13.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2070_16.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__2077_20.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__2080_20.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__2082_15.min1.thm12017-02-06 12:46 912  
[ ]jgraph_3__2085_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__2089_33.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2093_13.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2096_13.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2104_23.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__2108_20.min1.thm12017-02-06 12:46 887  
[ ]jgraph_3__2145_23.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__2149_20.min1.thm12017-02-06 12:46 889  
[ ]jgraph_3__2151_19.min1.thm12017-02-06 12:46 223  
[ ]jgraph_3__2156_20.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__2158_27.min1.thm12017-02-06 12:46 736  
[ ]jgraph_3__2163_24.min1.thm12017-02-06 12:46 899  
[ ]jgraph_3__2189_32.min1.thm12017-02-06 12:46 661  
[ ]jgraph_3__2190_27.min1.thm12017-02-06 12:46 667  
[ ]jgraph_3__2193_20.min1.thm12017-02-06 12:46 361  
[ ]jgraph_3__2198_73.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__2200_17.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2202_20.min1.thm12017-02-06 12:46 887  
[ ]jgraph_3__2204_31.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__2225_31.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__2239_23.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__2243_20.min1.thm12017-02-06 12:46 889  
[ ]jgraph_3__2245_19.min1.thm12017-02-06 12:46 223  
[ ]jgraph_3__2250_20.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__2251_25.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__2265_26.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__2273_28.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__2279_44.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__2285_24.min1.thm12017-02-06 12:46 899  
[ ]jgraph_3__2307_30.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__2335_30.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__2339_58.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_3__2341_55.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_3__2346_57.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2353_55.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_3__2358_57.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2366_26.min1.thm12017-02-06 12:46 4.4K 
[ ]jgraph_3__2391_33.min1.thm12017-02-06 12:46 661  
[ ]jgraph_3__2392_27.min1.thm12017-02-06 12:46 667  
[ ]jgraph_3__2395_20.min1.thm12017-02-06 12:46 338  
[ ]jgraph_3__2398_16.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__2403_21.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__2405_21.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__2409_52.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__2411_15.min1.thm12017-02-06 12:46 912  
[ ]jgraph_3__2414_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__2418_33.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2421_13.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2429_23.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__2433_20.min1.thm12017-02-06 12:46 887  
[ ]jgraph_3__2467_17.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2469_20.min1.thm12017-02-06 12:46 889  
[ ]jgraph_3__2471_19.min1.thm12017-02-06 12:46 223  
[ ]jgraph_3__2475_25.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__2489_26.min1.thm12017-02-06 12:46 3.2K 
[ ]jgraph_3__2493_44.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_3__2507_24.min1.thm12017-02-06 12:46 899  
[ ]jgraph_3__2529_30.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__2557_30.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__2563_55.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_3__2568_57.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2575_55.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_3__2580_57.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2588_26.min1.thm12017-02-06 12:46 4.4K 
[ ]jgraph_3__2613_32.min1.thm12017-02-06 12:46 661  
[ ]jgraph_3__2614_27.min1.thm12017-02-06 12:46 667  
[ ]jgraph_3__2617_20.min1.thm12017-02-06 12:46 338  
[ ]jgraph_3__2621_19.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2623_20.min1.thm12017-02-06 12:46 887  
[ ]jgraph_3__2657_17.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__2659_20.min1.thm12017-02-06 12:46 889  
[ ]jgraph_3__2661_19.min1.thm12017-02-06 12:46 223  
[ ]jgraph_3__2666_20.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__2668_27.min1.thm12017-02-06 12:46 736  
[ ]jgraph_3__2673_24.min1.thm12017-02-06 12:46 899  
[ ]jgraph_3__2699_32.min1.thm12017-02-06 12:46 661  
[ ]jgraph_3__2700_27.min1.thm12017-02-06 12:46 667  
[ ]jgraph_3__2703_20.min1.thm12017-02-06 12:46 361  
[ ]jgraph_3__2706_16.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__2712_14.min1.thm12017-02-06 12:46 203  
[ ]jgraph_3__2733_18.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__2737_52.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__2739_15.min1.thm12017-02-06 12:46 948  
[ ]jgraph_3__2748_38.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__2749_22.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__2753_22.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__2776_56.min1.thm12017-02-06 12:46 3.6K 
[ ]jgraph_3__2792_56.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__2794_30.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__2803_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__2804_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__2812_56.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__2814_30.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__2816_64.min1.thm12017-02-06 12:46 3.6K 
[ ]jgraph_3__2821_36.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__2822_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__2830_64.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__2836_38.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__2837_22.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__2841_22.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__2885_64.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__2894_16.min1.thm12017-02-06 12:46 561  
[ ]jgraph_3__2897_13.min1.thm12017-02-06 12:46 908  
[ ]jgraph_3__2904_28.min1.thm12017-02-06 12:46 540  
[ ]jgraph_3__2904_28.min1.thm1.tptp2017-02-06 16:47 463  
[ ]jgraph_3__2906_39.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__2910_39.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_3__2911_39.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__2923_39.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_3__2945_36.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__2948_36.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__2985_28.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__2988_39.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__2991_39.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__2996_53.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3076_18.min1.thm12017-02-06 12:46 839  
[ ]jgraph_3__3080_61.min1.thm12017-02-06 12:46 822  
[ ]jgraph_3__3082_54.min1.thm12017-02-06 12:46 373  
[ ]jgraph_3__3089_47.min1.thm12017-02-06 12:46 360  
[ ]jgraph_3__3089_47.min1.thm1.tptp2017-02-06 16:47 282  
[ ]jgraph_3__3090_50.min1.thm12017-02-06 12:46 131  
[ ]jgraph_3__3091_77.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__3091_77.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]jgraph_3__3092_16.min1.thm12017-02-06 12:46 552  
[ ]jgraph_3__3100_73.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__3106_46.min1.thm12017-02-06 12:46 360  
[ ]jgraph_3__3106_46.min1.thm1.tptp2017-02-06 16:47 282  
[ ]jgraph_3__3120_52.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3132_44.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__3133_25.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__3139_47.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__3142_65.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__3144_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__3147_22.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__3148_26.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3151_20.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__3160_22.min1.thm12017-02-06 12:46 967  
[ ]jgraph_3__3161_26.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3164_20.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__3173_22.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__3174_26.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3177_20.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__3186_22.min1.thm12017-02-06 12:46 967  
[ ]jgraph_3__3187_26.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3190_20.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__3200_38.min1.thm12017-02-06 12:46 3.3K 
[ ]jgraph_3__3203_16.min1.thm12017-02-06 12:46 3.9K 
[ ]jgraph_3__3204_19.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__3212_15.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3213_44.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__3218_78.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__3221_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__3273_21.min1.thm12017-02-06 12:46 536  
[ ]jgraph_3__3277_31.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_3__3278_11.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__3279_30.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__3280_56.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_3__3281_64.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__3282_62.min1.thm12017-02-06 12:46 881  
[ ]jgraph_3__3283_55.min1.thm12017-02-06 12:46 933  
[ ]jgraph_3__3283_55.min1.thm1.tptp2017-02-06 16:47 847  
[ ]jgraph_3__3287_17.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__3300_18.min1.thm12017-02-06 12:46 839  
[ ]jgraph_3__3304_61.min1.thm12017-02-06 12:46 699  
[ ]jgraph_3__3306_46.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3311_31.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__3312_11.min1.thm12017-02-06 12:46 191  
[ ]jgraph_3__3315_12.min1.thm12017-02-06 12:46 356  
[ ]jgraph_3__3315_12.min1.thm1.tptp2017-02-06 16:47 267  
[ ]jgraph_3__3320_59.min1.thm12017-02-06 12:46 412  
[ ]jgraph_3__3320_59.min1.thm1.tptp2017-02-06 16:47 322  
[ ]jgraph_3__3321_52.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_3__3322_37.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_3__3323_19.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__3334_36.min1.thm12017-02-06 12:46 839  
[ ]jgraph_3__3335_46.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__3340_18.min1.thm12017-02-06 12:46 839  
[ ]jgraph_3__3349_15.min1.thm12017-02-06 12:46 631  
[ ]jgraph_3__3351_10.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__3352_23.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__3353_58.min1.thm12017-02-06 12:46 635  
[ ]jgraph_3__3354_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__3356_41.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__3367_12.min1.thm12017-02-06 12:46 933  
[ ]jgraph_3__3368_40.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__3378_12.min1.thm12017-02-06 12:46 933  
[ ]jgraph_3__3382_17.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__3399_45.min1.thm12017-02-06 12:46 884  
[ ]jgraph_3__3403_13.min1.thm12017-02-06 12:46 908  
[ ]jgraph_3__3406_54.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__3415_21.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__3419_22.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__3424_31.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__3427_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__3430_22.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_3__3434_11.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__3458_20.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__3464_59.min1.thm12017-02-06 12:46 3.8K 
[ ]jgraph_3__3466_53.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__3479_21.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__3480_16.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__3483_33.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__3486_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__3489_22.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_3__3494_11.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__3518_20.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__3522_52.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_3__3523_52.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__3527_17.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__3540_37.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__3541_44.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__3545_23.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__3549_44.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__3555_37.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__3557_37.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__3577_24.min1.thm12017-02-06 12:46 5.4K 
[ ]jgraph_3__3581_45.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__3583_38.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__3597_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__3608_22.min1.thm12017-02-06 12:46 5.4K 
[ ]jgraph_3__3619_47.min1.thm12017-02-06 12:46 360  
[ ]jgraph_3__3619_47.min1.thm1.tptp2017-02-06 16:47 282  
[ ]jgraph_3__3620_44.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__3622_15.min1.thm12017-02-06 12:46 948  
[ ]jgraph_3__3625_29.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__3626_65.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__3638_38.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__3641_38.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__3645_48.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__3646_41.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__3647_41.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__3671_41.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__3679_41.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__3684_63.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3696_48.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__3702_19.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__3704_36.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__3705_34.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__3706_33.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__3707_50.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__3708_17.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__3719_34.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__3726_18.min1.thm12017-02-06 12:46 772  
[ ]jgraph_3__3733_24.min1.thm12017-02-06 12:46 788  
[ ]jgraph_3__3736_42.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__3740_33.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3741_42.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__3745_24.min1.thm12017-02-06 12:46 863  
[ ]jgraph_3__3750_23.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_3__3754_39.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3755_45.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__3758_23.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__3762_12.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3765_10.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__3773_24.min1.thm12017-02-06 12:46 788  
[ ]jgraph_3__3776_33.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__3777_42.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__3781_42.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__3785_24.min1.thm12017-02-06 12:46 863  
[ ]jgraph_3__3790_23.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_3__3794_39.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3796_27.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__3797_23.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__3798_32.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__3801_23.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__3805_12.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3808_10.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__3811_74.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__3813_35.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__3843_29.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__3875_29.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__3890_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3890_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__3891_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3891_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__3897_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__3901_39.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__3902_50.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__3905_19.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_3__3915_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__3917_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__3918_48.min1.thm12017-02-06 12:46 958  
[ ]jgraph_3__3924_42.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__3925_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__3938_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3938_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__3939_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3939_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__3945_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__3949_39.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__3950_50.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__3953_19.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_3__3963_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__3965_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__3966_48.min1.thm12017-02-06 12:46 958  
[ ]jgraph_3__3972_42.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__3973_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__3986_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3986_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__3987_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__3987_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__3993_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__3997_39.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__3998_50.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4001_19.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_3__4011_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4013_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4014_48.min1.thm12017-02-06 12:46 958  
[ ]jgraph_3__4020_42.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__4021_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4034_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__4034_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__4035_73.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__4035_73.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]jgraph_3__4041_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4045_39.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4046_50.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4049_19.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_3__4059_51.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4061_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4062_48.min1.thm12017-02-06 12:46 958  
[ ]jgraph_3__4068_42.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__4069_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4077_51.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__4081_50.min1.thm12017-02-06 12:46 861  
[ ]jgraph_3__4084_37.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4085_31.min1.thm12017-02-06 12:46 860  
[ ]jgraph_3__4087_37.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4088_37.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4091_57.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4092_59.min1.thm12017-02-06 12:46 763  
[ ]jgraph_3__4093_29.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4094_41.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4095_11.min1.thm12017-02-06 12:46 780  
[ ]jgraph_3__4096_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4104_51.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__4108_50.min1.thm12017-02-06 12:46 861  
[ ]jgraph_3__4111_37.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4112_31.min1.thm12017-02-06 12:46 860  
[ ]jgraph_3__4114_37.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4115_37.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4118_57.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4119_60.min1.thm12017-02-06 12:46 763  
[ ]jgraph_3__4120_29.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4121_43.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4122_11.min1.thm12017-02-06 12:46 780  
[ ]jgraph_3__4123_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4139_57.min1.thm12017-02-06 12:46 493  
[ ]jgraph_3__4140_77.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4140_77.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]jgraph_3__4145_47.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4146_45.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4147_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_3__4149_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4153_53.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4155_72.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4156_37.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4161_34.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4162_16.min1.thm12017-02-06 12:46 564  
[ ]jgraph_3__4167_77.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4167_77.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]jgraph_3__4172_47.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4173_45.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4174_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_3__4176_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4180_53.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4182_73.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4183_37.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4189_34.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4190_16.min1.thm12017-02-06 12:46 564  
[ ]jgraph_3__4199_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4203_50.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4207_19.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__4210_16.min1.thm12017-02-06 12:46 248  
[ ]jgraph_3__4221_53.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__4222_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4224_44.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4225_55.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4226_76.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__4226_76.min1.thm1.tptp2017-02-06 16:47 2.2K 
[ ]jgraph_3__4228_18.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__4229_32.min1.thm12017-02-06 12:46 627  
[ ]jgraph_3__4229_32.min1.thm1.tptp2017-02-06 16:47 549  
[ ]jgraph_3__4247_57.min1.thm12017-02-06 12:46 493  
[ ]jgraph_3__4248_77.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4248_77.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]jgraph_3__4253_47.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4254_45.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4255_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_3__4257_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4261_53.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4263_72.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__4264_37.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4270_34.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4271_16.min1.thm12017-02-06 12:46 564  
[ ]jgraph_3__4276_77.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4276_77.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]jgraph_3__4281_47.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4282_45.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4283_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_3__4285_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4289_53.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4291_73.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__4292_37.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4298_34.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4299_16.min1.thm12017-02-06 12:46 564  
[ ]jgraph_3__4308_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4312_50.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4316_19.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__4319_16.min1.thm12017-02-06 12:46 248  
[ ]jgraph_3__4332_53.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__4333_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4335_44.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4336_55.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4337_76.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4337_76.min1.thm1.tptp2017-02-06 16:47 2.1K 
[ ]jgraph_3__4339_18.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__4340_19.min1.thm12017-02-06 12:46 627  
[ ]jgraph_3__4340_19.min1.thm1.tptp2017-02-06 16:47 549  
[ ]jgraph_3__4371_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4372_50.min1.thm12017-02-06 12:46 747  
[ ]jgraph_3__4386_21.min1.thm12017-02-06 12:46 841  
[ ]jgraph_3__4388_59.min1.thm12017-02-06 12:46 609  
[ ]jgraph_3__4389_16.min1.thm12017-02-06 12:46 748  
[ ]jgraph_3__4390_65.min1.thm12017-02-06 12:46 587  
[ ]jgraph_3__4391_21.min1.thm12017-02-06 12:46 918  
[ ]jgraph_3__4397_60.min1.thm12017-02-06 12:46 609  
[ ]jgraph_3__4398_16.min1.thm12017-02-06 12:46 748  
[ ]jgraph_3__4399_65.min1.thm12017-02-06 12:46 587  
[ ]jgraph_3__4400_21.min1.thm12017-02-06 12:46 918  
[ ]jgraph_3__4409_22.min1.thm12017-02-06 12:46 896  
[ ]jgraph_3__4411_42.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4414_33.min1.thm12017-02-06 12:46 941  
[ ]jgraph_3__4418_39.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__4446_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4447_50.min1.thm12017-02-06 12:46 747  
[ ]jgraph_3__4464_59.min1.thm12017-02-06 12:46 612  
[ ]jgraph_3__4466_65.min1.thm12017-02-06 12:46 587  
[ ]jgraph_3__4467_21.min1.thm12017-02-06 12:46 921  
[ ]jgraph_3__4471_21.min1.thm12017-02-06 12:46 841  
[ ]jgraph_3__4473_60.min1.thm12017-02-06 12:46 612  
[ ]jgraph_3__4474_16.min1.thm12017-02-06 12:46 748  
[ ]jgraph_3__4475_65.min1.thm12017-02-06 12:46 587  
[ ]jgraph_3__4476_21.min1.thm12017-02-06 12:46 921  
[ ]jgraph_3__4484_22.min1.thm12017-02-06 12:46 899  
[ ]jgraph_3__4486_42.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4489_33.min1.thm12017-02-06 12:46 941  
[ ]jgraph_3__4493_39.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__4505_42.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4506_49.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__4508_59.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4509_40.min1.thm12017-02-06 12:46 933  
[ ]jgraph_3__4513_13.min1.thm12017-02-06 12:46 700  
[ ]jgraph_3__4522_14.min1.thm12017-02-06 12:46 903  
[ ]jgraph_3__4522_14.min1.thm1.tptp2017-02-06 16:47 864  
[ ]jgraph_3__4525_50.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4526_21.min1.thm12017-02-06 12:46 691  
[ ]jgraph_3__4529_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4534_54.min1.thm12017-02-06 12:46 621  
[ ]jgraph_3__4535_44.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__4544_14.min1.thm12017-02-06 12:46 903  
[ ]jgraph_3__4544_14.min1.thm1.tptp2017-02-06 16:47 864  
[ ]jgraph_3__4547_50.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4548_21.min1.thm12017-02-06 12:46 691  
[ ]jgraph_3__4551_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4553_21.min1.thm12017-02-06 12:46 728  
[ ]jgraph_3__4558_54.min1.thm12017-02-06 12:46 641  
[ ]jgraph_3__4559_45.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__4565_47.min1.thm12017-02-06 12:46 958  
[ ]jgraph_3__4573_58.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__4574_29.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__4580_50.min1.thm12017-02-06 12:46 971  
[ ]jgraph_3__4581_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__4585_48.min1.thm12017-02-06 12:46 382  
[ ]jgraph_3__4585_48.min1.thm1.tptp2017-02-06 16:47 304  
[ ]jgraph_3__4591_43.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4595_55.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__4599_21.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__4602_18.min1.thm12017-02-06 12:46 256  
[ ]jgraph_3__4611_49.min1.thm12017-02-06 12:46 716  
[ ]jgraph_3__4612_44.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4615_14.min1.thm12017-02-06 12:46 595  
[ ]jgraph_3__4617_67.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__4619_53.min1.thm12017-02-06 12:46 972  
[ ]jgraph_3__4621_73.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__4632_36.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4636_8.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__4643_48.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4644_44.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4645_11.min1.thm12017-02-06 12:46 838  
[ ]jgraph_3__4649_35.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__4655_50.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4656_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__4660_48.min1.thm12017-02-06 12:46 383  
[ ]jgraph_3__4660_48.min1.thm1.tptp2017-02-06 16:47 305  
[ ]jgraph_3__4666_43.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4670_55.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__4674_21.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__4677_18.min1.thm12017-02-06 12:46 260  
[ ]jgraph_3__4686_49.min1.thm12017-02-06 12:46 720  
[ ]jgraph_3__4687_44.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4690_14.min1.thm12017-02-06 12:46 604  
[ ]jgraph_3__4692_67.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_3__4694_53.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4696_73.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4707_36.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4711_8.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__4718_48.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4719_44.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4720_11.min1.thm12017-02-06 12:46 839  
[ ]jgraph_3__4724_16.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__4725_17.min1.thm12017-02-06 12:46 296  
[ ]jgraph_3__4727_20.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__4728_35.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__4734_28.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4737_17.min1.thm12017-02-06 12:46 296  
[ ]jgraph_3__4739_20.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__4740_16.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__4741_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4745_41.min1.thm12017-02-06 12:46 3.6K 
[ ]jgraph_3__4749_62.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__4760_24.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__4763_16.min1.thm12017-02-06 12:46 871  
[ ]jgraph_3__4764_13.min1.thm12017-02-06 12:46 228  
[ ]jgraph_3__4767_36.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__4768_16.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4769_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__4770_16.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__4771_21.min1.thm12017-02-06 12:46 641  
[ ]jgraph_3__4775_64.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4779_36.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__4780_16.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4781_21.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_3__4784_42.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__4792_69.min1.thm12017-02-06 12:46 679  
[ ]jgraph_3__4795_36.min1.thm12017-02-06 12:46 3.6K 
[ ]jgraph_3__4799_28.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4800_49.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__4803_25.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__4804_13.min1.thm12017-02-06 12:46 787  
[ ]jgraph_3__4809_37.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4813_46.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__4825_21.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__4829_37.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4835_10.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__4844_54.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4850_17.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__4854_27.min1.thm12017-02-06 12:46 391  
[ ]jgraph_3__4855_78.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__4860_18.min1.thm12017-02-06 12:46 874  
[ ]jgraph_3__4865_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__4866_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__4867_49.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4868_46.min1.thm12017-02-06 12:46 780  
[ ]jgraph_3__4869_46.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4870_45.min1.thm12017-02-06 12:46 781  
[ ]jgraph_3__4871_20.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4872_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4876_16.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__4879_12.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__4882_11.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__4888_15.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__4891_30.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__4898_27.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_3__4900_18.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4901_23.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__4905_13.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__4906_44.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__4909_39.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__4914_22.min1.thm12017-02-06 12:46 904  
[ ]jgraph_3__4918_23.min1.thm12017-02-06 12:46 261  
[ ]jgraph_3__4921_41.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4925_30.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__4930_34.min1.thm12017-02-06 12:46 614  
[ ]jgraph_3__4935_23.min1.thm12017-02-06 12:46 261  
[ ]jgraph_3__4938_29.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4944_41.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__4948_34.min1.thm12017-02-06 12:46 614  
[ ]jgraph_3__4963_36.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__4967_56.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__4969_56.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__4973_41.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__4981_27.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_3__4982_23.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__4986_22.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__4990_23.min1.thm12017-02-06 12:46 261  
[ ]jgraph_3__4993_41.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__4997_30.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__5002_34.min1.thm12017-02-06 12:46 614  
[ ]jgraph_3__5007_23.min1.thm12017-02-06 12:46 261  
[ ]jgraph_3__5010_29.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__5016_41.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5020_34.min1.thm12017-02-06 12:46 614  
[ ]jgraph_3__5035_13.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5036_44.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__5039_39.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__5043_36.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__5047_56.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__5049_56.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__5059_16.min1.thm12017-02-06 12:46 873  
[ ]jgraph_3__5061_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__5063_26.min1.thm12017-02-06 12:46 763  
[ ]jgraph_3__5065_22.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__5074_51.min1.thm12017-02-06 12:46 609  
[ ]jgraph_3__5081_57.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_3__5081_57.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]jgraph_3__5082_38.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__5087_49.min1.thm12017-02-06 12:46 368  
[ ]jgraph_3__5087_49.min1.thm1.tptp2017-02-06 16:47 290  
[ ]jgraph_3__5090_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_3__5093_29.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_3__5094_67.min1.thm12017-02-06 12:46 3.2K 
[ ]jgraph_3__5104_41.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5107_40.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5111_50.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__5112_43.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__5113_43.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__5140_40.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5144_43.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__5145_43.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__5150_57.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_3__5162_50.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__5171_35.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__5173_18.min1.thm12017-02-06 12:46 970  
[ ]jgraph_3__5174_37.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_3__5176_26.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__5180_45.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_3__5181_16.min1.thm12017-02-06 12:46 947  
[ ]jgraph_3__5196_28.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__5197_23.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__5211_47.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__5228_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__5230_34.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__5231_34.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__5234_34.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__5239_19.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__5243_17.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__5244_19.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__5248_17.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_3__5249_31.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_3__5251_15.min1.thm12017-02-06 12:46 948  
[ ]jgraph_3__5255_67.min1.thm12017-02-06 12:46 4.1K 
[ ]jgraph_3__5263_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5268_24.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5298_15.min1.thm12017-02-06 12:46 5.0K 
[ ]jgraph_3__5339_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5344_63.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__5370_24.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5378_20.min1.thm12017-02-06 12:46 5.6K 
[ ]jgraph_3__5409_58.min1.thm12017-02-06 12:46 3.2K 
[ ]jgraph_3__5417_15.min1.thm12017-02-06 12:46 948  
[ ]jgraph_3__5421_67.min1.thm12017-02-06 12:46 4.1K 
[ ]jgraph_3__5429_19.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5451_24.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5463_15.min1.thm12017-02-06 12:46 5.0K 
[ ]jgraph_3__5504_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5509_63.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__5535_24.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5543_20.min1.thm12017-02-06 12:46 5.6K 
[ ]jgraph_3__5574_58.min1.thm12017-02-06 12:46 3.2K 
[ ]jgraph_3__5580_19.min1.thm12017-02-06 12:46 6.2K 
[ ]jgraph_3__5580_19.min1.thm1.tptp2017-02-06 16:47 6.2K 
[ ]jgraph_3__5583_24.min1.thm12017-02-06 12:46 697  
[ ]jgraph_3__5586_4.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__5608_20.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__5608_20.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]jgraph_3__5610_22.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__5617_25.min1.thm12017-02-06 12:46 703  
[ ]jgraph_3__5620_10.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5638_16.min1.thm12017-02-06 12:46 5.6K 
[ ]jgraph_3__5649_16.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__5666_20.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__5691_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__5693_20.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__5700_20.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_3__5700_20.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]jgraph_3__5701_32.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_3__5704_25.min1.thm12017-02-06 12:46 704  
[ ]jgraph_3__5707_9.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_3__5729_22.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_3__5731_20.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__5739_13.min1.thm12017-02-06 12:46 5.0K 
[ ]jgraph_3__5751_15.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__5768_6.min1.thm12017-02-06 12:46 5.0K 
[ ]jgraph_3__5779_6.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__5792_25.min1.thm12017-02-06 12:46 704  
[ ]jgraph_3__5796_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__5799_9.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_3__5826_20.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_3__5832_13.min1.thm12017-02-06 12:46 5.6K 
[ ]jgraph_3__5843_16.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_3__5860_30.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__5864_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__5867_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__5871_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_3__5872_30.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_3__5875_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_3__5876_26.min1.thm12017-02-06 12:46 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80