Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/finseq_1
Name
Last modified
Size
Description
Parent Directory
-
finseq_1__3704_21.min1.thm1
2017-02-06 12:46
916
finseq_1__3701_21.min1.thm1
2017-02-06 12:46
872
finseq_1__3700_19.min1.thm1.tptp
2017-02-06 16:47
374
finseq_1__3700_19.min1.thm1
2017-02-06 12:46
448
finseq_1__3699_21.min1.thm1
2017-02-06 12:46
650
finseq_1__3696_13.min1.thm1
2017-02-06 12:46
254
finseq_1__3683_14.min1.thm1
2017-02-06 12:46
498
finseq_1__3673_17.min1.thm1
2017-02-06 12:46
430
finseq_1__3672_20.min1.thm1
2017-02-06 12:46
949
finseq_1__3661_19.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3660_22.min1.thm1
2017-02-06 12:46
2.5K
finseq_1__3659_45.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__3642_26.min1.thm1
2017-02-06 12:46
2.6K
finseq_1__3641_27.min1.thm1
2017-02-06 12:46
784
finseq_1__3633_25.min1.thm1
2017-02-06 12:46
906
finseq_1__3632_16.min1.thm1
2017-02-06 12:46
555
finseq_1__3624_17.min1.thm1
2017-02-06 12:46
930
finseq_1__3622_22.min1.thm1
2017-02-06 12:46
891
finseq_1__3621_15.min1.thm1
2017-02-06 12:46
2.8K
finseq_1__3619_18.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__3613_22.min1.thm1
2017-02-06 12:46
891
finseq_1__3612_12.min1.thm1
2017-02-06 12:46
790
finseq_1__3608_23.min1.thm1
2017-02-06 12:46
736
finseq_1__3607_24.min1.thm1
2017-02-06 12:46
956
finseq_1__3596_57.min1.thm1
2017-02-06 12:46
866
finseq_1__3588_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__3587_27.min1.thm1
2017-02-06 12:46
944
finseq_1__3586_21.min1.thm1
2017-02-06 12:46
791
finseq_1__3585_34.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__3574_25.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__3564_19.min1.thm1
2017-02-06 12:46
886
finseq_1__3563_32.min1.thm1
2017-02-06 12:46
196
finseq_1__3554_16.min1.thm1
2017-02-06 12:46
447
finseq_1__3553_31.min1.thm1
2017-02-06 12:46
637
finseq_1__3552_20.min1.thm1
2017-02-06 12:46
583
finseq_1__3551_53.min1.thm1
2017-02-06 12:46
669
finseq_1__3550_37.min1.thm1
2017-02-06 12:46
494
finseq_1__3537_25.min1.thm1
2017-02-06 12:46
491
finseq_1__3527_18.min1.thm1
2017-02-06 12:46
907
finseq_1__3526_17.min1.thm1
2017-02-06 12:46
555
finseq_1__3525_19.min1.thm1
2017-02-06 12:46
624
finseq_1__3523_26.min1.thm1.tptp
2017-02-06 16:47
307
finseq_1__3523_26.min1.thm1
2017-02-06 12:46
376
finseq_1__3514_28.min1.thm1
2017-02-06 12:46
859
finseq_1__3504_17.min1.thm1
2017-02-06 12:46
590
finseq_1__3502_22.min1.thm1.tptp
2017-02-06 16:47
234
finseq_1__3502_22.min1.thm1
2017-02-06 12:46
319
finseq_1__3475_27.min1.thm1
2017-02-06 12:46
654
finseq_1__3469_26.min1.thm1
2017-02-06 12:46
947
finseq_1__3464_11.min1.thm1
2017-02-06 12:46
499
finseq_1__3455_22.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__3454_24.min1.thm1
2017-02-06 12:46
819
finseq_1__3452_39.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__3451_20.min1.thm1.tptp
2017-02-06 16:47
389
finseq_1__3451_20.min1.thm1
2017-02-06 12:46
455
finseq_1__3440_17.min1.thm1
2017-02-06 12:46
954
finseq_1__3439_11.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__3438_14.min1.thm1
2017-02-06 12:46
2.6K
finseq_1__3436_9.min1.thm1
2017-02-06 12:46
960
finseq_1__3435_14.min1.thm1.tptp
2017-02-06 16:47
267
finseq_1__3435_14.min1.thm1
2017-02-06 12:46
335
finseq_1__3434_15.min1.thm1
2017-02-06 12:46
707
finseq_1__3431_19.min1.thm1
2017-02-06 12:46
538
finseq_1__3430_12.min1.thm1
2017-02-06 12:46
738
finseq_1__3424_19.min1.thm1
2017-02-06 12:46
645
finseq_1__3423_19.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__3422_15.min1.thm1
2017-02-06 12:46
828
finseq_1__3420_14.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__3419_10.min1.thm1
2017-02-06 12:46
810
finseq_1__3400_24.min1.thm1
2017-02-06 12:46
555
finseq_1__3390_11.min1.thm1
2017-02-06 12:46
666
finseq_1__3382_17.min1.thm1
2017-02-06 12:46
529
finseq_1__3381_12.min1.thm1
2017-02-06 12:46
461
finseq_1__3369_18.min1.thm1
2017-02-06 12:46
957
finseq_1__3346_26.min1.thm1.tptp
2017-02-06 16:47
626
finseq_1__3346_26.min1.thm1
2017-02-06 12:46
709
finseq_1__3344_28.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__3343_24.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__3340_17.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__3338_15.min1.thm1
2017-02-06 12:46
2.3K
finseq_1__3328_28.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__3327_27.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__3326_26.min1.thm1
2017-02-06 12:46
795
finseq_1__3325_23.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__3321_15.min1.thm1
2017-02-06 12:46
384
finseq_1__3311_24.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__3301_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__3300_32.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__3299_42.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__3298_29.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__3287_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__3285_30.min1.thm1
2017-02-06 12:46
506
finseq_1__3275_11.min1.thm1
2017-02-06 12:46
832
finseq_1__3274_25.min1.thm1
2017-02-06 12:46
668
finseq_1__3273_11.min1.thm1
2017-02-06 12:46
832
finseq_1__3272_25.min1.thm1
2017-02-06 12:46
668
finseq_1__3271_11.min1.thm1
2017-02-06 12:46
832
finseq_1__3270_25.min1.thm1
2017-02-06 12:46
668
finseq_1__3262_11.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__3261_23.min1.thm1
2017-02-06 12:46
961
finseq_1__3260_11.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__3259_23.min1.thm1
2017-02-06 12:46
961
finseq_1__3251_11.min1.thm1
2017-02-06 12:46
867
finseq_1__3250_21.min1.thm1
2017-02-06 12:46
773
finseq_1__3239_77.min1.thm1.tptp
2017-02-06 16:47
403
finseq_1__3239_77.min1.thm1
2017-02-06 12:46
447
finseq_1__3236_29.min1.thm1
2017-02-06 12:46
336
finseq_1__3232_55.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__3229_46.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__3222_31.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__3218_8.min1.thm1
2017-02-06 12:46
800
finseq_1__3217_15.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__3197_31.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__3193_8.min1.thm1
2017-02-06 12:46
800
finseq_1__3192_15.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__3172_31.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__3168_8.min1.thm1
2017-02-06 12:46
800
finseq_1__3167_15.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3148_31.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__3144_8.min1.thm1
2017-02-06 12:46
800
finseq_1__3143_15.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__3124_31.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__3121_8.min1.thm1
2017-02-06 12:46
800
finseq_1__3120_15.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__3103_31.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3100_8.min1.thm1
2017-02-06 12:46
800
finseq_1__3099_15.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__3097_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__3096_30.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__3095_18.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__3093_24.min1.thm1
2017-02-06 12:46
710
finseq_1__3082_29.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__3080_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3078_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3076_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3074_16.min1.thm1
2017-02-06 12:46
945
finseq_1__3072_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3070_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3068_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3066_29.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__3064_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3062_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3060_16.min1.thm1
2017-02-06 12:46
944
finseq_1__3058_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3056_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3054_28.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__3052_28.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3050_15.min1.thm1
2017-02-06 12:46
944
finseq_1__3048_28.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3043_14.min1.thm1
2017-02-06 12:46
832
finseq_1__3041_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__3039_30.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__3038_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__3036_27.min1.thm1
2017-02-06 12:46
2.4K
finseq_1__3034_19.min1.thm1.tptp
2017-02-06 16:47
558
finseq_1__3034_19.min1.thm1
2017-02-06 12:46
621
finseq_1__3003_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__3001_33.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2991_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2990_26.min1.thm1
2017-02-06 12:46
863
finseq_1__2979_18.min1.thm1
2017-02-06 12:46
748
finseq_1__2968_17.min1.thm1.tptp
2017-02-06 16:47
307
finseq_1__2968_17.min1.thm1
2017-02-06 12:46
376
finseq_1__2967_32.min1.thm1
2017-02-06 12:46
936
finseq_1__2966_21.min1.thm1
2017-02-06 12:46
458
finseq_1__2965_16.min1.thm1
2017-02-06 12:46
627
finseq_1__2964_47.min1.thm1.tptp
2017-02-06 16:47
307
finseq_1__2964_47.min1.thm1
2017-02-06 12:46
376
finseq_1__2950_34.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2942_36.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2908_17.min1.thm1
2017-02-06 12:46
859
finseq_1__2907_18.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2906_13.min1.thm1
2017-02-06 12:46
447
finseq_1__2905_21.min1.thm1
2017-02-06 12:46
623
finseq_1__2904_16.min1.thm1
2017-02-06 12:46
756
finseq_1__2903_17.min1.thm1
2017-02-06 12:46
848
finseq_1__2902_13.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__2900_9.min1.thm1
2017-02-06 12:46
959
finseq_1__2891_17.min1.thm1
2017-02-06 12:46
948
finseq_1__2890_15.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2889_15.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__2887_13.min1.thm1
2017-02-06 12:46
447
finseq_1__2886_13.min1.thm1
2017-02-06 12:46
553
finseq_1__2885_13.min1.thm1
2017-02-06 12:46
542
finseq_1__2873_37.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2872_24.min1.thm1
2017-02-06 12:46
907
finseq_1__2871_29.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2864_17.min1.thm1
2017-02-06 12:46
901
finseq_1__2863_24.min1.thm1
2017-02-06 12:46
907
finseq_1__2862_28.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2855_11.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__2843_14.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2829_16.min1.thm1
2017-02-06 12:46
971
finseq_1__2827_41.min1.thm1
2017-02-06 12:46
726
finseq_1__2826_32.min1.thm1
2017-02-06 12:46
615
finseq_1__2820_18.min1.thm1
2017-02-06 12:46
666
finseq_1__2818_13.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2816_41.min1.thm1
2017-02-06 12:46
739
finseq_1__2797_11.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2791_14.min1.thm1
2017-02-06 12:46
817
finseq_1__2789_14.min1.thm1
2017-02-06 12:46
817
finseq_1__2770_11.min1.thm1
2017-02-06 12:46
498
finseq_1__2761_17.min1.thm1
2017-02-06 12:46
782
finseq_1__2760_27.min1.thm1.tptp
2017-02-06 16:47
257
finseq_1__2760_27.min1.thm1
2017-02-06 12:46
338
finseq_1__2753_17.min1.thm1
2017-02-06 12:46
560
finseq_1__2752_27.min1.thm1
2017-02-06 12:46
429
finseq_1__2750_25.min1.thm1.tptp
2017-02-06 16:47
278
finseq_1__2750_25.min1.thm1
2017-02-06 12:46
347
finseq_1__2743_24.min1.thm1
2017-02-06 12:46
282
finseq_1__2740_27.min1.thm1
2017-02-06 12:46
264
finseq_1__2735_29.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2727_30.min1.thm1
2017-02-06 12:46
678
finseq_1__2726_30.min1.thm1
2017-02-06 12:46
678
finseq_1__2725_33.min1.thm1
2017-02-06 12:46
582
finseq_1__2724_33.min1.thm1
2017-02-06 12:46
582
finseq_1__2721_36.min1.thm1
2017-02-06 12:46
900
finseq_1__2714_36.min1.thm1
2017-02-06 12:46
900
finseq_1__2709_23.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__2708_23.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__2707_22.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__2706_22.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__2705_18.min1.thm1
2017-02-06 12:46
409
finseq_1__2704_18.min1.thm1
2017-02-06 12:46
409
finseq_1__2703_39.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2702_16.min1.thm1
2017-02-06 12:46
435
finseq_1__2698_25.min1.thm1
2017-02-06 12:46
556
finseq_1__2697_19.min1.thm1
2017-02-06 12:46
750
finseq_1__2694_15.min1.thm1
2017-02-06 12:46
435
finseq_1__2690_25.min1.thm1
2017-02-06 12:46
754
finseq_1__2689_19.min1.thm1
2017-02-06 12:46
750
finseq_1__2686_52.min1.thm1.tptp
2017-02-06 16:47
483
finseq_1__2686_52.min1.thm1
2017-02-06 12:46
539
finseq_1__2684_13.min1.thm1
2017-02-06 12:46
368
finseq_1__2678_26.min1.thm1
2017-02-06 12:46
498
finseq_1__2667_17.min1.thm1
2017-02-06 12:46
549
finseq_1__2666_21.min1.thm1
2017-02-06 12:46
894
finseq_1__2665_23.min1.thm1
2017-02-06 12:46
963
finseq_1__2662_37.min1.thm1
2017-02-06 12:46
617
finseq_1__2661_14.min1.thm1
2017-02-06 12:46
678
finseq_1__2658_13.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2657_37.min1.thm1
2017-02-06 12:46
929
finseq_1__2656_15.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__2654_13.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2653_39.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2647_33.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__2646_51.min1.thm1
2017-02-06 12:46
816
finseq_1__2645_16.min1.thm1
2017-02-06 12:46
650
finseq_1__2642_16.min1.thm1
2017-02-06 12:46
606
finseq_1__2628_15.min1.thm1.tptp
2017-02-06 16:47
293
finseq_1__2628_15.min1.thm1
2017-02-06 12:46
368
finseq_1__2626_32.min1.thm1
2017-02-06 12:46
900
finseq_1__2625_54.min1.thm1
2017-02-06 12:46
640
finseq_1__2619_21.min1.thm1
2017-02-06 12:46
579
finseq_1__2614_18.min1.thm1
2017-02-06 12:46
900
finseq_1__2612_45.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__2611_28.min1.thm1
2017-02-06 12:46
939
finseq_1__2608_48.min1.thm1.tptp
2017-02-06 16:47
506
finseq_1__2608_48.min1.thm1
2017-02-06 12:46
565
finseq_1__2607_18.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__2604_14.min1.thm1
2017-02-06 12:46
808
finseq_1__2597_32.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2596_21.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__2595_18.min1.thm1
2017-02-06 12:46
707
finseq_1__2592_18.min1.thm1
2017-02-06 12:46
626
finseq_1__2578_18.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__2577_36.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__2576_15.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2575_41.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2568_45.min1.thm1
2017-02-06 12:46
880
finseq_1__2555_14.min1.thm1
2017-02-06 12:46
774
finseq_1__2554_24.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__2551_11.min1.thm1
2017-02-06 12:46
371
finseq_1__2550_23.min1.thm1
2017-02-06 12:46
905
finseq_1__2536_29.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__2535_48.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2534_30.min1.thm1.tptp
2017-02-06 16:47
414
finseq_1__2534_30.min1.thm1
2017-02-06 12:46
487
finseq_1__2526_11.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__2519_17.min1.thm1
2017-02-06 12:46
827
finseq_1__2518_28.min1.thm1.tptp
2017-02-06 16:47
427
finseq_1__2518_28.min1.thm1
2017-02-06 12:46
486
finseq_1__2503_19.min1.thm1
2017-02-06 12:46
817
finseq_1__2502_19.min1.thm1
2017-02-06 12:46
817
finseq_1__2501_22.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2500_22.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2499_21.min1.thm1
2017-02-06 12:46
904
finseq_1__2497_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__2496_21.min1.thm1
2017-02-06 12:46
707
finseq_1__2494_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2493_21.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__2481_23.min1.thm1
2017-02-06 12:46
761
finseq_1__2480_45.min1.thm1
2017-02-06 12:46
872
finseq_1__2475_30.min1.thm1
2017-02-06 12:46
645
finseq_1__2467_26.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2466_31.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__2463_28.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__2462_18.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__2460_17.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__2459_29.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2458_40.min1.thm1
2017-02-06 12:46
938
finseq_1__2457_21.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__2456_41.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__2455_25.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2454_16.min1.thm1
2017-02-06 12:46
912
finseq_1__2447_32.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__2444_34.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2443_38.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2442_30.min1.thm1
2017-02-06 12:46
2.2K
finseq_1__2441_29.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__2440_27.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__2438_26.min1.thm1
2017-02-06 12:46
941
finseq_1__2437_30.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__2436_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__2435_27.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__2433_26.min1.thm1
2017-02-06 12:46
939
finseq_1__2432_30.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__2431_21.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__2419_23.min1.thm1
2017-02-06 12:46
756
finseq_1__2418_45.min1.thm1
2017-02-06 12:46
867
finseq_1__2414_25.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__2413_30.min1.thm1
2017-02-06 12:46
641
finseq_1__2405_26.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2404_31.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2401_37.min1.thm1
2017-02-06 12:46
956
finseq_1__2399_24.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__2398_17.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__2397_29.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__2396_40.min1.thm1
2017-02-06 12:46
937
finseq_1__2395_21.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__2394_41.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2393_25.min1.thm1
2017-02-06 12:46
939
finseq_1__2392_16.min1.thm1
2017-02-06 12:46
824
finseq_1__2386_31.min1.thm1
2017-02-06 12:46
720
finseq_1__2382_23.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2379_18.min1.thm1
2017-02-06 12:46
892
finseq_1__2378_39.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2377_25.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2376_27.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2374_33.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__2373_23.min1.thm1
2017-02-06 12:46
2.5K
finseq_1__2372_22.min1.thm1
2017-02-06 12:46
2.6K
finseq_1__2370_23.min1.thm1
2017-02-06 12:46
2.3K
finseq_1__2369_19.min1.thm1
2017-02-06 12:46
2.3K
finseq_1__2368_43.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__2367_27.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2366_18.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__2362_41.min1.thm1
2017-02-06 12:46
785
finseq_1__2361_32.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2360_21.min1.thm1
2017-02-06 12:46
292
finseq_1__2359_45.min1.thm1
2017-02-06 12:46
505
finseq_1__2356_25.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__2351_14.min1.thm1.tptp
2017-02-06 16:47
282
finseq_1__2351_14.min1.thm1
2017-02-06 12:46
347
finseq_1__2349_19.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2343_38.min1.thm1
2017-02-06 12:46
2.8K
finseq_1__2342_26.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2341_51.min1.thm1
2017-02-06 12:46
667
finseq_1__2340_27.min1.thm1.tptp
2017-02-06 16:47
351
finseq_1__2340_27.min1.thm1
2017-02-06 12:46
415
finseq_1__2338_25.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__2337_26.min1.thm1
2017-02-06 12:46
914
finseq_1__2336_23.min1.thm1
2017-02-06 12:46
638
finseq_1__2335_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__2333_26.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2332_30.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__2331_19.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__2330_17.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__2329_21.min1.thm1
2017-02-06 12:46
831
finseq_1__2328_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__2327_41.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2326_26.min1.thm1
2017-02-06 12:46
939
finseq_1__2325_17.min1.thm1
2017-02-06 12:46
828
finseq_1__2319_43.min1.thm1
2017-02-06 12:46
592
finseq_1__2313_20.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__2309_25.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__2308_54.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__2308_30.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2307_28.min1.thm1
2017-02-06 12:46
2.3K
finseq_1__2303_34.min1.thm1
2017-02-06 12:46
371
finseq_1__2299_42.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2298_47.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__2297_36.min1.thm1
2017-02-06 12:46
965
finseq_1__2296_29.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2294_39.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2293_26.min1.thm1
2017-02-06 12:46
2.8K
finseq_1__2289_21.min1.thm1
2017-02-06 12:46
794
finseq_1__2284_27.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2282_40.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2281_31.min1.thm1
2017-02-06 12:46
2.4K
finseq_1__2279_35.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__2269_16.min1.thm1
2017-02-06 12:46
267
finseq_1__2267_48.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2266_26.min1.thm1
2017-02-06 12:46
971
finseq_1__2265_32.min1.thm1
2017-02-06 12:46
922
finseq_1__2264_38.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2261_23.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2259_16.min1.thm1
2017-02-06 12:46
908
finseq_1__2240_10.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__2217_25.min1.thm1.tptp
2017-02-06 16:47
478
finseq_1__2217_25.min1.thm1
2017-02-06 12:46
559
finseq_1__2211_30.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2210_34.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__2205_39.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__2201_27.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__2195_27.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__2190_19.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__2189_23.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__2187_32.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__2172_17.min1.thm1
2017-02-06 12:46
544
finseq_1__2171_26.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__2168_21.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__2164_41.min1.thm1
2017-02-06 12:46
948
finseq_1__2157_25.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__2156_19.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__2155_19.min1.thm1
2017-02-06 12:46
2.5K
finseq_1__2154_21.min1.thm1
2017-02-06 12:46
2.4K
finseq_1__2153_45.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__2152_19.min1.thm1.tptp
2017-02-06 16:47
357
finseq_1__2152_19.min1.thm1
2017-02-06 12:46
425
finseq_1__2151_26.min1.thm1
2017-02-06 12:46
940
finseq_1__2150_27.min1.thm1
2017-02-06 12:46
617
finseq_1__2149_16.min1.thm1
2017-02-06 12:46
779
finseq_1__2139_19.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__2138_19.min1.thm1
2017-02-06 12:46
2.5K
finseq_1__2137_21.min1.thm1
2017-02-06 12:46
2.4K
finseq_1__2132_45.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__2131_24.min1.thm1
2017-02-06 12:46
932
finseq_1__2130_25.min1.thm1.tptp
2017-02-06 16:47
376
finseq_1__2130_25.min1.thm1
2017-02-06 12:46
442
finseq_1__2115_17.min1.thm1
2017-02-06 12:46
2.2K
finseq_1__2114_30.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__2089_24.min1.thm1
2017-02-06 12:46
608
finseq_1__2088_29.min1.thm1.tptp
2017-02-06 16:47
451
finseq_1__2088_29.min1.thm1
2017-02-06 12:46
510
finseq_1__2080_17.min1.thm1
2017-02-06 12:46
907
finseq_1__2079_30.min1.thm1
2017-02-06 12:46
575
finseq_1__2078_24.min1.thm1.tptp
2017-02-06 16:47
409
finseq_1__2078_24.min1.thm1
2017-02-06 12:46
483
finseq_1__2077_21.min1.thm1.tptp
2017-02-06 16:47
431
finseq_1__2077_21.min1.thm1
2017-02-06 12:46
490
finseq_1__2071_17.min1.thm1
2017-02-06 12:46
907
finseq_1__2070_29.min1.thm1
2017-02-06 12:46
575
finseq_1__2069_23.min1.thm1.tptp
2017-02-06 16:47
388
finseq_1__2069_23.min1.thm1
2017-02-06 12:46
466
finseq_1__2068_21.min1.thm1.tptp
2017-02-06 16:47
431
finseq_1__2068_21.min1.thm1
2017-02-06 12:46
490
finseq_1__2060_22.min1.thm1
2017-02-06 12:46
812
finseq_1__2059_35.min1.thm1.tptp
2017-02-06 16:47
316
finseq_1__2059_35.min1.thm1
2017-02-06 12:46
404
finseq_1__2045_15.min1.thm1
2017-02-06 12:46
590
finseq_1__2026_14.min1.thm1
2017-02-06 12:46
504
finseq_1__2024_19.min1.thm1.tptp
2017-02-06 16:47
736
finseq_1__2024_19.min1.thm1
2017-02-06 12:46
776
finseq_1__2022_42.min1.thm1
2017-02-06 12:46
479
finseq_1__2021_44.min1.thm1.tptp
2017-02-06 16:47
529
finseq_1__2021_44.min1.thm1
2017-02-06 12:46
588
finseq_1__2007_17.min1.thm1
2017-02-06 12:46
421
finseq_1__2006_11.min1.thm1
2017-02-06 12:46
227
finseq_1__2000_14.min1.thm1
2017-02-06 12:46
809
finseq_1__1994_21.min1.thm1
2017-02-06 12:46
912
finseq_1__1993_44.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1990_31.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1988_43.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__1984_39.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1983_41.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1982_40.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1977_37.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__1974_21.min1.thm1.tptp
2017-02-06 16:47
274
finseq_1__1974_21.min1.thm1
2017-02-06 12:46
339
finseq_1__1973_19.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1967_39.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__1966_39.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__1953_26.min1.thm1
2017-02-06 12:46
965
finseq_1__1952_26.min1.thm1
2017-02-06 12:46
965
finseq_1__1951_31.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__1950_31.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__1949_26.min1.thm1
2017-02-06 12:46
2.2K
finseq_1__1948_26.min1.thm1
2017-02-06 12:46
2.2K
finseq_1__1947_18.min1.thm1
2017-02-06 12:46
848
finseq_1__1946_18.min1.thm1
2017-02-06 12:46
848
finseq_1__1945_22.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__1944_22.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__1943_18.min1.thm1
2017-02-06 12:46
836
finseq_1__1942_18.min1.thm1
2017-02-06 12:46
836
finseq_1__1941_36.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1940_36.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1937_45.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1927_39.min1.thm1
2017-02-06 12:46
2.3K
finseq_1__1926_17.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__1924_16.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1923_18.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1921_22.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1920_25.min1.thm1
2017-02-06 12:46
965
finseq_1__1918_35.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__1917_30.min1.thm1
2017-02-06 12:46
2.2K
finseq_1__1916_17.min1.thm1
2017-02-06 12:46
848
finseq_1__1915_21.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__1913_17.min1.thm1
2017-02-06 12:46
835
finseq_1__1912_27.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__1910_46.min1.thm1
2017-02-06 12:46
2.7K
finseq_1__1908_41.min1.thm1
2017-02-06 12:46
945
finseq_1__1899_39.min1.thm1
2017-02-06 12:46
2.3K
finseq_1__1898_17.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__1896_16.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1895_18.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1893_22.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1892_25.min1.thm1
2017-02-06 12:46
965
finseq_1__1890_35.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__1889_30.min1.thm1
2017-02-06 12:46
2.2K
finseq_1__1888_17.min1.thm1
2017-02-06 12:46
848
finseq_1__1887_21.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__1885_17.min1.thm1
2017-02-06 12:46
835
finseq_1__1884_27.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__1882_46.min1.thm1
2017-02-06 12:46
2.7K
finseq_1__1880_41.min1.thm1
2017-02-06 12:46
945
finseq_1__1871_59.min1.thm1
2017-02-06 12:46
2.3K
finseq_1__1867_25.min1.thm1
2017-02-06 12:46
599
finseq_1__1858_21.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1857_43.min1.thm1
2017-02-06 12:46
822
finseq_1__1856_33.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1855_21.min1.thm1
2017-02-06 12:46
867
finseq_1__1854_27.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1848_23.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__1847_28.min1.thm1.tptp
2017-02-06 16:47
303
finseq_1__1847_28.min1.thm1
2017-02-06 12:46
371
finseq_1__1845_40.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__1844_33.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__1843_47.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1842_40.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1841_38.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__1838_26.min1.thm1
2017-02-06 12:46
2.3K
finseq_1__1837_18.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__1836_27.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__1835_22.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__1833_40.min1.thm1
2017-02-06 12:46
835
finseq_1__1832_42.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1831_27.min1.thm1
2017-02-06 12:46
907
finseq_1__1830_19.min1.thm1
2017-02-06 12:46
792
finseq_1__1827_36.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1819_35.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1817_21.min1.thm1
2017-02-06 12:46
874
finseq_1__1816_35.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__1814_28.min1.thm1
2017-02-06 12:46
860
finseq_1__1813_25.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1812_23.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1810_27.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1809_18.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__1808_18.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__1803_28.min1.thm1
2017-02-06 12:46
963
finseq_1__1802_24.min1.thm1
2017-02-06 12:46
968
finseq_1__1801_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1799_22.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__1798_25.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__1797_17.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__1796_41.min1.thm1
2017-02-06 12:46
945
finseq_1__1795_21.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__1790_16.min1.thm1
2017-02-06 12:46
724
finseq_1__1788_21.min1.thm1
2017-02-06 12:46
563
finseq_1__1787_40.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1786_25.min1.thm1
2017-02-06 12:46
899
finseq_1__1785_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1778_23.min1.thm1
2017-02-06 12:46
953
finseq_1__1776_25.min1.thm1
2017-02-06 12:46
684
finseq_1__1775_30.min1.thm1.tptp
2017-02-06 16:47
307
finseq_1__1775_30.min1.thm1
2017-02-06 12:46
375
finseq_1__1774_24.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__1772_20.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__1771_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1769_28.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1767_38.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__1766_33.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__1765_20.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__1764_24.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__1763_31.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1762_44.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1761_22.min1.thm1
2017-02-06 12:46
803
finseq_1__1755_25.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1754_30.min1.thm1.tptp
2017-02-06 16:47
307
finseq_1__1754_30.min1.thm1
2017-02-06 12:46
375
finseq_1__1753_24.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__1752_33.min1.thm1
2017-02-06 12:46
933
finseq_1__1751_38.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1750_32.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1749_18.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1748_20.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__1747_44.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1746_30.min1.thm1
2017-02-06 12:46
921
finseq_1__1745_25.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1741_45.min1.thm1
2017-02-06 12:46
799
finseq_1__1736_32.min1.thm1
2017-02-06 12:46
880
finseq_1__1728_47.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1725_26.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1724_64.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1723_18.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1721_18.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__1719_13.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__1715_49.min1.thm1
2017-02-06 12:46
274
finseq_1__1713_49.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1712_39.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1711_21.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__1709_18.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__1708_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1706_14.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__1705_37.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1704_22.min1.thm1
2017-02-06 12:46
892
finseq_1__1703_14.min1.thm1
2017-02-06 12:46
776
finseq_1__1700_22.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1699_15.min1.thm1
2017-02-06 12:46
276
finseq_1__1698_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1697_45.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1685_12.min1.thm1
2017-02-06 12:46
626
finseq_1__1676_16.min1.thm1.tptp
2017-02-06 16:47
279
finseq_1__1676_16.min1.thm1
2017-02-06 12:46
359
finseq_1__1675_14.min1.thm1.tptp
2017-02-06 16:47
322
finseq_1__1675_14.min1.thm1
2017-02-06 12:46
388
finseq_1__1665_19.min1.thm1.tptp
2017-02-06 16:47
394
finseq_1__1665_19.min1.thm1
2017-02-06 12:46
446
finseq_1__1663_22.min1.thm1.tptp
2017-02-06 16:47
304
finseq_1__1663_22.min1.thm1
2017-02-06 12:46
385
finseq_1__1662_35.min1.thm1.tptp
2017-02-06 16:47
304
finseq_1__1662_35.min1.thm1
2017-02-06 12:46
385
finseq_1__1659_23.min1.thm1.tptp
2017-02-06 16:47
308
finseq_1__1659_23.min1.thm1
2017-02-06 12:46
389
finseq_1__1658_37.min1.thm1.tptp
2017-02-06 16:47
308
finseq_1__1658_37.min1.thm1
2017-02-06 12:46
389
finseq_1__1646_19.min1.thm1
2017-02-06 12:46
850
finseq_1__1645_18.min1.thm1
2017-02-06 12:46
536
finseq_1__1644_45.min1.thm1
2017-02-06 12:46
262
finseq_1__1642_48.min1.thm1
2017-02-06 12:46
412
finseq_1__1626_20.min1.thm1
2017-02-06 12:46
559
finseq_1__1616_19.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1614_18.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1613_30.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1610_24.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1609_27.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1607_35.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1606_27.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1604_40.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1600_18.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1598_17.min1.thm1.tptp
2017-02-06 16:47
409
finseq_1__1598_17.min1.thm1
2017-02-06 12:46
476
finseq_1__1596_26.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__1595_36.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__1589_26.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__1588_33.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1574_14.min1.thm1
2017-02-06 12:46
2.4K
finseq_1__1573_20.min1.thm1.tptp
2017-02-06 16:47
407
finseq_1__1573_20.min1.thm1
2017-02-06 12:46
474
finseq_1__1557_17.min1.thm1
2017-02-06 12:46
805
finseq_1__1556_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1553_30.min1.thm1
2017-02-06 12:46
380
finseq_1__1550_23.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1548_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1546_25.min1.thm1
2017-02-06 12:46
943
finseq_1__1545_36.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1544_20.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1542_20.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__1534_11.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1532_36.min1.thm1
2017-02-06 12:46
495
finseq_1__1514_16.min1.thm1
2017-02-06 12:46
492
finseq_1__1513_17.min1.thm1.tptp
2017-02-06 16:47
286
finseq_1__1513_17.min1.thm1
2017-02-06 12:46
351
finseq_1__1512_20.min1.thm1
2017-02-06 12:46
956
finseq_1__1499_19.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__1497_16.min1.thm1.tptp
2017-02-06 16:47
372
finseq_1__1497_16.min1.thm1
2017-02-06 12:46
437
finseq_1__1496_20.min1.thm1
2017-02-06 12:46
2.4K
finseq_1__1495_28.min1.thm1
2017-02-06 12:46
2.2K
finseq_1__1494_42.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1493_58.min1.thm1
2017-02-06 12:46
950
finseq_1__1492_31.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1490_16.min1.thm1
2017-02-06 12:46
906
finseq_1__1485_32.min1.thm1
2017-02-06 12:46
2.6K
finseq_1__1484_22.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1480_26.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__1478_20.min1.thm1
2017-02-06 12:46
2.4K
finseq_1__1477_43.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1471_15.min1.thm1
2017-02-06 12:46
786
finseq_1__1469_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1468_40.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1464_28.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1463_14.min1.thm1
2017-02-06 12:46
958
finseq_1__1462_28.min1.thm1
2017-02-06 12:46
892
finseq_1__1461_29.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1458_40.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1457_35.min1.thm1
2017-02-06 12:46
921
finseq_1__1456_20.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1446_18.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__1445_45.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1444_13.min1.thm1.tptp
2017-02-06 16:47
258
finseq_1__1444_13.min1.thm1
2017-02-06 12:46
323
finseq_1__1442_20.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1436_19.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1435_32.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1434_33.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1431_22.min1.thm1
2017-02-06 12:46
942
finseq_1__1426_40.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1425_32.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1424_23.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__1417_13.min1.thm1
2017-02-06 12:46
772
finseq_1__1416_19.min1.thm1
2017-02-06 12:46
2.5K
finseq_1__1415_46.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1414_39.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__1413_21.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1412_12.min1.thm1
2017-02-06 12:46
959
finseq_1__1410_28.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1409_35.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__1408_12.min1.thm1
2017-02-06 12:46
772
finseq_1__1407_18.min1.thm1
2017-02-06 12:46
2.4K
finseq_1__1406_35.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1405_21.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1403_15.min1.thm1
2017-02-06 12:46
252
finseq_1__1402_9.min1.thm1
2017-02-06 12:46
801
finseq_1__1401_14.min1.thm1
2017-02-06 12:46
867
finseq_1__1400_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1399_43.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__1387_19.min1.thm1
2017-02-06 12:46
754
finseq_1__1386_18.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1385_18.min1.thm1.tptp
2017-02-06 16:47
348
finseq_1__1385_18.min1.thm1
2017-02-06 12:46
413
finseq_1__1384_41.min1.thm1
2017-02-06 12:46
947
finseq_1__1383_15.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1376_19.min1.thm1
2017-02-06 12:46
954
finseq_1__1375_15.min1.thm1.tptp
2017-02-06 16:47
258
finseq_1__1375_15.min1.thm1
2017-02-06 12:46
323
finseq_1__1374_20.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1369_36.min1.thm1
2017-02-06 12:46
963
finseq_1__1368_28.min1.thm1
2017-02-06 12:46
891
finseq_1__1367_23.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__1361_13.min1.thm1
2017-02-06 12:46
772
finseq_1__1360_19.min1.thm1
2017-02-06 12:46
2.2K
finseq_1__1359_41.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1358_37.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1357_21.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1356_13.min1.thm1
2017-02-06 12:46
772
finseq_1__1354_26.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1353_15.min1.thm1
2017-02-06 12:46
252
finseq_1__1352_9.min1.thm1
2017-02-06 12:46
644
finseq_1__1351_17.min1.thm1
2017-02-06 12:46
867
finseq_1__1350_25.min1.thm1
2017-02-06 12:46
939
finseq_1__1349_42.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1335_10.min1.thm1
2017-02-06 12:46
770
finseq_1__1333_21.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1332_22.min1.thm1
2017-02-06 12:46
964
finseq_1__1326_17.min1.thm1
2017-02-06 12:46
953
finseq_1__1324_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1323_12.min1.thm1
2017-02-06 12:46
902
finseq_1__1317_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__1316_32.min1.thm1
2017-02-06 12:46
957
finseq_1__1310_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1309_32.min1.thm1
2017-02-06 12:46
957
finseq_1__1303_17.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1302_17.min1.thm1.tptp
2017-02-06 16:47
306
finseq_1__1302_17.min1.thm1
2017-02-06 12:46
371
finseq_1__1301_20.min1.thm1
2017-02-06 12:46
807
finseq_1__1300_15.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1295_19.min1.thm1
2017-02-06 12:46
954
finseq_1__1294_25.min1.thm1
2017-02-06 12:46
693
finseq_1__1293_18.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1292_26.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1283_19.min1.thm1.tptp
2017-02-06 16:47
262
finseq_1__1283_19.min1.thm1
2017-02-06 12:46
335
finseq_1__1279_11.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1276_11.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1267_11.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1261_13.min1.thm1
2017-02-06 12:46
131
finseq_1__1257_13.min1.thm1
2017-02-06 12:46
131
finseq_1__1250_17.min1.thm1
2017-02-06 12:46
627
finseq_1__1249_20.min1.thm1
2017-02-06 12:46
656
finseq_1__1248_28.min1.thm1.tptp
2017-02-06 16:47
330
finseq_1__1248_28.min1.thm1
2017-02-06 12:46
404
finseq_1__1247_32.min1.thm1
2017-02-06 12:46
627
finseq_1__1246_20.min1.thm1
2017-02-06 12:46
563
finseq_1__1245_28.min1.thm1
2017-02-06 12:46
311
finseq_1__1244_26.min1.thm1
2017-02-06 12:46
820
finseq_1__1242_23.min1.thm1
2017-02-06 12:46
676
finseq_1__1234_18.min1.thm1
2017-02-06 12:46
770
finseq_1__1225_11.min1.thm1
2017-02-06 12:46
565
finseq_1__1216_21.min1.thm1
2017-02-06 12:46
972
finseq_1__1215_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1210_27.min1.thm1
2017-02-06 12:46
704
finseq_1__1209_18.min1.thm1
2017-02-06 12:46
516
finseq_1__1208_16.min1.thm1.tptp
2017-02-06 16:47
278
finseq_1__1208_16.min1.thm1
2017-02-06 12:46
343
finseq_1__1207_24.min1.thm1
2017-02-06 12:46
672
finseq_1__1206_21.min1.thm1
2017-02-06 12:46
553
finseq_1__1205_19.min1.thm1
2017-02-06 12:46
733
finseq_1__1198_42.min1.thm1
2017-02-06 12:46
632
finseq_1__1193_22.min1.thm1
2017-02-06 12:46
659
finseq_1__1192_19.min1.thm1
2017-02-06 12:46
554
finseq_1__1191_28.min1.thm1
2017-02-06 12:46
800
finseq_1__1184_11.min1.thm1
2017-02-06 12:46
551
finseq_1__1176_17.min1.thm1
2017-02-06 12:46
510
finseq_1__1175_25.min1.thm1
2017-02-06 12:46
541
finseq_1__1167_26.min1.thm1
2017-02-06 12:46
654
finseq_1__1166_17.min1.thm1
2017-02-06 12:46
625
finseq_1__1165_45.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__1155_40.min1.thm1
2017-02-06 12:46
723
finseq_1__1155_20.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__1148_17.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__1139_30.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1138_33.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__1137_19.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__1136_43.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__1134_30.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1133_33.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__1127_17.min1.thm1
2017-02-06 12:46
686
finseq_1__1125_19.min1.thm1
2017-02-06 12:46
953
finseq_1__1116_17.min1.thm1
2017-02-06 12:46
788
finseq_1__1113_24.min1.thm1
2017-02-06 12:46
725
finseq_1__1112_36.min1.thm1
2017-02-06 12:46
850
finseq_1__1107_19.min1.thm1
2017-02-06 12:46
953
finseq_1__1105_16.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__1104_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__1098_17.min1.thm1
2017-02-06 12:46
788
finseq_1__1095_41.min1.thm1
2017-02-06 12:46
894
finseq_1__1094_36.min1.thm1
2017-02-06 12:46
848
finseq_1__1081_19.min1.thm1.tptp
2017-02-06 16:47
891
finseq_1__1081_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1077_35.min1.thm1
2017-02-06 12:46
959
finseq_1__1075_20.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__1069_20.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1066_37.min1.thm1
2017-02-06 12:46
945
finseq_1__1056_14.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1054_24.min1.thm1
2017-02-06 12:46
680
finseq_1__1048_31.min1.thm1
2017-02-06 12:46
827
finseq_1__1046_36.min1.thm1
2017-02-06 12:46
827
finseq_1__1045_45.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__1039_17.min1.thm1
2017-02-06 12:46
695
finseq_1__1038_38.min1.thm1.tptp
2017-02-06 16:47
549
finseq_1__1038_38.min1.thm1
2017-02-06 12:46
620
finseq_1__1037_42.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__1036_34.min1.thm1.tptp
2017-02-06 16:47
507
finseq_1__1036_34.min1.thm1
2017-02-06 12:46
571
finseq_1__1033_32.min1.thm1
2017-02-06 12:46
714
finseq_1__1031_25.min1.thm1
2017-02-06 12:46
825
finseq_1__1029_19.min1.thm1
2017-02-06 12:46
883
finseq_1__1027_28.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__1022_25.min1.thm1
2017-02-06 12:46
910
finseq_1__1020_27.min1.thm1
2017-02-06 12:46
3.2K
finseq_1__1017_39.min1.thm1
2017-02-06 12:46
937
finseq_1__1007_39.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__1006_30.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__994_17.min1.thm1.tptp
2017-02-06 16:47
421
finseq_1__994_17.min1.thm1
2017-02-06 12:46
485
finseq_1__992_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__990_39.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__989_12.min1.thm1
2017-02-06 12:46
762
finseq_1__978_17.min1.thm1.tptp
2017-02-06 16:47
421
finseq_1__978_17.min1.thm1
2017-02-06 12:46
485
finseq_1__975_18.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__974_24.min1.thm1
2017-02-06 12:46
680
finseq_1__973_39.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__972_12.min1.thm1
2017-02-06 12:46
762
finseq_1__961_14.min1.thm1
2017-02-06 12:46
436
finseq_1__960_45.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__953_17.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__951_31.min1.thm1
2017-02-06 12:46
2.2K
finseq_1__950_21.min1.thm1
2017-02-06 12:46
2.7K
finseq_1__948_19.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__947_17.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__946_13.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__944_37.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__943_21.min1.thm1
2017-02-06 12:46
871
finseq_1__934_17.min1.thm1
2017-02-06 12:46
955
finseq_1__933_31.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__932_41.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__931_27.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__925_17.min1.thm1.tptp
2017-02-06 16:47
882
finseq_1__925_17.min1.thm1
2017-02-06 12:46
929
finseq_1__923_19.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__921_19.min1.thm1
2017-02-06 12:46
911
finseq_1__919_28.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__918_15.min1.thm1
2017-02-06 12:46
871
finseq_1__914_37.min1.thm1
2017-02-06 12:46
929
finseq_1__908_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__907_26.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__902_30.min1.thm1
2017-02-06 12:46
834
finseq_1__900_25.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__889_45.min1.thm1
2017-02-06 12:46
2.3K
finseq_1__880_22.min1.thm1
2017-02-06 12:46
905
finseq_1__878_21.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__873_35.min1.thm1
2017-02-06 12:46
921
finseq_1__859_34.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__852_46.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__849_24.min1.thm1
2017-02-06 12:46
784
finseq_1__848_38.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__839_21.min1.thm1
2017-02-06 12:46
786
finseq_1__837_23.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__836_23.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__835_21.min1.thm1
2017-02-06 12:46
899
finseq_1__833_30.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__827_42.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__826_25.min1.thm1
2017-02-06 12:46
935
finseq_1__824_31.min1.thm1
2017-02-06 12:46
3.2K
finseq_1__821_41.min1.thm1
2017-02-06 12:46
953
finseq_1__799_18.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__794_49.min1.thm1
2017-02-06 12:46
3.4K
finseq_1__789_39.min1.thm1
2017-02-06 12:46
945
finseq_1__788_35.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__787_31.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__786_19.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__785_15.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__783_23.min1.thm1
2017-02-06 12:46
895
finseq_1__776_21.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__775_45.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__774_31.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__773_28.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__771_23.min1.thm1
2017-02-06 12:46
895
finseq_1__760_21.min1.thm1.tptp
2017-02-06 16:47
1.2K
finseq_1__760_21.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__758_20.min1.thm1.tptp
2017-02-06 16:47
1.2K
finseq_1__758_20.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__757_53.min1.thm1.tptp
2017-02-06 16:47
824
finseq_1__757_53.min1.thm1
2017-02-06 12:46
873
finseq_1__750_23.min1.thm1.tptp
2017-02-06 16:47
927
finseq_1__750_23.min1.thm1
2017-02-06 12:46
949
finseq_1__749_78.min1.thm1
2017-02-06 12:46
584
finseq_1__714_15.min1.thm1.tptp
2017-02-06 16:47
204
finseq_1__714_15.min1.thm1
2017-02-06 12:46
287
finseq_1__705_11.min1.thm1.tptp
2017-02-06 16:47
202
finseq_1__705_11.min1.thm1
2017-02-06 12:46
285
finseq_1__698_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__697_18.min1.thm1
2017-02-06 12:46
447
finseq_1__688_11.min1.thm1
2017-02-06 12:46
131
finseq_1__681_14.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__678_22.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__677_25.min1.thm1
2017-02-06 12:46
3.3K
finseq_1__670_25.min1.thm1
2017-02-06 12:46
761
finseq_1__661_44.min1.thm1
2017-02-06 12:46
627
finseq_1__660_20.min1.thm1.tptp
2017-02-06 16:47
401
finseq_1__660_20.min1.thm1
2017-02-06 12:46
472
finseq_1__654_35.min1.thm1
2017-02-06 12:46
921
finseq_1__647_17.min1.thm1
2017-02-06 12:46
969
finseq_1__646_29.min1.thm1.tptp
2017-02-06 16:47
513
finseq_1__646_29.min1.thm1
2017-02-06 12:46
584
finseq_1__645_41.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__644_31.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__635_14.min1.thm1.tptp
2017-02-06 16:47
474
finseq_1__635_14.min1.thm1
2017-02-06 12:46
523
finseq_1__628_16.min1.thm1
2017-02-06 12:46
693
finseq_1__627_34.min1.thm1
2017-02-06 12:46
454
finseq_1__620_11.min1.thm1.tptp
2017-02-06 16:47
303
finseq_1__620_11.min1.thm1
2017-02-06 12:46
358
finseq_1__615_17.min1.thm1
2017-02-06 12:46
887
finseq_1__614_30.min1.thm1
2017-02-06 12:46
814
finseq_1__607_22.min1.thm1
2017-02-06 12:46
541
finseq_1__597_16.min1.thm1
2017-02-06 12:46
617
finseq_1__596_18.min1.thm1
2017-02-06 12:46
447
finseq_1__582_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__581_34.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__580_24.min1.thm1
2017-02-06 12:46
897
finseq_1__579_23.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__570_17.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__569_19.min1.thm1
2017-02-06 12:46
786
finseq_1__568_26.min1.thm1
2017-02-06 12:46
837
finseq_1__561_17.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__559_26.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__558_27.min1.thm1
2017-02-06 12:46
892
finseq_1__551_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__549_22.min1.thm1
2017-02-06 12:46
686
finseq_1__548_26.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__547_30.min1.thm1
2017-02-06 12:46
783
finseq_1__542_24.min1.thm1
2017-02-06 12:46
784
finseq_1__541_24.min1.thm1
2017-02-06 12:46
784
finseq_1__532_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__531_38.min1.thm1
2017-02-06 12:46
937
finseq_1__522_16.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__520_30.min1.thm1
2017-02-06 12:46
775
finseq_1__519_15.min1.thm1
2017-02-06 12:46
872
finseq_1__518_14.min1.thm1
2017-02-06 12:46
670
finseq_1__509_16.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__507_34.min1.thm1
2017-02-06 12:46
711
finseq_1__506_17.min1.thm1
2017-02-06 12:46
371
finseq_1__497_16.min1.thm1
2017-02-06 12:46
847
finseq_1__495_34.min1.thm1
2017-02-06 12:46
711
finseq_1__491_43.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__483_17.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__482_17.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__481_14.min1.thm1
2017-02-06 12:46
815
finseq_1__479_17.min1.thm1
2017-02-06 12:46
509
finseq_1__473_32.min1.thm1
2017-02-06 12:46
707
finseq_1__461_16.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__460_28.min1.thm1
2017-02-06 12:46
655
finseq_1__452_18.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__451_22.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__447_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__446_24.min1.thm1
2017-02-06 12:46
914
finseq_1__442_27.min1.thm1
2017-02-06 12:46
736
finseq_1__439_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__438_25.min1.thm1
2017-02-06 12:46
811
finseq_1__437_16.min1.thm1
2017-02-06 12:46
714
finseq_1__436_19.min1.thm1
2017-02-06 12:46
704
finseq_1__430_23.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__429_24.min1.thm1
2017-02-06 12:46
848
finseq_1__428_18.min1.thm1
2017-02-06 12:46
658
finseq_1__421_27.min1.thm1
2017-02-06 12:46
296
finseq_1__419_23.min1.thm1
2017-02-06 12:46
683
finseq_1__418_23.min1.thm1
2017-02-06 12:46
850
finseq_1__417_29.min1.thm1
2017-02-06 12:46
920
finseq_1__402_20.min1.thm1.tptp
2017-02-06 16:47
391
finseq_1__402_20.min1.thm1
2017-02-06 12:46
450
finseq_1__396_16.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__395_23.min1.thm1
2017-02-06 12:46
181
finseq_1__380_26.min1.thm1
2017-02-06 12:46
749
finseq_1__379_26.min1.thm1.tptp
2017-02-06 16:47
278
finseq_1__379_26.min1.thm1
2017-02-06 12:46
355
finseq_1__372_17.min1.thm1
2017-02-06 12:46
781
finseq_1__371_56.min1.thm1.tptp
2017-02-06 16:47
252
finseq_1__371_56.min1.thm1
2017-02-06 12:46
333
finseq_1__368_14.min1.thm1.tptp
2017-02-06 16:47
255
finseq_1__368_14.min1.thm1
2017-02-06 12:46
336
finseq_1__362_21.min1.thm1
2017-02-06 12:46
652
finseq_1__361_16.min1.thm1.tptp
2017-02-06 16:47
322
finseq_1__361_16.min1.thm1
2017-02-06 12:46
387
finseq_1__360_21.min1.thm1.tptp
2017-02-06 16:47
495
finseq_1__360_21.min1.thm1
2017-02-06 12:46
549
finseq_1__353_14.min1.thm1.tptp
2017-02-06 16:47
290
finseq_1__353_14.min1.thm1
2017-02-06 12:46
355
finseq_1__352_19.min1.thm1.tptp
2017-02-06 16:47
437
finseq_1__352_19.min1.thm1
2017-02-06 12:46
491
finseq_1__346_69.min1.thm1
2017-02-06 12:46
661
finseq_1__345_22.min1.thm1
2017-02-06 12:46
461
finseq_1__344_21.min1.thm1.tptp
2017-02-06 16:47
267
finseq_1__344_21.min1.thm1
2017-02-06 12:46
344
finseq_1__339_8.min1.thm1
2017-02-06 12:46
700
finseq_1__332_19.min1.thm1
2017-02-06 12:46
603
finseq_1__331_38.min1.thm1
2017-02-06 12:46
775
finseq_1__330_22.min1.thm1
2017-02-06 12:46
771
finseq_1__319_16.min1.thm1
2017-02-06 12:46
248
finseq_1__317_20.min1.thm1
2017-02-06 12:46
424
finseq_1__314_24.min1.thm1
2017-02-06 12:46
602
finseq_1__313_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__310_18.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__308_14.min1.thm1
2017-02-06 12:46
826
finseq_1__301_25.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__300_37.min1.thm1
2017-02-06 12:46
2.1K
finseq_1__299_55.min1.thm1
2017-02-06 12:46
787
finseq_1__298_20.min1.thm1
2017-02-06 12:46
733
finseq_1__295_20.min1.thm1
2017-02-06 12:46
666
finseq_1__281_19.min1.thm1.tptp
2017-02-06 16:47
341
finseq_1__281_19.min1.thm1
2017-02-06 12:46
416
finseq_1__279_36.min1.thm1
2017-02-06 12:46
924
finseq_1__278_58.min1.thm1
2017-02-06 12:46
670
finseq_1__254_18.min1.thm1
2017-02-06 12:46
859
finseq_1__234_17.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__231_13.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__230_16.min1.thm1.tptp
2017-02-06 16:47
310
finseq_1__230_16.min1.thm1
2017-02-06 12:46
375
finseq_1__227_39.min1.thm1
2017-02-06 12:46
758
finseq_1__224_29.min1.thm1
2017-02-06 12:46
765
finseq_1__219_36.min1.thm1.tptp
2017-02-06 16:47
386
finseq_1__219_36.min1.thm1
2017-02-06 12:46
463
finseq_1__212_17.min1.thm1
2017-02-06 12:46
600
finseq_1__211_34.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__210_18.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__209_11.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__208_13.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__207_37.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__202_19.min1.thm1
2017-02-06 12:46
1.7K
finseq_1__201_37.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__200_38.min1.thm1.tptp
2017-02-06 16:47
480
finseq_1__200_38.min1.thm1
2017-02-06 12:46
542
finseq_1__197_24.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__195_15.min1.thm1
2017-02-06 12:46
1.9K
finseq_1__188_42.min1.thm1
2017-02-06 12:46
759
finseq_1__184_17.min1.thm1
2017-02-06 12:46
824
finseq_1__183_24.min1.thm1
2017-02-06 12:46
545
finseq_1__176_17.min1.thm1
2017-02-06 12:46
597
finseq_1__175_25.min1.thm1
2017-02-06 12:46
637
finseq_1__168_14.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__166_19.min1.thm1
2017-02-06 12:46
1.1K
finseq_1__165_22.min1.thm1
2017-02-06 12:46
404
finseq_1__159_19.min1.thm1
2017-02-06 12:46
946
finseq_1__158_18.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__157_13.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__156_13.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__155_43.min1.thm1
2017-02-06 12:46
723
finseq_1__143_20.min1.thm1
2017-02-06 12:46
1.5K
finseq_1__139_14.min1.thm1
2017-02-06 12:46
689
finseq_1__134_14.min1.thm1
2017-02-06 12:46
1.6K
finseq_1__133_27.min1.thm1
2017-02-06 12:46
2.0K
finseq_1__132_34.min1.thm1
2017-02-06 12:46
427
finseq_1__125_17.min1.thm1.tptp
2017-02-06 16:47
390
finseq_1__125_17.min1.thm1
2017-02-06 12:46
442
finseq_1__123_20.min1.thm1
2017-02-06 12:46
1.2K
finseq_1__122_26.min1.thm1.tptp
2017-02-06 16:47
313
finseq_1__122_26.min1.thm1
2017-02-06 12:46
367
finseq_1__119_21.min1.thm1
2017-02-06 12:46
447
finseq_1__118_28.min1.thm1
2017-02-06 12:46
1.8K
finseq_1__117_19.min1.thm1
2017-02-06 12:46
743
finseq_1__116_12.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__107_24.min1.thm1.tptp
2017-02-06 16:47
372
finseq_1__107_24.min1.thm1
2017-02-06 12:46
424
finseq_1__105_20.min1.thm1
2017-02-06 12:46
971
finseq_1__104_17.min1.thm1.tptp
2017-02-06 16:47
254
finseq_1__104_17.min1.thm1
2017-02-06 12:46
319
finseq_1__101_21.min1.thm1
2017-02-06 12:46
397
finseq_1__100_14.min1.thm1
2017-02-06 12:46
1.3K
finseq_1__99_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_1__84_60.min1.thm1
2017-02-06 12:46
958
finseq_1__83_20.min1.thm1.tptp
2017-02-06 16:47
258
finseq_1__83_20.min1.thm1
2017-02-06 12:46
335
finseq_1__74_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_1__73_54.min1.thm1.tptp
2017-02-06 16:47
517
finseq_1__73_54.min1.thm1
2017-02-06 12:46
573
finseq_1__71_15.min1.thm1
2017-02-06 12:46
368
finseq_1__64_16.min1.thm1.tptp
2017-02-06 16:47
291
finseq_1__64_16.min1.thm1
2017-02-06 12:46
369
finseq_1__62_18.min1.thm1
2017-02-06 12:46
954
finseq_1__61_63.min1.thm1
2017-02-06 12:46
711
finseq_1__48_13.min1.thm1
2017-02-06 12:46
130
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80