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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfunct_3__56_16.min1.thm12017-02-06 12:46 747  
[ ]rfunct_3__59_16.min1.thm12017-02-06 12:46 872  
[ ]rfunct_3__67_13.min1.thm12017-02-06 12:46 212  
[ ]rfunct_3__70_25.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__71_21.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__75_40.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__76_18.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__79_14.min1.thm12017-02-06 12:46 487  
[ ]rfunct_3__87_13.min1.thm12017-02-06 12:46 212  
[ ]rfunct_3__90_39.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_3__91_21.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__95_40.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__96_21.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__99_14.min1.thm12017-02-06 12:46 529  
[ ]rfunct_3__106_49.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_3__107_49.min1.thm12017-02-06 12:46 551  
[ ]rfunct_3__107_49.min1.thm1.tptp2017-02-06 16:47 474  
[ ]rfunct_3__118_13.min1.thm12017-02-06 12:46 212  
[ ]rfunct_3__121_29.min1.thm12017-02-06 12:46 2.4K 
[ ]rfunct_3__122_21.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_3__126_23.min1.thm12017-02-06 12:46 847  
[ ]rfunct_3__127_21.min1.thm12017-02-06 12:46 2.7K 
[ ]rfunct_3__130_14.min1.thm12017-02-06 12:46 571  
[ ]rfunct_3__137_32.min1.thm12017-02-06 12:46 888  
[ ]rfunct_3__138_32.min1.thm12017-02-06 12:46 766  
[ ]rfunct_3__140_13.min1.thm12017-02-06 12:46 268  
[ ]rfunct_3__143_29.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__144_21.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__148_29.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__152_14.min1.thm12017-02-06 12:46 705  
[ ]rfunct_3__158_24.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__176_17.min1.thm12017-02-06 12:46 505  
[ ]rfunct_3__198_17.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__201_19.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__202_21.min1.thm12017-02-06 12:46 445  
[ ]rfunct_3__202_21.min1.thm1.tptp2017-02-06 16:47 380  
[ ]rfunct_3__203_21.min1.thm12017-02-06 12:46 2.4K 
[ ]rfunct_3__205_28.min1.thm12017-02-06 12:46 497  
[ ]rfunct_3__205_28.min1.thm1.tptp2017-02-06 16:47 432  
[ ]rfunct_3__211_37.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__214_23.min1.thm12017-02-06 12:46 489  
[ ]rfunct_3__214_23.min1.thm1.tptp2017-02-06 16:47 424  
[ ]rfunct_3__216_19.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_3__218_19.min1.thm12017-02-06 12:46 438  
[ ]rfunct_3__218_19.min1.thm1.tptp2017-02-06 16:47 373  
[ ]rfunct_3__220_17.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__232_39.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__239_37.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__242_8.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__243_26.min1.thm12017-02-06 12:46 481  
[ ]rfunct_3__243_26.min1.thm1.tptp2017-02-06 16:47 416  
[ ]rfunct_3__254_25.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__260_42.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__264_20.min1.thm12017-02-06 12:46 423  
[ ]rfunct_3__264_20.min1.thm1.tptp2017-02-06 16:47 358  
[ ]rfunct_3__267_15.min1.thm12017-02-06 12:46 273  
[ ]rfunct_3__270_24.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__271_30.min1.thm12017-02-06 12:46 538  
[ ]rfunct_3__276_25.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__281_16.min1.thm12017-02-06 12:46 722  
[ ]rfunct_3__287_18.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__288_21.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__290_16.min1.thm12017-02-06 12:46 593  
[ ]rfunct_3__293_28.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__296_30.min1.thm12017-02-06 12:46 481  
[ ]rfunct_3__296_30.min1.thm1.tptp2017-02-06 16:47 416  
[ ]rfunct_3__301_27.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__303_30.min1.thm12017-02-06 12:46 481  
[ ]rfunct_3__303_30.min1.thm1.tptp2017-02-06 16:47 416  
[ ]rfunct_3__307_14.min1.thm12017-02-06 12:46 810  
[ ]rfunct_3__307_14.min1.thm1.tptp2017-02-06 16:47 736  
[ ]rfunct_3__314_25.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__320_39.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__323_24.min1.thm12017-02-06 12:46 413  
[ ]rfunct_3__323_24.min1.thm1.tptp2017-02-06 16:47 348  
[ ]rfunct_3__324_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__326_17.min1.thm12017-02-06 12:46 385  
[ ]rfunct_3__326_17.min1.thm1.tptp2017-02-06 16:47 320  
[ ]rfunct_3__328_19.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__333_37.min1.thm12017-02-06 12:46 733  
[ ]rfunct_3__334_15.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__335_17.min1.thm12017-02-06 12:46 377  
[ ]rfunct_3__335_17.min1.thm1.tptp2017-02-06 16:47 312  
[ ]rfunct_3__336_22.min1.thm12017-02-06 12:46 609  
[ ]rfunct_3__339_22.min1.thm12017-02-06 12:46 459  
[ ]rfunct_3__339_22.min1.thm1.tptp2017-02-06 16:47 394  
[ ]rfunct_3__340_15.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__357_22.min1.thm12017-02-06 12:46 415  
[ ]rfunct_3__357_22.min1.thm1.tptp2017-02-06 16:47 350  
[ ]rfunct_3__379_54.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__391_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__400_15.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_3__415_15.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__419_52.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__423_55.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__424_52.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__428_31.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__432_51.min1.thm12017-02-06 12:46 2.8K 
[ ]rfunct_3__434_41.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__445_41.min1.thm12017-02-06 12:46 459  
[ ]rfunct_3__447_18.min1.thm12017-02-06 12:46 694  
[ ]rfunct_3__456_41.min1.thm12017-02-06 12:46 459  
[ ]rfunct_3__460_20.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__462_16.min1.thm12017-02-06 12:46 382  
[ ]rfunct_3__462_16.min1.thm1.tptp2017-02-06 16:47 302  
[ ]rfunct_3__476_65.min1.thm12017-02-06 12:46 439  
[ ]rfunct_3__477_19.min1.thm12017-02-06 12:46 581  
[ ]rfunct_3__477_19.min1.thm1.tptp2017-02-06 16:47 528  
[ ]rfunct_3__481_14.min1.thm12017-02-06 12:46 554  
[ ]rfunct_3__481_14.min1.thm1.tptp2017-02-06 16:47 500  
[ ]rfunct_3__489_30.min1.thm12017-02-06 12:46 940  
[ ]rfunct_3__490_19.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__499_11.min1.thm12017-02-06 12:46 889  
[ ]rfunct_3__508_39.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__509_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__510_19.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_3__515_39.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__516_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__517_19.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_3__522_39.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__523_33.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__524_19.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_3__529_39.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__530_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__531_19.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__540_35.min1.thm12017-02-06 12:46 832  
[ ]rfunct_3__541_31.min1.thm12017-02-06 12:46 890  
[ ]rfunct_3__542_19.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__547_35.min1.thm12017-02-06 12:46 832  
[ ]rfunct_3__548_28.min1.thm12017-02-06 12:46 819  
[ ]rfunct_3__549_19.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__554_35.min1.thm12017-02-06 12:46 832  
[ ]rfunct_3__555_28.min1.thm12017-02-06 12:46 814  
[ ]rfunct_3__556_19.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__566_35.min1.thm12017-02-06 12:46 832  
[ ]rfunct_3__567_31.min1.thm12017-02-06 12:46 944  
[ ]rfunct_3__568_19.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__592_29.min1.thm12017-02-06 12:46 962  
[ ]rfunct_3__593_36.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__606_19.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__615_41.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__618_24.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__636_14.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_3__638_25.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__643_31.min1.thm12017-02-06 12:46 387  
[ ]rfunct_3__643_31.min1.thm1.tptp2017-02-06 16:47 304  
[ ]rfunct_3__652_55.min1.thm12017-02-06 12:46 575  
[ ]rfunct_3__661_16.min1.thm12017-02-06 12:46 575  
[ ]rfunct_3__677_25.min1.thm12017-02-06 12:46 575  
[ ]rfunct_3__689_19.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_3__698_21.min1.thm12017-02-06 12:46 387  
[ ]rfunct_3__698_21.min1.thm1.tptp2017-02-06 16:47 304  
[ ]rfunct_3__700_25.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__743_17.min1.thm12017-02-06 12:46 181  
[ ]rfunct_3__753_15.min1.thm12017-02-06 12:46 3.4K 
[ ]rfunct_3__757_20.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__758_22.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__761_14.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__762_26.min1.thm12017-02-06 12:46 894  
[ ]rfunct_3__766_18.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__769_12.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__770_26.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__771_47.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__773_17.min1.thm12017-02-06 12:46 965  
[ ]rfunct_3__775_23.min1.thm12017-02-06 12:46 797  
[ ]rfunct_3__776_17.min1.thm12017-02-06 12:46 664  
[ ]rfunct_3__781_32.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__784_16.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__787_40.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__812_42.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__813_30.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__836_29.min1.thm12017-02-06 12:46 718  
[ ]rfunct_3__837_23.min1.thm12017-02-06 12:46 697  
[ ]rfunct_3__838_21.min1.thm12017-02-06 12:46 928  
[ ]rfunct_3__840_57.min1.thm12017-02-06 12:46 707  
[ ]rfunct_3__842_25.min1.thm12017-02-06 12:46 368  
[ ]rfunct_3__842_25.min1.thm1.tptp2017-02-06 16:47 286  
[ ]rfunct_3__845_19.min1.thm12017-02-06 12:46 947  
[ ]rfunct_3__855_48.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__860_31.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__861_26.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__884_30.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__889_17.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_3__893_54.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__895_17.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_3__904_19.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__917_22.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__918_49.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__922_30.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__927_17.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_3__931_19.min1.thm12017-02-06 12:46 3.6K 
[ ]rfunct_3__951_24.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__954_17.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__961_18.min1.thm12017-02-06 12:46 849  
[ ]rfunct_3__971_24.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__972_24.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__977_26.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__978_26.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__1006_13.min1.thm12017-02-06 12:46 251  
[ ]rfunct_3__1009_21.min1.thm12017-02-06 12:46 870  
[ ]rfunct_3__1010_21.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1014_15.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_3__1019_21.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__1022_14.min1.thm12017-02-06 12:46 758  
[ ]rfunct_3__1040_13.min1.thm12017-02-06 12:46 251  
[ ]rfunct_3__1049_15.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1051_27.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__1055_19.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_3__1059_14.min1.thm12017-02-06 12:46 752  
[ ]rfunct_3__1081_24.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1083_15.min1.thm12017-02-06 12:46 195  
[ ]rfunct_3__1089_18.min1.thm12017-02-06 12:46 2.7K 
[ ]rfunct_3__1100_17.min1.thm12017-02-06 12:46 898  
[ ]rfunct_3__1101_17.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_3__1104_19.min1.thm12017-02-06 12:46 3.4K 
[ ]rfunct_3__1117_40.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1119_29.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__1121_44.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_3__1127_33.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_3__1129_33.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__1135_21.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1136_17.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1138_21.min1.thm12017-02-06 12:46 259  
[ ]rfunct_3__1141_33.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_3__1145_29.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_3__1148_27.min1.thm12017-02-06 12:46 952  
[ ]rfunct_3__1154_26.min1.thm12017-02-06 12:46 587  
[ ]rfunct_3__1159_16.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1161_11.min1.thm12017-02-06 12:46 399  
[ ]rfunct_3__1163_17.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__1172_24.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1175_13.min1.thm12017-02-06 12:46 251  
[ ]rfunct_3__1178_21.min1.thm12017-02-06 12:46 860  
[ ]rfunct_3__1186_54.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__1189_17.min1.thm12017-02-06 12:46 195  
[ ]rfunct_3__1192_33.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__1197_42.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_3__1198_19.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_3__1211_34.min1.thm12017-02-06 12:46 3.6K 
[ ]rfunct_3__1218_18.min1.thm12017-02-06 12:46 936  
[ ]rfunct_3__1221_14.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__1231_33.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1233_14.min1.thm12017-02-06 12:46 618  
[ ]rfunct_3__1253_15.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_3__1259_26.min1.thm12017-02-06 12:46 967  
[ ]rfunct_3__1261_17.min1.thm12017-02-06 12:46 3.7K 
[ ]rfunct_3__1266_59.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__1278_17.min1.thm12017-02-06 12:46 181  
[ ]rfunct_3__1290_15.min1.thm12017-02-06 12:46 3.4K 
[ ]rfunct_3__1294_50.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__1298_23.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1301_15.min1.thm12017-02-06 12:46 195  
[ ]rfunct_3__1305_23.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_3__1312_16.min1.thm12017-02-06 12:46 466  
[ ]rfunct_3__1313_30.min1.thm12017-02-06 12:46 3.5K 
[ ]rfunct_3__1319_20.min1.thm12017-02-06 12:46 2.7K 
[ ]rfunct_3__1326_33.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1327_33.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1328_42.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_3__1337_16.min1.thm12017-02-06 12:46 682  
[ ]rfunct_3__1345_27.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__1349_17.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1351_19.min1.thm12017-02-06 12:46 820  
[ ]rfunct_3__1377_23.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1381_21.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1383_18.min1.thm12017-02-06 12:46 528  
[ ]rfunct_3__1411_23.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1415_21.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1417_18.min1.thm12017-02-06 12:46 528  
[ ]rfunct_3__1434_26.min1.thm12017-02-06 12:46 476  
[ ]rfunct_3__1434_26.min1.thm1.tptp2017-02-06 16:47 411  
[ ]rfunct_3__1435_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1436_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1446_33.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__1447_15.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1450_25.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__1459_33.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__1460_20.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1472_22.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__1485_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1493_39.min1.thm12017-02-06 12:46 746  
[ ]rfunct_3__1494_17.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1496_14.min1.thm12017-02-06 12:46 395  
[ ]rfunct_3__1496_14.min1.thm1.tptp2017-02-06 16:47 330  
[ ]rfunct_3__1497_17.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__1498_35.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1499_13.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__1500_30.min1.thm12017-02-06 12:46 455  
[ ]rfunct_3__1500_30.min1.thm1.tptp2017-02-06 16:47 390  
[ ]rfunct_3__1506_37.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1507_22.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1509_21.min1.thm12017-02-06 12:46 447  
[ ]rfunct_3__1509_21.min1.thm1.tptp2017-02-06 16:47 382  
[ ]rfunct_3__1510_17.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1511_32.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1512_17.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1514_20.min1.thm12017-02-06 12:46 389  
[ ]rfunct_3__1514_20.min1.thm1.tptp2017-02-06 16:47 324  
[ ]rfunct_3__1515_17.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__1524_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1531_39.min1.thm12017-02-06 12:46 743  
[ ]rfunct_3__1532_16.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1533_32.min1.thm12017-02-06 12:46 572  
[ ]rfunct_3__1535_21.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1536_17.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__1537_35.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1538_19.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1539_30.min1.thm12017-02-06 12:46 616  
[ ]rfunct_3__1545_37.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1546_22.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1548_21.min1.thm12017-02-06 12:46 437  
[ ]rfunct_3__1548_21.min1.thm1.tptp2017-02-06 16:47 372  
[ ]rfunct_3__1549_17.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1550_32.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1551_17.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1552_18.min1.thm12017-02-06 12:46 2.9K 
[ ]rfunct_3__1553_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1554_17.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__1562_27.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1563_11.min1.thm12017-02-06 12:46 277  
[ ]rfunct_3__1566_34.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1567_19.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1568_19.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_3__1572_19.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_3__1581_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1590_18.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1592_15.min1.thm12017-02-06 12:46 417  
[ ]rfunct_3__1592_15.min1.thm1.tptp2017-02-06 16:47 352  
[ ]rfunct_3__1593_17.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__1594_35.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1595_13.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__1596_30.min1.thm12017-02-06 12:46 455  
[ ]rfunct_3__1596_30.min1.thm1.tptp2017-02-06 16:47 390  
[ ]rfunct_3__1602_37.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1603_22.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1605_21.min1.thm12017-02-06 12:46 447  
[ ]rfunct_3__1605_21.min1.thm1.tptp2017-02-06 16:47 382  
[ ]rfunct_3__1606_17.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1607_32.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1620_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1627_39.min1.thm12017-02-06 12:46 743  
[ ]rfunct_3__1628_16.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1629_32.min1.thm12017-02-06 12:46 572  
[ ]rfunct_3__1631_22.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_3__1632_17.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__1633_35.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1635_30.min1.thm12017-02-06 12:46 638  
[ ]rfunct_3__1641_37.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1642_22.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1644_21.min1.thm12017-02-06 12:46 437  
[ ]rfunct_3__1644_21.min1.thm1.tptp2017-02-06 16:47 372  
[ ]rfunct_3__1645_17.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1646_32.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1649_16.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1650_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1651_17.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__1659_27.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1660_11.min1.thm12017-02-06 12:46 277  
[ ]rfunct_3__1663_34.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1669_19.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_3__1685_15.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__1689_58.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1693_54.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1694_56.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__1705_28.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__1715_50.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_3__1717_43.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__1733_15.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__1737_58.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_3__1741_54.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1742_56.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__1753_28.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__1763_50.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_3__1765_43.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__1774_19.min1.thm12017-02-06 12:46 844  
[ ]rfunct_3__1775_34.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1776_19.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__1781_19.min1.thm12017-02-06 12:46 844  
[ ]rfunct_3__1782_34.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1783_19.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__1799_26.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__1800_13.min1.thm12017-02-06 12:46 697  
[ ]rfunct_3__1803_40.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1804_29.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1807_40.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1808_29.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1811_19.min1.thm12017-02-06 12:46 960  
[ ]rfunct_3__1812_11.min1.thm12017-02-06 12:46 327  
[ ]rfunct_3__1812_11.min1.thm1.tptp2017-02-06 16:47 254  
[ ]rfunct_3__1815_25.min1.thm12017-02-06 12:46 733  
[ ]rfunct_3__1818_26.min1.thm12017-02-06 12:46 911  
[ ]rfunct_3__1825_49.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__1830_15.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__1844_13.min1.thm12017-02-06 12:46 375  
[ ]rfunct_3__1844_13.min1.thm1.tptp2017-02-06 16:47 298  
[ ]rfunct_3__1845_15.min1.thm12017-02-06 12:46 744  
[ ]rfunct_3__1851_41.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__1853_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1863_35.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1864_18.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1873_20.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__1886_35.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__1887_18.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1896_20.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__1908_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1916_13.min1.thm12017-02-06 12:46 576  
[ ]rfunct_3__1917_34.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1918_15.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__1928_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__1936_13.min1.thm12017-02-06 12:46 576  
[ ]rfunct_3__1937_34.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1941_20.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1953_12.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__1965_29.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__1973_17.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__1975_18.min1.thm12017-02-06 12:46 2.4K 
[ ]rfunct_3__1993_17.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__1994_19.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__1995_21.min1.thm12017-02-06 12:46 449  
[ ]rfunct_3__1995_21.min1.thm1.tptp2017-02-06 16:47 384  
[ ]rfunct_3__1999_21.min1.thm12017-02-06 12:46 509  
[ ]rfunct_3__1999_21.min1.thm1.tptp2017-02-06 16:47 444  
[ ]rfunct_3__2006_37.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__2011_21.min1.thm12017-02-06 12:46 501  
[ ]rfunct_3__2011_21.min1.thm1.tptp2017-02-06 16:47 436  
[ ]rfunct_3__2032_30.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__2043_31.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_3__2046_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__2075_29.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__2080_13.min1.thm12017-02-06 12:46 923  
[ ]rfunct_3__2087_45.min1.thm12017-02-06 12:46 956  
[ ]rfunct_3__2089_24.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__2090_45.min1.thm12017-02-06 12:46 956  
[ ]rfunct_3__2094_24.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__2104_26.min1.thm12017-02-06 12:46 346  
[ ]rfunct_3__2127_29.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__2133_14.min1.thm12017-02-06 12:46 881  
[ ]rfunct_3__2137_12.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__2139_14.min1.thm12017-02-06 12:46 882  
[ ]rfunct_3__2148_15.min1.thm12017-02-06 12:46 882  
[ ]rfunct_3__2178_14.min1.thm12017-02-06 12:46 923  
[ ]rfunct_3__2187_42.min1.thm12017-02-06 12:46 957  
[ ]rfunct_3__2189_24.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__2190_41.min1.thm12017-02-06 12:46 958  
[ ]rfunct_3__2194_24.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__2201_15.min1.thm12017-02-06 12:46 209  
[ ]rfunct_3__2209_19.min1.thm12017-02-06 12:46 201  
[ ]rfunct_3__2217_23.min1.thm12017-02-06 12:46 197  
[ ]rfunct_3__2224_27.min1.thm12017-02-06 12:46 922  
[ ]rfunct_3__2226_24.min1.thm12017-02-06 12:46 970  
[ ]rfunct_3__2228_30.min1.thm12017-02-06 12:46 840  
[ ]rfunct_3__2231_45.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__2241_28.min1.thm12017-02-06 12:46 929  
[ ]rfunct_3__2242_55.min1.thm12017-02-06 12:46 3.3K 
[ ]rfunct_3__2259_45.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__2269_28.min1.thm12017-02-06 12:46 929  
[ ]rfunct_3__2270_55.min1.thm12017-02-06 12:46 3.3K 
[ ]rfunct_3__2286_61.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__2289_57.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__2292_53.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__2295_49.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__2308_15.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__2309_21.min1.thm12017-02-06 12:46 469  
[ ]rfunct_3__2329_20.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__2380_17.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__2381_27.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__2443_8.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_3__2459_33.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__2492_17.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__2494_30.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__2508_11.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__2509_16.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__2539_36.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__2557_22.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__2575_38.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__2576_23.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_3__2579_35.min1.thm12017-02-06 12:46 437  
[ ]rfunct_3__2579_35.min1.thm1.tptp2017-02-06 16:47 370  
[ ]rfunct_3__2581_21.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__2583_14.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__2584_19.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_3__2586_15.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__2596_13.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__2608_20.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__2632_15.min1.thm12017-02-06 12:46 356  
[ ]rfunct_3__2632_15.min1.thm1.tptp2017-02-06 16:47 278  
[ ]rfunct_3__2633_17.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__2635_19.min1.thm12017-02-06 12:46 418  
[ ]rfunct_3__2635_19.min1.thm1.tptp2017-02-06 16:47 340  
[ ]rfunct_3__2636_22.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__2641_21.min1.thm12017-02-06 12:46 398  
[ ]rfunct_3__2641_21.min1.thm1.tptp2017-02-06 16:47 324  
[ ]rfunct_3__2642_50.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_3__2643_25.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__2646_17.min1.thm12017-02-06 12:46 271  
[ ]rfunct_3__2652_23.min1.thm12017-02-06 12:46 290  
[ ]rfunct_3__2655_23.min1.thm12017-02-06 12:46 387  
[ ]rfunct_3__2655_23.min1.thm1.tptp2017-02-06 16:47 322  
[ ]rfunct_3__2656_31.min1.thm12017-02-06 12:46 2.4K 
[ ]rfunct_3__2660_35.min1.thm12017-02-06 12:46 902  
[ ]rfunct_3__2662_34.min1.thm12017-02-06 12:46 767  
[ ]rfunct_3__2666_23.min1.thm12017-02-06 12:46 290  
[ ]rfunct_3__2669_23.min1.thm12017-02-06 12:46 363  
[ ]rfunct_3__2669_23.min1.thm1.tptp2017-02-06 16:47 298  
[ ]rfunct_3__2670_31.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_3__2674_35.min1.thm12017-02-06 12:46 791  
[ ]rfunct_3__2675_56.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__2685_26.min1.thm12017-02-06 12:46 677  
[ ]rfunct_3__2685_26.min1.thm1.tptp2017-02-06 16:47 612  
[ ]rfunct_3__2687_23.min1.thm12017-02-06 12:46 487  
[ ]rfunct_3__2687_23.min1.thm1.tptp2017-02-06 16:47 422  
[ ]rfunct_3__2696_26.min1.thm12017-02-06 12:46 713  
[ ]rfunct_3__2696_26.min1.thm1.tptp2017-02-06 16:47 648  
[ ]rfunct_3__2698_23.min1.thm12017-02-06 12:46 511  
[ ]rfunct_3__2698_23.min1.thm1.tptp2017-02-06 16:47 446  
[ ]rfunct_3__2701_56.min1.thm12017-02-06 12:46 863  
[ ]rfunct_3__2701_56.min1.thm1.tptp2017-02-06 16:47 781  
[ ]rfunct_3__2707_33.min1.thm12017-02-06 12:46 816  
[ ]rfunct_3__2708_24.min1.thm12017-02-06 12:46 721  
[ ]rfunct_3__2715_13.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__2723_14.min1.thm12017-02-06 12:46 913  
[ ]rfunct_3__2739_20.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__2749_21.min1.thm12017-02-06 12:46 543  
[ ]rfunct_3__2762_14.min1.thm12017-02-06 12:46 615  
[ ]rfunct_3__2763_17.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__2768_12.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__2779_45.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__2780_40.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__2785_23.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_3__2793_9.min1.thm12017-02-06 12:46 960  
[ ]rfunct_3__2794_28.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__2804_22.min1.thm12017-02-06 12:46 402  
[ ]rfunct_3__2804_22.min1.thm1.tptp2017-02-06 16:47 324  
[ ]rfunct_3__2806_25.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__2810_35.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_3__2820_12.min1.thm12017-02-06 12:46 608  
[ ]rfunct_3__2822_21.min1.thm12017-02-06 12:46 403  
[ ]rfunct_3__2822_21.min1.thm1.tptp2017-02-06 16:47 338  
[ ]rfunct_3__2825_22.min1.thm12017-02-06 12:46 529  
[ ]rfunct_3__2825_22.min1.thm1.tptp2017-02-06 16:47 464  
[ ]rfunct_3__2827_17.min1.thm12017-02-06 12:46 395  
[ ]rfunct_3__2827_17.min1.thm1.tptp2017-02-06 16:47 330  
[ ]rfunct_3__2828_23.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_3__2831_31.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__2832_11.min1.thm12017-02-06 12:46 390  
[ ]rfunct_3__2848_27.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_3__2856_29.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__2881_20.min1.thm12017-02-06 12:46 913  
[ ]rfunct_3__2887_37.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__2888_19.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__2889_27.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__2890_12.min1.thm12017-02-06 12:46 738  
[ ]rfunct_3__2891_17.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__2908_19.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__2911_24.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_3__2912_13.min1.thm12017-02-06 12:46 3.4K 
[ ]rfunct_3__2915_31.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__2924_16.min1.thm12017-02-06 12:46 847  
[ ]rfunct_3__2925_18.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__2927_20.min1.thm12017-02-06 12:46 406  
[ ]rfunct_3__2927_20.min1.thm1.tptp2017-02-06 16:47 328  
[ ]rfunct_3__2928_16.min1.thm12017-02-06 12:46 348  
[ ]rfunct_3__2928_16.min1.thm1.tptp2017-02-06 16:47 270  
[ ]rfunct_3__2942_21.min1.thm12017-02-06 12:46 545  
[ ]rfunct_3__2945_21.min1.thm12017-02-06 12:46 631  
[ ]rfunct_3__2952_15.min1.thm12017-02-06 12:46 584  
[ ]rfunct_3__2959_33.min1.thm12017-02-06 12:46 766  
[ ]rfunct_3__2960_34.min1.thm12017-02-06 12:46 552  
[ ]rfunct_3__2960_34.min1.thm1.tptp2017-02-06 16:47 485  
[ ]rfunct_3__2961_22.min1.thm12017-02-06 12:46 592  
[ ]rfunct_3__2971_18.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__2979_17.min1.thm12017-02-06 12:46 357  
[ ]rfunct_3__2979_17.min1.thm1.tptp2017-02-06 16:47 292  
[ ]rfunct_3__2987_19.min1.thm12017-02-06 12:46 341  
[ ]rfunct_3__2998_24.min1.thm12017-02-06 12:46 683  
[ ]rfunct_3__3001_20.min1.thm12017-02-06 12:46 685  
[ ]rfunct_3__3003_20.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__3008_30.min1.thm12017-02-06 12:46 2.7K 
[ ]rfunct_3__3017_26.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__3018_47.min1.thm12017-02-06 12:46 3.1K 
[ ]rfunct_3__3028_33.min1.thm12017-02-06 12:46 2.7K 
[ ]rfunct_3__3031_12.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__3040_15.min1.thm12017-02-06 12:46 185  
[ ]rfunct_3__3048_14.min1.thm12017-02-06 12:46 966  
[ ]rfunct_3__3049_22.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__3050_21.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__3057_14.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__3059_13.min1.thm12017-02-06 12:46 273  
[ ]rfunct_3__3060_21.min1.thm12017-02-06 12:46 670  
[ ]rfunct_3__3063_37.min1.thm12017-02-06 12:46 926  
[ ]rfunct_3__3064_24.min1.thm12017-02-06 12:46 619  
[ ]rfunct_3__3065_15.min1.thm12017-02-06 12:46 522  
[ ]rfunct_3__3070_14.min1.thm12017-02-06 12:46 350  
[ ]rfunct_3__3070_14.min1.thm1.tptp2017-02-06 16:47 272  
[ ]rfunct_3__3071_39.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__3072_15.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__3077_30.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__3097_15.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__3099_21.min1.thm12017-02-06 12:46 177  
[ ]rfunct_3__3114_32.min1.thm12017-02-06 12:46 384  
[ ]rfunct_3__3120_24.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_3__3130_26.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__3140_20.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_3__3157_28.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__3173_15.min1.thm12017-02-06 12:46 2.4K 
[ ]rfunct_3__3177_15.min1.thm12017-02-06 12:46 437  
[ ]rfunct_3__3208_13.min1.thm12017-02-06 12:46 319  
[ ]rfunct_3__3243_19.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__3252_19.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__3253_15.min1.thm12017-02-06 12:46 3.4K 
[ ]rfunct_3__3261_17.min1.thm12017-02-06 12:46 883  
[ ]rfunct_3__3265_22.min1.thm12017-02-06 12:46 949  
[ ]rfunct_3__3273_21.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__3283_23.min1.thm12017-02-06 12:46 557  
[ ]rfunct_3__3296_15.min1.thm12017-02-06 12:46 635  
[ ]rfunct_3__3297_19.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__3300_42.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_3__3328_13.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__3329_27.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__3335_17.min1.thm12017-02-06 12:46 739  
[ ]rfunct_3__3343_15.min1.thm12017-02-06 12:46 245  
[ ]rfunct_3__3357_17.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__3358_21.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__3362_17.min1.thm12017-02-06 12:46 898  
[ ]rfunct_3__3366_21.min1.thm12017-02-06 12:46 893  
[ ]rfunct_3__3369_15.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__3370_29.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__3379_20.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__3389_21.min1.thm12017-02-06 12:46 931  
[ ]rfunct_3__3390_34.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__3391_19.min1.thm12017-02-06 12:46 621  
[ ]rfunct_3__3396_19.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__3403_17.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__3419_18.min1.thm12017-02-06 12:46 688  
[ ]rfunct_3__3442_19.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_3__3443_26.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__3444_21.min1.thm12017-02-06 12:46 932  
[ ]rfunct_3__3445_17.min1.thm12017-02-06 12:46 3.0K 
[ ]rfunct_3__3456_22.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_3__3461_23.min1.thm12017-02-06 12:46 177  
[ ]rfunct_3__3476_27.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__3483_23.min1.thm12017-02-06 12:46 473  
[ ]rfunct_3__3485_32.min1.thm12017-02-06 12:46 639  
[ ]rfunct_3__3496_23.min1.thm12017-02-06 12:46 557  
[ ]rfunct_3__3509_16.min1.thm12017-02-06 12:46 635  
[ ]rfunct_3__3510_19.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__3517_17.min1.thm12017-02-06 12:46 484  
[ ]rfunct_3__3575_21.min1.thm12017-02-06 12:46 931  
[ ]rfunct_3__3577_21.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__3578_29.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__3579_38.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__3580_32.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__3581_16.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__3585_17.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__3592_13.min1.thm12017-02-06 12:46 877  
[ ]rfunct_3__3608_38.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__3609_21.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_3__3611_19.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__3614_12.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__3616_23.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_3__3621_15.min1.thm12017-02-06 12:46 316  
[ ]rfunct_3__3634_24.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__3637_22.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_3__3649_32.min1.thm12017-02-06 12:46 914  
[ ]rfunct_3__3652_19.min1.thm12017-02-06 12:46 200  
[ ]rfunct_3__3656_32.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_3__3667_56.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_3__3684_18.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__3701_19.min1.thm12017-02-06 12:46 180  
[ ]rfunct_3__3719_21.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__3721_31.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__3734_23.min1.thm12017-02-06 12:46 564  
[ ]rfunct_3__3737_23.min1.thm12017-02-06 12:46 657  
[ ]rfunct_3__3744_15.min1.thm12017-02-06 12:46 609  
[ ]rfunct_3__3748_36.min1.thm12017-02-06 12:46 800  
[ ]rfunct_3__3760_21.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__3770_19.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_3__3774_16.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__3775_42.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_3__3776_16.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_3__3810_20.min1.thm12017-02-06 12:46 950  
[ ]rfunct_3__3812_21.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__3815_14.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_3__3822_30.min1.thm12017-02-06 12:46 2.7K 
[ ]rfunct_3__3824_20.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__3825_20.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_3__3827_21.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_3__3829_30.min1.thm12017-02-06 12:46 2.7K 
[ ]rfunct_3__3830_37.min1.thm12017-02-06 12:46 3.0K 
[ ]rfunct_3__3863_26.min1.thm12017-02-06 12:46 951  
[ ]rfunct_3__3864_76.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__3872_72.min1.thm12017-02-06 12:46 815  
[ ]rfunct_3__3910_36.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__3913_35.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_3__3916_36.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_3__3918_45.min1.thm12017-02-06 12:46 1.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80