Index of /~mptp/1147/MPTP2/ilp0/nat_4
Name
Last modified
Size
Description
Parent Directory
-
nat_4__53_29.min1.thm1
2017-02-06 12:44
1.8K
nat_4__64_10.min1.thm1
2017-02-06 12:44
2.0K
nat_4__65_17.min1.thm1
2017-02-06 12:44
925
nat_4__81_20.min1.thm1
2017-02-06 12:44
1.1K
nat_4__83_17.min1.thm1
2017-02-06 12:44
2.2K
nat_4__84_15.min1.thm1
2017-02-06 12:44
927
nat_4__87_29.min1.thm1
2017-02-06 12:44
1.1K
nat_4__91_22.min1.thm1
2017-02-06 12:44
1.4K
nat_4__95_23.min1.thm1
2017-02-06 12:44
2.0K
nat_4__96_28.min1.thm1
2017-02-06 12:44
1.0K
nat_4__100_16.min1.thm1
2017-02-06 12:44
436
nat_4__102_8.min1.thm1
2017-02-06 12:44
1.9K
nat_4__104_14.min1.thm1
2017-02-06 12:44
374
nat_4__118_15.min1.thm1
2017-02-06 12:44
364
nat_4__122_23.min1.thm1
2017-02-06 12:44
1.2K
nat_4__133_19.min1.thm1
2017-02-06 12:44
1.8K
nat_4__135_40.min1.thm1
2017-02-06 12:44
2.8K
nat_4__148_21.min1.thm1
2017-02-06 12:44
1.8K
nat_4__159_17.min1.thm1
2017-02-06 12:44
185
nat_4__166_25.min1.thm1
2017-02-06 12:44
2.2K
nat_4__167_22.min1.thm1
2017-02-06 12:44
1.3K
nat_4__168_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__171_25.min1.thm1
2017-02-06 12:44
910
nat_4__174_28.min1.thm1
2017-02-06 12:44
926
nat_4__175_42.min1.thm1
2017-02-06 12:44
1.0K
nat_4__181_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__198_42.min1.thm1
2017-02-06 12:44
1.6K
nat_4__201_23.min1.thm1
2017-02-06 12:44
1.8K
nat_4__205_33.min1.thm1
2017-02-06 12:44
1.5K
nat_4__220_15.min1.thm1
2017-02-06 12:44
181
nat_4__224_19.min1.thm1
2017-02-06 12:44
1.0K
nat_4__230_35.min1.thm1
2017-02-06 12:44
1.0K
nat_4__231_25.min1.thm1
2017-02-06 12:44
1.0K
nat_4__264_20.min1.thm1
2017-02-06 12:44
2.9K
nat_4__272_17.min1.thm1
2017-02-06 12:44
1.6K
nat_4__274_37.min1.thm1
2017-02-06 12:44
1.3K
nat_4__275_27.min1.thm1
2017-02-06 12:44
1.2K
nat_4__309_17.min1.thm1
2017-02-06 12:44
1.7K
nat_4__310_19.min1.thm1
2017-02-06 12:44
2.2K
nat_4__316_16.min1.thm1
2017-02-06 12:44
364
nat_4__321_13.min1.thm1
2017-02-06 12:44
213
nat_4__324_21.min1.thm1
2017-02-06 12:44
769
nat_4__329_17.min1.thm1
2017-02-06 12:44
914
nat_4__332_15.min1.thm1
2017-02-06 12:44
183
nat_4__335_18.min1.thm1
2017-02-06 12:44
775
nat_4__337_22.min1.thm1
2017-02-06 12:44
1.3K
nat_4__338_44.min1.thm1
2017-02-06 12:44
1.0K
nat_4__346_17.min1.thm1
2017-02-06 12:44
525
nat_4__350_13.min1.thm1
2017-02-06 12:44
1.1K
nat_4__351_20.min1.thm1
2017-02-06 12:44
1.2K
nat_4__356_23.min1.thm1
2017-02-06 12:44
1.8K
nat_4__358_44.min1.thm1
2017-02-06 12:44
2.8K
nat_4__362_46.min1.thm1
2017-02-06 12:44
1.0K
nat_4__363_23.min1.thm1
2017-02-06 12:44
1.8K
nat_4__366_40.min1.thm1
2017-02-06 12:44
1.9K
nat_4__374_29.min1.thm1
2017-02-06 12:44
1.7K
nat_4__381_14.min1.thm1
2017-02-06 12:44
506
nat_4__398_18.min1.thm1
2017-02-06 12:44
1.7K
nat_4__400_29.min1.thm1
2017-02-06 12:44
1.3K
nat_4__403_25.min1.thm1
2017-02-06 12:44
1.1K
nat_4__405_17.min1.thm1
2017-02-06 12:44
622
nat_4__406_28.min1.thm1
2017-02-06 12:44
1.2K
nat_4__423_11.min1.thm1
2017-02-06 12:44
971
nat_4__424_43.min1.thm1
2017-02-06 12:44
337
nat_4__424_43.min1.thm1.tptp
2017-02-06 16:47
251
nat_4__426_21.min1.thm1
2017-02-06 12:44
1.1K
nat_4__428_16.min1.thm1
2017-02-06 12:44
434
nat_4__429_33.min1.thm1
2017-02-06 12:44
2.3K
nat_4__430_17.min1.thm1
2017-02-06 12:44
1.5K
nat_4__431_23.min1.thm1
2017-02-06 12:44
2.4K
nat_4__438_24.min1.thm1
2017-02-06 12:44
588
nat_4__440_19.min1.thm1
2017-02-06 12:44
2.0K
nat_4__443_16.min1.thm1
2017-02-06 12:44
1.8K
nat_4__447_16.min1.thm1
2017-02-06 12:44
1.1K
nat_4__451_28.min1.thm1
2017-02-06 12:44
2.5K
nat_4__460_25.min1.thm1
2017-02-06 12:44
710
nat_4__461_19.min1.thm1
2017-02-06 12:44
1.1K
nat_4__463_14.min1.thm1
2017-02-06 12:44
434
nat_4__464_27.min1.thm1
2017-02-06 12:44
849
nat_4__467_29.min1.thm1
2017-02-06 12:44
1.1K
nat_4__470_26.min1.thm1
2017-02-06 12:44
2.4K
nat_4__473_21.min1.thm1
2017-02-06 12:44
2.4K
nat_4__476_9.min1.thm1
2017-02-06 12:44
1.2K
nat_4__478_32.min1.thm1
2017-02-06 12:44
1.0K
nat_4__479_20.min1.thm1
2017-02-06 12:44
1.6K
nat_4__480_27.min1.thm1
2017-02-06 12:44
1.9K
nat_4__487_20.min1.thm1
2017-02-06 12:44
1.1K
nat_4__489_40.min1.thm1
2017-02-06 12:44
1.0K
nat_4__499_11.min1.thm1
2017-02-06 12:44
175
nat_4__507_31.min1.thm1
2017-02-06 12:44
1.8K
nat_4__509_10.min1.thm1
2017-02-06 12:44
714
nat_4__511_42.min1.thm1
2017-02-06 12:44
1.5K
nat_4__529_11.min1.thm1
2017-02-06 12:44
1.3K
nat_4__530_16.min1.thm1
2017-02-06 12:44
425
nat_4__531_11.min1.thm1
2017-02-06 12:44
517
nat_4__532_17.min1.thm1
2017-02-06 12:44
594
nat_4__544_11.min1.thm1
2017-02-06 12:44
247
nat_4__548_18.min1.thm1
2017-02-06 12:44
472
nat_4__553_12.min1.thm1
2017-02-06 12:44
1.2K
nat_4__557_29.min1.thm1
2017-02-06 12:44
3.4K
nat_4__561_16.min1.thm1
2017-02-06 12:44
3.0K
nat_4__562_19.min1.thm1
2017-02-06 12:44
3.0K
nat_4__563_19.min1.thm1
2017-02-06 12:44
4.1K
nat_4__577_27.min1.thm1
2017-02-06 12:44
492
nat_4__589_27.min1.thm1
2017-02-06 12:44
643
nat_4__590_37.min1.thm1
2017-02-06 12:44
760
nat_4__591_17.min1.thm1
2017-02-06 12:44
857
nat_4__598_39.min1.thm1
2017-02-06 12:44
1.0K
nat_4__615_18.min1.thm1
2017-02-06 12:44
691
nat_4__616_37.min1.thm1
2017-02-06 12:44
861
nat_4__618_23.min1.thm1
2017-02-06 12:44
364
nat_4__619_21.min1.thm1
2017-02-06 12:44
2.0K
nat_4__621_17.min1.thm1
2017-02-06 12:44
2.1K
nat_4__633_17.min1.thm1
2017-02-06 12:44
1.2K
nat_4__634_14.min1.thm1
2017-02-06 12:44
1.1K
nat_4__637_18.min1.thm1
2017-02-06 12:44
1.2K
nat_4__639_21.min1.thm1
2017-02-06 12:44
1.2K
nat_4__640_14.min1.thm1
2017-02-06 12:44
2.3K
nat_4__641_16.min1.thm1
2017-02-06 12:44
197
nat_4__652_61.min1.thm1
2017-02-06 12:44
823
nat_4__655_13.min1.thm1
2017-02-06 12:44
785
nat_4__661_23.min1.thm1
2017-02-06 12:44
296
nat_4__661_23.min1.thm1.tptp
2017-02-06 16:47
210
nat_4__662_15.min1.thm1
2017-02-06 12:44
1.3K
nat_4__663_15.min1.thm1
2017-02-06 12:44
2.4K
nat_4__664_19.min1.thm1
2017-02-06 12:44
1.7K
nat_4__665_22.min1.thm1
2017-02-06 12:44
271
nat_4__665_22.min1.thm1.tptp
2017-02-06 16:47
185
nat_4__670_16.min1.thm1
2017-02-06 12:44
530
nat_4__673_29.min1.thm1
2017-02-06 12:44
663
nat_4__680_12.min1.thm1
2017-02-06 12:44
448
nat_4__681_12.min1.thm1
2017-02-06 12:44
1.5K
nat_4__682_29.min1.thm1
2017-02-06 12:44
927
nat_4__685_17.min1.thm1
2017-02-06 12:44
1.1K
nat_4__685_17.min1.thm1.tptp
2017-02-06 16:47
1.0K
nat_4__700_17.min1.thm1
2017-02-06 12:44
486
nat_4__703_17.min1.thm1
2017-02-06 12:44
765
nat_4__718_39.min1.thm1
2017-02-06 12:44
1.0K
nat_4__719_16.min1.thm1
2017-02-06 12:44
664
nat_4__720_21.min1.thm1
2017-02-06 12:44
829
nat_4__722_12.min1.thm1
2017-02-06 12:44
1.3K
nat_4__724_32.min1.thm1
2017-02-06 12:44
1.6K
nat_4__725_23.min1.thm1
2017-02-06 12:44
2.3K
nat_4__738_44.min1.thm1
2017-02-06 12:44
1.4K
nat_4__740_10.min1.thm1
2017-02-06 12:44
205
nat_4__741_11.min1.thm1
2017-02-06 12:44
1.0K
nat_4__742_17.min1.thm1
2017-02-06 12:44
1.5K
nat_4__743_11.min1.thm1
2017-02-06 12:44
435
nat_4__744_21.min1.thm1
2017-02-06 12:44
1.7K
nat_4__745_17.min1.thm1
2017-02-06 12:44
2.1K
nat_4__785_17.min1.thm1
2017-02-06 12:44
1.2K
nat_4__795_27.min1.thm1
2017-02-06 12:44
2.0K
nat_4__796_25.min1.thm1
2017-02-06 12:44
1.6K
nat_4__798_15.min1.thm1
2017-02-06 12:44
1.2K
nat_4__814_15.min1.thm1
2017-02-06 12:44
1.6K
nat_4__818_20.min1.thm1
2017-02-06 12:44
1.5K
nat_4__819_23.min1.thm1
2017-02-06 12:44
1.5K
nat_4__821_13.min1.thm1
2017-02-06 12:44
1.2K
nat_4__822_16.min1.thm1
2017-02-06 12:44
2.5K
nat_4__842_14.min1.thm1
2017-02-06 12:44
1.0K
nat_4__848_15.min1.thm1
2017-02-06 12:44
2.1K
nat_4__851_17.min1.thm1
2017-02-06 12:44
1.9K
nat_4__852_21.min1.thm1
2017-02-06 12:44
1.3K
nat_4__853_17.min1.thm1
2017-02-06 12:44
1.5K
nat_4__878_16.min1.thm1
2017-02-06 12:44
2.2K
nat_4__880_30.min1.thm1
2017-02-06 12:44
508
nat_4__881_29.min1.thm1
2017-02-06 12:44
2.1K
nat_4__884_16.min1.thm1
2017-02-06 12:44
454
nat_4__891_16.min1.thm1
2017-02-06 12:44
1.0K
nat_4__895_17.min1.thm1
2017-02-06 12:44
578
nat_4__922_10.min1.thm1
2017-02-06 12:44
1.0K
nat_4__923_10.min1.thm1
2017-02-06 12:44
413
nat_4__923_10.min1.thm1.tptp
2017-02-06 16:47
348
nat_4__924_28.min1.thm1
2017-02-06 12:44
1.1K
nat_4__927_23.min1.thm1
2017-02-06 12:44
1.1K
nat_4__930_13.min1.thm1
2017-02-06 12:44
192
nat_4__933_42.min1.thm1
2017-02-06 12:44
1.4K
nat_4__934_21.min1.thm1
2017-02-06 12:44
3.4K
nat_4__939_21.min1.thm1
2017-02-06 12:44
1.4K
nat_4__940_12.min1.thm1
2017-02-06 12:44
1.5K
nat_4__943_20.min1.thm1
2017-02-06 12:44
1.8K
nat_4__945_21.min1.thm1
2017-02-06 12:44
1.4K
nat_4__946_12.min1.thm1
2017-02-06 12:44
1.5K
nat_4__948_20.min1.thm1
2017-02-06 12:44
1.8K
nat_4__949_21.min1.thm1
2017-02-06 12:44
765
nat_4__960_12.min1.thm1
2017-02-06 12:44
413
nat_4__960_12.min1.thm1.tptp
2017-02-06 16:47
348
nat_4__962_22.min1.thm1
2017-02-06 12:44
1.1K
nat_4__977_37.min1.thm1
2017-02-06 12:44
727
nat_4__978_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__992_11.min1.thm1
2017-02-06 12:44
413
nat_4__992_11.min1.thm1.tptp
2017-02-06 16:47
348
nat_4__993_28.min1.thm1
2017-02-06 12:44
1.1K
nat_4__995_19.min1.thm1
2017-02-06 12:44
2.4K
nat_4__996_38.min1.thm1
2017-02-06 12:44
894
nat_4__1000_26.min1.thm1
2017-02-06 12:44
644
nat_4__1001_26.min1.thm1
2017-02-06 12:44
862
nat_4__1003_15.min1.thm1
2017-02-06 12:44
790
nat_4__1005_25.min1.thm1
2017-02-06 12:44
1.1K
nat_4__1012_26.min1.thm1
2017-02-06 12:44
902
nat_4__1014_14.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1015_34.min1.thm1
2017-02-06 12:44
345
nat_4__1015_34.min1.thm1.tptp
2017-02-06 16:47
257
nat_4__1019_41.min1.thm1
2017-02-06 12:44
620
nat_4__1034_30.min1.thm1
2017-02-06 12:44
2.8K
nat_4__1036_29.min1.thm1
2017-02-06 12:44
424
nat_4__1037_30.min1.thm1
2017-02-06 12:44
523
nat_4__1040_42.min1.thm1
2017-02-06 12:44
1.1K
nat_4__1049_17.min1.thm1
2017-02-06 12:44
405
nat_4__1051_25.min1.thm1
2017-02-06 12:44
2.4K
nat_4__1057_13.min1.thm1
2017-02-06 12:44
456
nat_4__1059_27.min1.thm1
2017-02-06 12:44
1.1K
nat_4__1060_27.min1.thm1
2017-02-06 12:44
1.1K
nat_4__1064_31.min1.thm1
2017-02-06 12:44
2.2K
nat_4__1066_18.min1.thm1
2017-02-06 12:44
634
nat_4__1066_18.min1.thm1.tptp
2017-02-06 16:47
552
nat_4__1083_29.min1.thm1
2017-02-06 12:44
1.3K
nat_4__1088_31.min1.thm1
2017-02-06 12:44
424
nat_4__1089_32.min1.thm1
2017-02-06 12:44
525
nat_4__1090_47.min1.thm1
2017-02-06 12:44
939
nat_4__1091_25.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1092_29.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1094_30.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1097_17.min1.thm1
2017-02-06 12:44
1.3K
nat_4__1098_21.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1100_16.min1.thm1
2017-02-06 12:44
618
nat_4__1114_75.min1.thm1
2017-02-06 12:44
1.6K
nat_4__1116_12.min1.thm1
2017-02-06 12:44
848
nat_4__1118_6.min1.thm1
2017-02-06 12:44
1.6K
nat_4__1120_12.min1.thm1
2017-02-06 12:44
848
nat_4__1121_14.min1.thm1
2017-02-06 12:44
2.6K
nat_4__1123_17.min1.thm1
2017-02-06 12:44
1.1K
nat_4__1134_13.min1.thm1
2017-02-06 12:44
403
nat_4__1134_13.min1.thm1.tptp
2017-02-06 16:47
338
nat_4__1136_40.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1138_28.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1140_53.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1141_45.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1142_26.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1168_21.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1170_13.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1175_15.min1.thm1
2017-02-06 12:44
2.4K
nat_4__1176_15.min1.thm1
2017-02-06 12:44
2.2K
nat_4__1178_17.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1188_13.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1193_15.min1.thm1
2017-02-06 12:44
2.4K
nat_4__1194_15.min1.thm1
2017-02-06 12:44
2.2K
nat_4__1196_18.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1197_13.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1198_18.min1.thm1
2017-02-06 12:44
2.0K
nat_4__1201_35.min1.thm1
2017-02-06 12:44
854
nat_4__1207_13.min1.thm1
2017-02-06 12:44
2.1K
nat_4__1217_10.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1241_16.min1.thm1
2017-02-06 12:44
2.0K
nat_4__1242_15.min1.thm1
2017-02-06 12:44
1.5K
nat_4__1244_14.min1.thm1
2017-02-06 12:44
2.6K
nat_4__1253_19.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1254_19.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1257_41.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1266_12.min1.thm1
2017-02-06 12:44
716
nat_4__1270_37.min1.thm1
2017-02-06 12:44
862
nat_4__1287_13.min1.thm1
2017-02-06 12:44
260
nat_4__1290_29.min1.thm1
2017-02-06 12:44
1.5K
nat_4__1291_28.min1.thm1
2017-02-06 12:44
2.7K
nat_4__1292_42.min1.thm1
2017-02-06 12:44
765
nat_4__1296_13.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1301_28.min1.thm1
2017-02-06 12:44
1.5K
nat_4__1302_21.min1.thm1
2017-02-06 12:44
3.2K
nat_4__1306_26.min1.thm1
2017-02-06 12:44
1.3K
nat_4__1307_19.min1.thm1
2017-02-06 12:44
1.6K
nat_4__1308_20.min1.thm1
2017-02-06 12:44
2.3K
nat_4__1312_11.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1314_16.min1.thm1
2017-02-06 12:44
2.1K
nat_4__1315_11.min1.thm1
2017-02-06 12:44
1.6K
nat_4__1316_14.min1.thm1
2017-02-06 12:44
2.6K
nat_4__1317_18.min1.thm1
2017-02-06 12:44
1.6K
nat_4__1319_20.min1.thm1
2017-02-06 12:44
2.8K
nat_4__1320_11.min1.thm1
2017-02-06 12:44
1.6K
nat_4__1321_22.min1.thm1
2017-02-06 12:44
3.7K
nat_4__1351_61.min1.thm1
2017-02-06 12:44
701
nat_4__1364_20.min1.thm1
2017-02-06 12:44
2.0K
nat_4__1380_12.min1.thm1
2017-02-06 12:44
2.3K
nat_4__1382_17.min1.thm1
2017-02-06 12:44
605
nat_4__1392_15.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1395_15.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1399_28.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1401_17.min1.thm1
2017-02-06 12:44
1.1K
nat_4__1409_16.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1412_16.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1416_29.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1418_17.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1426_16.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1429_16.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1433_29.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1435_17.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1443_7.min1.thm1
2017-02-06 12:44
866
nat_4__1444_21.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1445_25.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1446_7.min1.thm1
2017-02-06 12:44
866
nat_4__1447_21.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1448_25.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1449_7.min1.thm1
2017-02-06 12:44
709
nat_4__1450_21.min1.thm1
2017-02-06 12:44
819
nat_4__1451_25.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1452_8.min1.thm1
2017-02-06 12:44
869
nat_4__1453_22.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1454_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1455_8.min1.thm1
2017-02-06 12:44
869
nat_4__1456_22.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1457_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1458_8.min1.thm1
2017-02-06 12:44
869
nat_4__1459_22.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1460_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1461_8.min1.thm1
2017-02-06 12:44
869
nat_4__1462_22.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1463_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1464_8.min1.thm1
2017-02-06 12:44
712
nat_4__1465_22.min1.thm1
2017-02-06 12:44
822
nat_4__1466_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1467_8.min1.thm1
2017-02-06 12:44
869
nat_4__1468_22.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1469_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1470_8.min1.thm1
2017-02-06 12:44
869
nat_4__1471_22.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1472_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1473_8.min1.thm1
2017-02-06 12:44
869
nat_4__1474_22.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1475_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1476_9.min1.thm1
2017-02-06 12:44
876
nat_4__1477_22.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1478_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1479_8.min1.thm1
2017-02-06 12:44
869
nat_4__1480_22.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1481_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1482_8.min1.thm1
2017-02-06 12:44
712
nat_4__1483_22.min1.thm1
2017-02-06 12:44
822
nat_4__1484_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1485_9.min1.thm1
2017-02-06 12:44
876
nat_4__1486_22.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1487_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1488_8.min1.thm1
2017-02-06 12:44
869
nat_4__1489_22.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1490_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1491_8.min1.thm1
2017-02-06 12:44
869
nat_4__1492_22.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1501_16.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1504_16.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1508_29.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1510_17.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1518_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1521_16.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1525_29.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1527_17.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1538_23.min1.thm1
2017-02-06 12:44
2.1K
nat_4__1542_19.min1.thm1
2017-02-06 12:44
820
nat_4__1546_16.min1.thm1
2017-02-06 12:44
2.5K
nat_4__1551_76.min1.thm1
2017-02-06 12:44
3.9K
nat_4__1558_10.min1.thm1
2017-02-06 12:44
3.9K
nat_4__1564_69.min1.thm1
2017-02-06 12:44
3.6K
nat_4__1582_14.min1.thm1
2017-02-06 12:44
2.3K
nat_4__1584_17.min1.thm1
2017-02-06 12:44
883
nat_4__1592_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1595_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1598_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1601_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1604_18.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1607_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1610_18.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1613_16.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1616_16.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1620_29.min1.thm1
2017-02-06 12:44
1.5K
nat_4__1622_17.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1630_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1633_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1636_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1639_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1642_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1645_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1648_18.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1651_16.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1654_16.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1658_29.min1.thm1
2017-02-06 12:44
1.5K
nat_4__1660_17.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1668_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1671_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1674_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1677_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1680_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1683_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1686_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1689_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1692_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1698_17.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1706_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1709_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1712_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1715_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1718_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1721_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1724_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1727_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1730_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1734_30.min1.thm1
2017-02-06 12:44
1.5K
nat_4__1736_17.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1744_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1747_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1750_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1753_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1756_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1759_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1762_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1765_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1768_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1772_30.min1.thm1
2017-02-06 12:44
1.5K
nat_4__1774_17.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1782_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1785_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1788_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1791_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1794_20.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1797_20.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1800_20.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1803_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1806_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1810_30.min1.thm1
2017-02-06 12:44
1.5K
nat_4__1812_17.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1820_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1823_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1826_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1829_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1832_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1835_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1838_20.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1841_18.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1844_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__1848_30.min1.thm1
2017-02-06 12:44
1.5K
nat_4__1850_17.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1856_24.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1859_24.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1860_23.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1863_26.min1.thm1
2017-02-06 12:44
1.9K
nat_4__1864_22.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1867_22.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1868_19.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1869_20.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1870_22.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1874_22.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1877_22.min1.thm1
2017-02-06 12:44
1.3K
nat_4__1878_10.min1.thm1
2017-02-06 12:44
966
nat_4__1879_18.min1.thm1
2017-02-06 12:44
1.6K
nat_4__1882_27.min1.thm1
2017-02-06 12:44
1.9K
nat_4__1883_22.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1886_31.min1.thm1
2017-02-06 12:44
1.9K
nat_4__1887_11.min1.thm1
2017-02-06 12:44
769
nat_4__1889_25.min1.thm1
2017-02-06 12:44
879
nat_4__1890_36.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1890_54.min1.thm1
2017-02-06 12:44
1.5K
nat_4__1891_11.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1892_36.min1.thm1
2017-02-06 12:44
713
nat_4__1892_54.min1.thm1
2017-02-06 12:44
1.5K
nat_4__1893_12.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1894_36.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1894_56.min1.thm1
2017-02-06 12:44
2.0K
nat_4__1895_12.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1896_37.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1896_46.min1.thm1
2017-02-06 12:44
1.9K
nat_4__1897_38.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1897_47.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1898_40.min1.thm1
2017-02-06 12:44
879
nat_4__1901_38.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1901_49.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1902_14.min1.thm1
2017-02-06 12:44
1.5K
nat_4__1908_51.min1.thm1
2017-02-06 12:44
2.0K
nat_4__1909_40.min1.thm1
2017-02-06 12:44
937
nat_4__1921_11.min1.thm1
2017-02-06 12:44
533
nat_4__1922_39.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1922_48.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1923_40.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1923_49.min1.thm1
2017-02-06 12:44
1.9K
nat_4__1924_40.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1924_49.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1925_41.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1925_50.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1926_51.min1.thm1
2017-02-06 12:44
1.1K
nat_4__1943_4.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1954_23.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1957_20.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1958_22.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1961_21.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1962_22.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1965_25.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1966_25.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1969_25.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1970_25.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1973_24.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1974_25.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1977_22.min1.thm1
2017-02-06 12:44
1.3K
nat_4__1978_10.min1.thm1
2017-02-06 12:44
966
nat_4__1979_24.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1983_23.min1.thm1
2017-02-06 12:44
1.7K
nat_4__1986_34.min1.thm1
2017-02-06 12:44
1.9K
nat_4__1987_11.min1.thm1
2017-02-06 12:44
769
nat_4__1989_25.min1.thm1
2017-02-06 12:44
879
nat_4__1990_36.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1990_54.min1.thm1
2017-02-06 12:44
1.5K
nat_4__1991_11.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1992_36.min1.thm1
2017-02-06 12:44
713
nat_4__1992_54.min1.thm1
2017-02-06 12:44
1.5K
nat_4__1993_12.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1994_36.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1994_56.min1.thm1
2017-02-06 12:44
2.0K
nat_4__1995_12.min1.thm1
2017-02-06 12:44
1.2K
nat_4__1996_37.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1996_47.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1997_38.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1997_48.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1998_38.min1.thm1
2017-02-06 12:44
1.0K
nat_4__1998_48.min1.thm1
2017-02-06 12:44
1.8K
nat_4__1999_40.min1.thm1
2017-02-06 12:44
879
nat_4__2001_14.min1.thm1
2017-02-06 12:44
1.4K
nat_4__2002_39.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2002_49.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2003_40.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2003_50.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2004_15.min1.thm1
2017-02-06 12:44
1.5K
nat_4__2010_52.min1.thm1
2017-02-06 12:44
2.0K
nat_4__2011_41.min1.thm1
2017-02-06 12:44
940
nat_4__2025_11.min1.thm1
2017-02-06 12:44
606
nat_4__2026_40.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2026_50.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2027_41.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2027_50.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2028_42.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2028_52.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2029_51.min1.thm1
2017-02-06 12:44
1.1K
nat_4__2046_4.min1.thm1
2017-02-06 12:44
1.7K
nat_4__2057_11.min1.thm1
2017-02-06 12:44
768
nat_4__2059_24.min1.thm1
2017-02-06 12:44
877
nat_4__2060_35.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2060_53.min1.thm1
2017-02-06 12:44
1.5K
nat_4__2061_11.min1.thm1
2017-02-06 12:44
1.2K
nat_4__2062_35.min1.thm1
2017-02-06 12:44
713
nat_4__2062_53.min1.thm1
2017-02-06 12:44
1.5K
nat_4__2063_12.min1.thm1
2017-02-06 12:44
1.2K
nat_4__2064_35.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2064_55.min1.thm1
2017-02-06 12:44
2.0K
nat_4__2065_12.min1.thm1
2017-02-06 12:44
1.2K
nat_4__2066_19.min1.thm1
2017-02-06 12:44
2.0K
nat_4__2067_24.min1.thm1
2017-02-06 12:44
1.7K
nat_4__2070_21.min1.thm1
2017-02-06 12:44
834
nat_4__2073_10.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2074_25.min1.thm1
2017-02-06 12:44
1.7K
nat_4__2078_21.min1.thm1
2017-02-06 12:44
1.2K
nat_4__2079_29.min1.thm1
2017-02-06 12:44
1.9K
nat_4__2080_28.min1.thm1
2017-02-06 12:44
1.9K
nat_4__2081_26.min1.thm1
2017-02-06 12:44
1.7K
nat_4__2084_28.min1.thm1
2017-02-06 12:44
1.9K
nat_4__2085_26.min1.thm1
2017-02-06 12:44
1.7K
nat_4__2088_27.min1.thm1
2017-02-06 12:44
1.9K
nat_4__2089_25.min1.thm1
2017-02-06 12:44
1.7K
nat_4__2092_28.min1.thm1
2017-02-06 12:44
1.9K
nat_4__2093_25.min1.thm1
2017-02-06 12:44
1.7K
nat_4__2096_29.min1.thm1
2017-02-06 12:44
1.9K
nat_4__2097_25.min1.thm1
2017-02-06 12:44
1.7K
nat_4__2100_25.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2101_26.min1.thm1
2017-02-06 12:44
1.7K
nat_4__2104_22.min1.thm1
2017-02-06 12:44
1.3K
nat_4__2105_10.min1.thm1
2017-02-06 12:44
966
nat_4__2106_37.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2106_48.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2107_38.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2107_48.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2108_38.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2108_49.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2109_39.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2109_49.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2110_40.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2110_50.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2111_40.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2111_50.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2112_41.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2112_51.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2113_44.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2120_14.min1.thm1
2017-02-06 12:44
1.5K
nat_4__2126_52.min1.thm1
2017-02-06 12:44
2.1K
nat_4__2127_41.min1.thm1
2017-02-06 12:44
940
nat_4__2140_11.min1.thm1
2017-02-06 12:44
606
nat_4__2141_42.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2141_52.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2142_52.min1.thm1
2017-02-06 12:44
1.1K
nat_4__2178_19.min1.thm1
2017-02-06 12:44
2.2K
nat_4__2182_14.min1.thm1
2017-02-06 12:44
1.3K
nat_4__2185_10.min1.thm1
2017-02-06 12:44
928
nat_4__2186_18.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2187_19.min1.thm1
2017-02-06 12:44
774
nat_4__2191_10.min1.thm1
2017-02-06 12:44
771
nat_4__2192_18.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2193_19.min1.thm1
2017-02-06 12:44
774
nat_4__2197_10.min1.thm1
2017-02-06 12:44
928
nat_4__2199_19.min1.thm1
2017-02-06 12:44
774
nat_4__2203_10.min1.thm1
2017-02-06 12:44
930
nat_4__2205_19.min1.thm1
2017-02-06 12:44
774
nat_4__2209_11.min1.thm1
2017-02-06 12:44
932
nat_4__2211_19.min1.thm1
2017-02-06 12:44
782
nat_4__2215_12.min1.thm1
2017-02-06 12:44
939
nat_4__2217_19.min1.thm1
2017-02-06 12:44
783
nat_4__2221_12.min1.thm1
2017-02-06 12:44
939
nat_4__2222_19.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2223_19.min1.thm1
2017-02-06 12:44
783
nat_4__2227_12.min1.thm1
2017-02-06 12:44
939
nat_4__2229_19.min1.thm1
2017-02-06 12:44
783
nat_4__2233_13.min1.thm1
2017-02-06 12:44
943
nat_4__2235_19.min1.thm1
2017-02-06 12:44
791
nat_4__2239_14.min1.thm1
2017-02-06 12:44
951
nat_4__2240_20.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2241_19.min1.thm1
2017-02-06 12:44
795
nat_4__2245_14.min1.thm1
2017-02-06 12:44
951
nat_4__2246_20.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2247_19.min1.thm1
2017-02-06 12:44
795
nat_4__2251_15.min1.thm1
2017-02-06 12:44
955
nat_4__2253_19.min1.thm1
2017-02-06 12:44
803
nat_4__2257_16.min1.thm1
2017-02-06 12:44
962
nat_4__2258_21.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2259_19.min1.thm1
2017-02-06 12:44
804
nat_4__2263_16.min1.thm1
2017-02-06 12:44
962
nat_4__2264_21.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2265_19.min1.thm1
2017-02-06 12:44
804
nat_4__2276_40.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2308_19.min1.thm1
2017-02-06 12:44
733
nat_4__2309_25.min1.thm1
2017-02-06 12:44
1.2K
nat_4__2321_23.min1.thm1
2017-02-06 12:44
796
nat_4__2323_26.min1.thm1
2017-02-06 12:44
2.1K
nat_4__2326_39.min1.thm1
2017-02-06 12:44
1.4K
nat_4__2327_28.min1.thm1
2017-02-06 12:44
1.9K
nat_4__2330_16.min1.thm1
2017-02-06 12:44
662
nat_4__2335_21.min1.thm1
2017-02-06 12:44
1.2K
nat_4__2336_19.min1.thm1
2017-02-06 12:44
1.2K
nat_4__2339_43.min1.thm1
2017-02-06 12:44
776
nat_4__2341_17.min1.thm1
2017-02-06 12:44
825
nat_4__2366_59.min1.thm1
2017-02-06 12:44
2.4K
nat_4__2370_16.min1.thm1
2017-02-06 12:44
914
nat_4__2372_24.min1.thm1
2017-02-06 12:44
645
nat_4__2373_39.min1.thm1
2017-02-06 12:44
658
nat_4__2374_23.min1.thm1
2017-02-06 12:44
615
nat_4__2375_16.min1.thm1
2017-02-06 12:44
395
nat_4__2375_16.min1.thm1.tptp
2017-02-06 16:47
327
nat_4__2378_41.min1.thm1
2017-02-06 12:44
1.4K
nat_4__2379_39.min1.thm1
2017-02-06 12:44
1.1K
nat_4__2380_19.min1.thm1
2017-02-06 12:44
545
nat_4__2381_18.min1.thm1
2017-02-06 12:44
370
nat_4__2381_18.min1.thm1.tptp
2017-02-06 16:47
290
nat_4__2383_35.min1.thm1
2017-02-06 12:44
1.2K
nat_4__2391_22.min1.thm1
2017-02-06 12:44
955
nat_4__2392_46.min1.thm1
2017-02-06 12:44
1.1K
nat_4__2394_25.min1.thm1
2017-02-06 12:44
3.2K
nat_4__2396_17.min1.thm1
2017-02-06 12:44
2.2K
nat_4__2397_17.min1.thm1
2017-02-06 12:44
2.4K
nat_4__2398_27.min1.thm1
2017-02-06 12:44
1.3K
nat_4__2401_21.min1.thm1
2017-02-06 12:44
668
nat_4__2402_16.min1.thm1
2017-02-06 12:44
1.1K
nat_4__2403_23.min1.thm1
2017-02-06 12:44
3.1K
nat_4__2405_15.min1.thm1
2017-02-06 12:44
3.2K
nat_4__2406_24.min1.thm1
2017-02-06 12:44
1.6K
nat_4__2408_21.min1.thm1
2017-02-06 12:44
378
nat_4__2408_21.min1.thm1.tptp
2017-02-06 16:47
300
nat_4__2414_24.min1.thm1
2017-02-06 12:44
618
nat_4__2416_16.min1.thm1
2017-02-06 12:44
355
nat_4__2416_16.min1.thm1.tptp
2017-02-06 16:47
287
nat_4__2418_24.min1.thm1
2017-02-06 12:44
1.5K
nat_4__2424_49.min1.thm1
2017-02-06 12:44
1.6K
nat_4__2426_51.min1.thm1
2017-02-06 12:44
3.3K
nat_4__2427_15.min1.thm1
2017-02-06 12:44
224
nat_4__2435_26.min1.thm1
2017-02-06 12:44
563
nat_4__2437_18.min1.thm1
2017-02-06 12:44
371
nat_4__2437_18.min1.thm1.tptp
2017-02-06 16:47
303
nat_4__2438_22.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2440_20.min1.thm1
2017-02-06 12:44
2.3K
nat_4__2441_17.min1.thm1
2017-02-06 12:44
365
nat_4__2441_17.min1.thm1.tptp
2017-02-06 16:47
300
nat_4__2442_26.min1.thm1
2017-02-06 12:44
1.6K
nat_4__2449_20.min1.thm1
2017-02-06 12:44
465
nat_4__2449_20.min1.thm1.tptp
2017-02-06 16:47
402
nat_4__2450_24.min1.thm1
2017-02-06 12:44
862
nat_4__2451_48.min1.thm1
2017-02-06 12:44
1.1K
nat_4__2452_20.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2453_27.min1.thm1
2017-02-06 12:44
3.3K
nat_4__2455_19.min1.thm1
2017-02-06 12:44
2.2K
nat_4__2456_19.min1.thm1
2017-02-06 12:44
1.9K
nat_4__2457_29.min1.thm1
2017-02-06 12:44
1.3K
nat_4__2460_23.min1.thm1
2017-02-06 12:44
603
nat_4__2461_26.min1.thm1
2017-02-06 12:44
640
nat_4__2465_51.min1.thm1
2017-02-06 12:44
1.5K
nat_4__2472_49.min1.thm1
2017-02-06 12:44
867
nat_4__2476_16.min1.thm1
2017-02-06 12:44
606
nat_4__2481_45.min1.thm1
2017-02-06 12:44
812
nat_4__2491_12.min1.thm1
2017-02-06 12:44
672
nat_4__2492_19.min1.thm1
2017-02-06 12:44
1.5K
nat_4__2495_17.min1.thm1
2017-02-06 12:44
795
nat_4__2512_17.min1.thm1
2017-02-06 12:44
1.2K
nat_4__2513_37.min1.thm1
2017-02-06 12:44
1.5K
nat_4__2515_42.min1.thm1
2017-02-06 12:44
340
nat_4__2515_42.min1.thm1.tptp
2017-02-06 16:47
259
nat_4__2516_42.min1.thm1
2017-02-06 12:44
776
nat_4__2538_26.min1.thm1
2017-02-06 12:44
1.3K
nat_4__2539_26.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2542_27.min1.thm1
2017-02-06 12:44
1.7K
nat_4__2543_35.min1.thm1
2017-02-06 12:44
1.5K
nat_4__2545_16.min1.thm1
2017-02-06 12:44
286
nat_4__2547_20.min1.thm1
2017-02-06 12:44
540
nat_4__2548_18.min1.thm1
2017-02-06 12:44
2.1K
nat_4__2552_19.min1.thm1
2017-02-06 12:44
349
nat_4__2552_19.min1.thm1.tptp
2017-02-06 16:47
284
nat_4__2553_27.min1.thm1
2017-02-06 12:44
1.1K
nat_4__2556_21.min1.thm1
2017-02-06 12:44
427
nat_4__2556_21.min1.thm1.tptp
2017-02-06 16:47
363
nat_4__2565_26.min1.thm1
2017-02-06 12:44
1.1K
nat_4__2567_30.min1.thm1
2017-02-06 12:44
1.6K
nat_4__2570_25.min1.thm1
2017-02-06 12:44
1.4K
nat_4__2571_43.min1.thm1
2017-02-06 12:44
1.7K
nat_4__2572_19.min1.thm1
2017-02-06 12:44
2.0K
nat_4__2574_24.min1.thm1
2017-02-06 12:44
648
nat_4__2576_17.min1.thm1
2017-02-06 12:44
2.2K
nat_4__2577_18.min1.thm1
2017-02-06 12:44
509
nat_4__2578_16.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2585_19.min1.thm1
2017-02-06 12:44
650
nat_4__2587_21.min1.thm1
2017-02-06 12:44
1.2K
nat_4__2588_29.min1.thm1
2017-02-06 12:44
472
nat_4__2588_29.min1.thm1.tptp
2017-02-06 16:47
402
nat_4__2589_15.min1.thm1
2017-02-06 12:44
720
nat_4__2594_28.min1.thm1
2017-02-06 12:44
438
nat_4__2594_28.min1.thm1.tptp
2017-02-06 16:47
367
nat_4__2597_23.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2602_30.min1.thm1
2017-02-06 12:44
1.7K
nat_4__2603_29.min1.thm1
2017-02-06 12:44
2.1K
nat_4__2604_20.min1.thm1
2017-02-06 12:44
1.3K
nat_4__2610_28.min1.thm1
2017-02-06 12:44
3.7K
nat_4__2613_24.min1.thm1
2017-02-06 12:44
502
nat_4__2614_25.min1.thm1
2017-02-06 12:44
2.2K
nat_4__2619_34.min1.thm1
2017-02-06 12:44
749
nat_4__2620_14.min1.thm1
2017-02-06 12:44
425
nat_4__2620_14.min1.thm1.tptp
2017-02-06 16:47
360
nat_4__2621_20.min1.thm1
2017-02-06 12:44
467
nat_4__2621_20.min1.thm1.tptp
2017-02-06 16:47
402
nat_4__2624_30.min1.thm1
2017-02-06 12:44
549
nat_4__2625_22.min1.thm1
2017-02-06 12:44
359
nat_4__2625_22.min1.thm1.tptp
2017-02-06 16:47
291
nat_4__2626_33.min1.thm1
2017-02-06 12:44
726
nat_4__2631_26.min1.thm1
2017-02-06 12:44
353
nat_4__2631_26.min1.thm1.tptp
2017-02-06 16:47
288
nat_4__2632_33.min1.thm1
2017-02-06 12:44
549
nat_4__2634_32.min1.thm1
2017-02-06 12:44
1.7K
nat_4__2641_28.min1.thm1
2017-02-06 12:44
695
nat_4__2643_15.min1.thm1
2017-02-06 12:44
351
nat_4__2643_15.min1.thm1.tptp
2017-02-06 16:47
283
nat_4__2644_26.min1.thm1
2017-02-06 12:44
487
nat_4__2644_26.min1.thm1.tptp
2017-02-06 16:47
423
nat_4__2647_15.min1.thm1
2017-02-06 12:44
457
nat_4__2650_21.min1.thm1
2017-02-06 12:44
657
nat_4__2650_21.min1.thm1.tptp
2017-02-06 16:47
583
nat_4__2652_16.min1.thm1
2017-02-06 12:44
1.0K
nat_4__2664_17.min1.thm1
2017-02-06 12:44
1.4K
nat_4__2668_16.min1.thm1
2017-02-06 12:44
596
nat_4__2675_25.min1.thm1
2017-02-06 12:44
1.4K
nat_4__2676_24.min1.thm1
2017-02-06 12:44
1.8K
nat_4__2681_17.min1.thm1
2017-02-06 12:44
1.5K
nat_4__2696_16.min1.thm1
2017-02-06 12:44
867
nat_4__2702_56.min1.thm1
2017-02-06 12:44
1.5K
nat_4__2703_59.min1.thm1
2017-02-06 12:44
484
nat_4__2703_59.min1.thm1.tptp
2017-02-06 16:47
421
nat_4__2706_12.min1.thm1
2017-02-06 12:44
382
nat_4__2711_23.min1.thm1
2017-02-06 12:44
836
nat_4__2716_20.min1.thm1
2017-02-06 12:44
484
nat_4__2716_20.min1.thm1.tptp
2017-02-06 16:47
421
nat_4__2717_15.min1.thm1
2017-02-06 12:44
1.3K
nat_4__2718_23.min1.thm1
2017-02-06 12:44
1.6K
nat_4__2719_20.min1.thm1
2017-02-06 12:44
2.1K
nat_4__2722_18.min1.thm1
2017-02-06 12:44
580
nat_4__2724_53.min1.thm1
2017-02-06 12:44
408
nat_4__2725_37.min1.thm1
2017-02-06 12:44
1.1K
nat_4__2731_15.min1.thm1
2017-02-06 12:44
218
nat_4__2751_18.min1.thm1
2017-02-06 12:44
2.0K
nat_4__2754_26.min1.thm1
2017-02-06 12:44
2.2K
nat_4__2765_18.min1.thm1
2017-02-06 12:44
2.0K
nat_4__2798_33.min1.thm1
2017-02-06 12:44
1.7K
nat_4__2803_22.min1.thm1
2017-02-06 12:44
576
nat_4__2803_22.min1.thm1.tptp
2017-02-06 16:47
495
nat_4__2807_22.min1.thm1
2017-02-06 12:44
908
nat_4__2810_22.min1.thm1
2017-02-06 12:44
908
nat_4__2811_52.min1.thm1
2017-02-06 12:44
1.2K
nat_4__2820_60.min1.thm1
2017-02-06 12:44
722
nat_4__2821_51.min1.thm1
2017-02-06 12:44
417
nat_4__2822_17.min1.thm1
2017-02-06 12:44
2.0K
nat_4__2823_25.min1.thm1
2017-02-06 12:44
2.0K
nat_4__2826_25.min1.thm1
2017-02-06 12:44
499
nat_4__2826_25.min1.thm1.tptp
2017-02-06 16:47
435
nat_4__2832_23.min1.thm1
2017-02-06 12:44
2.7K
nat_4__2833_28.min1.thm1
2017-02-06 12:44
1.4K
nat_4__2834_69.min1.thm1
2017-02-06 12:44
792
nat_4__2835_22.min1.thm1
2017-02-06 12:44
2.1K
nat_4__2838_24.min1.thm1
2017-02-06 12:44
1.4K
nat_4__2839_47.min1.thm1
2017-02-06 12:44
1.2K
nat_4__2845_60.min1.thm1
2017-02-06 12:44
827
nat_4__2848_76.min1.thm1
2017-02-06 12:44
959
nat_4__2849_25.min1.thm1
2017-02-06 12:44
2.8K
nat_4__2856_71.min1.thm1
2017-02-06 12:44
854
nat_4__2857_51.min1.thm1
2017-02-06 12:44
493
nat_4__2858_17.min1.thm1
2017-02-06 12:44
2.0K
nat_4__2859_25.min1.thm1
2017-02-06 12:44
2.8K
nat_4__2869_28.min1.thm1
2017-02-06 12:44
1.4K
nat_4__2871_76.min1.thm1
2017-02-06 12:44
924
nat_4__2872_22.min1.thm1
2017-02-06 12:44
2.6K
nat_4__2878_45.min1.thm1
2017-02-06 12:44
775
nat_4__2880_16.min1.thm1
2017-02-06 12:44
2.0K
nat_4__2893_76.min1.thm1
2017-02-06 12:44
870
nat_4__2894_37.min1.thm1
2017-02-06 12:44
1.2K
nat_4__2896_34.min1.thm1
2017-02-06 12:44
423
nat_4__2896_34.min1.thm1.tptp
2017-02-06 16:47
359
nat_4__2898_61.min1.thm1
2017-02-06 12:44
1.5K
nat_4__2906_33.min1.thm1
2017-02-06 12:44
1.4K
nat_4__2910_26.min1.thm1
2017-02-06 12:44
585
nat_4__2912_21.min1.thm1
2017-02-06 12:44
502
nat_4__2926_28.min1.thm1
2017-02-06 12:44
2.3K
nat_4__2927_29.min1.thm1
2017-02-06 12:44
3.2K
nat_4__2935_21.min1.thm1
2017-02-06 12:44
768
nat_4__2936_38.min1.thm1
2017-02-06 12:44
3.7K
nat_4__2944_78.min1.thm1
2017-02-06 12:44
886
nat_4__2945_39.min1.thm1
2017-02-06 12:44
1.2K
nat_4__2948_31.min1.thm1
2017-02-06 12:44
431
nat_4__2948_31.min1.thm1.tptp
2017-02-06 16:47
367
nat_4__2955_41.min1.thm1
2017-02-06 12:44
2.6K
nat_4__2956_28.min1.thm1
2017-02-06 12:44
1.3K
nat_4__2958_33.min1.thm1
2017-02-06 12:44
1.5K
nat_4__2965_29.min1.thm1
2017-02-06 12:44
2.0K
nat_4__2975_24.min1.thm1
2017-02-06 12:44
583
nat_4__2975_24.min1.thm1.tptp
2017-02-06 16:47
521
nat_4__2980_21.min1.thm1
2017-02-06 12:44
734
nat_4__2981_25.min1.thm1
2017-02-06 12:44
3.6K
nat_4__2982_32.min1.thm1
2017-02-06 12:44
2.4K
nat_4__2984_72.min1.thm1
2017-02-06 12:44
967
nat_4__2989_76.min1.thm1
2017-02-06 12:44
866
nat_4__2990_69.min1.thm1
2017-02-06 12:44
826
nat_4__2996_28.min1.thm1
2017-02-06 12:44
758
nat_4__2999_26.min1.thm1
2017-02-06 12:44
699
nat_4__3002_28.min1.thm1
2017-02-06 12:44
947
nat_4__3006_28.min1.thm1
2017-02-06 12:44
1.1K
nat_4__3009_32.min1.thm1
2017-02-06 12:44
581
nat_4__3009_32.min1.thm1.tptp
2017-02-06 16:47
519
nat_4__3011_25.min1.thm1
2017-02-06 12:44
805
nat_4__3011_25.min1.thm1.tptp
2017-02-06 16:47
717
nat_4__3015_41.min1.thm1
2017-02-06 12:44
2.1K
nat_4__3017_31.min1.thm1
2017-02-06 12:44
2.4K
nat_4__3020_23.min1.thm1
2017-02-06 12:44
721
nat_4__3030_18.min1.thm1
2017-02-06 12:44
1.2K
nat_4__3040_19.min1.thm1
2017-02-06 12:44
650
nat_4__3041_22.min1.thm1
2017-02-06 12:44
1.2K
nat_4__3042_36.min1.thm1
2017-02-06 12:44
1.1K
nat_4__3043_26.min1.thm1
2017-02-06 12:44
2.4K
nat_4__3044_25.min1.thm1
2017-02-06 12:44
1.2K
nat_4__3045_66.min1.thm1
2017-02-06 12:44
795
nat_4__3051_17.min1.thm1
2017-02-06 12:44
618
nat_4__3052_23.min1.thm1
2017-02-06 12:44
1.5K
nat_4__3054_68.min1.thm1
2017-02-06 12:44
827
nat_4__3056_25.min1.thm1
2017-02-06 12:44
610
nat_4__3056_25.min1.thm1.tptp
2017-02-06 16:47
522
nat_4__3060_31.min1.thm1
2017-02-06 12:44
412
nat_4__3060_31.min1.thm1.tptp
2017-02-06 16:47
352
nat_4__3085_52.min1.thm1
2017-02-06 12:44
2.2K
nat_4__3086_43.min1.thm1
2017-02-06 12:44
1.9K
nat_4__3087_21.min1.thm1
2017-02-06 12:44
1.8K
nat_4__3090_7.min1.thm1
2017-02-06 12:44
312
nat_4__3098_11.min1.thm1
2017-02-06 12:44
596
nat_4__3099_13.min1.thm1
2017-02-06 12:44
1.4K
nat_4__3100_21.min1.thm1
2017-02-06 12:44
1.4K
nat_4__3102_16.min1.thm1
2017-02-06 12:44
1.2K
nat_4__3110_59.min1.thm1
2017-02-06 12:44
592
nat_4__3111_18.min1.thm1
2017-02-06 12:44
830
nat_4__3113_16.min1.thm1
2017-02-06 12:44
323
nat_4__3121_13.min1.thm1
2017-02-06 12:44
699
nat_4__3124_60.min1.thm1
2017-02-06 12:44
454
nat_4__3126_11.min1.thm1
2017-02-06 12:44
815
nat_4__3128_52.min1.thm1
2017-02-06 12:44
665
nat_4__3129_28.min1.thm1
2017-02-06 12:44
897
nat_4__3138_11.min1.thm1
2017-02-06 12:44
610
nat_4__3139_14.min1.thm1
2017-02-06 12:44
1.7K
nat_4__3140_60.min1.thm1
2017-02-06 12:44
709
nat_4__3146_9.min1.thm1
2017-02-06 12:44
588
nat_4__3147_12.min1.thm1
2017-02-06 12:44
1.9K
nat_4__3148_19.min1.thm1
2017-02-06 12:44
711
nat_4__3152_17.min1.thm1
2017-02-06 12:44
457
nat_4__3155_16.min1.thm1
2017-02-06 12:44
1.1K
nat_4__3158_18.min1.thm1
2017-02-06 12:44
1.8K
nat_4__3162_21.min1.thm1
2017-02-06 12:44
1.3K
nat_4__3171_10.min1.thm1
2017-02-06 12:44
675
nat_4__3171_10.min1.thm1.tptp
2017-02-06 16:47
621
nat_4__3172_20.min1.thm1
2017-02-06 12:44
1.8K
nat_4__3177_14.min1.thm1
2017-02-06 12:44
376
nat_4__3201_11.min1.thm1
2017-02-06 12:44
437
nat_4__3202_38.min1.thm1
2017-02-06 12:44
1.5K
nat_4__3204_30.min1.thm1
2017-02-06 12:44
2.4K
nat_4__3205_10.min1.thm1
2017-02-06 12:44
405
nat_4__3205_10.min1.thm1.tptp
2017-02-06 16:47
340
nat_4__3207_51.min1.thm1
2017-02-06 12:44
1.9K
nat_4__3208_45.min1.thm1
2017-02-06 12:44
1.3K
nat_4__3209_39.min1.thm1
2017-02-06 12:44
1.4K
nat_4__3210_22.min1.thm1
2017-02-06 12:44
2.1K
nat_4__3217_13.min1.thm1
2017-02-06 12:44
256
nat_4__3222_20.min1.thm1
2017-02-06 12:44
722
nat_4__3228_20.min1.thm1
2017-02-06 12:44
745
nat_4__3240_13.min1.thm1
2017-02-06 12:44
729
nat_4__3241_37.min1.thm1
2017-02-06 12:44
1.1K
nat_4__3242_15.min1.thm1
2017-02-06 12:44
1.9K
nat_4__3243_21.min1.thm1
2017-02-06 12:44
1.3K
nat_4__3245_22.min1.thm1
2017-02-06 12:44
377
nat_4__3245_22.min1.thm1.tptp
2017-02-06 16:47
313
nat_4__3246_44.min1.thm1
2017-02-06 12:44
802
nat_4__3258_44.min1.thm1
2017-02-06 12:44
1.1K
nat_4__3267_17.min1.thm1
2017-02-06 12:44
2.1K
nat_4__3270_29.min1.thm1
2017-02-06 12:44
483
nat_4__3271_25.min1.thm1
2017-02-06 12:44
1.1K
nat_4__3275_26.min1.thm1
2017-02-06 12:44
2.4K
nat_4__3276_23.min1.thm1
2017-02-06 12:44
2.2K
nat_4__3278_23.min1.thm1
2017-02-06 12:44
1.8K
nat_4__3281_17.min1.thm1
2017-02-06 12:44
447
nat_4__3283_29.min1.thm1
2017-02-06 12:44
1.6K
nat_4__3299_19.min1.thm1
2017-02-06 12:44
739
nat_4__3299_19.min1.thm1.tptp
2017-02-06 16:47
671
nat_4__3301_18.min1.thm1
2017-02-06 12:44
1.5K
nat_4__3310_14.min1.thm1
2017-02-06 12:44
411
nat_4__3310_14.min1.thm1.tptp
2017-02-06 16:47
346
nat_4__3315_21.min1.thm1
2017-02-06 12:44
2.7K
nat_4__3319_19.min1.thm1
2017-02-06 12:44
818
nat_4__3321_40.min1.thm1
2017-02-06 12:44
2.5K
nat_4__3356_27.min1.thm1
2017-02-06 12:44
1.2K
nat_4__3369_19.min1.thm1
2017-02-06 12:44
1.1K
nat_4__3376_26.min1.thm1
2017-02-06 12:44
1.8K
nat_4__3377_14.min1.thm1
2017-02-06 12:44
425
nat_4__3377_14.min1.thm1.tptp
2017-02-06 16:47
360
nat_4__3379_19.min1.thm1
2017-02-06 12:44
1.8K
nat_4__3390_39.min1.thm1
2017-02-06 12:44
689
nat_4__3397_25.min1.thm1
2017-02-06 12:44
538
nat_4__3397_25.min1.thm1.tptp
2017-02-06 16:47
470
nat_4__3398_26.min1.thm1
2017-02-06 12:44
1.1K
nat_4__3400_19.min1.thm1
2017-02-06 12:44
462
nat_4__3401_18.min1.thm1
2017-02-06 12:44
431
nat_4__3401_18.min1.thm1.tptp
2017-02-06 16:47
366
nat_4__3403_37.min1.thm1
2017-02-06 12:44
3.1K
nat_4__3410_27.min1.thm1
2017-02-06 12:44
2.4K
nat_4__3414_23.min1.thm1
2017-02-06 12:44
719
nat_4__3415_17.min1.thm1
2017-02-06 12:44
312
nat_4__3419_25.min1.thm1
2017-02-06 12:44
1.9K
nat_4__3421_25.min1.thm1
2017-02-06 12:44
2.3K
nat_4__3422_16.min1.thm1
2017-02-06 12:44
1.2K
nat_4__3428_47.min1.thm1
2017-02-06 12:44
2.0K
nat_4__3434_35.min1.thm1
2017-02-06 12:44
2.1K
nat_4__3441_33.min1.thm1
2017-02-06 12:44
3.1K
nat_4__3456_20.min1.thm1
2017-02-06 12:44
1.1K
nat_4__3461_42.min1.thm1
2017-02-06 12:44
3.3K
nat_4__3469_36.min1.thm1
2017-02-06 12:44
3.1K
nat_4__3473_58.min1.thm1
2017-02-06 12:44
802
nat_4__3479_46.min1.thm1
2017-02-06 12:44
2.0K
nat_4__3480_21.min1.thm1
2017-02-06 12:44
641
nat_4__3480_21.min1.thm1.tptp
2017-02-06 16:47
559
nat_4__3489_18.min1.thm1
2017-02-06 12:44
935
nat_4__3490_74.min1.thm1
2017-02-06 12:44
1.1K
nat_4__3491_11.min1.thm1
2017-02-06 12:44
445
nat_4__3492_19.min1.thm1
2017-02-06 12:44
1.5K
nat_4__3499_16.min1.thm1
2017-02-06 12:44
746
nat_4__3518_38.min1.thm1
2017-02-06 12:44
520
nat_4__3527_32.min1.thm1
2017-02-06 12:44
1.9K
nat_4__3536_19.min1.thm1
2017-02-06 12:44
2.0K
nat_4__3542_39.min1.thm1
2017-02-06 12:44
2.0K
nat_4__3547_25.min1.thm1
2017-02-06 12:44
627
nat_4__3554_18.min1.thm1
2017-02-06 12:44
472
nat_4__3556_20.min1.thm1
2017-02-06 12:44
1.3K
nat_4__3559_31.min1.thm1
2017-02-06 12:44
2.8K
nat_4__3562_12.min1.thm1
2017-02-06 12:44
410
nat_4__3562_12.min1.thm1.tptp
2017-02-06 16:47
345
nat_4__3564_38.min1.thm1
2017-02-06 12:44
1.3K
nat_4__3566_25.min1.thm1
2017-02-06 12:44
1.8K
nat_4__3567_12.min1.thm1
2017-02-06 12:44
410
nat_4__3567_12.min1.thm1.tptp
2017-02-06 16:47
345
nat_4__3568_27.min1.thm1
2017-02-06 12:44
2.9K
nat_4__3571_18.min1.thm1
2017-02-06 12:44
2.2K
nat_4__3572_15.min1.thm1
2017-02-06 12:44
184
nat_4__3579_33.min1.thm1
2017-02-06 12:44
3.1K
nat_4__3581_21.min1.thm1
2017-02-06 12:44
2.0K
nat_4__3582_28.min1.thm1
2017-02-06 12:44
3.3K
nat_4__3583_26.min1.thm1
2017-02-06 12:44
2.5K
nat_4__3591_13.min1.thm1
2017-02-06 12:44
180
nat_4__3594_27.min1.thm1
2017-02-06 12:44
1.4K
nat_4__3595_12.min1.thm1
2017-02-06 12:44
409
nat_4__3595_12.min1.thm1.tptp
2017-02-06 16:47
344
nat_4__3597_37.min1.thm1
2017-02-06 12:44
607
nat_4__3604_16.min1.thm1
2017-02-06 12:44
2.5K
nat_4__3633_21.min1.thm1
2017-02-06 12:44
1.1K
nat_4__3633_21.min1.thm1.tptp
2017-02-06 16:47
1.0K
nat_4__3636_14.min1.thm1
2017-02-06 12:44
838
nat_4__3647_10.min1.thm1
2017-02-06 12:44
403
nat_4__3647_10.min1.thm1.tptp
2017-02-06 16:47
338
nat_4__3653_41.min1.thm1
2017-02-06 12:44
1.9K
nat_4__3654_33.min1.thm1
2017-02-06 12:44
1.8K
nat_4__3655_25.min1.thm1
2017-02-06 12:44
1.3K
nat_4__3677_45.min1.thm1
2017-02-06 12:44
839
nat_4__3678_21.min1.thm1
2017-02-06 12:44
1.2K
nat_4__3684_33.min1.thm1
2017-02-06 12:44
2.1K
nat_4__3685_40.min1.thm1
2017-02-06 12:44
2.4K
nat_4__3712_39.min1.thm1
2017-02-06 12:44
261
nat_4__3715_28.min1.thm1
2017-02-06 12:44
610
nat_4__3717_19.min1.thm1
2017-02-06 12:44
1.9K
nat_4__3719_18.min1.thm1
2017-02-06 12:44
1.8K
nat_4__3721_28.min1.thm1
2017-02-06 12:44
3.1K
nat_4__3723_38.min1.thm1
2017-02-06 12:44
1.8K
nat_4__3724_31.min1.thm1
2017-02-06 12:44
1.4K
nat_4__3728_23.min1.thm1
2017-02-06 12:44
2.0K
nat_4__3742_8.min1.thm1
2017-02-06 12:44
2.7K
nat_4__3774_19.min1.thm1
2017-02-06 12:44
1.4K
nat_4__3775_11.min1.thm1
2017-02-06 12:44
1.6K
nat_4__3777_18.min1.thm1
2017-02-06 12:44
2.3K
nat_4__3778_23.min1.thm1
2017-02-06 12:44
517
nat_4__3787_14.min1.thm1
2017-02-06 12:44
2.3K
nat_4__3788_11.min1.thm1
2017-02-06 12:44
1.6K
nat_4__3789_15.min1.thm1
2017-02-06 12:44
1.5K
nat_4__3790_19.min1.thm1
2017-02-06 12:44
2.1K
nat_4__3792_24.min1.thm1
2017-02-06 12:44
569
nat_4__3796_23.min1.thm1
2017-02-06 12:44
512
nat_4__3809_25.min1.thm1
2017-02-06 12:44
1.2K
nat_4__3818_16.min1.thm1
2017-02-06 12:44
858
nat_4__3819_22.min1.thm1
2017-02-06 12:44
1.5K
nat_4__3820_23.min1.thm1
2017-02-06 12:44
3.0K
nat_4__3822_17.min1.thm1
2017-02-06 12:44
2.2K
nat_4__3825_17.min1.thm1
2017-02-06 12:44
644
nat_4__3829_23.min1.thm1
2017-02-06 12:44
1.2K
nat_4__3831_13.min1.thm1
2017-02-06 12:44
2.1K
nat_4__3834_21.min1.thm1
2017-02-06 12:44
651
nat_4__3837_18.min1.thm1
2017-02-06 12:44
3.0K
nat_4__3840_18.min1.thm1
2017-02-06 12:44
2.0K
nat_4__3844_23.min1.thm1
2017-02-06 12:44
626
nat_4__3848_22.min1.thm1
2017-02-06 12:44
620
nat_4__3851_50.min1.thm1
2017-02-06 12:44
910
nat_4__3852_48.min1.thm1
2017-02-06 12:44
691
nat_4__3853_43.min1.thm1
2017-02-06 12:44
657
nat_4__3855_20.min1.thm1
2017-02-06 12:44
1.5K
nat_4__3859_23.min1.thm1
2017-02-06 12:44
1.8K
nat_4__3860_20.min1.thm1
2017-02-06 12:44
1.7K
nat_4__3862_21.min1.thm1
2017-02-06 12:44
1.2K
nat_4__3867_20.min1.thm1
2017-02-06 12:44
1.3K
nat_4__3868_24.min1.thm1
2017-02-06 12:44
2.1K
nat_4__3870_28.min1.thm1
2017-02-06 12:44
583
nat_4__3873_14.min1.thm1
2017-02-06 12:44
412
nat_4__3873_14.min1.thm1.tptp
2017-02-06 16:47
347
nat_4__3875_36.min1.thm1
2017-02-06 12:44
899
nat_4__3877_23.min1.thm1
2017-02-06 12:44
1.3K
nat_4__3880_30.min1.thm1
2017-02-06 12:44
2.0K
nat_4__3886_22.min1.thm1
2017-02-06 12:44
1.9K
nat_4__3887_40.min1.thm1
2017-02-06 12:44
2.9K
nat_4__3888_28.min1.thm1
2017-02-06 12:44
2.0K
nat_4__3891_48.min1.thm1
2017-02-06 12:44
871
nat_4__3893_20.min1.thm1
2017-02-06 12:44
1.4K
nat_4__3899_25.min1.thm1
2017-02-06 12:44
3.5K
nat_4__3900_19.min1.thm1
2017-02-06 12:44
2.5K
nat_4__3909_18.min1.thm1
2017-02-06 12:44
3.9K
nat_4__3913_24.min1.thm1
2017-02-06 12:44
569
nat_4__3920_11.min1.thm1
2017-02-06 12:44
1.6K
nat_4__3930_23.min1.thm1
2017-02-06 12:44
1.9K
nat_4__3931_26.min1.thm1
2017-02-06 12:44
2.2K
nat_4__3932_11.min1.thm1
2017-02-06 12:44
404
nat_4__3932_11.min1.thm1.tptp
2017-02-06 16:47
339
nat_4__3933_17.min1.thm1
2017-02-06 12:44
2.1K
nat_4__3934_15.min1.thm1
2017-02-06 12:44
2.6K
nat_4__3935_29.min1.thm1
2017-02-06 12:44
3.1K
nat_4__3936_22.min1.thm1
2017-02-06 12:44
1.6K
nat_4__3937_26.min1.thm1
2017-02-06 12:44
2.9K
nat_4__3939_37.min1.thm1
2017-02-06 12:44
2.5K
nat_4__3941_39.min1.thm1
2017-02-06 12:44
1.3K
nat_4__3946_42.min1.thm1
2017-02-06 12:44
1.8K
nat_4__3948_22.min1.thm1
2017-02-06 12:44
4.7K
nat_4__3949_9.min1.thm1
2017-02-06 12:44
1.6K
nat_4__3951_26.min1.thm1
2017-02-06 12:44
2.8K
nat_4__3952_39.min1.thm1
2017-02-06 12:44
3.4K
nat_4__3954_23.min1.thm1
2017-02-06 12:44
1.4K
nat_4__3974_14.min1.thm1
2017-02-06 12:44
773
nat_4__3975_39.min1.thm1
2017-02-06 12:44
1.1K
nat_4__3976_15.min1.thm1
2017-02-06 12:44
1.4K
nat_4__3977_20.min1.thm1
2017-02-06 12:44
1.7K
nat_4__3979_24.min1.thm1
2017-02-06 12:44
393
nat_4__3979_24.min1.thm1.tptp
2017-02-06 16:47
329
nat_4__3980_46.min1.thm1
2017-02-06 12:44
833
nat_4__3982_25.min1.thm1
2017-02-06 12:44
341
nat_4__3982_25.min1.thm1.tptp
2017-02-06 16:47
259
nat_4__3985_19.min1.thm1
2017-02-06 12:44
2.0K
nat_4__3994_44.min1.thm1
2017-02-06 12:44
1.3K
nat_4__4000_34.min1.thm1
2017-02-06 12:44
515
nat_4__4000_34.min1.thm1.tptp
2017-02-06 16:47
438
nat_4__4001_17.min1.thm1
2017-02-06 12:44
877
nat_4__4037_28.min1.thm1
2017-02-06 12:44
1.1K
nat_4__4047_28.min1.thm1
2017-02-06 12:44
1.1K
nat_4__4052_21.min1.thm1
2017-02-06 12:44
402
nat_4__4059_21.min1.thm1
2017-02-06 12:44
828
nat_4__4059_21.min1.thm1.tptp
2017-02-06 16:47
746
nat_4__4077_15.min1.thm1
2017-02-06 12:44
1.3K
nat_4__4084_23.min1.thm1
2017-02-06 12:44
968
nat_4__4086_10.min1.thm1
2017-02-06 12:44
889
nat_4__4088_45.min1.thm1
2017-02-06 12:44
2.2K
nat_4__4107_40.min1.thm1
2017-02-06 12:44
827
nat_4__4125_24.min1.thm1
2017-02-06 12:44
1.5K
nat_4__4128_20.min1.thm1
2017-02-06 12:44
2.0K
nat_4__4129_15.min1.thm1
2017-02-06 12:44
1.7K
nat_4__4136_21.min1.thm1
2017-02-06 12:44
610
nat_4__4136_21.min1.thm1.tptp
2017-02-06 16:47
528
nat_4__4138_16.min1.thm1
2017-02-06 12:44
602
nat_4__4147_12.min1.thm1
2017-02-06 12:44
445
nat_4__4148_12.min1.thm1
2017-02-06 12:44
1.1K
nat_4__4149_33.min1.thm1
2017-02-06 12:44
1.2K
nat_4__4150_19.min1.thm1
2017-02-06 12:44
1.3K
nat_4__4153_17.min1.thm1
2017-02-06 12:44
831
nat_4__4184_25.min1.thm1
2017-02-06 12:44
1.2K
nat_4__4192_25.min1.thm1
2017-02-06 12:44
1.1K
nat_4__4201_27.min1.thm1
2017-02-06 12:44
1.2K
nat_4__4208_62.min1.thm1
2017-02-06 12:44
608
nat_4__4208_62.min1.thm1.tptp
2017-02-06 16:47
546
nat_4__4212_17.min1.thm1
2017-02-06 12:44
3.4K
nat_4__4213_29.min1.thm1
2017-02-06 12:44
2.6K
nat_4__4215_21.min1.thm1
2017-02-06 12:44
1.3K
nat_4__4232_24.min1.thm1
2017-02-06 12:44
1.2K
nat_4__4233_16.min1.thm1
2017-02-06 12:44
1.2K
nat_4__4257_32.min1.thm1
2017-02-06 12:44
1.3K
nat_4__4258_45.min1.thm1
2017-02-06 12:44
812
nat_4__4263_11.min1.thm1
2017-02-06 12:44
1.4K
nat_4__4290_22.min1.thm1
2017-02-06 12:44
1.1K
nat_4__4292_22.min1.thm1
2017-02-06 12:44
395
nat_4__4292_22.min1.thm1.tptp
2017-02-06 16:47
331
nat_4__4295_11.min1.thm1
2017-02-06 12:44
2.1K
nat_4__4299_9.min1.thm1
2017-02-06 12:44
1.6K
nat_4__4304_15.min1.thm1
2017-02-06 12:44
879
nat_4__4305_34.min1.thm1
2017-02-06 12:44
1.1K
nat_4__4306_17.min1.thm1
2017-02-06 12:44
1.6K
nat_4__4343_22.min1.thm1
2017-02-06 12:44
1.1K
nat_4__4345_22.min1.thm1
2017-02-06 12:44
395
nat_4__4345_22.min1.thm1.tptp
2017-02-06 16:47
331
nat_4__4348_14.min1.thm1
2017-02-06 12:44
2.1K
nat_4__4350_26.min1.thm1
2017-02-06 12:44
1.4K
nat_4__4353_15.min1.thm1
2017-02-06 12:44
1.6K
nat_4__4359_19.min1.thm1
2017-02-06 12:44
1.6K
nat_4__4365_28.min1.thm1
2017-02-06 12:44
1.2K
nat_4__4425_28.min1.thm1
2017-02-06 12:44
625
nat_4__4425_28.min1.thm1.tptp
2017-02-06 16:47
563
nat_4__4438_20.min1.thm1
2017-02-06 12:44
1.1K
nat_4__4441_17.min1.thm1
2017-02-06 12:44
391
nat_4__4441_17.min1.thm1.tptp
2017-02-06 16:47
327
nat_4__4455_25.min1.thm1
2017-02-06 12:44
1.2K
nat_4__4456_13.min1.thm1
2017-02-06 12:44
414
nat_4__4456_13.min1.thm1.tptp
2017-02-06 16:47
349
nat_4__4458_27.min1.thm1
2017-02-06 12:44
536
nat_4__4464_19.min1.thm1
2017-02-06 12:44
1.1K
nat_4__4467_15.min1.thm1
2017-02-06 12:44
453
nat_4__4467_15.min1.thm1.tptp
2017-02-06 16:47
389
nat_4__4469_19.min1.thm1
2017-02-06 12:44
526
nat_4__4480_20.min1.thm1
2017-02-06 12:44
613
nat_4__4491_20.min1.thm1
2017-02-06 12:44
613
nat_4__4492_27.min1.thm1
2017-02-06 12:44
929
nat_4__4494_69.min1.thm1
2017-02-06 12:44
1.1K
nat_4__4509_25.min1.thm1
2017-02-06 12:44
1.2K
nat_4__4516_8.min1.thm1
2017-02-06 12:44
940
nat_4__4518_26.min1.thm1
2017-02-06 12:44
630
nat_4__4518_26.min1.thm1.tptp
2017-02-06 16:47
568
nat_4__4527_19.min1.thm1
2017-02-06 12:44
1.1K
nat_4__4530_15.min1.thm1
2017-02-06 12:44
453
nat_4__4530_15.min1.thm1.tptp
2017-02-06 16:47
389
nat_4__4532_19.min1.thm1
2017-02-06 12:44
526
nat_4__4541_32.min1.thm1
2017-02-06 12:44
1.3K
nat_4__4543_67.min1.thm1
2017-02-06 12:44
558
nat_4__4543_67.min1.thm1.tptp
2017-02-06 16:47
498
nat_4__4557_26.min1.thm1
2017-02-06 12:44
1.2K
nat_4__4558_23.min1.thm1
2017-02-06 12:44
757
nat_4__4559_68.min1.thm1
2017-02-06 12:44
940
nat_4__4569_34.min1.thm1
2017-02-06 12:44
1.5K
nat_4__4570_32.min1.thm1
2017-02-06 12:44
709
nat_4__4610_14.min1.thm1
2017-02-06 12:44
2.9K
nat_4__4617_41.min1.thm1
2017-02-06 12:44
2.0K
nat_4__4619_22.min1.thm1
2017-02-06 12:44
1.6K
nat_4__4620_17.min1.thm1
2017-02-06 12:44
1.9K
nat_4__4624_28.min1.thm1
2017-02-06 12:44
3.3K
nat_4__4735_16.min1.thm1
2017-02-06 12:44
395
nat_4__4736_13.min1.thm1
2017-02-06 12:44
1.8K
nat_4__4780_16.min1.thm1
2017-02-06 12:44
395
nat_4__4781_13.min1.thm1
2017-02-06 12:44
1.8K
nat_4__4806_16.min1.thm1
2017-02-06 12:44
395
nat_4__4824_13.min1.thm1
2017-02-06 12:44
1.8K
nat_4__4852_13.min1.thm1
2017-02-06 12:44
648
nat_4__4856_25.min1.thm1
2017-02-06 12:44
1.5K
nat_4__4858_21.min1.thm1
2017-02-06 12:44
3.0K
nat_4__4862_49.min1.thm1
2017-02-06 12:44
1.8K
nat_4__4868_25.min1.thm1
2017-02-06 12:44
1.6K
nat_4__4870_21.min1.thm1
2017-02-06 12:44
3.2K
nat_4__4874_59.min1.thm1
2017-02-06 12:44
1.9K
nat_4__4879_59.min1.thm1
2017-02-06 12:44
1.7K
nat_4__4908_19.min1.thm1
2017-02-06 12:44
2.2K
nat_4__4915_20.min1.thm1
2017-02-06 12:44
623
nat_4__4915_20.min1.thm1.tptp
2017-02-06 16:47
561
nat_4__4922_22.min1.thm1
2017-02-06 12:44
1.7K
nat_4__4935_22.min1.thm1
2017-02-06 12:44
585
nat_4__4935_22.min1.thm1.tptp
2017-02-06 16:47
521
nat_4__4942_71.min1.thm1
2017-02-06 12:44
812
nat_4__4944_30.min1.thm1
2017-02-06 12:44
621
nat_4__4944_30.min1.thm1.tptp
2017-02-06 16:47
559
nat_4__4946_27.min1.thm1
2017-02-06 12:44
585
nat_4__4946_27.min1.thm1.tptp
2017-02-06 16:47
521
nat_4__4948_21.min1.thm1
2017-02-06 12:44
716
nat_4__4949_41.min1.thm1
2017-02-06 12:44
603
nat_4__4954_19.min1.thm1
2017-02-06 12:44
1.3K
nat_4__4956_14.min1.thm1
2017-02-06 12:44
2.8K
nat_4__4959_15.min1.thm1
2017-02-06 12:44
280
nat_4__4962_21.min1.thm1
2017-02-06 12:44
560
nat_4__4968_15.min1.thm1
2017-02-06 12:44
314
nat_4__4973_17.min1.thm1
2017-02-06 12:44
848
nat_4__4978_25.min1.thm1
2017-02-06 12:44
2.0K
nat_4__4983_17.min1.thm1
2017-02-06 12:44
246
nat_4__4986_38.min1.thm1
2017-02-06 12:44
942
nat_4__4991_26.min1.thm1
2017-02-06 12:44
530
nat_4__4997_16.min1.thm1
2017-02-06 12:44
705
nat_4__5009_21.min1.thm1
2017-02-06 12:44
1.1K
nat_4__5011_25.min1.thm1
2017-02-06 12:44
1.8K
nat_4__5022_19.min1.thm1
2017-02-06 12:44
1.5K
nat_4__5030_30.min1.thm1
2017-02-06 12:44
664
nat_4__5044_11.min1.thm1
2017-02-06 12:44
3.6K
nat_4__5065_20.min1.thm1
2017-02-06 12:44
1.1K
nat_4__5073_17.min1.thm1
2017-02-06 12:44
2.0K
nat_4__5074_21.min1.thm1
2017-02-06 12:44
1.7K
nat_4__5078_22.min1.thm1
2017-02-06 12:44
1.2K
nat_4__5082_31.min1.thm1
2017-02-06 12:44
1.3K
nat_4__5084_16.min1.thm1
2017-02-06 12:44
902
nat_4__5085_46.min1.thm1
2017-02-06 12:44
1.2K
nat_4__5087_20.min1.thm1
2017-02-06 12:44
1.3K
nat_4__5112_11.min1.thm1
2017-02-06 12:44
200
nat_4__5115_18.min1.thm1
2017-02-06 12:44
1.7K
nat_4__5116_19.min1.thm1
2017-02-06 12:44
690
nat_4__5132_16.min1.thm1
2017-02-06 12:44
471
nat_4__5140_24.min1.thm1
2017-02-06 12:44
1.5K
nat_4__5142_11.min1.thm1
2017-02-06 12:44
1.6K
nat_4__5143_20.min1.thm1
2017-02-06 12:44
1.7K
nat_4__5144_24.min1.thm1
2017-02-06 12:44
2.6K
nat_4__5166_25.min1.thm1
2017-02-06 12:44
2.1K
nat_4__5168_29.min1.thm1
2017-02-06 12:44
3.0K
nat_4__5169_17.min1.thm1
2017-02-06 12:44
1.6K
nat_4__5170_21.min1.thm1
2017-02-06 12:44
828
nat_4__5179_14.min1.thm1
2017-02-06 12:44
697
nat_4__5180_13.min1.thm1
2017-02-06 12:44
1.7K
nat_4__5183_22.min1.thm1
2017-02-06 12:44
1.5K
nat_4__5186_19.min1.thm1
2017-02-06 12:44
425
nat_4__5186_19.min1.thm1.tptp
2017-02-06 16:47
361
nat_4__5187_20.min1.thm1
2017-02-06 12:44
1.3K
nat_4__5188_43.min1.thm1
2017-02-06 12:44
1.9K
nat_4__5191_11.min1.thm1
2017-02-06 12:44
1.6K
nat_4__5225_25.min1.thm1
2017-02-06 12:44
2.0K
nat_4__5232_36.min1.thm1
2017-02-06 12:44
1.4K
nat_4__5235_26.min1.thm1
2017-02-06 12:44
954
nat_4__5236_30.min1.thm1
2017-02-06 12:44
1.8K
nat_4__5246_23.min1.thm1
2017-02-06 12:44
780
nat_4__5252_20.min1.thm1
2017-02-06 12:44
2.2K
nat_4__5253_33.min1.thm1
2017-02-06 12:44
1.7K
nat_4__5264_18.min1.thm1
2017-02-06 12:44
4.0K
nat_4__5282_53.min1.thm1
2017-02-06 12:44
2.7K
nat_4__5283_13.min1.thm1
2017-02-06 12:44
1.5K
nat_4__5284_22.min1.thm1
2017-02-06 12:44
2.4K
nat_4__5288_10.min1.thm1
2017-02-06 12:44
1.0K
nat_4__5289_23.min1.thm1
2017-02-06 12:44
1.4K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80