Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/nat_5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_5__58_45.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__61_31.min1.thm12017-02-06 12:44 276  
[ ]nat_5__61_31.min1.thm1.tptp2017-02-06 16:47 188  
[ ]nat_5__62_18.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__64_37.min1.thm12017-02-06 12:44 745  
[ ]nat_5__65_18.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__67_37.min1.thm12017-02-06 12:44 745  
[ ]nat_5__68_11.min1.thm12017-02-06 12:44 295  
[ ]nat_5__72_36.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__73_10.min1.thm12017-02-06 12:44 429  
[ ]nat_5__74_24.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__77_42.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__78_48.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__79_19.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__85_10.min1.thm12017-02-06 12:44 429  
[ ]nat_5__86_24.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__89_42.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__90_48.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__91_19.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__110_7.min1.thm12017-02-06 12:44 195  
[ ]nat_5__111_24.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__112_27.min1.thm12017-02-06 12:44 952  
[ ]nat_5__115_8.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__117_14.min1.thm12017-02-06 12:44 478  
[ ]nat_5__117_14.min1.thm1.tptp2017-02-06 16:47 395  
[ ]nat_5__131_40.min1.thm12017-02-06 12:44 949  
[ ]nat_5__134_19.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__140_16.min1.thm12017-02-06 12:44 198  
[ ]nat_5__143_20.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__146_13.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__147_23.min1.thm12017-02-06 12:44 316  
[ ]nat_5__157_48.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__160_43.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__166_15.min1.thm12017-02-06 12:44 173  
[ ]nat_5__173_23.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__177_23.min1.thm12017-02-06 12:44 2.4K 
[ ]nat_5__181_15.min1.thm12017-02-06 12:44 790  
[ ]nat_5__183_26.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__184_42.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__185_21.min1.thm12017-02-06 12:44 300  
[ ]nat_5__186_23.min1.thm12017-02-06 12:44 2.7K 
[ ]nat_5__189_69.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__191_38.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__194_33.min1.thm12017-02-06 12:44 633  
[ ]nat_5__200_13.min1.thm12017-02-06 12:44 356  
[ ]nat_5__201_38.min1.thm12017-02-06 12:44 526  
[ ]nat_5__207_24.min1.thm12017-02-06 12:44 449  
[ ]nat_5__208_40.min1.thm12017-02-06 12:44 623  
[ ]nat_5__213_49.min1.thm12017-02-06 12:44 589  
[ ]nat_5__214_47.min1.thm12017-02-06 12:44 468  
[ ]nat_5__215_21.min1.thm12017-02-06 12:44 861  
[ ]nat_5__216_39.min1.thm12017-02-06 12:44 864  
[ ]nat_5__221_49.min1.thm12017-02-06 12:44 589  
[ ]nat_5__222_49.min1.thm12017-02-06 12:44 589  
[ ]nat_5__223_23.min1.thm12017-02-06 12:44 897  
[ ]nat_5__224_41.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__235_22.min1.thm12017-02-06 12:44 756  
[ ]nat_5__237_38.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__247_38.min1.thm12017-02-06 12:44 951  
[ ]nat_5__248_29.min1.thm12017-02-06 12:44 613  
[ ]nat_5__257_23.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__260_11.min1.thm12017-02-06 12:44 208  
[ ]nat_5__263_21.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__268_18.min1.thm12017-02-06 12:44 3.5K 
[ ]nat_5__269_14.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__270_22.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__273_20.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__274_16.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__283_38.min1.thm12017-02-06 12:44 951  
[ ]nat_5__288_14.min1.thm12017-02-06 12:44 721  
[ ]nat_5__289_44.min1.thm12017-02-06 12:44 467  
[ ]nat_5__291_20.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__292_20.min1.thm12017-02-06 12:44 935  
[ ]nat_5__299_20.min1.thm12017-02-06 12:44 937  
[ ]nat_5__301_14.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__302_35.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__303_38.min1.thm12017-02-06 12:44 952  
[ ]nat_5__306_16.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__307_11.min1.thm12017-02-06 12:44 208  
[ ]nat_5__310_29.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__311_33.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__314_15.min1.thm12017-02-06 12:44 821  
[ ]nat_5__315_13.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__321_15.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__322_24.min1.thm12017-02-06 12:44 2.5K 
[ ]nat_5__325_11.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__326_19.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__328_19.min1.thm12017-02-06 12:44 2.5K 
[ ]nat_5__330_17.min1.thm12017-02-06 12:44 2.0K 
[ ]nat_5__331_23.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__333_26.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__350_21.min1.thm12017-02-06 12:44 887  
[ ]nat_5__373_11.min1.thm12017-02-06 12:44 206  
[ ]nat_5__376_18.min1.thm12017-02-06 12:44 629  
[ ]nat_5__379_13.min1.thm12017-02-06 12:44 536  
[ ]nat_5__381_19.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__385_26.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__386_51.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__387_45.min1.thm12017-02-06 12:44 307  
[ ]nat_5__387_45.min1.thm1.tptp2017-02-06 16:47 227  
[ ]nat_5__388_49.min1.thm12017-02-06 12:44 324  
[ ]nat_5__388_49.min1.thm1.tptp2017-02-06 16:47 243  
[ ]nat_5__389_21.min1.thm12017-02-06 12:44 751  
[ ]nat_5__390_19.min1.thm12017-02-06 12:44 436  
[ ]nat_5__391_31.min1.thm12017-02-06 12:44 2.3K 
[ ]nat_5__392_54.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__393_21.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__394_25.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__396_25.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__397_19.min1.thm12017-02-06 12:44 344  
[ ]nat_5__397_19.min1.thm1.tptp2017-02-06 16:47 264  
[ ]nat_5__398_31.min1.thm12017-02-06 12:44 2.3K 
[ ]nat_5__399_54.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__400_14.min1.thm12017-02-06 12:44 860  
[ ]nat_5__403_22.min1.thm12017-02-06 12:44 2.5K 
[ ]nat_5__405_48.min1.thm12017-02-06 12:44 850  
[ ]nat_5__406_49.min1.thm12017-02-06 12:44 337  
[ ]nat_5__406_49.min1.thm1.tptp2017-02-06 16:47 256  
[ ]nat_5__407_24.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__410_22.min1.thm12017-02-06 12:44 633  
[ ]nat_5__427_11.min1.thm12017-02-06 12:44 280  
[ ]nat_5__430_22.min1.thm12017-02-06 12:44 454  
[ ]nat_5__432_26.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__433_32.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__441_22.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__442_31.min1.thm12017-02-06 12:44 2.4K 
[ ]nat_5__443_48.min1.thm12017-02-06 12:44 817  
[ ]nat_5__460_15.min1.thm12017-02-06 12:44 543  
[ ]nat_5__465_19.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__467_38.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__468_30.min1.thm12017-02-06 12:44 2.6K 
[ ]nat_5__471_22.min1.thm12017-02-06 12:44 944  
[ ]nat_5__480_33.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__485_26.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__495_17.min1.thm12017-02-06 12:44 582  
[ ]nat_5__496_28.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__529_19.min1.thm12017-02-06 12:44 516  
[ ]nat_5__532_26.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__535_22.min1.thm12017-02-06 12:44 516  
[ ]nat_5__537_26.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__538_11.min1.thm12017-02-06 12:44 520  
[ ]nat_5__539_24.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__542_21.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__547_21.min1.thm12017-02-06 12:44 651  
[ ]nat_5__548_16.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__550_22.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__562_19.min1.thm12017-02-06 12:44 516  
[ ]nat_5__566_19.min1.thm12017-02-06 12:44 516  
[ ]nat_5__570_19.min1.thm12017-02-06 12:44 516  
[ ]nat_5__577_20.min1.thm12017-02-06 12:44 517  
[ ]nat_5__579_48.min1.thm12017-02-06 12:44 959  
[ ]nat_5__580_19.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__581_48.min1.thm12017-02-06 12:44 959  
[ ]nat_5__586_28.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__587_62.min1.thm12017-02-06 12:44 809  
[ ]nat_5__588_45.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__592_19.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__593_47.min1.thm12017-02-06 12:44 414  
[ ]nat_5__593_47.min1.thm1.tptp2017-02-06 16:47 335  
[ ]nat_5__595_23.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__598_20.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__599_12.min1.thm12017-02-06 12:44 414  
[ ]nat_5__599_12.min1.thm1.tptp2017-02-06 16:47 349  
[ ]nat_5__602_14.min1.thm12017-02-06 12:44 521  
[ ]nat_5__611_37.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__615_13.min1.thm12017-02-06 12:44 551  
[ ]nat_5__616_20.min1.thm12017-02-06 12:44 547  
[ ]nat_5__620_13.min1.thm12017-02-06 12:44 551  
[ ]nat_5__621_45.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__622_20.min1.thm12017-02-06 12:44 547  
[ ]nat_5__625_48.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__628_33.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__630_42.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__631_72.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__636_29.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__637_38.min1.thm12017-02-06 12:44 3.1K 
[ ]nat_5__645_11.min1.thm12017-02-06 12:44 178  
[ ]nat_5__648_37.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__650_30.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__651_33.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__655_42.min1.thm12017-02-06 12:44 431  
[ ]nat_5__656_50.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__657_63.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__658_36.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__659_62.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__664_35.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__665_60.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__666_61.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__667_22.min1.thm12017-02-06 12:44 711  
[ ]nat_5__668_70.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__671_45.min1.thm12017-02-06 12:44 695  
[ ]nat_5__672_53.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__673_62.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__675_12.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__679_63.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__684_63.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__704_28.min1.thm12017-02-06 12:44 2.5K 
[ ]nat_5__706_28.min1.thm12017-02-06 12:44 2.5K 
[ ]nat_5__707_20.min1.thm12017-02-06 12:44 926  
[ ]nat_5__708_26.min1.thm12017-02-06 12:44 881  
[ ]nat_5__709_15.min1.thm12017-02-06 12:44 814  
[ ]nat_5__725_33.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__726_24.min1.thm12017-02-06 12:44 821  
[ ]nat_5__728_58.min1.thm12017-02-06 12:44 748  
[ ]nat_5__733_31.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__734_22.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__735_35.min1.thm12017-02-06 12:44 2.6K 
[ ]nat_5__737_17.min1.thm12017-02-06 12:44 458  
[ ]nat_5__737_17.min1.thm1.tptp2017-02-06 16:47 398  
[ ]nat_5__755_14.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__762_13.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__766_25.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__767_31.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__770_26.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__781_20.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__785_17.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__786_27.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__788_25.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__789_31.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__792_26.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__801_8.min1.thm12017-02-06 12:44 563  
[ ]nat_5__810_13.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__811_12.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__812_16.min1.thm12017-02-06 12:44 2.0K 
[ ]nat_5__816_18.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__817_19.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__819_17.min1.thm12017-02-06 12:44 489  
[ ]nat_5__819_17.min1.thm1.tptp2017-02-06 16:47 402  
[ ]nat_5__832_26.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__833_56.min1.thm12017-02-06 12:44 2.0K 
[ ]nat_5__843_14.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__844_22.min1.thm12017-02-06 12:44 665  
[ ]nat_5__864_28.min1.thm12017-02-06 12:44 2.3K 
[ ]nat_5__869_17.min1.thm12017-02-06 12:44 825  
[ ]nat_5__870_25.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__880_15.min1.thm12017-02-06 12:44 216  
[ ]nat_5__883_22.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__886_34.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__893_16.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__895_16.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__896_23.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__900_27.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__905_43.min1.thm12017-02-06 12:44 2.8K 
[ ]nat_5__912_35.min1.thm12017-02-06 12:44 418  
[ ]nat_5__925_21.min1.thm12017-02-06 12:44 930  
[ ]nat_5__929_23.min1.thm12017-02-06 12:44 2.0K 
[ ]nat_5__930_18.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__941_18.min1.thm12017-02-06 12:44 899  
[ ]nat_5__946_19.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__951_16.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__953_15.min1.thm12017-02-06 12:44 2.5K 
[ ]nat_5__959_16.min1.thm12017-02-06 12:44 726  
[ ]nat_5__962_26.min1.thm12017-02-06 12:44 950  
[ ]nat_5__976_18.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__985_29.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__986_40.min1.thm12017-02-06 12:44 2.4K 
[ ]nat_5__992_16.min1.thm12017-02-06 12:44 806  
[ ]nat_5__1011_15.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__1017_33.min1.thm12017-02-06 12:44 2.5K 
[ ]nat_5__1018_39.min1.thm12017-02-06 12:44 2.5K 
[ ]nat_5__1020_41.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__1021_25.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__1035_48.min1.thm12017-02-06 12:44 2.4K 
[ ]nat_5__1038_51.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__1044_28.min1.thm12017-02-06 12:44 2.6K 
[ ]nat_5__1048_16.min1.thm12017-02-06 12:44 666  
[ ]nat_5__1052_14.min1.thm12017-02-06 12:44 2.3K 
[ ]nat_5__1058_38.min1.thm12017-02-06 12:44 951  
[ ]nat_5__1062_13.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1064_38.min1.thm12017-02-06 12:44 951  
[ ]nat_5__1068_12.min1.thm12017-02-06 12:44 785  
[ ]nat_5__1071_11.min1.thm12017-02-06 12:44 513  
[ ]nat_5__1073_12.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1074_16.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__1080_9.min1.thm12017-02-06 12:44 3.3K 
[ ]nat_5__1082_14.min1.thm12017-02-06 12:44 2.6K 
[ ]nat_5__1083_12.min1.thm12017-02-06 12:44 507  
[ ]nat_5__1085_18.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__1088_15.min1.thm12017-02-06 12:44 2.2K 
[ ]nat_5__1089_17.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__1093_43.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__1094_33.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__1099_14.min1.thm12017-02-06 12:44 2.3K 
[ ]nat_5__1100_18.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__1101_17.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__1102_16.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__1104_16.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__1107_18.min1.thm12017-02-06 12:44 2.6K 
[ ]nat_5__1112_39.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__1113_31.min1.thm12017-02-06 12:44 2.9K 
[ ]nat_5__1115_16.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__1116_15.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__1123_39.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__1127_16.min1.thm12017-02-06 12:44 2.2K 
[ ]nat_5__1130_24.min1.thm12017-02-06 12:44 2.2K 
[ ]nat_5__1131_28.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__1138_15.min1.thm12017-02-06 12:44 174  
[ ]nat_5__1145_19.min1.thm12017-02-06 12:44 930  
[ ]nat_5__1146_23.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__1147_22.min1.thm12017-02-06 12:44 2.3K 
[ ]nat_5__1148_27.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__1149_26.min1.thm12017-02-06 12:44 2.5K 
[ ]nat_5__1150_30.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__1152_28.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__1158_27.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__1191_15.min1.thm12017-02-06 12:44 186  
[ ]nat_5__1194_22.min1.thm12017-02-06 12:44 2.2K 
[ ]nat_5__1195_21.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__1196_29.min1.thm12017-02-06 12:44 844  
[ ]nat_5__1197_42.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__1201_49.min1.thm12017-02-06 12:44 450  
[ ]nat_5__1202_22.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__1204_22.min1.thm12017-02-06 12:44 483  
[ ]nat_5__1210_33.min1.thm12017-02-06 12:44 617  
[ ]nat_5__1214_17.min1.thm12017-02-06 12:44 258  
[ ]nat_5__1230_51.min1.thm12017-02-06 12:44 644  
[ ]nat_5__1230_51.min1.thm1.tptp2017-02-06 16:47 560  
[ ]nat_5__1238_23.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__1243_30.min1.thm12017-02-06 12:44 2.3K 
[ ]nat_5__1255_21.min1.thm12017-02-06 12:44 2.2K 
[ ]nat_5__1256_24.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__1257_21.min1.thm12017-02-06 12:44 2.2K 
[ ]nat_5__1262_22.min1.thm12017-02-06 12:44 2.8K 
[ ]nat_5__1264_24.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__1283_23.min1.thm12017-02-06 12:44 392  
[ ]nat_5__1286_27.min1.thm12017-02-06 12:44 2.8K 
[ ]nat_5__1293_27.min1.thm12017-02-06 12:44 2.8K 
[ ]nat_5__1300_56.min1.thm12017-02-06 12:44 647  
[ ]nat_5__1300_56.min1.thm1.tptp2017-02-06 16:47 563  
[ ]nat_5__1335_13.min1.thm12017-02-06 12:44 196  
[ ]nat_5__1338_18.min1.thm12017-02-06 12:44 807  
[ ]nat_5__1339_20.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1349_18.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__1351_24.min1.thm12017-02-06 12:44 876  
[ ]nat_5__1352_16.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__1383_13.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1386_19.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__1388_17.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__1389_12.min1.thm12017-02-06 12:44 788  
[ ]nat_5__1391_31.min1.thm12017-02-06 12:44 2.4K 
[ ]nat_5__1393_19.min1.thm12017-02-06 12:44 3.1K 
[ ]nat_5__1394_23.min1.thm12017-02-06 12:44 2.4K 
[ ]nat_5__1396_24.min1.thm12017-02-06 12:44 3.0K 
[ ]nat_5__1397_22.min1.thm12017-02-06 12:44 2.3K 
[ ]nat_5__1400_16.min1.thm12017-02-06 12:44 3.0K 
[ ]nat_5__1403_11.min1.thm12017-02-06 12:44 2.7K 
[ ]nat_5__1404_18.min1.thm12017-02-06 12:44 2.3K 
[ ]nat_5__1405_17.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__1417_17.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__1418_57.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__1419_43.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__1421_24.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1422_27.min1.thm12017-02-06 12:44 2.3K 
[ ]nat_5__1427_15.min1.thm12017-02-06 12:44 431  
[ ]nat_5__1428_23.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1434_52.min1.thm12017-02-06 12:44 2.4K 
[ ]nat_5__1435_16.min1.thm12017-02-06 12:44 2.2K 
[ ]nat_5__1437_18.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__1439_20.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__1440_16.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__1447_25.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1448_21.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__1449_17.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__1453_18.min1.thm12017-02-06 12:44 695  
[ ]nat_5__1454_28.min1.thm12017-02-06 12:44 2.9K 
[ ]nat_5__1455_19.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__1457_15.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__1460_16.min1.thm12017-02-06 12:44 906  
[ ]nat_5__1461_15.min1.thm12017-02-06 12:44 911  
[ ]nat_5__1462_41.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1465_16.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__1470_29.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__1478_40.min1.thm12017-02-06 12:44 953  
[ ]nat_5__1483_23.min1.thm12017-02-06 12:44 471  
[ ]nat_5__1484_13.min1.thm12017-02-06 12:44 682  
[ ]nat_5__1494_43.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__1499_20.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__1500_21.min1.thm12017-02-06 12:44 537  
[ ]nat_5__1505_14.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__1514_30.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__1518_32.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__1520_51.min1.thm12017-02-06 12:44 875  
[ ]nat_5__1521_30.min1.thm12017-02-06 12:44 826  
[ ]nat_5__1524_42.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1528_42.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1547_34.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__1548_25.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__1552_59.min1.thm12017-02-06 12:44 2.7K 
[ ]nat_5__1554_68.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__1560_27.min1.thm12017-02-06 12:44 2.4K 
[ ]nat_5__1563_14.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__1564_18.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__1567_15.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__1568_19.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__1571_15.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__1572_19.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__1575_14.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__1576_18.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__1580_30.min1.thm12017-02-06 12:44 457  
[ ]nat_5__1582_27.min1.thm12017-02-06 12:44 457  
[ ]nat_5__1583_42.min1.thm12017-02-06 12:44 678  
[ ]nat_5__1587_15.min1.thm12017-02-06 12:44 2.5K 
[ ]nat_5__1590_17.min1.thm12017-02-06 12:44 2.5K 
[ ]nat_5__1593_27.min1.thm12017-02-06 12:44 2.0K 
[ ]nat_5__1594_27.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__1595_23.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__1596_17.min1.thm12017-02-06 12:44 2.2K 
[ ]nat_5__1597_18.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__1599_20.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__1606_19.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__1607_14.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__1609_18.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1611_19.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__1612_14.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__1613_22.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1617_18.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__1619_24.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__1629_13.min1.thm12017-02-06 12:44 2.7K 
[ ]nat_5__1649_47.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1650_28.min1.thm12017-02-06 12:44 482  
[ ]nat_5__1651_19.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__1665_44.min1.thm12017-02-06 12:44 471  
[ ]nat_5__1669_18.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__1672_26.min1.thm12017-02-06 12:44 931  
[ ]nat_5__1681_26.min1.thm12017-02-06 12:44 377  
[ ]nat_5__1681_26.min1.thm1.tptp2017-02-06 16:47 310  
[ ]nat_5__1682_20.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__1703_44.min1.thm12017-02-06 12:44 473  
[ ]nat_5__1709_16.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__1720_30.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__1732_11.min1.thm12017-02-06 12:44 182  
[ ]nat_5__1736_16.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__1737_24.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__1742_43.min1.thm12017-02-06 12:44 216  
[ ]nat_5__1743_32.min1.thm12017-02-06 12:44 556  
[ ]nat_5__1744_52.min1.thm12017-02-06 12:44 807  
[ ]nat_5__1762_13.min1.thm12017-02-06 12:44 317  
[ ]nat_5__1762_13.min1.thm1.tptp2017-02-06 16:47 252  
[ ]nat_5__1763_13.min1.thm12017-02-06 12:44 739  
[ ]nat_5__1764_20.min1.thm12017-02-06 12:44 929  
[ ]nat_5__1765_20.min1.thm12017-02-06 12:44 434  
[ ]nat_5__1770_14.min1.thm12017-02-06 12:44 738  
[ ]nat_5__1782_39.min1.thm12017-02-06 12:44 478  
[ ]nat_5__1803_24.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__1811_18.min1.thm12017-02-06 12:44 960  
[ ]nat_5__1815_20.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__1816_17.min1.thm12017-02-06 12:44 818  
[ ]nat_5__1817_36.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__1823_28.min1.thm12017-02-06 12:44 547  
[ ]nat_5__1825_19.min1.thm12017-02-06 12:44 656  
[ ]nat_5__1832_28.min1.thm12017-02-06 12:44 637  
[ ]nat_5__1843_47.min1.thm12017-02-06 12:44 670  
[ ]nat_5__1844_53.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__1852_22.min1.thm12017-02-06 12:44 2.0K 
[ ]nat_5__1860_51.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__1869_23.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__1871_18.min1.thm12017-02-06 12:44 382  
[ ]nat_5__1874_46.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1875_22.min1.thm12017-02-06 12:44 659  
[ ]nat_5__1879_23.min1.thm12017-02-06 12:44 677  
[ ]nat_5__1882_19.min1.thm12017-02-06 12:44 369  
[ ]nat_5__1882_19.min1.thm1.tptp2017-02-06 16:47 304  
[ ]nat_5__1883_28.min1.thm12017-02-06 12:44 833  
[ ]nat_5__1886_31.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__1887_17.min1.thm12017-02-06 12:44 484  
[ ]nat_5__1917_24.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__1923_18.min1.thm12017-02-06 12:44 960  
[ ]nat_5__1927_17.min1.thm12017-02-06 12:44 818  
[ ]nat_5__1929_20.min1.thm12017-02-06 12:44 936  
[ ]nat_5__1932_28.min1.thm12017-02-06 12:44 2.7K 
[ ]nat_5__1939_28.min1.thm12017-02-06 12:44 547  
[ ]nat_5__1941_18.min1.thm12017-02-06 12:44 656  
[ ]nat_5__1947_23.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__1949_17.min1.thm12017-02-06 12:44 382  
[ ]nat_5__1952_46.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__1953_30.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__1954_17.min1.thm12017-02-06 12:44 484  
[ ]nat_5__1957_22.min1.thm12017-02-06 12:44 659  
[ ]nat_5__1961_23.min1.thm12017-02-06 12:44 678  
[ ]nat_5__1964_18.min1.thm12017-02-06 12:44 369  
[ ]nat_5__1964_18.min1.thm1.tptp2017-02-06 16:47 304  
[ ]nat_5__1965_27.min1.thm12017-02-06 12:44 833  
[ ]nat_5__1988_40.min1.thm12017-02-06 12:44 955  
[ ]nat_5__1996_42.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__1997_21.min1.thm12017-02-06 12:44 462  
[ ]nat_5__1997_21.min1.thm1.tptp2017-02-06 16:47 385  
[ ]nat_5__1998_22.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__2000_16.min1.thm12017-02-06 12:44 328  
[ ]nat_5__2013_32.min1.thm12017-02-06 12:44 532  
[ ]nat_5__2014_20.min1.thm12017-02-06 12:44 410  
[ ]nat_5__2014_20.min1.thm1.tptp2017-02-06 16:47 333  
[ ]nat_5__2015_18.min1.thm12017-02-06 12:44 410  
[ ]nat_5__2015_18.min1.thm1.tptp2017-02-06 16:47 333  
[ ]nat_5__2016_23.min1.thm12017-02-06 12:44 435  
[ ]nat_5__2016_23.min1.thm1.tptp2017-02-06 16:47 353  
[ ]nat_5__2036_55.min1.thm12017-02-06 12:44 255  
[ ]nat_5__2038_41.min1.thm12017-02-06 12:44 435  
[ ]nat_5__2042_37.min1.thm12017-02-06 12:44 652  
[ ]nat_5__2045_22.min1.thm12017-02-06 12:44 785  
[ ]nat_5__2051_42.min1.thm12017-02-06 12:44 435  
[ ]nat_5__2057_43.min1.thm12017-02-06 12:44 582  
[ ]nat_5__2059_19.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__2075_40.min1.thm12017-02-06 12:44 967  
[ ]nat_5__2076_19.min1.thm12017-02-06 12:44 291  
[ ]nat_5__2076_36.min1.thm12017-02-06 12:44 513  
[ ]nat_5__2089_32.min1.thm12017-02-06 12:44 532  
[ ]nat_5__2090_31.min1.thm12017-02-06 12:44 485  
[ ]nat_5__2091_18.min1.thm12017-02-06 12:44 485  
[ ]nat_5__2101_13.min1.thm12017-02-06 12:44 750  
[ ]nat_5__2111_10.min1.thm12017-02-06 12:44 592  
[ ]nat_5__2114_20.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__2119_14.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__2120_11.min1.thm12017-02-06 12:44 296  
[ ]nat_5__2120_11.min1.thm1.tptp2017-02-06 16:47 219  
[ ]nat_5__2128_20.min1.thm12017-02-06 12:44 874  
[ ]nat_5__2134_23.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2136_19.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__2137_25.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__2153_49.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__2156_67.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__2157_45.min1.thm12017-02-06 12:44 788  
[ ]nat_5__2158_37.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__2159_22.min1.thm12017-02-06 12:44 494  
[ ]nat_5__2160_36.min1.thm12017-02-06 12:44 651  
[ ]nat_5__2161_19.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__2162_63.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__2163_14.min1.thm12017-02-06 12:44 455  
[ ]nat_5__2170_22.min1.thm12017-02-06 12:44 692  
[ ]nat_5__2175_17.min1.thm12017-02-06 12:44 785  
[ ]nat_5__2176_31.min1.thm12017-02-06 12:44 640  
[ ]nat_5__2177_38.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__2178_23.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2179_28.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__2183_25.min1.thm12017-02-06 12:44 533  
[ ]nat_5__2185_19.min1.thm12017-02-06 12:44 631  
[ ]nat_5__2186_48.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__2187_43.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__2188_26.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__2189_19.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__2200_19.min1.thm12017-02-06 12:44 236  
[ ]nat_5__2203_69.min1.thm12017-02-06 12:44 848  
[ ]nat_5__2205_57.min1.thm12017-02-06 12:44 568  
[ ]nat_5__2205_57.min1.thm1.tptp2017-02-06 16:47 506  
[ ]nat_5__2209_28.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__2210_27.min1.thm12017-02-06 12:44 2.0K 
[ ]nat_5__2211_35.min1.thm12017-02-06 12:44 531  
[ ]nat_5__2212_57.min1.thm12017-02-06 12:44 585  
[ ]nat_5__2212_57.min1.thm1.tptp2017-02-06 16:47 523  
[ ]nat_5__2217_20.min1.thm12017-02-06 12:44 663  
[ ]nat_5__2217_20.min1.thm1.tptp2017-02-06 16:47 601  
[ ]nat_5__2224_23.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__2225_26.min1.thm12017-02-06 12:44 2.5K 
[ ]nat_5__2226_69.min1.thm12017-02-06 12:44 892  
[ ]nat_5__2231_27.min1.thm12017-02-06 12:44 518  
[ ]nat_5__2252_17.min1.thm12017-02-06 12:44 443  
[ ]nat_5__2255_34.min1.thm12017-02-06 12:44 404  
[ ]nat_5__2256_13.min1.thm12017-02-06 12:44 682  
[ ]nat_5__2257_27.min1.thm12017-02-06 12:44 2.0K 
[ ]nat_5__2258_34.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__2261_14.min1.thm12017-02-06 12:44 644  
[ ]nat_5__2273_11.min1.thm12017-02-06 12:44 168  
[ ]nat_5__2280_53.min1.thm12017-02-06 12:44 720  
[ ]nat_5__2286_21.min1.thm12017-02-06 12:44 811  
[ ]nat_5__2288_14.min1.thm12017-02-06 12:44 818  
[ ]nat_5__2289_16.min1.thm12017-02-06 12:44 798  
[ ]nat_5__2292_25.min1.thm12017-02-06 12:44 586  
[ ]nat_5__2294_19.min1.thm12017-02-06 12:44 748  
[ ]nat_5__2295_51.min1.thm12017-02-06 12:44 508  
[ ]nat_5__2296_50.min1.thm12017-02-06 12:44 477  
[ ]nat_5__2297_54.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__2305_44.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__2306_33.min1.thm12017-02-06 12:44 556  
[ ]nat_5__2307_37.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__2308_31.min1.thm12017-02-06 12:44 842  
[ ]nat_5__2310_31.min1.thm12017-02-06 12:44 397  
[ ]nat_5__2310_31.min1.thm1.tptp2017-02-06 16:47 333  
[ ]nat_5__2313_40.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__2319_21.min1.thm12017-02-06 12:44 692  
[ ]nat_5__2321_14.min1.thm12017-02-06 12:44 412  
[ ]nat_5__2322_16.min1.thm12017-02-06 12:44 692  
[ ]nat_5__2325_25.min1.thm12017-02-06 12:44 458  
[ ]nat_5__2327_36.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2328_19.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__2335_41.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__2336_36.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2337_31.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2338_28.min1.thm12017-02-06 12:44 790  
[ ]nat_5__2339_25.min1.thm12017-02-06 12:44 499  
[ ]nat_5__2340_22.min1.thm12017-02-06 12:44 496  
[ ]nat_5__2363_11.min1.thm12017-02-06 12:44 168  
[ ]nat_5__2370_55.min1.thm12017-02-06 12:44 768  
[ ]nat_5__2376_21.min1.thm12017-02-06 12:44 811  
[ ]nat_5__2378_14.min1.thm12017-02-06 12:44 818  
[ ]nat_5__2379_16.min1.thm12017-02-06 12:44 798  
[ ]nat_5__2382_25.min1.thm12017-02-06 12:44 586  
[ ]nat_5__2384_20.min1.thm12017-02-06 12:44 748  
[ ]nat_5__2385_50.min1.thm12017-02-06 12:44 477  
[ ]nat_5__2386_51.min1.thm12017-02-06 12:44 508  
[ ]nat_5__2387_50.min1.thm12017-02-06 12:44 477  
[ ]nat_5__2388_52.min1.thm12017-02-06 12:44 602  
[ ]nat_5__2389_56.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__2396_21.min1.thm12017-02-06 12:44 692  
[ ]nat_5__2398_14.min1.thm12017-02-06 12:44 412  
[ ]nat_5__2399_16.min1.thm12017-02-06 12:44 692  
[ ]nat_5__2402_25.min1.thm12017-02-06 12:44 458  
[ ]nat_5__2404_36.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2410_44.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__2411_42.min1.thm12017-02-06 12:44 626  
[ ]nat_5__2412_37.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__2413_31.min1.thm12017-02-06 12:44 842  
[ ]nat_5__2415_31.min1.thm12017-02-06 12:44 397  
[ ]nat_5__2415_31.min1.thm1.tptp2017-02-06 16:47 333  
[ ]nat_5__2418_40.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__2424_21.min1.thm12017-02-06 12:44 785  
[ ]nat_5__2426_15.min1.thm12017-02-06 12:44 412  
[ ]nat_5__2427_16.min1.thm12017-02-06 12:44 785  
[ ]nat_5__2430_25.min1.thm12017-02-06 12:44 458  
[ ]nat_5__2432_36.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__2433_19.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__2438_6.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__2444_53.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__2445_48.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__2446_43.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2447_38.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2448_35.min1.thm12017-02-06 12:44 876  
[ ]nat_5__2449_32.min1.thm12017-02-06 12:44 585  
[ ]nat_5__2450_29.min1.thm12017-02-06 12:44 551  
[ ]nat_5__2451_26.min1.thm12017-02-06 12:44 548  
[ ]nat_5__2465_11.min1.thm12017-02-06 12:44 168  
[ ]nat_5__2468_21.min1.thm12017-02-06 12:44 557  
[ ]nat_5__2474_17.min1.thm12017-02-06 12:44 676  
[ ]nat_5__2478_20.min1.thm12017-02-06 12:44 599  
[ ]nat_5__2479_36.min1.thm12017-02-06 12:44 752  
[ ]nat_5__2485_30.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__2488_18.min1.thm12017-02-06 12:44 710  
[ ]nat_5__2494_21.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__2496_12.min1.thm12017-02-06 12:44 803  
[ ]nat_5__2509_13.min1.thm12017-02-06 12:44 592  
[ ]nat_5__2510_24.min1.thm12017-02-06 12:44 718  
[ ]nat_5__2560_43.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2570_43.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__2589_28.min1.thm12017-02-06 12:44 2.6K 
[ ]nat_5__2598_43.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2599_33.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__2600_49.min1.thm12017-02-06 12:44 2.7K 
[ ]nat_5__2613_31.min1.thm12017-02-06 12:44 3.1K 
[ ]nat_5__2614_28.min1.thm12017-02-06 12:44 3.0K 
[ ]nat_5__2636_43.min1.thm12017-02-06 12:44 3.4K 
[ ]nat_5__2637_29.min1.thm12017-02-06 12:44 3.2K 
[ ]nat_5__2651_43.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2652_33.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__2653_49.min1.thm12017-02-06 12:44 2.7K 
[ ]nat_5__2668_34.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__2678_24.min1.thm12017-02-06 12:44 925  
[ ]nat_5__2682_18.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__2696_49.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__2697_43.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__2698_33.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__2733_28.min1.thm12017-02-06 12:44 3.0K 
[ ]nat_5__2742_45.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2743_69.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__2746_38.min1.thm12017-02-06 12:44 776  
[ ]nat_5__2746_38.min1.thm1.tptp2017-02-06 16:47 701  
[ ]nat_5__2747_21.min1.thm12017-02-06 12:44 654  
[ ]nat_5__2747_21.min1.thm1.tptp2017-02-06 16:47 579  
[ ]nat_5__2761_23.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__2762_29.min1.thm12017-02-06 12:44 938  
[ ]nat_5__2763_35.min1.thm12017-02-06 12:44 962  
[ ]nat_5__2775_36.min1.thm12017-02-06 12:44 832  
[ ]nat_5__2776_38.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__2786_32.min1.thm12017-02-06 12:44 597  
[ ]nat_5__2787_42.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__2789_36.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__2790_30.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2810_37.min1.thm12017-02-06 12:44 829  
[ ]nat_5__2811_36.min1.thm12017-02-06 12:44 2.5K 
[ ]nat_5__2815_39.min1.thm12017-02-06 12:44 2.0K 
[ ]nat_5__2816_39.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2818_13.min1.thm12017-02-06 12:44 330  
[ ]nat_5__2818_13.min1.thm1.tptp2017-02-06 16:47 247  
[ ]nat_5__2819_21.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__2821_24.min1.thm12017-02-06 12:44 2.0K 
[ ]nat_5__2827_16.min1.thm12017-02-06 12:44 402  
[ ]nat_5__2830_32.min1.thm12017-02-06 12:44 911  
[ ]nat_5__2831_19.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__2832_12.min1.thm12017-02-06 12:44 956  
[ ]nat_5__2837_32.min1.thm12017-02-06 12:44 898  
[ ]nat_5__2838_19.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__2839_12.min1.thm12017-02-06 12:44 931  
[ ]nat_5__2844_14.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2846_21.min1.thm12017-02-06 12:44 2.6K 
[ ]nat_5__2847_11.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__2848_20.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__2850_16.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__2853_13.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__2855_24.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__2857_28.min1.thm12017-02-06 12:44 2.9K 
[ ]nat_5__2866_44.min1.thm12017-02-06 12:44 2.8K 
[ ]nat_5__2870_24.min1.thm12017-02-06 12:44 444  
[ ]nat_5__2884_22.min1.thm12017-02-06 12:44 642  
[ ]nat_5__2885_37.min1.thm12017-02-06 12:44 458  
[ ]nat_5__2893_24.min1.thm12017-02-06 12:44 443  
[ ]nat_5__2912_12.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__2934_16.min1.thm12017-02-06 12:44 576  
[ ]nat_5__2953_48.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__2954_61.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__2958_26.min1.thm12017-02-06 12:44 966  
[ ]nat_5__2972_18.min1.thm12017-02-06 12:44 475  
[ ]nat_5__2974_46.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__2977_16.min1.thm12017-02-06 12:44 269  
[ ]nat_5__2982_31.min1.thm12017-02-06 12:44 392  
[ ]nat_5__2982_31.min1.thm1.tptp2017-02-06 16:47 313  
[ ]nat_5__2984_39.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__2986_44.min1.thm12017-02-06 12:44 2.0K 
[ ]nat_5__2987_76.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__2989_31.min1.thm12017-02-06 12:44 602  
[ ]nat_5__3009_20.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__3014_40.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__3016_28.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__3018_15.min1.thm12017-02-06 12:44 1.7K 
[ ]nat_5__3019_30.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__3020_18.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__3032_18.min1.thm12017-02-06 12:44 592  
[ ]nat_5__3033_39.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__3034_17.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__3035_24.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__3038_19.min1.thm12017-02-06 12:44 813  
[ ]nat_5__3042_23.min1.thm12017-02-06 12:44 2.7K 
[ ]nat_5__3043_16.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__3044_45.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__3045_14.min1.thm12017-02-06 12:44 779  
[ ]nat_5__3053_25.min1.thm12017-02-06 12:44 2.0K 
[ ]nat_5__3054_22.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__3057_17.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__3058_23.min1.thm12017-02-06 12:44 2.3K 
[ ]nat_5__3060_19.min1.thm12017-02-06 12:44 3.5K 
[ ]nat_5__3071_25.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__3073_39.min1.thm12017-02-06 12:44 968  
[ ]nat_5__3074_14.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__3076_18.min1.thm12017-02-06 12:44 2.1K 
[ ]nat_5__3080_23.min1.thm12017-02-06 12:44 2.4K 
[ ]nat_5__3082_15.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__3083_16.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__3085_24.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__3086_42.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__3087_16.min1.thm12017-02-06 12:44 865  
[ ]nat_5__3088_25.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__3097_47.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__3099_47.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__3102_23.min1.thm12017-02-06 12:44 656  
[ ]nat_5__3102_23.min1.thm1.tptp2017-02-06 16:47 581  
[ ]nat_5__3103_20.min1.thm12017-02-06 12:44 920  
[ ]nat_5__3108_27.min1.thm12017-02-06 12:44 652  
[ ]nat_5__3110_26.min1.thm12017-02-06 12:44 969  
[ ]nat_5__3112_33.min1.thm12017-02-06 12:44 704  
[ ]nat_5__3129_38.min1.thm12017-02-06 12:44 245  
[ ]nat_5__3131_16.min1.thm12017-02-06 12:44 788  
[ ]nat_5__3135_43.min1.thm12017-02-06 12:44 637  
[ ]nat_5__3136_25.min1.thm12017-02-06 12:44 849  
[ ]nat_5__3143_15.min1.thm12017-02-06 12:44 507  
[ ]nat_5__3144_21.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__3146_19.min1.thm12017-02-06 12:44 1.4K 
[ ]nat_5__3147_15.min1.thm12017-02-06 12:44 1.9K 
[ ]nat_5__3148_23.min1.thm12017-02-06 12:44 2.0K 
[ ]nat_5__3150_15.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__3151_21.min1.thm12017-02-06 12:44 1.6K 
[ ]nat_5__3152_21.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__3154_15.min1.thm12017-02-06 12:44 641  
[ ]nat_5__3155_15.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__3156_28.min1.thm12017-02-06 12:44 651  
[ ]nat_5__3158_28.min1.thm12017-02-06 12:44 2.8K 
[ ]nat_5__3165_41.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__3176_19.min1.thm12017-02-06 12:44 420  
[ ]nat_5__3187_50.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__3188_45.min1.thm12017-02-06 12:44 318  
[ ]nat_5__3188_45.min1.thm1.tptp2017-02-06 16:47 237  
[ ]nat_5__3189_32.min1.thm12017-02-06 12:44 393  
[ ]nat_5__3189_32.min1.thm1.tptp2017-02-06 16:47 314  
[ ]nat_5__3193_25.min1.thm12017-02-06 12:44 670  
[ ]nat_5__3201_57.min1.thm12017-02-06 12:44 559  
[ ]nat_5__3205_60.min1.thm12017-02-06 12:44 559  
[ ]nat_5__3209_30.min1.thm12017-02-06 12:44 453  
[ ]nat_5__3209_30.min1.thm1.tptp2017-02-06 16:47 376  
[ ]nat_5__3211_25.min1.thm12017-02-06 12:44 522  
[ ]nat_5__3212_16.min1.thm12017-02-06 12:44 476  
[ ]nat_5__3212_16.min1.thm1.tptp2017-02-06 16:47 414  
[ ]nat_5__3216_16.min1.thm12017-02-06 12:44 569  
[ ]nat_5__3220_29.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__3229_30.min1.thm12017-02-06 12:44 708  
[ ]nat_5__3232_27.min1.thm12017-02-06 12:44 1.0K 
[ ]nat_5__3234_21.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__3236_14.min1.thm12017-02-06 12:44 1.5K 
[ ]nat_5__3237_20.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__3239_27.min1.thm12017-02-06 12:44 635  
[ ]nat_5__3241_14.min1.thm12017-02-06 12:44 1.1K 
[ ]nat_5__3242_14.min1.thm12017-02-06 12:44 1.2K 
[ ]nat_5__3244_19.min1.thm12017-02-06 12:44 833  
[ ]nat_5__3246_19.min1.thm12017-02-06 12:44 1.3K 
[ ]nat_5__3248_66.min1.thm12017-02-06 12:44 561  
[ ]nat_5__3250_26.min1.thm12017-02-06 12:44 1.8K 
[ ]nat_5__3254_12.min1.thm12017-02-06 12:44 173  
[ ]nat_5__3258_21.min1.thm12017-02-06 12:44 368  
[ ]nat_5__3258_21.min1.thm1.tptp2017-02-06 16:47 290  
[ ]nat_5__3259_26.min1.thm12017-02-06 12:44 905  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80