Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/nat_d
Name
Last modified
Size
Description
Parent Directory
-
nat_d__37_19.min1.thm1
2017-02-06 12:44
672
nat_d__38_22.min1.thm1
2017-02-06 12:44
476
nat_d__43_19.min1.thm1
2017-02-06 12:44
1.4K
nat_d__44_22.min1.thm1
2017-02-06 12:44
476
nat_d__55_13.min1.thm1
2017-02-06 12:44
1.1K
nat_d__57_21.min1.thm1
2017-02-06 12:44
1.3K
nat_d__62_38.min1.thm1
2017-02-06 12:44
1.8K
nat_d__63_23.min1.thm1
2017-02-06 12:44
393
nat_d__66_8.min1.thm1
2017-02-06 12:44
1.2K
nat_d__69_20.min1.thm1
2017-02-06 12:44
582
nat_d__70_23.min1.thm1
2017-02-06 12:44
393
nat_d__74_14.min1.thm1
2017-02-06 12:44
387
nat_d__85_13.min1.thm1
2017-02-06 12:44
1.1K
nat_d__87_21.min1.thm1
2017-02-06 12:44
1.5K
nat_d__92_38.min1.thm1
2017-02-06 12:44
1.8K
nat_d__95_8.min1.thm1
2017-02-06 12:44
1.0K
nat_d__98_20.min1.thm1
2017-02-06 12:44
582
nat_d__99_23.min1.thm1
2017-02-06 12:44
393
nat_d__103_14.min1.thm1
2017-02-06 12:44
387
nat_d__111_18.min1.thm1
2017-02-06 12:44
391
nat_d__112_19.min1.thm1
2017-02-06 12:44
719
nat_d__117_18.min1.thm1
2017-02-06 12:44
391
nat_d__118_19.min1.thm1
2017-02-06 12:44
719
nat_d__127_14.min1.thm1
2017-02-06 12:44
382
nat_d__148_20.min1.thm1
2017-02-06 12:44
569
nat_d__149_17.min1.thm1
2017-02-06 12:44
1.1K
nat_d__151_24.min1.thm1
2017-02-06 12:44
1.6K
nat_d__152_48.min1.thm1
2017-02-06 12:44
511
nat_d__154_27.min1.thm1
2017-02-06 12:44
654
nat_d__159_25.min1.thm1
2017-02-06 12:44
853
nat_d__164_19.min1.thm1
2017-02-06 12:44
608
nat_d__169_13.min1.thm1
2017-02-06 12:44
1.0K
nat_d__170_16.min1.thm1
2017-02-06 12:44
779
nat_d__181_16.min1.thm1
2017-02-06 12:44
506
nat_d__182_20.min1.thm1
2017-02-06 12:44
1.0K
nat_d__188_20.min1.thm1
2017-02-06 12:44
1.3K
nat_d__191_19.min1.thm1
2017-02-06 12:44
1.5K
nat_d__194_17.min1.thm1
2017-02-06 12:44
1.0K
nat_d__203_24.min1.thm1
2017-02-06 12:44
492
nat_d__204_22.min1.thm1
2017-02-06 12:44
492
nat_d__215_24.min1.thm1
2017-02-06 12:44
504
nat_d__216_22.min1.thm1
2017-02-06 12:44
504
nat_d__218_38.min1.thm1
2017-02-06 12:44
2.4K
nat_d__220_26.min1.thm1
2017-02-06 12:44
1.6K
nat_d__224_23.min1.thm1
2017-02-06 12:44
915
nat_d__225_19.min1.thm1
2017-02-06 12:44
1.1K
nat_d__233_11.min1.thm1
2017-02-06 12:44
780
nat_d__234_22.min1.thm1
2017-02-06 12:44
904
nat_d__235_11.min1.thm1
2017-02-06 12:44
1.0K
nat_d__236_17.min1.thm1
2017-02-06 12:44
1.0K
nat_d__245_24.min1.thm1
2017-02-06 12:44
504
nat_d__246_22.min1.thm1
2017-02-06 12:44
1.5K
nat_d__248_22.min1.thm1
2017-02-06 12:44
785
nat_d__250_17.min1.thm1
2017-02-06 12:44
841
nat_d__259_24.min1.thm1
2017-02-06 12:44
504
nat_d__260_22.min1.thm1
2017-02-06 12:44
504
nat_d__262_17.min1.thm1
2017-02-06 12:44
1.8K
nat_d__270_16.min1.thm1
2017-02-06 12:44
512
nat_d__271_25.min1.thm1
2017-02-06 12:44
737
nat_d__272_17.min1.thm1
2017-02-06 12:44
851
nat_d__282_20.min1.thm1
2017-02-06 12:44
731
nat_d__284_16.min1.thm1
2017-02-06 12:44
512
nat_d__291_18.min1.thm1
2017-02-06 12:44
1.3K
nat_d__292_24.min1.thm1
2017-02-06 12:44
1.2K
nat_d__294_19.min1.thm1
2017-02-06 12:44
2.1K
nat_d__296_17.min1.thm1
2017-02-06 12:44
1.4K
nat_d__307_23.min1.thm1
2017-02-06 12:44
835
nat_d__308_19.min1.thm1
2017-02-06 12:44
415
nat_d__314_30.min1.thm1
2017-02-06 12:44
1.0K
nat_d__317_17.min1.thm1
2017-02-06 12:44
414
nat_d__317_17.min1.thm1.tptp
2017-02-06 16:47
328
nat_d__333_6.min1.thm1
2017-02-06 12:44
1.0K
nat_d__341_17.min1.thm1
2017-02-06 12:44
309
nat_d__341_17.min1.thm1.tptp
2017-02-06 16:47
228
nat_d__347_20.min1.thm1
2017-02-06 12:44
1.6K
nat_d__348_20.min1.thm1
2017-02-06 12:44
1.6K
nat_d__349_26.min1.thm1
2017-02-06 12:44
703
nat_d__350_21.min1.thm1
2017-02-06 12:44
1.7K
nat_d__352_19.min1.thm1
2017-02-06 12:44
1.4K
nat_d__359_14.min1.thm1
2017-02-06 12:44
690
nat_d__373_6.min1.thm1
2017-02-06 12:44
1.0K
nat_d__381_17.min1.thm1
2017-02-06 12:44
309
nat_d__381_17.min1.thm1.tptp
2017-02-06 16:47
228
nat_d__387_20.min1.thm1
2017-02-06 12:44
1.3K
nat_d__388_20.min1.thm1
2017-02-06 12:44
1.3K
nat_d__389_26.min1.thm1
2017-02-06 12:44
703
nat_d__390_21.min1.thm1
2017-02-06 12:44
1.7K
nat_d__392_19.min1.thm1
2017-02-06 12:44
1.4K
nat_d__399_14.min1.thm1
2017-02-06 12:44
690
nat_d__412_29.min1.thm1
2017-02-06 12:44
424
nat_d__412_29.min1.thm1.tptp
2017-02-06 16:47
355
nat_d__420_15.min1.thm1
2017-02-06 12:44
294
nat_d__421_46.min1.thm1
2017-02-06 12:44
485
nat_d__422_26.min1.thm1
2017-02-06 12:44
1.4K
nat_d__426_42.min1.thm1
2017-02-06 12:44
464
nat_d__427_40.min1.thm1
2017-02-06 12:44
502
nat_d__427_40.min1.thm1.tptp
2017-02-06 16:47
425
nat_d__428_27.min1.thm1
2017-02-06 12:44
3.6K
nat_d__430_25.min1.thm1
2017-02-06 12:44
295
nat_d__432_19.min1.thm1
2017-02-06 12:44
2.6K
nat_d__436_30.min1.thm1
2017-02-06 12:44
414
nat_d__440_17.min1.thm1
2017-02-06 12:44
1.6K
nat_d__441_35.min1.thm1
2017-02-06 12:44
448
nat_d__444_10.min1.thm1
2017-02-06 12:44
893
nat_d__446_28.min1.thm1
2017-02-06 12:44
584
nat_d__455_17.min1.thm1
2017-02-06 12:44
439
nat_d__456_37.min1.thm1
2017-02-06 12:44
456
nat_d__458_18.min1.thm1
2017-02-06 12:44
953
nat_d__460_18.min1.thm1
2017-02-06 12:44
1.5K
nat_d__467_21.min1.thm1
2017-02-06 12:44
1.2K
nat_d__468_25.min1.thm1
2017-02-06 12:44
1.4K
nat_d__470_17.min1.thm1
2017-02-06 12:44
1.2K
nat_d__472_15.min1.thm1
2017-02-06 12:44
1.3K
nat_d__481_24.min1.thm1
2017-02-06 12:44
1.3K
nat_d__483_24.min1.thm1
2017-02-06 12:44
2.0K
nat_d__484_45.min1.thm1
2017-02-06 12:44
488
nat_d__485_43.min1.thm1
2017-02-06 12:44
538
nat_d__485_43.min1.thm1.tptp
2017-02-06 16:47
461
nat_d__488_25.min1.thm1
2017-02-06 12:44
515
nat_d__488_25.min1.thm1.tptp
2017-02-06 16:47
446
nat_d__491_24.min1.thm1
2017-02-06 12:44
514
nat_d__492_34.min1.thm1
2017-02-06 12:44
438
nat_d__499_37.min1.thm1
2017-02-06 12:44
492
nat_d__499_37.min1.thm1.tptp
2017-02-06 16:47
415
nat_d__502_52.min1.thm1
2017-02-06 12:44
1.6K
nat_d__505_30.min1.thm1
2017-02-06 12:44
522
nat_d__505_30.min1.thm1.tptp
2017-02-06 16:47
436
nat_d__506_33.min1.thm1
2017-02-06 12:44
1.2K
nat_d__510_48.min1.thm1
2017-02-06 12:44
1.3K
nat_d__516_13.min1.thm1
2017-02-06 12:44
1.3K
nat_d__523_32.min1.thm1
2017-02-06 12:44
312
nat_d__524_37.min1.thm1
2017-02-06 12:44
502
nat_d__524_37.min1.thm1.tptp
2017-02-06 16:47
425
nat_d__528_24.min1.thm1
2017-02-06 12:44
427
nat_d__528_24.min1.thm1.tptp
2017-02-06 16:47
350
nat_d__530_29.min1.thm1
2017-02-06 12:44
1.0K
nat_d__531_16.min1.thm1
2017-02-06 12:44
1.2K
nat_d__539_13.min1.thm1
2017-02-06 12:44
637
nat_d__540_16.min1.thm1
2017-02-06 12:44
902
nat_d__543_17.min1.thm1
2017-02-06 12:44
816
nat_d__544_17.min1.thm1
2017-02-06 12:44
1.3K
nat_d__550_11.min1.thm1
2017-02-06 12:44
178
nat_d__552_19.min1.thm1
2017-02-06 12:44
1.4K
nat_d__556_21.min1.thm1
2017-02-06 12:44
1.0K
nat_d__557_19.min1.thm1
2017-02-06 12:44
2.1K
nat_d__566_15.min1.thm1
2017-02-06 12:44
1.4K
nat_d__567_17.min1.thm1
2017-02-06 12:44
2.0K
nat_d__576_11.min1.thm1
2017-02-06 12:44
178
nat_d__578_19.min1.thm1
2017-02-06 12:44
842
nat_d__583_12.min1.thm1
2017-02-06 12:44
1.5K
nat_d__591_35.min1.thm1
2017-02-06 12:44
1.8K
nat_d__592_19.min1.thm1
2017-02-06 12:44
1.5K
nat_d__603_44.min1.thm1
2017-02-06 12:44
1.5K
nat_d__612_11.min1.thm1
2017-02-06 12:44
178
nat_d__615_28.min1.thm1
2017-02-06 12:44
1.0K
nat_d__616_19.min1.thm1
2017-02-06 12:44
841
nat_d__621_30.min1.thm1
2017-02-06 12:44
1.5K
nat_d__635_19.min1.thm1
2017-02-06 12:44
1.0K
nat_d__636_17.min1.thm1
2017-02-06 12:44
2.2K
nat_d__644_11.min1.thm1
2017-02-06 12:44
178
nat_d__657_24.min1.thm1
2017-02-06 12:44
1.0K
nat_d__658_18.min1.thm1
2017-02-06 12:44
839
nat_d__659_19.min1.thm1
2017-02-06 12:44
2.0K
nat_d__670_47.min1.thm1
2017-02-06 12:44
2.1K
nat_d__671_17.min1.thm1
2017-02-06 12:44
1.8K
nat_d__679_11.min1.thm1
2017-02-06 12:44
1.1K
nat_d__687_14.min1.thm1
2017-02-06 12:44
1.9K
nat_d__690_47.min1.thm1
2017-02-06 12:44
659
nat_d__694_21.min1.thm1
2017-02-06 12:44
1.3K
nat_d__696_16.min1.thm1
2017-02-06 12:44
823
nat_d__699_16.min1.thm1
2017-02-06 12:44
1.2K
nat_d__706_11.min1.thm1
2017-02-06 12:44
1.1K
nat_d__711_16.min1.thm1
2017-02-06 12:44
446
nat_d__715_28.min1.thm1
2017-02-06 12:44
1.0K
nat_d__716_31.min1.thm1
2017-02-06 12:44
1.8K
nat_d__728_11.min1.thm1
2017-02-06 12:44
1.3K
nat_d__729_17.min1.thm1
2017-02-06 12:44
1.7K
nat_d__735_11.min1.thm1
2017-02-06 12:44
1.1K
nat_d__738_11.min1.thm1
2017-02-06 12:44
1.8K
nat_d__739_19.min1.thm1
2017-02-06 12:44
3.2K
nat_d__742_19.min1.thm1
2017-02-06 12:44
780
nat_d__749_16.min1.thm1
2017-02-06 12:44
1.1K
nat_d__750_17.min1.thm1
2017-02-06 12:44
1.1K
nat_d__763_29.min1.thm1
2017-02-06 12:44
444
nat_d__766_20.min1.thm1
2017-02-06 12:44
793
nat_d__771_16.min1.thm1
2017-02-06 12:44
278
nat_d__784_35.min1.thm1
2017-02-06 12:44
440
nat_d__785_18.min1.thm1
2017-02-06 12:44
821
nat_d__786_18.min1.thm1
2017-02-06 12:44
821
nat_d__787_21.min1.thm1
2017-02-06 12:44
931
nat_d__789_18.min1.thm1
2017-02-06 12:44
1.4K
nat_d__790_18.min1.thm1
2017-02-06 12:44
1.1K
nat_d__791_18.min1.thm1
2017-02-06 12:44
1.1K
nat_d__792_18.min1.thm1
2017-02-06 12:44
1.2K
nat_d__794_21.min1.thm1
2017-02-06 12:44
1.3K
nat_d__795_17.min1.thm1
2017-02-06 12:44
1.1K
nat_d__807_11.min1.thm1
2017-02-06 12:44
929
nat_d__813_19.min1.thm1
2017-02-06 12:44
1.9K
nat_d__816_11.min1.thm1
2017-02-06 12:44
222
nat_d__818_41.min1.thm1
2017-02-06 12:44
2.9K
nat_d__823_48.min1.thm1
2017-02-06 12:44
3.1K
nat_d__824_25.min1.thm1
2017-02-06 12:44
1.0K
nat_d__825_19.min1.thm1
2017-02-06 12:44
1.3K
nat_d__839_40.min1.thm1
2017-02-06 12:44
493
nat_d__840_40.min1.thm1
2017-02-06 12:44
493
nat_d__843_24.min1.thm1
2017-02-06 12:44
1.1K
nat_d__844_26.min1.thm1
2017-02-06 12:44
823
nat_d__845_26.min1.thm1
2017-02-06 12:44
823
nat_d__847_22.min1.thm1
2017-02-06 12:44
828
nat_d__849_22.min1.thm1
2017-02-06 12:44
949
nat_d__850_20.min1.thm1
2017-02-06 12:44
1.4K
nat_d__853_20.min1.thm1
2017-02-06 12:44
1.4K
nat_d__856_19.min1.thm1
2017-02-06 12:44
626
nat_d__857_19.min1.thm1
2017-02-06 12:44
626
nat_d__865_16.min1.thm1
2017-02-06 12:44
536
nat_d__867_16.min1.thm1
2017-02-06 12:44
536
nat_d__868_20.min1.thm1
2017-02-06 12:44
1.0K
nat_d__869_20.min1.thm1
2017-02-06 12:44
1.0K
nat_d__871_24.min1.thm1
2017-02-06 12:44
754
nat_d__872_24.min1.thm1
2017-02-06 12:44
755
nat_d__873_37.min1.thm1
2017-02-06 12:44
1.4K
nat_d__875_28.min1.thm1
2017-02-06 12:44
1.4K
nat_d__877_27.min1.thm1
2017-02-06 12:44
2.2K
nat_d__879_23.min1.thm1
2017-02-06 12:44
727
nat_d__881_21.min1.thm1
2017-02-06 12:44
648
nat_d__889_26.min1.thm1
2017-02-06 12:44
1.4K
nat_d__889_52.min1.thm1
2017-02-06 12:44
1.0K
nat_d__890_16.min1.thm1
2017-02-06 12:44
396
nat_d__892_17.min1.thm1
2017-02-06 12:44
660
nat_d__892_17.min1.thm1.tptp
2017-02-06 16:47
587
nat_d__904_16.min1.thm1
2017-02-06 12:44
1.0K
nat_d__905_37.min1.thm1
2017-02-06 12:44
804
nat_d__906_39.min1.thm1
2017-02-06 12:44
849
nat_d__907_42.min1.thm1
2017-02-06 12:44
1.9K
nat_d__908_34.min1.thm1
2017-02-06 12:44
1.0K
nat_d__909_24.min1.thm1
2017-02-06 12:44
1.5K
nat_d__917_64.min1.thm1
2017-02-06 12:44
228
nat_d__918_17.min1.thm1
2017-02-06 12:44
741
nat_d__924_64.min1.thm1
2017-02-06 12:44
228
nat_d__925_17.min1.thm1
2017-02-06 12:44
741
nat_d__937_36.min1.thm1
2017-02-06 12:44
248
nat_d__938_16.min1.thm1
2017-02-06 12:44
362
nat_d__939_29.min1.thm1
2017-02-06 12:44
564
nat_d__950_49.min1.thm1
2017-02-06 12:44
1.4K
nat_d__951_19.min1.thm1
2017-02-06 12:44
1.0K
nat_d__969_17.min1.thm1
2017-02-06 12:44
1.6K
nat_d__980_16.min1.thm1
2017-02-06 12:44
503
nat_d__981_20.min1.thm1
2017-02-06 12:44
1.1K
nat_d__986_30.min1.thm1
2017-02-06 12:44
876
nat_d__993_23.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1005_14.min1.thm1
2017-02-06 12:44
382
nat_d__1007_19.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1010_19.min1.thm1
2017-02-06 12:44
1.8K
nat_d__1017_13.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1018_7.min1.thm1
2017-02-06 12:44
451
nat_d__1019_14.min1.thm1
2017-02-06 12:44
244
nat_d__1027_11.min1.thm1
2017-02-06 12:44
208
nat_d__1031_17.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1032_17.min1.thm1
2017-02-06 12:44
718
nat_d__1033_19.min1.thm1
2017-02-06 12:44
917
nat_d__1036_18.min1.thm1
2017-02-06 12:44
600
nat_d__1037_19.min1.thm1
2017-02-06 12:44
1.8K
nat_d__1046_11.min1.thm1
2017-02-06 12:44
256
nat_d__1049_17.min1.thm1
2017-02-06 12:44
844
nat_d__1050_17.min1.thm1
2017-02-06 12:44
704
nat_d__1054_19.min1.thm1
2017-02-06 12:44
1.8K
nat_d__1062_26.min1.thm1
2017-02-06 12:44
951
nat_d__1064_14.min1.thm1
2017-02-06 12:44
294
nat_d__1072_11.min1.thm1
2017-02-06 12:44
242
nat_d__1074_22.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1075_25.min1.thm1
2017-02-06 12:44
1.2K
nat_d__1079_19.min1.thm1
2017-02-06 12:44
1.8K
nat_d__1086_11.min1.thm1
2017-02-06 12:44
194
nat_d__1089_16.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1090_18.min1.thm1
2017-02-06 12:44
753
nat_d__1092_15.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1093_17.min1.thm1
2017-02-06 12:44
1.3K
nat_d__1094_22.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1100_19.min1.thm1
2017-02-06 12:44
856
nat_d__1102_13.min1.thm1
2017-02-06 12:44
1.3K
nat_d__1104_17.min1.thm1
2017-02-06 12:44
200
nat_d__1107_28.min1.thm1
2017-02-06 12:44
594
nat_d__1108_23.min1.thm1
2017-02-06 12:44
1.6K
nat_d__1111_23.min1.thm1
2017-02-06 12:44
868
nat_d__1112_28.min1.thm1
2017-02-06 12:44
1.4K
nat_d__1113_23.min1.thm1
2017-02-06 12:44
1.6K
nat_d__1116_16.min1.thm1
2017-02-06 12:44
453
nat_d__1126_12.min1.thm1
2017-02-06 12:44
503
nat_d__1127_14.min1.thm1
2017-02-06 12:44
647
nat_d__1129_15.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1130_21.min1.thm1
2017-02-06 12:44
359
nat_d__1130_21.min1.thm1.tptp
2017-02-06 16:47
282
nat_d__1131_20.min1.thm1
2017-02-06 12:44
797
nat_d__1132_19.min1.thm1
2017-02-06 12:44
1.2K
nat_d__1133_16.min1.thm1
2017-02-06 12:44
703
nat_d__1141_17.min1.thm1
2017-02-06 12:44
2.1K
nat_d__1143_51.min1.thm1
2017-02-06 12:44
2.2K
nat_d__1144_14.min1.thm1
2017-02-06 12:44
647
nat_d__1147_17.min1.thm1
2017-02-06 12:44
2.4K
nat_d__1148_24.min1.thm1
2017-02-06 12:44
1.2K
nat_d__1149_37.min1.thm1
2017-02-06 12:44
1.7K
nat_d__1150_16.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1162_14.min1.thm1
2017-02-06 12:44
507
nat_d__1169_16.min1.thm1
2017-02-06 12:44
649
nat_d__1172_17.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1180_14.min1.thm1
2017-02-06 12:44
356
nat_d__1183_20.min1.thm1
2017-02-06 12:44
511
nat_d__1185_19.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1186_14.min1.thm1
2017-02-06 12:44
2.0K
nat_d__1192_19.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1193_14.min1.thm1
2017-02-06 12:44
2.0K
nat_d__1203_15.min1.thm1
2017-02-06 12:44
409
nat_d__1204_17.min1.thm1
2017-02-06 12:44
1.4K
nat_d__1213_21.min1.thm1
2017-02-06 12:44
636
nat_d__1215_17.min1.thm1
2017-02-06 12:44
1.9K
nat_d__1223_11.min1.thm1
2017-02-06 12:44
523
nat_d__1226_23.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1227_19.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1231_17.min1.thm1
2017-02-06 12:44
687
nat_d__1232_19.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1240_30.min1.thm1
2017-02-06 12:44
780
nat_d__1241_17.min1.thm1
2017-02-06 12:44
553
nat_d__1250_24.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1251_17.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1259_14.min1.thm1
2017-02-06 12:44
963
nat_d__1274_19.min1.thm1
2017-02-06 12:44
959
nat_d__1275_33.min1.thm1
2017-02-06 12:44
1.6K
nat_d__1276_17.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1285_11.min1.thm1
2017-02-06 12:44
208
nat_d__1288_21.min1.thm1
2017-02-06 12:44
718
nat_d__1289_21.min1.thm1
2017-02-06 12:44
918
nat_d__1290_19.min1.thm1
2017-02-06 12:44
922
nat_d__1293_21.min1.thm1
2017-02-06 12:44
600
nat_d__1295_17.min1.thm1
2017-02-06 12:44
819
nat_d__1296_18.min1.thm1
2017-02-06 12:44
490
nat_d__1297_19.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1309_20.min1.thm1
2017-02-06 12:44
1.3K
nat_d__1320_21.min1.thm1
2017-02-06 12:44
914
nat_d__1321_13.min1.thm1
2017-02-06 12:44
503
nat_d__1322_32.min1.thm1
2017-02-06 12:44
1.3K
nat_d__1333_13.min1.thm1
2017-02-06 12:44
184
nat_d__1336_22.min1.thm1
2017-02-06 12:44
1.3K
nat_d__1340_39.min1.thm1
2017-02-06 12:44
387
nat_d__1341_24.min1.thm1
2017-02-06 12:44
442
nat_d__1342_22.min1.thm1
2017-02-06 12:44
286
nat_d__1342_22.min1.thm1.tptp
2017-02-06 16:47
198
nat_d__1347_14.min1.thm1
2017-02-06 12:44
852
nat_d__1349_16.min1.thm1
2017-02-06 12:44
674
nat_d__1352_26.min1.thm1
2017-02-06 12:44
447
nat_d__1353_15.min1.thm1
2017-02-06 12:44
308
nat_d__1353_15.min1.thm1.tptp
2017-02-06 16:47
230
nat_d__1368_51.min1.thm1
2017-02-06 12:44
794
nat_d__1369_34.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1370_36.min1.thm1
2017-02-06 12:44
1.3K
nat_d__1371_32.min1.thm1
2017-02-06 12:44
921
nat_d__1372_28.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1373_25.min1.thm1
2017-02-06 12:44
662
nat_d__1374_25.min1.thm1
2017-02-06 12:44
488
nat_d__1376_11.min1.thm1
2017-02-06 12:44
178
nat_d__1379_66.min1.thm1
2017-02-06 12:44
1.2K
nat_d__1382_19.min1.thm1
2017-02-06 12:44
624
nat_d__1386_16.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1399_26.min1.thm1
2017-02-06 12:44
502
nat_d__1400_26.min1.thm1
2017-02-06 12:44
910
nat_d__1402_41.min1.thm1
2017-02-06 12:44
894
nat_d__1403_38.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1404_34.min1.thm1
2017-02-06 12:44
1.8K
nat_d__1405_62.min1.thm1
2017-02-06 12:44
1.7K
nat_d__1408_34.min1.thm1
2017-02-06 12:44
972
nat_d__1409_69.min1.thm1
2017-02-06 12:44
1.6K
nat_d__1413_45.min1.thm1
2017-02-06 12:44
1.2K
nat_d__1415_35.min1.thm1
2017-02-06 12:44
2.5K
nat_d__1417_27.min1.thm1
2017-02-06 12:44
830
nat_d__1418_26.min1.thm1
2017-02-06 12:44
503
nat_d__1421_14.min1.thm1
2017-02-06 12:44
404
nat_d__1429_11.min1.thm1
2017-02-06 12:44
178
nat_d__1432_16.min1.thm1
2017-02-06 12:44
705
nat_d__1440_44.min1.thm1
2017-02-06 12:44
473
nat_d__1441_44.min1.thm1
2017-02-06 12:44
1.7K
nat_d__1448_26.min1.thm1
2017-02-06 12:44
2.3K
nat_d__1450_25.min1.thm1
2017-02-06 12:44
2.3K
nat_d__1451_41.min1.thm1
2017-02-06 12:44
1.7K
nat_d__1454_26.min1.thm1
2017-02-06 12:44
2.6K
nat_d__1459_13.min1.thm1
2017-02-06 12:44
1.6K
nat_d__1463_37.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1465_35.min1.thm1
2017-02-06 12:44
2.1K
nat_d__1466_28.min1.thm1
2017-02-06 12:44
1.3K
nat_d__1467_24.min1.thm1
2017-02-06 12:44
1.2K
nat_d__1470_26.min1.thm1
2017-02-06 12:44
1.9K
nat_d__1472_21.min1.thm1
2017-02-06 12:44
885
nat_d__1473_26.min1.thm1
2017-02-06 12:44
1.4K
nat_d__1475_20.min1.thm1
2017-02-06 12:44
510
nat_d__1476_34.min1.thm1
2017-02-06 12:44
623
nat_d__1477_19.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1491_39.min1.thm1
2017-02-06 12:44
722
nat_d__1492_49.min1.thm1
2017-02-06 12:44
826
nat_d__1495_36.min1.thm1
2017-02-06 12:44
581
nat_d__1498_25.min1.thm1
2017-02-06 12:44
577
nat_d__1500_20.min1.thm1
2017-02-06 12:44
701
nat_d__1502_17.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1511_11.min1.thm1
2017-02-06 12:44
178
nat_d__1514_32.min1.thm1
2017-02-06 12:44
635
nat_d__1515_19.min1.thm1
2017-02-06 12:44
612
nat_d__1519_38.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1520_19.min1.thm1
2017-02-06 12:44
900
nat_d__1528_11.min1.thm1
2017-02-06 12:44
178
nat_d__1531_30.min1.thm1
2017-02-06 12:44
725
nat_d__1532_41.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1538_62.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1541_55.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1542_19.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1550_11.min1.thm1
2017-02-06 12:44
178
nat_d__1553_30.min1.thm1
2017-02-06 12:44
725
nat_d__1554_41.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1560_62.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1564_59.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1565_19.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1580_39.min1.thm1
2017-02-06 12:44
1.4K
nat_d__1584_21.min1.thm1
2017-02-06 12:44
1.8K
nat_d__1588_29.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1596_21.min1.thm1
2017-02-06 12:44
462
nat_d__1603_48.min1.thm1
2017-02-06 12:44
845
nat_d__1605_26.min1.thm1
2017-02-06 12:44
494
nat_d__1605_26.min1.thm1.tptp
2017-02-06 16:47
440
nat_d__1609_17.min1.thm1
2017-02-06 12:44
377
nat_d__1614_19.min1.thm1
2017-02-06 12:44
677
nat_d__1623_16.min1.thm1
2017-02-06 12:44
600
nat_d__1625_15.min1.thm1
2017-02-06 12:44
759
nat_d__1627_21.min1.thm1
2017-02-06 12:44
1.3K
nat_d__1630_13.min1.thm1
2017-02-06 12:44
568
nat_d__1631_18.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1632_18.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1638_23.min1.thm1
2017-02-06 12:44
465
nat_d__1644_18.min1.thm1
2017-02-06 12:44
785
nat_d__1646_18.min1.thm1
2017-02-06 12:44
785
nat_d__1648_32.min1.thm1
2017-02-06 12:44
2.4K
nat_d__1649_45.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1650_21.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1652_21.min1.thm1
2017-02-06 12:44
1.9K
nat_d__1656_14.min1.thm1
2017-02-06 12:44
713
nat_d__1658_24.min1.thm1
2017-02-06 12:44
1.2K
nat_d__1660_14.min1.thm1
2017-02-06 12:44
712
nat_d__1661_28.min1.thm1
2017-02-06 12:44
1.2K
nat_d__1662_33.min1.thm1
2017-02-06 12:44
1.8K
nat_d__1663_19.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1664_19.min1.thm1
2017-02-06 12:44
1.2K
nat_d__1667_13.min1.thm1
2017-02-06 12:44
244
nat_d__1674_26.min1.thm1
2017-02-06 12:44
860
nat_d__1676_32.min1.thm1
2017-02-06 12:44
683
nat_d__1678_52.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1679_23.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1682_20.min1.thm1
2017-02-06 12:44
266
nat_d__1686_29.min1.thm1
2017-02-06 12:44
495
nat_d__1688_21.min1.thm1
2017-02-06 12:44
218
nat_d__1691_46.min1.thm1
2017-02-06 12:44
1.7K
nat_d__1695_41.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1696_35.min1.thm1
2017-02-06 12:44
1.7K
nat_d__1699_22.min1.thm1
2017-02-06 12:44
1.4K
nat_d__1704_29.min1.thm1
2017-02-06 12:44
610
nat_d__1706_21.min1.thm1
2017-02-06 12:44
218
nat_d__1709_46.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1713_41.min1.thm1
2017-02-06 12:44
1.5K
nat_d__1714_35.min1.thm1
2017-02-06 12:44
1.7K
nat_d__1725_17.min1.thm1
2017-02-06 12:44
467
nat_d__1728_25.min1.thm1
2017-02-06 12:44
2.1K
nat_d__1732_24.min1.thm1
2017-02-06 12:44
631
nat_d__1734_38.min1.thm1
2017-02-06 12:44
2.0K
nat_d__1735_40.min1.thm1
2017-02-06 12:44
816
nat_d__1736_38.min1.thm1
2017-02-06 12:44
849
nat_d__1737_26.min1.thm1
2017-02-06 12:44
948
nat_d__1739_25.min1.thm1
2017-02-06 12:44
1.2K
nat_d__1743_24.min1.thm1
2017-02-06 12:44
631
nat_d__1745_38.min1.thm1
2017-02-06 12:44
2.0K
nat_d__1746_40.min1.thm1
2017-02-06 12:44
816
nat_d__1747_38.min1.thm1
2017-02-06 12:44
849
nat_d__1748_26.min1.thm1
2017-02-06 12:44
948
nat_d__1750_25.min1.thm1
2017-02-06 12:44
1.2K
nat_d__1754_33.min1.thm1
2017-02-06 12:44
745
nat_d__1756_40.min1.thm1
2017-02-06 12:44
956
nat_d__1757_40.min1.thm1
2017-02-06 12:44
816
nat_d__1758_38.min1.thm1
2017-02-06 12:44
849
nat_d__1759_41.min1.thm1
2017-02-06 12:44
875
nat_d__1760_27.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1762_25.min1.thm1
2017-02-06 12:44
1.2K
nat_d__1765_18.min1.thm1
2017-02-06 12:44
1.2K
nat_d__1768_14.min1.thm1
2017-02-06 12:44
709
nat_d__1776_11.min1.thm1
2017-02-06 12:44
178
nat_d__1779_18.min1.thm1
2017-02-06 12:44
370
nat_d__1780_50.min1.thm1
2017-02-06 12:44
1.1K
nat_d__1783_33.min1.thm1
2017-02-06 12:44
1.4K
nat_d__1784_19.min1.thm1
2017-02-06 12:44
447
nat_d__1788_16.min1.thm1
2017-02-06 12:44
1.4K
nat_d__1797_24.min1.thm1
2017-02-06 12:44
1.4K
nat_d__1798_38.min1.thm1
2017-02-06 12:44
1.0K
nat_d__1799_17.min1.thm1
2017-02-06 12:44
1.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80