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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jgraph_1__68_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__73_11.min1.thm12017-02-06 12:47 186  
[ ]jgraph_1__81_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_1__82_19.min1.thm12017-02-06 12:44 2.0K 
[ ]jgraph_1__91_11.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__95_50.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__117_19.min1.thm12017-02-06 12:44 2.5K 
[ ]jgraph_1__119_23.min1.thm12017-02-06 12:44 2.9K 
[ ]jgraph_1__122_21.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__134_13.min1.thm12017-02-06 12:44 230  
[ ]jgraph_1__143_24.min1.thm12017-02-06 12:44 2.4K 
[ ]jgraph_1__144_29.min1.thm12017-02-06 12:44 2.3K 
[ ]jgraph_1__145_28.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_1__147_29.min1.thm12017-02-06 12:47 2.1K 
[ ]jgraph_1__148_34.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_1__151_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__155_24.min1.thm12017-02-06 12:44 1.9K 
[ ]jgraph_1__159_19.min1.thm12017-02-06 12:47 883  
[ ]jgraph_1__160_20.min1.thm12017-02-06 12:44 2.3K 
[ ]jgraph_1__161_21.min1.thm12017-02-06 12:47 1.2K 
[ ]jgraph_1__190_21.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__191_39.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_1__192_28.min1.thm12017-02-06 12:47 1.4K 
[ ]jgraph_1__194_11.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_1__195_28.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__196_22.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_1__197_23.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_1__202_17.min1.thm12017-02-06 12:44 2.3K 
[ ]jgraph_1__203_12.min1.thm12017-02-06 12:44 1.1K 
[ ]jgraph_1__206_24.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__209_20.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__219_14.min1.thm12017-02-06 12:47 615  
[ ]jgraph_1__231_28.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__237_17.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_1__238_10.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__241_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__244_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__254_13.min1.thm12017-02-06 12:46 228  
[ ]jgraph_1__265_28.min1.thm12017-02-06 12:47 1.3K 
[ ]jgraph_1__276_16.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__277_32.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__282_26.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_1__285_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__288_23.min1.thm12017-02-06 12:47 1.3K 
[ ]jgraph_1__296_39.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__297_20.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__300_30.min1.thm12017-02-06 12:46 909  
[ ]jgraph_1__305_24.min1.thm12017-02-06 12:47 2.2K 
[ ]jgraph_1__309_19.min1.thm12017-02-06 12:44 881  
[ ]jgraph_1__310_24.min1.thm12017-02-06 12:47 2.0K 
[ ]jgraph_1__311_28.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__312_23.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__324_29.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__325_23.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_1__332_20.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__337_20.min1.thm12017-02-06 12:46 3.2K 
[ ]jgraph_1__338_13.min1.thm12017-02-06 12:44 1.1K 
[ ]jgraph_1__339_19.min1.thm12017-02-06 12:44 2.9K 
[ ]jgraph_1__342_26.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__343_17.min1.thm12017-02-06 12:47 2.8K 
[ ]jgraph_1__346_24.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__353_28.min1.thm12017-02-06 12:47 1.3K 
[ ]jgraph_1__363_14.min1.thm12017-02-06 12:46 937  
[ ]jgraph_1__383_12.min1.thm12017-02-06 12:44 1.1K 
[ ]jgraph_1__384_28.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__389_22.min1.thm12017-02-06 12:47 2.8K 
[ ]jgraph_1__393_24.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__396_20.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__400_25.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__403_17.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__429_35.min1.thm12017-02-06 12:44 1.0K 
[ ]jgraph_1__430_31.min1.thm12017-02-06 12:47 1.2K 
[ ]jgraph_1__431_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__441_39.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__442_34.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_1__443_23.min1.thm12017-02-06 12:44 1.8K 
[ ]jgraph_1__445_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__446_23.min1.thm12017-02-06 12:44 1.7K 
[ ]jgraph_1__447_34.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_1__449_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_1__467_14.min1.thm12017-02-06 12:47 386  
[ ]jgraph_1__467_14.min1.thm1.tptp2017-02-06 16:47 305  
[ ]jgraph_1__475_28.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__500_37.min1.thm12017-02-06 12:47 1.3K 
[ ]jgraph_1__501_29.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__505_14.min1.thm12017-02-06 12:44 2.2K 
[ ]jgraph_1__506_23.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_1__507_25.min1.thm12017-02-06 12:44 2.9K 
[ ]jgraph_1__511_20.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_1__518_24.min1.thm12017-02-06 12:44 1.9K 
[ ]jgraph_1__522_37.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__523_29.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__526_20.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_1__528_20.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__529_21.min1.thm12017-02-06 12:44 2.6K 
[ ]jgraph_1__534_18.min1.thm12017-02-06 12:44 2.3K 
[ ]jgraph_1__538_10.min1.thm12017-02-06 12:44 1.1K 
[ ]jgraph_1__541_24.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__544_20.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__555_17.min1.thm12017-02-06 12:44 3.2K 
[ ]jgraph_1__566_32.min1.thm12017-02-06 12:47 1.2K 
[ ]jgraph_1__574_17.min1.thm12017-02-06 12:47 952  
[ ]jgraph_1__581_18.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_1__592_38.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__593_22.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__595_13.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_1__596_17.min1.thm12017-02-06 12:44 1.8K 
[ ]jgraph_1__597_38.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__598_22.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__600_13.min1.thm12017-02-06 12:47 1.8K 
[ ]jgraph_1__601_17.min1.thm12017-02-06 12:44 1.8K 
[ ]jgraph_1__602_11.min1.thm12017-02-06 12:47 227  
[ ]jgraph_1__606_13.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__652_26.min1.thm12017-02-06 12:46 491  
[ ]jgraph_1__653_13.min1.thm12017-02-06 12:47 215  
[ ]jgraph_1__657_27.min1.thm12017-02-06 12:44 2.4K 
[ ]jgraph_1__659_17.min1.thm12017-02-06 12:44 371  
[ ]jgraph_1__663_20.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__665_21.min1.thm12017-02-06 12:47 325  
[ ]jgraph_1__674_38.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_1__679_43.min1.thm12017-02-06 12:46 853  
[ ]jgraph_1__684_24.min1.thm12017-02-06 12:46 420  
[ ]jgraph_1__688_47.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__693_47.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__696_43.min1.thm12017-02-06 12:47 791  
[ ]jgraph_1__704_17.min1.thm12017-02-06 12:46 215  
[ ]jgraph_1__707_22.min1.thm12017-02-06 12:44 1.8K 
[ ]jgraph_1__709_43.min1.thm12017-02-06 12:47 1.6K 
[ ]jgraph_1__714_43.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__720_17.min1.thm12017-02-06 12:46 720  
[ ]jgraph_1__733_11.min1.thm12017-02-06 12:44 229  
[ ]jgraph_1__737_44.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_1__745_15.min1.thm12017-02-06 12:46 221  
[ ]jgraph_1__748_14.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_1__750_15.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__752_16.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__753_18.min1.thm12017-02-06 12:44 2.4K 
[ ]jgraph_1__754_16.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__759_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_1__771_28.min1.thm12017-02-06 12:44 972  
[ ]jgraph_1__787_28.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_1__822_20.min1.thm12017-02-06 12:47 432  
[ ]jgraph_1__827_40.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__842_15.min1.thm12017-02-06 12:47 221  
[ ]jgraph_1__845_23.min1.thm12017-02-06 12:44 2.5K 
[ ]jgraph_1__848_40.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__854_40.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__873_22.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__874_11.min1.thm12017-02-06 12:46 261  
[ ]jgraph_1__880_14.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_1__883_44.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_1__884_16.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_1__902_24.min1.thm12017-02-06 12:46 940  
[ ]jgraph_1__924_20.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_1__945_19.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__954_15.min1.thm12017-02-06 12:44 385  
[ ]jgraph_1__957_21.min1.thm12017-02-06 12:47 950  
[ ]jgraph_1__958_25.min1.thm12017-02-06 12:44 2.2K 
[ ]jgraph_1__961_20.min1.thm12017-02-06 12:47 2.1K 
[ ]jgraph_1__962_27.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_1__972_22.min1.thm12017-02-06 12:46 432  
[ ]jgraph_1__976_45.min1.thm12017-02-06 12:47 1.6K 
[ ]jgraph_1__981_45.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__987_19.min1.thm12017-02-06 12:47 728  
[ ]jgraph_1__1010_12.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__1011_11.min1.thm12017-02-06 12:44 257  
[ ]jgraph_1__1015_15.min1.thm12017-02-06 12:47 193  
[ ]jgraph_1__1024_46.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__1028_28.min1.thm12017-02-06 12:44 1.0K 
[ ]jgraph_1__1029_23.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_1__1030_37.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__1033_55.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_1__1036_25.min1.thm12017-02-06 12:44 1.1K 
[ ]jgraph_1__1041_35.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_1__1042_33.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_1__1046_16.min1.thm12017-02-06 12:47 860  
[ ]jgraph_1__1057_15.min1.thm12017-02-06 12:44 227  
[ ]jgraph_1__1064_53.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_1__1065_51.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__1071_23.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_1__1085_33.min1.thm12017-02-06 12:44 1.0K 
[ ]jgraph_1__1089_16.min1.thm12017-02-06 12:46 894  
[ ]jgraph_1__1110_12.min1.thm12017-02-06 12:46 836  
[ ]jgraph_1__1113_14.min1.thm12017-02-06 12:44 2.2K 
[ ]jgraph_1__1114_13.min1.thm12017-02-06 12:44 2.0K 
[ ]jgraph_1__1123_46.min1.thm12017-02-06 12:47 806  
[ ]jgraph_1__1123_46.min1.thm1.tptp2017-02-06 16:47 728  
[ ]jgraph_1__1125_13.min1.thm12017-02-06 12:46 183  
[ ]jgraph_1__1128_21.min1.thm12017-02-06 12:44 1.7K 
[ ]jgraph_1__1133_17.min1.thm12017-02-06 12:46 267  
[ ]jgraph_1__1141_16.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__1142_24.min1.thm12017-02-06 12:44 1.1K 
[ ]jgraph_1__1144_23.min1.thm12017-02-06 12:47 1.7K 
[ ]jgraph_1__1145_22.min1.thm12017-02-06 12:44 2.3K 
[ ]jgraph_1__1153_53.min1.thm12017-02-06 12:44 828  
[ ]jgraph_1__1153_53.min1.thm1.tptp2017-02-06 16:47 750  
[ ]jgraph_1__1155_62.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__1162_26.min1.thm12017-02-06 12:46 554  
[ ]jgraph_1__1162_26.min1.thm1.tptp2017-02-06 16:47 486  
[ ]jgraph_1__1167_27.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__1179_28.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_1__1189_22.min1.thm12017-02-06 12:44 722  
[ ]jgraph_1__1192_18.min1.thm12017-02-06 12:47 1.1K 
[ ]jgraph_1__1214_15.min1.thm12017-02-06 12:44 233  
[ ]jgraph_1__1218_22.min1.thm12017-02-06 12:44 2.4K 
[ ]jgraph_1__1221_52.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_1__1234_53.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_1__1235_32.min1.thm12017-02-06 12:44 1.1K 
[ ]jgraph_1__1237_25.min1.thm12017-02-06 12:44 2.2K 
[ ]jgraph_1__1238_25.min1.thm12017-02-06 12:44 2.2K 
[ ]jgraph_1__1239_21.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_1__1240_21.min1.thm12017-02-06 12:44 2.2K 
[ ]jgraph_1__1245_30.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__1259_26.min1.thm12017-02-06 12:46 550  
[ ]jgraph_1__1268_29.min1.thm12017-02-06 12:46 348  
[ ]jgraph_1__1275_25.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__1276_70.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__1281_19.min1.thm12017-02-06 12:44 518  
[ ]jgraph_1__1281_19.min1.thm1.tptp2017-02-06 16:47 437  
[ ]jgraph_1__1303_10.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__1304_26.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_1__1306_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__1307_14.min1.thm12017-02-06 12:44 2.3K 
[ ]jgraph_1__1309_22.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__1312_42.min1.thm12017-02-06 12:44 2.5K 
[ ]jgraph_1__1324_11.min1.thm12017-02-06 12:46 229  
[ ]jgraph_1__1334_17.min1.thm12017-02-06 12:47 2.2K 
[ ]jgraph_1__1344_23.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__1345_15.min1.thm12017-02-06 12:44 2.0K 
[ ]jgraph_1__1410_34.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__1433_19.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_1__1445_20.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__1462_29.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_1__1466_11.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_1__1472_19.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__1473_12.min1.thm12017-02-06 12:44 2.5K 
[ ]jgraph_1__1476_29.min1.thm12017-02-06 12:44 2.4K 
[ ]jgraph_1__1483_33.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__1488_29.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_1__1499_10.min1.thm12017-02-06 12:44 1.1K 
[ ]jgraph_1__1518_37.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_1__1519_21.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__1521_11.min1.thm12017-02-06 12:44 1.8K 
[ ]jgraph_1__1522_15.min1.thm12017-02-06 12:44 1.8K 
[ ]jgraph_1__1523_11.min1.thm12017-02-06 12:44 249  
[ ]jgraph_1__1536_19.min1.thm12017-02-06 12:47 1.6K 
[ ]jgraph_1__1541_15.min1.thm12017-02-06 12:44 2.1K 
[ ]jgraph_1__1543_15.min1.thm12017-02-06 12:46 209  
[ ]jgraph_1__1547_19.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_1__1548_18.min1.thm12017-02-06 12:47 1.3K 
[ ]jgraph_1__1549_22.min1.thm12017-02-06 12:44 2.1K 
[ ]jgraph_1__1550_33.min1.thm12017-02-06 12:44 1.1K 
[ ]jgraph_1__1558_17.min1.thm12017-02-06 12:47 1.1K 
[ ]jgraph_1__1565_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__1566_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__1567_23.min1.thm12017-02-06 12:47 1.6K 
[ ]jgraph_1__1569_23.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__1572_16.min1.thm12017-02-06 12:46 504  
[ ]jgraph_1__1587_58.min1.thm12017-02-06 12:46 439  
[ ]jgraph_1__1587_58.min1.thm1.tptp2017-02-06 16:47 384  
[ ]jgraph_1__1590_24.min1.thm12017-02-06 12:46 809  
[ ]jgraph_1__1599_58.min1.thm12017-02-06 12:47 563  
[ ]jgraph_1__1614_19.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__1615_29.min1.thm12017-02-06 12:47 2.4K 
[ ]jgraph_1__1623_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__1624_19.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_1__1632_15.min1.thm12017-02-06 12:46 381  
[ ]jgraph_1__1636_35.min1.thm12017-02-06 12:47 1.6K 
[ ]jgraph_1__1641_29.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_1__1644_13.min1.thm12017-02-06 12:47 1.2K 
[ ]jgraph_1__1647_29.min1.thm12017-02-06 12:44 2.4K 
[ ]jgraph_1__1656_12.min1.thm12017-02-06 12:44 1.1K 
[ ]jgraph_1__1678_32.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_1__1679_13.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__1680_17.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_1__1683_34.min1.thm12017-02-06 12:47 1.2K 
[ ]jgraph_1__1684_20.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__1717_24.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_1__1725_24.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_1__1733_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__1734_12.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__1735_26.min1.thm12017-02-06 12:47 2.8K 
[ ]jgraph_1__1736_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__1742_33.min1.thm12017-02-06 12:46 852  
[ ]jgraph_1__1743_17.min1.thm12017-02-06 12:44 2.0K 
[ ]jgraph_1__1744_27.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_1__1746_29.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__1747_27.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__1749_34.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__1750_33.min1.thm12017-02-06 12:44 852  
[ ]jgraph_1__1751_17.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_1__1752_27.min1.thm12017-02-06 12:44 1.9K 
[ ]jgraph_1__1754_29.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__1758_27.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__1760_34.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__1768_32.min1.thm12017-02-06 12:46 853  
[ ]jgraph_1__1771_19.min1.thm12017-02-06 12:47 1.2K 
[ ]jgraph_1__1772_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__1776_39.min1.thm12017-02-06 12:47 1.0K 
[ ]jgraph_1__1777_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__1779_19.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__1780_50.min1.thm12017-02-06 12:47 1.8K 
[ ]jgraph_1__1783_29.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__1800_33.min1.thm12017-02-06 12:46 852  
[ ]jgraph_1__1801_17.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_1__1802_27.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_1__1804_29.min1.thm12017-02-06 12:47 1.4K 
[ ]jgraph_1__1805_27.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__1807_34.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__1808_33.min1.thm12017-02-06 12:46 852  
[ ]jgraph_1__1809_17.min1.thm12017-02-06 12:44 2.0K 
[ ]jgraph_1__1810_27.min1.thm12017-02-06 12:47 1.9K 
[ ]jgraph_1__1812_29.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__1816_27.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__1818_34.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__1826_32.min1.thm12017-02-06 12:46 853  
[ ]jgraph_1__1829_19.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__1830_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__1834_39.min1.thm12017-02-06 12:44 1.0K 
[ ]jgraph_1__1835_17.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__1837_19.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__1838_50.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_1__1841_29.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__1858_33.min1.thm12017-02-06 12:46 852  
[ ]jgraph_1__1859_17.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_1__1860_27.min1.thm12017-02-06 12:44 1.9K 
[ ]jgraph_1__1862_29.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__1863_17.min1.thm12017-02-06 12:44 2.0K 
[ ]jgraph_1__1867_33.min1.thm12017-02-06 12:47 852  
[ ]jgraph_1__1868_42.min1.thm12017-02-06 12:47 1.8K 
[ ]jgraph_1__1870_34.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__1874_22.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_1__1876_29.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__1877_27.min1.thm12017-02-06 12:47 1.6K 
[ ]jgraph_1__1879_34.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__1886_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__1887_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__1891_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_1__1892_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__1894_19.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__1895_22.min1.thm12017-02-06 12:47 1.3K 
[ ]jgraph_1__1897_29.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__1914_33.min1.thm12017-02-06 12:47 852  
[ ]jgraph_1__1919_17.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_1__1920_32.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__1922_34.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__1923_17.min1.thm12017-02-06 12:44 2.0K 
[ ]jgraph_1__1930_33.min1.thm12017-02-06 12:46 853  
[ ]jgraph_1__1935_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__1936_26.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__1940_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_1__1941_17.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__1943_20.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__1944_27.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__1946_35.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__1947_22.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__1949_30.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__1970_19.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__1971_12.min1.thm12017-02-06 12:47 1.3K 
[ ]jgraph_1__1972_26.min1.thm12017-02-06 12:44 2.8K 
[ ]jgraph_1__1973_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__1976_28.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__1992_11.min1.thm12017-02-06 12:44 267  
[ ]jgraph_1__1995_30.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__1996_23.min1.thm12017-02-06 12:47 1.2K 
[ ]jgraph_1__2002_26.min1.thm12017-02-06 12:47 1.3K 
[ ]jgraph_1__2004_30.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__2028_40.min1.thm12017-02-06 12:46 736  
[ ]jgraph_1__2042_31.min1.thm12017-02-06 12:46 534  
[ ]jgraph_1__2042_31.min1.thm1.tptp2017-02-06 16:47 457  
[ ]jgraph_1__2050_31.min1.thm12017-02-06 12:44 534  
[ ]jgraph_1__2050_31.min1.thm1.tptp2017-02-06 16:47 457  
[ ]jgraph_1__2060_46.min1.thm12017-02-06 12:46 924  
[ ]jgraph_1__2068_34.min1.thm12017-02-06 12:44 534  
[ ]jgraph_1__2068_34.min1.thm1.tptp2017-02-06 16:47 457  
[ ]jgraph_1__2077_46.min1.thm12017-02-06 12:46 924  
[ ]jgraph_1__2086_14.min1.thm12017-02-06 12:44 720  
[ ]jgraph_1__2098_13.min1.thm12017-02-06 12:46 911  
[ ]jgraph_1__2100_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__2103_21.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__2107_20.min1.thm12017-02-06 12:47 1.1K 
[ ]jgraph_1__2118_21.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__2121_20.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__2124_11.min1.thm12017-02-06 12:46 913  
[ ]jgraph_1__2140_17.min1.thm12017-02-06 12:44 966  
[ ]jgraph_1__2159_54.min1.thm12017-02-06 12:46 608  
[ ]jgraph_1__2160_36.min1.thm12017-02-06 12:47 665  
[ ]jgraph_1__2161_37.min1.thm12017-02-06 12:47 538  
[ ]jgraph_1__2161_37.min1.thm1.tptp2017-02-06 16:47 460  
[ ]jgraph_1__2171_39.min1.thm12017-02-06 12:44 536  
[ ]jgraph_1__2171_39.min1.thm1.tptp2017-02-06 16:47 458  
[ ]jgraph_1__2175_41.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__2211_16.min1.thm12017-02-06 12:46 392  
[ ]jgraph_1__2211_16.min1.thm1.tptp2017-02-06 16:47 323  
[ ]jgraph_1__2227_25.min1.thm12017-02-06 12:44 888  
[ ]jgraph_1__2229_21.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__2234_27.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_1__2255_20.min1.thm12017-02-06 12:44 442  
[ ]jgraph_1__2273_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__2276_30.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_1__2296_13.min1.thm12017-02-06 12:44 762  
[ ]jgraph_1__2297_39.min1.thm12017-02-06 12:44 647  
[ ]jgraph_1__2298_21.min1.thm12017-02-06 12:47 879  
[ ]jgraph_1__2300_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__2301_16.min1.thm12017-02-06 12:44 622  
[ ]jgraph_1__2307_39.min1.thm12017-02-06 12:44 476  
[ ]jgraph_1__2316_39.min1.thm12017-02-06 12:46 476  
[ ]jgraph_1__2319_21.min1.thm12017-02-06 12:47 2.2K 
[ ]jgraph_1__2322_54.min1.thm12017-02-06 12:46 659  
[ ]jgraph_1__2331_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__2334_13.min1.thm12017-02-06 12:44 836  
[ ]jgraph_1__2336_25.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_1__2337_31.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_1__2339_16.min1.thm12017-02-06 12:46 392  
[ ]jgraph_1__2339_16.min1.thm1.tptp2017-02-06 16:47 323  
[ ]jgraph_1__2345_39.min1.thm12017-02-06 12:44 476  
[ ]jgraph_1__2346_15.min1.thm12017-02-06 12:44 873  
[ ]jgraph_1__2358_39.min1.thm12017-02-06 12:46 476  
[ ]jgraph_1__2376_29.min1.thm12017-02-06 12:47 852  
[ ]jgraph_1__2382_23.min1.thm12017-02-06 12:47 971  
[ ]jgraph_1__2383_22.min1.thm12017-02-06 12:44 971  
[ ]jgraph_1__2385_17.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__2386_12.min1.thm12017-02-06 12:47 1.9K 
[ ]jgraph_1__2390_16.min1.thm12017-02-06 12:46 622  
[ ]jgraph_1__2396_39.min1.thm12017-02-06 12:47 476  
[ ]jgraph_1__2399_31.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_1__2404_30.min1.thm12017-02-06 12:44 2.4K 
[ ]jgraph_1__2406_31.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__2415_39.min1.thm12017-02-06 12:46 476  
[ ]jgraph_1__2423_30.min1.thm12017-02-06 12:44 2.4K 
[ ]jgraph_1__2425_31.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__2436_29.min1.thm12017-02-06 12:44 852  
[ ]jgraph_1__2442_23.min1.thm12017-02-06 12:44 971  
[ ]jgraph_1__2443_22.min1.thm12017-02-06 12:47 971  
[ ]jgraph_1__2445_17.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__2446_12.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_1__2450_16.min1.thm12017-02-06 12:44 622  
[ ]jgraph_1__2456_39.min1.thm12017-02-06 12:47 476  
[ ]jgraph_1__2459_27.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_1__2465_28.min1.thm12017-02-06 12:44 867  
[ ]jgraph_1__2468_29.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__2477_39.min1.thm12017-02-06 12:44 476  
[ ]jgraph_1__2485_30.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_1__2487_31.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__2498_18.min1.thm12017-02-06 12:44 1.1K 
[ ]jgraph_1__2498_25.min1.thm12017-02-06 12:46 842  
[ ]jgraph_1__2500_33.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_1__2502_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__2512_23.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__2516_13.min1.thm12017-02-06 12:44 1.0K 
[ ]jgraph_1__2518_33.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_1__2519_16.min1.thm12017-02-06 12:46 622  
[ ]jgraph_1__2525_39.min1.thm12017-02-06 12:44 476  
[ ]jgraph_1__2528_31.min1.thm12017-02-06 12:44 2.6K 
[ ]jgraph_1__2529_15.min1.thm12017-02-06 12:44 884  
[ ]jgraph_1__2536_11.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__2539_50.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_1__2546_21.min1.thm12017-02-06 12:44 2.4K 
[ ]jgraph_1__2547_51.min1.thm12017-02-06 12:44 3.2K 
[ ]jgraph_1__2551_48.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_1__2553_28.min1.thm12017-02-06 12:44 867  
[ ]jgraph_1__2562_39.min1.thm12017-02-06 12:46 476  
[ ]jgraph_1__2571_35.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_1__2573_11.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__2584_22.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_1__2588_59.min1.thm12017-02-06 12:44 2.1K 
[ ]jgraph_1__2598_24.min1.thm12017-02-06 12:46 947  
[ ]jgraph_1__2600_18.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__2601_13.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__2604_16.min1.thm12017-02-06 12:46 622  
[ ]jgraph_1__2610_39.min1.thm12017-02-06 12:46 476  
[ ]jgraph_1__2613_23.min1.thm12017-02-06 12:44 865  
[ ]jgraph_1__2616_27.min1.thm12017-02-06 12:44 2.8K 
[ ]jgraph_1__2617_31.min1.thm12017-02-06 12:44 2.6K 
[ ]jgraph_1__2618_64.min1.thm12017-02-06 12:44 1.9K 
[ ]jgraph_1__2620_47.min1.thm12017-02-06 12:44 2.3K 
[ ]jgraph_1__2621_77.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_1__2628_43.min1.thm12017-02-06 12:47 2.1K 
[ ]jgraph_1__2638_21.min1.thm12017-02-06 12:47 891  
[ ]jgraph_1__2645_39.min1.thm12017-02-06 12:47 476  
[ ]jgraph_1__2649_44.min1.thm12017-02-06 12:47 1.9K 
[ ]jgraph_1__2650_14.min1.thm12017-02-06 12:46 470  
[ ]jgraph_1__2650_14.min1.thm1.tptp2017-02-06 16:47 393  
[ ]jgraph_1__2657_15.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__2677_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__2677_24.min1.thm12017-02-06 12:46 842  
[ ]jgraph_1__2697_16.min1.thm12017-02-06 12:44 392  
[ ]jgraph_1__2697_16.min1.thm1.tptp2017-02-06 16:47 323  
[ ]jgraph_1__2713_25.min1.thm12017-02-06 12:46 888  
[ ]jgraph_1__2715_21.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__2720_27.min1.thm12017-02-06 12:44 1.9K 
[ ]jgraph_1__2741_20.min1.thm12017-02-06 12:44 442  
[ ]jgraph_1__2759_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__2762_30.min1.thm12017-02-06 12:44 2.7K 
[ ]jgraph_1__2782_13.min1.thm12017-02-06 12:44 762  
[ ]jgraph_1__2783_39.min1.thm12017-02-06 12:46 647  
[ ]jgraph_1__2784_21.min1.thm12017-02-06 12:47 879  
[ ]jgraph_1__2786_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__2787_16.min1.thm12017-02-06 12:46 622  
[ ]jgraph_1__2793_39.min1.thm12017-02-06 12:46 476  
[ ]jgraph_1__2802_39.min1.thm12017-02-06 12:46 476  
[ ]jgraph_1__2805_21.min1.thm12017-02-06 12:44 2.2K 
[ ]jgraph_1__2808_54.min1.thm12017-02-06 12:44 659  
[ ]jgraph_1__2817_12.min1.thm12017-02-06 12:44 836  
[ ]jgraph_1__2820_15.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__2823_16.min1.thm12017-02-06 12:44 392  
[ ]jgraph_1__2823_16.min1.thm1.tptp2017-02-06 16:47 323  
[ ]jgraph_1__2829_39.min1.thm12017-02-06 12:46 476  
[ ]jgraph_1__2830_15.min1.thm12017-02-06 12:46 873  
[ ]jgraph_1__2842_39.min1.thm12017-02-06 12:44 476  
[ ]jgraph_1__2860_29.min1.thm12017-02-06 12:44 852  
[ ]jgraph_1__2866_23.min1.thm12017-02-06 12:46 971  
[ ]jgraph_1__2867_22.min1.thm12017-02-06 12:46 971  
[ ]jgraph_1__2869_17.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__2870_12.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_1__2874_16.min1.thm12017-02-06 12:44 622  
[ ]jgraph_1__2880_39.min1.thm12017-02-06 12:47 476  
[ ]jgraph_1__2883_31.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_1__2888_30.min1.thm12017-02-06 12:44 2.4K 
[ ]jgraph_1__2890_31.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__2899_39.min1.thm12017-02-06 12:46 476  
[ ]jgraph_1__2907_30.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_1__2909_31.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__2918_33.min1.thm12017-02-06 12:44 3.1K 
[ ]jgraph_1__2919_18.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__2931_23.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__2932_13.min1.thm12017-02-06 12:47 1.0K 
[ ]jgraph_1__2934_33.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_1__2938_16.min1.thm12017-02-06 12:46 622  
[ ]jgraph_1__2944_39.min1.thm12017-02-06 12:46 476  
[ ]jgraph_1__2947_31.min1.thm12017-02-06 12:47 2.5K 
[ ]jgraph_1__2948_15.min1.thm12017-02-06 12:47 884  
[ ]jgraph_1__2953_11.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__2957_72.min1.thm12017-02-06 12:47 2.9K 
[ ]jgraph_1__2961_47.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_1__2968_28.min1.thm12017-02-06 12:46 867  
[ ]jgraph_1__2977_39.min1.thm12017-02-06 12:46 476  
[ ]jgraph_1__2985_35.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_1__2987_11.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__2992_8.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_1__2997_54.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_1__3013_12.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_1__3016_16.min1.thm12017-02-06 12:44 622  
[ ]jgraph_1__3022_39.min1.thm12017-02-06 12:46 476  
[ ]jgraph_1__3025_23.min1.thm12017-02-06 12:46 865  
[ ]jgraph_1__3028_27.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_1__3029_62.min1.thm12017-02-06 12:47 1.9K 
[ ]jgraph_1__3032_25.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_1__3033_42.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_1__3035_10.min1.thm12017-02-06 12:44 2.8K 
[ ]jgraph_1__3040_43.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_1__3050_21.min1.thm12017-02-06 12:46 891  
[ ]jgraph_1__3057_39.min1.thm12017-02-06 12:46 476  
[ ]jgraph_1__3061_44.min1.thm12017-02-06 12:47 1.8K 
[ ]jgraph_1__3062_14.min1.thm12017-02-06 12:47 470  
[ ]jgraph_1__3062_14.min1.thm1.tptp2017-02-06 16:47 393  
[ ]jgraph_1__3069_15.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__3078_30.min1.thm12017-02-06 12:47 852  
[ ]jgraph_1__3084_24.min1.thm12017-02-06 12:46 971  
[ ]jgraph_1__3086_18.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__3087_13.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_1__3091_16.min1.thm12017-02-06 12:46 622  
[ ]jgraph_1__3097_39.min1.thm12017-02-06 12:46 476  
[ ]jgraph_1__3100_27.min1.thm12017-02-06 12:44 2.6K 
[ ]jgraph_1__3106_28.min1.thm12017-02-06 12:47 867  
[ ]jgraph_1__3109_29.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__3118_39.min1.thm12017-02-06 12:44 476  
[ ]jgraph_1__3126_30.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_1__3128_31.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__3145_30.min1.thm12017-02-06 12:46 850  
[ ]jgraph_1__3148_28.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__3150_31.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__3151_19.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_1__3152_30.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__3161_30.min1.thm12017-02-06 12:44 850  
[ ]jgraph_1__3164_28.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__3166_31.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__3167_19.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_1__3168_30.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__3179_28.min1.thm12017-02-06 12:46 850  
[ ]jgraph_1__3182_28.min1.thm12017-02-06 12:46 850  
[ ]jgraph_1__3210_15.min1.thm12017-02-06 12:47 2.4K 
[ ]jgraph_1__3211_60.min1.thm12017-02-06 12:44 1.0K 
[ ]jgraph_1__3213_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__3215_21.min1.thm12017-02-06 12:44 1.9K 
[ ]jgraph_1__3216_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__3218_21.min1.thm12017-02-06 12:44 1.9K 
[ ]jgraph_1__3223_16.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_1__3261_54.min1.thm12017-02-06 12:44 640  
[ ]jgraph_1__3263_26.min1.thm12017-02-06 12:46 456  
[ ]jgraph_1__3270_15.min1.thm12017-02-06 12:46 769  
[ ]jgraph_1__3271_39.min1.thm12017-02-06 12:44 652  
[ ]jgraph_1__3272_26.min1.thm12017-02-06 12:44 792  
[ ]jgraph_1__3273_22.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__3275_20.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__3277_28.min1.thm12017-02-06 12:44 458  
[ ]jgraph_1__3278_34.min1.thm12017-02-06 12:44 2.3K 
[ ]jgraph_1__3279_12.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__3280_21.min1.thm12017-02-06 12:46 911  
[ ]jgraph_1__3282_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__3284_56.min1.thm12017-02-06 12:46 665  
[ ]jgraph_1__3290_43.min1.thm12017-02-06 12:47 341  
[ ]jgraph_1__3291_44.min1.thm12017-02-06 12:46 827  
[ ]jgraph_1__3296_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__3301_30.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__3309_20.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__3311_28.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__3314_47.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__3315_21.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__3316_51.min1.thm12017-02-06 12:46 565  
[ ]jgraph_1__3317_34.min1.thm12017-02-06 12:44 2.3K 
[ ]jgraph_1__3318_12.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__3326_54.min1.thm12017-02-06 12:44 762  
[ ]jgraph_1__3327_50.min1.thm12017-02-06 12:47 1.4K 
[ ]jgraph_1__3328_50.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__3331_50.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__3332_50.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__3345_16.min1.thm12017-02-06 12:47 1.9K 
[ ]jgraph_1__3346_51.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__3349_40.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__3350_46.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__3352_44.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__3356_28.min1.thm12017-02-06 12:46 458  
[ ]jgraph_1__3358_28.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__3361_45.min1.thm12017-02-06 12:44 2.2K 
[ ]jgraph_1__3364_22.min1.thm12017-02-06 12:44 838  
[ ]jgraph_1__3366_45.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__3367_71.min1.thm12017-02-06 12:47 1.2K 
[ ]jgraph_1__3369_12.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__3383_20.min1.thm12017-02-06 12:44 1.8K 
[ ]jgraph_1__3393_34.min1.thm12017-02-06 12:47 1.9K 
[ ]jgraph_1__3399_25.min1.thm12017-02-06 12:44 907  
[ ]jgraph_1__3401_22.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__3402_21.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__3403_22.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__3405_20.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__3407_28.min1.thm12017-02-06 12:44 458  
[ ]jgraph_1__3411_25.min1.thm12017-02-06 12:44 950  
[ ]jgraph_1__3414_33.min1.thm12017-02-06 12:44 2.3K 
[ ]jgraph_1__3415_12.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__3416_19.min1.thm12017-02-06 12:47 4.4K 
[ ]jgraph_1__3422_69.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_1__3425_27.min1.thm12017-02-06 12:47 885  
[ ]jgraph_1__3427_19.min1.thm12017-02-06 12:46 956  
[ ]jgraph_1__3428_38.min1.thm12017-02-06 12:46 885  
[ ]jgraph_1__3429_19.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__3437_34.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_1__3438_12.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__3441_25.min1.thm12017-02-06 12:44 907  
[ ]jgraph_1__3443_22.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__3444_22.min1.thm12017-02-06 12:46 956  
[ ]jgraph_1__3445_22.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__3447_20.min1.thm12017-02-06 12:47 1.5K 
[ ]jgraph_1__3449_28.min1.thm12017-02-06 12:44 458  
[ ]jgraph_1__3451_19.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_1__3459_27.min1.thm12017-02-06 12:44 885  
[ ]jgraph_1__3461_19.min1.thm12017-02-06 12:46 956  
[ ]jgraph_1__3462_38.min1.thm12017-02-06 12:44 885  
[ ]jgraph_1__3463_19.min1.thm12017-02-06 12:47 1.0K 
[ ]jgraph_1__3485_56.min1.thm12017-02-06 12:46 640  
[ ]jgraph_1__3492_16.min1.thm12017-02-06 12:44 769  
[ ]jgraph_1__3493_39.min1.thm12017-02-06 12:46 652  
[ ]jgraph_1__3494_26.min1.thm12017-02-06 12:44 792  
[ ]jgraph_1__3495_23.min1.thm12017-02-06 12:47 1.4K 
[ ]jgraph_1__3497_23.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__3499_28.min1.thm12017-02-06 12:46 458  
[ ]jgraph_1__3500_35.min1.thm12017-02-06 12:44 2.2K 
[ ]jgraph_1__3501_12.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__3502_22.min1.thm12017-02-06 12:46 911  
[ ]jgraph_1__3504_19.min1.thm12017-02-06 12:47 1.1K 
[ ]jgraph_1__3506_56.min1.thm12017-02-06 12:47 665  
[ ]jgraph_1__3507_35.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_1__3508_10.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__3511_43.min1.thm12017-02-06 12:44 342  
[ ]jgraph_1__3512_44.min1.thm12017-02-06 12:44 828  
[ ]jgraph_1__3517_22.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__3518_51.min1.thm12017-02-06 12:44 571  
[ ]jgraph_1__3519_35.min1.thm12017-02-06 12:47 2.2K 
[ ]jgraph_1__3520_12.min1.thm12017-02-06 12:44 1.3K 
[ ]jgraph_1__3528_54.min1.thm12017-02-06 12:44 773  
[ ]jgraph_1__3529_50.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__3530_50.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__3533_50.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__3534_50.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__3547_17.min1.thm12017-02-06 12:47 1.9K 
[ ]jgraph_1__3548_51.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__3551_41.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__3552_46.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__3554_44.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__3558_28.min1.thm12017-02-06 12:46 459  
[ ]jgraph_1__3559_14.min1.thm12017-02-06 12:44 1.1K 
[ ]jgraph_1__3560_29.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_1__3561_25.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__3563_27.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__3568_35.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__3571_47.min1.thm12017-02-06 12:47 2.2K 
[ ]jgraph_1__3575_24.min1.thm12017-02-06 12:46 845  
[ ]jgraph_1__3576_22.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_1__3578_20.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__3580_23.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__3583_57.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_1__3585_24.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_1__3587_22.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__3588_30.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__3592_12.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__3601_49.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__3607_20.min1.thm12017-02-06 12:44 1.9K 
[ ]jgraph_1__3612_32.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_1__3616_18.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_1__3619_18.min1.thm12017-02-06 12:44 2.3K 
[ ]jgraph_1__3622_26.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__3630_23.min1.thm12017-02-06 12:46 914  
[ ]jgraph_1__3631_23.min1.thm12017-02-06 12:44 2.1K 
[ ]jgraph_1__3635_17.min1.thm12017-02-06 12:44 2.3K 
[ ]jgraph_1__3638_23.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__3645_18.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_1__3648_41.min1.thm12017-02-06 12:44 1.4K 
[ ]jgraph_1__3649_26.min1.thm12017-02-06 12:44 867  
[ ]jgraph_1__3657_27.min1.thm12017-02-06 12:44 960  
[ ]jgraph_1__3658_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__3660_41.min1.thm12017-02-06 12:44 2.0K 
[ ]jgraph_1__3662_28.min1.thm12017-02-06 12:44 459  
[ ]jgraph_1__3665_22.min1.thm12017-02-06 12:44 2.1K 
[ ]jgraph_1__3666_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__3668_24.min1.thm12017-02-06 12:44 735  
[ ]jgraph_1__3669_27.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_1__3670_28.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__3672_34.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__3673_33.min1.thm12017-02-06 12:44 2.2K 
[ ]jgraph_1__3674_12.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__3675_19.min1.thm12017-02-06 12:46 4.4K 
[ ]jgraph_1__3681_70.min1.thm12017-02-06 12:44 1.0K 
[ ]jgraph_1__3685_27.min1.thm12017-02-06 12:44 889  
[ ]jgraph_1__3687_20.min1.thm12017-02-06 12:44 960  
[ ]jgraph_1__3688_38.min1.thm12017-02-06 12:44 892  
[ ]jgraph_1__3689_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_1__3697_35.min1.thm12017-02-06 12:47 2.2K 
[ ]jgraph_1__3698_12.min1.thm12017-02-06 12:47 1.3K 
[ ]jgraph_1__3700_27.min1.thm12017-02-06 12:44 960  
[ ]jgraph_1__3701_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__3703_41.min1.thm12017-02-06 12:44 2.0K 
[ ]jgraph_1__3705_28.min1.thm12017-02-06 12:47 459  
[ ]jgraph_1__3707_19.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__3715_27.min1.thm12017-02-06 12:46 889  
[ ]jgraph_1__3717_20.min1.thm12017-02-06 12:46 960  
[ ]jgraph_1__3718_38.min1.thm12017-02-06 12:44 892  
[ ]jgraph_1__3719_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_1__3735_18.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_1__3739_33.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__3740_23.min1.thm12017-02-06 12:46 819  
[ ]jgraph_1__3742_25.min1.thm12017-02-06 12:44 733  
[ ]jgraph_1__3751_31.min1.thm12017-02-06 12:44 1.1K 
[ ]jgraph_1__3755_35.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_1__3756_10.min1.thm12017-02-06 12:47 1.3K 
[ ]jgraph_1__3760_31.min1.thm12017-02-06 12:47 1.4K 
[ ]jgraph_1__3762_23.min1.thm12017-02-06 12:46 948  
[ ]jgraph_1__3767_41.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_1__3768_26.min1.thm12017-02-06 12:46 867  
[ ]jgraph_1__3771_26.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__3772_29.min1.thm12017-02-06 12:47 1.2K 
[ ]jgraph_1__3773_23.min1.thm12017-02-06 12:46 819  
[ ]jgraph_1__3778_18.min1.thm12017-02-06 12:46 537  
[ ]jgraph_1__3778_18.min1.thm1.tptp2017-02-06 16:47 483  
[ ]jgraph_1__3779_43.min1.thm12017-02-06 12:44 1.1K 
[ ]jgraph_1__3782_63.min1.thm12017-02-06 12:46 447  
[ ]jgraph_1__3782_63.min1.thm1.tptp2017-02-06 16:47 392  
[ ]jgraph_1__3785_63.min1.thm12017-02-06 12:46 447  
[ ]jgraph_1__3785_63.min1.thm1.tptp2017-02-06 16:47 392  
[ ]jgraph_1__3789_22.min1.thm12017-02-06 12:47 822  
[ ]jgraph_1__3800_21.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__3801_45.min1.thm12017-02-06 12:46 866  
[ ]jgraph_1__3802_26.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__3809_20.min1.thm12017-02-06 12:46 954  
[ ]jgraph_1__3810_26.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__3813_23.min1.thm12017-02-06 12:47 1.1K 
[ ]jgraph_1__3817_22.min1.thm12017-02-06 12:46 822  
[ ]jgraph_1__3822_25.min1.thm12017-02-06 12:44 2.4K 
[ ]jgraph_1__3823_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_1__3827_21.min1.thm12017-02-06 12:46 954  
[ ]jgraph_1__3829_21.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_1__3831_24.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__3832_46.min1.thm12017-02-06 12:46 866  
[ ]jgraph_1__3833_28.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__3842_22.min1.thm12017-02-06 12:44 687  
[ ]jgraph_1__3847_26.min1.thm12017-02-06 12:46 457  
[ ]jgraph_1__3869_14.min1.thm12017-02-06 12:46 597  
[ ]jgraph_1__3874_39.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_1__3878_31.min1.thm12017-02-06 12:46 309  
[ ]jgraph_1__3880_17.min1.thm12017-02-06 12:46 848  
[ ]jgraph_1__3884_16.min1.thm12017-02-06 12:47 742  
[ ]jgraph_1__3886_19.min1.thm12017-02-06 12:47 1.6K 
[ ]jgraph_1__3888_19.min1.thm12017-02-06 12:44 1.6K 
[ ]jgraph_1__3890_16.min1.thm12017-02-06 12:44 1.2K 
[ ]jgraph_1__3904_52.min1.thm12017-02-06 12:44 1.5K 
[ ]jgraph_1__3905_48.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_1__3907_33.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_1__3931_54.min1.thm12017-02-06 12:44 2.8K 
[ ]jgraph_1__3932_23.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_1__3936_54.min1.thm12017-02-06 12:44 2.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80