Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/finseq_3
Name
Last modified
Size
Description
Parent Directory
-
finseq_3__4759_19.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__4758_40.min1.thm1.tptp
2017-02-06 16:47
337
finseq_3__4758_40.min1.thm1
2017-02-06 12:46
411
finseq_3__4754_36.min1.thm1
2017-02-06 12:46
860
finseq_3__4742_17.min1.thm1
2017-02-06 12:46
815
finseq_3__4741_12.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4739_9.min1.thm1
2017-02-06 12:46
608
finseq_3__4736_19.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__4735_22.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__4734_22.min1.thm1.tptp
2017-02-06 16:47
296
finseq_3__4734_22.min1.thm1
2017-02-06 12:46
378
finseq_3__4732_39.min1.thm1
2017-02-06 12:46
972
finseq_3__4731_32.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__4728_28.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__4727_13.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4726_24.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__4723_48.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__4718_50.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__4715_16.min1.thm1
2017-02-06 12:46
924
finseq_3__4706_20.min1.thm1
2017-02-06 12:46
834
finseq_3__4704_28.min1.thm1
2017-02-06 12:46
806
finseq_3__4703_24.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4701_29.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__4700_33.min1.thm1.tptp
2017-02-06 16:47
410
finseq_3__4700_33.min1.thm1
2017-02-06 12:46
492
finseq_3__4698_46.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4697_46.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__4692_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__4691_17.min1.thm1
2017-02-06 12:46
535
finseq_3__4685_18.min1.thm1
2017-02-06 12:46
800
finseq_3__4666_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__4665_22.min1.thm1
2017-02-06 12:46
901
finseq_3__4664_15.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4661_28.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4657_28.min1.thm1
2017-02-06 12:46
655
finseq_3__4650_25.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4649_40.min1.thm1
2017-02-06 12:46
820
finseq_3__4645_17.min1.thm1
2017-02-06 12:46
492
finseq_3__4641_28.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4637_28.min1.thm1
2017-02-06 12:46
567
finseq_3__4630_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4629_40.min1.thm1
2017-02-06 12:46
820
finseq_3__4625_17.min1.thm1.tptp
2017-02-06 16:47
349
finseq_3__4625_17.min1.thm1
2017-02-06 12:46
405
finseq_3__4623_19.min1.thm1
2017-02-06 12:46
901
finseq_3__4621_15.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__4608_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4606_31.min1.thm1
2017-02-06 12:46
850
finseq_3__4603_31.min1.thm1
2017-02-06 12:46
937
finseq_3__4602_16.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__4600_22.min1.thm1
2017-02-06 12:46
577
finseq_3__4599_56.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__4598_41.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4597_36.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4591_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4590_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__4589_29.min1.thm1
2017-02-06 12:46
763
finseq_3__4588_54.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__4587_37.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__4586_24.min1.thm1
2017-02-06 12:46
890
finseq_3__4580_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4578_31.min1.thm1
2017-02-06 12:46
850
finseq_3__4575_31.min1.thm1
2017-02-06 12:46
937
finseq_3__4574_16.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__4572_22.min1.thm1
2017-02-06 12:46
577
finseq_3__4571_56.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__4570_41.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4569_36.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4563_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4562_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__4561_29.min1.thm1
2017-02-06 12:46
763
finseq_3__4560_54.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__4559_37.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__4558_24.min1.thm1
2017-02-06 12:46
890
finseq_3__4551_52.min1.thm1
2017-02-06 12:46
693
finseq_3__4550_42.min1.thm1
2017-02-06 12:46
678
finseq_3__4549_54.min1.thm1
2017-02-06 12:46
852
finseq_3__4539_17.min1.thm1
2017-02-06 12:46
2.4K
finseq_3__4538_52.min1.thm1
2017-02-06 12:46
693
finseq_3__4537_42.min1.thm1
2017-02-06 12:46
678
finseq_3__4535_28.min1.thm1.tptp
2017-02-06 16:47
451
finseq_3__4535_28.min1.thm1
2017-02-06 12:46
513
finseq_3__4532_54.min1.thm1
2017-02-06 12:46
852
finseq_3__4525_17.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__4523_17.min1.thm1
2017-02-06 12:46
792
finseq_3__4520_34.min1.thm1
2017-02-06 12:46
938
finseq_3__4519_37.min1.thm1
2017-02-06 12:46
831
finseq_3__4515_36.min1.thm1
2017-02-06 12:46
851
finseq_3__4514_36.min1.thm1
2017-02-06 12:46
679
finseq_3__4513_5.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__4508_40.min1.thm1
2017-02-06 12:46
745
finseq_3__4504_31.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__4502_42.min1.thm1
2017-02-06 12:46
725
finseq_3__4501_28.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4499_22.min1.thm1
2017-02-06 12:46
577
finseq_3__4498_37.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__4496_31.min1.thm1
2017-02-06 12:46
605
finseq_3__4495_42.min1.thm1
2017-02-06 12:46
727
finseq_3__4487_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4485_32.min1.thm1
2017-02-06 12:46
831
finseq_3__4484_18.min1.thm1
2017-02-06 12:46
524
finseq_3__4483_20.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__4479_37.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4478_64.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__4474_34.min1.thm1
2017-02-06 12:46
561
finseq_3__4470_4.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__4467_29.min1.thm1.tptp
2017-02-06 16:47
428
finseq_3__4467_29.min1.thm1
2017-02-06 12:46
495
finseq_3__4466_29.min1.thm1.tptp
2017-02-06 16:47
429
finseq_3__4466_29.min1.thm1
2017-02-06 12:46
496
finseq_3__4465_18.min1.thm1
2017-02-06 12:46
523
finseq_3__4458_17.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__4454_35.min1.thm1
2017-02-06 12:46
925
finseq_3__4453_17.min1.thm1
2017-02-06 12:46
792
finseq_3__4450_35.min1.thm1
2017-02-06 12:46
925
finseq_3__4447_17.min1.thm1.tptp
2017-02-06 16:47
326
finseq_3__4447_17.min1.thm1
2017-02-06 12:46
380
finseq_3__4446_32.min1.thm1
2017-02-06 12:46
831
finseq_3__4445_17.min1.thm1.tptp
2017-02-06 16:47
326
finseq_3__4445_17.min1.thm1
2017-02-06 12:46
380
finseq_3__4444_20.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__4434_26.min1.thm1
2017-02-06 12:46
431
finseq_3__4433_33.min1.thm1
2017-02-06 12:46
751
finseq_3__4432_46.min1.thm1.tptp
2017-02-06 16:47
513
finseq_3__4432_46.min1.thm1
2017-02-06 12:46
572
finseq_3__4430_13.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__4428_28.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__4421_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__4419_16.min1.thm1
2017-02-06 12:46
792
finseq_3__4418_32.min1.thm1
2017-02-06 12:46
831
finseq_3__4415_36.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__4414_20.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4409_38.min1.thm1
2017-02-06 12:46
960
finseq_3__4405_15.min1.thm1
2017-02-06 12:46
311
finseq_3__4404_24.min1.thm1.tptp
2017-02-06 16:47
454
finseq_3__4404_24.min1.thm1
2017-02-06 12:46
521
finseq_3__4403_38.min1.thm1
2017-02-06 12:46
602
finseq_3__4401_3.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4399_17.min1.thm1.tptp
2017-02-06 16:47
299
finseq_3__4399_17.min1.thm1
2017-02-06 12:46
362
finseq_3__4392_33.min1.thm1
2017-02-06 12:46
926
finseq_3__4391_28.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__4384_36.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4383_50.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__4382_30.min1.thm1
2017-02-06 12:46
726
finseq_3__4375_32.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4374_28.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__4373_30.min1.thm1
2017-02-06 12:46
639
finseq_3__4372_46.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__4371_35.min1.thm1
2017-02-06 12:46
906
finseq_3__4364_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__4362_71.min1.thm1
2017-02-06 12:46
893
finseq_3__4361_19.min1.thm1
2017-02-06 12:46
248
finseq_3__4360_21.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4359_44.min1.thm1.tptp
2017-02-06 16:47
462
finseq_3__4359_44.min1.thm1
2017-02-06 12:46
522
finseq_3__4358_29.min1.thm1
2017-02-06 12:46
387
finseq_3__4357_20.min1.thm1
2017-02-06 12:46
244
finseq_3__4356_4.min1.thm1.tptp
2017-02-06 16:47
568
finseq_3__4356_4.min1.thm1
2017-02-06 12:46
636
finseq_3__4349_16.min1.thm1
2017-02-06 12:46
322
finseq_3__4348_35.min1.thm1
2017-02-06 12:46
560
finseq_3__4347_16.min1.thm1
2017-02-06 12:46
318
finseq_3__4346_21.min1.thm1
2017-02-06 12:46
349
finseq_3__4345_40.min1.thm1.tptp
2017-02-06 16:47
413
finseq_3__4345_40.min1.thm1
2017-02-06 12:46
476
finseq_3__4339_11.min1.thm1
2017-02-06 12:46
250
finseq_3__4338_31.min1.thm1
2017-02-06 12:46
748
finseq_3__4337_11.min1.thm1
2017-02-06 12:46
246
finseq_3__4336_19.min1.thm1
2017-02-06 12:46
645
finseq_3__4335_36.min1.thm1
2017-02-06 12:46
506
finseq_3__4328_27.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__4322_35.min1.thm1.tptp
2017-02-06 16:47
400
finseq_3__4322_35.min1.thm1
2017-02-06 12:46
457
finseq_3__4317_4.min1.thm1
2017-02-06 12:46
873
finseq_3__4315_41.min1.thm1
2017-02-06 12:46
718
finseq_3__4314_23.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__4309_35.min1.thm1.tptp
2017-02-06 16:47
400
finseq_3__4309_35.min1.thm1
2017-02-06 12:46
457
finseq_3__4304_4.min1.thm1
2017-02-06 12:46
880
finseq_3__4302_10.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__4300_22.min1.thm1
2017-02-06 12:46
666
finseq_3__4299_40.min1.thm1
2017-02-06 12:46
768
finseq_3__4298_40.min1.thm1
2017-02-06 12:46
722
finseq_3__4296_72.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__4288_12.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__4284_7.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__4282_26.min1.thm1.tptp
2017-02-06 16:47
323
finseq_3__4282_26.min1.thm1
2017-02-06 12:46
377
finseq_3__4277_62.min1.thm1
2017-02-06 12:46
756
finseq_3__4275_7.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__4273_26.min1.thm1.tptp
2017-02-06 16:47
323
finseq_3__4273_26.min1.thm1
2017-02-06 12:46
377
finseq_3__4268_62.min1.thm1
2017-02-06 12:46
762
finseq_3__4267_51.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__4266_36.min1.thm1
2017-02-06 12:46
678
finseq_3__4265_10.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__4262_62.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4255_5.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__4251_9.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__4249_17.min1.thm1.tptp
2017-02-06 16:47
262
finseq_3__4249_17.min1.thm1
2017-02-06 12:46
327
finseq_3__4244_26.min1.thm1
2017-02-06 12:46
620
finseq_3__4242_7.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__4240_17.min1.thm1.tptp
2017-02-06 16:47
262
finseq_3__4240_17.min1.thm1
2017-02-06 12:46
327
finseq_3__4235_26.min1.thm1
2017-02-06 12:46
622
finseq_3__4234_45.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__4233_18.min1.thm1
2017-02-06 12:46
594
finseq_3__4232_3.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__4230_52.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4224_23.min1.thm1.tptp
2017-02-06 16:47
336
finseq_3__4224_23.min1.thm1
2017-02-06 12:46
410
finseq_3__4223_24.min1.thm1
2017-02-06 12:46
344
finseq_3__4222_48.min1.thm1
2017-02-06 12:46
615
finseq_3__4208_17.min1.thm1
2017-02-06 12:46
939
finseq_3__4207_38.min1.thm1
2017-02-06 12:46
905
finseq_3__4203_16.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4183_32.min1.thm1
2017-02-06 12:46
714
finseq_3__4179_16.min1.thm1
2017-02-06 12:46
796
finseq_3__4178_53.min1.thm1.tptp
2017-02-06 16:47
488
finseq_3__4178_53.min1.thm1
2017-02-06 12:46
539
finseq_3__4168_17.min1.thm1
2017-02-06 12:46
920
finseq_3__4167_40.min1.thm1
2017-02-06 12:46
777
finseq_3__4166_18.min1.thm1
2017-02-06 12:46
808
finseq_3__4165_20.min1.thm1
2017-02-06 12:46
266
finseq_3__4158_31.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__4157_22.min1.thm1
2017-02-06 12:46
651
finseq_3__4155_39.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4154_35.min1.thm1
2017-02-06 12:46
524
finseq_3__4146_19.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__4145_16.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4143_34.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4134_30.min1.thm1.tptp
2017-02-06 16:47
362
finseq_3__4134_30.min1.thm1
2017-02-06 12:46
420
finseq_3__4133_28.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__4131_22.min1.thm1
2017-02-06 12:46
650
finseq_3__4130_22.min1.thm1
2017-02-06 12:46
666
finseq_3__4129_40.min1.thm1
2017-02-06 12:46
768
finseq_3__4128_17.min1.thm1.tptp
2017-02-06 16:47
324
finseq_3__4128_17.min1.thm1
2017-02-06 12:46
382
finseq_3__4120_29.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4119_20.min1.thm1
2017-02-06 12:46
578
finseq_3__4117_35.min1.thm1
2017-02-06 12:46
895
finseq_3__4116_26.min1.thm1
2017-02-06 12:46
482
finseq_3__4108_19.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__4107_16.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4105_34.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4097_30.min1.thm1.tptp
2017-02-06 16:47
363
finseq_3__4097_30.min1.thm1
2017-02-06 12:46
417
finseq_3__4096_26.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4094_20.min1.thm1
2017-02-06 12:46
577
finseq_3__4093_36.min1.thm1
2017-02-06 12:46
678
finseq_3__4087_17.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__4086_22.min1.thm1
2017-02-06 12:46
890
finseq_3__4084_31.min1.thm1
2017-02-06 12:46
832
finseq_3__4083_17.min1.thm1
2017-02-06 12:46
438
finseq_3__4075_18.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__4073_34.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4065_17.min1.thm1.tptp
2017-02-06 16:47
299
finseq_3__4065_17.min1.thm1
2017-02-06 12:46
362
finseq_3__4064_18.min1.thm1
2017-02-06 12:46
523
finseq_3__4063_24.min1.thm1
2017-02-06 12:46
890
finseq_3__4046_14.min1.thm1.tptp
2017-02-06 16:47
459
finseq_3__4046_14.min1.thm1
2017-02-06 12:46
541
finseq_3__4045_21.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__4044_41.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__4043_22.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__4037_37.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__4036_37.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__4035_22.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__4030_19.min1.thm1
2017-02-06 12:46
573
finseq_3__4027_15.min1.thm1
2017-02-06 12:46
504
finseq_3__4025_27.min1.thm1
2017-02-06 12:46
132
finseq_3__4024_23.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__4022_24.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__3997_22.min1.thm1
2017-02-06 12:46
877
finseq_3__3994_23.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__3989_14.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__3931_24.min1.thm1
2017-02-06 12:46
631
finseq_3__3930_10.min1.thm1.tptp
2017-02-06 16:47
845
finseq_3__3930_10.min1.thm1
2017-02-06 12:46
869
finseq_3__3902_31.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3886_18.min1.thm1.tptp
2017-02-06 16:47
437
finseq_3__3886_18.min1.thm1
2017-02-06 12:46
519
finseq_3__3884_23.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__3882_18.min1.thm1
2017-02-06 12:46
516
finseq_3__3881_48.min1.thm1
2017-02-06 12:46
860
finseq_3__3879_24.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__3878_29.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__3873_22.min1.thm1
2017-02-06 12:46
842
finseq_3__3870_32.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3869_34.min1.thm1
2017-02-06 12:46
895
finseq_3__3868_20.min1.thm1
2017-02-06 12:46
708
finseq_3__3861_27.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__3857_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3853_12.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3844_39.min1.thm1
2017-02-06 12:46
721
finseq_3__3839_40.min1.thm1.tptp
2017-02-06 16:47
225
finseq_3__3839_40.min1.thm1
2017-02-06 12:46
305
finseq_3__3836_21.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3835_25.min1.thm1.tptp
2017-02-06 16:47
326
finseq_3__3835_25.min1.thm1
2017-02-06 12:46
391
finseq_3__3834_21.min1.thm1
2017-02-06 12:46
868
finseq_3__3832_15.min1.thm1
2017-02-06 12:46
557
finseq_3__3828_21.min1.thm1
2017-02-06 12:46
719
finseq_3__3827_15.min1.thm1.tptp
2017-02-06 16:47
255
finseq_3__3827_15.min1.thm1
2017-02-06 12:46
329
finseq_3__3826_26.min1.thm1
2017-02-06 12:46
940
finseq_3__3824_13.min1.thm1
2017-02-06 12:46
357
finseq_3__3797_28.min1.thm1
2017-02-06 12:46
441
finseq_3__3796_39.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3795_16.min1.thm1
2017-02-06 12:46
927
finseq_3__3789_21.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__3786_54.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__3783_68.min1.thm1
2017-02-06 12:46
597
finseq_3__3779_15.min1.thm1
2017-02-06 12:46
2.3K
finseq_3__3766_38.min1.thm1
2017-02-06 12:46
814
finseq_3__3765_38.min1.thm1
2017-02-06 12:46
766
finseq_3__3755_24.min1.thm1
2017-02-06 12:46
894
finseq_3__3754_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3753_19.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3740_14.min1.thm1
2017-02-06 12:46
254
finseq_3__3739_11.min1.thm1
2017-02-06 12:46
875
finseq_3__3738_20.min1.thm1.tptp
2017-02-06 16:47
349
finseq_3__3738_20.min1.thm1
2017-02-06 12:46
426
finseq_3__3737_25.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__3736_19.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__3734_13.min1.thm1
2017-02-06 12:46
376
finseq_3__3733_22.min1.thm1
2017-02-06 12:46
957
finseq_3__3731_38.min1.thm1.tptp
2017-02-06 16:47
383
finseq_3__3731_38.min1.thm1
2017-02-06 12:46
471
finseq_3__3717_38.min1.thm1.tptp
2017-02-06 16:47
712
finseq_3__3717_38.min1.thm1
2017-02-06 12:46
779
finseq_3__3716_36.min1.thm1.tptp
2017-02-06 16:47
676
finseq_3__3716_36.min1.thm1
2017-02-06 12:46
746
finseq_3__3711_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3710_32.min1.thm1.tptp
2017-02-06 16:47
638
finseq_3__3710_32.min1.thm1
2017-02-06 12:46
708
finseq_3__3709_46.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__3706_26.min1.thm1
2017-02-06 12:46
841
finseq_3__3703_24.min1.thm1.tptp
2017-02-06 16:47
620
finseq_3__3703_24.min1.thm1
2017-02-06 12:46
690
finseq_3__3702_31.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3697_23.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3696_27.min1.thm1.tptp
2017-02-06 16:47
564
finseq_3__3696_27.min1.thm1
2017-02-06 12:46
631
finseq_3__3695_27.min1.thm1
2017-02-06 12:46
625
finseq_3__3694_25.min1.thm1
2017-02-06 12:46
752
finseq_3__3691_23.min1.thm1
2017-02-06 12:46
809
finseq_3__3690_31.min1.thm1.tptp
2017-02-06 16:47
550
finseq_3__3690_31.min1.thm1
2017-02-06 12:46
620
finseq_3__3688_24.min1.thm1
2017-02-06 12:46
965
finseq_3__3687_23.min1.thm1.tptp
2017-02-06 16:47
532
finseq_3__3687_23.min1.thm1
2017-02-06 12:46
602
finseq_3__3686_30.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__3684_61.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__3682_28.min1.thm1
2017-02-06 12:46
902
finseq_3__3681_19.min1.thm1
2017-02-06 12:46
752
finseq_3__3680_25.min1.thm1
2017-02-06 12:46
752
finseq_3__3675_39.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__3674_37.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3673_46.min1.thm1
2017-02-06 12:46
861
finseq_3__3672_37.min1.thm1.tptp
2017-02-06 16:47
764
finseq_3__3672_37.min1.thm1
2017-02-06 12:46
834
finseq_3__3666_28.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3665_36.min1.thm1.tptp
2017-02-06 16:47
664
finseq_3__3665_36.min1.thm1
2017-02-06 12:46
734
finseq_3__3664_32.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__3663_52.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__3658_26.min1.thm1
2017-02-06 12:46
840
finseq_3__3657_24.min1.thm1.tptp
2017-02-06 16:47
620
finseq_3__3657_24.min1.thm1
2017-02-06 12:46
690
finseq_3__3656_31.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3651_24.min1.thm1
2017-02-06 12:46
752
finseq_3__3650_23.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3649_27.min1.thm1.tptp
2017-02-06 16:47
564
finseq_3__3649_27.min1.thm1
2017-02-06 12:46
631
finseq_3__3648_27.min1.thm1
2017-02-06 12:46
625
finseq_3__3642_16.min1.thm1.tptp
2017-02-06 16:47
468
finseq_3__3642_16.min1.thm1
2017-02-06 12:46
538
finseq_3__3641_19.min1.thm1
2017-02-06 12:46
758
finseq_3__3640_30.min1.thm1
2017-02-06 12:46
846
finseq_3__3639_39.min1.thm1
2017-02-06 12:46
741
finseq_3__3638_47.min1.thm1.tptp
2017-02-06 16:47
644
finseq_3__3638_47.min1.thm1
2017-02-06 12:46
714
finseq_3__3636_49.min1.thm1.tptp
2017-02-06 16:47
844
finseq_3__3636_49.min1.thm1
2017-02-06 12:46
914
finseq_3__3634_41.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3633_46.min1.thm1
2017-02-06 12:46
774
finseq_3__3632_51.min1.thm1
2017-02-06 12:46
335
finseq_3__3631_54.min1.thm1
2017-02-06 12:46
870
finseq_3__3630_52.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3629_60.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__3628_25.min1.thm1
2017-02-06 12:46
880
finseq_3__3627_21.min1.thm1
2017-02-06 12:46
563
finseq_3__3614_15.min1.thm1
2017-02-06 12:46
965
finseq_3__3613_24.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__3611_32.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3610_36.min1.thm1
2017-02-06 12:46
760
finseq_3__3609_36.min1.thm1
2017-02-06 12:46
671
finseq_3__3608_40.min1.thm1.tptp
2017-02-06 16:47
656
finseq_3__3608_40.min1.thm1
2017-02-06 12:46
727
finseq_3__3606_37.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3605_43.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__3604_45.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__3603_50.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__3600_27.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__3599_15.min1.thm1
2017-02-06 12:46
972
finseq_3__3598_24.min1.thm1
2017-02-06 12:46
963
finseq_3__3597_26.min1.thm1
2017-02-06 12:46
706
finseq_3__3596_26.min1.thm1
2017-02-06 12:46
617
finseq_3__3595_30.min1.thm1.tptp
2017-02-06 16:47
602
finseq_3__3595_30.min1.thm1
2017-02-06 12:46
673
finseq_3__3594_30.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__3591_50.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__3588_4.min1.thm1
2017-02-06 12:46
2.3K
finseq_3__3586_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__3584_19.min1.thm1
2017-02-06 12:46
750
finseq_3__3583_39.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3579_29.min1.thm1
2017-02-06 12:46
794
finseq_3__3578_31.min1.thm1.tptp
2017-02-06 16:47
489
finseq_3__3578_31.min1.thm1
2017-02-06 12:46
563
finseq_3__3576_12.min1.thm1
2017-02-06 12:46
865
finseq_3__3575_50.min1.thm1
2017-02-06 12:46
948
finseq_3__3574_28.min1.thm1
2017-02-06 12:46
706
finseq_3__3572_25.min1.thm1
2017-02-06 12:46
475
finseq_3__3570_24.min1.thm1
2017-02-06 12:46
963
finseq_3__3557_30.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__3556_19.min1.thm1
2017-02-06 12:46
747
finseq_3__3554_23.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__3553_21.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3552_17.min1.thm1
2017-02-06 12:46
710
finseq_3__3535_19.min1.thm1
2017-02-06 12:46
784
finseq_3__3534_27.min1.thm1
2017-02-06 12:46
640
finseq_3__3533_22.min1.thm1
2017-02-06 12:46
631
finseq_3__3529_15.min1.thm1
2017-02-06 12:46
969
finseq_3__3528_25.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__3527_24.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3526_21.min1.thm1
2017-02-06 12:46
902
finseq_3__3522_14.min1.thm1.tptp
2017-02-06 16:47
279
finseq_3__3522_14.min1.thm1
2017-02-06 12:46
353
finseq_3__3509_17.min1.thm1
2017-02-06 12:46
625
finseq_3__3507_14.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3506_9.min1.thm1
2017-02-06 12:46
675
finseq_3__3505_32.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3501_24.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__3500_24.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3499_22.min1.thm1
2017-02-06 12:46
963
finseq_3__3480_16.min1.thm1
2017-02-06 12:46
410
finseq_3__3476_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3475_25.min1.thm1
2017-02-06 12:46
700
finseq_3__3474_33.min1.thm1
2017-02-06 12:46
766
finseq_3__3465_22.min1.thm1
2017-02-06 12:46
671
finseq_3__3463_20.min1.thm1
2017-02-06 12:46
580
finseq_3__3462_21.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3461_17.min1.thm1
2017-02-06 12:46
824
finseq_3__3458_30.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__3457_25.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3454_26.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3453_36.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3449_15.min1.thm1
2017-02-06 12:46
212
finseq_3__3447_18.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3442_11.min1.thm1
2017-02-06 12:46
340
finseq_3__3432_53.min1.thm1
2017-02-06 12:46
893
finseq_3__3421_9.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3419_16.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3416_20.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3408_49.min1.thm1
2017-02-06 12:46
676
finseq_3__3405_37.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__3404_36.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__3397_25.min1.thm1
2017-02-06 12:46
673
finseq_3__3395_19.min1.thm1
2017-02-06 12:46
588
finseq_3__3394_30.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__3392_34.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__3391_28.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__3390_25.min1.thm1
2017-02-06 12:46
672
finseq_3__3388_19.min1.thm1
2017-02-06 12:46
587
finseq_3__3385_30.min1.thm1
2017-02-06 12:46
798
finseq_3__3384_20.min1.thm1
2017-02-06 12:46
783
finseq_3__3383_27.min1.thm1
2017-02-06 12:46
654
finseq_3__3381_28.min1.thm1
2017-02-06 12:46
711
finseq_3__3379_26.min1.thm1
2017-02-06 12:46
450
finseq_3__3376_33.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__3375_25.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3374_24.min1.thm1.tptp
2017-02-06 16:47
356
finseq_3__3374_24.min1.thm1
2017-02-06 12:46
421
finseq_3__3369_33.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3368_30.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__3367_27.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__3366_25.min1.thm1
2017-02-06 12:46
561
finseq_3__3364_33.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3363_27.min1.thm1
2017-02-06 12:46
863
finseq_3__3359_34.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__3354_28.min1.thm1
2017-02-06 12:46
834
finseq_3__3349_28.min1.thm1
2017-02-06 12:46
576
finseq_3__3346_35.min1.thm1
2017-02-06 12:46
774
finseq_3__3344_35.min1.thm1.tptp
2017-02-06 16:47
361
finseq_3__3344_35.min1.thm1
2017-02-06 12:46
429
finseq_3__3343_36.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__3337_35.min1.thm1
2017-02-06 12:46
702
finseq_3__3336_36.min1.thm1
2017-02-06 12:46
551
finseq_3__3333_30.min1.thm1
2017-02-06 12:46
925
finseq_3__3331_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__3318_20.min1.thm1.tptp
2017-02-06 16:47
344
finseq_3__3318_20.min1.thm1
2017-02-06 12:46
409
finseq_3__3317_24.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__3315_31.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__3300_22.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3298_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3295_14.min1.thm1
2017-02-06 12:46
698
finseq_3__3292_15.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__3291_21.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__3287_15.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3286_20.min1.thm1
2017-02-06 12:46
390
finseq_3__3285_56.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__3283_33.min1.thm1
2017-02-06 12:46
2.3K
finseq_3__3281_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__3279_25.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3278_23.min1.thm1
2017-02-06 12:46
869
finseq_3__3277_25.min1.thm1.tptp
2017-02-06 16:47
323
finseq_3__3277_25.min1.thm1
2017-02-06 12:46
391
finseq_3__3276_14.min1.thm1
2017-02-06 12:46
798
finseq_3__3268_27.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__3267_24.min1.thm1
2017-02-06 12:46
503
finseq_3__3266_27.min1.thm1
2017-02-06 12:46
837
finseq_3__3265_19.min1.thm1
2017-02-06 12:46
761
finseq_3__3261_30.min1.thm1
2017-02-06 12:46
836
finseq_3__3247_48.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__3246_35.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__3244_25.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3243_25.min1.thm1
2017-02-06 12:46
530
finseq_3__3242_23.min1.thm1
2017-02-06 12:46
870
finseq_3__3240_22.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3239_19.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__3238_16.min1.thm1
2017-02-06 12:46
675
finseq_3__3234_41.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__3230_27.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__3228_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__3227_24.min1.thm1.tptp
2017-02-06 16:47
331
finseq_3__3227_24.min1.thm1
2017-02-06 12:46
399
finseq_3__3226_27.min1.thm1
2017-02-06 12:46
837
finseq_3__3225_19.min1.thm1
2017-02-06 12:46
761
finseq_3__3221_30.min1.thm1
2017-02-06 12:46
836
finseq_3__3212_16.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__3208_15.min1.thm1
2017-02-06 12:46
214
finseq_3__3206_14.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3205_22.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__3203_18.min1.thm1
2017-02-06 12:46
647
finseq_3__3202_12.min1.thm1
2017-02-06 12:46
573
finseq_3__3201_12.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3198_11.min1.thm1
2017-02-06 12:46
560
finseq_3__3170_15.min1.thm1
2017-02-06 12:46
436
finseq_3__3169_22.min1.thm1
2017-02-06 12:46
529
finseq_3__3168_31.min1.thm1
2017-02-06 12:46
844
finseq_3__3166_20.min1.thm1
2017-02-06 12:46
779
finseq_3__3165_13.min1.thm1
2017-02-06 12:46
273
finseq_3__3141_19.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__3134_67.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3133_51.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__3129_53.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__3126_11.min1.thm1
2017-02-06 12:46
272
finseq_3__3118_8.min1.thm1
2017-02-06 12:46
723
finseq_3__3117_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3115_27.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__3114_28.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3112_26.min1.thm1.tptp
2017-02-06 16:47
475
finseq_3__3112_26.min1.thm1
2017-02-06 12:46
529
finseq_3__3111_48.min1.thm1.tptp
2017-02-06 16:47
369
finseq_3__3111_48.min1.thm1
2017-02-06 12:46
431
finseq_3__3106_44.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__3104_28.min1.thm1.tptp
2017-02-06 16:47
393
finseq_3__3104_28.min1.thm1
2017-02-06 12:46
457
finseq_3__3103_56.min1.thm1.tptp
2017-02-06 16:47
376
finseq_3__3103_56.min1.thm1
2017-02-06 12:46
436
finseq_3__3102_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3099_18.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3097_14.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__3095_66.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__3094_50.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__3093_38.min1.thm1.tptp
2017-02-06 16:47
525
finseq_3__3093_38.min1.thm1
2017-02-06 12:46
589
finseq_3__3090_66.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__3089_24.min1.thm1
2017-02-06 12:46
965
finseq_3__3088_43.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__3087_44.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__3086_47.min1.thm1.tptp
2017-02-06 16:47
284
finseq_3__3086_47.min1.thm1
2017-02-06 12:46
364
finseq_3__3079_26.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3064_24.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3060_24.min1.thm1
2017-02-06 12:46
967
finseq_3__3059_37.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__3045_52.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__3044_17.min1.thm1
2017-02-06 12:46
758
finseq_3__3043_11.min1.thm1
2017-02-06 12:46
674
finseq_3__3042_20.min1.thm1
2017-02-06 12:46
578
finseq_3__3041_28.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__3039_31.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__3037_25.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__3034_20.min1.thm1
2017-02-06 12:46
660
finseq_3__3033_42.min1.thm1
2017-02-06 12:46
872
finseq_3__3022_32.min1.thm1
2017-02-06 12:46
518
finseq_3__3020_22.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__3018_22.min1.thm1
2017-02-06 12:46
890
finseq_3__3008_35.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__3005_16.min1.thm1
2017-02-06 12:46
847
finseq_3__3004_18.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__2999_26.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__2996_28.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__2995_44.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__2992_15.min1.thm1
2017-02-06 12:46
266
finseq_3__2988_23.min1.thm1
2017-02-06 12:46
705
finseq_3__2987_25.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__2984_28.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2975_45.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__2973_16.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__2957_17.min1.thm1
2017-02-06 12:46
818
finseq_3__2956_30.min1.thm1
2017-02-06 12:46
532
finseq_3__2943_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__2942_30.min1.thm1
2017-02-06 12:46
375
finseq_3__2941_26.min1.thm1
2017-02-06 12:46
650
finseq_3__2934_17.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__2933_14.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2931_22.min1.thm1
2017-02-06 12:46
901
finseq_3__2930_17.min1.thm1.tptp
2017-02-06 16:47
334
finseq_3__2930_17.min1.thm1
2017-02-06 12:46
390
finseq_3__2929_19.min1.thm1
2017-02-06 12:46
901
finseq_3__2927_17.min1.thm1.tptp
2017-02-06 16:47
334
finseq_3__2927_17.min1.thm1
2017-02-06 12:46
390
finseq_3__2925_20.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2923_16.min1.thm1
2017-02-06 12:46
718
finseq_3__2912_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__2911_20.min1.thm1.tptp
2017-02-06 16:47
264
finseq_3__2911_20.min1.thm1
2017-02-06 12:46
342
finseq_3__2910_16.min1.thm1
2017-02-06 12:46
577
finseq_3__2909_20.min1.thm1
2017-02-06 12:46
325
finseq_3__2898_17.min1.thm1
2017-02-06 12:46
624
finseq_3__2897_14.min1.thm1
2017-02-06 12:46
602
finseq_3__2888_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__2887_23.min1.thm1
2017-02-06 12:46
956
finseq_3__2885_19.min1.thm1.tptp
2017-02-06 16:47
420
finseq_3__2885_19.min1.thm1
2017-02-06 12:46
485
finseq_3__2884_17.min1.thm1
2017-02-06 12:46
736
finseq_3__2881_21.min1.thm1.tptp
2017-02-06 16:47
318
finseq_3__2881_21.min1.thm1
2017-02-06 12:46
383
finseq_3__2880_19.min1.thm1
2017-02-06 12:46
906
finseq_3__2873_18.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2869_20.min1.thm1
2017-02-06 12:46
492
finseq_3__2868_20.min1.thm1
2017-02-06 12:46
920
finseq_3__2867_15.min1.thm1
2017-02-06 12:46
492
finseq_3__2865_20.min1.thm1
2017-02-06 12:46
920
finseq_3__2849_18.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__2847_17.min1.thm1
2017-02-06 12:46
314
finseq_3__2846_18.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__2844_17.min1.thm1
2017-02-06 12:46
314
finseq_3__2843_18.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__2841_17.min1.thm1
2017-02-06 12:46
314
finseq_3__2840_15.min1.thm1
2017-02-06 12:46
661
finseq_3__2838_19.min1.thm1.tptp
2017-02-06 16:47
458
finseq_3__2838_19.min1.thm1
2017-02-06 12:46
529
finseq_3__2837_45.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__2836_30.min1.thm1.tptp
2017-02-06 16:47
262
finseq_3__2836_30.min1.thm1
2017-02-06 12:46
340
finseq_3__2835_28.min1.thm1
2017-02-06 12:46
230
finseq_3__2834_37.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__2832_38.min1.thm1
2017-02-06 12:46
861
finseq_3__2831_36.min1.thm1.tptp
2017-02-06 16:47
387
finseq_3__2831_36.min1.thm1
2017-02-06 12:46
463
finseq_3__2828_18.min1.thm1
2017-02-06 12:46
890
finseq_3__2827_25.min1.thm1.tptp
2017-02-06 16:47
500
finseq_3__2827_25.min1.thm1
2017-02-06 12:46
554
finseq_3__2825_25.min1.thm1
2017-02-06 12:46
813
finseq_3__2813_14.min1.thm1
2017-02-06 12:46
661
finseq_3__2812_14.min1.thm1
2017-02-06 12:46
661
finseq_3__2804_20.min1.thm1
2017-02-06 12:46
589
finseq_3__2803_25.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__2801_15.min1.thm1
2017-02-06 12:46
273
finseq_3__2796_16.min1.thm1
2017-02-06 12:46
232
finseq_3__2792_32.min1.thm1
2017-02-06 12:46
700
finseq_3__2787_32.min1.thm1
2017-02-06 12:46
700
finseq_3__2783_20.min1.thm1
2017-02-06 12:46
310
finseq_3__2780_18.min1.thm1
2017-02-06 12:46
634
finseq_3__2778_18.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__2777_18.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__2767_24.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__2765_15.min1.thm1
2017-02-06 12:46
273
finseq_3__2764_22.min1.thm1
2017-02-06 12:46
589
finseq_3__2758_17.min1.thm1
2017-02-06 12:46
380
finseq_3__2757_14.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2756_13.min1.thm1.tptp
2017-02-06 16:47
250
finseq_3__2756_13.min1.thm1
2017-02-06 12:46
315
finseq_3__2754_14.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2744_43.min1.thm1
2017-02-06 12:46
336
finseq_3__2723_22.min1.thm1
2017-02-06 12:46
906
finseq_3__2722_22.min1.thm1
2017-02-06 12:46
906
finseq_3__2721_23.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__2720_23.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__2719_48.min1.thm1
2017-02-06 12:46
959
finseq_3__2709_22.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__2708_18.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__2707_27.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__2706_16.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__2703_24.min1.thm1
2017-02-06 12:46
907
finseq_3__2701_25.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__2700_32.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__2699_41.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2698_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2694_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2690_18.min1.thm1.tptp
2017-02-06 16:47
459
finseq_3__2690_18.min1.thm1
2017-02-06 12:46
513
finseq_3__2681_16.min1.thm1
2017-02-06 12:46
232
finseq_3__2676_26.min1.thm1
2017-02-06 12:46
594
finseq_3__2672_23.min1.thm1
2017-02-06 12:46
594
finseq_3__2661_23.min1.thm1
2017-02-06 12:46
944
finseq_3__2660_22.min1.thm1
2017-02-06 12:46
523
finseq_3__2650_23.min1.thm1
2017-02-06 12:46
944
finseq_3__2649_22.min1.thm1
2017-02-06 12:46
523
finseq_3__2643_23.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__2642_28.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__2641_28.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__2616_17.min1.thm1
2017-02-06 12:46
643
finseq_3__2615_40.min1.thm1
2017-02-06 12:46
862
finseq_3__2614_17.min1.thm1.tptp
2017-02-06 16:47
294
finseq_3__2614_17.min1.thm1
2017-02-06 12:46
372
finseq_3__2605_17.min1.thm1
2017-02-06 12:46
762
finseq_3__2604_19.min1.thm1.tptp
2017-02-06 16:47
298
finseq_3__2604_19.min1.thm1
2017-02-06 12:46
372
finseq_3__2593_17.min1.thm1
2017-02-06 12:46
761
finseq_3__2592_40.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__2590_19.min1.thm1
2017-02-06 12:46
793
finseq_3__2589_19.min1.thm1
2017-02-06 12:46
567
finseq_3__2588_18.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2586_15.min1.thm1
2017-02-06 12:46
558
finseq_3__2582_22.min1.thm1.tptp
2017-02-06 16:47
381
finseq_3__2582_22.min1.thm1
2017-02-06 12:46
443
finseq_3__2577_21.min1.thm1
2017-02-06 12:46
833
finseq_3__2576_18.min1.thm1
2017-02-06 12:46
600
finseq_3__2575_21.min1.thm1
2017-02-06 12:46
928
finseq_3__2573_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2572_17.min1.thm1
2017-02-06 12:46
733
finseq_3__2571_16.min1.thm1
2017-02-06 12:46
618
finseq_3__2564_25.min1.thm1
2017-02-06 12:46
310
finseq_3__2561_18.min1.thm1
2017-02-06 12:46
600
finseq_3__2560_18.min1.thm1
2017-02-06 12:46
600
finseq_3__2543_21.min1.thm1
2017-02-06 12:46
742
finseq_3__2537_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__2527_17.min1.thm1
2017-02-06 12:46
880
finseq_3__2526_25.min1.thm1
2017-02-06 12:46
737
finseq_3__2525_27.min1.thm1.tptp
2017-02-06 16:47
457
finseq_3__2525_27.min1.thm1
2017-02-06 12:46
527
finseq_3__2524_17.min1.thm1
2017-02-06 12:46
618
finseq_3__2515_15.min1.thm1
2017-02-06 12:46
181
finseq_3__2503_16.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__2502_15.min1.thm1
2017-02-06 12:46
794
finseq_3__2488_14.min1.thm1
2017-02-06 12:46
472
finseq_3__2485_18.min1.thm1
2017-02-06 12:46
482
finseq_3__2480_22.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2475_28.min1.thm1
2017-02-06 12:46
729
finseq_3__2471_33.min1.thm1
2017-02-06 12:46
642
finseq_3__2470_48.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2466_28.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__2465_28.min1.thm1
2017-02-06 12:46
506
finseq_3__2464_38.min1.thm1
2017-02-06 12:46
633
finseq_3__2460_27.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2459_27.min1.thm1
2017-02-06 12:46
554
finseq_3__2458_25.min1.thm1
2017-02-06 12:46
881
finseq_3__2456_26.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__2455_30.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2445_25.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__2443_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2442_28.min1.thm1.tptp
2017-02-06 16:47
265
finseq_3__2442_28.min1.thm1
2017-02-06 12:46
342
finseq_3__2439_59.min1.thm1
2017-02-06 12:46
838
finseq_3__2435_23.min1.thm1
2017-02-06 12:46
559
finseq_3__2433_27.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__2431_27.min1.thm1
2017-02-06 12:46
755
finseq_3__2429_27.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__2428_28.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__2427_25.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2425_30.min1.thm1
2017-02-06 12:46
883
finseq_3__2424_26.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2423_21.min1.thm1
2017-02-06 12:46
570
finseq_3__2422_21.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__2420_30.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2410_25.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__2403_31.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2396_27.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2395_30.min1.thm1
2017-02-06 12:46
881
finseq_3__2394_26.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2393_21.min1.thm1
2017-02-06 12:46
569
finseq_3__2390_28.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__2389_25.min1.thm1
2017-02-06 12:46
680
finseq_3__2388_27.min1.thm1
2017-02-06 12:46
970
finseq_3__2383_21.min1.thm1
2017-02-06 12:46
895
finseq_3__2382_21.min1.thm1
2017-02-06 12:46
885
finseq_3__2380_25.min1.thm1
2017-02-06 12:46
814
finseq_3__2379_51.min1.thm1
2017-02-06 12:46
777
finseq_3__2373_25.min1.thm1.tptp
2017-02-06 16:47
316
finseq_3__2373_25.min1.thm1
2017-02-06 12:46
394
finseq_3__2371_28.min1.thm1
2017-02-06 12:46
742
finseq_3__2370_24.min1.thm1
2017-02-06 12:46
557
finseq_3__2369_23.min1.thm1
2017-02-06 12:46
597
finseq_3__2367_43.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__2366_28.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2365_29.min1.thm1.tptp
2017-02-06 16:47
329
finseq_3__2365_29.min1.thm1
2017-02-06 12:46
397
finseq_3__2360_25.min1.thm1.tptp
2017-02-06 16:47
521
finseq_3__2360_25.min1.thm1
2017-02-06 12:46
603
finseq_3__2359_27.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2356_35.min1.thm1
2017-02-06 12:46
639
finseq_3__2355_36.min1.thm1
2017-02-06 12:46
851
finseq_3__2352_27.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2345_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__2344_28.min1.thm1
2017-02-06 12:46
797
finseq_3__2343_27.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__2342_25.min1.thm1
2017-02-06 12:46
684
finseq_3__2341_53.min1.thm1
2017-02-06 12:46
867
finseq_3__2340_27.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2329_17.min1.thm1
2017-02-06 12:46
237
finseq_3__2321_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2320_19.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2317_23.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__2316_24.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__2315_21.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2313_26.min1.thm1
2017-02-06 12:46
835
finseq_3__2312_22.min1.thm1
2017-02-06 12:46
972
finseq_3__2311_17.min1.thm1
2017-02-06 12:46
558
finseq_3__2310_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__2308_26.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2298_21.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__2291_27.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2285_19.min1.thm1
2017-02-06 12:46
585
finseq_3__2283_39.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__2282_25.min1.thm1
2017-02-06 12:46
528
finseq_3__2281_24.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2278_13.min1.thm1
2017-02-06 12:46
309
finseq_3__2270_33.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__2268_16.min1.thm1
2017-02-06 12:46
435
finseq_3__2267_71.min1.thm1
2017-02-06 12:46
967
finseq_3__2255_44.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2234_37.min1.thm1.tptp
2017-02-06 16:47
581
finseq_3__2234_37.min1.thm1
2017-02-06 12:46
657
finseq_3__2233_43.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2217_35.min1.thm1.tptp
2017-02-06 16:47
577
finseq_3__2217_35.min1.thm1
2017-02-06 12:46
653
finseq_3__2216_41.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2210_17.min1.thm1
2017-02-06 12:46
715
finseq_3__2209_24.min1.thm1.tptp
2017-02-06 16:47
512
finseq_3__2209_24.min1.thm1
2017-02-06 12:46
586
finseq_3__2208_43.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__2193_26.min1.thm1.tptp
2017-02-06 16:47
327
finseq_3__2193_26.min1.thm1
2017-02-06 12:46
403
finseq_3__2192_28.min1.thm1.tptp
2017-02-06 16:47
327
finseq_3__2192_28.min1.thm1
2017-02-06 12:46
403
finseq_3__2186_9.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2183_70.min1.thm1
2017-02-06 12:46
543
finseq_3__2177_36.min1.thm1
2017-02-06 12:46
346
finseq_3__2169_66.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__2168_39.min1.thm1
2017-02-06 12:46
833
finseq_3__2167_38.min1.thm1.tptp
2017-02-06 16:47
421
finseq_3__2167_38.min1.thm1
2017-02-06 12:46
497
finseq_3__2166_20.min1.thm1
2017-02-06 12:46
591
finseq_3__2165_38.min1.thm1
2017-02-06 12:46
346
finseq_3__2164_47.min1.thm1
2017-02-06 12:46
373
finseq_3__2163_47.min1.thm1
2017-02-06 12:46
373
finseq_3__2162_38.min1.thm1
2017-02-06 12:46
346
finseq_3__2151_17.min1.thm1
2017-02-06 12:46
600
finseq_3__2150_39.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2149_26.min1.thm1.tptp
2017-02-06 16:47
327
finseq_3__2149_26.min1.thm1
2017-02-06 12:46
403
finseq_3__2148_36.min1.thm1
2017-02-06 12:46
346
finseq_3__2147_23.min1.thm1.tptp
2017-02-06 16:47
302
finseq_3__2147_23.min1.thm1
2017-02-06 12:46
376
finseq_3__2136_66.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__2135_39.min1.thm1
2017-02-06 12:46
833
finseq_3__2134_38.min1.thm1.tptp
2017-02-06 16:47
421
finseq_3__2134_38.min1.thm1
2017-02-06 12:46
497
finseq_3__2133_20.min1.thm1
2017-02-06 12:46
591
finseq_3__2132_38.min1.thm1
2017-02-06 12:46
346
finseq_3__2131_47.min1.thm1
2017-02-06 12:46
373
finseq_3__2130_47.min1.thm1
2017-02-06 12:46
373
finseq_3__2129_38.min1.thm1
2017-02-06 12:46
346
finseq_3__2118_17.min1.thm1
2017-02-06 12:46
600
finseq_3__2117_39.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2116_21.min1.thm1.tptp
2017-02-06 16:47
302
finseq_3__2116_21.min1.thm1
2017-02-06 12:46
376
finseq_3__2115_36.min1.thm1
2017-02-06 12:46
346
finseq_3__2114_28.min1.thm1.tptp
2017-02-06 16:47
327
finseq_3__2114_28.min1.thm1
2017-02-06 12:46
403
finseq_3__2105_12.min1.thm1
2017-02-06 12:46
2.4K
finseq_3__2103_21.min1.thm1.tptp
2017-02-06 16:47
302
finseq_3__2103_21.min1.thm1
2017-02-06 12:46
376
finseq_3__2102_21.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__2099_23.min1.thm1.tptp
2017-02-06 16:47
302
finseq_3__2099_23.min1.thm1
2017-02-06 12:46
376
finseq_3__2094_19.min1.thm1.tptp
2017-02-06 16:47
366
finseq_3__2094_19.min1.thm1
2017-02-06 12:46
437
finseq_3__2093_22.min1.thm1.tptp
2017-02-06 16:47
331
finseq_3__2093_22.min1.thm1
2017-02-06 12:46
411
finseq_3__2092_29.min1.thm1
2017-02-06 12:46
679
finseq_3__2088_36.min1.thm1
2017-02-06 12:46
346
finseq_3__2083_32.min1.thm1
2017-02-06 12:46
304
finseq_3__2080_41.min1.thm1
2017-02-06 12:46
318
finseq_3__2077_13.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2074_36.min1.thm1
2017-02-06 12:46
570
finseq_3__2070_14.min1.thm1
2017-02-06 12:46
576
finseq_3__2068_12.min1.thm1
2017-02-06 12:46
491
finseq_3__2061_39.min1.thm1.tptp
2017-02-06 16:47
715
finseq_3__2061_39.min1.thm1
2017-02-06 12:46
782
finseq_3__2059_43.min1.thm1.tptp
2017-02-06 16:47
709
finseq_3__2059_43.min1.thm1
2017-02-06 12:46
779
finseq_3__2058_39.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2057_57.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2044_66.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2043_42.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__2042_43.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__2033_24.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__2032_26.min1.thm1.tptp
2017-02-06 16:47
368
finseq_3__2032_26.min1.thm1
2017-02-06 12:46
433
finseq_3__2031_30.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__2030_23.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__2019_25.min1.thm1
2017-02-06 12:46
868
finseq_3__2016_18.min1.thm1
2017-02-06 12:46
2.3K
finseq_3__2014_37.min1.thm1.tptp
2017-02-06 16:47
414
finseq_3__2014_37.min1.thm1
2017-02-06 12:46
492
finseq_3__2009_24.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__2008_46.min1.thm1
2017-02-06 12:46
2.3K
finseq_3__2007_30.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__2004_21.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__2003_30.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__1996_54.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1993_38.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__1992_38.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__1991_25.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__1985_46.min1.thm1.tptp
2017-02-06 16:47
436
finseq_3__1985_46.min1.thm1
2017-02-06 12:46
502
finseq_3__1983_32.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1982_34.min1.thm1
2017-02-06 12:46
886
finseq_3__1979_36.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__1977_42.min1.thm1
2017-02-06 12:46
2.8K
finseq_3__1976_40.min1.thm1
2017-02-06 12:46
2.5K
finseq_3__1975_21.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__1972_26.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__1968_28.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__1966_40.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__1965_28.min1.thm1
2017-02-06 12:46
2.8K
finseq_3__1963_39.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__1962_36.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__1958_27.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1956_21.min1.thm1
2017-02-06 12:46
745
finseq_3__1954_34.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__1952_64.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__1951_57.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1950_23.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__1939_19.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1938_22.min1.thm1.tptp
2017-02-06 16:47
344
finseq_3__1938_22.min1.thm1
2017-02-06 12:46
409
finseq_3__1935_45.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__1926_49.min1.thm1
2017-02-06 12:46
966
finseq_3__1925_59.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__1921_33.min1.thm1
2017-02-06 12:46
590
finseq_3__1915_29.min1.thm1
2017-02-06 12:46
962
finseq_3__1914_24.min1.thm1.tptp
2017-02-06 16:47
404
finseq_3__1914_24.min1.thm1
2017-02-06 12:46
469
finseq_3__1909_25.min1.thm1
2017-02-06 12:46
748
finseq_3__1904_25.min1.thm1
2017-02-06 12:46
958
finseq_3__1899_20.min1.thm1
2017-02-06 12:46
849
finseq_3__1897_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1895_19.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__1894_21.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1892_31.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1890_21.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__1888_29.min1.thm1
2017-02-06 12:46
2.3K
finseq_3__1887_30.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__1886_26.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__1883_25.min1.thm1
2017-02-06 12:46
646
finseq_3__1879_21.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1866_21.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__1864_18.min1.thm1
2017-02-06 12:46
398
finseq_3__1861_25.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__1860_21.min1.thm1
2017-02-06 12:46
737
finseq_3__1859_23.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__1856_26.min1.thm1.tptp
2017-02-06 16:47
356
finseq_3__1856_26.min1.thm1
2017-02-06 12:46
421
finseq_3__1851_25.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1850_27.min1.thm1
2017-02-06 12:46
855
finseq_3__1847_20.min1.thm1.tptp
2017-02-06 16:47
550
finseq_3__1847_20.min1.thm1
2017-02-06 12:46
612
finseq_3__1841_20.min1.thm1
2017-02-06 12:46
460
finseq_3__1838_27.min1.thm1.tptp
2017-02-06 16:47
489
finseq_3__1838_27.min1.thm1
2017-02-06 12:46
551
finseq_3__1834_27.min1.thm1.tptp
2017-02-06 16:47
477
finseq_3__1834_27.min1.thm1
2017-02-06 12:46
539
finseq_3__1833_30.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__1832_29.min1.thm1
2017-02-06 12:46
2.3K
finseq_3__1831_25.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1830_23.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__1829_51.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__1826_22.min1.thm1.tptp
2017-02-06 16:47
556
finseq_3__1826_22.min1.thm1
2017-02-06 12:46
618
finseq_3__1821_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1809_15.min1.thm1
2017-02-06 12:46
746
finseq_3__1808_13.min1.thm1
2017-02-06 12:46
732
finseq_3__1805_24.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1800_18.min1.thm1
2017-02-06 12:46
2.4K
finseq_3__1798_24.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__1797_24.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__1790_27.min1.thm1
2017-02-06 12:46
2.5K
finseq_3__1786_30.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__1782_31.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__1781_42.min1.thm1
2017-02-06 12:46
2.8K
finseq_3__1780_22.min1.thm1
2017-02-06 12:46
2.5K
finseq_3__1779_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__1778_54.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1777_56.min1.thm1
2017-02-06 12:46
885
finseq_3__1770_26.min1.thm1
2017-02-06 12:46
3.1K
finseq_3__1767_26.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__1764_22.min1.thm1
2017-02-06 12:46
732
finseq_3__1753_16.min1.thm1
2017-02-06 12:46
538
finseq_3__1748_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__1746_19.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1740_23.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__1739_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1736_19.min1.thm1
2017-02-06 12:46
644
finseq_3__1735_47.min1.thm1
2017-02-06 12:46
827
finseq_3__1734_21.min1.thm1
2017-02-06 12:46
934
finseq_3__1725_12.min1.thm1
2017-02-06 12:46
522
finseq_3__1723_18.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1721_18.min1.thm1.tptp
2017-02-06 16:47
331
finseq_3__1721_18.min1.thm1
2017-02-06 12:46
407
finseq_3__1719_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__1715_22.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__1709_21.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__1707_19.min1.thm1
2017-02-06 12:46
656
finseq_3__1706_33.min1.thm1
2017-02-06 12:46
863
finseq_3__1698_28.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__1697_30.min1.thm1.tptp
2017-02-06 16:47
451
finseq_3__1697_30.min1.thm1
2017-02-06 12:46
518
finseq_3__1692_17.min1.thm1
2017-02-06 12:46
696
finseq_3__1691_25.min1.thm1
2017-02-06 12:46
463
finseq_3__1688_19.min1.thm1.tptp
2017-02-06 16:47
270
finseq_3__1688_19.min1.thm1
2017-02-06 12:46
348
finseq_3__1687_20.min1.thm1
2017-02-06 12:46
696
finseq_3__1686_27.min1.thm1
2017-02-06 12:46
700
finseq_3__1682_23.min1.thm1
2017-02-06 12:46
605
finseq_3__1677_17.min1.thm1
2017-02-06 12:46
799
finseq_3__1674_15.min1.thm1
2017-02-06 12:46
700
finseq_3__1673_13.min1.thm1
2017-02-06 12:46
602
finseq_3__1664_19.min1.thm1
2017-02-06 12:46
653
finseq_3__1663_15.min1.thm1
2017-02-06 12:46
272
finseq_3__1662_23.min1.thm1
2017-02-06 12:46
607
finseq_3__1661_26.min1.thm1
2017-02-06 12:46
803
finseq_3__1653_19.min1.thm1.tptp
2017-02-06 16:47
404
finseq_3__1653_19.min1.thm1
2017-02-06 12:46
453
finseq_3__1649_17.min1.thm1
2017-02-06 12:46
547
finseq_3__1648_20.min1.thm1.tptp
2017-02-06 16:47
258
finseq_3__1648_20.min1.thm1
2017-02-06 12:46
333
finseq_3__1642_17.min1.thm1
2017-02-06 12:46
577
finseq_3__1639_41.min1.thm1.tptp
2017-02-06 16:47
453
finseq_3__1639_41.min1.thm1
2017-02-06 12:46
507
finseq_3__1632_19.min1.thm1
2017-02-06 12:46
560
finseq_3__1631_15.min1.thm1
2017-02-06 12:46
272
finseq_3__1630_23.min1.thm1
2017-02-06 12:46
581
finseq_3__1617_20.min1.thm1
2017-02-06 12:46
614
finseq_3__1613_26.min1.thm1
2017-02-06 12:46
616
finseq_3__1602_17.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1601_27.min1.thm1.tptp
2017-02-06 16:47
457
finseq_3__1601_27.min1.thm1
2017-02-06 12:46
527
finseq_3__1596_28.min1.thm1
2017-02-06 12:46
594
finseq_3__1595_22.min1.thm1
2017-02-06 12:46
480
finseq_3__1584_17.min1.thm1
2017-02-06 12:46
574
finseq_3__1583_27.min1.thm1
2017-02-06 12:46
620
finseq_3__1576_14.min1.thm1
2017-02-06 12:46
558
finseq_3__1575_27.min1.thm1.tptp
2017-02-06 16:47
457
finseq_3__1575_27.min1.thm1
2017-02-06 12:46
527
finseq_3__1563_20.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__1562_24.min1.thm1
2017-02-06 12:46
628
finseq_3__1561_17.min1.thm1
2017-02-06 12:46
641
finseq_3__1560_34.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__1558_37.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__1542_19.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__1532_41.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__1528_26.min1.thm1
2017-02-06 12:46
886
finseq_3__1524_24.min1.thm1
2017-02-06 12:46
956
finseq_3__1523_25.min1.thm1
2017-02-06 12:46
956
finseq_3__1514_25.min1.thm1
2017-02-06 12:46
956
finseq_3__1506_24.min1.thm1.tptp
2017-02-06 16:47
430
finseq_3__1506_24.min1.thm1
2017-02-06 12:46
504
finseq_3__1505_25.min1.thm1
2017-02-06 12:46
956
finseq_3__1504_35.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__1498_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__1497_24.min1.thm1
2017-02-06 12:46
653
finseq_3__1489_21.min1.thm1
2017-02-06 12:46
620
finseq_3__1487_39.min1.thm1.tptp
2017-02-06 16:47
518
finseq_3__1487_39.min1.thm1
2017-02-06 12:46
588
finseq_3__1478_37.min1.thm1.tptp
2017-02-06 16:47
518
finseq_3__1478_37.min1.thm1
2017-02-06 12:46
588
finseq_3__1472_29.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1467_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1465_25.min1.thm1
2017-02-06 12:46
958
finseq_3__1464_21.min1.thm1
2017-02-06 12:46
744
finseq_3__1460_25.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1457_24.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__1456_37.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__1455_24.min1.thm1
2017-02-06 12:46
956
finseq_3__1447_16.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__1445_43.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1441_72.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__1440_46.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__1439_41.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1438_63.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1426_20.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__1425_15.min1.thm1
2017-02-06 12:46
688
finseq_3__1424_41.min1.thm1
2017-02-06 12:46
803
finseq_3__1423_17.min1.thm1
2017-02-06 12:46
910
finseq_3__1412_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__1411_32.min1.thm1
2017-02-06 12:46
793
finseq_3__1408_38.min1.thm1
2017-02-06 12:46
664
finseq_3__1407_39.min1.thm1
2017-02-06 12:46
664
finseq_3__1398_19.min1.thm1
2017-02-06 12:46
957
finseq_3__1397_38.min1.thm1.tptp
2017-02-06 16:47
514
finseq_3__1397_38.min1.thm1
2017-02-06 12:46
573
finseq_3__1396_15.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1389_28.min1.thm1
2017-02-06 12:46
468
finseq_3__1388_24.min1.thm1
2017-02-06 12:46
674
finseq_3__1385_16.min1.thm1
2017-02-06 12:46
606
finseq_3__1372_15.min1.thm1.tptp
2017-02-06 16:47
345
finseq_3__1372_15.min1.thm1
2017-02-06 12:46
425
finseq_3__1369_35.min1.thm1
2017-02-06 12:46
131
finseq_3__1368_43.min1.thm1
2017-02-06 12:46
811
finseq_3__1367_22.min1.thm1
2017-02-06 12:46
918
finseq_3__1362_37.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1361_31.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__1360_22.min1.thm1.tptp
2017-02-06 16:47
431
finseq_3__1360_22.min1.thm1
2017-02-06 12:46
505
finseq_3__1356_17.min1.thm1
2017-02-06 12:46
919
finseq_3__1353_34.min1.thm1
2017-02-06 12:46
2.7K
finseq_3__1352_30.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1350_15.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1340_16.min1.thm1
2017-02-06 12:46
364
finseq_3__1337_23.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1335_25.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1332_21.min1.thm1
2017-02-06 12:46
942
finseq_3__1331_18.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1325_23.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1324_26.min1.thm1
2017-02-06 12:46
844
finseq_3__1323_25.min1.thm1
2017-02-06 12:46
929
finseq_3__1321_26.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__1320_47.min1.thm1
2017-02-06 12:46
823
finseq_3__1319_21.min1.thm1
2017-02-06 12:46
930
finseq_3__1315_18.min1.thm1.tptp
2017-02-06 16:47
556
finseq_3__1315_18.min1.thm1
2017-02-06 12:46
618
finseq_3__1309_18.min1.thm1
2017-02-06 12:46
468
finseq_3__1306_25.min1.thm1
2017-02-06 12:46
640
finseq_3__1304_21.min1.thm1
2017-02-06 12:46
412
finseq_3__1303_23.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1299_23.min1.thm1
2017-02-06 12:46
460
finseq_3__1293_25.min1.thm1
2017-02-06 12:46
619
finseq_3__1292_28.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1290_33.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__1285_45.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__1284_24.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__1267_17.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__1266_23.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1262_18.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__1260_37.min1.thm1
2017-02-06 12:46
460
finseq_3__1259_25.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__1247_36.min1.thm1
2017-02-06 12:46
707
finseq_3__1244_15.min1.thm1
2017-02-06 12:46
754
finseq_3__1242_12.min1.thm1.tptp
2017-02-06 16:47
258
finseq_3__1242_12.min1.thm1
2017-02-06 12:46
323
finseq_3__1240_20.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__1234_68.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1225_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1215_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1214_15.min1.thm1
2017-02-06 12:46
827
finseq_3__1204_21.min1.thm1
2017-02-06 12:46
630
finseq_3__1198_17.min1.thm1
2017-02-06 12:46
548
finseq_3__1197_37.min1.thm1
2017-02-06 12:46
554
finseq_3__1194_19.min1.thm1
2017-02-06 12:46
725
finseq_3__1193_29.min1.thm1
2017-02-06 12:46
777
finseq_3__1192_40.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1182_35.min1.thm1
2017-02-06 12:46
592
finseq_3__1181_27.min1.thm1.tptp
2017-02-06 16:47
284
finseq_3__1181_27.min1.thm1
2017-02-06 12:46
361
finseq_3__1175_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__1174_37.min1.thm1
2017-02-06 12:46
248
finseq_3__1173_29.min1.thm1
2017-02-06 12:46
764
finseq_3__1171_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1170_29.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__1168_42.min1.thm1
2017-02-06 12:46
918
finseq_3__1162_14.min1.thm1.tptp
2017-02-06 16:47
287
finseq_3__1162_14.min1.thm1
2017-02-06 12:46
364
finseq_3__1160_11.min1.thm1
2017-02-06 12:46
892
finseq_3__1159_43.min1.thm1
2017-02-06 12:46
457
finseq_3__1150_44.min1.thm1
2017-02-06 12:46
488
finseq_3__1147_51.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1144_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1143_19.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1140_26.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1139_22.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__1138_31.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__1137_28.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1136_25.min1.thm1
2017-02-06 12:46
739
finseq_3__1133_32.min1.thm1.tptp
2017-02-06 16:47
443
finseq_3__1133_32.min1.thm1
2017-02-06 12:46
511
finseq_3__1131_51.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__1130_30.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__1128_31.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__1126_26.min1.thm1
2017-02-06 12:46
477
finseq_3__1124_20.min1.thm1.tptp
2017-02-06 16:47
322
finseq_3__1124_20.min1.thm1
2017-02-06 12:46
387
finseq_3__1117_27.min1.thm1
2017-02-06 12:46
763
finseq_3__1116_47.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1115_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__1112_18.min1.thm1.tptp
2017-02-06 16:47
484
finseq_3__1112_18.min1.thm1
2017-02-06 12:46
546
finseq_3__1110_28.min1.thm1
2017-02-06 12:46
757
finseq_3__1104_37.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__1102_47.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__1100_32.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__1094_41.min1.thm1
2017-02-06 12:46
574
finseq_3__1090_14.min1.thm1.tptp
2017-02-06 16:47
566
finseq_3__1090_14.min1.thm1
2017-02-06 12:46
633
finseq_3__1072_24.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1071_22.min1.thm1
2017-02-06 12:46
944
finseq_3__1068_24.min1.thm1
2017-02-06 12:46
863
finseq_3__1067_15.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1064_24.min1.thm1
2017-02-06 12:46
861
finseq_3__1063_19.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__1053_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1050_21.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__1048_19.min1.thm1
2017-02-06 12:46
708
finseq_3__1042_20.min1.thm1
2017-02-06 12:46
705
finseq_3__1030_23.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__1025_19.min1.thm1
2017-02-06 12:46
961
finseq_3__1023_43.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1022_20.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__1019_32.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__1018_27.min1.thm1
2017-02-06 12:46
601
finseq_3__1017_22.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__1016_22.min1.thm1.tptp
2017-02-06 16:47
330
finseq_3__1016_22.min1.thm1
2017-02-06 12:46
395
finseq_3__1005_23.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__1002_15.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__999_15.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__998_18.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__996_19.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__993_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__989_27.min1.thm1
2017-02-06 12:46
757
finseq_3__986_38.min1.thm1.tptp
2017-02-06 16:47
489
finseq_3__986_38.min1.thm1
2017-02-06 12:46
557
finseq_3__984_39.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__980_23.min1.thm1
2017-02-06 12:46
597
finseq_3__979_18.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__978_53.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__977_32.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__975_23.min1.thm1
2017-02-06 12:46
597
finseq_3__972_25.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__969_17.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__968_25.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__966_20.min1.thm1
2017-02-06 12:46
941
finseq_3__965_53.min1.thm1
2017-02-06 12:46
568
finseq_3__952_33.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__950_20.min1.thm1.tptp
2017-02-06 16:47
252
finseq_3__950_20.min1.thm1
2017-02-06 12:46
329
finseq_3__944_20.min1.thm1.tptp
2017-02-06 16:47
252
finseq_3__944_20.min1.thm1
2017-02-06 12:46
329
finseq_3__938_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__931_43.min1.thm1
2017-02-06 12:46
536
finseq_3__920_16.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__918_27.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__917_27.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__915_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__914_26.min1.thm1.tptp
2017-02-06 16:47
413
finseq_3__914_26.min1.thm1
2017-02-06 12:46
469
finseq_3__913_25.min1.thm1.tptp
2017-02-06 16:47
413
finseq_3__913_25.min1.thm1
2017-02-06 12:46
469
finseq_3__911_28.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__909_11.min1.thm1
2017-02-06 12:46
597
finseq_3__908_32.min1.thm1
2017-02-06 12:46
746
finseq_3__907_29.min1.thm1
2017-02-06 12:46
583
finseq_3__905_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__902_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__901_17.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__892_17.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__891_22.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__890_22.min1.thm1
2017-02-06 12:46
529
finseq_3__888_31.min1.thm1
2017-02-06 12:46
600
finseq_3__887_19.min1.thm1.tptp
2017-02-06 16:47
292
finseq_3__887_19.min1.thm1
2017-02-06 12:46
370
finseq_3__885_20.min1.thm1
2017-02-06 12:46
407
finseq_3__876_17.min1.thm1
2017-02-06 12:46
572
finseq_3__875_13.min1.thm1
2017-02-06 12:46
484
finseq_3__865_11.min1.thm1
2017-02-06 12:46
946
finseq_3__864_19.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__863_15.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__861_24.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__860_35.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__859_16.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__856_20.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__852_15.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__850_35.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__849_16.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__846_15.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__836_13.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__826_30.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__825_26.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__824_31.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__820_25.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__816_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__815_49.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__814_25.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__811_34.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__810_30.min1.thm1
2017-02-06 12:46
537
finseq_3__809_32.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__803_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__802_49.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__801_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__798_34.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__797_25.min1.thm1
2017-02-06 12:46
535
finseq_3__796_29.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__793_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__787_24.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__778_25.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__774_25.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__773_28.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__772_33.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__769_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__768_49.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__767_26.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__764_34.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__763_30.min1.thm1
2017-02-06 12:46
537
finseq_3__756_25.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__755_29.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__749_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__748_49.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__747_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__744_34.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__743_25.min1.thm1
2017-02-06 12:46
535
finseq_3__742_29.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__739_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__737_64.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__736_42.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__733_25.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__732_29.min1.thm1
2017-02-06 12:46
2.1K
finseq_3__730_21.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__729_54.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__728_32.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__725_19.min1.thm1
2017-02-06 12:46
311
finseq_3__720_17.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__719_55.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__718_29.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__713_22.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__710_19.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__709_28.min1.thm1
2017-02-06 12:46
899
finseq_3__706_23.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__705_43.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__704_20.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__701_28.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__698_47.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__697_23.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__692_21.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__689_30.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__677_12.min1.thm1
2017-02-06 12:46
943
finseq_3__666_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__665_49.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__664_26.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__661_34.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__660_30.min1.thm1.tptp
2017-02-06 16:47
381
finseq_3__660_30.min1.thm1
2017-02-06 12:46
443
finseq_3__659_29.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__653_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__652_49.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__651_29.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__650_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__647_34.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__646_30.min1.thm1
2017-02-06 12:46
547
finseq_3__645_34.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__642_26.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__636_24.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__627_25.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__623_25.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__622_28.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__621_33.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__618_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__617_49.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__616_26.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__613_34.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__612_30.min1.thm1.tptp
2017-02-06 16:47
381
finseq_3__612_30.min1.thm1
2017-02-06 12:46
443
finseq_3__611_29.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__605_25.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__604_29.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__601_28.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__600_25.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__598_34.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__597_33.min1.thm1
2017-02-06 12:46
2.2K
finseq_3__595_38.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__592_29.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__591_49.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__590_26.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__587_34.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__586_30.min1.thm1
2017-02-06 12:46
547
finseq_3__585_29.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__584_29.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__581_26.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__579_54.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__577_54.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__576_32.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__573_19.min1.thm1
2017-02-06 12:46
311
finseq_3__571_25.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__568_22.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__567_55.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__564_25.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__562_35.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__561_40.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__559_17.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__558_55.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__557_29.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__547_25.min1.thm1
2017-02-06 12:46
757
finseq_3__546_27.min1.thm1
2017-02-06 12:46
729
finseq_3__545_29.min1.thm1
2017-02-06 12:46
785
finseq_3__543_17.min1.thm1.tptp
2017-02-06 16:47
283
finseq_3__543_17.min1.thm1
2017-02-06 12:46
357
finseq_3__539_15.min1.thm1
2017-02-06 12:46
778
finseq_3__538_15.min1.thm1
2017-02-06 12:46
871
finseq_3__537_48.min1.thm1
2017-02-06 12:46
596
finseq_3__536_20.min1.thm1
2017-02-06 12:46
698
finseq_3__533_14.min1.thm1
2017-02-06 12:46
868
finseq_3__531_18.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__524_46.min1.thm1
2017-02-06 12:46
880
finseq_3__520_41.min1.thm1
2017-02-06 12:46
739
finseq_3__518_31.min1.thm1
2017-02-06 12:46
691
finseq_3__516_42.min1.thm1.tptp
2017-02-06 16:47
393
finseq_3__516_42.min1.thm1
2017-02-06 12:46
467
finseq_3__515_35.min1.thm1
2017-02-06 12:46
449
finseq_3__501_10.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__486_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__485_29.min1.thm1
2017-02-06 12:46
569
finseq_3__477_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__476_42.min1.thm1
2017-02-06 12:46
1.7K
finseq_3__475_24.min1.thm1
2017-02-06 12:46
442
finseq_3__474_21.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__470_41.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__469_35.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__456_24.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__449_24.min1.thm1
2017-02-06 12:46
1.9K
finseq_3__446_16.min1.thm1
2017-02-06 12:46
924
finseq_3__444_35.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__443_46.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__442_65.min1.thm1
2017-02-06 12:46
846
finseq_3__441_27.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__440_27.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__439_24.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__437_27.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__430_21.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__421_50.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__420_62.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__416_33.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__406_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__405_21.min1.thm1
2017-02-06 12:46
574
finseq_3__399_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__398_19.min1.thm1
2017-02-06 12:46
576
finseq_3__392_17.min1.thm1
2017-02-06 12:46
781
finseq_3__391_19.min1.thm1
2017-02-06 12:46
576
finseq_3__386_19.min1.thm1.tptp
2017-02-06 16:47
248
finseq_3__386_19.min1.thm1
2017-02-06 12:46
319
finseq_3__383_17.min1.thm1.tptp
2017-02-06 16:47
224
finseq_3__383_17.min1.thm1
2017-02-06 12:46
301
finseq_3__379_17.min1.thm1
2017-02-06 12:46
584
finseq_3__378_17.min1.thm1
2017-02-06 12:46
704
finseq_3__370_17.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__369_23.min1.thm1
2017-02-06 12:46
956
finseq_3__368_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__366_14.min1.thm1
2017-02-06 12:46
460
finseq_3__359_17.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__358_23.min1.thm1
2017-02-06 12:46
956
finseq_3__357_25.min1.thm1
2017-02-06 12:46
956
finseq_3__350_23.min1.thm1
2017-02-06 12:46
956
finseq_3__342_17.min1.thm1
2017-02-06 12:46
2.5K
finseq_3__341_15.min1.thm1
2017-02-06 12:46
2.3K
finseq_3__340_21.min1.thm1
2017-02-06 12:46
2.7K
finseq_3__335_19.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__334_13.min1.thm1
2017-02-06 12:46
667
finseq_3__333_17.min1.thm1
2017-02-06 12:46
690
finseq_3__322_17.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__321_20.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__316_19.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__315_27.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__306_17.min1.thm1
2017-02-06 12:46
1.5K
finseq_3__305_25.min1.thm1
2017-02-06 12:46
1.0K
finseq_3__299_40.min1.thm1
2017-02-06 12:46
671
finseq_3__295_14.min1.thm1
2017-02-06 12:46
936
finseq_3__288_14.min1.thm1
2017-02-06 12:46
336
finseq_3__285_18.min1.thm1
2017-02-06 12:46
348
finseq_3__282_25.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__276_25.min1.thm1
2017-02-06 12:46
612
finseq_3__274_14.min1.thm1
2017-02-06 12:46
869
finseq_3__271_32.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__270_23.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__268_23.min1.thm1
2017-02-06 12:46
891
finseq_3__267_19.min1.thm1
2017-02-06 12:46
398
finseq_3__260_17.min1.thm1
2017-02-06 12:46
185
finseq_3__252_13.min1.thm1
2017-02-06 12:46
189
finseq_3__242_14.min1.thm1
2017-02-06 12:46
248
finseq_3__239_21.min1.thm1
2017-02-06 12:46
646
finseq_3__238_25.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__237_28.min1.thm1
2017-02-06 12:46
776
finseq_3__236_20.min1.thm1
2017-02-06 12:46
480
finseq_3__235_19.min1.thm1
2017-02-06 12:46
419
finseq_3__227_13.min1.thm1
2017-02-06 12:46
189
finseq_3__218_17.min1.thm1.tptp
2017-02-06 16:47
393
finseq_3__218_17.min1.thm1
2017-02-06 12:46
467
finseq_3__217_42.min1.thm1
2017-02-06 12:46
663
finseq_3__216_18.min1.thm1
2017-02-06 12:46
548
finseq_3__210_17.min1.thm1
2017-02-06 12:46
711
finseq_3__209_15.min1.thm1
2017-02-06 12:46
736
finseq_3__204_37.min1.thm1
2017-02-06 12:46
967
finseq_3__201_24.min1.thm1.tptp
2017-02-06 16:47
347
finseq_3__201_24.min1.thm1
2017-02-06 12:46
415
finseq_3__194_17.min1.thm1
2017-02-06 12:46
1.6K
finseq_3__193_25.min1.thm1.tptp
2017-02-06 16:47
306
finseq_3__193_25.min1.thm1
2017-02-06 12:46
387
finseq_3__192_36.min1.thm1.tptp
2017-02-06 16:47
386
finseq_3__192_36.min1.thm1
2017-02-06 12:46
463
finseq_3__185_11.min1.thm1
2017-02-06 12:46
801
finseq_3__184_16.min1.thm1.tptp
2017-02-06 16:47
302
finseq_3__184_16.min1.thm1
2017-02-06 12:46
367
finseq_3__182_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__181_37.min1.thm1
2017-02-06 12:46
577
finseq_3__178_29.min1.thm1
2017-02-06 12:46
761
finseq_3__169_16.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__165_26.min1.thm1
2017-02-06 12:46
681
finseq_3__163_47.min1.thm1
2017-02-06 12:46
607
finseq_3__153_17.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__150_13.min1.thm1
2017-02-06 12:46
543
finseq_3__147_17.min1.thm1
2017-02-06 12:46
811
finseq_3__133_17.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__131_17.min1.thm1
2017-02-06 12:46
533
finseq_3__122_24.min1.thm1
2017-02-06 12:46
1.4K
finseq_3__115_17.min1.thm1
2017-02-06 12:46
1.8K
finseq_3__114_15.min1.thm1
2017-02-06 12:46
728
finseq_3__113_17.min1.thm1
2017-02-06 12:46
2.3K
finseq_3__104_23.min1.thm1
2017-02-06 12:46
2.0K
finseq_3__103_15.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__102_17.min1.thm1
2017-02-06 12:46
1.3K
finseq_3__94_20.min1.thm1
2017-02-06 12:46
740
finseq_3__93_17.min1.thm1
2017-02-06 12:46
400
finseq_3__91_42.min1.thm1.tptp
2017-02-06 16:47
278
finseq_3__91_42.min1.thm1
2017-02-06 12:46
352
finseq_3__85_27.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__84_44.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__78_25.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__77_42.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__71_23.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__70_40.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__64_21.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__63_38.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__57_19.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__56_36.min1.thm1
2017-02-06 12:46
1.2K
finseq_3__50_17.min1.thm1
2017-02-06 12:46
1.1K
finseq_3__49_34.min1.thm1
2017-02-06 12:46
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80