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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jgraph_4__51_14.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__68_37.min1.thm12017-02-06 12:46 543  
[ ]jgraph_4__69_19.min1.thm12017-02-06 12:46 517  
[ ]jgraph_4__71_61.min1.thm12017-02-06 12:46 393  
[ ]jgraph_4__71_61.min1.thm1.tptp2017-02-06 16:47 315  
[ ]jgraph_4__80_34.min1.thm12017-02-06 12:46 662  
[ ]jgraph_4__81_12.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__92_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__96_15.min1.thm12017-02-06 12:46 626  
[ ]jgraph_4__114_37.min1.thm12017-02-06 12:46 567  
[ ]jgraph_4__115_19.min1.thm12017-02-06 12:46 517  
[ ]jgraph_4__117_61.min1.thm12017-02-06 12:46 393  
[ ]jgraph_4__117_61.min1.thm1.tptp2017-02-06 16:47 315  
[ ]jgraph_4__126_34.min1.thm12017-02-06 12:46 686  
[ ]jgraph_4__127_12.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__138_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__142_15.min1.thm12017-02-06 12:46 626  
[ ]jgraph_4__160_72.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__162_38.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__178_21.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__180_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__181_22.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__182_40.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__183_65.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__184_40.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__189_55.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__192_42.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__193_12.min1.thm12017-02-06 12:46 836  
[ ]jgraph_4__194_42.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__203_34.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__204_19.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__205_72.min1.thm12017-02-06 12:46 3.6K 
[ ]jgraph_4__215_25.min1.thm12017-02-06 12:46 4.7K 
[ ]jgraph_4__216_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__217_38.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__221_39.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__222_34.min1.thm12017-02-06 12:46 4.0K 
[ ]jgraph_4__230_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__236_50.min1.thm12017-02-06 12:46 508  
[ ]jgraph_4__236_50.min1.thm1.tptp2017-02-06 16:47 433  
[ ]jgraph_4__239_15.min1.thm12017-02-06 12:46 850  
[ ]jgraph_4__240_44.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__248_32.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__249_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__251_19.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__252_14.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__253_40.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__254_65.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__259_45.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__260_63.min1.thm12017-02-06 12:46 4.0K 
[ ]jgraph_4__263_38.min1.thm12017-02-06 12:46 4.0K 
[ ]jgraph_4__267_25.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__268_24.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__269_19.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__275_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__277_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__281_17.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__282_17.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__310_41.min1.thm12017-02-06 12:46 571  
[ ]jgraph_4__310_41.min1.thm1.tptp2017-02-06 16:47 503  
[ ]jgraph_4__320_14.min1.thm12017-02-06 12:46 568  
[ ]jgraph_4__320_14.min1.thm1.tptp2017-02-06 16:47 495  
[ ]jgraph_4__323_15.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__324_13.min1.thm12017-02-06 12:46 569  
[ ]jgraph_4__324_13.min1.thm1.tptp2017-02-06 16:47 496  
[ ]jgraph_4__325_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__326_19.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__356_41.min1.thm12017-02-06 12:46 571  
[ ]jgraph_4__356_41.min1.thm1.tptp2017-02-06 16:47 503  
[ ]jgraph_4__372_14.min1.thm12017-02-06 12:46 569  
[ ]jgraph_4__372_14.min1.thm1.tptp2017-02-06 16:47 496  
[ ]jgraph_4__374_14.min1.thm12017-02-06 12:46 568  
[ ]jgraph_4__374_14.min1.thm1.tptp2017-02-06 16:47 495  
[ ]jgraph_4__375_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__376_21.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__377_28.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__378_19.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__394_75.min1.thm12017-02-06 12:46 841  
[ ]jgraph_4__395_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__407_23.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__411_34.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__412_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__413_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__423_21.min1.thm12017-02-06 12:46 853  
[ ]jgraph_4__424_27.min1.thm12017-02-06 12:46 963  
[ ]jgraph_4__425_18.min1.thm12017-02-06 12:46 639  
[ ]jgraph_4__426_16.min1.thm12017-02-06 12:46 412  
[ ]jgraph_4__428_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__450_13.min1.thm12017-02-06 12:46 504  
[ ]jgraph_4__450_13.min1.thm1.tptp2017-02-06 16:47 427  
[ ]jgraph_4__452_16.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__454_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__475_23.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__485_24.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__489_32.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__490_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__491_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__499_24.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__511_14.min1.thm12017-02-06 12:46 506  
[ ]jgraph_4__511_14.min1.thm1.tptp2017-02-06 16:47 429  
[ ]jgraph_4__512_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__513_32.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__541_23.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__551_24.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__555_32.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__556_17.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__557_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__574_14.min1.thm12017-02-06 12:46 506  
[ ]jgraph_4__574_14.min1.thm1.tptp2017-02-06 16:47 429  
[ ]jgraph_4__575_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__576_32.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__593_73.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__612_17.min1.thm12017-02-06 12:46 550  
[ ]jgraph_4__619_15.min1.thm12017-02-06 12:46 372  
[ ]jgraph_4__620_60.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__627_14.min1.thm12017-02-06 12:46 381  
[ ]jgraph_4__627_14.min1.thm1.tptp2017-02-06 16:47 300  
[ ]jgraph_4__637_41.min1.thm12017-02-06 12:46 774  
[ ]jgraph_4__638_54.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__641_55.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__643_7.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__660_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__663_44.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__664_19.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__670_58.min1.thm12017-02-06 12:46 967  
[ ]jgraph_4__683_17.min1.thm12017-02-06 12:46 614  
[ ]jgraph_4__729_16.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__734_32.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__738_30.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__739_17.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__750_14.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__755_16.min1.thm12017-02-06 12:46 3.8K 
[ ]jgraph_4__758_19.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__781_13.min1.thm12017-02-06 12:46 241  
[ ]jgraph_4__786_21.min1.thm12017-02-06 12:46 3.9K 
[ ]jgraph_4__789_21.min1.thm12017-02-06 12:46 3.8K 
[ ]jgraph_4__794_25.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__795_35.min1.thm12017-02-06 12:46 638  
[ ]jgraph_4__795_35.min1.thm1.tptp2017-02-06 16:47 567  
[ ]jgraph_4__796_15.min1.thm12017-02-06 12:46 840  
[ ]jgraph_4__797_14.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__799_23.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__803_32.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__813_37.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__814_21.min1.thm12017-02-06 12:46 5.3K 
[ ]jgraph_4__820_13.min1.thm12017-02-06 12:46 241  
[ ]jgraph_4__827_15.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__829_14.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__830_30.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_4__831_42.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_4__839_53.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__842_25.min1.thm12017-02-06 12:46 4.7K 
[ ]jgraph_4__848_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__858_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__863_8.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_4__864_31.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__876_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__881_8.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_4__882_31.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__895_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__901_39.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__902_36.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__921_4.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__922_45.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__923_21.min1.thm12017-02-06 12:46 3.9K 
[ ]jgraph_4__937_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__937_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__940_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__940_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__948_26.min1.thm12017-02-06 12:46 536  
[ ]jgraph_4__951_8.min1.thm12017-02-06 12:46 832  
[ ]jgraph_4__956_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__958_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__964_51.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__965_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__966_46.min1.thm12017-02-06 12:46 958  
[ ]jgraph_4__984_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__984_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__987_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__987_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__995_26.min1.thm12017-02-06 12:46 536  
[ ]jgraph_4__998_11.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__1003_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1009_51.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__1011_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__1012_46.min1.thm12017-02-06 12:46 958  
[ ]jgraph_4__1018_17.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__1032_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__1032_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__1035_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1035_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__1043_26.min1.thm12017-02-06 12:46 611  
[ ]jgraph_4__1046_8.min1.thm12017-02-06 12:46 832  
[ ]jgraph_4__1051_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1053_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__1057_13.min1.thm12017-02-06 12:46 834  
[ ]jgraph_4__1060_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__1061_46.min1.thm12017-02-06 12:46 958  
[ ]jgraph_4__1063_30.min1.thm12017-02-06 12:46 642  
[ ]jgraph_4__1063_30.min1.thm1.tptp2017-02-06 16:47 571  
[ ]jgraph_4__1066_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__1069_24.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__1072_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__1075_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__1107_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__1107_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__1110_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1110_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__1117_13.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__1119_26.min1.thm12017-02-06 12:46 611  
[ ]jgraph_4__1125_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1127_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__1133_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__1134_46.min1.thm12017-02-06 12:46 958  
[ ]jgraph_4__1135_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__1136_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1138_30.min1.thm12017-02-06 12:46 642  
[ ]jgraph_4__1138_30.min1.thm1.tptp2017-02-06 16:47 571  
[ ]jgraph_4__1141_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__1144_26.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__1176_15.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1177_12.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1179_32.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__1185_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__1187_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1189_13.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__1199_57.min1.thm12017-02-06 12:46 575  
[ ]jgraph_4__1208_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1216_35.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__1219_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__1225_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1229_11.min1.thm12017-02-06 12:46 780  
[ ]jgraph_4__1230_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1240_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_4__1241_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1249_34.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__1256_16.min1.thm12017-02-06 12:46 630  
[ ]jgraph_4__1267_35.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__1270_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__1275_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1279_11.min1.thm12017-02-06 12:46 780  
[ ]jgraph_4__1280_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1290_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_4__1291_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1299_32.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__1306_16.min1.thm12017-02-06 12:46 740  
[ ]jgraph_4__1315_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1320_16.min1.thm12017-02-06 12:46 611  
[ ]jgraph_4__1334_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1336_63.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1339_31.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_4__1340_18.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__1341_19.min1.thm12017-02-06 12:46 865  
[ ]jgraph_4__1341_19.min1.thm1.tptp2017-02-06 16:47 785  
[ ]jgraph_4__1347_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1352_16.min1.thm12017-02-06 12:46 504  
[ ]jgraph_4__1368_15.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1369_12.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1371_32.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__1377_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__1379_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1381_13.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__1391_57.min1.thm12017-02-06 12:46 575  
[ ]jgraph_4__1400_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1408_35.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__1411_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__1417_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1421_11.min1.thm12017-02-06 12:46 780  
[ ]jgraph_4__1422_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1432_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_4__1433_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1441_34.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__1448_16.min1.thm12017-02-06 12:46 630  
[ ]jgraph_4__1459_35.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__1462_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__1467_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1471_11.min1.thm12017-02-06 12:46 780  
[ ]jgraph_4__1472_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1482_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_4__1483_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1491_32.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__1498_16.min1.thm12017-02-06 12:46 740  
[ ]jgraph_4__1507_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1512_16.min1.thm12017-02-06 12:46 611  
[ ]jgraph_4__1526_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1528_63.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1531_31.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_4__1532_18.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__1533_19.min1.thm12017-02-06 12:46 865  
[ ]jgraph_4__1533_19.min1.thm1.tptp2017-02-06 16:47 785  
[ ]jgraph_4__1539_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1544_16.min1.thm12017-02-06 12:46 504  
[ ]jgraph_4__1555_4.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_4__1556_75.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__1568_51.min1.thm12017-02-06 12:46 971  
[ ]jgraph_4__1569_52.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__1573_49.min1.thm12017-02-06 12:46 254  
[ ]jgraph_4__1580_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1593_22.min1.thm12017-02-06 12:46 845  
[ ]jgraph_4__1596_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1604_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1609_58.min1.thm12017-02-06 12:46 578  
[ ]jgraph_4__1612_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__1620_4.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_4__1621_75.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__1633_51.min1.thm12017-02-06 12:46 971  
[ ]jgraph_4__1634_52.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__1638_49.min1.thm12017-02-06 12:46 254  
[ ]jgraph_4__1645_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1658_22.min1.thm12017-02-06 12:46 845  
[ ]jgraph_4__1661_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1669_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1674_58.min1.thm12017-02-06 12:46 578  
[ ]jgraph_4__1677_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__1704_4.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_4__1705_75.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__1717_51.min1.thm12017-02-06 12:46 971  
[ ]jgraph_4__1722_49.min1.thm12017-02-06 12:46 256  
[ ]jgraph_4__1729_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1742_22.min1.thm12017-02-06 12:46 848  
[ ]jgraph_4__1745_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1753_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1758_58.min1.thm12017-02-06 12:46 581  
[ ]jgraph_4__1761_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__1769_4.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_4__1770_75.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__1782_51.min1.thm12017-02-06 12:46 971  
[ ]jgraph_4__1787_49.min1.thm12017-02-06 12:46 256  
[ ]jgraph_4__1794_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1807_22.min1.thm12017-02-06 12:46 848  
[ ]jgraph_4__1810_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1818_12.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1823_58.min1.thm12017-02-06 12:46 581  
[ ]jgraph_4__1826_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__1858_15.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1859_12.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__1861_32.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__1866_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__1868_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1870_13.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__1877_57.min1.thm12017-02-06 12:46 574  
[ ]jgraph_4__1891_6.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1892_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__1895_19.min1.thm12017-02-06 12:46 926  
[ ]jgraph_4__1902_63.min1.thm12017-02-06 12:46 851  
[ ]jgraph_4__1903_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1909_63.min1.thm12017-02-06 12:46 851  
[ ]jgraph_4__1910_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1914_32.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1915_36.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1921_32.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__1922_36.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1925_62.min1.thm12017-02-06 12:46 312  
[ ]jgraph_4__1927_44.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_4__1928_11.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1930_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__1935_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__1939_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1943_12.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__1947_25.min1.thm12017-02-06 12:46 637  
[ ]jgraph_4__1948_43.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__1952_62.min1.thm12017-02-06 12:46 336  
[ ]jgraph_4__1968_15.min1.thm12017-02-06 12:46 788  
[ ]jgraph_4__1976_21.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__1980_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__1981_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__2009_24.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__2011_32.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__2014_52.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__2016_42.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2020_22.min1.thm12017-02-06 12:46 639  
[ ]jgraph_4__2024_62.min1.thm12017-02-06 12:46 338  
[ ]jgraph_4__2038_6.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2043_22.min1.thm12017-02-06 12:46 641  
[ ]jgraph_4__2044_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2049_31.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__2053_25.min1.thm12017-02-06 12:46 637  
[ ]jgraph_4__2066_15.min1.thm12017-02-06 12:46 788  
[ ]jgraph_4__2074_21.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__2078_14.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__2079_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__2107_24.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__2109_32.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__2113_42.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2117_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2123_38.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__2137_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__2138_19.min1.thm12017-02-06 12:46 908  
[ ]jgraph_4__2140_42.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__2156_6.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2161_43.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__2162_10.min1.thm12017-02-06 12:46 353  
[ ]jgraph_4__2162_10.min1.thm1.tptp2017-02-06 16:47 264  
[ ]jgraph_4__2163_38.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__2170_21.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__2186_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__2187_19.min1.thm12017-02-06 12:46 908  
[ ]jgraph_4__2189_42.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__2197_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2198_13.min1.thm12017-02-06 12:46 346  
[ ]jgraph_4__2215_46.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__2217_12.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__2227_37.min1.thm12017-02-06 12:46 859  
[ ]jgraph_4__2229_18.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__2233_37.min1.thm12017-02-06 12:46 903  
[ ]jgraph_4__2235_18.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__2238_16.min1.thm12017-02-06 12:46 598  
[ ]jgraph_4__2240_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2241_14.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__2258_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__2266_57.min1.thm12017-02-06 12:46 573  
[ ]jgraph_4__2274_23.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2275_31.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__2290_31.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__2301_54.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2302_23.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__2306_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__2309_21.min1.thm12017-02-06 12:46 941  
[ ]jgraph_4__2311_34.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__2313_15.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__2316_39.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__2320_23.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__2321_25.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__2326_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__2369_6.min1.thm12017-02-06 12:46 924  
[ ]jgraph_4__2370_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__2373_46.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__2374_17.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__2404_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2405_50.min1.thm12017-02-06 12:46 747  
[ ]jgraph_4__2415_6.min1.thm12017-02-06 12:46 924  
[ ]jgraph_4__2416_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__2420_17.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__2430_11.min1.thm12017-02-06 12:46 508  
[ ]jgraph_4__2435_34.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_4__2440_33.min1.thm12017-02-06 12:46 634  
[ ]jgraph_4__2440_33.min1.thm1.tptp2017-02-06 16:47 563  
[ ]jgraph_4__2443_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__2444_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__2452_13.min1.thm12017-02-06 12:46 225  
[ ]jgraph_4__2456_30.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__2458_51.min1.thm12017-02-06 12:46 3.6K 
[ ]jgraph_4__2465_18.min1.thm12017-02-06 12:46 558  
[ ]jgraph_4__2465_18.min1.thm1.tptp2017-02-06 16:47 476  
[ ]jgraph_4__2469_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__2481_39.min1.thm12017-02-06 12:46 644  
[ ]jgraph_4__2481_39.min1.thm1.tptp2017-02-06 16:47 573  
[ ]jgraph_4__2503_19.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__2505_34.min1.thm12017-02-06 12:46 634  
[ ]jgraph_4__2505_34.min1.thm1.tptp2017-02-06 16:47 563  
[ ]jgraph_4__2506_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__2519_13.min1.thm12017-02-06 12:46 225  
[ ]jgraph_4__2523_30.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__2530_18.min1.thm12017-02-06 12:46 558  
[ ]jgraph_4__2530_18.min1.thm1.tptp2017-02-06 16:47 476  
[ ]jgraph_4__2534_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__2544_39.min1.thm12017-02-06 12:46 644  
[ ]jgraph_4__2544_39.min1.thm1.tptp2017-02-06 16:47 573  
[ ]jgraph_4__2558_21.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__2565_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__2579_19.min1.thm12017-02-06 12:46 698  
[ ]jgraph_4__2579_19.min1.thm1.tptp2017-02-06 16:47 635  
[ ]jgraph_4__2582_16.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__2586_18.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__2587_11.min1.thm12017-02-06 12:46 331  
[ ]jgraph_4__2592_35.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__2595_33.min1.thm12017-02-06 12:46 634  
[ ]jgraph_4__2595_33.min1.thm1.tptp2017-02-06 16:47 563  
[ ]jgraph_4__2596_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__2597_13.min1.thm12017-02-06 12:46 215  
[ ]jgraph_4__2629_34.min1.thm12017-02-06 12:46 634  
[ ]jgraph_4__2629_34.min1.thm1.tptp2017-02-06 16:47 563  
[ ]jgraph_4__2630_14.min1.thm12017-02-06 12:46 965  
[ ]jgraph_4__2631_13.min1.thm12017-02-06 12:46 215  
[ ]jgraph_4__2646_32.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__2667_45.min1.thm12017-02-06 12:46 698  
[ ]jgraph_4__2667_45.min1.thm1.tptp2017-02-06 16:47 635  
[ ]jgraph_4__2680_41.min1.thm12017-02-06 12:46 541  
[ ]jgraph_4__2680_41.min1.thm1.tptp2017-02-06 16:47 478  
[ ]jgraph_4__2681_28.min1.thm12017-02-06 12:46 757  
[ ]jgraph_4__2684_50.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__2685_21.min1.thm12017-02-06 12:46 686  
[ ]jgraph_4__2688_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__2696_34.min1.thm12017-02-06 12:46 839  
[ ]jgraph_4__2699_4.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__2707_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2708_15.min1.thm12017-02-06 12:46 768  
[ ]jgraph_4__2709_29.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_4__2714_9.min1.thm12017-02-06 12:46 632  
[ ]jgraph_4__2715_45.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__2716_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2727_38.min1.thm12017-02-06 12:46 803  
[ ]jgraph_4__2728_49.min1.thm12017-02-06 12:46 555  
[ ]jgraph_4__2737_78.min1.thm12017-02-06 12:46 649  
[ ]jgraph_4__2738_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__2740_20.min1.thm12017-02-06 12:46 840  
[ ]jgraph_4__2742_74.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__2744_62.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__2750_9.min1.thm12017-02-06 12:46 635  
[ ]jgraph_4__2751_35.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__2754_11.min1.thm12017-02-06 12:46 838  
[ ]jgraph_4__2757_45.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__2768_38.min1.thm12017-02-06 12:46 803  
[ ]jgraph_4__2769_49.min1.thm12017-02-06 12:46 555  
[ ]jgraph_4__2772_19.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__2778_78.min1.thm12017-02-06 12:46 649  
[ ]jgraph_4__2779_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__2783_11.min1.thm12017-02-06 12:46 838  
[ ]jgraph_4__2786_35.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__2792_47.min1.thm12017-02-06 12:46 958  
[ ]jgraph_4__2794_68.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__2796_27.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__2799_16.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__2800_35.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__2811_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__2815_41.min1.thm12017-02-06 12:46 4.2K 
[ ]jgraph_4__2819_45.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__2820_16.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__2821_62.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__2830_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__2833_24.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__2834_13.min1.thm12017-02-06 12:46 228  
[ ]jgraph_4__2839_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__2840_16.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__2841_21.min1.thm12017-02-06 12:46 777  
[ ]jgraph_4__2845_24.min1.thm12017-02-06 12:46 833  
[ ]jgraph_4__2847_16.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__2850_21.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__2853_53.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__2855_40.min1.thm12017-02-06 12:46 934  
[ ]jgraph_4__2860_60.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2872_70.min1.thm12017-02-06 12:46 852  
[ ]jgraph_4__2877_28.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__2878_49.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__2881_22.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__2882_13.min1.thm12017-02-06 12:46 515  
[ ]jgraph_4__2895_17.min1.thm12017-02-06 12:46 881  
[ ]jgraph_4__2912_17.min1.thm12017-02-06 12:46 881  
[ ]jgraph_4__2926_54.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__2932_17.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__2936_27.min1.thm12017-02-06 12:46 391  
[ ]jgraph_4__2937_58.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__2947_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__2948_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__2949_49.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__2950_46.min1.thm12017-02-06 12:46 780  
[ ]jgraph_4__2951_46.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__2952_45.min1.thm12017-02-06 12:46 781  
[ ]jgraph_4__2956_18.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__2965_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__2970_17.min1.thm12017-02-06 12:46 840  
[ ]jgraph_4__2972_27.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__2985_43.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__2992_39.min1.thm12017-02-06 12:46 660  
[ ]jgraph_4__2992_39.min1.thm1.tptp2017-02-06 16:47 589  
[ ]jgraph_4__2999_26.min1.thm12017-02-06 12:46 892  
[ ]jgraph_4__3006_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3011_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3013_27.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__3035_39.min1.thm12017-02-06 12:46 660  
[ ]jgraph_4__3035_39.min1.thm1.tptp2017-02-06 16:47 589  
[ ]jgraph_4__3042_26.min1.thm12017-02-06 12:46 892  
[ ]jgraph_4__3049_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__3051_26.min1.thm12017-02-06 12:46 763  
[ ]jgraph_4__3076_13.min1.thm12017-02-06 12:46 834  
[ ]jgraph_4__3078_18.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__3082_29.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__3084_22.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__3093_41.min1.thm12017-02-06 12:46 654  
[ ]jgraph_4__3093_41.min1.thm1.tptp2017-02-06 16:47 583  
[ ]jgraph_4__3094_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3098_22.min1.thm12017-02-06 12:46 720  
[ ]jgraph_4__3099_31.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__3110_50.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__3138_41.min1.thm12017-02-06 12:46 654  
[ ]jgraph_4__3138_41.min1.thm1.tptp2017-02-06 16:47 583  
[ ]jgraph_4__3139_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3143_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3147_22.min1.thm12017-02-06 12:46 724  
[ ]jgraph_4__3148_31.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__3180_20.min1.thm12017-02-06 12:46 821  
[ ]jgraph_4__3184_23.min1.thm12017-02-06 12:46 708  
[ ]jgraph_4__3186_22.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__3191_43.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__3194_22.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__3198_41.min1.thm12017-02-06 12:46 654  
[ ]jgraph_4__3198_41.min1.thm1.tptp2017-02-06 16:47 583  
[ ]jgraph_4__3199_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3203_33.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__3205_21.min1.thm12017-02-06 12:46 846  
[ ]jgraph_4__3206_22.min1.thm12017-02-06 12:46 715  
[ ]jgraph_4__3207_31.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__3236_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3263_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3268_22.min1.thm12017-02-06 12:46 721  
[ ]jgraph_4__3269_31.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__3296_51.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__3306_64.min1.thm12017-02-06 12:46 897  
[ ]jgraph_4__3311_28.min1.thm12017-02-06 12:46 457  
[ ]jgraph_4__3311_28.min1.thm1.tptp2017-02-06 16:47 380  
[ ]jgraph_4__3312_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__3323_21.min1.thm12017-02-06 12:46 846  
[ ]jgraph_4__3329_20.min1.thm12017-02-06 12:46 821  
[ ]jgraph_4__3334_18.min1.thm12017-02-06 12:46 711  
[ ]jgraph_4__3336_22.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__3343_20.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__3346_39.min1.thm12017-02-06 12:46 652  
[ ]jgraph_4__3346_39.min1.thm1.tptp2017-02-06 16:47 581  
[ ]jgraph_4__3347_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3348_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3365_31.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__3395_56.min1.thm12017-02-06 12:46 4.4K 
[ ]jgraph_4__3401_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3406_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3407_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3440_20.min1.thm12017-02-06 12:46 720  
[ ]jgraph_4__3441_29.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__3472_62.min1.thm12017-02-06 12:46 895  
[ ]jgraph_4__3477_26.min1.thm12017-02-06 12:46 455  
[ ]jgraph_4__3477_26.min1.thm1.tptp2017-02-06 16:47 378  
[ ]jgraph_4__3478_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3482_16.min1.thm12017-02-06 12:46 809  
[ ]jgraph_4__3495_56.min1.thm12017-02-06 12:46 852  
[ ]jgraph_4__3502_38.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__3507_49.min1.thm12017-02-06 12:46 368  
[ ]jgraph_4__3507_49.min1.thm1.tptp2017-02-06 16:47 290  
[ ]jgraph_4__3510_20.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__3513_36.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__3519_23.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__3520_20.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__3530_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__3531_20.min1.thm12017-02-06 12:46 722  
[ ]jgraph_4__3532_57.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__3533_19.min1.thm12017-02-06 12:46 843  
[ ]jgraph_4__3534_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3552_36.min1.thm12017-02-06 12:46 5.6K 
[ ]jgraph_4__3563_29.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__3583_71.min1.thm12017-02-06 12:46 3.7K 
[ ]jgraph_4__3591_20.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__3598_47.min1.thm12017-02-06 12:46 3.7K 
[ ]jgraph_4__3599_21.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__3601_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__3602_20.min1.thm12017-02-06 12:46 724  
[ ]jgraph_4__3603_57.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__3604_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3605_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3619_47.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_4__3620_60.min1.thm12017-02-06 12:46 3.7K 
[ ]jgraph_4__3623_36.min1.thm12017-02-06 12:46 5.6K 
[ ]jgraph_4__3634_29.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__3654_71.min1.thm12017-02-06 12:46 3.7K 
[ ]jgraph_4__3663_19.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__3687_30.min1.thm12017-02-06 12:46 899  
[ ]jgraph_4__3692_32.min1.thm12017-02-06 12:46 396  
[ ]jgraph_4__3701_51.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__3703_58.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__3704_56.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__3712_42.min1.thm12017-02-06 12:46 764  
[ ]jgraph_4__3723_43.min1.thm12017-02-06 12:46 772  
[ ]jgraph_4__3729_30.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__3733_31.min1.thm12017-02-06 12:46 910  
[ ]jgraph_4__3741_23.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__3742_27.min1.thm12017-02-06 12:46 808  
[ ]jgraph_4__3747_18.min1.thm12017-02-06 12:46 697  
[ ]jgraph_4__3761_45.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__3762_54.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__3763_36.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__3766_26.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__3773_32.min1.thm12017-02-06 12:46 710  
[ ]jgraph_4__3782_66.min1.thm12017-02-06 12:46 852  
[ ]jgraph_4__3790_70.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__3793_14.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3817_13.min1.thm12017-02-06 12:46 832  
[ ]jgraph_4__3823_14.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__3827_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__3829_18.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__3839_38.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__3854_13.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__3859_35.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_4__3860_12.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__3862_18.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__3914_23.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__3917_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__3921_21.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__3925_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__3954_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__3962_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__3985_13.min1.thm12017-02-06 12:46 960  
[ ]jgraph_4__3996_21.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__3998_20.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_4__3999_15.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__4007_14.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__4019_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__4030_7.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__4075_16.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__4079_33.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__4083_30.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__4084_17.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__4096_14.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__4101_16.min1.thm12017-02-06 12:46 3.8K 
[ ]jgraph_4__4104_19.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__4127_13.min1.thm12017-02-06 12:46 241  
[ ]jgraph_4__4132_19.min1.thm12017-02-06 12:46 3.9K 
[ ]jgraph_4__4135_21.min1.thm12017-02-06 12:46 3.8K 
[ ]jgraph_4__4140_25.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__4141_35.min1.thm12017-02-06 12:46 638  
[ ]jgraph_4__4141_35.min1.thm1.tptp2017-02-06 16:47 567  
[ ]jgraph_4__4142_15.min1.thm12017-02-06 12:46 840  
[ ]jgraph_4__4143_14.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__4145_23.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__4149_32.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4159_37.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__4160_21.min1.thm12017-02-06 12:46 4.9K 
[ ]jgraph_4__4166_13.min1.thm12017-02-06 12:46 241  
[ ]jgraph_4__4173_15.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__4175_14.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__4176_30.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_4__4177_42.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_4__4185_53.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__4189_24.min1.thm12017-02-06 12:46 4.7K 
[ ]jgraph_4__4195_16.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__4208_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__4208_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__4211_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4211_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__4219_26.min1.thm12017-02-06 12:46 536  
[ ]jgraph_4__4222_8.min1.thm12017-02-06 12:46 832  
[ ]jgraph_4__4227_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4229_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__4235_51.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__4236_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__4237_46.min1.thm12017-02-06 12:46 958  
[ ]jgraph_4__4255_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__4255_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__4258_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4258_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__4266_26.min1.thm12017-02-06 12:46 536  
[ ]jgraph_4__4269_11.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__4274_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4280_51.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__4282_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__4283_46.min1.thm12017-02-06 12:46 958  
[ ]jgraph_4__4289_17.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__4303_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__4303_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__4306_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4306_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__4314_26.min1.thm12017-02-06 12:46 611  
[ ]jgraph_4__4317_8.min1.thm12017-02-06 12:46 832  
[ ]jgraph_4__4322_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4324_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__4328_13.min1.thm12017-02-06 12:46 834  
[ ]jgraph_4__4331_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__4332_46.min1.thm12017-02-06 12:46 958  
[ ]jgraph_4__4334_30.min1.thm12017-02-06 12:46 642  
[ ]jgraph_4__4334_30.min1.thm1.tptp2017-02-06 16:47 571  
[ ]jgraph_4__4337_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__4340_24.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__4343_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__4346_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__4378_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__4378_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__4381_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4381_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__4388_13.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__4390_26.min1.thm12017-02-06 12:46 611  
[ ]jgraph_4__4396_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4398_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__4404_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__4405_46.min1.thm12017-02-06 12:46 958  
[ ]jgraph_4__4406_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__4407_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4409_30.min1.thm12017-02-06 12:46 642  
[ ]jgraph_4__4409_30.min1.thm1.tptp2017-02-06 16:47 571  
[ ]jgraph_4__4412_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__4415_26.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__4455_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__4457_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4464_57.min1.thm12017-02-06 12:46 564  
[ ]jgraph_4__4473_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4481_35.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__4484_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__4490_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4494_11.min1.thm12017-02-06 12:46 780  
[ ]jgraph_4__4495_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4505_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_4__4506_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4514_35.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__4521_16.min1.thm12017-02-06 12:46 630  
[ ]jgraph_4__4532_35.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__4535_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__4540_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4544_11.min1.thm12017-02-06 12:46 780  
[ ]jgraph_4__4545_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4555_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_4__4556_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4564_34.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__4571_16.min1.thm12017-02-06 12:46 718  
[ ]jgraph_4__4580_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4585_16.min1.thm12017-02-06 12:46 604  
[ ]jgraph_4__4599_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4601_63.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__4604_32.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_4__4605_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__4606_19.min1.thm12017-02-06 12:46 856  
[ ]jgraph_4__4606_19.min1.thm1.tptp2017-02-06 16:47 776  
[ ]jgraph_4__4612_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4617_16.min1.thm12017-02-06 12:46 504  
[ ]jgraph_4__4641_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__4643_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4650_57.min1.thm12017-02-06 12:46 564  
[ ]jgraph_4__4659_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4667_35.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__4670_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__4676_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4680_11.min1.thm12017-02-06 12:46 780  
[ ]jgraph_4__4681_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4691_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_4__4692_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4700_35.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__4707_16.min1.thm12017-02-06 12:46 630  
[ ]jgraph_4__4718_35.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__4721_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__4726_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4730_11.min1.thm12017-02-06 12:46 780  
[ ]jgraph_4__4731_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4741_13.min1.thm12017-02-06 12:46 782  
[ ]jgraph_4__4742_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4750_34.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__4757_16.min1.thm12017-02-06 12:46 718  
[ ]jgraph_4__4766_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4771_16.min1.thm12017-02-06 12:46 604  
[ ]jgraph_4__4785_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4787_63.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__4790_32.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_4__4791_18.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__4792_19.min1.thm12017-02-06 12:46 856  
[ ]jgraph_4__4792_19.min1.thm1.tptp2017-02-06 16:47 776  
[ ]jgraph_4__4798_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4803_16.min1.thm12017-02-06 12:46 504  
[ ]jgraph_4__4861_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__4863_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4867_57.min1.thm12017-02-06 12:46 562  
[ ]jgraph_4__4871_42.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4875_9.min1.thm12017-02-06 12:46 353  
[ ]jgraph_4__4875_9.min1.thm1.tptp2017-02-06 16:47 264  
[ ]jgraph_4__4885_63.min1.thm12017-02-06 12:46 854  
[ ]jgraph_4__4886_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4892_63.min1.thm12017-02-06 12:46 854  
[ ]jgraph_4__4893_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4897_32.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4898_37.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4904_32.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__4905_37.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4908_62.min1.thm12017-02-06 12:46 312  
[ ]jgraph_4__4910_44.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_4__4911_11.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4913_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__4918_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__4925_12.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__4929_27.min1.thm12017-02-06 12:46 630  
[ ]jgraph_4__4930_42.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__4934_64.min1.thm12017-02-06 12:46 338  
[ ]jgraph_4__4950_15.min1.thm12017-02-06 12:46 787  
[ ]jgraph_4__4958_21.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__4962_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__4963_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__4991_24.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__4993_33.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__4996_52.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__4998_42.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5002_22.min1.thm12017-02-06 12:46 641  
[ ]jgraph_4__5009_6.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5010_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__5013_19.min1.thm12017-02-06 12:46 926  
[ ]jgraph_4__5019_25.min1.thm12017-02-06 12:46 630  
[ ]jgraph_4__5032_15.min1.thm12017-02-06 12:46 788  
[ ]jgraph_4__5040_21.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__5044_14.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__5045_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__5073_24.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__5075_33.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__5079_42.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5083_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5088_43.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__5090_38.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__5094_64.min1.thm12017-02-06 12:46 338  
[ ]jgraph_4__5108_6.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5113_22.min1.thm12017-02-06 12:46 641  
[ ]jgraph_4__5114_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5119_31.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__5133_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__5134_19.min1.thm12017-02-06 12:46 908  
[ ]jgraph_4__5136_42.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__5152_6.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5170_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__5171_19.min1.thm12017-02-06 12:46 908  
[ ]jgraph_4__5173_42.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__5176_38.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__5183_21.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__5191_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5192_13.min1.thm12017-02-06 12:46 346  
[ ]jgraph_4__5209_46.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__5211_12.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__5220_35.min1.thm12017-02-06 12:46 855  
[ ]jgraph_4__5222_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__5226_35.min1.thm12017-02-06 12:46 899  
[ ]jgraph_4__5228_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__5231_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5232_14.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__5249_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__5250_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__5251_27.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__5255_57.min1.thm12017-02-06 12:46 573  
[ ]jgraph_4__5256_29.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__5265_23.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5266_31.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__5281_31.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__5292_54.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5293_23.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__5297_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__5300_21.min1.thm12017-02-06 12:46 941  
[ ]jgraph_4__5302_34.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__5304_15.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__5307_39.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__5311_23.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__5312_25.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__5317_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__5368_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5369_50.min1.thm12017-02-06 12:46 747  
[ ]jgraph_4__5379_6.min1.thm12017-02-06 12:46 924  
[ ]jgraph_4__5380_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__5384_17.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__5395_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5396_50.min1.thm12017-02-06 12:46 747  
[ ]jgraph_4__5406_6.min1.thm12017-02-06 12:46 924  
[ ]jgraph_4__5407_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__5411_17.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__5421_39.min1.thm12017-02-06 12:46 279  
[ ]jgraph_4__5423_11.min1.thm12017-02-06 12:46 508  
[ ]jgraph_4__5428_34.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_4__5433_33.min1.thm12017-02-06 12:46 634  
[ ]jgraph_4__5433_33.min1.thm1.tptp2017-02-06 16:47 563  
[ ]jgraph_4__5436_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__5437_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__5445_13.min1.thm12017-02-06 12:46 225  
[ ]jgraph_4__5449_30.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__5451_40.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__5453_23.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__5457_18.min1.thm12017-02-06 12:46 558  
[ ]jgraph_4__5457_18.min1.thm1.tptp2017-02-06 16:47 476  
[ ]jgraph_4__5461_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__5473_39.min1.thm12017-02-06 12:46 644  
[ ]jgraph_4__5473_39.min1.thm1.tptp2017-02-06 16:47 573  
[ ]jgraph_4__5495_19.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__5497_34.min1.thm12017-02-06 12:46 634  
[ ]jgraph_4__5497_34.min1.thm1.tptp2017-02-06 16:47 563  
[ ]jgraph_4__5498_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__5511_13.min1.thm12017-02-06 12:46 225  
[ ]jgraph_4__5515_30.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__5521_18.min1.thm12017-02-06 12:46 558  
[ ]jgraph_4__5521_18.min1.thm1.tptp2017-02-06 16:47 476  
[ ]jgraph_4__5525_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__5535_39.min1.thm12017-02-06 12:46 644  
[ ]jgraph_4__5535_39.min1.thm1.tptp2017-02-06 16:47 573  
[ ]jgraph_4__5549_21.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__5556_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__5570_19.min1.thm12017-02-06 12:46 698  
[ ]jgraph_4__5570_19.min1.thm1.tptp2017-02-06 16:47 635  
[ ]jgraph_4__5573_16.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__5577_18.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__5578_11.min1.thm12017-02-06 12:46 331  
[ ]jgraph_4__5583_34.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__5586_33.min1.thm12017-02-06 12:46 634  
[ ]jgraph_4__5586_33.min1.thm1.tptp2017-02-06 16:47 563  
[ ]jgraph_4__5587_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__5588_13.min1.thm12017-02-06 12:46 215  
[ ]jgraph_4__5619_34.min1.thm12017-02-06 12:46 634  
[ ]jgraph_4__5619_34.min1.thm1.tptp2017-02-06 16:47 563  
[ ]jgraph_4__5620_14.min1.thm12017-02-06 12:46 965  
[ ]jgraph_4__5621_13.min1.thm12017-02-06 12:46 215  
[ ]jgraph_4__5636_32.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__5656_45.min1.thm12017-02-06 12:46 698  
[ ]jgraph_4__5656_45.min1.thm1.tptp2017-02-06 16:47 635  
[ ]jgraph_4__5665_18.min1.thm12017-02-06 12:46 785  
[ ]jgraph_4__5676_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5677_15.min1.thm12017-02-06 12:46 768  
[ ]jgraph_4__5683_9.min1.thm12017-02-06 12:46 632  
[ ]jgraph_4__5684_44.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__5685_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5696_38.min1.thm12017-02-06 12:46 803  
[ ]jgraph_4__5697_49.min1.thm12017-02-06 12:46 555  
[ ]jgraph_4__5700_19.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__5706_78.min1.thm12017-02-06 12:46 649  
[ ]jgraph_4__5707_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__5709_33.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__5711_71.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__5712_62.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__5718_9.min1.thm12017-02-06 12:46 710  
[ ]jgraph_4__5719_35.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__5722_11.min1.thm12017-02-06 12:46 838  
[ ]jgraph_4__5725_45.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__5736_38.min1.thm12017-02-06 12:46 803  
[ ]jgraph_4__5737_49.min1.thm12017-02-06 12:46 555  
[ ]jgraph_4__5746_78.min1.thm12017-02-06 12:46 649  
[ ]jgraph_4__5747_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__5751_11.min1.thm12017-02-06 12:46 838  
[ ]jgraph_4__5754_35.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__5760_47.min1.thm12017-02-06 12:46 958  
[ ]jgraph_4__5762_68.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__5764_27.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__5767_16.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__5768_35.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__5779_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__5783_41.min1.thm12017-02-06 12:46 4.2K 
[ ]jgraph_4__5787_45.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__5788_16.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__5789_62.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__5800_24.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__5801_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__5803_15.min1.thm12017-02-06 12:46 230  
[ ]jgraph_4__5808_23.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__5809_18.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__5810_23.min1.thm12017-02-06 12:46 783  
[ ]jgraph_4__5814_26.min1.thm12017-02-06 12:46 837  
[ ]jgraph_4__5819_23.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__5822_16.min1.thm12017-02-06 12:46 857  
[ ]jgraph_4__5824_53.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__5826_40.min1.thm12017-02-06 12:46 934  
[ ]jgraph_4__5841_70.min1.thm12017-02-06 12:46 852  
[ ]jgraph_4__5846_28.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__5847_49.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__5850_25.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__5852_15.min1.thm12017-02-06 12:46 517  
[ ]jgraph_4__5864_18.min1.thm12017-02-06 12:46 861  
[ ]jgraph_4__5867_23.min1.thm12017-02-06 12:46 4.5K 
[ ]jgraph_4__5880_18.min1.thm12017-02-06 12:46 861  
[ ]jgraph_4__5891_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__5891_16.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]jgraph_4__5896_54.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__5902_17.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__5906_27.min1.thm12017-02-06 12:46 391  
[ ]jgraph_4__5907_58.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__5917_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__5918_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__5919_49.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__5920_46.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__5921_45.min1.thm12017-02-06 12:46 780  
[ ]jgraph_4__5922_46.min1.thm12017-02-06 12:46 781  
[ ]jgraph_4__5927_20.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__5936_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__5941_19.min1.thm12017-02-06 12:46 842  
[ ]jgraph_4__5943_29.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__5956_49.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__5964_41.min1.thm12017-02-06 12:46 662  
[ ]jgraph_4__5964_41.min1.thm1.tptp2017-02-06 16:47 591  
[ ]jgraph_4__5971_28.min1.thm12017-02-06 12:46 898  
[ ]jgraph_4__5978_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__5983_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__5985_29.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6008_41.min1.thm12017-02-06 12:46 662  
[ ]jgraph_4__6008_41.min1.thm1.tptp2017-02-06 16:47 591  
[ ]jgraph_4__6015_28.min1.thm12017-02-06 12:46 898  
[ ]jgraph_4__6021_18.min1.thm12017-02-06 12:46 885  
[ ]jgraph_4__6024_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__6026_26.min1.thm12017-02-06 12:46 763  
[ ]jgraph_4__6051_13.min1.thm12017-02-06 12:46 834  
[ ]jgraph_4__6053_18.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__6057_29.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__6059_22.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__6068_41.min1.thm12017-02-06 12:46 654  
[ ]jgraph_4__6068_41.min1.thm1.tptp2017-02-06 16:47 583  
[ ]jgraph_4__6069_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6073_22.min1.thm12017-02-06 12:46 720  
[ ]jgraph_4__6074_31.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__6085_51.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__6111_26.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6114_41.min1.thm12017-02-06 12:46 654  
[ ]jgraph_4__6114_41.min1.thm1.tptp2017-02-06 16:47 583  
[ ]jgraph_4__6115_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6121_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6149_33.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_4__6155_20.min1.thm12017-02-06 12:46 821  
[ ]jgraph_4__6161_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6166_41.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__6169_22.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__6173_33.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__6176_26.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6178_41.min1.thm12017-02-06 12:46 654  
[ ]jgraph_4__6178_41.min1.thm1.tptp2017-02-06 16:47 583  
[ ]jgraph_4__6180_21.min1.thm12017-02-06 12:46 846  
[ ]jgraph_4__6181_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6212_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6240_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6246_31.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6274_51.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__6285_28.min1.thm12017-02-06 12:46 457  
[ ]jgraph_4__6285_28.min1.thm1.tptp2017-02-06 16:47 380  
[ ]jgraph_4__6286_64.min1.thm12017-02-06 12:46 897  
[ ]jgraph_4__6288_27.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__6289_27.min1.thm12017-02-06 12:46 905  
[ ]jgraph_4__6300_21.min1.thm12017-02-06 12:46 846  
[ ]jgraph_4__6306_20.min1.thm12017-02-06 12:46 821  
[ ]jgraph_4__6313_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6321_22.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__6324_41.min1.thm12017-02-06 12:46 654  
[ ]jgraph_4__6324_41.min1.thm1.tptp2017-02-06 16:47 583  
[ ]jgraph_4__6325_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6326_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6343_33.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__6358_33.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_4__6372_21.min1.thm12017-02-06 12:46 846  
[ ]jgraph_4__6374_58.min1.thm12017-02-06 12:46 4.4K 
[ ]jgraph_4__6380_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6385_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6386_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6412_31.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6454_28.min1.thm12017-02-06 12:46 457  
[ ]jgraph_4__6454_28.min1.thm1.tptp2017-02-06 16:47 380  
[ ]jgraph_4__6455_64.min1.thm12017-02-06 12:46 897  
[ ]jgraph_4__6457_27.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__6458_27.min1.thm12017-02-06 12:46 905  
[ ]jgraph_4__6461_20.min1.thm12017-02-06 12:46 821  
[ ]jgraph_4__6464_16.min1.thm12017-02-06 12:46 809  
[ ]jgraph_4__6478_58.min1.thm12017-02-06 12:46 852  
[ ]jgraph_4__6485_38.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__6490_49.min1.thm12017-02-06 12:46 368  
[ ]jgraph_4__6490_49.min1.thm1.tptp2017-02-06 16:47 290  
[ ]jgraph_4__6493_20.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__6496_36.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__6502_23.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__6504_20.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__6505_20.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__6515_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6516_57.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__6517_19.min1.thm12017-02-06 12:46 843  
[ ]jgraph_4__6518_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6547_29.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__6566_71.min1.thm12017-02-06 12:46 3.6K 
[ ]jgraph_4__6574_20.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6575_21.min1.thm12017-02-06 12:46 842  
[ ]jgraph_4__6578_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6579_21.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__6581_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6582_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6596_47.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_4__6597_57.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__6600_47.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__6615_29.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__6635_71.min1.thm12017-02-06 12:46 3.6K 
[ ]jgraph_4__6644_19.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__6655_51.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__6657_58.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__6658_56.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__6666_42.min1.thm12017-02-06 12:46 764  
[ ]jgraph_4__6677_43.min1.thm12017-02-06 12:46 772  
[ ]jgraph_4__6683_30.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__6687_31.min1.thm12017-02-06 12:46 910  
[ ]jgraph_4__6695_23.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__6696_27.min1.thm12017-02-06 12:46 808  
[ ]jgraph_4__6701_18.min1.thm12017-02-06 12:46 697  
[ ]jgraph_4__6714_47.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__6716_54.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__6717_36.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6720_26.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6727_32.min1.thm12017-02-06 12:46 710  
[ ]jgraph_4__6736_66.min1.thm12017-02-06 12:46 852  
[ ]jgraph_4__6744_70.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6747_14.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6763_13.min1.thm12017-02-06 12:46 832  
[ ]jgraph_4__6766_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6776_38.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__6787_15.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__6802_13.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__6814_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__6819_35.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_4__6861_22.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__6864_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__6868_22.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__6872_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__6901_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__6909_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__6931_11.min1.thm12017-02-06 12:46 958  
[ ]jgraph_4__6942_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__6944_18.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_4__6945_13.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__6975_7.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__7020_15.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__7024_32.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__7028_30.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__7029_17.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__7042_16.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__7047_19.min1.thm12017-02-06 12:46 3.8K 
[ ]jgraph_4__7050_21.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__7058_14.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__7075_13.min1.thm12017-02-06 12:46 244  
[ ]jgraph_4__7080_19.min1.thm12017-02-06 12:46 3.9K 
[ ]jgraph_4__7083_21.min1.thm12017-02-06 12:46 3.9K 
[ ]jgraph_4__7088_25.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__7089_35.min1.thm12017-02-06 12:46 644  
[ ]jgraph_4__7089_35.min1.thm1.tptp2017-02-06 16:47 573  
[ ]jgraph_4__7090_15.min1.thm12017-02-06 12:46 846  
[ ]jgraph_4__7091_14.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__7093_23.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__7097_32.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7107_37.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__7108_21.min1.thm12017-02-06 12:46 5.0K 
[ ]jgraph_4__7114_13.min1.thm12017-02-06 12:46 244  
[ ]jgraph_4__7122_14.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__7123_15.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__7134_58.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__7143_16.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__7156_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__7156_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__7159_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7159_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__7167_26.min1.thm12017-02-06 12:46 540  
[ ]jgraph_4__7170_8.min1.thm12017-02-06 12:46 838  
[ ]jgraph_4__7175_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7177_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__7183_51.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__7184_14.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7185_48.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__7203_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__7203_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__7206_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7206_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__7214_26.min1.thm12017-02-06 12:46 540  
[ ]jgraph_4__7217_11.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__7222_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7228_51.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__7230_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__7231_48.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__7237_17.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__7251_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__7251_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__7254_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7254_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__7262_26.min1.thm12017-02-06 12:46 616  
[ ]jgraph_4__7265_8.min1.thm12017-02-06 12:46 838  
[ ]jgraph_4__7270_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7272_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__7276_13.min1.thm12017-02-06 12:46 840  
[ ]jgraph_4__7279_19.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7280_48.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__7282_30.min1.thm12017-02-06 12:46 648  
[ ]jgraph_4__7282_30.min1.thm1.tptp2017-02-06 16:47 577  
[ ]jgraph_4__7285_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__7288_24.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__7291_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__7294_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__7326_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__7326_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__7329_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7329_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__7336_13.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__7338_26.min1.thm12017-02-06 12:46 616  
[ ]jgraph_4__7344_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7346_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__7352_19.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7353_48.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__7354_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__7355_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7357_30.min1.thm12017-02-06 12:46 648  
[ ]jgraph_4__7357_30.min1.thm1.tptp2017-02-06 16:47 577  
[ ]jgraph_4__7360_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__7363_26.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__7398_31.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__7403_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__7405_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7407_13.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__7412_57.min1.thm12017-02-06 12:46 573  
[ ]jgraph_4__7421_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7429_35.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7432_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__7438_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7442_11.min1.thm12017-02-06 12:46 786  
[ ]jgraph_4__7443_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7453_13.min1.thm12017-02-06 12:46 788  
[ ]jgraph_4__7454_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7462_32.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__7470_16.min1.thm12017-02-06 12:46 646  
[ ]jgraph_4__7481_35.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7484_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__7489_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7493_11.min1.thm12017-02-06 12:46 786  
[ ]jgraph_4__7494_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7504_13.min1.thm12017-02-06 12:46 788  
[ ]jgraph_4__7505_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7513_32.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__7521_16.min1.thm12017-02-06 12:46 734  
[ ]jgraph_4__7530_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7535_16.min1.thm12017-02-06 12:46 613  
[ ]jgraph_4__7549_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7551_62.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__7554_29.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_4__7555_18.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__7556_19.min1.thm12017-02-06 12:46 878  
[ ]jgraph_4__7556_19.min1.thm1.tptp2017-02-06 16:47 798  
[ ]jgraph_4__7562_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7567_16.min1.thm12017-02-06 12:46 510  
[ ]jgraph_4__7586_31.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__7591_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__7593_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7595_13.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__7600_57.min1.thm12017-02-06 12:46 573  
[ ]jgraph_4__7609_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7617_35.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7620_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__7626_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7630_11.min1.thm12017-02-06 12:46 786  
[ ]jgraph_4__7631_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7641_13.min1.thm12017-02-06 12:46 788  
[ ]jgraph_4__7642_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7650_32.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__7658_16.min1.thm12017-02-06 12:46 646  
[ ]jgraph_4__7669_35.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7672_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__7677_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7681_11.min1.thm12017-02-06 12:46 786  
[ ]jgraph_4__7682_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7692_13.min1.thm12017-02-06 12:46 788  
[ ]jgraph_4__7693_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7701_32.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__7709_16.min1.thm12017-02-06 12:46 734  
[ ]jgraph_4__7718_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7723_16.min1.thm12017-02-06 12:46 613  
[ ]jgraph_4__7737_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7739_62.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__7742_29.min1.thm12017-02-06 12:46 2.8K 
[ ]jgraph_4__7743_18.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__7744_19.min1.thm12017-02-06 12:46 878  
[ ]jgraph_4__7744_19.min1.thm1.tptp2017-02-06 16:47 798  
[ ]jgraph_4__7750_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7755_16.min1.thm12017-02-06 12:46 510  
[ ]jgraph_4__7814_31.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__7818_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__7820_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7824_57.min1.thm12017-02-06 12:46 571  
[ ]jgraph_4__7833_27.min1.thm12017-02-06 12:46 639  
[ ]jgraph_4__7834_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7838_64.min1.thm12017-02-06 12:46 342  
[ ]jgraph_4__7842_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__7847_27.min1.thm12017-02-06 12:46 639  
[ ]jgraph_4__7848_31.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__7861_15.min1.thm12017-02-06 12:46 788  
[ ]jgraph_4__7869_21.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__7873_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__7874_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__7902_24.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__7904_32.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__7911_63.min1.thm12017-02-06 12:46 862  
[ ]jgraph_4__7912_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__7923_6.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__7924_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__7927_19.min1.thm12017-02-06 12:46 945  
[ ]jgraph_4__7934_63.min1.thm12017-02-06 12:46 862  
[ ]jgraph_4__7935_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__7939_32.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__7940_22.min1.thm12017-02-06 12:46 645  
[ ]jgraph_4__7953_15.min1.thm12017-02-06 12:46 793  
[ ]jgraph_4__7961_21.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__7965_14.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__7966_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__7994_24.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__7996_32.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__7999_36.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__8002_62.min1.thm12017-02-06 12:46 321  
[ ]jgraph_4__8004_44.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_4__8005_11.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8007_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__8011_43.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__8015_32.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__8016_42.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8017_52.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__8019_42.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8023_10.min1.thm12017-02-06 12:46 362  
[ ]jgraph_4__8023_10.min1.thm1.tptp2017-02-06 16:47 273  
[ ]jgraph_4__8025_42.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__8029_37.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__8033_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__8037_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8042_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8048_12.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__8052_64.min1.thm12017-02-06 12:46 342  
[ ]jgraph_4__8066_6.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8071_22.min1.thm12017-02-06 12:46 650  
[ ]jgraph_4__8085_14.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__8086_19.min1.thm12017-02-06 12:46 921  
[ ]jgraph_4__8088_42.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__8101_14.min1.thm12017-02-06 12:46 832  
[ ]jgraph_4__8104_6.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8122_14.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__8123_19.min1.thm12017-02-06 12:46 919  
[ ]jgraph_4__8125_42.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__8129_38.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__8130_38.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__8137_21.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__8145_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8146_13.min1.thm12017-02-06 12:46 353  
[ ]jgraph_4__8163_46.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__8165_12.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__8175_37.min1.thm12017-02-06 12:46 881  
[ ]jgraph_4__8177_18.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__8181_37.min1.thm12017-02-06 12:46 920  
[ ]jgraph_4__8183_18.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__8186_16.min1.thm12017-02-06 12:46 362  
[ ]jgraph_4__8188_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8189_14.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__8206_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__8207_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__8208_16.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__8212_57.min1.thm12017-02-06 12:46 593  
[ ]jgraph_4__8213_29.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__8222_23.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8223_31.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__8238_31.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__8249_54.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8250_23.min1.thm12017-02-06 12:46 3.6K 
[ ]jgraph_4__8254_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__8257_21.min1.thm12017-02-06 12:46 956  
[ ]jgraph_4__8259_34.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__8261_15.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__8264_39.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__8268_23.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__8269_25.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__8274_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__8287_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8288_50.min1.thm12017-02-06 12:46 757  
[ ]jgraph_4__8298_6.min1.thm12017-02-06 12:46 937  
[ ]jgraph_4__8299_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__8303_17.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__8314_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8315_50.min1.thm12017-02-06 12:46 757  
[ ]jgraph_4__8325_6.min1.thm12017-02-06 12:46 937  
[ ]jgraph_4__8326_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__8330_17.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__8340_39.min1.thm12017-02-06 12:46 283  
[ ]jgraph_4__8342_11.min1.thm12017-02-06 12:46 518  
[ ]jgraph_4__8347_32.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_4__8352_33.min1.thm12017-02-06 12:46 640  
[ ]jgraph_4__8352_33.min1.thm1.tptp2017-02-06 16:47 569  
[ ]jgraph_4__8355_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__8356_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__8364_13.min1.thm12017-02-06 12:46 228  
[ ]jgraph_4__8368_30.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__8370_40.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__8372_23.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__8376_18.min1.thm12017-02-06 12:46 569  
[ ]jgraph_4__8376_18.min1.thm1.tptp2017-02-06 16:47 487  
[ ]jgraph_4__8380_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__8392_39.min1.thm12017-02-06 12:46 650  
[ ]jgraph_4__8392_39.min1.thm1.tptp2017-02-06 16:47 579  
[ ]jgraph_4__8414_19.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__8416_34.min1.thm12017-02-06 12:46 640  
[ ]jgraph_4__8416_34.min1.thm1.tptp2017-02-06 16:47 569  
[ ]jgraph_4__8417_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__8430_13.min1.thm12017-02-06 12:46 228  
[ ]jgraph_4__8434_30.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__8440_18.min1.thm12017-02-06 12:46 569  
[ ]jgraph_4__8440_18.min1.thm1.tptp2017-02-06 16:47 487  
[ ]jgraph_4__8444_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__8454_39.min1.thm12017-02-06 12:46 650  
[ ]jgraph_4__8454_39.min1.thm1.tptp2017-02-06 16:47 579  
[ ]jgraph_4__8468_21.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__8475_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__8489_19.min1.thm12017-02-06 12:46 706  
[ ]jgraph_4__8489_19.min1.thm1.tptp2017-02-06 16:47 643  
[ ]jgraph_4__8492_16.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__8496_18.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__8497_11.min1.thm12017-02-06 12:46 338  
[ ]jgraph_4__8502_33.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__8505_33.min1.thm12017-02-06 12:46 640  
[ ]jgraph_4__8505_33.min1.thm1.tptp2017-02-06 16:47 569  
[ ]jgraph_4__8506_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__8507_13.min1.thm12017-02-06 12:46 218  
[ ]jgraph_4__8538_34.min1.thm12017-02-06 12:46 640  
[ ]jgraph_4__8538_34.min1.thm1.tptp2017-02-06 16:47 569  
[ ]jgraph_4__8539_14.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8540_13.min1.thm12017-02-06 12:46 218  
[ ]jgraph_4__8555_32.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__8575_45.min1.thm12017-02-06 12:46 706  
[ ]jgraph_4__8575_45.min1.thm1.tptp2017-02-06 16:47 643  
[ ]jgraph_4__8584_34.min1.thm12017-02-06 12:46 840  
[ ]jgraph_4__8587_4.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__8595_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8596_15.min1.thm12017-02-06 12:46 778  
[ ]jgraph_4__8602_9.min1.thm12017-02-06 12:46 637  
[ ]jgraph_4__8603_44.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__8604_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8615_38.min1.thm12017-02-06 12:46 815  
[ ]jgraph_4__8616_49.min1.thm12017-02-06 12:46 562  
[ ]jgraph_4__8625_78.min1.thm12017-02-06 12:46 656  
[ ]jgraph_4__8626_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__8628_20.min1.thm12017-02-06 12:46 841  
[ ]jgraph_4__8630_74.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__8632_61.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__8638_9.min1.thm12017-02-06 12:46 640  
[ ]jgraph_4__8639_35.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__8642_11.min1.thm12017-02-06 12:46 848  
[ ]jgraph_4__8645_45.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__8656_38.min1.thm12017-02-06 12:46 815  
[ ]jgraph_4__8657_49.min1.thm12017-02-06 12:46 562  
[ ]jgraph_4__8666_78.min1.thm12017-02-06 12:46 656  
[ ]jgraph_4__8667_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__8671_11.min1.thm12017-02-06 12:46 848  
[ ]jgraph_4__8674_35.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__8680_47.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__8682_68.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__8684_27.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__8687_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__8688_35.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__8699_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__8703_41.min1.thm12017-02-06 12:46 4.2K 
[ ]jgraph_4__8707_45.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__8708_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__8709_62.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__8720_24.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__8721_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__8723_15.min1.thm12017-02-06 12:46 235  
[ ]jgraph_4__8728_23.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__8729_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__8730_23.min1.thm12017-02-06 12:46 803  
[ ]jgraph_4__8734_26.min1.thm12017-02-06 12:46 851  
[ ]jgraph_4__8739_23.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__8742_16.min1.thm12017-02-06 12:46 878  
[ ]jgraph_4__8744_53.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__8746_40.min1.thm12017-02-06 12:46 943  
[ ]jgraph_4__8761_70.min1.thm12017-02-06 12:46 858  
[ ]jgraph_4__8766_28.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__8767_49.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__8770_25.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__8772_15.min1.thm12017-02-06 12:46 527  
[ ]jgraph_4__8784_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__8800_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__8811_16.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__8811_16.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]jgraph_4__8816_54.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__8822_17.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__8826_27.min1.thm12017-02-06 12:46 395  
[ ]jgraph_4__8827_58.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__8837_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__8838_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__8839_49.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__8840_46.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__8841_45.min1.thm12017-02-06 12:46 784  
[ ]jgraph_4__8842_46.min1.thm12017-02-06 12:46 785  
[ ]jgraph_4__8847_20.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__8856_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__8861_19.min1.thm12017-02-06 12:46 848  
[ ]jgraph_4__8863_29.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__8876_47.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__8883_41.min1.thm12017-02-06 12:46 668  
[ ]jgraph_4__8883_41.min1.thm1.tptp2017-02-06 16:47 597  
[ ]jgraph_4__8890_28.min1.thm12017-02-06 12:46 909  
[ ]jgraph_4__8897_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__8902_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__8904_29.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__8926_41.min1.thm12017-02-06 12:46 668  
[ ]jgraph_4__8926_41.min1.thm1.tptp2017-02-06 16:47 597  
[ ]jgraph_4__8933_28.min1.thm12017-02-06 12:46 909  
[ ]jgraph_4__8939_18.min1.thm12017-02-06 12:46 906  
[ ]jgraph_4__8942_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__8944_26.min1.thm12017-02-06 12:46 770  
[ ]jgraph_4__8969_13.min1.thm12017-02-06 12:46 840  
[ ]jgraph_4__8971_18.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__8975_29.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__8977_22.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__8988_41.min1.thm12017-02-06 12:46 660  
[ ]jgraph_4__8988_41.min1.thm1.tptp2017-02-06 16:47 589  
[ ]jgraph_4__8991_26.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__8992_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9004_49.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__9031_26.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__9034_41.min1.thm12017-02-06 12:46 660  
[ ]jgraph_4__9034_41.min1.thm1.tptp2017-02-06 16:47 589  
[ ]jgraph_4__9035_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9041_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9070_33.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__9076_20.min1.thm12017-02-06 12:46 842  
[ ]jgraph_4__9082_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__9087_41.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__9090_22.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__9094_33.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__9097_26.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__9099_41.min1.thm12017-02-06 12:46 660  
[ ]jgraph_4__9099_41.min1.thm1.tptp2017-02-06 16:47 589  
[ ]jgraph_4__9101_21.min1.thm12017-02-06 12:46 852  
[ ]jgraph_4__9102_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9133_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9161_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9167_31.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__9195_50.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__9206_28.min1.thm12017-02-06 12:46 463  
[ ]jgraph_4__9206_28.min1.thm1.tptp2017-02-06 16:47 386  
[ ]jgraph_4__9207_64.min1.thm12017-02-06 12:46 908  
[ ]jgraph_4__9209_27.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__9210_27.min1.thm12017-02-06 12:46 926  
[ ]jgraph_4__9221_21.min1.thm12017-02-06 12:46 852  
[ ]jgraph_4__9227_20.min1.thm12017-02-06 12:46 842  
[ ]jgraph_4__9234_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__9242_22.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__9245_41.min1.thm12017-02-06 12:46 660  
[ ]jgraph_4__9245_41.min1.thm1.tptp2017-02-06 16:47 589  
[ ]jgraph_4__9246_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9247_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9264_33.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__9279_33.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__9293_21.min1.thm12017-02-06 12:46 852  
[ ]jgraph_4__9295_57.min1.thm12017-02-06 12:46 4.4K 
[ ]jgraph_4__9301_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9306_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9307_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9333_31.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__9375_28.min1.thm12017-02-06 12:46 463  
[ ]jgraph_4__9375_28.min1.thm1.tptp2017-02-06 16:47 386  
[ ]jgraph_4__9376_64.min1.thm12017-02-06 12:46 908  
[ ]jgraph_4__9378_27.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__9379_27.min1.thm12017-02-06 12:46 926  
[ ]jgraph_4__9382_20.min1.thm12017-02-06 12:46 842  
[ ]jgraph_4__9385_16.min1.thm12017-02-06 12:46 830  
[ ]jgraph_4__9399_58.min1.thm12017-02-06 12:46 858  
[ ]jgraph_4__9406_38.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__9411_49.min1.thm12017-02-06 12:46 372  
[ ]jgraph_4__9411_49.min1.thm1.tptp2017-02-06 16:47 294  
[ ]jgraph_4__9414_20.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__9417_36.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__9423_23.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__9425_20.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__9426_20.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__9436_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__9437_57.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__9438_19.min1.thm12017-02-06 12:46 849  
[ ]jgraph_4__9439_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9468_29.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__9487_70.min1.thm12017-02-06 12:46 3.6K 
[ ]jgraph_4__9495_20.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__9496_21.min1.thm12017-02-06 12:46 848  
[ ]jgraph_4__9499_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9500_21.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__9502_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__9503_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9517_47.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_4__9518_57.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__9521_47.min1.thm12017-02-06 12:46 3.6K 
[ ]jgraph_4__9525_35.min1.thm12017-02-06 12:46 5.5K 
[ ]jgraph_4__9536_29.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__9556_70.min1.thm12017-02-06 12:46 3.6K 
[ ]jgraph_4__9565_19.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__9576_51.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__9578_58.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__9579_56.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__9587_42.min1.thm12017-02-06 12:46 768  
[ ]jgraph_4__9598_43.min1.thm12017-02-06 12:46 776  
[ ]jgraph_4__9604_30.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__9608_31.min1.thm12017-02-06 12:46 921  
[ ]jgraph_4__9616_23.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__9617_27.min1.thm12017-02-06 12:46 816  
[ ]jgraph_4__9622_18.min1.thm12017-02-06 12:46 705  
[ ]jgraph_4__9635_47.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__9637_54.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__9638_36.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__9641_26.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__9648_32.min1.thm12017-02-06 12:46 722  
[ ]jgraph_4__9657_66.min1.thm12017-02-06 12:46 858  
[ ]jgraph_4__9665_68.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__9668_14.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9684_13.min1.thm12017-02-06 12:46 838  
[ ]jgraph_4__9687_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__9697_38.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__9708_13.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__9723_13.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9735_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__9740_35.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_4__9782_21.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__9785_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__9789_21.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__9793_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__9822_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__9830_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__9851_11.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__9862_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__9864_18.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_4__9865_13.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__9895_7.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__9940_16.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__9945_33.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__9949_30.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__9950_17.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__9962_14.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__9967_16.min1.thm12017-02-06 12:46 3.8K 
[ ]jgraph_4__9970_19.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__9993_13.min1.thm12017-02-06 12:46 244  
[ ]jgraph_4__9998_20.min1.thm12017-02-06 12:46 3.9K 
[ ]jgraph_4__10001_21.min1.thm12017-02-06 12:46 3.9K 
[ ]jgraph_4__10006_25.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__10007_35.min1.thm12017-02-06 12:46 644  
[ ]jgraph_4__10007_35.min1.thm1.tptp2017-02-06 16:47 573  
[ ]jgraph_4__10008_15.min1.thm12017-02-06 12:46 846  
[ ]jgraph_4__10009_14.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__10011_23.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__10015_32.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10025_37.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__10026_21.min1.thm12017-02-06 12:46 5.4K 
[ ]jgraph_4__10032_13.min1.thm12017-02-06 12:46 244  
[ ]jgraph_4__10040_14.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__10041_15.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__10052_58.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__10055_24.min1.thm12017-02-06 12:46 5.0K 
[ ]jgraph_4__10061_16.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__10074_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__10074_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__10077_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10077_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__10085_26.min1.thm12017-02-06 12:46 540  
[ ]jgraph_4__10088_8.min1.thm12017-02-06 12:46 838  
[ ]jgraph_4__10093_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10095_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__10101_51.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__10102_14.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10103_48.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__10121_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__10121_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__10124_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10124_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__10132_26.min1.thm12017-02-06 12:46 540  
[ ]jgraph_4__10135_11.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__10140_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10146_51.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__10148_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__10149_48.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__10155_17.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__10169_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__10169_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__10172_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10172_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__10180_26.min1.thm12017-02-06 12:46 616  
[ ]jgraph_4__10183_8.min1.thm12017-02-06 12:46 838  
[ ]jgraph_4__10188_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10190_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__10194_13.min1.thm12017-02-06 12:46 840  
[ ]jgraph_4__10197_19.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10198_48.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__10200_30.min1.thm12017-02-06 12:46 648  
[ ]jgraph_4__10200_30.min1.thm1.tptp2017-02-06 16:47 577  
[ ]jgraph_4__10203_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__10206_24.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__10209_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__10212_26.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__10244_77.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__10244_77.min1.thm1.tptp2017-02-06 16:47 1.8K 
[ ]jgraph_4__10247_73.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10247_73.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]jgraph_4__10254_13.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__10256_26.min1.thm12017-02-06 12:46 616  
[ ]jgraph_4__10262_44.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10264_19.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__10270_19.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10271_48.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__10272_49.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__10273_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10275_30.min1.thm12017-02-06 12:46 648  
[ ]jgraph_4__10275_30.min1.thm1.tptp2017-02-06 16:47 577  
[ ]jgraph_4__10278_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__10281_26.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__10313_14.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__10314_12.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__10321_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__10323_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10325_12.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__10328_19.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__10335_57.min1.thm12017-02-06 12:46 584  
[ ]jgraph_4__10344_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10352_35.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10355_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__10361_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10365_11.min1.thm12017-02-06 12:46 786  
[ ]jgraph_4__10366_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10376_13.min1.thm12017-02-06 12:46 788  
[ ]jgraph_4__10377_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10385_36.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__10393_16.min1.thm12017-02-06 12:46 646  
[ ]jgraph_4__10404_35.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10407_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__10412_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10416_11.min1.thm12017-02-06 12:46 786  
[ ]jgraph_4__10417_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10427_13.min1.thm12017-02-06 12:46 788  
[ ]jgraph_4__10428_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10436_35.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__10444_16.min1.thm12017-02-06 12:46 756  
[ ]jgraph_4__10453_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10458_16.min1.thm12017-02-06 12:46 613  
[ ]jgraph_4__10472_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10474_64.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__10477_32.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_4__10478_18.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__10479_19.min1.thm12017-02-06 12:46 888  
[ ]jgraph_4__10479_19.min1.thm1.tptp2017-02-06 16:47 808  
[ ]jgraph_4__10485_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10490_16.min1.thm12017-02-06 12:46 510  
[ ]jgraph_4__10506_14.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__10507_12.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__10514_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__10516_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10518_12.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__10521_19.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__10528_57.min1.thm12017-02-06 12:46 584  
[ ]jgraph_4__10537_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10545_35.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10548_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__10554_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10558_11.min1.thm12017-02-06 12:46 786  
[ ]jgraph_4__10559_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10569_13.min1.thm12017-02-06 12:46 788  
[ ]jgraph_4__10570_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10578_36.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__10586_16.min1.thm12017-02-06 12:46 646  
[ ]jgraph_4__10597_35.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10600_18.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__10605_66.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10609_11.min1.thm12017-02-06 12:46 786  
[ ]jgraph_4__10610_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10620_13.min1.thm12017-02-06 12:46 788  
[ ]jgraph_4__10621_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10629_35.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__10637_16.min1.thm12017-02-06 12:46 756  
[ ]jgraph_4__10646_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10651_16.min1.thm12017-02-06 12:46 613  
[ ]jgraph_4__10665_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10667_64.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__10670_32.min1.thm12017-02-06 12:46 2.9K 
[ ]jgraph_4__10671_18.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__10672_19.min1.thm12017-02-06 12:46 888  
[ ]jgraph_4__10672_19.min1.thm1.tptp2017-02-06 16:47 808  
[ ]jgraph_4__10678_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10683_16.min1.thm12017-02-06 12:46 510  
[ ]jgraph_4__10737_14.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__10738_12.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__10744_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__10746_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10748_12.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__10751_19.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__10755_57.min1.thm12017-02-06 12:46 583  
[ ]jgraph_4__10769_6.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10770_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__10773_19.min1.thm12017-02-06 12:46 939  
[ ]jgraph_4__10780_63.min1.thm12017-02-06 12:46 862  
[ ]jgraph_4__10781_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__10787_63.min1.thm12017-02-06 12:46 862  
[ ]jgraph_4__10788_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__10792_32.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10793_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10799_32.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__10800_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10803_62.min1.thm12017-02-06 12:46 318  
[ ]jgraph_4__10805_44.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_4__10806_11.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10808_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__10813_46.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__10817_41.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10821_12.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__10825_25.min1.thm12017-02-06 12:46 650  
[ ]jgraph_4__10826_42.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10830_62.min1.thm12017-02-06 12:46 342  
[ ]jgraph_4__10846_15.min1.thm12017-02-06 12:46 793  
[ ]jgraph_4__10854_21.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__10858_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__10859_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__10887_24.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__10889_34.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__10892_52.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__10894_42.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__10898_22.min1.thm12017-02-06 12:46 651  
[ ]jgraph_4__10902_64.min1.thm12017-02-06 12:46 342  
[ ]jgraph_4__10916_6.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10921_22.min1.thm12017-02-06 12:46 651  
[ ]jgraph_4__10922_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__10927_31.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__10931_25.min1.thm12017-02-06 12:46 650  
[ ]jgraph_4__10944_15.min1.thm12017-02-06 12:46 794  
[ ]jgraph_4__10952_21.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__10956_14.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__10957_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__10985_24.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__10987_34.min1.thm12017-02-06 12:46 2.7K 
[ ]jgraph_4__10991_42.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__10995_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__11001_38.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__11015_14.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__11016_19.min1.thm12017-02-06 12:46 921  
[ ]jgraph_4__11018_42.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__11031_14.min1.thm12017-02-06 12:46 833  
[ ]jgraph_4__11034_6.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__11039_43.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__11040_10.min1.thm12017-02-06 12:46 358  
[ ]jgraph_4__11040_10.min1.thm1.tptp2017-02-06 16:47 269  
[ ]jgraph_4__11041_38.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__11048_21.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__11064_14.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__11065_19.min1.thm12017-02-06 12:46 921  
[ ]jgraph_4__11067_42.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__11075_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__11076_13.min1.thm12017-02-06 12:46 353  
[ ]jgraph_4__11093_46.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__11095_12.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__11104_35.min1.thm12017-02-06 12:46 873  
[ ]jgraph_4__11106_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__11110_35.min1.thm12017-02-06 12:46 915  
[ ]jgraph_4__11112_16.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__11115_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__11116_14.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__11134_18.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__11136_15.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__11137_14.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__11139_57.min1.thm12017-02-06 12:46 571  
[ ]jgraph_4__11150_23.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__11151_31.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__11166_31.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__11177_53.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__11178_23.min1.thm12017-02-06 12:46 3.6K 
[ ]jgraph_4__11182_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__11185_21.min1.thm12017-02-06 12:46 956  
[ ]jgraph_4__11187_34.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__11189_15.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__11192_39.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__11197_25.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__11202_19.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__11215_39.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__11216_50.min1.thm12017-02-06 12:46 757  
[ ]jgraph_4__11226_6.min1.thm12017-02-06 12:46 937  
[ ]jgraph_4__11227_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__11231_17.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__11242_38.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__11243_50.min1.thm12017-02-06 12:46 757  
[ ]jgraph_4__11253_6.min1.thm12017-02-06 12:46 937  
[ ]jgraph_4__11254_35.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__11258_17.min1.thm12017-02-06 12:46 2.3K 
[ ]jgraph_4__11270_11.min1.thm12017-02-06 12:46 518  
[ ]jgraph_4__11275_35.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_4__11280_33.min1.thm12017-02-06 12:46 640  
[ ]jgraph_4__11280_33.min1.thm1.tptp2017-02-06 16:47 569  
[ ]jgraph_4__11283_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__11284_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__11292_13.min1.thm12017-02-06 12:46 228  
[ ]jgraph_4__11296_30.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__11298_40.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__11307_18.min1.thm12017-02-06 12:46 498  
[ ]jgraph_4__11311_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__11323_39.min1.thm12017-02-06 12:46 650  
[ ]jgraph_4__11323_39.min1.thm1.tptp2017-02-06 16:47 579  
[ ]jgraph_4__11345_19.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__11347_34.min1.thm12017-02-06 12:46 640  
[ ]jgraph_4__11347_34.min1.thm1.tptp2017-02-06 16:47 569  
[ ]jgraph_4__11348_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__11361_13.min1.thm12017-02-06 12:46 228  
[ ]jgraph_4__11365_30.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__11372_18.min1.thm12017-02-06 12:46 498  
[ ]jgraph_4__11376_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__11386_39.min1.thm12017-02-06 12:46 650  
[ ]jgraph_4__11386_39.min1.thm1.tptp2017-02-06 16:47 579  
[ ]jgraph_4__11400_21.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__11407_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__11421_19.min1.thm12017-02-06 12:46 706  
[ ]jgraph_4__11421_19.min1.thm1.tptp2017-02-06 16:47 643  
[ ]jgraph_4__11424_16.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__11428_18.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__11429_11.min1.thm12017-02-06 12:46 338  
[ ]jgraph_4__11434_35.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__11437_33.min1.thm12017-02-06 12:46 640  
[ ]jgraph_4__11437_33.min1.thm1.tptp2017-02-06 16:47 569  
[ ]jgraph_4__11438_14.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__11439_13.min1.thm12017-02-06 12:46 218  
[ ]jgraph_4__11471_34.min1.thm12017-02-06 12:46 640  
[ ]jgraph_4__11471_34.min1.thm1.tptp2017-02-06 16:47 569  
[ ]jgraph_4__11472_14.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__11473_13.min1.thm12017-02-06 12:46 218  
[ ]jgraph_4__11488_32.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__11509_45.min1.thm12017-02-06 12:46 706  
[ ]jgraph_4__11509_45.min1.thm1.tptp2017-02-06 16:47 643  
[ ]jgraph_4__11525_40.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__11526_53.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__11529_40.min1.thm12017-02-06 12:46 942  
[ ]jgraph_4__11530_45.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__11532_76.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__11533_11.min1.thm12017-02-06 12:46 786  
[ ]jgraph_4__11537_13.min1.thm12017-02-06 12:46 778  
[ ]jgraph_4__11543_9.min1.thm12017-02-06 12:46 714  
[ ]jgraph_4__11544_44.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__11550_9.min1.thm12017-02-06 12:46 640  
[ ]jgraph_4__11551_34.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__11552_42.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__11563_38.min1.thm12017-02-06 12:46 815  
[ ]jgraph_4__11564_49.min1.thm12017-02-06 12:46 562  
[ ]jgraph_4__11573_78.min1.thm12017-02-06 12:46 656  
[ ]jgraph_4__11574_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__11578_11.min1.thm12017-02-06 12:46 848  
[ ]jgraph_4__11581_45.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__11592_38.min1.thm12017-02-06 12:46 815  
[ ]jgraph_4__11593_49.min1.thm12017-02-06 12:46 562  
[ ]jgraph_4__11602_78.min1.thm12017-02-06 12:46 656  
[ ]jgraph_4__11603_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__11607_11.min1.thm12017-02-06 12:46 848  
[ ]jgraph_4__11610_35.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__11616_47.min1.thm12017-02-06 12:46 966  
[ ]jgraph_4__11618_68.min1.thm12017-02-06 12:46 2.6K 
[ ]jgraph_4__11620_27.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__11623_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__11624_35.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__11635_27.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__11639_41.min1.thm12017-02-06 12:46 4.2K 
[ ]jgraph_4__11643_16.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__11644_62.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__11647_61.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__11656_24.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__11657_13.min1.thm12017-02-06 12:46 233  
[ ]jgraph_4__11662_21.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__11663_16.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__11664_21.min1.thm12017-02-06 12:46 797  
[ ]jgraph_4__11668_24.min1.thm12017-02-06 12:46 847  
[ ]jgraph_4__11670_16.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__11673_21.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__11676_42.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__11690_64.min1.thm12017-02-06 12:46 858  
[ ]jgraph_4__11695_28.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__11696_49.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__11699_22.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__11700_13.min1.thm12017-02-06 12:46 525  
[ ]jgraph_4__11713_17.min1.thm12017-02-06 12:46 882  
[ ]jgraph_4__11716_21.min1.thm12017-02-06 12:46 4.5K 
[ ]jgraph_4__11730_17.min1.thm12017-02-06 12:46 882  
[ ]jgraph_4__11744_54.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__11750_17.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__11754_27.min1.thm12017-02-06 12:46 395  
[ ]jgraph_4__11755_58.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__11765_14.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__11766_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__11767_49.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__11768_46.min1.thm12017-02-06 12:46 784  
[ ]jgraph_4__11769_46.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__11770_45.min1.thm12017-02-06 12:46 785  
[ ]jgraph_4__11774_18.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__11783_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__11788_17.min1.thm12017-02-06 12:46 846  
[ ]jgraph_4__11790_27.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__11803_47.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__11810_39.min1.thm12017-02-06 12:46 666  
[ ]jgraph_4__11810_39.min1.thm1.tptp2017-02-06 16:47 595  
[ ]jgraph_4__11817_26.min1.thm12017-02-06 12:46 903  
[ ]jgraph_4__11824_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__11829_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__11831_27.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__11853_39.min1.thm12017-02-06 12:46 666  
[ ]jgraph_4__11853_39.min1.thm1.tptp2017-02-06 16:47 595  
[ ]jgraph_4__11860_26.min1.thm12017-02-06 12:46 903  
[ ]jgraph_4__11867_19.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__11869_26.min1.thm12017-02-06 12:46 770  
[ ]jgraph_4__11894_13.min1.thm12017-02-06 12:46 840  
[ ]jgraph_4__11895_16.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__11899_27.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__11900_18.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__11910_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__11912_37.min1.thm12017-02-06 12:46 656  
[ ]jgraph_4__11912_37.min1.thm1.tptp2017-02-06 16:47 585  
[ ]jgraph_4__11913_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__11925_42.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__11954_37.min1.thm12017-02-06 12:46 656  
[ ]jgraph_4__11954_37.min1.thm1.tptp2017-02-06 16:47 585  
[ ]jgraph_4__11957_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__11958_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__11962_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__11989_29.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_4__11999_20.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__12004_38.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__12005_18.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__12009_29.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__12013_17.min1.thm12017-02-06 12:46 848  
[ ]jgraph_4__12016_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__12018_37.min1.thm12017-02-06 12:46 656  
[ ]jgraph_4__12018_37.min1.thm1.tptp2017-02-06 16:47 585  
[ ]jgraph_4__12019_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__12049_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__12077_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__12083_27.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__12111_43.min1.thm12017-02-06 12:46 2.5K 
[ ]jgraph_4__12122_60.min1.thm12017-02-06 12:46 904  
[ ]jgraph_4__12127_24.min1.thm12017-02-06 12:46 459  
[ ]jgraph_4__12127_24.min1.thm1.tptp2017-02-06 16:47 382  
[ ]jgraph_4__12128_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__12139_17.min1.thm12017-02-06 12:46 848  
[ ]jgraph_4__12150_20.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__12156_18.min1.thm12017-02-06 12:46 1.9K 
[ ]jgraph_4__12160_29.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__12163_37.min1.thm12017-02-06 12:46 656  
[ ]jgraph_4__12163_37.min1.thm1.tptp2017-02-06 16:47 585  
[ ]jgraph_4__12164_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__12165_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__12195_29.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_4__12209_17.min1.thm12017-02-06 12:46 848  
[ ]jgraph_4__12211_54.min1.thm12017-02-06 12:46 4.4K 
[ ]jgraph_4__12217_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__12222_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__12223_21.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__12249_27.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__12291_60.min1.thm12017-02-06 12:46 904  
[ ]jgraph_4__12296_24.min1.thm12017-02-06 12:46 459  
[ ]jgraph_4__12296_24.min1.thm1.tptp2017-02-06 16:47 382  
[ ]jgraph_4__12297_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__12313_58.min1.thm12017-02-06 12:46 858  
[ ]jgraph_4__12320_38.min1.thm12017-02-06 12:46 1.8K 
[ ]jgraph_4__12325_49.min1.thm12017-02-06 12:46 372  
[ ]jgraph_4__12325_49.min1.thm1.tptp2017-02-06 16:47 294  
[ ]jgraph_4__12328_20.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__12331_36.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__12337_23.min1.thm12017-02-06 12:46 1.4K 
[ ]jgraph_4__12339_20.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__12340_20.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__12350_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__12351_57.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__12352_19.min1.thm12017-02-06 12:46 849  
[ ]jgraph_4__12353_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__12382_29.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__12406_72.min1.thm12017-02-06 12:46 3.7K 
[ ]jgraph_4__12414_20.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__12415_19.min1.thm12017-02-06 12:46 848  
[ ]jgraph_4__12418_19.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__12419_21.min1.thm12017-02-06 12:46 2.2K 
[ ]jgraph_4__12421_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__12422_23.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__12436_47.min1.thm12017-02-06 12:46 3.4K 
[ ]jgraph_4__12437_57.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__12440_47.min1.thm12017-02-06 12:46 3.7K 
[ ]jgraph_4__12441_60.min1.thm12017-02-06 12:46 3.7K 
[ ]jgraph_4__12455_29.min1.thm12017-02-06 12:46 2.0K 
[ ]jgraph_4__12476_72.min1.thm12017-02-06 12:46 3.7K 
[ ]jgraph_4__12485_19.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__12496_51.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__12498_58.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__12499_56.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__12507_42.min1.thm12017-02-06 12:46 768  
[ ]jgraph_4__12518_43.min1.thm12017-02-06 12:46 776  
[ ]jgraph_4__12524_30.min1.thm12017-02-06 12:46 1.6K 
[ ]jgraph_4__12528_31.min1.thm12017-02-06 12:46 921  
[ ]jgraph_4__12536_23.min1.thm12017-02-06 12:46 2.1K 
[ ]jgraph_4__12537_27.min1.thm12017-02-06 12:46 816  
[ ]jgraph_4__12542_18.min1.thm12017-02-06 12:46 706  
[ ]jgraph_4__12555_47.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__12557_54.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__12558_36.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__12561_26.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__12568_32.min1.thm12017-02-06 12:46 722  
[ ]jgraph_4__12585_15.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__12587_14.min1.thm12017-02-06 12:46 1.3K 
[ ]jgraph_4__12600_13.min1.thm12017-02-06 12:46 838  
[ ]jgraph_4__12606_15.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__12612_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__12622_38.min1.thm12017-02-06 12:46 2.4K 
[ ]jgraph_4__12637_13.min1.thm12017-02-06 12:46 1.2K 
[ ]jgraph_4__12642_35.min1.thm12017-02-06 12:46 3.0K 
[ ]jgraph_4__12645_18.min1.thm12017-02-06 12:46 1.7K 
[ ]jgraph_4__12697_23.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__12700_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__12704_22.min1.thm12017-02-06 12:46 3.5K 
[ ]jgraph_4__12708_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__12737_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__12745_13.min1.thm12017-02-06 12:46 1.1K 
[ ]jgraph_4__12766_11.min1.thm12017-02-06 12:46 1.0K 
[ ]jgraph_4__12777_19.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__12779_18.min1.thm12017-02-06 12:46 3.1K 
[ ]jgraph_4__12780_13.min1.thm12017-02-06 12:46 1.5K 
[ ]jgraph_4__12808_48.min1.thm12017-02-06 12:46 2.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80