Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/funct_7
Name
Last modified
Size
Description
Parent Directory
-
funct_7__53_50.min1.thm1
2017-02-06 12:45
707
funct_7__68_22.min1.thm1
2017-02-06 12:45
1.1K
funct_7__69_18.min1.thm1
2017-02-06 12:45
1.1K
funct_7__70_17.min1.thm1
2017-02-06 12:45
733
funct_7__98_20.min1.thm1
2017-02-06 12:45
1.4K
funct_7__101_16.min1.thm1
2017-02-06 12:45
1.1K
funct_7__102_16.min1.thm1
2017-02-06 12:45
1.2K
funct_7__103_17.min1.thm1
2017-02-06 12:45
817
funct_7__117_16.min1.thm1
2017-02-06 12:45
1.0K
funct_7__118_20.min1.thm1
2017-02-06 12:45
1.1K
funct_7__119_23.min1.thm1
2017-02-06 12:45
2.3K
funct_7__120_42.min1.thm1
2017-02-06 12:45
1.1K
funct_7__121_12.min1.thm1
2017-02-06 12:45
2.3K
funct_7__122_17.min1.thm1
2017-02-06 12:45
1.7K
funct_7__131_28.min1.thm1
2017-02-06 12:45
788
funct_7__132_20.min1.thm1
2017-02-06 12:45
836
funct_7__138_11.min1.thm1
2017-02-06 12:45
619
funct_7__144_11.min1.thm1
2017-02-06 12:45
1.2K
funct_7__153_20.min1.thm1
2017-02-06 12:45
554
funct_7__154_17.min1.thm1
2017-02-06 12:45
1.1K
funct_7__165_23.min1.thm1
2017-02-06 12:45
572
funct_7__166_47.min1.thm1
2017-02-06 12:45
1.3K
funct_7__168_33.min1.thm1
2017-02-06 12:45
504
funct_7__168_33.min1.thm1.tptp
2017-02-06 16:47
434
funct_7__177_25.min1.thm1
2017-02-06 12:45
627
funct_7__178_25.min1.thm1
2017-02-06 12:45
627
funct_7__187_28.min1.thm1
2017-02-06 12:45
1.1K
funct_7__188_25.min1.thm1
2017-02-06 12:45
1.0K
funct_7__190_28.min1.thm1
2017-02-06 12:45
1.1K
funct_7__191_15.min1.thm1
2017-02-06 12:45
252
funct_7__194_28.min1.thm1
2017-02-06 12:45
844
funct_7__195_29.min1.thm1
2017-02-06 12:45
863
funct_7__196_23.min1.thm1
2017-02-06 12:45
637
funct_7__200_41.min1.thm1
2017-02-06 12:45
1.2K
funct_7__201_29.min1.thm1
2017-02-06 12:45
825
funct_7__202_23.min1.thm1
2017-02-06 12:45
544
funct_7__202_23.min1.thm1.tptp
2017-02-06 16:47
482
funct_7__208_13.min1.thm1
2017-02-06 12:45
300
funct_7__212_21.min1.thm1
2017-02-06 12:45
757
funct_7__213_19.min1.thm1
2017-02-06 12:45
730
funct_7__214_30.min1.thm1
2017-02-06 12:45
720
funct_7__215_21.min1.thm1
2017-02-06 12:45
1.9K
funct_7__222_28.min1.thm1
2017-02-06 12:45
555
funct_7__223_23.min1.thm1
2017-02-06 12:45
931
funct_7__225_28.min1.thm1
2017-02-06 12:45
916
funct_7__227_25.min1.thm1
2017-02-06 12:45
726
funct_7__228_22.min1.thm1
2017-02-06 12:45
656
funct_7__229_39.min1.thm1
2017-02-06 12:45
815
funct_7__230_21.min1.thm1
2017-02-06 12:45
1.8K
funct_7__241_19.min1.thm1
2017-02-06 12:45
726
funct_7__242_46.min1.thm1
2017-02-06 12:45
2.0K
funct_7__243_21.min1.thm1
2017-02-06 12:45
772
funct_7__244_21.min1.thm1
2017-02-06 12:45
760
funct_7__251_26.min1.thm1
2017-02-06 12:45
547
funct_7__252_21.min1.thm1
2017-02-06 12:45
923
funct_7__255_22.min1.thm1
2017-02-06 12:45
904
funct_7__256_20.min1.thm1
2017-02-06 12:45
648
funct_7__258_18.min1.thm1
2017-02-06 12:45
722
funct_7__259_44.min1.thm1
2017-02-06 12:45
2.0K
funct_7__260_19.min1.thm1
2017-02-06 12:45
774
funct_7__261_19.min1.thm1
2017-02-06 12:45
756
funct_7__277_32.min1.thm1
2017-02-06 12:45
1.1K
funct_7__278_35.min1.thm1
2017-02-06 12:45
1.2K
funct_7__280_37.min1.thm1
2017-02-06 12:45
596
funct_7__280_37.min1.thm1.tptp
2017-02-06 16:47
534
funct_7__281_19.min1.thm1
2017-02-06 12:45
1.0K
funct_7__282_44.min1.thm1
2017-02-06 12:45
1.1K
funct_7__283_21.min1.thm1
2017-02-06 12:45
623
funct_7__283_21.min1.thm1.tptp
2017-02-06 16:47
561
funct_7__288_37.min1.thm1
2017-02-06 12:45
613
funct_7__288_37.min1.thm1.tptp
2017-02-06 16:47
551
funct_7__289_40.min1.thm1
2017-02-06 12:45
1.0K
funct_7__290_33.min1.thm1
2017-02-06 12:45
586
funct_7__290_33.min1.thm1.tptp
2017-02-06 16:47
524
funct_7__292_25.min1.thm1
2017-02-06 12:45
1.2K
funct_7__293_17.min1.thm1
2017-02-06 12:45
898
funct_7__294_19.min1.thm1
2017-02-06 12:45
1.1K
funct_7__299_42.min1.thm1
2017-02-06 12:45
613
funct_7__299_42.min1.thm1.tptp
2017-02-06 16:47
551
funct_7__301_17.min1.thm1
2017-02-06 12:45
898
funct_7__306_21.min1.thm1
2017-02-06 12:45
753
funct_7__307_45.min1.thm1
2017-02-06 12:45
1.1K
funct_7__308_21.min1.thm1
2017-02-06 12:45
799
funct_7__309_21.min1.thm1
2017-02-06 12:45
802
funct_7__313_23.min1.thm1
2017-02-06 12:45
845
funct_7__314_43.min1.thm1
2017-02-06 12:45
1.0K
funct_7__315_19.min1.thm1
2017-02-06 12:45
801
funct_7__316_19.min1.thm1
2017-02-06 12:45
756
funct_7__327_37.min1.thm1
2017-02-06 12:45
795
funct_7__328_19.min1.thm1
2017-02-06 12:45
726
funct_7__329_10.min1.thm1
2017-02-06 12:45
1.0K
funct_7__340_34.min1.thm1
2017-02-06 12:45
793
funct_7__345_11.min1.thm1
2017-02-06 12:45
508
funct_7__345_11.min1.thm1.tptp
2017-02-06 16:47
438
funct_7__349_13.min1.thm1
2017-02-06 12:45
1.7K
funct_7__350_19.min1.thm1
2017-02-06 12:45
306
funct_7__350_19.min1.thm1.tptp
2017-02-06 16:47
220
funct_7__355_20.min1.thm1
2017-02-06 12:45
939
funct_7__357_13.min1.thm1
2017-02-06 12:45
839
funct_7__368_22.min1.thm1
2017-02-06 12:45
335
funct_7__368_22.min1.thm1.tptp
2017-02-06 16:47
267
funct_7__370_17.min1.thm1
2017-02-06 12:45
1.1K
funct_7__380_13.min1.thm1
2017-02-06 12:45
267
funct_7__382_17.min1.thm1
2017-02-06 12:45
510
funct_7__384_29.min1.thm1
2017-02-06 12:45
1.0K
funct_7__392_22.min1.thm1
2017-02-06 12:45
803
funct_7__393_22.min1.thm1
2017-02-06 12:45
803
funct_7__394_39.min1.thm1
2017-02-06 12:45
1.9K
funct_7__397_27.min1.thm1
2017-02-06 12:45
502
funct_7__397_27.min1.thm1.tptp
2017-02-06 16:47
435
funct_7__398_17.min1.thm1
2017-02-06 12:45
339
funct_7__402_13.min1.thm1
2017-02-06 12:45
220
funct_7__410_56.min1.thm1
2017-02-06 12:45
1.8K
funct_7__415_34.min1.thm1
2017-02-06 12:45
1.9K
funct_7__423_14.min1.thm1
2017-02-06 12:45
303
funct_7__423_14.min1.thm1.tptp
2017-02-06 16:47
238
funct_7__425_32.min1.thm1
2017-02-06 12:45
942
funct_7__428_17.min1.thm1
2017-02-06 12:45
679
funct_7__438_49.min1.thm1
2017-02-06 12:45
446
funct_7__444_19.min1.thm1
2017-02-06 12:45
397
funct_7__449_13.min1.thm1
2017-02-06 12:45
323
funct_7__449_13.min1.thm1.tptp
2017-02-06 16:47
258
funct_7__450_13.min1.thm1
2017-02-06 12:45
366
funct_7__451_32.min1.thm1
2017-02-06 12:45
580
funct_7__452_17.min1.thm1
2017-02-06 12:45
438
funct_7__458_20.min1.thm1
2017-02-06 12:45
615
funct_7__459_48.min1.thm1
2017-02-06 12:45
933
funct_7__460_17.min1.thm1
2017-02-06 12:45
662
funct_7__470_21.min1.thm1
2017-02-06 12:45
367
funct_7__470_21.min1.thm1.tptp
2017-02-06 16:47
289
funct_7__471_17.min1.thm1
2017-02-06 12:45
923
funct_7__480_11.min1.thm1
2017-02-06 12:45
401
funct_7__483_16.min1.thm1
2017-02-06 12:45
337
funct_7__490_43.min1.thm1
2017-02-06 12:45
362
funct_7__491_40.min1.thm1
2017-02-06 12:45
693
funct_7__493_26.min1.thm1
2017-02-06 12:45
426
funct_7__504_47.min1.thm1
2017-02-06 12:45
471
funct_7__505_17.min1.thm1
2017-02-06 12:45
728
funct_7__506_23.min1.thm1
2017-02-06 12:45
745
funct_7__507_20.min1.thm1
2017-02-06 12:45
750
funct_7__513_13.min1.thm1
2017-02-06 12:45
606
funct_7__514_15.min1.thm1
2017-02-06 12:45
1.0K
funct_7__515_28.min1.thm1
2017-02-06 12:45
1.1K
funct_7__516_21.min1.thm1
2017-02-06 12:45
952
funct_7__526_45.min1.thm1
2017-02-06 12:45
332
funct_7__526_45.min1.thm1.tptp
2017-02-06 16:47
254
funct_7__527_41.min1.thm1
2017-02-06 12:45
863
funct_7__528_21.min1.thm1
2017-02-06 12:45
868
funct_7__530_19.min1.thm1
2017-02-06 12:45
607
funct_7__539_64.min1.thm1
2017-02-06 12:45
835
funct_7__542_59.min1.thm1
2017-02-06 12:45
687
funct_7__543_32.min1.thm1
2017-02-06 12:45
506
funct_7__544_38.min1.thm1
2017-02-06 12:45
1.5K
funct_7__548_9.min1.thm1
2017-02-06 12:45
863
funct_7__549_17.min1.thm1
2017-02-06 12:45
1.5K
funct_7__550_16.min1.thm1
2017-02-06 12:45
1.4K
funct_7__551_14.min1.thm1
2017-02-06 12:45
1.0K
funct_7__566_13.min1.thm1
2017-02-06 12:45
1.5K
funct_7__567_17.min1.thm1
2017-02-06 12:45
1.5K
funct_7__568_21.min1.thm1
2017-02-06 12:45
1.5K
funct_7__570_28.min1.thm1
2017-02-06 12:45
2.4K
funct_7__572_38.min1.thm1
2017-02-06 12:45
2.2K
funct_7__577_17.min1.thm1
2017-02-06 12:45
2.1K
funct_7__579_17.min1.thm1
2017-02-06 12:45
1.8K
funct_7__580_11.min1.thm1
2017-02-06 12:45
1.5K
funct_7__581_17.min1.thm1
2017-02-06 12:45
1.5K
funct_7__589_32.min1.thm1
2017-02-06 12:45
1.7K
funct_7__594_21.min1.thm1
2017-02-06 12:45
1.5K
funct_7__596_23.min1.thm1
2017-02-06 12:45
590
funct_7__599_19.min1.thm1
2017-02-06 12:45
1.5K
funct_7__605_11.min1.thm1
2017-02-06 12:45
477
funct_7__612_20.min1.thm1
2017-02-06 12:45
1.2K
funct_7__613_17.min1.thm1
2017-02-06 12:45
776
funct_7__614_19.min1.thm1
2017-02-06 12:45
827
funct_7__622_22.min1.thm1
2017-02-06 12:45
1.7K
funct_7__623_26.min1.thm1
2017-02-06 12:45
1.0K
funct_7__624_19.min1.thm1
2017-02-06 12:45
958
funct_7__632_24.min1.thm1
2017-02-06 12:45
1.9K
funct_7__633_35.min1.thm1
2017-02-06 12:45
1.3K
funct_7__634_19.min1.thm1
2017-02-06 12:45
1.1K
funct_7__641_11.min1.thm1
2017-02-06 12:45
895
funct_7__652_43.min1.thm1
2017-02-06 12:45
1.1K
funct_7__653_13.min1.thm1
2017-02-06 12:45
252
funct_7__656_27.min1.thm1
2017-02-06 12:45
1.6K
funct_7__657_18.min1.thm1
2017-02-06 12:45
849
funct_7__662_33.min1.thm1
2017-02-06 12:45
1.4K
funct_7__664_18.min1.thm1
2017-02-06 12:45
853
funct_7__680_25.min1.thm1
2017-02-06 12:45
1.7K
funct_7__686_41.min1.thm1
2017-02-06 12:45
630
funct_7__702_59.min1.thm1
2017-02-06 12:45
938
funct_7__719_11.min1.thm1
2017-02-06 12:45
186
funct_7__725_64.min1.thm1
2017-02-06 12:45
475
funct_7__726_62.min1.thm1
2017-02-06 12:45
506
funct_7__726_62.min1.thm1.tptp
2017-02-06 16:47
443
funct_7__729_16.min1.thm1
2017-02-06 12:45
414
funct_7__733_44.min1.thm1
2017-02-06 12:45
291
funct_7__733_44.min1.thm1.tptp
2017-02-06 16:47
211
funct_7__747_20.min1.thm1
2017-02-06 12:45
532
funct_7__747_20.min1.thm1.tptp
2017-02-06 16:47
469
funct_7__748_18.min1.thm1
2017-02-06 12:45
748
funct_7__749_23.min1.thm1
2017-02-06 12:45
803
funct_7__755_13.min1.thm1
2017-02-06 12:45
652
funct_7__756_59.min1.thm1
2017-02-06 12:45
715
funct_7__757_21.min1.thm1
2017-02-06 12:45
786
funct_7__767_45.min1.thm1
2017-02-06 12:45
662
funct_7__769_19.min1.thm1
2017-02-06 12:45
336
funct_7__770_27.min1.thm1
2017-02-06 12:45
138
funct_7__772_35.min1.thm1
2017-02-06 12:45
1.7K
funct_7__778_25.min1.thm1
2017-02-06 12:45
630
funct_7__779_34.min1.thm1
2017-02-06 12:45
138
funct_7__781_35.min1.thm1
2017-02-06 12:45
1.5K
funct_7__786_24.min1.thm1
2017-02-06 12:45
804
funct_7__789_24.min1.thm1
2017-02-06 12:45
804
funct_7__790_27.min1.thm1
2017-02-06 12:45
697
funct_7__791_27.min1.thm1
2017-02-06 12:45
698
funct_7__792_21.min1.thm1
2017-02-06 12:45
1.0K
funct_7__795_23.min1.thm1
2017-02-06 12:45
620
funct_7__797_19.min1.thm1
2017-02-06 12:45
483
funct_7__800_19.min1.thm1
2017-02-06 12:45
330
funct_7__800_19.min1.thm1.tptp
2017-02-06 16:47
244
funct_7__812_11.min1.thm1
2017-02-06 12:45
186
funct_7__818_17.min1.thm1
2017-02-06 12:45
475
funct_7__819_59.min1.thm1
2017-02-06 12:45
476
funct_7__819_59.min1.thm1.tptp
2017-02-06 16:47
413
funct_7__822_19.min1.thm1
2017-02-06 12:45
369
funct_7__826_44.min1.thm1
2017-02-06 12:45
291
funct_7__826_44.min1.thm1.tptp
2017-02-06 16:47
211
funct_7__835_19.min1.thm1
2017-02-06 12:45
522
funct_7__836_27.min1.thm1
2017-02-06 12:45
138
funct_7__838_22.min1.thm1
2017-02-06 12:45
918
funct_7__839_26.min1.thm1
2017-02-06 12:45
1.0K
funct_7__845_25.min1.thm1
2017-02-06 12:45
585
funct_7__846_34.min1.thm1
2017-02-06 12:45
138
funct_7__848_35.min1.thm1
2017-02-06 12:45
1.1K
funct_7__853_24.min1.thm1
2017-02-06 12:45
804
funct_7__856_24.min1.thm1
2017-02-06 12:45
804
funct_7__857_27.min1.thm1
2017-02-06 12:45
697
funct_7__858_27.min1.thm1
2017-02-06 12:45
698
funct_7__859_21.min1.thm1
2017-02-06 12:45
1.0K
funct_7__861_16.min1.thm1
2017-02-06 12:45
331
funct_7__861_16.min1.thm1.tptp
2017-02-06 16:47
245
funct_7__872_11.min1.thm1
2017-02-06 12:45
186
funct_7__878_61.min1.thm1
2017-02-06 12:45
475
funct_7__879_59.min1.thm1
2017-02-06 12:45
476
funct_7__879_59.min1.thm1.tptp
2017-02-06 16:47
413
funct_7__882_19.min1.thm1
2017-02-06 12:45
369
funct_7__886_44.min1.thm1
2017-02-06 12:45
291
funct_7__886_44.min1.thm1.tptp
2017-02-06 16:47
211
funct_7__895_50.min1.thm1
2017-02-06 12:45
640
funct_7__897_22.min1.thm1
2017-02-06 12:45
869
funct_7__898_23.min1.thm1
2017-02-06 12:45
945
funct_7__904_25.min1.thm1
2017-02-06 12:45
630
funct_7__905_27.min1.thm1
2017-02-06 12:45
138
funct_7__907_35.min1.thm1
2017-02-06 12:45
1.1K
funct_7__912_24.min1.thm1
2017-02-06 12:45
804
funct_7__915_24.min1.thm1
2017-02-06 12:45
804
funct_7__916_27.min1.thm1
2017-02-06 12:45
697
funct_7__917_27.min1.thm1
2017-02-06 12:45
698
funct_7__918_21.min1.thm1
2017-02-06 12:45
1.0K
funct_7__937_18.min1.thm1
2017-02-06 12:45
600
funct_7__938_58.min1.thm1
2017-02-06 12:45
910
funct_7__939_19.min1.thm1
2017-02-06 12:45
1.2K
funct_7__941_12.min1.thm1
2017-02-06 12:45
238
funct_7__943_14.min1.thm1
2017-02-06 12:45
349
funct_7__955_16.min1.thm1
2017-02-06 12:45
318
funct_7__955_16.min1.thm1.tptp
2017-02-06 16:47
240
funct_7__964_13.min1.thm1
2017-02-06 12:45
493
funct_7__965_11.min1.thm1
2017-02-06 12:45
400
funct_7__965_11.min1.thm1.tptp
2017-02-06 16:47
338
funct_7__966_23.min1.thm1
2017-02-06 12:45
335
funct_7__966_23.min1.thm1.tptp
2017-02-06 16:47
261
funct_7__967_18.min1.thm1
2017-02-06 12:45
335
funct_7__967_18.min1.thm1.tptp
2017-02-06 16:47
261
funct_7__982_36.min1.thm1
2017-02-06 12:45
288
funct_7__991_37.min1.thm1
2017-02-06 12:45
486
funct_7__1000_37.min1.thm1
2017-02-06 12:45
654
funct_7__1010_42.min1.thm1
2017-02-06 12:45
802
funct_7__1011_28.min1.thm1
2017-02-06 12:45
786
funct_7__1012_30.min1.thm1
2017-02-06 12:45
1.3K
funct_7__1013_19.min1.thm1
2017-02-06 12:45
802
funct_7__1023_45.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1024_34.min1.thm1
2017-02-06 12:45
572
funct_7__1024_34.min1.thm1.tptp
2017-02-06 16:47
505
funct_7__1025_25.min1.thm1
2017-02-06 12:45
665
funct_7__1026_16.min1.thm1
2017-02-06 12:45
324
funct_7__1027_23.min1.thm1
2017-02-06 12:45
375
funct_7__1027_23.min1.thm1.tptp
2017-02-06 16:47
301
funct_7__1028_32.min1.thm1
2017-02-06 12:45
620
funct_7__1029_53.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1038_13.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1045_11.min1.thm1
2017-02-06 12:45
240
funct_7__1049_19.min1.thm1
2017-02-06 12:45
372
funct_7__1049_19.min1.thm1.tptp
2017-02-06 16:47
294
funct_7__1050_44.min1.thm1
2017-02-06 12:45
968
funct_7__1051_32.min1.thm1
2017-02-06 12:45
1.9K
funct_7__1052_24.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1053_17.min1.thm1
2017-02-06 12:45
501
funct_7__1057_19.min1.thm1
2017-02-06 12:45
640
funct_7__1065_22.min1.thm1
2017-02-06 12:45
917
funct_7__1067_23.min1.thm1
2017-02-06 12:45
738
funct_7__1069_41.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1070_20.min1.thm1
2017-02-06 12:45
1.8K
funct_7__1071_11.min1.thm1
2017-02-06 12:45
563
funct_7__1080_11.min1.thm1
2017-02-06 12:45
240
funct_7__1083_43.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1084_15.min1.thm1
2017-02-06 12:45
1.5K
funct_7__1088_19.min1.thm1
2017-02-06 12:45
668
funct_7__1098_11.min1.thm1
2017-02-06 12:45
597
funct_7__1102_25.min1.thm1
2017-02-06 12:45
535
funct_7__1103_44.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1104_25.min1.thm1
2017-02-06 12:45
535
funct_7__1105_49.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1106_33.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1107_35.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1109_33.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1110_30.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1111_27.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1116_29.min1.thm1
2017-02-06 12:45
541
funct_7__1117_39.min1.thm1
2017-02-06 12:45
894
funct_7__1118_27.min1.thm1
2017-02-06 12:45
700
funct_7__1123_29.min1.thm1
2017-02-06 12:45
541
funct_7__1124_38.min1.thm1
2017-02-06 12:45
700
funct_7__1125_27.min1.thm1
2017-02-06 12:45
894
funct_7__1130_30.min1.thm1
2017-02-06 12:45
541
funct_7__1131_29.min1.thm1
2017-02-06 12:45
541
funct_7__1132_39.min1.thm1
2017-02-06 12:45
894
funct_7__1133_13.min1.thm1
2017-02-06 12:45
616
funct_7__1134_20.min1.thm1
2017-02-06 12:45
616
funct_7__1135_27.min1.thm1
2017-02-06 12:45
894
funct_7__1143_24.min1.thm1
2017-02-06 12:45
919
funct_7__1144_21.min1.thm1
2017-02-06 12:45
919
funct_7__1145_11.min1.thm1
2017-02-06 12:45
240
funct_7__1148_30.min1.thm1
2017-02-06 12:45
535
funct_7__1149_49.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1150_33.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1151_35.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1153_20.min1.thm1
2017-02-06 12:45
942
funct_7__1157_19.min1.thm1
2017-02-06 12:45
698
funct_7__1165_11.min1.thm1
2017-02-06 12:45
240
funct_7__1169_23.min1.thm1
2017-02-06 12:45
876
funct_7__1170_39.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1171_13.min1.thm1
2017-02-06 12:45
877
funct_7__1175_19.min1.thm1
2017-02-06 12:45
641
funct_7__1184_28.min1.thm1
2017-02-06 12:45
612
funct_7__1185_21.min1.thm1
2017-02-06 12:45
783
funct_7__1186_19.min1.thm1
2017-02-06 12:45
1.3K
funct_7__1195_13.min1.thm1
2017-02-06 12:45
244
funct_7__1198_26.min1.thm1
2017-02-06 12:45
1.3K
funct_7__1199_22.min1.thm1
2017-02-06 12:45
1.6K
funct_7__1201_64.min1.thm1
2017-02-06 12:45
1.8K
funct_7__1203_31.min1.thm1
2017-02-06 12:45
1.4K
funct_7__1204_51.min1.thm1
2017-02-06 12:45
1.8K
funct_7__1205_32.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1206_21.min1.thm1
2017-02-06 12:45
1.3K
funct_7__1210_21.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1238_13.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1239_14.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1248_11.min1.thm1
2017-02-06 12:45
240
funct_7__1252_13.min1.thm1
2017-02-06 12:45
789
funct_7__1290_40.min1.thm1
2017-02-06 12:45
590
funct_7__1290_40.min1.thm1.tptp
2017-02-06 16:47
520
funct_7__1291_37.min1.thm1
2017-02-06 12:45
641
funct_7__1291_37.min1.thm1.tptp
2017-02-06 16:47
571
funct_7__1292_17.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1294_21.min1.thm1
2017-02-06 12:45
2.2K
funct_7__1295_28.min1.thm1
2017-02-06 12:45
1.3K
funct_7__1298_14.min1.thm1
2017-02-06 12:45
890
funct_7__1300_19.min1.thm1
2017-02-06 12:45
1.8K
funct_7__1304_32.min1.thm1
2017-02-06 12:45
431
funct_7__1310_40.min1.thm1
2017-02-06 12:45
590
funct_7__1310_40.min1.thm1.tptp
2017-02-06 16:47
520
funct_7__1311_15.min1.thm1
2017-02-06 12:45
274
funct_7__1314_41.min1.thm1
2017-02-06 12:45
310
funct_7__1316_19.min1.thm1
2017-02-06 12:45
946
funct_7__1321_22.min1.thm1
2017-02-06 12:45
696
funct_7__1321_22.min1.thm1.tptp
2017-02-06 16:47
662
funct_7__1332_40.min1.thm1
2017-02-06 12:45
590
funct_7__1332_40.min1.thm1.tptp
2017-02-06 16:47
520
funct_7__1334_41.min1.thm1
2017-02-06 12:45
426
funct_7__1335_22.min1.thm1
2017-02-06 12:45
1.5K
funct_7__1336_18.min1.thm1
2017-02-06 12:45
913
funct_7__1338_13.min1.thm1
2017-02-06 12:45
687
funct_7__1340_43.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1345_21.min1.thm1
2017-02-06 12:45
755
funct_7__1347_53.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1351_36.min1.thm1
2017-02-06 12:45
622
funct_7__1353_18.min1.thm1
2017-02-06 12:45
1.5K
funct_7__1376_36.min1.thm1
2017-02-06 12:45
558
funct_7__1376_36.min1.thm1.tptp
2017-02-06 16:47
488
funct_7__1379_17.min1.thm1
2017-02-06 12:45
417
funct_7__1386_37.min1.thm1
2017-02-06 12:45
2.3K
funct_7__1390_22.min1.thm1
2017-02-06 12:45
1.3K
funct_7__1392_18.min1.thm1
2017-02-06 12:45
1.8K
funct_7__1393_13.min1.thm1
2017-02-06 12:45
1.3K
funct_7__1394_62.min1.thm1
2017-02-06 12:45
953
funct_7__1395_16.min1.thm1
2017-02-06 12:45
606
funct_7__1414_22.min1.thm1
2017-02-06 12:45
2.1K
funct_7__1416_19.min1.thm1
2017-02-06 12:45
2.0K
funct_7__1417_15.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1420_23.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1424_38.min1.thm1
2017-02-06 12:45
562
funct_7__1424_38.min1.thm1.tptp
2017-02-06 16:47
492
funct_7__1425_19.min1.thm1
2017-02-06 12:45
1.7K
funct_7__1427_21.min1.thm1
2017-02-06 12:45
2.3K
funct_7__1429_24.min1.thm1
2017-02-06 12:45
2.2K
funct_7__1432_13.min1.thm1
2017-02-06 12:45
1.3K
funct_7__1435_19.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1449_14.min1.thm1
2017-02-06 12:45
823
funct_7__1449_14.min1.thm1.tptp
2017-02-06 16:47
797
funct_7__1455_46.min1.thm1
2017-02-06 12:45
2.0K
funct_7__1456_17.min1.thm1
2017-02-06 12:45
2.7K
funct_7__1462_30.min1.thm1
2017-02-06 12:45
574
funct_7__1462_30.min1.thm1.tptp
2017-02-06 16:47
504
funct_7__1463_18.min1.thm1
2017-02-06 12:45
574
funct_7__1471_37.min1.thm1
2017-02-06 12:45
617
funct_7__1471_37.min1.thm1.tptp
2017-02-06 16:47
547
funct_7__1472_28.min1.thm1
2017-02-06 12:45
827
funct_7__1486_35.min1.thm1
2017-02-06 12:45
848
funct_7__1495_31.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1496_23.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1502_28.min1.thm1
2017-02-06 12:45
2.3K
funct_7__1504_26.min1.thm1
2017-02-06 12:45
1.7K
funct_7__1506_13.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1509_21.min1.thm1
2017-02-06 12:45
2.9K
funct_7__1513_36.min1.thm1
2017-02-06 12:45
550
funct_7__1513_36.min1.thm1.tptp
2017-02-06 16:47
480
funct_7__1514_17.min1.thm1
2017-02-06 12:45
1.6K
funct_7__1516_19.min1.thm1
2017-02-06 12:45
2.2K
funct_7__1517_54.min1.thm1
2017-02-06 12:45
1.9K
funct_7__1524_18.min1.thm1
2017-02-06 12:45
574
funct_7__1527_20.min1.thm1
2017-02-06 12:45
1.8K
funct_7__1535_22.min1.thm1
2017-02-06 12:45
809
funct_7__1537_13.min1.thm1
2017-02-06 12:45
430
funct_7__1544_8.min1.thm1
2017-02-06 12:45
1.5K
funct_7__1546_43.min1.thm1
2017-02-06 12:45
2.1K
funct_7__1563_65.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1564_32.min1.thm1
2017-02-06 12:45
1.8K
funct_7__1565_35.min1.thm1
2017-02-06 12:45
1.4K
funct_7__1566_39.min1.thm1
2017-02-06 12:45
939
funct_7__1568_40.min1.thm1
2017-02-06 12:45
678
funct_7__1569_47.min1.thm1
2017-02-06 12:45
1.6K
funct_7__1570_16.min1.thm1
2017-02-06 12:45
323
funct_7__1571_13.min1.thm1
2017-02-06 12:45
498
funct_7__1572_30.min1.thm1
2017-02-06 12:45
650
funct_7__1573_27.min1.thm1
2017-02-06 12:45
557
funct_7__1573_27.min1.thm1.tptp
2017-02-06 16:47
483
funct_7__1574_32.min1.thm1
2017-02-06 12:45
431
funct_7__1576_9.min1.thm1
2017-02-06 12:45
554
funct_7__1578_14.min1.thm1
2017-02-06 12:45
770
funct_7__1578_14.min1.thm1.tptp
2017-02-06 16:47
697
funct_7__1586_14.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1594_33.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1595_20.min1.thm1
2017-02-06 12:45
576
funct_7__1598_23.min1.thm1
2017-02-06 12:45
1.8K
funct_7__1603_69.min1.thm1
2017-02-06 12:45
2.1K
funct_7__1605_14.min1.thm1
2017-02-06 12:45
3.3K
funct_7__1606_63.min1.thm1
2017-02-06 12:45
1.6K
funct_7__1607_36.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1609_40.min1.thm1
2017-02-06 12:45
678
funct_7__1610_67.min1.thm1
2017-02-06 12:45
2.7K
funct_7__1611_37.min1.thm1
2017-02-06 12:45
1.3K
funct_7__1612_31.min1.thm1
2017-02-06 12:45
467
funct_7__1613_23.min1.thm1
2017-02-06 12:45
752
funct_7__1614_29.min1.thm1
2017-02-06 12:45
405
funct_7__1616_9.min1.thm1
2017-02-06 12:45
528
funct_7__1618_14.min1.thm1
2017-02-06 12:45
744
funct_7__1618_14.min1.thm1.tptp
2017-02-06 16:47
671
funct_7__1624_21.min1.thm1
2017-02-06 12:45
595
funct_7__1625_45.min1.thm1
2017-02-06 12:45
1.5K
funct_7__1626_16.min1.thm1
2017-02-06 12:45
323
funct_7__1632_30.min1.thm1
2017-02-06 12:45
461
funct_7__1632_30.min1.thm1.tptp
2017-02-06 16:47
391
funct_7__1633_17.min1.thm1
2017-02-06 12:45
686
funct_7__1639_22.min1.thm1
2017-02-06 12:45
1.6K
funct_7__1640_39.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1641_44.min1.thm1
2017-02-06 12:45
651
funct_7__1642_23.min1.thm1
2017-02-06 12:45
2.5K
funct_7__1643_19.min1.thm1
2017-02-06 12:45
397
funct_7__1660_57.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1661_28.min1.thm1
2017-02-06 12:45
1.5K
funct_7__1662_39.min1.thm1
2017-02-06 12:45
1.3K
funct_7__1663_43.min1.thm1
2017-02-06 12:45
885
funct_7__1665_35.min1.thm1
2017-02-06 12:45
537
funct_7__1665_35.min1.thm1.tptp
2017-02-06 16:47
470
funct_7__1666_29.min1.thm1
2017-02-06 12:45
894
funct_7__1667_36.min1.thm1
2017-02-06 12:45
377
funct_7__1669_9.min1.thm1
2017-02-06 12:45
474
funct_7__1671_14.min1.thm1
2017-02-06 12:45
690
funct_7__1671_14.min1.thm1.tptp
2017-02-06 16:47
617
funct_7__1688_20.min1.thm1
2017-02-06 12:45
578
funct_7__1690_36.min1.thm1
2017-02-06 12:45
1.4K
funct_7__1693_27.min1.thm1
2017-02-06 12:45
2.1K
funct_7__1694_37.min1.thm1
2017-02-06 12:45
1.8K
funct_7__1696_32.min1.thm1
2017-02-06 12:45
2.5K
funct_7__1699_13.min1.thm1
2017-02-06 12:45
2.8K
funct_7__1700_65.min1.thm1
2017-02-06 12:45
2.4K
funct_7__1703_73.min1.thm1
2017-02-06 12:45
794
funct_7__1706_12.min1.thm1
2017-02-06 12:45
2.5K
funct_7__1708_14.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1708_14.min1.thm1.tptp
2017-02-06 16:47
931
funct_7__1716_31.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1718_27.min1.thm1
2017-02-06 12:45
2.6K
funct_7__1725_6.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1727_50.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1728_63.min1.thm1
2017-02-06 12:45
2.2K
funct_7__1729_53.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1730_59.min1.thm1
2017-02-06 12:45
1.8K
funct_7__1734_8.min1.thm1
2017-02-06 12:45
1.8K
funct_7__1739_18.min1.thm1
2017-02-06 12:45
574
funct_7__1740_27.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1742_31.min1.thm1
2017-02-06 12:45
780
funct_7__1743_31.min1.thm1
2017-02-06 12:45
537
funct_7__1743_31.min1.thm1.tptp
2017-02-06 16:47
470
funct_7__1745_52.min1.thm1
2017-02-06 12:45
545
funct_7__1747_9.min1.thm1
2017-02-06 12:45
642
funct_7__1749_14.min1.thm1
2017-02-06 12:45
860
funct_7__1749_14.min1.thm1.tptp
2017-02-06 16:47
787
funct_7__1755_26.min1.thm1
2017-02-06 12:45
341
funct_7__1756_50.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1757_20.min1.thm1
2017-02-06 12:45
517
funct_7__1757_20.min1.thm1.tptp
2017-02-06 16:47
447
funct_7__1758_18.min1.thm1
2017-02-06 12:45
780
funct_7__1764_58.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1765_17.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1771_49.min1.thm1
2017-02-06 12:45
935
funct_7__1772_49.min1.thm1
2017-02-06 12:45
397
funct_7__1773_43.min1.thm1
2017-02-06 12:45
1.5K
funct_7__1774_31.min1.thm1
2017-02-06 12:45
1.6K
funct_7__1775_27.min1.thm1
2017-02-06 12:45
624
funct_7__1781_30.min1.thm1
2017-02-06 12:45
460
funct_7__1782_54.min1.thm1
2017-02-06 12:45
1.3K
funct_7__1783_22.min1.thm1
2017-02-06 12:45
711
funct_7__1784_22.min1.thm1
2017-02-06 12:45
816
funct_7__1785_20.min1.thm1
2017-02-06 12:45
782
funct_7__1792_60.min1.thm1
2017-02-06 12:45
1.1K
funct_7__1793_22.min1.thm1
2017-02-06 12:45
700
funct_7__1794_66.min1.thm1
2017-02-06 12:45
1.4K
funct_7__1796_17.min1.thm1
2017-02-06 12:45
1.9K
funct_7__1802_61.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1803_53.min1.thm1
2017-02-06 12:45
516
funct_7__1804_59.min1.thm1
2017-02-06 12:45
1.8K
funct_7__1805_43.min1.thm1
2017-02-06 12:45
2.1K
funct_7__1806_47.min1.thm1
2017-02-06 12:45
868
funct_7__1807_49.min1.thm1
2017-02-06 12:45
1.4K
funct_7__1808_43.min1.thm1
2017-02-06 12:45
868
funct_7__1817_13.min1.thm1
2017-02-06 12:45
658
funct_7__1817_13.min1.thm1.tptp
2017-02-06 16:47
636
funct_7__1822_13.min1.thm1
2017-02-06 12:45
661
funct_7__1826_39.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1833_49.min1.thm1
2017-02-06 12:45
1.5K
funct_7__1834_15.min1.thm1
2017-02-06 12:45
508
funct_7__1834_15.min1.thm1.tptp
2017-02-06 16:47
438
funct_7__1835_18.min1.thm1
2017-02-06 12:45
574
funct_7__1837_57.min1.thm1
2017-02-06 12:45
1.6K
funct_7__1838_15.min1.thm1
2017-02-06 12:45
574
funct_7__1838_15.min1.thm1.tptp
2017-02-06 16:47
504
funct_7__1854_42.min1.thm1
2017-02-06 12:45
775
funct_7__1855_43.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1856_19.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1858_9.min1.thm1
2017-02-06 12:45
240
funct_7__1880_71.min1.thm1
2017-02-06 12:45
2.5K
funct_7__1882_30.min1.thm1
2017-02-06 12:45
708
funct_7__1884_25.min1.thm1
2017-02-06 12:45
1.6K
funct_7__1888_21.min1.thm1
2017-02-06 12:45
1.8K
funct_7__1891_25.min1.thm1
2017-02-06 12:45
1.6K
funct_7__1894_23.min1.thm1
2017-02-06 12:45
2.6K
funct_7__1898_25.min1.thm1
2017-02-06 12:45
1.5K
funct_7__1903_18.min1.thm1
2017-02-06 12:45
1.0K
funct_7__1905_41.min1.thm1
2017-02-06 12:45
1.5K
funct_7__1908_18.min1.thm1
2017-02-06 12:45
1.7K
funct_7__1910_27.min1.thm1
2017-02-06 12:45
772
funct_7__1938_39.min1.thm1
2017-02-06 12:45
666
funct_7__1939_33.min1.thm1
2017-02-06 12:45
834
funct_7__1940_16.min1.thm1
2017-02-06 12:45
817
funct_7__1952_27.min1.thm1
2017-02-06 12:45
2.0K
funct_7__1953_18.min1.thm1
2017-02-06 12:45
850
funct_7__1964_23.min1.thm1
2017-02-06 12:45
1.4K
funct_7__1965_19.min1.thm1
2017-02-06 12:45
612
funct_7__1968_20.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1970_12.min1.thm1
2017-02-06 12:45
776
funct_7__1972_22.min1.thm1
2017-02-06 12:45
1.4K
funct_7__1973_28.min1.thm1
2017-02-06 12:45
1.2K
funct_7__1984_26.min1.thm1
2017-02-06 12:45
540
funct_7__1985_23.min1.thm1
2017-02-06 12:45
395
funct_7__1988_20.min1.thm1
2017-02-06 12:45
1.3K
funct_7__1989_17.min1.thm1
2017-02-06 12:45
776
funct_7__1990_19.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2015_42.min1.thm1
2017-02-06 12:45
775
funct_7__2016_13.min1.thm1
2017-02-06 12:45
192
funct_7__2020_24.min1.thm1
2017-02-06 12:45
677
funct_7__2022_36.min1.thm1
2017-02-06 12:45
635
funct_7__2023_25.min1.thm1
2017-02-06 12:45
605
funct_7__2024_39.min1.thm1
2017-02-06 12:45
1.3K
funct_7__2031_24.min1.thm1
2017-02-06 12:45
800
funct_7__2032_16.min1.thm1
2017-02-06 12:45
600
funct_7__2034_29.min1.thm1
2017-02-06 12:45
1.5K
funct_7__2035_19.min1.thm1
2017-02-06 12:45
1.9K
funct_7__2036_28.min1.thm1
2017-02-06 12:45
1.9K
funct_7__2039_38.min1.thm1
2017-02-06 12:45
649
funct_7__2045_20.min1.thm1
2017-02-06 12:45
688
funct_7__2046_22.min1.thm1
2017-02-06 12:45
583
funct_7__2053_22.min1.thm1
2017-02-06 12:45
587
funct_7__2054_29.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2055_25.min1.thm1
2017-02-06 12:45
771
funct_7__2060_32.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2061_21.min1.thm1
2017-02-06 12:45
1.8K
funct_7__2065_32.min1.thm1
2017-02-06 12:45
599
funct_7__2065_32.min1.thm1.tptp
2017-02-06 16:47
529
funct_7__2069_34.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2071_37.min1.thm1
2017-02-06 12:45
1.8K
funct_7__2072_26.min1.thm1
2017-02-06 12:45
904
funct_7__2073_21.min1.thm1
2017-02-06 12:45
3.4K
funct_7__2077_10.min1.thm1
2017-02-06 12:45
358
funct_7__2080_14.min1.thm1
2017-02-06 12:45
853
funct_7__2088_11.min1.thm1
2017-02-06 12:45
186
funct_7__2091_49.min1.thm1
2017-02-06 12:45
361
funct_7__2091_49.min1.thm1.tptp
2017-02-06 16:47
282
funct_7__2092_19.min1.thm1
2017-02-06 12:45
495
funct_7__2096_66.min1.thm1
2017-02-06 12:45
745
funct_7__2097_16.min1.thm1
2017-02-06 12:45
465
funct_7__2097_16.min1.thm1.tptp
2017-02-06 16:47
389
funct_7__2112_24.min1.thm1
2017-02-06 12:45
587
funct_7__2113_20.min1.thm1
2017-02-06 12:45
574
funct_7__2120_22.min1.thm1
2017-02-06 12:45
2.1K
funct_7__2121_38.min1.thm1
2017-02-06 12:45
740
funct_7__2122_71.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2124_25.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2129_17.min1.thm1
2017-02-06 12:45
1.8K
funct_7__2131_17.min1.thm1
2017-02-06 12:45
1.3K
funct_7__2138_16.min1.thm1
2017-02-06 12:45
241
funct_7__2140_20.min1.thm1
2017-02-06 12:45
1.2K
funct_7__2142_13.min1.thm1
2017-02-06 12:45
180
funct_7__2146_38.min1.thm1
2017-02-06 12:45
836
funct_7__2148_21.min1.thm1
2017-02-06 12:45
1.3K
funct_7__2152_19.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2153_22.min1.thm1
2017-02-06 12:45
1.3K
funct_7__2155_18.min1.thm1
2017-02-06 12:45
1.4K
funct_7__2159_21.min1.thm1
2017-02-06 12:45
2.0K
funct_7__2163_44.min1.thm1
2017-02-06 12:45
1.9K
funct_7__2169_14.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2183_19.min1.thm1
2017-02-06 12:45
3.2K
funct_7__2187_50.min1.thm1
2017-02-06 12:45
1.5K
funct_7__2192_24.min1.thm1
2017-02-06 12:45
1.2K
funct_7__2193_44.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2195_32.min1.thm1
2017-02-06 12:45
625
funct_7__2196_33.min1.thm1
2017-02-06 12:45
626
funct_7__2197_18.min1.thm1
2017-02-06 12:45
575
funct_7__2201_28.min1.thm1
2017-02-06 12:45
599
funct_7__2204_35.min1.thm1
2017-02-06 12:45
1.2K
funct_7__2206_32.min1.thm1
2017-02-06 12:45
579
funct_7__2207_18.min1.thm1
2017-02-06 12:45
575
funct_7__2209_24.min1.thm1
2017-02-06 12:45
960
funct_7__2210_32.min1.thm1
2017-02-06 12:45
579
funct_7__2222_33.min1.thm1
2017-02-06 12:45
1.9K
funct_7__2223_16.min1.thm1
2017-02-06 12:45
1.8K
funct_7__2235_32.min1.thm1
2017-02-06 12:45
2.1K
funct_7__2238_21.min1.thm1
2017-02-06 12:45
2.7K
funct_7__2244_32.min1.thm1
2017-02-06 12:45
2.1K
funct_7__2245_17.min1.thm1
2017-02-06 12:45
1.2K
funct_7__2246_19.min1.thm1
2017-02-06 12:45
2.3K
funct_7__2248_55.min1.thm1
2017-02-06 12:45
2.1K
funct_7__2249_21.min1.thm1
2017-02-06 12:45
2.0K
funct_7__2256_14.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2268_16.min1.thm1
2017-02-06 12:45
624
funct_7__2277_24.min1.thm1
2017-02-06 12:45
1.2K
funct_7__2278_19.min1.thm1
2017-02-06 12:45
735
funct_7__2281_20.min1.thm1
2017-02-06 12:45
578
funct_7__2282_43.min1.thm1
2017-02-06 12:45
776
funct_7__2283_62.min1.thm1
2017-02-06 12:45
748
funct_7__2284_66.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2285_13.min1.thm1
2017-02-06 12:45
192
funct_7__2288_29.min1.thm1
2017-02-06 12:45
677
funct_7__2289_21.min1.thm1
2017-02-06 12:45
1.9K
funct_7__2294_45.min1.thm1
2017-02-06 12:45
756
funct_7__2295_48.min1.thm1
2017-02-06 12:45
1.5K
funct_7__2296_33.min1.thm1
2017-02-06 12:45
735
funct_7__2299_19.min1.thm1
2017-02-06 12:45
2.2K
funct_7__2300_31.min1.thm1
2017-02-06 12:45
1.8K
funct_7__2302_31.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2311_13.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2313_14.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2313_14.min1.thm1.tptp
2017-02-06 16:47
954
funct_7__2327_26.min1.thm1
2017-02-06 12:45
903
funct_7__2339_21.min1.thm1
2017-02-06 12:45
694
funct_7__2342_42.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2343_33.min1.thm1
2017-02-06 12:45
479
funct_7__2346_36.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2347_21.min1.thm1
2017-02-06 12:45
705
funct_7__2349_28.min1.thm1
2017-02-06 12:45
530
funct_7__2350_27.min1.thm1
2017-02-06 12:45
669
funct_7__2366_18.min1.thm1
2017-02-06 12:45
1.4K
funct_7__2367_37.min1.thm1
2017-02-06 12:45
464
funct_7__2373_45.min1.thm1
2017-02-06 12:45
651
funct_7__2374_15.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2377_21.min1.thm1
2017-02-06 12:45
2.5K
funct_7__2378_17.min1.thm1
2017-02-06 12:45
1.2K
funct_7__2380_17.min1.thm1
2017-02-06 12:45
1.8K
funct_7__2381_15.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2382_24.min1.thm1
2017-02-06 12:45
2.7K
funct_7__2383_62.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2392_34.min1.thm1
2017-02-06 12:45
704
funct_7__2398_69.min1.thm1
2017-02-06 12:45
1.2K
funct_7__2399_16.min1.thm1
2017-02-06 12:45
553
funct_7__2417_43.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2418_22.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2420_57.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2423_16.min1.thm1
2017-02-06 12:45
565
funct_7__2435_20.min1.thm1
2017-02-06 12:45
947
funct_7__2437_69.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2439_27.min1.thm1
2017-02-06 12:45
1.2K
funct_7__2440_19.min1.thm1
2017-02-06 12:45
969
funct_7__2445_20.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2446_17.min1.thm1
2017-02-06 12:45
1.8K
funct_7__2455_11.min1.thm1
2017-02-06 12:45
186
funct_7__2458_22.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2459_44.min1.thm1
2017-02-06 12:45
1.3K
funct_7__2465_27.min1.thm1
2017-02-06 12:45
814
funct_7__2466_57.min1.thm1
2017-02-06 12:45
1.6K
funct_7__2467_19.min1.thm1
2017-02-06 12:45
1.6K
funct_7__2480_37.min1.thm1
2017-02-06 12:45
452
funct_7__2481_34.min1.thm1
2017-02-06 12:45
1.7K
funct_7__2489_14.min1.thm1
2017-02-06 12:45
541
funct_7__2489_14.min1.thm1.tptp
2017-02-06 16:47
471
funct_7__2490_14.min1.thm1
2017-02-06 12:45
1.2K
funct_7__2508_47.min1.thm1
2017-02-06 12:45
592
funct_7__2511_16.min1.thm1
2017-02-06 12:45
691
funct_7__2511_16.min1.thm1.tptp
2017-02-06 16:47
605
funct_7__2514_15.min1.thm1
2017-02-06 12:45
1.6K
funct_7__2516_47.min1.thm1
2017-02-06 12:45
592
funct_7__2517_16.min1.thm1
2017-02-06 12:45
692
funct_7__2517_16.min1.thm1.tptp
2017-02-06 16:47
606
funct_7__2519_14.min1.thm1
2017-02-06 12:45
422
funct_7__2532_40.min1.thm1
2017-02-06 12:45
452
funct_7__2539_44.min1.thm1
2017-02-06 12:45
605
funct_7__2540_62.min1.thm1
2017-02-06 12:45
650
funct_7__2543_53.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2553_17.min1.thm1
2017-02-06 12:45
392
funct_7__2556_39.min1.thm1
2017-02-06 12:45
1.2K
funct_7__2576_36.min1.thm1
2017-02-06 12:45
436
funct_7__2577_22.min1.thm1
2017-02-06 12:45
806
funct_7__2581_19.min1.thm1
2017-02-06 12:45
783
funct_7__2589_40.min1.thm1
2017-02-06 12:45
606
funct_7__2590_17.min1.thm1
2017-02-06 12:45
861
funct_7__2605_25.min1.thm1
2017-02-06 12:45
637
funct_7__2606_17.min1.thm1
2017-02-06 12:45
529
funct_7__2617_20.min1.thm1
2017-02-06 12:45
670
funct_7__2617_20.min1.thm1.tptp
2017-02-06 16:47
593
funct_7__2624_30.min1.thm1
2017-02-06 12:45
1.3K
funct_7__2625_21.min1.thm1
2017-02-06 12:45
1.6K
funct_7__2626_23.min1.thm1
2017-02-06 12:45
432
funct_7__2626_23.min1.thm1.tptp
2017-02-06 16:47
355
funct_7__2627_11.min1.thm1
2017-02-06 12:45
421
funct_7__2627_11.min1.thm1.tptp
2017-02-06 16:47
350
funct_7__2640_41.min1.thm1
2017-02-06 12:45
597
funct_7__2641_27.min1.thm1
2017-02-06 12:45
740
funct_7__2644_20.min1.thm1
2017-02-06 12:45
1.4K
funct_7__2645_23.min1.thm1
2017-02-06 12:45
421
funct_7__2645_23.min1.thm1.tptp
2017-02-06 16:47
350
funct_7__2646_21.min1.thm1
2017-02-06 12:45
432
funct_7__2646_21.min1.thm1.tptp
2017-02-06 16:47
355
funct_7__2648_9.min1.thm1
2017-02-06 12:45
1.3K
funct_7__2650_14.min1.thm1
2017-02-06 12:45
484
funct_7__2650_14.min1.thm1.tptp
2017-02-06 16:47
407
funct_7__2660_32.min1.thm1
2017-02-06 12:45
1.4K
funct_7__2662_39.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2663_32.min1.thm1
2017-02-06 12:45
1.4K
funct_7__2665_39.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2667_19.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2669_28.min1.thm1
2017-02-06 12:45
374
funct_7__2669_28.min1.thm1.tptp
2017-02-06 16:47
297
funct_7__2671_12.min1.thm1
2017-02-06 12:45
701
funct_7__2673_14.min1.thm1
2017-02-06 12:45
632
funct_7__2673_14.min1.thm1.tptp
2017-02-06 16:47
555
funct_7__2682_29.min1.thm1
2017-02-06 12:45
591
funct_7__2692_12.min1.thm1
2017-02-06 12:45
1.3K
funct_7__2694_17.min1.thm1
2017-02-06 12:45
675
funct_7__2694_17.min1.thm1.tptp
2017-02-06 16:47
607
funct_7__2708_32.min1.thm1
2017-02-06 12:45
539
funct_7__2710_39.min1.thm1
2017-02-06 12:45
822
funct_7__2711_32.min1.thm1
2017-02-06 12:45
539
funct_7__2712_19.min1.thm1
2017-02-06 12:45
1.4K
funct_7__2715_30.min1.thm1
2017-02-06 12:45
590
funct_7__2717_12.min1.thm1
2017-02-06 12:45
693
funct_7__2719_14.min1.thm1
2017-02-06 12:45
592
funct_7__2719_14.min1.thm1.tptp
2017-02-06 16:47
519
funct_7__2725_29.min1.thm1
2017-02-06 12:45
565
funct_7__2726_17.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2732_29.min1.thm1
2017-02-06 12:45
566
funct_7__2733_17.min1.thm1
2017-02-06 12:45
1.0K
funct_7__2744_57.min1.thm1
2017-02-06 12:45
1.2K
funct_7__2745_35.min1.thm1
2017-02-06 12:45
1.3K
funct_7__2747_24.min1.thm1
2017-02-06 12:45
1.9K
funct_7__2749_48.min1.thm1
2017-02-06 12:45
488
funct_7__2749_48.min1.thm1.tptp
2017-02-06 16:47
411
funct_7__2750_21.min1.thm1
2017-02-06 12:45
1.2K
funct_7__2752_9.min1.thm1
2017-02-06 12:45
476
funct_7__2754_14.min1.thm1
2017-02-06 12:45
582
funct_7__2754_14.min1.thm1.tptp
2017-02-06 16:47
505
funct_7__2763_59.min1.thm1
2017-02-06 12:45
1.4K
funct_7__2772_26.min1.thm1
2017-02-06 12:45
1.8K
funct_7__2773_12.min1.thm1
2017-02-06 12:45
2.0K
funct_7__2777_14.min1.thm1
2017-02-06 12:45
591
funct_7__2778_35.min1.thm1
2017-02-06 12:45
452
funct_7__2779_10.min1.thm1
2017-02-06 12:45
1.3K
funct_7__2780_17.min1.thm1
2017-02-06 12:45
639
funct_7__2789_31.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2790_33.min1.thm1
2017-02-06 12:45
1.6K
funct_7__2791_39.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2792_21.min1.thm1
2017-02-06 12:45
665
funct_7__2793_21.min1.thm1
2017-02-06 12:45
1.9K
funct_7__2795_9.min1.thm1
2017-02-06 12:45
420
funct_7__2796_26.min1.thm1
2017-02-06 12:45
854
funct_7__2798_14.min1.thm1
2017-02-06 12:45
526
funct_7__2798_14.min1.thm1.tptp
2017-02-06 16:47
449
funct_7__2808_40.min1.thm1
2017-02-06 12:45
1.6K
funct_7__2809_11.min1.thm1
2017-02-06 12:45
1.4K
funct_7__2811_31.min1.thm1
2017-02-06 12:45
492
funct_7__2812_9.min1.thm1
2017-02-06 12:45
937
funct_7__2814_9.min1.thm1
2017-02-06 12:45
314
funct_7__2814_9.min1.thm1.tptp
2017-02-06 16:47
232
funct_7__2816_14.min1.thm1
2017-02-06 12:45
359
funct_7__2816_14.min1.thm1.tptp
2017-02-06 16:47
282
funct_7__2827_49.min1.thm1
2017-02-06 12:45
1.2K
funct_7__2830_23.min1.thm1
2017-02-06 12:45
670
funct_7__2832_12.min1.thm1
2017-02-06 12:45
570
funct_7__2834_14.min1.thm1
2017-02-06 12:45
427
funct_7__2834_14.min1.thm1.tptp
2017-02-06 16:47
350
funct_7__2842_30.min1.thm1
2017-02-06 12:45
967
funct_7__2843_21.min1.thm1
2017-02-06 12:45
1.3K
funct_7__2844_13.min1.thm1
2017-02-06 12:45
372
funct_7__2844_13.min1.thm1.tptp
2017-02-06 16:47
295
funct_7__2845_12.min1.thm1
2017-02-06 12:45
506
funct_7__2854_25.min1.thm1
2017-02-06 12:45
182
funct_7__2856_16.min1.thm1
2017-02-06 12:45
1.3K
funct_7__2857_14.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2858_48.min1.thm1
2017-02-06 12:45
1.5K
funct_7__2860_14.min1.thm1
2017-02-06 12:45
1.6K
funct_7__2861_17.min1.thm1
2017-02-06 12:45
1.8K
funct_7__2868_46.min1.thm1
2017-02-06 12:45
1.6K
funct_7__2869_17.min1.thm1
2017-02-06 12:45
748
funct_7__2876_19.min1.thm1
2017-02-06 12:45
620
funct_7__2876_19.min1.thm1.tptp
2017-02-06 16:47
546
funct_7__2884_28.min1.thm1
2017-02-06 12:45
1.5K
funct_7__2885_29.min1.thm1
2017-02-06 12:45
836
funct_7__2888_29.min1.thm1
2017-02-06 12:45
835
funct_7__2890_17.min1.thm1
2017-02-06 12:45
1.5K
funct_7__2902_16.min1.thm1
2017-02-06 12:45
583
funct_7__2910_16.min1.thm1
2017-02-06 12:45
748
funct_7__2912_21.min1.thm1
2017-02-06 12:45
688
funct_7__2913_17.min1.thm1
2017-02-06 12:45
810
funct_7__2915_18.min1.thm1
2017-02-06 12:45
774
funct_7__2916_26.min1.thm1
2017-02-06 12:45
534
funct_7__2917_37.min1.thm1
2017-02-06 12:45
1.4K
funct_7__2920_13.min1.thm1
2017-02-06 12:45
1.4K
funct_7__2923_15.min1.thm1
2017-02-06 12:45
591
funct_7__2924_35.min1.thm1
2017-02-06 12:45
452
funct_7__2925_14.min1.thm1
2017-02-06 12:45
1.3K
funct_7__2926_17.min1.thm1
2017-02-06 12:45
474
funct_7__2938_50.min1.thm1
2017-02-06 12:45
1.6K
funct_7__2939_42.min1.thm1
2017-02-06 12:45
1.3K
funct_7__2940_38.min1.thm1
2017-02-06 12:45
1.4K
funct_7__2941_16.min1.thm1
2017-02-06 12:45
490
funct_7__2943_29.min1.thm1
2017-02-06 12:45
470
funct_7__2944_29.min1.thm1
2017-02-06 12:45
296
funct_7__2945_29.min1.thm1
2017-02-06 12:45
1.4K
funct_7__2947_9.min1.thm1
2017-02-06 12:45
394
funct_7__2966_22.min1.thm1
2017-02-06 12:45
828
funct_7__2967_24.min1.thm1
2017-02-06 12:45
696
funct_7__2969_19.min1.thm1
2017-02-06 12:45
708
funct_7__2970_32.min1.thm1
2017-02-06 12:45
564
funct_7__2971_17.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2980_28.min1.thm1
2017-02-06 12:45
601
funct_7__2981_28.min1.thm1
2017-02-06 12:45
607
funct_7__2982_30.min1.thm1
2017-02-06 12:45
718
funct_7__2983_30.min1.thm1
2017-02-06 12:45
1.1K
funct_7__2984_28.min1.thm1
2017-02-06 12:45
718
funct_7__2985_24.min1.thm1
2017-02-06 12:45
607
funct_7__2986_11.min1.thm1
2017-02-06 12:45
601
funct_7__2994_11.min1.thm1
2017-02-06 12:45
245
funct_7__2998_20.min1.thm1
2017-02-06 12:45
352
funct_7__2998_20.min1.thm1.tptp
2017-02-06 16:47
274
funct_7__3000_23.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3001_29.min1.thm1
2017-02-06 12:45
953
funct_7__3006_24.min1.thm1
2017-02-06 12:45
625
funct_7__3007_19.min1.thm1
2017-02-06 12:45
581
funct_7__3016_11.min1.thm1
2017-02-06 12:45
245
funct_7__3020_24.min1.thm1
2017-02-06 12:45
361
funct_7__3020_24.min1.thm1.tptp
2017-02-06 16:47
281
funct_7__3022_28.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3023_44.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3024_15.min1.thm1
2017-02-06 12:45
1.7K
funct_7__3028_19.min1.thm1
2017-02-06 12:45
726
funct_7__3038_11.min1.thm1
2017-02-06 12:45
386
funct_7__3044_33.min1.thm1
2017-02-06 12:45
451
funct_7__3044_33.min1.thm1.tptp
2017-02-06 16:47
387
funct_7__3045_31.min1.thm1
2017-02-06 12:45
773
funct_7__3046_33.min1.thm1
2017-02-06 12:45
652
funct_7__3049_45.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3050_29.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3051_29.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3052_24.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3059_29.min1.thm1
2017-02-06 12:45
618
funct_7__3060_27.min1.thm1
2017-02-06 12:45
767
funct_7__3061_29.min1.thm1
2017-02-06 12:45
646
funct_7__3064_31.min1.thm1
2017-02-06 12:45
804
funct_7__3065_24.min1.thm1
2017-02-06 12:45
683
funct_7__3069_31.min1.thm1
2017-02-06 12:45
599
funct_7__3070_24.min1.thm1
2017-02-06 12:45
720
funct_7__3081_25.min1.thm1
2017-02-06 12:45
922
funct_7__3082_29.min1.thm1
2017-02-06 12:45
748
funct_7__3083_45.min1.thm1
2017-02-06 12:45
1.8K
funct_7__3084_11.min1.thm1
2017-02-06 12:45
568
funct_7__3093_22.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3094_22.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3095_24.min1.thm1
2017-02-06 12:45
816
funct_7__3097_43.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3103_12.min1.thm1
2017-02-06 12:45
772
funct_7__3104_35.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3105_19.min1.thm1
2017-02-06 12:45
595
funct_7__3107_55.min1.thm1
2017-02-06 12:45
2.5K
funct_7__3108_20.min1.thm1
2017-02-06 12:45
2.1K
funct_7__3109_10.min1.thm1
2017-02-06 12:45
925
funct_7__3121_42.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3122_11.min1.thm1
2017-02-06 12:45
438
funct_7__3122_11.min1.thm1.tptp
2017-02-06 16:47
368
funct_7__3134_26.min1.thm1
2017-02-06 12:45
971
funct_7__3135_35.min1.thm1
2017-02-06 12:45
1.3K
funct_7__3136_18.min1.thm1
2017-02-06 12:45
786
funct_7__3137_17.min1.thm1
2017-02-06 12:45
1.7K
funct_7__3148_11.min1.thm1
2017-02-06 12:45
1.4K
funct_7__3149_15.min1.thm1
2017-02-06 12:45
1.4K
funct_7__3153_35.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3161_16.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3167_27.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3171_29.min1.thm1
2017-02-06 12:45
911
funct_7__3173_18.min1.thm1
2017-02-06 12:45
600
funct_7__3176_22.min1.thm1
2017-02-06 12:45
557
funct_7__3178_21.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3181_23.min1.thm1
2017-02-06 12:45
1.9K
funct_7__3182_19.min1.thm1
2017-02-06 12:45
1.4K
funct_7__3183_31.min1.thm1
2017-02-06 12:45
1.7K
funct_7__3184_23.min1.thm1
2017-02-06 12:45
1.7K
funct_7__3193_25.min1.thm1
2017-02-06 12:45
2.4K
funct_7__3195_23.min1.thm1
2017-02-06 12:45
1.9K
funct_7__3203_23.min1.thm1
2017-02-06 12:45
1.7K
funct_7__3207_22.min1.thm1
2017-02-06 12:45
557
funct_7__3209_21.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3216_23.min1.thm1
2017-02-06 12:45
1.9K
funct_7__3219_16.min1.thm1
2017-02-06 12:45
1.7K
funct_7__3236_13.min1.thm1
2017-02-06 12:45
131
funct_7__3245_13.min1.thm1
2017-02-06 12:45
365
funct_7__3248_47.min1.thm1
2017-02-06 12:45
934
funct_7__3249_18.min1.thm1
2017-02-06 12:45
787
funct_7__3253_21.min1.thm1
2017-02-06 12:45
864
funct_7__3261_11.min1.thm1
2017-02-06 12:45
361
funct_7__3264_55.min1.thm1
2017-02-06 12:45
954
funct_7__3265_27.min1.thm1
2017-02-06 12:45
781
funct_7__3266_17.min1.thm1
2017-02-06 12:45
485
funct_7__3266_17.min1.thm1.tptp
2017-02-06 16:47
418
funct_7__3270_19.min1.thm1
2017-02-06 12:45
811
funct_7__3277_24.min1.thm1
2017-02-06 12:45
713
funct_7__3278_11.min1.thm1
2017-02-06 12:45
245
funct_7__3281_34.min1.thm1
2017-02-06 12:45
953
funct_7__3282_19.min1.thm1
2017-02-06 12:45
1.4K
funct_7__3286_24.min1.thm1
2017-02-06 12:45
625
funct_7__3287_19.min1.thm1
2017-02-06 12:45
469
funct_7__3287_19.min1.thm1.tptp
2017-02-06 16:47
389
funct_7__3298_14.min1.thm1
2017-02-06 12:45
590
funct_7__3299_28.min1.thm1
2017-02-06 12:45
451
funct_7__3299_28.min1.thm1.tptp
2017-02-06 16:47
384
funct_7__3300_11.min1.thm1
2017-02-06 12:45
197
funct_7__3303_22.min1.thm1
2017-02-06 12:45
464
funct_7__3304_19.min1.thm1
2017-02-06 12:45
644
funct_7__3308_30.min1.thm1
2017-02-06 12:45
579
funct_7__3309_30.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3310_19.min1.thm1
2017-02-06 12:45
570
funct_7__3310_19.min1.thm1.tptp
2017-02-06 16:47
508
funct_7__3318_48.min1.thm1
2017-02-06 12:45
798
funct_7__3319_17.min1.thm1
2017-02-06 12:45
863
funct_7__3325_11.min1.thm1
2017-02-06 12:45
361
funct_7__3329_19.min1.thm1
2017-02-06 12:45
553
funct_7__3330_33.min1.thm1
2017-02-06 12:45
538
funct_7__3330_33.min1.thm1.tptp
2017-02-06 16:47
476
funct_7__3331_52.min1.thm1
2017-02-06 12:45
771
funct_7__3332_17.min1.thm1
2017-02-06 12:45
786
funct_7__3334_40.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3337_15.min1.thm1
2017-02-06 12:45
203
funct_7__3340_23.min1.thm1
2017-02-06 12:45
619
funct_7__3344_23.min1.thm1
2017-02-06 12:45
709
funct_7__3347_40.min1.thm1
2017-02-06 12:45
713
funct_7__3348_40.min1.thm1
2017-02-06 12:45
961
funct_7__3349_55.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3351_31.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3352_27.min1.thm1
2017-02-06 12:45
575
funct_7__3355_15.min1.thm1
2017-02-06 12:45
315
funct_7__3358_23.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3362_34.min1.thm1
2017-02-06 12:45
463
funct_7__3362_34.min1.thm1.tptp
2017-02-06 16:47
396
funct_7__3363_39.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3364_19.min1.thm1
2017-02-06 12:45
636
funct_7__3365_23.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3368_29.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3369_43.min1.thm1
2017-02-06 12:45
723
funct_7__3370_72.min1.thm1
2017-02-06 12:45
907
funct_7__3372_27.min1.thm1
2017-02-06 12:45
703
funct_7__3373_55.min1.thm1
2017-02-06 12:45
1.7K
funct_7__3374_36.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3375_19.min1.thm1
2017-02-06 12:45
629
funct_7__3379_19.min1.thm1
2017-02-06 12:45
813
funct_7__3393_11.min1.thm1
2017-02-06 12:45
187
funct_7__3396_44.min1.thm1
2017-02-06 12:45
293
funct_7__3396_44.min1.thm1.tptp
2017-02-06 16:47
213
funct_7__3403_59.min1.thm1
2017-02-06 12:45
790
funct_7__3404_23.min1.thm1
2017-02-06 12:45
795
funct_7__3408_61.min1.thm1
2017-02-06 12:45
505
funct_7__3408_61.min1.thm1.tptp
2017-02-06 16:47
442
funct_7__3409_20.min1.thm1
2017-02-06 12:45
782
funct_7__3414_27.min1.thm1
2017-02-06 12:45
691
funct_7__3415_58.min1.thm1
2017-02-06 12:45
658
funct_7__3417_20.min1.thm1
2017-02-06 12:45
1.3K
funct_7__3418_19.min1.thm1
2017-02-06 12:45
452
funct_7__3420_12.min1.thm1
2017-02-06 12:45
322
funct_7__3420_12.min1.thm1.tptp
2017-02-06 16:47
242
funct_7__3422_19.min1.thm1
2017-02-06 12:45
657
funct_7__3429_61.min1.thm1
2017-02-06 12:45
483
funct_7__3430_59.min1.thm1
2017-02-06 12:45
483
funct_7__3430_59.min1.thm1.tptp
2017-02-06 16:47
420
funct_7__3433_19.min1.thm1
2017-02-06 12:45
374
funct_7__3445_61.min1.thm1
2017-02-06 12:45
880
funct_7__3446_30.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3447_36.min1.thm1
2017-02-06 12:45
580
funct_7__3447_36.min1.thm1.tptp
2017-02-06 16:47
513
funct_7__3450_36.min1.thm1
2017-02-06 12:45
811
funct_7__3452_38.min1.thm1
2017-02-06 12:45
733
funct_7__3453_19.min1.thm1
2017-02-06 12:45
528
funct_7__3453_19.min1.thm1.tptp
2017-02-06 16:47
454
funct_7__3455_65.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3457_26.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3458_45.min1.thm1
2017-02-06 12:45
880
funct_7__3465_13.min1.thm1
2017-02-06 12:45
309
funct_7__3468_60.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3469_17.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3470_24.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3471_47.min1.thm1
2017-02-06 12:45
1.4K
funct_7__3475_19.min1.thm1
2017-02-06 12:45
619
funct_7__3477_23.min1.thm1
2017-02-06 12:45
637
funct_7__3479_60.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3480_17.min1.thm1
2017-02-06 12:45
743
funct_7__3481_33.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3482_17.min1.thm1
2017-02-06 12:45
815
funct_7__3483_24.min1.thm1
2017-02-06 12:45
743
funct_7__3484_47.min1.thm1
2017-02-06 12:45
1.4K
funct_7__3500_40.min1.thm1
2017-02-06 12:45
811
funct_7__3502_40.min1.thm1
2017-02-06 12:45
733
funct_7__3503_19.min1.thm1
2017-02-06 12:45
528
funct_7__3503_19.min1.thm1.tptp
2017-02-06 16:47
454
funct_7__3504_61.min1.thm1
2017-02-06 12:45
880
funct_7__3505_30.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3506_36.min1.thm1
2017-02-06 12:45
580
funct_7__3506_36.min1.thm1.tptp
2017-02-06 16:47
513
funct_7__3508_65.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3510_26.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3511_45.min1.thm1
2017-02-06 12:45
880
funct_7__3518_13.min1.thm1
2017-02-06 12:45
309
funct_7__3521_60.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3522_17.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3523_33.min1.thm1
2017-02-06 12:45
871
funct_7__3524_17.min1.thm1
2017-02-06 12:45
815
funct_7__3525_24.min1.thm1
2017-02-06 12:45
1.3K
funct_7__3526_47.min1.thm1
2017-02-06 12:45
1.4K
funct_7__3530_19.min1.thm1
2017-02-06 12:45
619
funct_7__3532_23.min1.thm1
2017-02-06 12:45
637
funct_7__3533_23.min1.thm1
2017-02-06 12:45
786
funct_7__3534_60.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3535_17.min1.thm1
2017-02-06 12:45
743
funct_7__3536_24.min1.thm1
2017-02-06 12:45
743
funct_7__3537_47.min1.thm1
2017-02-06 12:45
1.4K
funct_7__3554_35.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3555_36.min1.thm1
2017-02-06 12:45
668
funct_7__3556_19.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3561_36.min1.thm1
2017-02-06 12:45
764
funct_7__3567_13.min1.thm1
2017-02-06 12:45
251
funct_7__3570_31.min1.thm1
2017-02-06 12:45
737
funct_7__3571_24.min1.thm1
2017-02-06 12:45
737
funct_7__3575_38.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3576_24.min1.thm1
2017-02-06 12:45
711
funct_7__3578_27.min1.thm1
2017-02-06 12:45
657
funct_7__3579_46.min1.thm1
2017-02-06 12:45
856
funct_7__3580_30.min1.thm1
2017-02-06 12:45
743
funct_7__3581_33.min1.thm1
2017-02-06 12:45
929
funct_7__3582_17.min1.thm1
2017-02-06 12:45
867
funct_7__3583_24.min1.thm1
2017-02-06 12:45
743
funct_7__3586_34.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3587_34.min1.thm1
2017-02-06 12:45
765
funct_7__3588_24.min1.thm1
2017-02-06 12:45
590
funct_7__3589_22.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3590_17.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3603_24.min1.thm1
2017-02-06 12:45
665
funct_7__3604_11.min1.thm1
2017-02-06 12:45
245
funct_7__3608_19.min1.thm1
2017-02-06 12:45
750
funct_7__3612_21.min1.thm1
2017-02-06 12:45
753
funct_7__3616_15.min1.thm1
2017-02-06 12:45
251
funct_7__3621_37.min1.thm1
2017-02-06 12:45
855
funct_7__3622_19.min1.thm1
2017-02-06 12:45
495
funct_7__3629_31.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3630_35.min1.thm1
2017-02-06 12:45
2.0K
funct_7__3631_29.min1.thm1
2017-02-06 12:45
1.5K
funct_7__3632_23.min1.thm1
2017-02-06 12:45
960
funct_7__3647_24.min1.thm1
2017-02-06 12:45
665
funct_7__3648_11.min1.thm1
2017-02-06 12:45
245
funct_7__3652_19.min1.thm1
2017-02-06 12:45
694
funct_7__3656_21.min1.thm1
2017-02-06 12:45
753
funct_7__3665_17.min1.thm1
2017-02-06 12:45
221
funct_7__3672_37.min1.thm1
2017-02-06 12:45
877
funct_7__3673_25.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3676_28.min1.thm1
2017-02-06 12:45
1.3K
funct_7__3679_23.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3693_42.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3694_11.min1.thm1
2017-02-06 12:45
438
funct_7__3694_11.min1.thm1.tptp
2017-02-06 16:47
368
funct_7__3706_22.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3707_21.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3708_25.min1.thm1
2017-02-06 12:45
182
funct_7__3710_16.min1.thm1
2017-02-06 12:45
1.4K
funct_7__3711_11.min1.thm1
2017-02-06 12:45
191
funct_7__3714_19.min1.thm1
2017-02-06 12:45
3.1K
funct_7__3715_19.min1.thm1
2017-02-06 12:45
2.7K
funct_7__3719_16.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3721_15.min1.thm1
2017-02-06 12:45
1.6K
funct_7__3724_15.min1.thm1
2017-02-06 12:45
203
funct_7__3727_23.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3728_17.min1.thm1
2017-02-06 12:45
887
funct_7__3729_20.min1.thm1
2017-02-06 12:45
1.4K
funct_7__3729_20.min1.thm1.tptp
2017-02-06 16:47
1.3K
funct_7__3734_22.min1.thm1
2017-02-06 12:45
1.3K
funct_7__3735_19.min1.thm1
2017-02-06 12:45
1.5K
funct_7__3741_29.min1.thm1
2017-02-06 12:45
1.3K
funct_7__3742_21.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3752_23.min1.thm1
2017-02-06 12:45
2.1K
funct_7__3753_21.min1.thm1
2017-02-06 12:45
347
funct_7__3756_30.min1.thm1
2017-02-06 12:45
2.3K
funct_7__3770_21.min1.thm1
2017-02-06 12:45
1.5K
funct_7__3771_19.min1.thm1
2017-02-06 12:45
337
funct_7__3782_30.min1.thm1
2017-02-06 12:45
2.1K
funct_7__3795_19.min1.thm1
2017-02-06 12:45
919
funct_7__3806_32.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3811_32.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3816_32.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3821_32.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3826_47.min1.thm1
2017-02-06 12:45
1.4K
funct_7__3833_26.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3834_23.min1.thm1
2017-02-06 12:45
1.8K
funct_7__3848_22.min1.thm1
2017-02-06 12:45
648
funct_7__3855_17.min1.thm1
2017-02-06 12:45
665
funct_7__3856_22.min1.thm1
2017-02-06 12:45
775
funct_7__3857_21.min1.thm1
2017-02-06 12:45
1.7K
funct_7__3858_21.min1.thm1
2017-02-06 12:45
867
funct_7__3859_21.min1.thm1
2017-02-06 12:45
479
funct_7__3859_21.min1.thm1.tptp
2017-02-06 16:47
412
funct_7__3861_26.min1.thm1
2017-02-06 12:45
860
funct_7__3862_20.min1.thm1
2017-02-06 12:45
1.2K
funct_7__3866_13.min1.thm1
2017-02-06 12:45
199
funct_7__3871_17.min1.thm1
2017-02-06 12:45
293
funct_7__3874_30.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3875_21.min1.thm1
2017-02-06 12:45
719
funct_7__3877_25.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3882_29.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3889_23.min1.thm1
2017-02-06 12:45
1.1K
funct_7__3890_21.min1.thm1
2017-02-06 12:45
900
funct_7__3891_19.min1.thm1
2017-02-06 12:45
493
funct_7__3892_29.min1.thm1
2017-02-06 12:45
966
funct_7__3893_25.min1.thm1
2017-02-06 12:45
807
funct_7__3900_16.min1.thm1
2017-02-06 12:45
770
funct_7__3901_33.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3902_26.min1.thm1
2017-02-06 12:45
1.3K
funct_7__3917_30.min1.thm1
2017-02-06 12:45
453
funct_7__3917_30.min1.thm1.tptp
2017-02-06 16:47
386
funct_7__3918_26.min1.thm1
2017-02-06 12:45
1.0K
funct_7__3938_12.min1.thm1
2017-02-06 12:45
840
funct_7__3942_13.min1.thm1
2017-02-06 12:45
199
funct_7__3945_22.min1.thm1
2017-02-06 12:45
409
funct_7__3945_22.min1.thm1.tptp
2017-02-06 16:47
327
funct_7__3951_16.min1.thm1
2017-02-06 12:45
846
funct_7__3977_7.min1.thm1
2017-02-06 12:45
1.5K
funct_7__3978_11.min1.thm1
2017-02-06 12:45
745
funct_7__3989_16.min1.thm1
2017-02-06 12:45
831
funct_7__3990_11.min1.thm1
2017-02-06 12:45
219
funct_7__3993_19.min1.thm1
2017-02-06 12:45
1.5K
funct_7__3999_18.min1.thm1
2017-02-06 12:45
717
funct_7__4000_22.min1.thm1
2017-02-06 12:45
778
funct_7__4002_58.min1.thm1
2017-02-06 12:45
2.3K
funct_7__4004_15.min1.thm1
2017-02-06 12:45
352
funct_7__4004_15.min1.thm1.tptp
2017-02-06 16:47
274
funct_7__4005_26.min1.thm1
2017-02-06 12:45
2.2K
funct_7__4006_20.min1.thm1
2017-02-06 12:45
1.0K
funct_7__4007_13.min1.thm1
2017-02-06 12:45
469
funct_7__4010_17.min1.thm1
2017-02-06 12:45
926
funct_7__4011_19.min1.thm1
2017-02-06 12:45
2.1K
funct_7__4022_11.min1.thm1
2017-02-06 12:45
219
funct_7__4026_17.min1.thm1
2017-02-06 12:45
721
funct_7__4027_45.min1.thm1
2017-02-06 12:45
1.1K
funct_7__4028_30.min1.thm1
2017-02-06 12:45
1.4K
funct_7__4034_21.min1.thm1
2017-02-06 12:45
727
funct_7__4035_21.min1.thm1
2017-02-06 12:45
854
funct_7__4036_25.min1.thm1
2017-02-06 12:45
540
funct_7__4037_20.min1.thm1
2017-02-06 12:45
591
funct_7__4047_34.min1.thm1
2017-02-06 12:45
1.0K
funct_7__4048_8.min1.thm1
2017-02-06 12:45
799
funct_7__4049_19.min1.thm1
2017-02-06 12:45
654
funct_7__4052_30.min1.thm1
2017-02-06 12:45
1.2K
funct_7__4059_11.min1.thm1
2017-02-06 12:45
131
funct_7__4065_11.min1.thm1
2017-02-06 12:45
866
funct_7__4074_55.min1.thm1
2017-02-06 12:45
570
funct_7__4075_24.min1.thm1
2017-02-06 12:45
1.2K
funct_7__4076_13.min1.thm1
2017-02-06 12:45
795
funct_7__4085_42.min1.thm1
2017-02-06 12:45
855
funct_7__4093_25.min1.thm1
2017-02-06 12:45
793
funct_7__4094_17.min1.thm1
2017-02-06 12:45
1.7K
funct_7__4101_15.min1.thm1
2017-02-06 12:45
372
funct_7__4103_46.min1.thm1
2017-02-06 12:45
2.0K
funct_7__4104_11.min1.thm1
2017-02-06 12:45
566
funct_7__4113_11.min1.thm1
2017-02-06 12:45
131
funct_7__4119_11.min1.thm1
2017-02-06 12:45
1.3K
funct_7__4128_22.min1.thm1
2017-02-06 12:45
1.9K
funct_7__4129_13.min1.thm1
2017-02-06 12:45
1.0K
funct_7__4135_32.min1.thm1
2017-02-06 12:45
1.9K
funct_7__4137_31.min1.thm1
2017-02-06 12:45
1.5K
funct_7__4138_69.min1.thm1
2017-02-06 12:45
889
funct_7__4140_11.min1.thm1
2017-02-06 12:45
946
funct_7__4146_32.min1.thm1
2017-02-06 12:45
1.9K
funct_7__4148_31.min1.thm1
2017-02-06 12:45
1.5K
funct_7__4149_69.min1.thm1
2017-02-06 12:45
879
funct_7__4151_11.min1.thm1
2017-02-06 12:45
772
funct_7__4160_32.min1.thm1
2017-02-06 12:45
1.9K
funct_7__4162_35.min1.thm1
2017-02-06 12:45
2.3K
funct_7__4163_15.min1.thm1
2017-02-06 12:45
372
funct_7__4164_69.min1.thm1
2017-02-06 12:45
899
funct_7__4166_11.min1.thm1
2017-02-06 12:45
566
funct_7__4173_33.min1.thm1
2017-02-06 12:45
572
funct_7__4174_18.min1.thm1
2017-02-06 12:45
302
funct_7__4175_24.min1.thm1
2017-02-06 12:45
1.0K
funct_7__4178_31.min1.thm1
2017-02-06 12:45
629
funct_7__4179_14.min1.thm1
2017-02-06 12:45
397
funct_7__4179_14.min1.thm1.tptp
2017-02-06 16:47
322
funct_7__4182_20.min1.thm1
2017-02-06 12:45
462
funct_7__4183_31.min1.thm1
2017-02-06 12:45
732
funct_7__4184_15.min1.thm1
2017-02-06 12:45
1.2K
funct_7__4188_20.min1.thm1
2017-02-06 12:45
452
funct_7__4189_15.min1.thm1
2017-02-06 12:45
1.4K
funct_7__4193_20.min1.thm1
2017-02-06 12:45
583
funct_7__4194_31.min1.thm1
2017-02-06 12:45
1.9K
funct_7__4195_15.min1.thm1
2017-02-06 12:45
1.0K
funct_7__4205_55.min1.thm1
2017-02-06 12:45
1.1K
funct_7__4213_25.min1.thm1
2017-02-06 12:45
1.3K
funct_7__4214_47.min1.thm1
2017-02-06 12:45
1.4K
funct_7__4215_40.min1.thm1
2017-02-06 12:45
927
funct_7__4219_27.min1.thm1
2017-02-06 12:45
793
funct_7__4220_26.min1.thm1
2017-02-06 12:45
896
funct_7__4222_32.min1.thm1
2017-02-06 12:45
1.3K
funct_7__4223_28.min1.thm1
2017-02-06 12:45
1.1K
funct_7__4225_32.min1.thm1
2017-02-06 12:45
1.0K
funct_7__4226_30.min1.thm1
2017-02-06 12:45
1.7K
funct_7__4227_17.min1.thm1
2017-02-06 12:45
957
funct_7__4233_55.min1.thm1
2017-02-06 12:45
373
funct_7__4235_53.min1.thm1
2017-02-06 12:45
963
funct_7__4236_24.min1.thm1
2017-02-06 12:45
1.2K
funct_7__4237_13.min1.thm1
2017-02-06 12:45
795
funct_7__4238_32.min1.thm1
2017-02-06 12:45
1.0K
funct_7__4240_35.min1.thm1
2017-02-06 12:45
1.1K
funct_7__4241_32.min1.thm1
2017-02-06 12:45
309
funct_7__4243_35.min1.thm1
2017-02-06 12:45
1.1K
funct_7__4244_33.min1.thm1
2017-02-06 12:45
317
funct_7__4246_50.min1.thm1
2017-02-06 12:45
916
funct_7__4247_45.min1.thm1
2017-02-06 12:45
1.0K
funct_7__4249_32.min1.thm1
2017-02-06 12:45
320
funct_7__4251_35.min1.thm1
2017-02-06 12:45
1.1K
funct_7__4253_17.min1.thm1
2017-02-06 12:45
897
funct_7__4264_28.min1.thm1
2017-02-06 12:45
1.2K
funct_7__4265_13.min1.thm1
2017-02-06 12:45
195
funct_7__4268_25.min1.thm1
2017-02-06 12:45
1.0K
funct_7__4269_21.min1.thm1
2017-02-06 12:45
1.8K
funct_7__4273_22.min1.thm1
2017-02-06 12:45
526
funct_7__4274_31.min1.thm1
2017-02-06 12:45
1.2K
funct_7__4276_19.min1.thm1
2017-02-06 12:45
1.3K
funct_7__4277_18.min1.thm1
2017-02-06 12:45
760
funct_7__4278_23.min1.thm1
2017-02-06 12:45
1.1K
funct_7__4292_8.min1.thm1
2017-02-06 12:45
411
funct_7__4293_20.min1.thm1
2017-02-06 12:45
834
funct_7__4294_17.min1.thm1
2017-02-06 12:45
1.1K
funct_7__4305_8.min1.thm1
2017-02-06 12:45
411
funct_7__4307_17.min1.thm1
2017-02-06 12:45
834
funct_7__4308_16.min1.thm1
2017-02-06 12:45
749
funct_7__4309_18.min1.thm1
2017-02-06 12:45
768
funct_7__4310_22.min1.thm1
2017-02-06 12:45
1.5K
funct_7__4311_32.min1.thm1
2017-02-06 12:45
1.4K
funct_7__4321_22.min1.thm1
2017-02-06 12:45
1.4K
funct_7__4322_19.min1.thm1
2017-02-06 12:45
644
funct_7__4323_21.min1.thm1
2017-02-06 12:45
1.3K
funct_7__4326_24.min1.thm1
2017-02-06 12:45
1.4K
funct_7__4327_18.min1.thm1
2017-02-06 12:45
646
funct_7__4331_20.min1.thm1
2017-02-06 12:45
2.4K
funct_7__4338_12.min1.thm1
2017-02-06 12:45
557
funct_7__4339_17.min1.thm1
2017-02-06 12:45
863
funct_7__4346_21.min1.thm1
2017-02-06 12:45
817
funct_7__4347_19.min1.thm1
2017-02-06 12:45
817
funct_7__4348_26.min1.thm1
2017-02-06 12:45
812
funct_7__4349_26.min1.thm1
2017-02-06 12:45
812
funct_7__4357_29.min1.thm1
2017-02-06 12:45
619
funct_7__4359_29.min1.thm1
2017-02-06 12:45
902
funct_7__4360_29.min1.thm1
2017-02-06 12:45
619
funct_7__4361_16.min1.thm1
2017-02-06 12:45
1.2K
funct_7__4372_71.min1.thm1
2017-02-06 12:45
616
funct_7__4377_63.min1.thm1
2017-02-06 12:45
210
funct_7__4385_28.min1.thm1
2017-02-06 12:45
853
funct_7__4386_25.min1.thm1
2017-02-06 12:45
782
funct_7__4392_12.min1.thm1
2017-02-06 12:45
369
funct_7__4392_12.min1.thm1.tptp
2017-02-06 16:47
291
funct_7__4402_15.min1.thm1
2017-02-06 12:45
871
funct_7__4403_13.min1.thm1
2017-02-06 12:45
739
funct_7__4411_34.min1.thm1
2017-02-06 12:45
853
funct_7__4412_16.min1.thm1
2017-02-06 12:45
853
funct_7__4414_16.min1.thm1
2017-02-06 12:45
609
funct_7__4416_13.min1.thm1
2017-02-06 12:45
583
funct_7__4417_15.min1.thm1
2017-02-06 12:45
711
funct_7__4419_43.min1.thm1
2017-02-06 12:45
1.1K
funct_7__4420_47.min1.thm1
2017-02-06 12:45
1.3K
funct_7__4421_20.min1.thm1
2017-02-06 12:45
504
funct_7__4421_20.min1.thm1.tptp
2017-02-06 16:47
430
funct_7__4422_16.min1.thm1
2017-02-06 12:45
575
funct_7__4452_26.min1.thm1
2017-02-06 12:45
745
funct_7__4459_26.min1.thm1
2017-02-06 12:45
745
funct_7__4460_16.min1.thm1
2017-02-06 12:45
1.3K
funct_7__4468_37.min1.thm1
2017-02-06 12:45
1.5K
funct_7__4479_26.min1.thm1
2017-02-06 12:45
851
funct_7__4480_11.min1.thm1
2017-02-06 12:45
245
funct_7__4482_33.min1.thm1
2017-02-06 12:45
953
funct_7__4483_37.min1.thm1
2017-02-06 12:45
1.3K
funct_7__4484_24.min1.thm1
2017-02-06 12:45
906
funct_7__4487_24.min1.thm1
2017-02-06 12:45
712
funct_7__4498_16.min1.thm1
2017-02-06 12:45
495
funct_7__4498_16.min1.thm1.tptp
2017-02-06 16:47
429
funct_7__4500_15.min1.thm1
2017-02-06 12:45
534
funct_7__4501_27.min1.thm1
2017-02-06 12:45
752
funct_7__4503_27.min1.thm1
2017-02-06 12:45
590
funct_7__4504_70.min1.thm1
2017-02-06 12:45
762
funct_7__4505_42.min1.thm1
2017-02-06 12:45
1.2K
funct_7__4506_37.min1.thm1
2017-02-06 12:45
1.3K
funct_7__4507_32.min1.thm1
2017-02-06 12:45
1.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80