Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/funct_4
Name
Last modified
Size
Description
Parent Directory
-
funct_4__40_47.min1.thm1
2017-02-06 12:45
777
funct_4__41_17.min1.thm1
2017-02-06 12:45
630
funct_4__61_16.min1.thm1
2017-02-06 12:45
524
funct_4__62_23.min1.thm1
2017-02-06 12:45
597
funct_4__64_13.min1.thm1
2017-02-06 12:45
674
funct_4__65_23.min1.thm1
2017-02-06 12:45
598
funct_4__66_16.min1.thm1
2017-02-06 12:45
762
funct_4__67_17.min1.thm1
2017-02-06 12:45
740
funct_4__75_36.min1.thm1
2017-02-06 12:45
468
funct_4__75_36.min1.thm1.tptp
2017-02-06 16:47
394
funct_4__81_19.min1.thm1
2017-02-06 12:45
713
funct_4__82_19.min1.thm1
2017-02-06 12:45
713
funct_4__84_21.min1.thm1
2017-02-06 12:45
568
funct_4__85_21.min1.thm1
2017-02-06 12:45
739
funct_4__86_33.min1.thm1
2017-02-06 12:45
873
funct_4__87_21.min1.thm1
2017-02-06 12:45
1.1K
funct_4__91_31.min1.thm1
2017-02-06 12:45
1.0K
funct_4__93_19.min1.thm1
2017-02-06 12:45
660
funct_4__94_17.min1.thm1
2017-02-06 12:45
1.0K
funct_4__95_19.min1.thm1
2017-02-06 12:45
822
funct_4__98_34.min1.thm1
2017-02-06 12:45
574
funct_4__98_34.min1.thm1.tptp
2017-02-06 16:47
514
funct_4__104_17.min1.thm1
2017-02-06 12:45
709
funct_4__106_20.min1.thm1
2017-02-06 12:45
564
funct_4__107_29.min1.thm1
2017-02-06 12:45
781
funct_4__109_27.min1.thm1
2017-02-06 12:45
1.0K
funct_4__111_17.min1.thm1
2017-02-06 12:45
1.5K
funct_4__123_25.min1.thm1
2017-02-06 12:45
672
funct_4__124_19.min1.thm1
2017-02-06 12:45
1.6K
funct_4__134_17.min1.thm1
2017-02-06 12:45
1.2K
funct_4__135_11.min1.thm1
2017-02-06 12:45
710
funct_4__142_23.min1.thm1
2017-02-06 12:45
798
funct_4__149_27.min1.thm1
2017-02-06 12:45
1.5K
funct_4__150_38.min1.thm1
2017-02-06 12:45
1.4K
funct_4__152_21.min1.thm1
2017-02-06 12:45
798
funct_4__153_17.min1.thm1
2017-02-06 12:45
1.8K
funct_4__161_35.min1.thm1
2017-02-06 12:45
1.4K
funct_4__162_21.min1.thm1
2017-02-06 12:45
798
funct_4__163_17.min1.thm1
2017-02-06 12:45
1.0K
funct_4__174_16.min1.thm1
2017-02-06 12:45
647
funct_4__175_16.min1.thm1
2017-02-06 12:45
868
funct_4__177_22.min1.thm1
2017-02-06 12:45
588
funct_4__178_39.min1.thm1
2017-02-06 12:45
1.3K
funct_4__188_17.min1.thm1
2017-02-06 12:45
972
funct_4__189_33.min1.thm1
2017-02-06 12:45
677
funct_4__196_18.min1.thm1
2017-02-06 12:45
1.0K
funct_4__206_31.min1.thm1
2017-02-06 12:45
666
funct_4__207_17.min1.thm1
2017-02-06 12:45
530
funct_4__207_17.min1.thm1.tptp
2017-02-06 16:47
459
funct_4__214_22.min1.thm1
2017-02-06 12:45
733
funct_4__215_17.min1.thm1
2017-02-06 12:45
821
funct_4__251_55.min1.thm1
2017-02-06 12:45
1.3K
funct_4__252_51.min1.thm1
2017-02-06 12:45
1.3K
funct_4__253_21.min1.thm1
2017-02-06 12:45
841
funct_4__253_21.min1.thm1.tptp
2017-02-06 16:47
770
funct_4__255_19.min1.thm1
2017-02-06 12:45
1.0K
funct_4__257_13.min1.thm1
2017-02-06 12:45
514
funct_4__263_31.min1.thm1
2017-02-06 12:45
1.0K
funct_4__264_17.min1.thm1
2017-02-06 12:45
635
funct_4__272_11.min1.thm1
2017-02-06 12:45
240
funct_4__275_31.min1.thm1
2017-02-06 12:45
447
funct_4__275_31.min1.thm1.tptp
2017-02-06 16:47
385
funct_4__276_19.min1.thm1
2017-02-06 12:45
1.2K
funct_4__280_35.min1.thm1
2017-02-06 12:45
542
funct_4__281_30.min1.thm1
2017-02-06 12:45
1.1K
funct_4__282_26.min1.thm1
2017-02-06 12:45
933
funct_4__283_15.min1.thm1
2017-02-06 12:45
614
funct_4__290_45.min1.thm1
2017-02-06 12:45
1.1K
funct_4__291_17.min1.thm1
2017-02-06 12:45
665
funct_4__291_17.min1.thm1.tptp
2017-02-06 16:47
607
funct_4__297_43.min1.thm1
2017-02-06 12:45
503
funct_4__297_43.min1.thm1.tptp
2017-02-06 16:47
449
funct_4__298_17.min1.thm1
2017-02-06 12:45
1.3K
funct_4__310_18.min1.thm1
2017-02-06 12:45
832
funct_4__313_45.min1.thm1
2017-02-06 12:45
1.1K
funct_4__314_19.min1.thm1
2017-02-06 12:45
787
funct_4__315_26.min1.thm1
2017-02-06 12:45
790
funct_4__319_38.min1.thm1
2017-02-06 12:45
1.0K
funct_4__320_26.min1.thm1
2017-02-06 12:45
726
funct_4__326_21.min1.thm1
2017-02-06 12:45
713
funct_4__327_21.min1.thm1
2017-02-06 12:45
713
funct_4__328_41.min1.thm1
2017-02-06 12:45
1.0K
funct_4__329_15.min1.thm1
2017-02-06 12:45
720
funct_4__331_44.min1.thm1
2017-02-06 12:45
1.3K
funct_4__332_33.min1.thm1
2017-02-06 12:45
1.2K
funct_4__333_35.min1.thm1
2017-02-06 12:45
554
funct_4__333_35.min1.thm1.tptp
2017-02-06 16:47
487
funct_4__334_30.min1.thm1
2017-02-06 12:45
1.1K
funct_4__345_13.min1.thm1
2017-02-06 12:45
242
funct_4__348_50.min1.thm1
2017-02-06 12:45
1.1K
funct_4__349_21.min1.thm1
2017-02-06 12:45
1.0K
funct_4__353_21.min1.thm1
2017-02-06 12:45
720
funct_4__356_14.min1.thm1
2017-02-06 12:45
376
funct_4__363_24.min1.thm1
2017-02-06 12:45
679
funct_4__364_17.min1.thm1
2017-02-06 12:45
708
funct_4__374_21.min1.thm1
2017-02-06 12:45
926
funct_4__375_46.min1.thm1
2017-02-06 12:45
814
funct_4__376_72.min1.thm1
2017-02-06 12:45
1.2K
funct_4__378_34.min1.thm1
2017-02-06 12:45
1.1K
funct_4__379_17.min1.thm1
2017-02-06 12:45
499
funct_4__379_17.min1.thm1.tptp
2017-02-06 16:47
437
funct_4__388_27.min1.thm1
2017-02-06 12:45
580
funct_4__389_38.min1.thm1
2017-02-06 12:45
1.0K
funct_4__390_17.min1.thm1
2017-02-06 12:45
944
funct_4__397_32.min1.thm1
2017-02-06 12:45
495
funct_4__398_74.min1.thm1
2017-02-06 12:45
1.2K
funct_4__400_17.min1.thm1
2017-02-06 12:45
1.0K
funct_4__408_19.min1.thm1
2017-02-06 12:45
525
funct_4__409_17.min1.thm1
2017-02-06 12:45
676
funct_4__418_27.min1.thm1
2017-02-06 12:45
753
funct_4__419_19.min1.thm1
2017-02-06 12:45
1.3K
funct_4__421_24.min1.thm1
2017-02-06 12:45
650
funct_4__422_29.min1.thm1
2017-02-06 12:45
1.2K
funct_4__423_17.min1.thm1
2017-02-06 12:45
1.1K
funct_4__428_13.min1.thm1
2017-02-06 12:45
532
funct_4__431_13.min1.thm1
2017-02-06 12:45
532
funct_4__441_15.min1.thm1
2017-02-06 12:45
222
funct_4__444_20.min1.thm1
2017-02-06 12:45
600
funct_4__445_46.min1.thm1
2017-02-06 12:45
806
funct_4__446_17.min1.thm1
2017-02-06 12:45
462
funct_4__447_28.min1.thm1
2017-02-06 12:45
901
funct_4__452_17.min1.thm1
2017-02-06 12:45
968
funct_4__453_28.min1.thm1
2017-02-06 12:45
702
funct_4__454_46.min1.thm1
2017-02-06 12:45
1.1K
funct_4__455_17.min1.thm1
2017-02-06 12:45
462
funct_4__456_28.min1.thm1
2017-02-06 12:45
901
funct_4__459_16.min1.thm1
2017-02-06 12:45
522
funct_4__461_47.min1.thm1
2017-02-06 12:45
1.4K
funct_4__462_20.min1.thm1
2017-02-06 12:45
889
funct_4__463_13.min1.thm1
2017-02-06 12:45
743
funct_4__464_21.min1.thm1
2017-02-06 12:45
678
funct_4__465_17.min1.thm1
2017-02-06 12:45
1.6K
funct_4__471_33.min1.thm1
2017-02-06 12:45
1.0K
funct_4__473_36.min1.thm1
2017-02-06 12:45
1.0K
funct_4__477_42.min1.thm1
2017-02-06 12:45
681
funct_4__491_53.min1.thm1
2017-02-06 12:45
800
funct_4__492_26.min1.thm1
2017-02-06 12:45
1.4K
funct_4__493_28.min1.thm1
2017-02-06 12:45
718
funct_4__494_19.min1.thm1
2017-02-06 12:45
1.2K
funct_4__496_51.min1.thm1
2017-02-06 12:45
798
funct_4__497_48.min1.thm1
2017-02-06 12:45
832
funct_4__498_17.min1.thm1
2017-02-06 12:45
1.6K
funct_4__504_33.min1.thm1
2017-02-06 12:45
1.0K
funct_4__506_27.min1.thm1
2017-02-06 12:45
539
funct_4__507_45.min1.thm1
2017-02-06 12:45
643
funct_4__508_17.min1.thm1
2017-02-06 12:45
1.1K
funct_4__520_34.min1.thm1
2017-02-06 12:45
694
funct_4__521_15.min1.thm1
2017-02-06 12:45
613
funct_4__523_23.min1.thm1
2017-02-06 12:45
699
funct_4__524_46.min1.thm1
2017-02-06 12:45
506
funct_4__524_46.min1.thm1.tptp
2017-02-06 16:47
428
funct_4__525_20.min1.thm1
2017-02-06 12:45
1.5K
funct_4__527_32.min1.thm1
2017-02-06 12:45
579
funct_4__528_19.min1.thm1
2017-02-06 12:45
1.5K
funct_4__529_26.min1.thm1
2017-02-06 12:45
709
funct_4__530_19.min1.thm1
2017-02-06 12:45
1.3K
funct_4__531_17.min1.thm1
2017-02-06 12:45
1.6K
funct_4__543_17.min1.thm1
2017-02-06 12:45
439
funct_4__543_17.min1.thm1.tptp
2017-02-06 16:47
377
funct_4__544_17.min1.thm1
2017-02-06 12:45
532
funct_4__545_26.min1.thm1
2017-02-06 12:45
699
funct_4__547_32.min1.thm1
2017-02-06 12:45
579
funct_4__548_21.min1.thm1
2017-02-06 12:45
702
funct_4__549_17.min1.thm1
2017-02-06 12:45
1.3K
funct_4__557_35.min1.thm1
2017-02-06 12:45
1.0K
funct_4__559_27.min1.thm1
2017-02-06 12:45
450
funct_4__559_27.min1.thm1.tptp
2017-02-06 16:47
370
funct_4__561_54.min1.thm1
2017-02-06 12:45
743
funct_4__562_19.min1.thm1
2017-02-06 12:45
1.1K
funct_4__564_16.min1.thm1
2017-02-06 12:45
1.1K
funct_4__574_16.min1.thm1
2017-02-06 12:45
923
funct_4__575_21.min1.thm1
2017-02-06 12:45
1.0K
funct_4__576_51.min1.thm1
2017-02-06 12:45
814
funct_4__578_69.min1.thm1
2017-02-06 12:45
1.2K
funct_4__580_19.min1.thm1
2017-02-06 12:45
1.0K
funct_4__581_26.min1.thm1
2017-02-06 12:45
1.3K
funct_4__582_17.min1.thm1
2017-02-06 12:45
443
funct_4__582_17.min1.thm1.tptp
2017-02-06 16:47
381
funct_4__592_18.min1.thm1
2017-02-06 12:45
617
funct_4__593_23.min1.thm1
2017-02-06 12:45
561
funct_4__594_18.min1.thm1
2017-02-06 12:45
517
funct_4__595_28.min1.thm1
2017-02-06 12:45
543
funct_4__596_19.min1.thm1
2017-02-06 12:45
557
funct_4__598_16.min1.thm1
2017-02-06 12:45
913
funct_4__605_23.min1.thm1
2017-02-06 12:45
627
funct_4__606_17.min1.thm1
2017-02-06 12:45
635
funct_4__613_25.min1.thm1
2017-02-06 12:45
686
funct_4__614_17.min1.thm1
2017-02-06 12:45
381
funct_4__614_17.min1.thm1.tptp
2017-02-06 16:47
301
funct_4__622_28.min1.thm1
2017-02-06 12:45
499
funct_4__623_49.min1.thm1
2017-02-06 12:45
886
funct_4__624_35.min1.thm1
2017-02-06 12:45
1.2K
funct_4__625_15.min1.thm1
2017-02-06 12:45
435
funct_4__625_15.min1.thm1.tptp
2017-02-06 16:47
365
funct_4__626_17.min1.thm1
2017-02-06 12:45
1.5K
funct_4__641_39.min1.thm1
2017-02-06 12:45
1.0K
funct_4__642_20.min1.thm1
2017-02-06 12:45
925
funct_4__646_29.min1.thm1
2017-02-06 12:45
794
funct_4__647_51.min1.thm1
2017-02-06 12:45
1.1K
funct_4__648_25.min1.thm1
2017-02-06 12:45
1.2K
funct_4__652_34.min1.thm1
2017-02-06 12:45
800
funct_4__653_25.min1.thm1
2017-02-06 12:45
1.0K
funct_4__657_34.min1.thm1
2017-02-06 12:45
797
funct_4__658_25.min1.thm1
2017-02-06 12:45
1.0K
funct_4__661_18.min1.thm1
2017-02-06 12:45
454
funct_4__663_35.min1.thm1
2017-02-06 12:45
1.1K
funct_4__664_23.min1.thm1
2017-02-06 12:45
1.0K
funct_4__665_19.min1.thm1
2017-02-06 12:45
1.1K
funct_4__672_20.min1.thm1
2017-02-06 12:45
532
funct_4__674_24.min1.thm1
2017-02-06 12:45
702
funct_4__675_15.min1.thm1
2017-02-06 12:45
439
funct_4__675_15.min1.thm1.tptp
2017-02-06 16:47
377
funct_4__676_17.min1.thm1
2017-02-06 12:45
934
funct_4__683_23.min1.thm1
2017-02-06 12:45
627
funct_4__684_17.min1.thm1
2017-02-06 12:45
633
funct_4__692_21.min1.thm1
2017-02-06 12:45
1.0K
funct_4__693_17.min1.thm1
2017-02-06 12:45
1.2K
funct_4__701_31.min1.thm1
2017-02-06 12:45
1.9K
funct_4__702_17.min1.thm1
2017-02-06 12:45
1.4K
funct_4__706_51.min1.thm1
2017-02-06 12:45
1.3K
funct_4__709_51.min1.thm1
2017-02-06 12:45
779
funct_4__715_35.min1.thm1
2017-02-06 12:45
1.5K
funct_4__717_23.min1.thm1
2017-02-06 12:45
1.5K
funct_4__718_34.min1.thm1
2017-02-06 12:45
1.9K
funct_4__719_17.min1.thm1
2017-02-06 12:45
1.9K
funct_4__751_15.min1.thm1
2017-02-06 12:45
596
funct_4__752_21.min1.thm1
2017-02-06 12:45
1.0K
funct_4__760_23.min1.thm1
2017-02-06 12:45
746
funct_4__762_20.min1.thm1
2017-02-06 12:45
601
funct_4__772_69.min1.thm1
2017-02-06 12:45
817
funct_4__776_31.min1.thm1
2017-02-06 12:45
601
funct_4__777_16.min1.thm1
2017-02-06 12:45
734
funct_4__778_31.min1.thm1
2017-02-06 12:45
601
funct_4__779_21.min1.thm1
2017-02-06 12:45
821
funct_4__780_32.min1.thm1
2017-02-06 12:45
660
funct_4__781_21.min1.thm1
2017-02-06 12:45
1.1K
funct_4__785_22.min1.thm1
2017-02-06 12:45
787
funct_4__788_27.min1.thm1
2017-02-06 12:45
1.0K
funct_4__789_13.min1.thm1
2017-02-06 12:45
502
funct_4__790_19.min1.thm1
2017-02-06 12:45
1.1K
funct_4__804_25.min1.thm1
2017-02-06 12:45
705
funct_4__805_31.min1.thm1
2017-02-06 12:45
677
funct_4__806_24.min1.thm1
2017-02-06 12:45
677
funct_4__807_21.min1.thm1
2017-02-06 12:45
966
funct_4__811_61.min1.thm1
2017-02-06 12:45
671
funct_4__812_21.min1.thm1
2017-02-06 12:45
841
funct_4__814_27.min1.thm1
2017-02-06 12:45
420
funct_4__814_27.min1.thm1.tptp
2017-02-06 16:47
360
funct_4__815_19.min1.thm1
2017-02-06 12:45
857
funct_4__826_17.min1.thm1
2017-02-06 12:45
744
funct_4__829_23.min1.thm1
2017-02-06 12:45
1.1K
funct_4__830_21.min1.thm1
2017-02-06 12:45
848
funct_4__831_19.min1.thm1
2017-02-06 12:45
1.0K
funct_4__832_17.min1.thm1
2017-02-06 12:45
901
funct_4__838_48.min1.thm1
2017-02-06 12:45
1.0K
funct_4__842_23.min1.thm1
2017-02-06 12:45
1.1K
funct_4__843_11.min1.thm1
2017-02-06 12:45
468
funct_4__844_17.min1.thm1
2017-02-06 12:45
779
funct_4__851_24.min1.thm1
2017-02-06 12:45
788
funct_4__852_17.min1.thm1
2017-02-06 12:45
1.0K
funct_4__861_48.min1.thm1
2017-02-06 12:45
1.1K
funct_4__862_29.min1.thm1
2017-02-06 12:45
406
funct_4__862_29.min1.thm1.tptp
2017-02-06 16:47
346
funct_4__864_17.min1.thm1
2017-02-06 12:45
671
funct_4__874_46.min1.thm1
2017-02-06 12:45
1.1K
funct_4__883_28.min1.thm1
2017-02-06 12:45
667
funct_4__888_16.min1.thm1
2017-02-06 12:45
684
funct_4__889_19.min1.thm1
2017-02-06 12:45
689
funct_4__890_17.min1.thm1
2017-02-06 12:45
1.1K
funct_4__898_25.min1.thm1
2017-02-06 12:45
421
funct_4__898_25.min1.thm1.tptp
2017-02-06 16:47
344
funct_4__903_14.min1.thm1
2017-02-06 12:45
580
funct_4__907_17.min1.thm1
2017-02-06 12:45
797
funct_4__908_24.min1.thm1
2017-02-06 12:45
852
funct_4__909_18.min1.thm1
2017-02-06 12:45
697
funct_4__910_22.min1.thm1
2017-02-06 12:45
1.1K
funct_4__911_17.min1.thm1
2017-02-06 12:45
1.0K
funct_4__918_20.min1.thm1
2017-02-06 12:45
1.1K
funct_4__920_24.min1.thm1
2017-02-06 12:45
1.2K
funct_4__921_12.min1.thm1
2017-02-06 12:45
907
funct_4__922_21.min1.thm1
2017-02-06 12:45
1.4K
funct_4__923_17.min1.thm1
2017-02-06 12:45
1.1K
funct_4__934_22.min1.thm1
2017-02-06 12:45
786
funct_4__936_23.min1.thm1
2017-02-06 12:45
1.2K
funct_4__937_12.min1.thm1
2017-02-06 12:45
1.0K
funct_4__938_21.min1.thm1
2017-02-06 12:45
1.5K
funct_4__939_52.min1.thm1
2017-02-06 12:45
1.3K
funct_4__942_13.min1.thm1
2017-02-06 12:45
188
funct_4__944_24.min1.thm1
2017-02-06 12:45
792
funct_4__945_21.min1.thm1
2017-02-06 12:45
1.5K
funct_4__948_18.min1.thm1
2017-02-06 12:45
864
funct_4__951_14.min1.thm1
2017-02-06 12:45
1.3K
funct_4__955_72.min1.thm1
2017-02-06 12:45
916
funct_4__964_38.min1.thm1
2017-02-06 12:45
1.1K
funct_4__966_63.min1.thm1
2017-02-06 12:45
1.1K
funct_4__974_23.min1.thm1
2017-02-06 12:45
869
funct_4__975_35.min1.thm1
2017-02-06 12:45
1.1K
funct_4__976_21.min1.thm1
2017-02-06 12:45
1.0K
funct_4__977_19.min1.thm1
2017-02-06 12:45
963
funct_4__984_70.min1.thm1
2017-02-06 12:45
869
funct_4__985_16.min1.thm1
2017-02-06 12:45
486
funct_4__985_16.min1.thm1.tptp
2017-02-06 16:47
418
funct_4__987_17.min1.thm1
2017-02-06 12:45
972
funct_4__995_15.min1.thm1
2017-02-06 12:45
389
funct_4__995_15.min1.thm1.tptp
2017-02-06 16:47
312
funct_4__998_28.min1.thm1
2017-02-06 12:45
718
funct_4__1005_16.min1.thm1
2017-02-06 12:45
805
funct_4__1006_22.min1.thm1
2017-02-06 12:45
868
funct_4__1007_19.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1009_17.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1016_18.min1.thm1
2017-02-06 12:45
1.1K
funct_4__1017_17.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1061_17.min1.thm1
2017-02-06 12:45
909
funct_4__1062_24.min1.thm1
2017-02-06 12:45
952
funct_4__1063_21.min1.thm1
2017-02-06 12:45
1.5K
funct_4__1072_25.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1074_20.min1.thm1
2017-02-06 12:45
851
funct_4__1086_33.min1.thm1
2017-02-06 12:45
1.1K
funct_4__1091_32.min1.thm1
2017-02-06 12:45
601
funct_4__1093_18.min1.thm1
2017-02-06 12:45
821
funct_4__1094_31.min1.thm1
2017-02-06 12:45
601
funct_4__1095_21.min1.thm1
2017-02-06 12:45
821
funct_4__1097_29.min1.thm1
2017-02-06 12:45
661
funct_4__1098_32.min1.thm1
2017-02-06 12:45
602
funct_4__1100_18.min1.thm1
2017-02-06 12:45
736
funct_4__1101_31.min1.thm1
2017-02-06 12:45
602
funct_4__1102_21.min1.thm1
2017-02-06 12:45
736
funct_4__1103_34.min1.thm1
2017-02-06 12:45
663
funct_4__1104_44.min1.thm1
2017-02-06 12:45
1.1K
funct_4__1105_21.min1.thm1
2017-02-06 12:45
1.5K
funct_4__1109_32.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1112_51.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1113_15.min1.thm1
2017-02-06 12:45
810
funct_4__1114_22.min1.thm1
2017-02-06 12:45
851
funct_4__1115_19.min1.thm1
2017-02-06 12:45
2.0K
funct_4__1133_42.min1.thm1
2017-02-06 12:45
901
funct_4__1134_49.min1.thm1
2017-02-06 12:45
1.1K
funct_4__1135_32.min1.thm1
2017-02-06 12:45
1.1K
funct_4__1136_21.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1141_29.min1.thm1
2017-02-06 12:45
867
funct_4__1142_21.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1144_27.min1.thm1
2017-02-06 12:45
420
funct_4__1144_27.min1.thm1.tptp
2017-02-06 16:47
360
funct_4__1145_19.min1.thm1
2017-02-06 12:45
857
funct_4__1159_23.min1.thm1
2017-02-06 12:45
802
funct_4__1160_19.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1170_43.min1.thm1
2017-02-06 12:45
1.1K
funct_4__1181_20.min1.thm1
2017-02-06 12:45
926
funct_4__1185_44.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1186_32.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1188_17.min1.thm1
2017-02-06 12:45
1.3K
funct_4__1202_22.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1204_25.min1.thm1
2017-02-06 12:45
574
funct_4__1206_28.min1.thm1
2017-02-06 12:45
574
funct_4__1207_17.min1.thm1
2017-02-06 12:45
972
funct_4__1216_46.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1222_18.min1.thm1
2017-02-06 12:45
796
funct_4__1225_18.min1.thm1
2017-02-06 12:45
684
funct_4__1228_18.min1.thm1
2017-02-06 12:45
685
funct_4__1229_38.min1.thm1
2017-02-06 12:45
941
funct_4__1239_65.min1.thm1
2017-02-06 12:45
1.8K
funct_4__1242_29.min1.thm1
2017-02-06 12:45
688
funct_4__1242_29.min1.thm1.tptp
2017-02-06 16:47
617
funct_4__1243_39.min1.thm1
2017-02-06 12:45
1.5K
funct_4__1244_45.min1.thm1
2017-02-06 12:45
1.6K
funct_4__1245_17.min1.thm1
2017-02-06 12:45
1.6K
funct_4__1255_65.min1.thm1
2017-02-06 12:45
1.9K
funct_4__1258_29.min1.thm1
2017-02-06 12:45
688
funct_4__1258_29.min1.thm1.tptp
2017-02-06 16:47
617
funct_4__1261_45.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1262_44.min1.thm1
2017-02-06 12:45
1.8K
funct_4__1264_62.min1.thm1
2017-02-06 12:45
1.8K
funct_4__1267_13.min1.thm1
2017-02-06 12:45
244
funct_4__1269_44.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1270_21.min1.thm1
2017-02-06 12:45
2.2K
funct_4__1273_18.min1.thm1
2017-02-06 12:45
734
funct_4__1276_14.min1.thm1
2017-02-06 12:45
2.0K
funct_4__1281_64.min1.thm1
2017-02-06 12:45
1.7K
funct_4__1287_13.min1.thm1
2017-02-06 12:45
130
funct_4__1293_11.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1301_35.min1.thm1
2017-02-06 12:45
1.3K
funct_4__1303_32.min1.thm1
2017-02-06 12:45
961
funct_4__1304_32.min1.thm1
2017-02-06 12:45
957
funct_4__1305_34.min1.thm1
2017-02-06 12:45
915
funct_4__1307_28.min1.thm1
2017-02-06 12:45
1.6K
funct_4__1308_17.min1.thm1
2017-02-06 12:45
1.3K
funct_4__1316_17.min1.thm1
2017-02-06 12:45
267
funct_4__1317_17.min1.thm1
2017-02-06 12:45
267
funct_4__1320_27.min1.thm1
2017-02-06 12:45
1.1K
funct_4__1321_23.min1.thm1
2017-02-06 12:45
1.4K
funct_4__1322_22.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1324_17.min1.thm1
2017-02-06 12:45
836
funct_4__1325_21.min1.thm1
2017-02-06 12:45
1.5K
funct_4__1326_17.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1335_26.min1.thm1
2017-02-06 12:45
836
funct_4__1338_26.min1.thm1
2017-02-06 12:45
393
funct_4__1338_26.min1.thm1.tptp
2017-02-06 16:47
339
funct_4__1340_27.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1341_20.min1.thm1
2017-02-06 12:45
824
funct_4__1342_35.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1343_17.min1.thm1
2017-02-06 12:45
1.4K
funct_4__1352_41.min1.thm1
2017-02-06 12:45
1.4K
funct_4__1356_18.min1.thm1
2017-02-06 12:45
1.9K
funct_4__1359_25.min1.thm1
2017-02-06 12:45
1.6K
funct_4__1360_35.min1.thm1
2017-02-06 12:45
2.0K
funct_4__1364_25.min1.thm1
2017-02-06 12:45
1.4K
funct_4__1365_35.min1.thm1
2017-02-06 12:45
1.9K
funct_4__1368_20.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1370_17.min1.thm1
2017-02-06 12:45
1.9K
funct_4__1383_22.min1.thm1
2017-02-06 12:45
828
funct_4__1384_19.min1.thm1
2017-02-06 12:45
2.2K
funct_4__1398_15.min1.thm1
2017-02-06 12:45
267
funct_4__1399_15.min1.thm1
2017-02-06 12:45
267
funct_4__1406_19.min1.thm1
2017-02-06 12:45
1.1K
funct_4__1407_21.min1.thm1
2017-02-06 12:45
780
funct_4__1410_22.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1411_17.min1.thm1
2017-02-06 12:45
1.1K
funct_4__1412_22.min1.thm1
2017-02-06 12:45
776
funct_4__1414_30.min1.thm1
2017-02-06 12:45
957
funct_4__1415_32.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1426_32.min1.thm1
2017-02-06 12:45
957
funct_4__1427_46.min1.thm1
2017-02-06 12:45
814
funct_4__1428_47.min1.thm1
2017-02-06 12:45
2.0K
funct_4__1429_26.min1.thm1
2017-02-06 12:45
433
funct_4__1439_33.min1.thm1
2017-02-06 12:45
855
funct_4__1440_12.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1441_33.min1.thm1
2017-02-06 12:45
790
funct_4__1442_12.min1.thm1
2017-02-06 12:45
966
funct_4__1458_4.min1.thm1
2017-02-06 12:45
1.5K
funct_4__1459_45.min1.thm1
2017-02-06 12:45
585
funct_4__1459_45.min1.thm1.tptp
2017-02-06 16:47
517
funct_4__1461_45.min1.thm1
2017-02-06 12:45
1.5K
funct_4__1462_28.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1463_50.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1466_34.min1.thm1
2017-02-06 12:45
244
funct_4__1470_52.min1.thm1
2017-02-06 12:45
1.4K
funct_4__1471_33.min1.thm1
2017-02-06 12:45
505
funct_4__1471_33.min1.thm1.tptp
2017-02-06 16:47
443
funct_4__1480_48.min1.thm1
2017-02-06 12:45
1.7K
funct_4__1491_52.min1.thm1
2017-02-06 12:45
652
funct_4__1497_45.min1.thm1
2017-02-06 12:45
597
funct_4__1497_45.min1.thm1.tptp
2017-02-06 16:47
534
funct_4__1499_25.min1.thm1
2017-02-06 12:45
648
funct_4__1500_19.min1.thm1
2017-02-06 12:45
628
funct_4__1503_35.min1.thm1
2017-02-06 12:45
434
funct_4__1503_35.min1.thm1.tptp
2017-02-06 16:47
360
funct_4__1504_30.min1.thm1
2017-02-06 12:45
814
funct_4__1514_43.min1.thm1
2017-02-06 12:45
860
funct_4__1515_31.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1516_38.min1.thm1
2017-02-06 12:45
573
funct_4__1516_38.min1.thm1.tptp
2017-02-06 16:47
506
funct_4__1517_35.min1.thm1
2017-02-06 12:45
679
funct_4__1518_32.min1.thm1
2017-02-06 12:45
677
funct_4__1526_44.min1.thm1
2017-02-06 12:45
613
funct_4__1526_44.min1.thm1.tptp
2017-02-06 16:47
551
funct_4__1527_48.min1.thm1
2017-02-06 12:45
893
funct_4__1529_13.min1.thm1
2017-02-06 12:45
600
funct_4__1533_31.min1.thm1
2017-02-06 12:45
635
funct_4__1535_19.min1.thm1
2017-02-06 12:45
438
funct_4__1535_19.min1.thm1.tptp
2017-02-06 16:47
376
funct_4__1536_41.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1537_17.min1.thm1
2017-02-06 12:45
718
funct_4__1538_21.min1.thm1
2017-02-06 12:45
634
funct_4__1542_33.min1.thm1
2017-02-06 12:45
637
funct_4__1544_21.min1.thm1
2017-02-06 12:45
610
funct_4__1545_21.min1.thm1
2017-02-06 12:45
648
funct_4__1546_27.min1.thm1
2017-02-06 12:45
632
funct_4__1547_22.min1.thm1
2017-02-06 12:45
436
funct_4__1547_22.min1.thm1.tptp
2017-02-06 16:47
374
funct_4__1548_29.min1.thm1
2017-02-06 12:45
709
funct_4__1549_34.min1.thm1
2017-02-06 12:45
660
funct_4__1550_33.min1.thm1
2017-02-06 12:45
952
funct_4__1551_40.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1552_15.min1.thm1
2017-02-06 12:45
720
funct_4__1553_19.min1.thm1
2017-02-06 12:45
630
funct_4__1564_25.min1.thm1
2017-02-06 12:45
466
funct_4__1565_24.min1.thm1
2017-02-06 12:45
502
funct_4__1566_15.min1.thm1
2017-02-06 12:45
826
funct_4__1567_33.min1.thm1
2017-02-06 12:45
725
funct_4__1568_10.min1.thm1
2017-02-06 12:45
894
funct_4__1577_25.min1.thm1
2017-02-06 12:45
373
funct_4__1577_25.min1.thm1.tptp
2017-02-06 16:47
299
funct_4__1578_24.min1.thm1
2017-02-06 12:45
502
funct_4__1579_15.min1.thm1
2017-02-06 12:45
826
funct_4__1580_33.min1.thm1
2017-02-06 12:45
725
funct_4__1581_10.min1.thm1
2017-02-06 12:45
894
funct_4__1590_37.min1.thm1
2017-02-06 12:45
753
funct_4__1591_16.min1.thm1
2017-02-06 12:45
751
funct_4__1600_23.min1.thm1
2017-02-06 12:45
571
funct_4__1601_23.min1.thm1
2017-02-06 12:45
890
funct_4__1602_11.min1.thm1
2017-02-06 12:45
432
funct_4__1606_57.min1.thm1
2017-02-06 12:45
772
funct_4__1617_19.min1.thm1
2017-02-06 12:45
447
funct_4__1618_25.min1.thm1
2017-02-06 12:45
373
funct_4__1618_25.min1.thm1.tptp
2017-02-06 16:47
299
funct_4__1619_24.min1.thm1
2017-02-06 12:45
502
funct_4__1621_12.min1.thm1
2017-02-06 12:45
826
funct_4__1622_19.min1.thm1
2017-02-06 12:45
538
funct_4__1623_25.min1.thm1
2017-02-06 12:45
373
funct_4__1623_25.min1.thm1.tptp
2017-02-06 16:47
299
funct_4__1624_24.min1.thm1
2017-02-06 12:45
503
funct_4__1626_12.min1.thm1
2017-02-06 12:45
828
funct_4__1627_33.min1.thm1
2017-02-06 12:45
669
funct_4__1628_13.min1.thm1
2017-02-06 12:45
769
funct_4__1629_11.min1.thm1
2017-02-06 12:45
471
funct_4__1630_33.min1.thm1
2017-02-06 12:45
669
funct_4__1631_13.min1.thm1
2017-02-06 12:45
768
funct_4__1632_11.min1.thm1
2017-02-06 12:45
471
funct_4__1643_27.min1.thm1
2017-02-06 12:45
799
funct_4__1644_11.min1.thm1
2017-02-06 12:45
471
funct_4__1651_39.min1.thm1
2017-02-06 12:45
728
funct_4__1652_13.min1.thm1
2017-02-06 12:45
530
funct_4__1653_33.min1.thm1
2017-02-06 12:45
454
funct_4__1653_33.min1.thm1.tptp
2017-02-06 16:47
376
funct_4__1654_37.min1.thm1
2017-02-06 12:45
635
funct_4__1655_13.min1.thm1
2017-02-06 12:45
437
funct_4__1655_13.min1.thm1.tptp
2017-02-06 16:47
367
funct_4__1656_17.min1.thm1
2017-02-06 12:45
1.3K
funct_4__1664_24.min1.thm1
2017-02-06 12:45
786
funct_4__1667_26.min1.thm1
2017-02-06 12:45
861
funct_4__1675_23.min1.thm1
2017-02-06 12:45
919
funct_4__1676_23.min1.thm1
2017-02-06 12:45
838
funct_4__1677_17.min1.thm1
2017-02-06 12:45
1.4K
funct_4__1681_37.min1.thm1
2017-02-06 12:45
748
funct_4__1692_19.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1693_17.min1.thm1
2017-02-06 12:45
1.3K
funct_4__1703_20.min1.thm1
2017-02-06 12:45
824
funct_4__1704_20.min1.thm1
2017-02-06 12:45
902
funct_4__1705_27.min1.thm1
2017-02-06 12:45
1.3K
funct_4__1706_11.min1.thm1
2017-02-06 12:45
855
funct_4__1707_15.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1708_27.min1.thm1
2017-02-06 12:45
1.3K
funct_4__1709_11.min1.thm1
2017-02-06 12:45
790
funct_4__1720_20.min1.thm1
2017-02-06 12:45
779
funct_4__1721_22.min1.thm1
2017-02-06 12:45
488
funct_4__1722_17.min1.thm1
2017-02-06 12:45
871
funct_4__1734_11.min1.thm1
2017-02-06 12:45
192
funct_4__1737_30.min1.thm1
2017-02-06 12:45
940
funct_4__1738_32.min1.thm1
2017-02-06 12:45
634
funct_4__1739_19.min1.thm1
2017-02-06 12:45
1.1K
funct_4__1743_19.min1.thm1
2017-02-06 12:45
1.5K
funct_4__1755_18.min1.thm1
2017-02-06 12:45
426
funct_4__1755_18.min1.thm1.tptp
2017-02-06 16:47
355
funct_4__1756_21.min1.thm1
2017-02-06 12:45
559
funct_4__1757_17.min1.thm1
2017-02-06 12:45
522
funct_4__1769_54.min1.thm1
2017-02-06 12:45
743
funct_4__1770_37.min1.thm1
2017-02-06 12:45
952
funct_4__1771_17.min1.thm1
2017-02-06 12:45
544
funct_4__1771_17.min1.thm1.tptp
2017-02-06 16:47
470
funct_4__1772_13.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1783_18.min1.thm1
2017-02-06 12:45
917
funct_4__1784_21.min1.thm1
2017-02-06 12:45
738
funct_4__1785_41.min1.thm1
2017-02-06 12:45
1.6K
funct_4__1786_10.min1.thm1
2017-02-06 12:45
563
funct_4__1795_17.min1.thm1
2017-02-06 12:45
917
funct_4__1797_18.min1.thm1
2017-02-06 12:45
738
funct_4__1798_11.min1.thm1
2017-02-06 12:45
192
funct_4__1801_35.min1.thm1
2017-02-06 12:45
1.6K
funct_4__1802_12.min1.thm1
2017-02-06 12:45
633
funct_4__1806_20.min1.thm1
2017-02-06 12:45
921
funct_4__1808_18.min1.thm1
2017-02-06 12:45
746
funct_4__1809_22.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1810_42.min1.thm1
2017-02-06 12:45
1.6K
funct_4__1811_15.min1.thm1
2017-02-06 12:45
1.4K
funct_4__1812_12.min1.thm1
2017-02-06 12:45
567
funct_4__1825_22.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1826_20.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1827_40.min1.thm1
2017-02-06 12:45
1.6K
funct_4__1828_12.min1.thm1
2017-02-06 12:45
1.3K
funct_4__1847_33.min1.thm1
2017-02-06 12:45
755
funct_4__1848_33.min1.thm1
2017-02-06 12:45
755
funct_4__1849_11.min1.thm1
2017-02-06 12:45
597
funct_4__1852_39.min1.thm1
2017-02-06 12:45
879
funct_4__1853_19.min1.thm1
2017-02-06 12:45
1.1K
funct_4__1857_23.min1.thm1
2017-02-06 12:45
852
funct_4__1859_21.min1.thm1
2017-02-06 12:45
574
funct_4__1860_21.min1.thm1
2017-02-06 12:45
633
funct_4__1861_34.min1.thm1
2017-02-06 12:45
1.1K
funct_4__1866_23.min1.thm1
2017-02-06 12:45
852
funct_4__1868_21.min1.thm1
2017-02-06 12:45
574
funct_4__1869_21.min1.thm1
2017-02-06 12:45
633
funct_4__1870_34.min1.thm1
2017-02-06 12:45
1.1K
funct_4__1875_39.min1.thm1
2017-02-06 12:45
888
funct_4__1876_19.min1.thm1
2017-02-06 12:45
1.3K
funct_4__1884_38.min1.thm1
2017-02-06 12:45
666
funct_4__1885_13.min1.thm1
2017-02-06 12:45
539
funct_4__1892_51.min1.thm1
2017-02-06 12:45
413
funct_4__1901_45.min1.thm1
2017-02-06 12:45
860
funct_4__1902_31.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1903_45.min1.thm1
2017-02-06 12:45
860
funct_4__1904_31.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1906_56.min1.thm1
2017-02-06 12:45
769
funct_4__1907_49.min1.thm1
2017-02-06 12:45
1.1K
funct_4__1908_42.min1.thm1
2017-02-06 12:45
748
funct_4__1909_42.min1.thm1
2017-02-06 12:45
703
funct_4__1910_29.min1.thm1
2017-02-06 12:45
434
funct_4__1916_26.min1.thm1
2017-02-06 12:45
805
funct_4__1917_13.min1.thm1
2017-02-06 12:45
751
funct_4__1918_58.min1.thm1
2017-02-06 12:45
2.0K
funct_4__1920_13.min1.thm1
2017-02-06 12:45
246
funct_4__1923_38.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1924_16.min1.thm1
2017-02-06 12:45
1.3K
funct_4__1925_49.min1.thm1
2017-02-06 12:45
1.8K
funct_4__1929_37.min1.thm1
2017-02-06 12:45
1.4K
funct_4__1930_29.min1.thm1
2017-02-06 12:45
736
funct_4__1933_17.min1.thm1
2017-02-06 12:45
1.8K
funct_4__1943_45.min1.thm1
2017-02-06 12:45
860
funct_4__1944_31.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1945_45.min1.thm1
2017-02-06 12:45
860
funct_4__1946_31.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1948_56.min1.thm1
2017-02-06 12:45
769
funct_4__1949_36.min1.thm1
2017-02-06 12:45
795
funct_4__1950_38.min1.thm1
2017-02-06 12:45
679
funct_4__1951_32.min1.thm1
2017-02-06 12:45
573
funct_4__1951_32.min1.thm1.tptp
2017-02-06 16:47
506
funct_4__1957_26.min1.thm1
2017-02-06 12:45
805
funct_4__1958_13.min1.thm1
2017-02-06 12:45
751
funct_4__1959_58.min1.thm1
2017-02-06 12:45
2.0K
funct_4__1961_13.min1.thm1
2017-02-06 12:45
246
funct_4__1964_38.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1965_16.min1.thm1
2017-02-06 12:45
1.3K
funct_4__1966_49.min1.thm1
2017-02-06 12:45
1.8K
funct_4__1971_31.min1.thm1
2017-02-06 12:45
1.4K
funct_4__1972_23.min1.thm1
2017-02-06 12:45
566
funct_4__1973_43.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1974_16.min1.thm1
2017-02-06 12:45
1.2K
funct_4__1975_29.min1.thm1
2017-02-06 12:45
916
funct_4__1978_17.min1.thm1
2017-02-06 12:45
1.8K
funct_4__1989_25.min1.thm1
2017-02-06 12:45
789
funct_4__1994_22.min1.thm1
2017-02-06 12:45
1.0K
funct_4__1995_19.min1.thm1
2017-02-06 12:45
482
funct_4__1996_21.min1.thm1
2017-02-06 12:45
701
funct_4__1999_17.min1.thm1
2017-02-06 12:45
337
funct_4__1999_17.min1.thm1.tptp
2017-02-06 16:47
272
funct_4__2000_19.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2010_23.min1.thm1
2017-02-06 12:45
571
funct_4__2011_23.min1.thm1
2017-02-06 12:45
637
funct_4__2012_11.min1.thm1
2017-02-06 12:45
432
funct_4__2020_23.min1.thm1
2017-02-06 12:45
571
funct_4__2021_23.min1.thm1
2017-02-06 12:45
890
funct_4__2022_11.min1.thm1
2017-02-06 12:45
432
funct_4__2031_11.min1.thm1
2017-02-06 12:45
130
funct_4__2037_11.min1.thm1
2017-02-06 12:45
1.3K
funct_4__2043_52.min1.thm1
2017-02-06 12:45
1.8K
funct_4__2044_15.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2055_23.min1.thm1
2017-02-06 12:45
872
funct_4__2056_17.min1.thm1
2017-02-06 12:45
538
funct_4__2061_32.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2064_40.min1.thm1
2017-02-06 12:45
1.2K
funct_4__2065_11.min1.thm1
2017-02-06 12:45
1.6K
funct_4__2066_18.min1.thm1
2017-02-06 12:45
758
funct_4__2067_34.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2077_14.min1.thm1
2017-02-06 12:45
590
funct_4__2078_41.min1.thm1
2017-02-06 12:45
1.4K
funct_4__2079_21.min1.thm1
2017-02-06 12:45
874
funct_4__2081_29.min1.thm1
2017-02-06 12:45
1.5K
funct_4__2082_41.min1.thm1
2017-02-06 12:45
1.6K
funct_4__2083_26.min1.thm1
2017-02-06 12:45
1.2K
funct_4__2084_11.min1.thm1
2017-02-06 12:45
689
funct_4__2085_17.min1.thm1
2017-02-06 12:45
1.8K
funct_4__2091_35.min1.thm1
2017-02-06 12:45
882
funct_4__2092_11.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2098_27.min1.thm1
2017-02-06 12:45
922
funct_4__2100_37.min1.thm1
2017-02-06 12:45
859
funct_4__2101_27.min1.thm1
2017-02-06 12:45
1.2K
funct_4__2102_17.min1.thm1
2017-02-06 12:45
1.2K
funct_4__2108_11.min1.thm1
2017-02-06 12:45
315
funct_4__2111_24.min1.thm1
2017-02-06 12:45
538
funct_4__2112_39.min1.thm1
2017-02-06 12:45
672
funct_4__2113_19.min1.thm1
2017-02-06 12:45
577
funct_4__2113_19.min1.thm1.tptp
2017-02-06 16:47
497
funct_4__2118_19.min1.thm1
2017-02-06 12:45
467
funct_4__2119_19.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2123_29.min1.thm1
2017-02-06 12:45
543
funct_4__2125_42.min1.thm1
2017-02-06 12:45
647
funct_4__2126_26.min1.thm1
2017-02-06 12:45
781
funct_4__2128_49.min1.thm1
2017-02-06 12:45
1.2K
funct_4__2129_50.min1.thm1
2017-02-06 12:45
1.5K
funct_4__2130_41.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2131_47.min1.thm1
2017-02-06 12:45
948
funct_4__2132_19.min1.thm1
2017-02-06 12:45
893
funct_4__2140_32.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2141_34.min1.thm1
2017-02-06 12:45
1.4K
funct_4__2151_23.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2153_27.min1.thm1
2017-02-06 12:45
1.5K
funct_4__2154_40.min1.thm1
2017-02-06 12:45
1.6K
funct_4__2155_20.min1.thm1
2017-02-06 12:45
1.3K
funct_4__2156_11.min1.thm1
2017-02-06 12:45
568
funct_4__2165_26.min1.thm1
2017-02-06 12:45
470
funct_4__2166_36.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2167_17.min1.thm1
2017-02-06 12:45
1.3K
funct_4__2178_15.min1.thm1
2017-02-06 12:45
344
funct_4__2178_15.min1.thm1.tptp
2017-02-06 16:47
266
funct_4__2179_13.min1.thm1
2017-02-06 12:45
344
funct_4__2179_13.min1.thm1.tptp
2017-02-06 16:47
266
funct_4__2180_28.min1.thm1
2017-02-06 12:45
864
funct_4__2182_34.min1.thm1
2017-02-06 12:45
1.4K
funct_4__2183_49.min1.thm1
2017-02-06 12:45
1.5K
funct_4__2185_30.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2186_48.min1.thm1
2017-02-06 12:45
2.0K
funct_4__2187_22.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2188_17.min1.thm1
2017-02-06 12:45
2.4K
funct_4__2198_34.min1.thm1
2017-02-06 12:45
1.2K
funct_4__2199_16.min1.thm1
2017-02-06 12:45
1.3K
funct_4__2204_34.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2205_16.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2217_34.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2223_34.min1.thm1
2017-02-06 12:45
261
funct_4__2226_40.min1.thm1
2017-02-06 12:45
963
funct_4__2229_19.min1.thm1
2017-02-06 12:45
840
funct_4__2238_36.min1.thm1
2017-02-06 12:45
2.3K
funct_4__2239_23.min1.thm1
2017-02-06 12:45
1.5K
funct_4__2240_36.min1.thm1
2017-02-06 12:45
1.5K
funct_4__2241_22.min1.thm1
2017-02-06 12:45
1.5K
funct_4__2242_36.min1.thm1
2017-02-06 12:45
1.3K
funct_4__2243_15.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2253_41.min1.thm1
2017-02-06 12:45
1.7K
funct_4__2254_28.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2255_18.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2256_16.min1.thm1
2017-02-06 12:45
291
funct_4__2266_49.min1.thm1
2017-02-06 12:45
1.4K
funct_4__2267_39.min1.thm1
2017-02-06 12:45
1.3K
funct_4__2268_30.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2269_28.min1.thm1
2017-02-06 12:45
397
funct_4__2270_21.min1.thm1
2017-02-06 12:45
330
funct_4__2282_28.min1.thm1
2017-02-06 12:45
1.2K
funct_4__2283_15.min1.thm1
2017-02-06 12:45
684
funct_4__2286_26.min1.thm1
2017-02-06 12:45
807
funct_4__2287_29.min1.thm1
2017-02-06 12:45
756
funct_4__2291_26.min1.thm1
2017-02-06 12:45
875
funct_4__2292_29.min1.thm1
2017-02-06 12:45
756
funct_4__2305_34.min1.thm1
2017-02-06 12:45
1.7K
funct_4__2306_24.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2307_19.min1.thm1
2017-02-06 12:45
885
funct_4__2318_16.min1.thm1
2017-02-06 12:45
499
funct_4__2318_16.min1.thm1.tptp
2017-02-06 16:47
433
funct_4__2319_35.min1.thm1
2017-02-06 12:45
1.7K
funct_4__2320_13.min1.thm1
2017-02-06 12:45
758
funct_4__2321_19.min1.thm1
2017-02-06 12:45
533
funct_4__2321_19.min1.thm1.tptp
2017-02-06 16:47
484
funct_4__2326_16.min1.thm1
2017-02-06 12:45
499
funct_4__2326_16.min1.thm1.tptp
2017-02-06 16:47
433
funct_4__2327_35.min1.thm1
2017-02-06 12:45
1.8K
funct_4__2328_13.min1.thm1
2017-02-06 12:45
758
funct_4__2329_19.min1.thm1
2017-02-06 12:45
533
funct_4__2329_19.min1.thm1.tptp
2017-02-06 16:47
484
funct_4__2338_35.min1.thm1
2017-02-06 12:45
1.2K
funct_4__2339_20.min1.thm1
2017-02-06 12:45
1.2K
funct_4__2340_18.min1.thm1
2017-02-06 12:45
887
funct_4__2352_33.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2353_15.min1.thm1
2017-02-06 12:45
835
funct_4__2356_22.min1.thm1
2017-02-06 12:45
857
funct_4__2357_27.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2361_22.min1.thm1
2017-02-06 12:45
792
funct_4__2362_27.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2371_17.min1.thm1
2017-02-06 12:45
773
funct_4__2383_18.min1.thm1
2017-02-06 12:45
792
funct_4__2390_24.min1.thm1
2017-02-06 12:45
525
funct_4__2392_14.min1.thm1
2017-02-06 12:45
440
funct_4__2393_19.min1.thm1
2017-02-06 12:45
523
funct_4__2394_19.min1.thm1
2017-02-06 12:45
438
funct_4__2395_25.min1.thm1
2017-02-06 12:45
970
funct_4__2399_20.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2401_12.min1.thm1
2017-02-06 12:45
486
funct_4__2402_12.min1.thm1
2017-02-06 12:45
486
funct_4__2403_22.min1.thm1
2017-02-06 12:45
434
funct_4__2405_17.min1.thm1
2017-02-06 12:45
597
funct_4__2406_17.min1.thm1
2017-02-06 12:45
521
funct_4__2407_19.min1.thm1
2017-02-06 12:45
840
funct_4__2415_15.min1.thm1
2017-02-06 12:45
270
funct_4__2416_49.min1.thm1
2017-02-06 12:45
1.3K
funct_4__2418_11.min1.thm1
2017-02-06 12:45
568
funct_4__2424_28.min1.thm1
2017-02-06 12:45
924
funct_4__2425_25.min1.thm1
2017-02-06 12:45
924
funct_4__2427_41.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2428_26.min1.thm1
2017-02-06 12:45
1.6K
funct_4__2433_11.min1.thm1
2017-02-06 12:45
1.4K
funct_4__2441_28.min1.thm1
2017-02-06 12:45
825
funct_4__2442_28.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2443_28.min1.thm1
2017-02-06 12:45
903
funct_4__2444_20.min1.thm1
2017-02-06 12:45
646
funct_4__2445_23.min1.thm1
2017-02-06 12:45
756
funct_4__2446_21.min1.thm1
2017-02-06 12:45
769
funct_4__2454_42.min1.thm1
2017-02-06 12:45
722
funct_4__2455_25.min1.thm1
2017-02-06 12:45
746
funct_4__2456_16.min1.thm1
2017-02-06 12:45
928
funct_4__2457_13.min1.thm1
2017-02-06 12:45
377
funct_4__2457_13.min1.thm1.tptp
2017-02-06 16:47
300
funct_4__2458_22.min1.thm1
2017-02-06 12:45
1.3K
funct_4__2459_16.min1.thm1
2017-02-06 12:45
615
funct_4__2467_42.min1.thm1
2017-02-06 12:45
722
funct_4__2468_25.min1.thm1
2017-02-06 12:45
746
funct_4__2469_16.min1.thm1
2017-02-06 12:45
928
funct_4__2470_13.min1.thm1
2017-02-06 12:45
377
funct_4__2470_13.min1.thm1.tptp
2017-02-06 16:47
300
funct_4__2471_29.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2472_21.min1.thm1
2017-02-06 12:45
939
funct_4__2479_36.min1.thm1
2017-02-06 12:45
769
funct_4__2480_21.min1.thm1
2017-02-06 12:45
756
funct_4__2481_19.min1.thm1
2017-02-06 12:45
769
funct_4__2489_17.min1.thm1
2017-02-06 12:45
605
funct_4__2491_22.min1.thm1
2017-02-06 12:45
853
funct_4__2492_11.min1.thm1
2017-02-06 12:45
487
funct_4__2499_22.min1.thm1
2017-02-06 12:45
605
funct_4__2500_19.min1.thm1
2017-02-06 12:45
441
funct_4__2508_33.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2509_40.min1.thm1
2017-02-06 12:45
1.6K
funct_4__2517_20.min1.thm1
2017-02-06 12:45
947
funct_4__2522_25.min1.thm1
2017-02-06 12:45
671
funct_4__2523_23.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2525_28.min1.thm1
2017-02-06 12:45
617
funct_4__2526_28.min1.thm1
2017-02-06 12:45
697
funct_4__2527_28.min1.thm1
2017-02-06 12:45
751
funct_4__2528_20.min1.thm1
2017-02-06 12:45
1.3K
funct_4__2529_31.min1.thm1
2017-02-06 12:45
1.4K
funct_4__2530_35.min1.thm1
2017-02-06 12:45
878
funct_4__2531_25.min1.thm1
2017-02-06 12:45
657
funct_4__2536_28.min1.thm1
2017-02-06 12:45
580
funct_4__2537_27.min1.thm1
2017-02-06 12:45
710
funct_4__2539_36.min1.thm1
2017-02-06 12:45
725
funct_4__2540_47.min1.thm1
2017-02-06 12:45
947
funct_4__2541_25.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2547_27.min1.thm1
2017-02-06 12:45
711
funct_4__2550_22.min1.thm1
2017-02-06 12:45
1.6K
funct_4__2551_18.min1.thm1
2017-02-06 12:45
819
funct_4__2555_26.min1.thm1
2017-02-06 12:45
701
funct_4__2556_25.min1.thm1
2017-02-06 12:45
741
funct_4__2557_26.min1.thm1
2017-02-06 12:45
1.0K
funct_4__2558_28.min1.thm1
2017-02-06 12:45
790
funct_4__2559_29.min1.thm1
2017-02-06 12:45
585
funct_4__2560_23.min1.thm1
2017-02-06 12:45
818
funct_4__2563_23.min1.thm1
2017-02-06 12:45
789
funct_4__2570_18.min1.thm1
2017-02-06 12:45
935
funct_4__2574_38.min1.thm1
2017-02-06 12:45
1.2K
funct_4__2575_17.min1.thm1
2017-02-06 12:45
1.2K
funct_4__2576_22.min1.thm1
2017-02-06 12:45
743
funct_4__2577_26.min1.thm1
2017-02-06 12:45
1.7K
funct_4__2582_26.min1.thm1
2017-02-06 12:45
572
funct_4__2583_25.min1.thm1
2017-02-06 12:45
702
funct_4__2584_38.min1.thm1
2017-02-06 12:45
713
funct_4__2585_40.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2586_17.min1.thm1
2017-02-06 12:45
737
funct_4__2587_26.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2590_19.min1.thm1
2017-02-06 12:45
1.7K
funct_4__2602_21.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2603_20.min1.thm1
2017-02-06 12:45
525
funct_4__2604_25.min1.thm1
2017-02-06 12:45
477
funct_4__2605_31.min1.thm1
2017-02-06 12:45
1.3K
funct_4__2615_68.min1.thm1
2017-02-06 12:45
1.3K
funct_4__2616_41.min1.thm1
2017-02-06 12:45
1.1K
funct_4__2620_31.min1.thm1
2017-02-06 12:45
780
funct_4__2621_13.min1.thm1
2017-02-06 12:45
251
funct_4__2624_31.min1.thm1
2017-02-06 12:45
737
funct_4__2625_24.min1.thm1
2017-02-06 12:45
737
funct_4__2629_49.min1.thm1
2017-02-06 12:45
957
funct_4__2630_38.min1.thm1
2017-02-06 12:45
1.3K
funct_4__2633_17.min1.thm1
2017-02-06 12:45
1.3K
funct_4__2642_23.min1.thm1
2017-02-06 12:45
800
funct_4__2644_21.min1.thm1
2017-02-06 12:45
677
funct_4__2645_17.min1.thm1
2017-02-06 12:45
533
funct_4__2653_25.min1.thm1
2017-02-06 12:45
796
funct_4__2654_16.min1.thm1
2017-02-06 12:45
757
funct_4__2671_25.min1.thm1
2017-02-06 12:45
595
funct_4__2673_31.min1.thm1
2017-02-06 12:45
770
funct_4__2674_15.min1.thm1
2017-02-06 12:45
567
funct_4__2677_13.min1.thm1
2017-02-06 12:45
1.7K
funct_4__2678_17.min1.thm1
2017-02-06 12:45
1.6K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80