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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rfunct_1__43_13.min1.thm12017-02-06 12:46 888  
[ ]rfunct_1__61_16.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__74_35.min1.thm12017-02-06 12:46 617  
[ ]rfunct_1__74_35.min1.thm1.tptp2017-02-06 16:47 540  
[ ]rfunct_1__75_17.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__77_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__89_32.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__90_16.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__102_32.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__103_16.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__114_23.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__144_16.min1.thm12017-02-06 12:46 732  
[ ]rfunct_1__157_27.min1.thm12017-02-06 12:46 513  
[ ]rfunct_1__157_27.min1.thm1.tptp2017-02-06 16:47 436  
[ ]rfunct_1__158_17.min1.thm12017-02-06 12:46 829  
[ ]rfunct_1__160_19.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__172_24.min1.thm12017-02-06 12:46 945  
[ ]rfunct_1__173_16.min1.thm12017-02-06 12:46 686  
[ ]rfunct_1__185_24.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__186_16.min1.thm12017-02-06 12:46 710  
[ ]rfunct_1__196_23.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__197_28.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_1__217_29.min1.thm12017-02-06 12:46 855  
[ ]rfunct_1__218_25.min1.thm12017-02-06 12:46 556  
[ ]rfunct_1__219_16.min1.thm12017-02-06 12:46 875  
[ ]rfunct_1__231_34.min1.thm12017-02-06 12:46 684  
[ ]rfunct_1__232_34.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__233_28.min1.thm12017-02-06 12:46 455  
[ ]rfunct_1__233_28.min1.thm1.tptp2017-02-06 16:47 387  
[ ]rfunct_1__235_23.min1.thm12017-02-06 12:46 856  
[ ]rfunct_1__236_18.min1.thm12017-02-06 12:46 681  
[ ]rfunct_1__237_27.min1.thm12017-02-06 12:46 395  
[ ]rfunct_1__237_27.min1.thm1.tptp2017-02-06 16:47 327  
[ ]rfunct_1__239_24.min1.thm12017-02-06 12:46 646  
[ ]rfunct_1__240_25.min1.thm12017-02-06 12:46 852  
[ ]rfunct_1__242_28.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__243_23.min1.thm12017-02-06 12:46 549  
[ ]rfunct_1__245_29.min1.thm12017-02-06 12:46 689  
[ ]rfunct_1__246_16.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__247_27.min1.thm12017-02-06 12:46 397  
[ ]rfunct_1__247_27.min1.thm1.tptp2017-02-06 16:47 329  
[ ]rfunct_1__249_24.min1.thm12017-02-06 12:46 648  
[ ]rfunct_1__250_18.min1.thm12017-02-06 12:46 456  
[ ]rfunct_1__250_18.min1.thm1.tptp2017-02-06 16:47 394  
[ ]rfunct_1__251_34.min1.thm12017-02-06 12:46 690  
[ ]rfunct_1__252_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__260_34.min1.thm12017-02-06 12:46 900  
[ ]rfunct_1__261_29.min1.thm12017-02-06 12:46 594  
[ ]rfunct_1__264_16.min1.thm12017-02-06 12:46 395  
[ ]rfunct_1__264_16.min1.thm1.tptp2017-02-06 16:47 327  
[ ]rfunct_1__265_29.min1.thm12017-02-06 12:46 900  
[ ]rfunct_1__266_29.min1.thm12017-02-06 12:46 594  
[ ]rfunct_1__267_27.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__268_21.min1.thm12017-02-06 12:46 395  
[ ]rfunct_1__268_21.min1.thm1.tptp2017-02-06 16:47 327  
[ ]rfunct_1__269_27.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__270_28.min1.thm12017-02-06 12:46 858  
[ ]rfunct_1__271_34.min1.thm12017-02-06 12:46 457  
[ ]rfunct_1__271_34.min1.thm1.tptp2017-02-06 16:47 389  
[ ]rfunct_1__273_30.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__274_28.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__275_30.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__276_19.min1.thm12017-02-06 12:46 810  
[ ]rfunct_1__286_25.min1.thm12017-02-06 12:46 942  
[ ]rfunct_1__288_21.min1.thm12017-02-06 12:46 586  
[ ]rfunct_1__290_16.min1.thm12017-02-06 12:46 700  
[ ]rfunct_1__310_20.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__312_25.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__313_24.min1.thm12017-02-06 12:46 618  
[ ]rfunct_1__315_21.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__316_33.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__317_20.min1.thm12017-02-06 12:46 439  
[ ]rfunct_1__317_20.min1.thm1.tptp2017-02-06 16:47 374  
[ ]rfunct_1__318_20.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__331_31.min1.thm12017-02-06 12:46 856  
[ ]rfunct_1__332_28.min1.thm12017-02-06 12:46 421  
[ ]rfunct_1__332_28.min1.thm1.tptp2017-02-06 16:47 356  
[ ]rfunct_1__333_26.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__334_21.min1.thm12017-02-06 12:46 848  
[ ]rfunct_1__336_19.min1.thm12017-02-06 12:46 393  
[ ]rfunct_1__336_19.min1.thm1.tptp2017-02-06 16:47 328  
[ ]rfunct_1__337_26.min1.thm12017-02-06 12:46 835  
[ ]rfunct_1__338_24.min1.thm12017-02-06 12:46 898  
[ ]rfunct_1__339_21.min1.thm12017-02-06 12:46 739  
[ ]rfunct_1__343_22.min1.thm12017-02-06 12:46 640  
[ ]rfunct_1__344_19.min1.thm12017-02-06 12:46 389  
[ ]rfunct_1__344_19.min1.thm1.tptp2017-02-06 16:47 324  
[ ]rfunct_1__345_24.min1.thm12017-02-06 12:46 621  
[ ]rfunct_1__346_26.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__348_24.min1.thm12017-02-06 12:46 417  
[ ]rfunct_1__348_24.min1.thm1.tptp2017-02-06 16:47 352  
[ ]rfunct_1__349_17.min1.thm12017-02-06 12:46 619  
[ ]rfunct_1__350_29.min1.thm12017-02-06 12:46 894  
[ ]rfunct_1__351_30.min1.thm12017-02-06 12:46 960  
[ ]rfunct_1__353_31.min1.thm12017-02-06 12:46 660  
[ ]rfunct_1__353_31.min1.thm1.tptp2017-02-06 16:47 608  
[ ]rfunct_1__360_27.min1.thm12017-02-06 12:46 854  
[ ]rfunct_1__361_24.min1.thm12017-02-06 12:46 421  
[ ]rfunct_1__361_24.min1.thm1.tptp2017-02-06 16:47 356  
[ ]rfunct_1__362_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__364_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__365_22.min1.thm12017-02-06 12:46 833  
[ ]rfunct_1__366_24.min1.thm12017-02-06 12:46 624  
[ ]rfunct_1__367_21.min1.thm12017-02-06 12:46 739  
[ ]rfunct_1__371_22.min1.thm12017-02-06 12:46 640  
[ ]rfunct_1__372_19.min1.thm12017-02-06 12:46 389  
[ ]rfunct_1__372_19.min1.thm1.tptp2017-02-06 16:47 324  
[ ]rfunct_1__373_23.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__375_20.min1.thm12017-02-06 12:46 892  
[ ]rfunct_1__376_17.min1.thm12017-02-06 12:46 619  
[ ]rfunct_1__377_25.min1.thm12017-02-06 12:46 620  
[ ]rfunct_1__378_26.min1.thm12017-02-06 12:46 957  
[ ]rfunct_1__380_17.min1.thm12017-02-06 12:46 660  
[ ]rfunct_1__380_17.min1.thm1.tptp2017-02-06 16:47 608  
[ ]rfunct_1__386_31.min1.thm12017-02-06 12:46 855  
[ ]rfunct_1__387_40.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__388_23.min1.thm12017-02-06 12:46 804  
[ ]rfunct_1__389_27.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__390_28.min1.thm12017-02-06 12:46 539  
[ ]rfunct_1__390_28.min1.thm1.tptp2017-02-06 16:47 465  
[ ]rfunct_1__405_25.min1.thm12017-02-06 12:46 963  
[ ]rfunct_1__406_25.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__407_27.min1.thm12017-02-06 12:46 453  
[ ]rfunct_1__407_27.min1.thm1.tptp2017-02-06 16:47 388  
[ ]rfunct_1__408_23.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__409_21.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__411_19.min1.thm12017-02-06 12:46 393  
[ ]rfunct_1__411_19.min1.thm1.tptp2017-02-06 16:47 328  
[ ]rfunct_1__412_19.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__413_21.min1.thm12017-02-06 12:46 739  
[ ]rfunct_1__417_22.min1.thm12017-02-06 12:46 640  
[ ]rfunct_1__418_19.min1.thm12017-02-06 12:46 389  
[ ]rfunct_1__418_19.min1.thm1.tptp2017-02-06 16:47 324  
[ ]rfunct_1__420_13.min1.thm12017-02-06 12:46 458  
[ ]rfunct_1__421_17.min1.thm12017-02-06 12:46 619  
[ ]rfunct_1__422_28.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__423_25.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__425_23.min1.thm12017-02-06 12:46 449  
[ ]rfunct_1__425_23.min1.thm1.tptp2017-02-06 16:47 384  
[ ]rfunct_1__426_23.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__427_29.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__429_17.min1.thm12017-02-06 12:46 708  
[ ]rfunct_1__429_17.min1.thm1.tptp2017-02-06 16:47 656  
[ ]rfunct_1__439_51.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__440_36.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__441_38.min1.thm12017-02-06 12:46 562  
[ ]rfunct_1__441_38.min1.thm1.tptp2017-02-06 16:47 495  
[ ]rfunct_1__442_33.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__443_30.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__448_40.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__450_25.min1.thm12017-02-06 12:46 605  
[ ]rfunct_1__451_35.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__453_25.min1.thm12017-02-06 12:46 512  
[ ]rfunct_1__453_25.min1.thm1.tptp2017-02-06 16:47 450  
[ ]rfunct_1__454_49.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__455_30.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__456_29.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__457_30.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__458_30.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__469_55.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__470_30.min1.thm12017-02-06 12:46 913  
[ ]rfunct_1__471_29.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__472_32.min1.thm12017-02-06 12:46 913  
[ ]rfunct_1__473_34.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__475_55.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__476_36.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__477_38.min1.thm12017-02-06 12:46 562  
[ ]rfunct_1__477_38.min1.thm1.tptp2017-02-06 16:47 495  
[ ]rfunct_1__478_35.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__479_34.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__486_55.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__487_48.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__488_46.min1.thm12017-02-06 12:46 646  
[ ]rfunct_1__488_46.min1.thm1.tptp2017-02-06 16:47 579  
[ ]rfunct_1__489_46.min1.thm12017-02-06 12:46 646  
[ ]rfunct_1__489_46.min1.thm1.tptp2017-02-06 16:47 579  
[ ]rfunct_1__490_48.min1.thm12017-02-06 12:46 646  
[ ]rfunct_1__490_48.min1.thm1.tptp2017-02-06 16:47 579  
[ ]rfunct_1__491_47.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__492_44.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__498_40.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__500_25.min1.thm12017-02-06 12:46 605  
[ ]rfunct_1__501_53.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__502_32.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__503_34.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__504_38.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__505_41.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__512_39.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__517_46.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__518_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__519_32.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__520_27.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__525_39.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_1__527_24.min1.thm12017-02-06 12:46 607  
[ ]rfunct_1__528_47.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__529_27.min1.thm12017-02-06 12:46 853  
[ ]rfunct_1__530_24.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__531_29.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__532_29.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__540_46.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__541_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__542_32.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__543_29.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__548_39.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__550_24.min1.thm12017-02-06 12:46 514  
[ ]rfunct_1__550_24.min1.thm1.tptp2017-02-06 16:47 452  
[ ]rfunct_1__551_47.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__552_29.min1.thm12017-02-06 12:46 853  
[ ]rfunct_1__553_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__554_29.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__555_29.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__557_17.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__563_55.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__564_48.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__565_46.min1.thm12017-02-06 12:46 646  
[ ]rfunct_1__565_46.min1.thm1.tptp2017-02-06 16:47 579  
[ ]rfunct_1__566_46.min1.thm12017-02-06 12:46 646  
[ ]rfunct_1__566_46.min1.thm1.tptp2017-02-06 16:47 579  
[ ]rfunct_1__567_48.min1.thm12017-02-06 12:46 646  
[ ]rfunct_1__567_48.min1.thm1.tptp2017-02-06 16:47 579  
[ ]rfunct_1__568_47.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__569_44.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__575_40.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__577_25.min1.thm12017-02-06 12:46 607  
[ ]rfunct_1__578_53.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__579_32.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__581_39.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__582_41.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__594_42.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__595_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__596_32.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__597_38.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__598_31.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__604_25.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__605_40.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__607_24.min1.thm12017-02-06 12:46 544  
[ ]rfunct_1__607_24.min1.thm1.tptp2017-02-06 16:47 482  
[ ]rfunct_1__608_24.min1.thm12017-02-06 12:46 544  
[ ]rfunct_1__608_24.min1.thm1.tptp2017-02-06 16:47 482  
[ ]rfunct_1__609_47.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__610_29.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__612_33.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__613_35.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__622_32.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__623_21.min1.thm12017-02-06 12:46 891  
[ ]rfunct_1__624_27.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__630_23.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__631_37.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__632_20.min1.thm12017-02-06 12:46 889  
[ ]rfunct_1__633_25.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__634_27.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__636_17.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__642_42.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__643_26.min1.thm12017-02-06 12:46 731  
[ ]rfunct_1__644_32.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__645_38.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__646_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__652_25.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__653_40.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__655_24.min1.thm12017-02-06 12:46 544  
[ ]rfunct_1__655_24.min1.thm1.tptp2017-02-06 16:47 482  
[ ]rfunct_1__656_24.min1.thm12017-02-06 12:46 544  
[ ]rfunct_1__656_24.min1.thm1.tptp2017-02-06 16:47 482  
[ ]rfunct_1__657_47.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__658_29.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__660_33.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__661_35.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__670_39.min1.thm12017-02-06 12:46 824  
[ ]rfunct_1__671_23.min1.thm12017-02-06 12:46 731  
[ ]rfunct_1__672_32.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__674_39.min1.thm12017-02-06 12:46 826  
[ ]rfunct_1__675_25.min1.thm12017-02-06 12:46 733  
[ ]rfunct_1__678_37.min1.thm12017-02-06 12:46 969  
[ ]rfunct_1__680_30.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__681_32.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_1__689_53.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__690_38.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__691_36.min1.thm12017-02-06 12:46 562  
[ ]rfunct_1__691_36.min1.thm1.tptp2017-02-06 16:47 495  
[ ]rfunct_1__692_33.min1.thm12017-02-06 12:46 908  
[ ]rfunct_1__698_40.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__700_25.min1.thm12017-02-06 12:46 512  
[ ]rfunct_1__700_25.min1.thm1.tptp2017-02-06 16:47 450  
[ ]rfunct_1__701_35.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__703_25.min1.thm12017-02-06 12:46 607  
[ ]rfunct_1__704_51.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__705_32.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__707_30.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__708_28.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__719_32.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__720_12.min1.thm12017-02-06 12:46 567  
[ ]rfunct_1__722_24.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__723_17.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__729_53.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__730_38.min1.thm12017-02-06 12:46 815  
[ ]rfunct_1__731_36.min1.thm12017-02-06 12:46 562  
[ ]rfunct_1__731_36.min1.thm1.tptp2017-02-06 16:47 495  
[ ]rfunct_1__732_33.min1.thm12017-02-06 12:46 908  
[ ]rfunct_1__733_28.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__738_40.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__740_25.min1.thm12017-02-06 12:46 514  
[ ]rfunct_1__740_25.min1.thm1.tptp2017-02-06 16:47 452  
[ ]rfunct_1__741_35.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_1__743_25.min1.thm12017-02-06 12:46 607  
[ ]rfunct_1__744_51.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__745_32.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__747_30.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__748_28.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__756_53.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__757_38.min1.thm12017-02-06 12:46 815  
[ ]rfunct_1__758_36.min1.thm12017-02-06 12:46 562  
[ ]rfunct_1__758_36.min1.thm1.tptp2017-02-06 16:47 495  
[ ]rfunct_1__759_33.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__765_40.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__767_25.min1.thm12017-02-06 12:46 514  
[ ]rfunct_1__767_25.min1.thm1.tptp2017-02-06 16:47 452  
[ ]rfunct_1__770_25.min1.thm12017-02-06 12:46 605  
[ ]rfunct_1__771_51.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__772_32.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__774_30.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__775_28.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__786_47.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__787_28.min1.thm12017-02-06 12:46 823  
[ ]rfunct_1__789_37.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__790_39.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__791_33.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__793_43.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__794_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__795_33.min1.thm12017-02-06 12:46 885  
[ ]rfunct_1__796_40.min1.thm12017-02-06 12:46 913  
[ ]rfunct_1__797_33.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__804_37.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__805_15.min1.thm12017-02-06 12:46 891  
[ ]rfunct_1__806_22.min1.thm12017-02-06 12:46 801  
[ ]rfunct_1__807_31.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__813_23.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__814_43.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__815_23.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__817_28.min1.thm12017-02-06 12:46 944  
[ ]rfunct_1__818_30.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_1__820_17.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__826_37.min1.thm12017-02-06 12:46 573  
[ ]rfunct_1__826_37.min1.thm1.tptp2017-02-06 16:47 500  
[ ]rfunct_1__831_34.min1.thm12017-02-06 12:46 775  
[ ]rfunct_1__833_20.min1.thm12017-02-06 12:46 480  
[ ]rfunct_1__833_20.min1.thm1.tptp2017-02-06 16:47 418  
[ ]rfunct_1__834_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__835_21.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__836_28.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__844_55.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__845_50.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__846_42.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__847_32.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__848_31.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__854_34.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__856_21.min1.thm12017-02-06 12:46 493  
[ ]rfunct_1__856_21.min1.thm1.tptp2017-02-06 16:47 431  
[ ]rfunct_1__857_21.min1.thm12017-02-06 12:46 586  
[ ]rfunct_1__858_43.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__859_26.min1.thm12017-02-06 12:46 821  
[ ]rfunct_1__860_28.min1.thm12017-02-06 12:46 909  
[ ]rfunct_1__861_29.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__862_32.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__863_31.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__873_49.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__874_29.min1.thm12017-02-06 12:46 876  
[ ]rfunct_1__875_23.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__876_18.min1.thm12017-02-06 12:46 857  
[ ]rfunct_1__877_25.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__883_37.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__884_20.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__885_39.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__887_22.min1.thm12017-02-06 12:46 789  
[ ]rfunct_1__888_24.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__889_27.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__900_52.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__901_30.min1.thm12017-02-06 12:46 955  
[ ]rfunct_1__902_23.min1.thm12017-02-06 12:46 714  
[ ]rfunct_1__902_23.min1.thm1.tptp2017-02-06 16:47 647  
[ ]rfunct_1__903_18.min1.thm12017-02-06 12:46 857  
[ ]rfunct_1__904_25.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__910_20.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__911_41.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__912_23.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__913_22.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__914_22.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__915_23.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__916_21.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__917_23.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__919_17.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__929_41.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__932_20.min1.thm12017-02-06 12:46 480  
[ ]rfunct_1__932_20.min1.thm1.tptp2017-02-06 16:47 418  
[ ]rfunct_1__933_34.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__934_24.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__935_26.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__937_41.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__938_27.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__939_24.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__940_17.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__946_36.min1.thm12017-02-06 12:46 739  
[ ]rfunct_1__947_24.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__948_19.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__954_43.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__955_43.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_1__958_27.min1.thm12017-02-06 12:46 960  
[ ]rfunct_1__959_28.min1.thm12017-02-06 12:46 539  
[ ]rfunct_1__959_28.min1.thm1.tptp2017-02-06 16:47 465  
[ ]rfunct_1__964_34.min1.thm12017-02-06 12:46 841  
[ ]rfunct_1__966_20.min1.thm12017-02-06 12:46 480  
[ ]rfunct_1__966_20.min1.thm1.tptp2017-02-06 16:47 418  
[ ]rfunct_1__968_15.min1.thm12017-02-06 12:46 791  
[ ]rfunct_1__969_43.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__970_30.min1.thm12017-02-06 12:46 859  
[ ]rfunct_1__971_33.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__972_28.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__973_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__974_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__975_28.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__986_54.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__987_38.min1.thm12017-02-06 12:46 917  
[ ]rfunct_1__988_43.min1.thm12017-02-06 12:46 945  
[ ]rfunct_1__989_45.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__990_48.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__992_47.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__993_42.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__994_42.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__995_40.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__996_38.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__997_33.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__999_53.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__1007_64.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__1016_34.min1.thm12017-02-06 12:46 705  
[ ]rfunct_1__1017_24.min1.thm12017-02-06 12:46 937  
[ ]rfunct_1__1018_31.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__1019_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1025_46.min1.thm12017-02-06 12:46 739  
[ ]rfunct_1__1026_28.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1027_23.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1033_38.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1034_34.min1.thm12017-02-06 12:46 832  
[ ]rfunct_1__1035_34.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__1042_32.min1.thm12017-02-06 12:46 891  
[ ]rfunct_1__1044_23.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_1__1045_16.min1.thm12017-02-06 12:46 707  
[ ]rfunct_1__1051_39.min1.thm12017-02-06 12:46 795  
[ ]rfunct_1__1052_31.min1.thm12017-02-06 12:46 823  
[ ]rfunct_1__1053_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1054_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1055_40.min1.thm12017-02-06 12:46 797  
[ ]rfunct_1__1056_30.min1.thm12017-02-06 12:46 825  
[ ]rfunct_1__1057_24.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1058_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1066_24.min1.thm12017-02-06 12:46 655  
[ ]rfunct_1__1066_24.min1.thm1.tptp2017-02-06 16:47 584  
[ ]rfunct_1__1070_36.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__1072_22.min1.thm12017-02-06 12:46 541  
[ ]rfunct_1__1072_22.min1.thm1.tptp2017-02-06 16:47 479  
[ ]rfunct_1__1073_22.min1.thm12017-02-06 12:46 541  
[ ]rfunct_1__1073_22.min1.thm1.tptp2017-02-06 16:47 479  
[ ]rfunct_1__1074_24.min1.thm12017-02-06 12:46 655  
[ ]rfunct_1__1074_24.min1.thm1.tptp2017-02-06 16:47 584  
[ ]rfunct_1__1075_42.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1076_33.min1.thm12017-02-06 12:46 662  
[ ]rfunct_1__1078_29.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__1080_20.min1.thm12017-02-06 12:46 481  
[ ]rfunct_1__1080_20.min1.thm1.tptp2017-02-06 16:47 419  
[ ]rfunct_1__1082_16.min1.thm12017-02-06 12:46 793  
[ ]rfunct_1__1083_47.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1084_32.min1.thm12017-02-06 12:46 585  
[ ]rfunct_1__1084_32.min1.thm1.tptp2017-02-06 16:47 523  
[ ]rfunct_1__1086_30.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__1088_20.min1.thm12017-02-06 12:46 482  
[ ]rfunct_1__1088_20.min1.thm1.tptp2017-02-06 16:47 420  
[ ]rfunct_1__1090_16.min1.thm12017-02-06 12:46 793  
[ ]rfunct_1__1091_18.min1.thm12017-02-06 12:46 469  
[ ]rfunct_1__1091_18.min1.thm1.tptp2017-02-06 16:47 407  
[ ]rfunct_1__1092_32.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1094_25.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1095_18.min1.thm12017-02-06 12:46 468  
[ ]rfunct_1__1095_18.min1.thm1.tptp2017-02-06 16:47 406  
[ ]rfunct_1__1096_32.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1097_29.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1098_45.min1.thm12017-02-06 12:46 670  
[ ]rfunct_1__1100_34.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__1101_32.min1.thm12017-02-06 12:46 602  
[ ]rfunct_1__1102_34.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__1103_31.min1.thm12017-02-06 12:46 854  
[ ]rfunct_1__1104_56.min1.thm12017-02-06 12:46 907  
[ ]rfunct_1__1107_44.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__1108_49.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__1109_38.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__1110_52.min1.thm12017-02-06 12:46 2.4K 
[ ]rfunct_1__1111_67.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_1__1114_6.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__1116_9.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__1118_6.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__1120_6.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__1121_75.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_1__1123_65.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_1__1124_64.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__1129_53.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__1133_4.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__1133_4.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]rfunct_1__1141_12.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__1143_8.min1.thm12017-02-06 12:46 2.4K 
[ ]rfunct_1__1151_9.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__1153_6.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_1__1168_44.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__1169_38.min1.thm12017-02-06 12:46 890  
[ ]rfunct_1__1170_38.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__1177_43.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_1__1184_38.min1.thm12017-02-06 12:46 707  
[ ]rfunct_1__1185_30.min1.thm12017-02-06 12:46 943  
[ ]rfunct_1__1186_32.min1.thm12017-02-06 12:46 573  
[ ]rfunct_1__1186_32.min1.thm1.tptp2017-02-06 16:47 500  
[ ]rfunct_1__1187_25.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1198_28.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1200_13.min1.thm12017-02-06 12:46 457  
[ ]rfunct_1__1200_13.min1.thm1.tptp2017-02-06 16:47 395  
[ ]rfunct_1__1201_23.min1.thm12017-02-06 12:46 592  
[ ]rfunct_1__1203_28.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1204_23.min1.thm12017-02-06 12:46 547  
[ ]rfunct_1__1205_28.min1.thm12017-02-06 12:46 614  
[ ]rfunct_1__1207_22.min1.thm12017-02-06 12:46 580  
[ ]rfunct_1__1208_18.min1.thm12017-02-06 12:46 454  
[ ]rfunct_1__1208_18.min1.thm1.tptp2017-02-06 16:47 392  
[ ]rfunct_1__1209_28.min1.thm12017-02-06 12:46 615  
[ ]rfunct_1__1211_22.min1.thm12017-02-06 12:46 582  
[ ]rfunct_1__1212_41.min1.thm12017-02-06 12:46 661  
[ ]rfunct_1__1214_33.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__1215_37.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1216_27.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1217_31.min1.thm12017-02-06 12:46 793  
[ ]rfunct_1__1218_35.min1.thm12017-02-06 12:46 848  
[ ]rfunct_1__1219_29.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__1221_39.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1222_38.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1223_40.min1.thm12017-02-06 12:46 594  
[ ]rfunct_1__1223_40.min1.thm1.tptp2017-02-06 16:47 527  
[ ]rfunct_1__1224_38.min1.thm12017-02-06 12:46 594  
[ ]rfunct_1__1224_38.min1.thm1.tptp2017-02-06 16:47 527  
[ ]rfunct_1__1225_37.min1.thm12017-02-06 12:46 722  
[ ]rfunct_1__1226_35.min1.thm12017-02-06 12:46 592  
[ ]rfunct_1__1226_35.min1.thm1.tptp2017-02-06 16:47 525  
[ ]rfunct_1__1227_34.min1.thm12017-02-06 12:46 720  
[ ]rfunct_1__1235_29.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1237_14.min1.thm12017-02-06 12:46 457  
[ ]rfunct_1__1237_14.min1.thm1.tptp2017-02-06 16:47 395  
[ ]rfunct_1__1238_24.min1.thm12017-02-06 12:46 592  
[ ]rfunct_1__1240_29.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1241_23.min1.thm12017-02-06 12:46 454  
[ ]rfunct_1__1241_23.min1.thm1.tptp2017-02-06 16:47 392  
[ ]rfunct_1__1242_28.min1.thm12017-02-06 12:46 614  
[ ]rfunct_1__1244_23.min1.thm12017-02-06 12:46 580  
[ ]rfunct_1__1245_18.min1.thm12017-02-06 12:46 547  
[ ]rfunct_1__1246_37.min1.thm12017-02-06 12:46 697  
[ ]rfunct_1__1248_30.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__1249_37.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1250_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1251_30.min1.thm12017-02-06 12:46 792  
[ ]rfunct_1__1252_25.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__1254_39.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1255_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1256_31.min1.thm12017-02-06 12:46 536  
[ ]rfunct_1__1256_31.min1.thm1.tptp2017-02-06 16:47 469  
[ ]rfunct_1__1257_30.min1.thm12017-02-06 12:46 664  
[ ]rfunct_1__1258_26.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__1265_29.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1267_14.min1.thm12017-02-06 12:46 457  
[ ]rfunct_1__1267_14.min1.thm1.tptp2017-02-06 16:47 395  
[ ]rfunct_1__1268_24.min1.thm12017-02-06 12:46 592  
[ ]rfunct_1__1270_29.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1271_23.min1.thm12017-02-06 12:46 547  
[ ]rfunct_1__1272_28.min1.thm12017-02-06 12:46 614  
[ ]rfunct_1__1274_23.min1.thm12017-02-06 12:46 580  
[ ]rfunct_1__1275_18.min1.thm12017-02-06 12:46 454  
[ ]rfunct_1__1275_18.min1.thm1.tptp2017-02-06 16:47 392  
[ ]rfunct_1__1276_37.min1.thm12017-02-06 12:46 604  
[ ]rfunct_1__1278_30.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__1279_37.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1280_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1281_30.min1.thm12017-02-06 12:46 792  
[ ]rfunct_1__1282_25.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__1284_39.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1285_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1286_33.min1.thm12017-02-06 12:46 536  
[ ]rfunct_1__1286_33.min1.thm1.tptp2017-02-06 16:47 469  
[ ]rfunct_1__1287_30.min1.thm12017-02-06 12:46 664  
[ ]rfunct_1__1288_27.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__1301_30.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1303_13.min1.thm12017-02-06 12:46 458  
[ ]rfunct_1__1303_13.min1.thm1.tptp2017-02-06 16:47 396  
[ ]rfunct_1__1304_25.min1.thm12017-02-06 12:46 594  
[ ]rfunct_1__1306_28.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1307_23.min1.thm12017-02-06 12:46 454  
[ ]rfunct_1__1307_23.min1.thm1.tptp2017-02-06 16:47 392  
[ ]rfunct_1__1308_28.min1.thm12017-02-06 12:46 614  
[ ]rfunct_1__1310_22.min1.thm12017-02-06 12:46 580  
[ ]rfunct_1__1311_18.min1.thm12017-02-06 12:46 547  
[ ]rfunct_1__1312_28.min1.thm12017-02-06 12:46 615  
[ ]rfunct_1__1314_22.min1.thm12017-02-06 12:46 582  
[ ]rfunct_1__1315_41.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1316_26.min1.thm12017-02-06 12:46 795  
[ ]rfunct_1__1317_30.min1.thm12017-02-06 12:46 792  
[ ]rfunct_1__1318_34.min1.thm12017-02-06 12:46 849  
[ ]rfunct_1__1319_31.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1321_43.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1322_38.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1323_40.min1.thm12017-02-06 12:46 594  
[ ]rfunct_1__1323_40.min1.thm1.tptp2017-02-06 16:47 527  
[ ]rfunct_1__1324_38.min1.thm12017-02-06 12:46 594  
[ ]rfunct_1__1324_38.min1.thm1.tptp2017-02-06 16:47 527  
[ ]rfunct_1__1325_37.min1.thm12017-02-06 12:46 722  
[ ]rfunct_1__1326_35.min1.thm12017-02-06 12:46 592  
[ ]rfunct_1__1326_35.min1.thm1.tptp2017-02-06 16:47 525  
[ ]rfunct_1__1327_34.min1.thm12017-02-06 12:46 720  
[ ]rfunct_1__1335_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1336_30.min1.thm12017-02-06 12:46 594  
[ ]rfunct_1__1337_33.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1339_19.min1.thm12017-02-06 12:46 454  
[ ]rfunct_1__1339_19.min1.thm1.tptp2017-02-06 16:47 392  
[ ]rfunct_1__1340_13.min1.thm12017-02-06 12:46 458  
[ ]rfunct_1__1340_13.min1.thm1.tptp2017-02-06 16:47 396  
[ ]rfunct_1__1341_28.min1.thm12017-02-06 12:46 614  
[ ]rfunct_1__1343_23.min1.thm12017-02-06 12:46 580  
[ ]rfunct_1__1344_41.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1345_26.min1.thm12017-02-06 12:46 795  
[ ]rfunct_1__1346_30.min1.thm12017-02-06 12:46 792  
[ ]rfunct_1__1347_27.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1349_43.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1350_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1351_31.min1.thm12017-02-06 12:46 536  
[ ]rfunct_1__1351_31.min1.thm1.tptp2017-02-06 16:47 469  
[ ]rfunct_1__1352_30.min1.thm12017-02-06 12:46 664  
[ ]rfunct_1__1353_28.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__1360_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1361_30.min1.thm12017-02-06 12:46 594  
[ ]rfunct_1__1362_33.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1364_19.min1.thm12017-02-06 12:46 547  
[ ]rfunct_1__1365_13.min1.thm12017-02-06 12:46 458  
[ ]rfunct_1__1365_13.min1.thm1.tptp2017-02-06 16:47 396  
[ ]rfunct_1__1366_28.min1.thm12017-02-06 12:46 614  
[ ]rfunct_1__1368_23.min1.thm12017-02-06 12:46 580  
[ ]rfunct_1__1369_41.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1370_26.min1.thm12017-02-06 12:46 795  
[ ]rfunct_1__1371_30.min1.thm12017-02-06 12:46 792  
[ ]rfunct_1__1372_27.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1374_43.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1375_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1376_33.min1.thm12017-02-06 12:46 536  
[ ]rfunct_1__1376_33.min1.thm1.tptp2017-02-06 16:47 469  
[ ]rfunct_1__1377_30.min1.thm12017-02-06 12:46 664  
[ ]rfunct_1__1378_29.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__1390_25.min1.thm12017-02-06 12:46 883  
[ ]rfunct_1__1391_25.min1.thm12017-02-06 12:46 562  
[ ]rfunct_1__1393_17.min1.thm12017-02-06 12:46 620  
[ ]rfunct_1__1394_13.min1.thm12017-02-06 12:46 535  
[ ]rfunct_1__1395_27.min1.thm12017-02-06 12:46 614  
[ ]rfunct_1__1397_21.min1.thm12017-02-06 12:46 580  
[ ]rfunct_1__1398_31.min1.thm12017-02-06 12:46 898  
[ ]rfunct_1__1399_18.min1.thm12017-02-06 12:46 576  
[ ]rfunct_1__1399_18.min1.thm1.tptp2017-02-06 16:47 512  
[ ]rfunct_1__1400_22.min1.thm12017-02-06 12:46 700  
[ ]rfunct_1__1401_22.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1403_33.min1.thm12017-02-06 12:46 790  
[ ]rfunct_1__1404_20.min1.thm12017-02-06 12:46 678  
[ ]rfunct_1__1405_19.min1.thm12017-02-06 12:46 580  
[ ]rfunct_1__1406_22.min1.thm12017-02-06 12:46 954  
[ ]rfunct_1__1407_26.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__1408_35.min1.thm12017-02-06 12:46 784  
[ ]rfunct_1__1409_30.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1410_33.min1.thm12017-02-06 12:46 972  
[ ]rfunct_1__1411_32.min1.thm12017-02-06 12:46 764  
[ ]rfunct_1__1412_31.min1.thm12017-02-06 12:46 679  
[ ]rfunct_1__1412_31.min1.thm1.tptp2017-02-06 16:47 608  
[ ]rfunct_1__1413_22.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__1414_32.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1419_30.min1.thm12017-02-06 12:46 877  
[ ]rfunct_1__1421_20.min1.thm12017-02-06 12:46 560  
[ ]rfunct_1__1422_31.min1.thm12017-02-06 12:46 891  
[ ]rfunct_1__1423_18.min1.thm12017-02-06 12:46 949  
[ ]rfunct_1__1424_22.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__1427_26.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__1428_44.min1.thm12017-02-06 12:46 792  
[ ]rfunct_1__1429_20.min1.thm12017-02-06 12:46 952  
[ ]rfunct_1__1430_19.min1.thm12017-02-06 12:46 580  
[ ]rfunct_1__1431_26.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1437_22.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__1438_39.min1.thm12017-02-06 12:46 900  
[ ]rfunct_1__1439_20.min1.thm12017-02-06 12:46 862  
[ ]rfunct_1__1440_24.min1.thm12017-02-06 12:46 702  
[ ]rfunct_1__1441_26.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__1443_17.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__1449_37.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__1450_25.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__1452_33.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__1453_21.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__1459_36.min1.thm12017-02-06 12:46 735  
[ ]rfunct_1__1460_28.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1461_30.min1.thm12017-02-06 12:46 769  
[ ]rfunct_1__1461_30.min1.thm1.tptp2017-02-06 16:47 707  
[ ]rfunct_1__1462_23.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1463_36.min1.thm12017-02-06 12:46 735  
[ ]rfunct_1__1464_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1465_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1466_36.min1.thm12017-02-06 12:46 735  
[ ]rfunct_1__1467_24.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1468_26.min1.thm12017-02-06 12:46 713  
[ ]rfunct_1__1468_26.min1.thm1.tptp2017-02-06 16:47 651  
[ ]rfunct_1__1469_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1480_28.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1482_13.min1.thm12017-02-06 12:46 458  
[ ]rfunct_1__1482_13.min1.thm1.tptp2017-02-06 16:47 396  
[ ]rfunct_1__1483_23.min1.thm12017-02-06 12:46 594  
[ ]rfunct_1__1484_22.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1485_27.min1.thm12017-02-06 12:46 614  
[ ]rfunct_1__1487_21.min1.thm12017-02-06 12:46 580  
[ ]rfunct_1__1489_27.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__1490_37.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1491_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1492_21.min1.thm12017-02-06 12:46 732  
[ ]rfunct_1__1493_25.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__1495_39.min1.thm12017-02-06 12:46 920  
[ ]rfunct_1__1496_20.min1.thm12017-02-06 12:46 949  
[ ]rfunct_1__1497_19.min1.thm12017-02-06 12:46 580  
[ ]rfunct_1__1498_25.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__1499_17.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__1516_57.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__1520_27.min1.thm12017-02-06 12:46 2.8K 
[ ]rfunct_1__1522_18.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1523_18.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1524_36.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__1528_57.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__1534_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1535_18.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1536_36.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__1538_57.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__1542_28.min1.thm12017-02-06 12:46 2.8K 
[ ]rfunct_1__1544_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1545_16.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1546_34.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__1552_40.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__1554_25.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_1__1559_31.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__1564_41.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__1566_26.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__1567_20.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_1__1577_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1578_14.min1.thm12017-02-06 12:46 631  
[ ]rfunct_1__1579_34.min1.thm12017-02-06 12:46 3.0K 
[ ]rfunct_1__1580_23.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__1581_26.min1.thm12017-02-06 12:46 2.8K 
[ ]rfunct_1__1582_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1587_34.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_1__1588_11.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__1600_19.min1.thm12017-02-06 12:46 970  
[ ]rfunct_1__1601_31.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_1__1602_19.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_1__1606_26.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_1__1607_22.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__1608_17.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__1609_17.min1.thm12017-02-06 12:46 933  
[ ]rfunct_1__1619_19.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__1622_19.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__1625_16.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__1632_21.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__1633_25.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_1__1644_22.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1645_17.min1.thm12017-02-06 12:46 2.4K 
[ ]rfunct_1__1654_18.min1.thm12017-02-06 12:46 777  
[ ]rfunct_1__1655_16.min1.thm12017-02-06 12:46 886  
[ ]rfunct_1__1656_24.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__1657_25.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__1677_27.min1.thm12017-02-06 12:46 509  
[ ]rfunct_1__1677_27.min1.thm1.tptp2017-02-06 16:47 445  
[ ]rfunct_1__1678_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1688_22.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1689_19.min1.thm12017-02-06 12:46 889  
[ ]rfunct_1__1698_34.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_1__1703_41.min1.thm12017-02-06 12:46 614  
[ ]rfunct_1__1703_41.min1.thm1.tptp2017-02-06 16:47 580  
[ ]rfunct_1__1708_19.min1.thm12017-02-06 12:46 388  
[ ]rfunct_1__1708_19.min1.thm1.tptp2017-02-06 16:47 327  
[ ]rfunct_1__1722_22.min1.thm12017-02-06 12:46 509  
[ ]rfunct_1__1727_17.min1.thm12017-02-06 12:46 750  
[ ]rfunct_1__1731_19.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1738_10.min1.thm12017-02-06 12:46 413  
[ ]rfunct_1__1739_29.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1742_28.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1744_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1761_15.min1.thm12017-02-06 12:46 227  
[ ]rfunct_1__1764_26.min1.thm12017-02-06 12:46 686  
[ ]rfunct_1__1767_22.min1.thm12017-02-06 12:46 427  
[ ]rfunct_1__1767_22.min1.thm1.tptp2017-02-06 16:47 365  
[ ]rfunct_1__1776_19.min1.thm12017-02-06 12:46 233  
[ ]rfunct_1__1780_26.min1.thm12017-02-06 12:46 532  
[ ]rfunct_1__1787_30.min1.thm12017-02-06 12:46 534  
[ ]rfunct_1__1792_55.min1.thm12017-02-06 12:46 706  
[ ]rfunct_1__1798_27.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1811_15.min1.thm12017-02-06 12:46 485  
[ ]rfunct_1__1815_22.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__1819_35.min1.thm12017-02-06 12:46 445  
[ ]rfunct_1__1819_35.min1.thm1.tptp2017-02-06 16:47 381  
[ ]rfunct_1__1825_35.min1.thm12017-02-06 12:46 538  
[ ]rfunct_1__1829_55.min1.thm12017-02-06 12:46 706  
[ ]rfunct_1__1834_23.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__1836_25.min1.thm12017-02-06 12:46 679  
[ ]rfunct_1__1838_26.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__1841_22.min1.thm12017-02-06 12:46 513  
[ ]rfunct_1__1842_25.min1.thm12017-02-06 12:46 679  
[ ]rfunct_1__1849_27.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1851_27.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__1874_20.min1.thm12017-02-06 12:46 673  
[ ]rfunct_1__1875_23.min1.thm12017-02-06 12:46 561  
[ ]rfunct_1__1875_23.min1.thm1.tptp2017-02-06 16:47 478  
[ ]rfunct_1__1876_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1880_36.min1.thm12017-02-06 12:46 784  
[ ]rfunct_1__1885_25.min1.thm12017-02-06 12:46 665  
[ ]rfunct_1__1886_18.min1.thm12017-02-06 12:46 488  
[ ]rfunct_1__1886_18.min1.thm1.tptp2017-02-06 16:47 407  
[ ]rfunct_1__1888_19.min1.thm12017-02-06 12:46 753  
[ ]rfunct_1__1889_11.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1890_17.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_1__1906_20.min1.thm12017-02-06 12:46 673  
[ ]rfunct_1__1907_23.min1.thm12017-02-06 12:46 561  
[ ]rfunct_1__1907_23.min1.thm1.tptp2017-02-06 16:47 478  
[ ]rfunct_1__1908_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__1912_36.min1.thm12017-02-06 12:46 784  
[ ]rfunct_1__1917_25.min1.thm12017-02-06 12:46 665  
[ ]rfunct_1__1918_18.min1.thm12017-02-06 12:46 488  
[ ]rfunct_1__1918_18.min1.thm1.tptp2017-02-06 16:47 407  
[ ]rfunct_1__1920_19.min1.thm12017-02-06 12:46 753  
[ ]rfunct_1__1921_11.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__1934_51.min1.thm12017-02-06 12:46 958  
[ ]rfunct_1__1936_51.min1.thm12017-02-06 12:46 958  
[ ]rfunct_1__1940_19.min1.thm12017-02-06 12:46 618  
[ ]rfunct_1__1941_20.min1.thm12017-02-06 12:46 388  
[ ]rfunct_1__1941_20.min1.thm1.tptp2017-02-06 16:47 311  
[ ]rfunct_1__1942_26.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__1944_33.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_1__1945_19.min1.thm12017-02-06 12:46 619  
[ ]rfunct_1__1946_21.min1.thm12017-02-06 12:46 400  
[ ]rfunct_1__1946_21.min1.thm1.tptp2017-02-06 16:47 323  
[ ]rfunct_1__1951_19.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_1__1961_22.min1.thm12017-02-06 12:46 2.4K 
[ ]rfunct_1__1962_22.min1.thm12017-02-06 12:46 627  
[ ]rfunct_1__1963_19.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_1__1968_24.min1.thm12017-02-06 12:46 2.4K 
[ ]rfunct_1__1970_26.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__1971_21.min1.thm12017-02-06 12:46 632  
[ ]rfunct_1__1985_57.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__1987_57.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__1989_20.min1.thm12017-02-06 12:46 388  
[ ]rfunct_1__1989_20.min1.thm1.tptp2017-02-06 16:47 311  
[ ]rfunct_1__1992_16.min1.thm12017-02-06 12:46 502  
[ ]rfunct_1__1992_16.min1.thm1.tptp2017-02-06 16:47 421  
[ ]rfunct_1__1994_21.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__1995_21.min1.thm12017-02-06 12:46 400  
[ ]rfunct_1__1995_21.min1.thm1.tptp2017-02-06 16:47 323  
[ ]rfunct_1__1996_16.min1.thm12017-02-06 12:46 503  
[ ]rfunct_1__1996_16.min1.thm1.tptp2017-02-06 16:47 422  
[ ]rfunct_1__1998_22.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__1999_19.min1.thm12017-02-06 12:46 619  
[ ]rfunct_1__2002_19.min1.thm12017-02-06 12:46 619  
[ ]rfunct_1__2004_34.min1.thm12017-02-06 12:46 2.2K 
[ ]rfunct_1__2006_19.min1.thm12017-02-06 12:46 2.5K 
[ ]rfunct_1__2013_25.min1.thm12017-02-06 12:46 524  
[ ]rfunct_1__2013_25.min1.thm1.tptp2017-02-06 16:47 443  
[ ]rfunct_1__2015_23.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__2016_23.min1.thm12017-02-06 12:46 638  
[ ]rfunct_1__2017_22.min1.thm12017-02-06 12:46 1.8K 
[ ]rfunct_1__2020_28.min1.thm12017-02-06 12:46 904  
[ ]rfunct_1__2025_21.min1.thm12017-02-06 12:46 524  
[ ]rfunct_1__2025_21.min1.thm1.tptp2017-02-06 16:47 443  
[ ]rfunct_1__2026_22.min1.thm12017-02-06 12:46 627  
[ ]rfunct_1__2027_21.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__2029_30.min1.thm12017-02-06 12:46 779  
[ ]rfunct_1__2030_17.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__2045_56.min1.thm12017-02-06 12:46 729  
[ ]rfunct_1__2052_19.min1.thm12017-02-06 12:46 449  
[ ]rfunct_1__2052_19.min1.thm1.tptp2017-02-06 16:47 387  
[ ]rfunct_1__2053_15.min1.thm12017-02-06 12:46 436  
[ ]rfunct_1__2053_15.min1.thm1.tptp2017-02-06 16:47 374  
[ ]rfunct_1__2054_29.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__2055_23.min1.thm12017-02-06 12:46 590  
[ ]rfunct_1__2057_19.min1.thm12017-02-06 12:46 729  
[ ]rfunct_1__2066_57.min1.thm12017-02-06 12:46 729  
[ ]rfunct_1__2073_19.min1.thm12017-02-06 12:46 449  
[ ]rfunct_1__2073_19.min1.thm1.tptp2017-02-06 16:47 387  
[ ]rfunct_1__2074_15.min1.thm12017-02-06 12:46 436  
[ ]rfunct_1__2074_15.min1.thm1.tptp2017-02-06 16:47 374  
[ ]rfunct_1__2075_29.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__2076_23.min1.thm12017-02-06 12:46 590  
[ ]rfunct_1__2078_19.min1.thm12017-02-06 12:46 729  
[ ]rfunct_1__2083_16.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__2093_57.min1.thm12017-02-06 12:46 725  
[ ]rfunct_1__2098_23.min1.thm12017-02-06 12:46 486  
[ ]rfunct_1__2098_23.min1.thm1.tptp2017-02-06 16:47 424  
[ ]rfunct_1__2100_13.min1.thm12017-02-06 12:46 415  
[ ]rfunct_1__2100_13.min1.thm1.tptp2017-02-06 16:47 353  
[ ]rfunct_1__2101_17.min1.thm12017-02-06 12:46 470  
[ ]rfunct_1__2101_17.min1.thm1.tptp2017-02-06 16:47 408  
[ ]rfunct_1__2102_27.min1.thm12017-02-06 12:46 521  
[ ]rfunct_1__2103_22.min1.thm12017-02-06 12:46 496  
[ ]rfunct_1__2103_22.min1.thm1.tptp2017-02-06 16:47 415  
[ ]rfunct_1__2105_38.min1.thm12017-02-06 12:46 837  
[ ]rfunct_1__2107_57.min1.thm12017-02-06 12:46 725  
[ ]rfunct_1__2112_23.min1.thm12017-02-06 12:46 486  
[ ]rfunct_1__2112_23.min1.thm1.tptp2017-02-06 16:47 424  
[ ]rfunct_1__2114_13.min1.thm12017-02-06 12:46 508  
[ ]rfunct_1__2115_17.min1.thm12017-02-06 12:46 470  
[ ]rfunct_1__2115_17.min1.thm1.tptp2017-02-06 16:47 408  
[ ]rfunct_1__2116_27.min1.thm12017-02-06 12:46 521  
[ ]rfunct_1__2117_22.min1.thm12017-02-06 12:46 496  
[ ]rfunct_1__2117_22.min1.thm1.tptp2017-02-06 16:47 415  
[ ]rfunct_1__2119_17.min1.thm12017-02-06 12:46 838  
[ ]rfunct_1__2127_13.min1.thm12017-02-06 12:46 203  
[ ]rfunct_1__2130_35.min1.thm12017-02-06 12:46 388  
[ ]rfunct_1__2136_22.min1.thm12017-02-06 12:46 535  
[ ]rfunct_1__2140_20.min1.thm12017-02-06 12:46 529  
[ ]rfunct_1__2146_52.min1.thm12017-02-06 12:46 749  
[ ]rfunct_1__2152_23.min1.thm12017-02-06 12:46 484  
[ ]rfunct_1__2152_23.min1.thm1.tptp2017-02-06 16:47 407  
[ ]rfunct_1__2153_23.min1.thm12017-02-06 12:46 2.7K 
[ ]rfunct_1__2158_21.min1.thm12017-02-06 12:46 476  
[ ]rfunct_1__2158_21.min1.thm1.tptp2017-02-06 16:47 399  
[ ]rfunct_1__2159_21.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__2168_23.min1.thm12017-02-06 12:46 635  
[ ]rfunct_1__2169_15.min1.thm12017-02-06 12:46 866  
[ ]rfunct_1__2170_14.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__2183_23.min1.thm12017-02-06 12:46 491  
[ ]rfunct_1__2183_23.min1.thm1.tptp2017-02-06 16:47 429  
[ ]rfunct_1__2184_14.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__2185_27.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__2193_23.min1.thm12017-02-06 12:46 491  
[ ]rfunct_1__2193_23.min1.thm1.tptp2017-02-06 16:47 429  
[ ]rfunct_1__2194_14.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__2195_27.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__2206_48.min1.thm12017-02-06 12:46 740  
[ ]rfunct_1__2213_24.min1.thm12017-02-06 12:46 636  
[ ]rfunct_1__2214_21.min1.thm12017-02-06 12:46 471  
[ ]rfunct_1__2214_21.min1.thm1.tptp2017-02-06 16:47 388  
[ ]rfunct_1__2215_21.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2217_16.min1.thm12017-02-06 12:46 340  
[ ]rfunct_1__2227_50.min1.thm12017-02-06 12:46 740  
[ ]rfunct_1__2234_24.min1.thm12017-02-06 12:46 636  
[ ]rfunct_1__2235_21.min1.thm12017-02-06 12:46 471  
[ ]rfunct_1__2235_21.min1.thm1.tptp2017-02-06 16:47 388  
[ ]rfunct_1__2236_21.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2238_16.min1.thm12017-02-06 12:46 340  
[ ]rfunct_1__2249_51.min1.thm12017-02-06 12:46 740  
[ ]rfunct_1__2253_22.min1.thm12017-02-06 12:46 400  
[ ]rfunct_1__2253_22.min1.thm1.tptp2017-02-06 16:47 323  
[ ]rfunct_1__2256_24.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__2257_27.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__2259_36.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__2262_19.min1.thm12017-02-06 12:46 900  
[ ]rfunct_1__2273_51.min1.thm12017-02-06 12:46 740  
[ ]rfunct_1__2277_23.min1.thm12017-02-06 12:46 411  
[ ]rfunct_1__2277_23.min1.thm1.tptp2017-02-06 16:47 334  
[ ]rfunct_1__2280_24.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__2283_39.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__2286_19.min1.thm12017-02-06 12:46 900  
[ ]rfunct_1__2297_51.min1.thm12017-02-06 12:46 740  
[ ]rfunct_1__2301_20.min1.thm12017-02-06 12:46 400  
[ ]rfunct_1__2301_20.min1.thm1.tptp2017-02-06 16:47 323  
[ ]rfunct_1__2304_24.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__2306_34.min1.thm12017-02-06 12:46 2.9K 
[ ]rfunct_1__2307_36.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__2310_19.min1.thm12017-02-06 12:46 900  
[ ]rfunct_1__2321_51.min1.thm12017-02-06 12:46 740  
[ ]rfunct_1__2325_23.min1.thm12017-02-06 12:46 411  
[ ]rfunct_1__2325_23.min1.thm1.tptp2017-02-06 16:47 334  
[ ]rfunct_1__2328_24.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__2331_39.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__2334_19.min1.thm12017-02-06 12:46 900  
[ ]rfunct_1__2342_26.min1.thm12017-02-06 12:46 824  
[ ]rfunct_1__2343_14.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_1__2350_26.min1.thm12017-02-06 12:46 824  
[ ]rfunct_1__2351_14.min1.thm12017-02-06 12:46 2.6K 
[ ]rfunct_1__2359_11.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__2362_39.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__2363_18.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__2367_39.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__2368_18.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__2378_38.min1.thm12017-02-06 12:46 613  
[ ]rfunct_1__2382_22.min1.thm12017-02-06 12:46 938  
[ ]rfunct_1__2383_29.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_1__2385_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__2390_28.min1.thm12017-02-06 12:46 673  
[ ]rfunct_1__2390_28.min1.thm1.tptp2017-02-06 16:47 632  
[ ]rfunct_1__2398_57.min1.thm12017-02-06 12:46 638  
[ ]rfunct_1__2398_57.min1.thm1.tptp2017-02-06 16:47 593  
[ ]rfunct_1__2403_24.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__2404_32.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__2405_35.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__2407_19.min1.thm12017-02-06 12:46 658  
[ ]rfunct_1__2407_19.min1.thm1.tptp2017-02-06 16:47 630  
[ ]rfunct_1__2414_11.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__2422_25.min1.thm12017-02-06 12:46 758  
[ ]rfunct_1__2423_31.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__2424_16.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__2435_53.min1.thm12017-02-06 12:46 740  
[ ]rfunct_1__2437_53.min1.thm12017-02-06 12:46 740  
[ ]rfunct_1__2444_30.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2445_25.min1.thm12017-02-06 12:46 470  
[ ]rfunct_1__2445_25.min1.thm1.tptp2017-02-06 16:47 408  
[ ]rfunct_1__2447_18.min1.thm12017-02-06 12:46 471  
[ ]rfunct_1__2447_18.min1.thm1.tptp2017-02-06 16:47 388  
[ ]rfunct_1__2448_20.min1.thm12017-02-06 12:46 563  
[ ]rfunct_1__2450_28.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__2462_53.min1.thm12017-02-06 12:46 740  
[ ]rfunct_1__2464_53.min1.thm12017-02-06 12:46 740  
[ ]rfunct_1__2471_30.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2472_25.min1.thm12017-02-06 12:46 470  
[ ]rfunct_1__2472_25.min1.thm1.tptp2017-02-06 16:47 408  
[ ]rfunct_1__2474_18.min1.thm12017-02-06 12:46 471  
[ ]rfunct_1__2474_18.min1.thm1.tptp2017-02-06 16:47 388  
[ ]rfunct_1__2475_20.min1.thm12017-02-06 12:46 563  
[ ]rfunct_1__2477_28.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__2489_47.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__2490_28.min1.thm12017-02-06 12:46 792  
[ ]rfunct_1__2491_23.min1.thm12017-02-06 12:46 697  
[ ]rfunct_1__2491_23.min1.thm1.tptp2017-02-06 16:47 626  
[ ]rfunct_1__2492_14.min1.thm12017-02-06 12:46 3.3K 
[ ]rfunct_1__2501_59.min1.thm12017-02-06 12:46 638  
[ ]rfunct_1__2501_59.min1.thm1.tptp2017-02-06 16:47 593  
[ ]rfunct_1__2503_59.min1.thm12017-02-06 12:46 638  
[ ]rfunct_1__2503_59.min1.thm1.tptp2017-02-06 16:47 593  
[ ]rfunct_1__2507_21.min1.thm12017-02-06 12:46 969  
[ ]rfunct_1__2510_30.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2511_25.min1.thm12017-02-06 12:46 470  
[ ]rfunct_1__2511_25.min1.thm1.tptp2017-02-06 16:47 408  
[ ]rfunct_1__2513_24.min1.thm12017-02-06 12:46 494  
[ ]rfunct_1__2513_24.min1.thm1.tptp2017-02-06 16:47 413  
[ ]rfunct_1__2514_20.min1.thm12017-02-06 12:46 563  
[ ]rfunct_1__2516_24.min1.thm12017-02-06 12:46 494  
[ ]rfunct_1__2516_24.min1.thm1.tptp2017-02-06 16:47 413  
[ ]rfunct_1__2517_21.min1.thm12017-02-06 12:46 969  
[ ]rfunct_1__2518_38.min1.thm12017-02-06 12:46 2.4K 
[ ]rfunct_1__2520_36.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__2533_51.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__2534_30.min1.thm12017-02-06 12:46 794  
[ ]rfunct_1__2535_25.min1.thm12017-02-06 12:46 699  
[ ]rfunct_1__2535_25.min1.thm1.tptp2017-02-06 16:47 628  
[ ]rfunct_1__2536_40.min1.thm12017-02-06 12:46 2.4K 
[ ]rfunct_1__2537_23.min1.thm12017-02-06 12:46 630  
[ ]rfunct_1__2538_17.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__2549_57.min1.thm12017-02-06 12:46 736  
[ ]rfunct_1__2551_57.min1.thm12017-02-06 12:46 736  
[ ]rfunct_1__2558_17.min1.thm12017-02-06 12:46 478  
[ ]rfunct_1__2558_17.min1.thm1.tptp2017-02-06 16:47 416  
[ ]rfunct_1__2559_18.min1.thm12017-02-06 12:46 495  
[ ]rfunct_1__2559_18.min1.thm1.tptp2017-02-06 16:47 433  
[ ]rfunct_1__2561_18.min1.thm12017-02-06 12:46 475  
[ ]rfunct_1__2561_18.min1.thm1.tptp2017-02-06 16:47 413  
[ ]rfunct_1__2564_31.min1.thm12017-02-06 12:46 543  
[ ]rfunct_1__2566_20.min1.thm12017-02-06 12:46 521  
[ ]rfunct_1__2566_20.min1.thm1.tptp2017-02-06 16:47 440  
[ ]rfunct_1__2567_23.min1.thm12017-02-06 12:46 622  
[ ]rfunct_1__2568_24.min1.thm12017-02-06 12:46 391  
[ ]rfunct_1__2568_24.min1.thm1.tptp2017-02-06 16:47 314  
[ ]rfunct_1__2569_30.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2571_22.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__2575_31.min1.thm12017-02-06 12:46 543  
[ ]rfunct_1__2577_20.min1.thm12017-02-06 12:46 521  
[ ]rfunct_1__2577_20.min1.thm1.tptp2017-02-06 16:47 440  
[ ]rfunct_1__2578_23.min1.thm12017-02-06 12:46 622  
[ ]rfunct_1__2579_24.min1.thm12017-02-06 12:46 391  
[ ]rfunct_1__2579_24.min1.thm1.tptp2017-02-06 16:47 314  
[ ]rfunct_1__2580_30.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2582_22.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__2585_18.min1.thm12017-02-06 12:46 322  
[ ]rfunct_1__2587_17.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__2598_57.min1.thm12017-02-06 12:46 736  
[ ]rfunct_1__2600_57.min1.thm12017-02-06 12:46 736  
[ ]rfunct_1__2607_17.min1.thm12017-02-06 12:46 478  
[ ]rfunct_1__2607_17.min1.thm1.tptp2017-02-06 16:47 416  
[ ]rfunct_1__2608_18.min1.thm12017-02-06 12:46 495  
[ ]rfunct_1__2608_18.min1.thm1.tptp2017-02-06 16:47 433  
[ ]rfunct_1__2610_18.min1.thm12017-02-06 12:46 475  
[ ]rfunct_1__2610_18.min1.thm1.tptp2017-02-06 16:47 413  
[ ]rfunct_1__2613_31.min1.thm12017-02-06 12:46 543  
[ ]rfunct_1__2615_20.min1.thm12017-02-06 12:46 521  
[ ]rfunct_1__2615_20.min1.thm1.tptp2017-02-06 16:47 440  
[ ]rfunct_1__2616_23.min1.thm12017-02-06 12:46 622  
[ ]rfunct_1__2617_25.min1.thm12017-02-06 12:46 402  
[ ]rfunct_1__2617_25.min1.thm1.tptp2017-02-06 16:47 325  
[ ]rfunct_1__2618_31.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__2620_22.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__2624_31.min1.thm12017-02-06 12:46 543  
[ ]rfunct_1__2626_20.min1.thm12017-02-06 12:46 521  
[ ]rfunct_1__2626_20.min1.thm1.tptp2017-02-06 16:47 440  
[ ]rfunct_1__2627_23.min1.thm12017-02-06 12:46 622  
[ ]rfunct_1__2628_25.min1.thm12017-02-06 12:46 402  
[ ]rfunct_1__2628_25.min1.thm1.tptp2017-02-06 16:47 325  
[ ]rfunct_1__2629_31.min1.thm12017-02-06 12:46 1.5K 
[ ]rfunct_1__2630_45.min1.thm12017-02-06 12:46 2.3K 
[ ]rfunct_1__2634_18.min1.thm12017-02-06 12:46 322  
[ ]rfunct_1__2636_17.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__2645_37.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2646_16.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2658_43.min1.thm12017-02-06 12:46 903  
[ ]rfunct_1__2660_43.min1.thm12017-02-06 12:46 903  
[ ]rfunct_1__2666_30.min1.thm12017-02-06 12:46 3.3K 
[ ]rfunct_1__2668_20.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__2669_20.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2671_23.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__2672_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__2680_43.min1.thm12017-02-06 12:46 903  
[ ]rfunct_1__2682_43.min1.thm12017-02-06 12:46 903  
[ ]rfunct_1__2690_20.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__2691_20.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2693_23.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__2694_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__2702_44.min1.thm12017-02-06 12:46 903  
[ ]rfunct_1__2704_44.min1.thm12017-02-06 12:46 903  
[ ]rfunct_1__2710_30.min1.thm12017-02-06 12:46 3.2K 
[ ]rfunct_1__2712_20.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__2713_20.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2715_23.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__2716_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__2730_48.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__2732_48.min1.thm12017-02-06 12:46 1.1K 
[ ]rfunct_1__2740_13.min1.thm12017-02-06 12:46 422  
[ ]rfunct_1__2740_13.min1.thm1.tptp2017-02-06 16:47 360  
[ ]rfunct_1__2741_23.min1.thm12017-02-06 12:46 2.7K 
[ ]rfunct_1__2743_30.min1.thm12017-02-06 12:46 3.2K 
[ ]rfunct_1__2744_23.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2746_24.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2747_14.min1.thm12017-02-06 12:46 515  
[ ]rfunct_1__2748_18.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__2750_24.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2752_21.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__2753_19.min1.thm12017-02-06 12:46 734  
[ ]rfunct_1__2763_14.min1.thm12017-02-06 12:46 422  
[ ]rfunct_1__2763_14.min1.thm1.tptp2017-02-06 16:47 360  
[ ]rfunct_1__2767_23.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2769_24.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2770_14.min1.thm12017-02-06 12:46 515  
[ ]rfunct_1__2771_18.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__2773_24.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2775_21.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__2776_19.min1.thm12017-02-06 12:46 734  
[ ]rfunct_1__2785_25.min1.thm12017-02-06 12:46 2.7K 
[ ]rfunct_1__2787_31.min1.thm12017-02-06 12:46 3.1K 
[ ]rfunct_1__2789_19.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2790_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rfunct_1__2791_13.min1.thm12017-02-06 12:46 515  
[ ]rfunct_1__2793_24.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2794_13.min1.thm12017-02-06 12:46 422  
[ ]rfunct_1__2794_13.min1.thm1.tptp2017-02-06 16:47 360  
[ ]rfunct_1__2796_24.min1.thm12017-02-06 12:46 1.3K 
[ ]rfunct_1__2797_36.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__2798_21.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__2799_19.min1.thm12017-02-06 12:46 733  
[ ]rfunct_1__2811_56.min1.thm12017-02-06 12:46 903  
[ ]rfunct_1__2816_24.min1.thm12017-02-06 12:46 1.9K 
[ ]rfunct_1__2817_22.min1.thm12017-02-06 12:46 922  
[ ]rfunct_1__2818_25.min1.thm12017-02-06 12:46 1.4K 
[ ]rfunct_1__2826_56.min1.thm12017-02-06 12:46 903  
[ ]rfunct_1__2831_24.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_1__2832_26.min1.thm12017-02-06 12:46 734  
[ ]rfunct_1__2833_28.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__2842_56.min1.thm12017-02-06 12:46 903  
[ ]rfunct_1__2848_26.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__2849_29.min1.thm12017-02-06 12:46 1.6K 
[ ]rfunct_1__2866_14.min1.thm12017-02-06 12:46 2.0K 
[ ]rfunct_1__2884_28.min1.thm12017-02-06 12:46 1.0K 
[ ]rfunct_1__2885_30.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_1__2887_23.min1.thm12017-02-06 12:46 863  
[ ]rfunct_1__2888_25.min1.thm12017-02-06 12:46 2.1K 
[ ]rfunct_1__2889_26.min1.thm12017-02-06 12:46 863  
[ ]rfunct_1__2890_14.min1.thm12017-02-06 12:46 1.7K 
[ ]rfunct_1__2912_26.min1.thm12017-02-06 12:46 867  
[ ]rfunct_1__2921_26.min1.thm12017-02-06 12:46 867  
[ ]rfunct_1__2927_24.min1.thm12017-02-06 12:46 863  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80