Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/lattice6

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattice6__43_33.min1.thm12017-02-06 12:45 698  
[ ]lattice6__44_20.min1.thm12017-02-06 12:45 865  
[ ]lattice6__45_16.min1.thm12017-02-06 12:45 574  
[ ]lattice6__64_13.min1.thm12017-02-06 12:45 190  
[ ]lattice6__79_15.min1.thm12017-02-06 12:45 180  
[ ]lattice6__80_24.min1.thm12017-02-06 12:45 885  
[ ]lattice6__81_26.min1.thm12017-02-06 12:45 480  
[ ]lattice6__83_21.min1.thm12017-02-06 12:45 869  
[ ]lattice6__84_54.min1.thm12017-02-06 12:45 685  
[ ]lattice6__85_24.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__88_15.min1.thm12017-02-06 12:45 657  
[ ]lattice6__89_23.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__107_25.min1.thm12017-02-06 12:45 529  
[ ]lattice6__107_25.min1.thm1.tptp2017-02-06 16:47 451  
[ ]lattice6__112_28.min1.thm12017-02-06 12:45 952  
[ ]lattice6__113_25.min1.thm12017-02-06 12:45 904  
[ ]lattice6__117_21.min1.thm12017-02-06 12:45 933  
[ ]lattice6__118_35.min1.thm12017-02-06 12:45 2.5K 
[ ]lattice6__124_19.min1.thm12017-02-06 12:45 208  
[ ]lattice6__125_28.min1.thm12017-02-06 12:45 940  
[ ]lattice6__126_30.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__128_21.min1.thm12017-02-06 12:45 926  
[ ]lattice6__129_54.min1.thm12017-02-06 12:45 687  
[ ]lattice6__130_17.min1.thm12017-02-06 12:45 577  
[ ]lattice6__136_16.min1.thm12017-02-06 12:45 614  
[ ]lattice6__144_21.min1.thm12017-02-06 12:45 384  
[ ]lattice6__147_29.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__153_24.min1.thm12017-02-06 12:45 945  
[ ]lattice6__154_47.min1.thm12017-02-06 12:45 742  
[ ]lattice6__155_33.min1.thm12017-02-06 12:45 949  
[ ]lattice6__157_25.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice6__158_23.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice6__162_33.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__163_30.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__164_35.min1.thm12017-02-06 12:45 924  
[ ]lattice6__166_29.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__167_31.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__174_26.min1.thm12017-02-06 12:45 941  
[ ]lattice6__175_49.min1.thm12017-02-06 12:45 750  
[ ]lattice6__176_35.min1.thm12017-02-06 12:45 951  
[ ]lattice6__177_32.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice6__178_33.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__180_25.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__181_25.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice6__182_35.min1.thm12017-02-06 12:45 937  
[ ]lattice6__184_29.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__185_31.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__186_31.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice6__200_16.min1.thm12017-02-06 12:45 622  
[ ]lattice6__201_25.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__215_20.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__216_19.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__219_36.min1.thm12017-02-06 12:45 860  
[ ]lattice6__220_56.min1.thm12017-02-06 12:45 531  
[ ]lattice6__220_56.min1.thm1.tptp2017-02-06 16:47 456  
[ ]lattice6__221_56.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__223_18.min1.thm12017-02-06 12:45 493  
[ ]lattice6__223_18.min1.thm1.tptp2017-02-06 16:47 430  
[ ]lattice6__224_22.min1.thm12017-02-06 12:45 777  
[ ]lattice6__243_13.min1.thm12017-02-06 12:45 190  
[ ]lattice6__258_15.min1.thm12017-02-06 12:45 180  
[ ]lattice6__259_24.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__260_26.min1.thm12017-02-06 12:45 369  
[ ]lattice6__260_26.min1.thm1.tptp2017-02-06 16:47 304  
[ ]lattice6__262_21.min1.thm12017-02-06 12:45 869  
[ ]lattice6__263_54.min1.thm12017-02-06 12:45 685  
[ ]lattice6__264_24.min1.thm12017-02-06 12:45 927  
[ ]lattice6__267_15.min1.thm12017-02-06 12:45 657  
[ ]lattice6__268_23.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__286_25.min1.thm12017-02-06 12:45 529  
[ ]lattice6__286_25.min1.thm1.tptp2017-02-06 16:47 451  
[ ]lattice6__291_28.min1.thm12017-02-06 12:45 952  
[ ]lattice6__292_25.min1.thm12017-02-06 12:45 904  
[ ]lattice6__296_21.min1.thm12017-02-06 12:45 933  
[ ]lattice6__297_35.min1.thm12017-02-06 12:45 2.5K 
[ ]lattice6__303_19.min1.thm12017-02-06 12:45 208  
[ ]lattice6__304_28.min1.thm12017-02-06 12:45 940  
[ ]lattice6__305_30.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__307_21.min1.thm12017-02-06 12:45 926  
[ ]lattice6__308_54.min1.thm12017-02-06 12:45 687  
[ ]lattice6__309_17.min1.thm12017-02-06 12:45 577  
[ ]lattice6__315_16.min1.thm12017-02-06 12:45 614  
[ ]lattice6__324_23.min1.thm12017-02-06 12:45 386  
[ ]lattice6__327_31.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__333_26.min1.thm12017-02-06 12:45 947  
[ ]lattice6__334_49.min1.thm12017-02-06 12:45 750  
[ ]lattice6__335_35.min1.thm12017-02-06 12:45 951  
[ ]lattice6__337_27.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice6__338_25.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice6__342_35.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__343_32.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__344_37.min1.thm12017-02-06 12:45 940  
[ ]lattice6__346_31.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__347_33.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__354_28.min1.thm12017-02-06 12:45 943  
[ ]lattice6__355_51.min1.thm12017-02-06 12:45 758  
[ ]lattice6__356_37.min1.thm12017-02-06 12:45 953  
[ ]lattice6__357_34.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice6__358_35.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__360_27.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__361_27.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice6__362_37.min1.thm12017-02-06 12:45 953  
[ ]lattice6__364_31.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__365_33.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__366_33.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice6__373_24.min1.thm12017-02-06 12:45 844  
[ ]lattice6__381_16.min1.thm12017-02-06 12:45 622  
[ ]lattice6__382_25.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__396_20.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__397_19.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__400_36.min1.thm12017-02-06 12:45 860  
[ ]lattice6__401_56.min1.thm12017-02-06 12:45 531  
[ ]lattice6__401_56.min1.thm1.tptp2017-02-06 16:47 456  
[ ]lattice6__402_56.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__404_18.min1.thm12017-02-06 12:45 493  
[ ]lattice6__404_18.min1.thm1.tptp2017-02-06 16:47 430  
[ ]lattice6__405_22.min1.thm12017-02-06 12:45 777  
[ ]lattice6__424_13.min1.thm12017-02-06 12:45 190  
[ ]lattice6__438_15.min1.thm12017-02-06 12:45 180  
[ ]lattice6__439_24.min1.thm12017-02-06 12:45 885  
[ ]lattice6__440_26.min1.thm12017-02-06 12:45 480  
[ ]lattice6__441_26.min1.thm12017-02-06 12:45 869  
[ ]lattice6__442_54.min1.thm12017-02-06 12:45 685  
[ ]lattice6__443_24.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__444_73.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__446_20.min1.thm12017-02-06 12:45 731  
[ ]lattice6__446_20.min1.thm1.tptp2017-02-06 16:47 672  
[ ]lattice6__463_19.min1.thm12017-02-06 12:45 207  
[ ]lattice6__468_27.min1.thm12017-02-06 12:45 531  
[ ]lattice6__468_27.min1.thm1.tptp2017-02-06 16:47 453  
[ ]lattice6__470_28.min1.thm12017-02-06 12:45 954  
[ ]lattice6__471_25.min1.thm12017-02-06 12:45 904  
[ ]lattice6__475_21.min1.thm12017-02-06 12:45 821  
[ ]lattice6__476_35.min1.thm12017-02-06 12:45 2.8K 
[ ]lattice6__479_28.min1.thm12017-02-06 12:45 940  
[ ]lattice6__480_30.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__481_26.min1.thm12017-02-06 12:45 925  
[ ]lattice6__482_54.min1.thm12017-02-06 12:45 687  
[ ]lattice6__483_21.min1.thm12017-02-06 12:45 966  
[ ]lattice6__484_17.min1.thm12017-02-06 12:45 709  
[ ]lattice6__487_23.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__491_23.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__494_21.min1.thm12017-02-06 12:45 966  
[ ]lattice6__495_17.min1.thm12017-02-06 12:45 709  
[ ]lattice6__501_19.min1.thm12017-02-06 12:45 372  
[ ]lattice6__505_21.min1.thm12017-02-06 12:45 812  
[ ]lattice6__513_22.min1.thm12017-02-06 12:45 929  
[ ]lattice6__514_45.min1.thm12017-02-06 12:45 726  
[ ]lattice6__515_30.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__520_23.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__521_23.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__523_28.min1.thm12017-02-06 12:45 894  
[ ]lattice6__525_40.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__526_28.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__528_24.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__529_27.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__532_25.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__533_25.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice6__550_21.min1.thm12017-02-06 12:45 711  
[ ]lattice6__551_22.min1.thm12017-02-06 12:45 849  
[ ]lattice6__552_19.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__555_36.min1.thm12017-02-06 12:45 860  
[ ]lattice6__556_56.min1.thm12017-02-06 12:45 531  
[ ]lattice6__556_56.min1.thm1.tptp2017-02-06 16:47 456  
[ ]lattice6__557_56.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__559_18.min1.thm12017-02-06 12:45 493  
[ ]lattice6__559_18.min1.thm1.tptp2017-02-06 16:47 430  
[ ]lattice6__560_22.min1.thm12017-02-06 12:45 777  
[ ]lattice6__568_38.min1.thm12017-02-06 12:45 257  
[ ]lattice6__569_54.min1.thm12017-02-06 12:45 364  
[ ]lattice6__569_54.min1.thm1.tptp2017-02-06 16:47 292  
[ ]lattice6__575_58.min1.thm12017-02-06 12:45 533  
[ ]lattice6__575_58.min1.thm1.tptp2017-02-06 16:47 458  
[ ]lattice6__578_14.min1.thm12017-02-06 12:45 561  
[ ]lattice6__578_14.min1.thm1.tptp2017-02-06 16:47 494  
[ ]lattice6__613_27.min1.thm12017-02-06 12:45 519  
[ ]lattice6__613_27.min1.thm1.tptp2017-02-06 16:47 441  
[ ]lattice6__615_28.min1.thm12017-02-06 12:45 940  
[ ]lattice6__616_25.min1.thm12017-02-06 12:45 904  
[ ]lattice6__620_21.min1.thm12017-02-06 12:45 827  
[ ]lattice6__621_25.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__627_19.min1.thm12017-02-06 12:45 206  
[ ]lattice6__628_28.min1.thm12017-02-06 12:45 928  
[ ]lattice6__629_30.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__631_21.min1.thm12017-02-06 12:45 906  
[ ]lattice6__632_54.min1.thm12017-02-06 12:45 687  
[ ]lattice6__633_21.min1.thm12017-02-06 12:45 884  
[ ]lattice6__634_17.min1.thm12017-02-06 12:45 643  
[ ]lattice6__642_21.min1.thm12017-02-06 12:45 884  
[ ]lattice6__643_17.min1.thm12017-02-06 12:45 643  
[ ]lattice6__649_19.min1.thm12017-02-06 12:45 366  
[ ]lattice6__653_21.min1.thm12017-02-06 12:45 761  
[ ]lattice6__661_22.min1.thm12017-02-06 12:45 901  
[ ]lattice6__662_45.min1.thm12017-02-06 12:45 708  
[ ]lattice6__663_30.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__668_23.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__669_23.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__671_28.min1.thm12017-02-06 12:45 886  
[ ]lattice6__672_49.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__673_40.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__674_28.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__676_24.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__677_27.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__680_25.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__681_25.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice6__689_23.min1.thm12017-02-06 12:45 886  
[ ]lattice6__690_19.min1.thm12017-02-06 12:45 645  
[ ]lattice6__691_29.min1.thm12017-02-06 12:45 894  
[ ]lattice6__692_20.min1.thm12017-02-06 12:45 653  
[ ]lattice6__698_29.min1.thm12017-02-06 12:45 521  
[ ]lattice6__698_29.min1.thm1.tptp2017-02-06 16:47 443  
[ ]lattice6__699_27.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__702_20.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__703_23.min1.thm12017-02-06 12:45 886  
[ ]lattice6__704_19.min1.thm12017-02-06 12:45 645  
[ ]lattice6__706_24.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__707_20.min1.thm12017-02-06 12:45 825  
[ ]lattice6__709_24.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__711_31.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice6__712_23.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice6__731_23.min1.thm12017-02-06 12:45 719  
[ ]lattice6__733_19.min1.thm12017-02-06 12:45 865  
[ ]lattice6__739_58.min1.thm12017-02-06 12:45 717  
[ ]lattice6__739_58.min1.thm1.tptp2017-02-06 16:47 666  
[ ]lattice6__741_61.min1.thm12017-02-06 12:45 580  
[ ]lattice6__742_69.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__751_38.min1.thm12017-02-06 12:45 870  
[ ]lattice6__752_58.min1.thm12017-02-06 12:45 533  
[ ]lattice6__752_58.min1.thm1.tptp2017-02-06 16:47 458  
[ ]lattice6__753_58.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__755_18.min1.thm12017-02-06 12:45 503  
[ ]lattice6__755_18.min1.thm1.tptp2017-02-06 16:47 440  
[ ]lattice6__756_24.min1.thm12017-02-06 12:45 792  
[ ]lattice6__772_15.min1.thm12017-02-06 12:45 653  
[ ]lattice6__773_18.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__774_27.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__775_23.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__778_16.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__779_19.min1.thm12017-02-06 12:45 866  
[ ]lattice6__780_15.min1.thm12017-02-06 12:45 625  
[ ]lattice6__781_21.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__786_19.min1.thm12017-02-06 12:45 866  
[ ]lattice6__787_15.min1.thm12017-02-06 12:45 625  
[ ]lattice6__790_23.min1.thm12017-02-06 12:45 671  
[ ]lattice6__791_26.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__792_21.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__794_29.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__802_14.min1.thm12017-02-06 12:45 352  
[ ]lattice6__818_56.min1.thm12017-02-06 12:45 896  
[ ]lattice6__819_18.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__821_19.min1.thm12017-02-06 12:45 594  
[ ]lattice6__838_66.min1.thm12017-02-06 12:45 948  
[ ]lattice6__839_18.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__841_19.min1.thm12017-02-06 12:45 568  
[ ]lattice6__855_58.min1.thm12017-02-06 12:45 544  
[ ]lattice6__855_58.min1.thm1.tptp2017-02-06 16:47 469  
[ ]lattice6__856_39.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__878_49.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__882_50.min1.thm12017-02-06 12:45 861  
[ ]lattice6__883_19.min1.thm12017-02-06 12:45 575  
[ ]lattice6__900_58.min1.thm12017-02-06 12:45 542  
[ ]lattice6__900_58.min1.thm1.tptp2017-02-06 16:47 467  
[ ]lattice6__906_32.min1.thm12017-02-06 12:45 309  
[ ]lattice6__907_41.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__914_20.min1.thm12017-02-06 12:45 836  
[ ]lattice6__915_28.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__935_50.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__939_51.min1.thm12017-02-06 12:45 872  
[ ]lattice6__940_19.min1.thm12017-02-06 12:45 651  
[ ]lattice6__944_17.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__963_31.min1.thm12017-02-06 12:45 591  
[ ]lattice6__963_31.min1.thm1.tptp2017-02-06 16:47 516  
[ ]lattice6__964_19.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__974_37.min1.thm12017-02-06 12:45 492  
[ ]lattice6__974_37.min1.thm1.tptp2017-02-06 16:47 413  
[ ]lattice6__975_19.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__986_39.min1.thm12017-02-06 12:45 569  
[ ]lattice6__986_39.min1.thm1.tptp2017-02-06 16:47 500  
[ ]lattice6__988_33.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__989_29.min1.thm12017-02-06 12:45 913  
[ ]lattice6__990_28.min1.thm12017-02-06 12:45 505  
[ ]lattice6__994_29.min1.thm12017-02-06 12:45 505  
[ ]lattice6__996_28.min1.thm12017-02-06 12:45 913  
[ ]lattice6__997_39.min1.thm12017-02-06 12:45 569  
[ ]lattice6__997_39.min1.thm1.tptp2017-02-06 16:47 500  
[ ]lattice6__998_33.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1000_17.min1.thm12017-02-06 12:45 412  
[ ]lattice6__1000_17.min1.thm1.tptp2017-02-06 16:47 324  
[ ]lattice6__1006_35.min1.thm12017-02-06 12:45 494  
[ ]lattice6__1006_35.min1.thm1.tptp2017-02-06 16:47 415  
[ ]lattice6__1007_17.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1012_14.min1.thm12017-02-06 12:45 372  
[ ]lattice6__1014_14.min1.thm12017-02-06 12:45 372  
[ ]lattice6__1047_13.min1.thm12017-02-06 12:45 950  
[ ]lattice6__1048_13.min1.thm12017-02-06 12:45 950  
[ ]lattice6__1052_20.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__1053_28.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__1056_16.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1057_29.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice6__1058_38.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__1064_20.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice6__1065_20.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice6__1066_25.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice6__1072_14.min1.thm12017-02-06 12:45 950  
[ ]lattice6__1073_14.min1.thm12017-02-06 12:45 950  
[ ]lattice6__1077_20.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__1078_28.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__1081_16.min1.thm12017-02-06 12:45 847  
[ ]lattice6__1082_29.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice6__1083_38.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice6__1086_26.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1089_21.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice6__1090_20.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__1091_25.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice6__1093_17.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice6__1106_17.min1.thm12017-02-06 12:45 868  
[ ]lattice6__1107_11.min1.thm12017-02-06 12:45 599  
[ ]lattice6__1118_19.min1.thm12017-02-06 12:45 880  
[ ]lattice6__1119_15.min1.thm12017-02-06 12:45 637  
[ ]lattice6__1122_15.min1.thm12017-02-06 12:45 321  
[ ]lattice6__1125_20.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__1132_35.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__1133_18.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__1135_51.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__1136_21.min1.thm12017-02-06 12:45 908  
[ ]lattice6__1137_17.min1.thm12017-02-06 12:45 639  
[ ]lattice6__1139_10.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__1143_16.min1.thm12017-02-06 12:45 862  
[ ]lattice6__1145_35.min1.thm12017-02-06 12:45 470  
[ ]lattice6__1145_35.min1.thm1.tptp2017-02-06 16:47 395  
[ ]lattice6__1149_17.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__1162_29.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__1163_15.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__1164_12.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1165_11.min1.thm12017-02-06 12:45 599  
[ ]lattice6__1177_19.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1178_15.min1.thm12017-02-06 12:45 873  
[ ]lattice6__1179_25.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__1180_16.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1183_15.min1.thm12017-02-06 12:45 405  
[ ]lattice6__1186_20.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__1192_45.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice6__1193_33.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__1194_21.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__1195_18.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1196_17.min1.thm12017-02-06 12:45 639  
[ ]lattice6__1197_19.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__1198_26.min1.thm12017-02-06 12:45 2.9K 
[ ]lattice6__1205_16.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1207_38.min1.thm12017-02-06 12:45 496  
[ ]lattice6__1207_38.min1.thm1.tptp2017-02-06 16:47 421  
[ ]lattice6__1221_17.min1.thm12017-02-06 12:45 644  
[ ]lattice6__1222_28.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1240_18.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__1241_15.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__1242_15.min1.thm12017-02-06 12:45 209  
[ ]lattice6__1245_77.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__1251_23.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__1254_22.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1256_17.min1.thm12017-02-06 12:45 849  
[ ]lattice6__1266_20.min1.thm12017-02-06 12:45 644  
[ ]lattice6__1267_34.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1285_18.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__1286_15.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__1287_15.min1.thm12017-02-06 12:45 209  
[ ]lattice6__1290_77.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__1296_23.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__1299_25.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1301_17.min1.thm12017-02-06 12:45 849  
[ ]lattice6__1310_13.min1.thm12017-02-06 12:45 541  
[ ]lattice6__1310_13.min1.thm1.tptp2017-02-06 16:47 465  
[ ]lattice6__1314_13.min1.thm12017-02-06 12:45 541  
[ ]lattice6__1314_13.min1.thm1.tptp2017-02-06 16:47 465  
[ ]lattice6__1339_63.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1340_16.min1.thm12017-02-06 12:45 371  
[ ]lattice6__1343_23.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__1349_63.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1350_16.min1.thm12017-02-06 12:45 371  
[ ]lattice6__1352_26.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__1353_17.min1.thm12017-02-06 12:45 2.7K 
[ ]lattice6__1365_38.min1.thm12017-02-06 12:45 321  
[ ]lattice6__1365_38.min1.thm1.tptp2017-02-06 16:47 241  
[ ]lattice6__1367_10.min1.thm12017-02-06 12:45 454  
[ ]lattice6__1370_29.min1.thm12017-02-06 12:45 937  
[ ]lattice6__1371_18.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1374_69.min1.thm12017-02-06 12:45 960  
[ ]lattice6__1376_54.min1.thm12017-02-06 12:45 398  
[ ]lattice6__1376_54.min1.thm1.tptp2017-02-06 16:47 330  
[ ]lattice6__1378_28.min1.thm12017-02-06 12:45 932  
[ ]lattice6__1379_45.min1.thm12017-02-06 12:45 732  
[ ]lattice6__1380_20.min1.thm12017-02-06 12:45 608  
[ ]lattice6__1380_20.min1.thm1.tptp2017-02-06 16:47 542  
[ ]lattice6__1381_15.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1395_38.min1.thm12017-02-06 12:45 321  
[ ]lattice6__1395_38.min1.thm1.tptp2017-02-06 16:47 241  
[ ]lattice6__1397_10.min1.thm12017-02-06 12:45 454  
[ ]lattice6__1400_35.min1.thm12017-02-06 12:45 937  
[ ]lattice6__1401_21.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1404_75.min1.thm12017-02-06 12:45 960  
[ ]lattice6__1410_10.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__1412_38.min1.thm12017-02-06 12:45 383  
[ ]lattice6__1412_38.min1.thm1.tptp2017-02-06 16:47 297  
[ ]lattice6__1413_38.min1.thm12017-02-06 12:45 383  
[ ]lattice6__1413_38.min1.thm1.tptp2017-02-06 16:47 297  
[ ]lattice6__1417_45.min1.thm12017-02-06 12:45 746  
[ ]lattice6__1418_19.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__1420_57.min1.thm12017-02-06 12:45 398  
[ ]lattice6__1420_57.min1.thm1.tptp2017-02-06 16:47 330  
[ ]lattice6__1422_34.min1.thm12017-02-06 12:45 932  
[ ]lattice6__1423_48.min1.thm12017-02-06 12:45 732  
[ ]lattice6__1424_20.min1.thm12017-02-06 12:45 608  
[ ]lattice6__1424_20.min1.thm1.tptp2017-02-06 16:47 542  
[ ]lattice6__1445_18.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1446_20.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1451_6.min1.thm12017-02-06 12:45 678  
[ ]lattice6__1454_15.min1.thm12017-02-06 12:45 722  
[ ]lattice6__1460_27.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1461_15.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1463_15.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1464_15.min1.thm12017-02-06 12:45 702  
[ ]lattice6__1465_19.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__1467_13.min1.thm12017-02-06 12:45 700  
[ ]lattice6__1468_17.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__1486_18.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1487_20.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1492_15.min1.thm12017-02-06 12:45 722  
[ ]lattice6__1498_27.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1499_15.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1501_15.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1502_15.min1.thm12017-02-06 12:45 702  
[ ]lattice6__1503_19.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__1505_13.min1.thm12017-02-06 12:45 700  
[ ]lattice6__1506_17.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__1521_46.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1523_62.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1528_13.min1.thm12017-02-06 12:45 888  
[ ]lattice6__1533_63.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1534_73.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1535_19.min1.thm12017-02-06 12:45 533  
[ ]lattice6__1535_19.min1.thm1.tptp2017-02-06 16:47 465  
[ ]lattice6__1538_23.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__1539_11.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1540_16.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1557_13.min1.thm12017-02-06 12:45 896  
[ ]lattice6__1562_65.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1563_75.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__1565_21.min1.thm12017-02-06 12:45 547  
[ ]lattice6__1565_21.min1.thm1.tptp2017-02-06 16:47 479  
[ ]lattice6__1568_26.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__1569_13.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1570_18.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1572_45.min1.thm12017-02-06 12:45 758  
[ ]lattice6__1577_46.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1579_62.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1581_17.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1581_17.min1.thm1.tptp2017-02-06 16:47 960  
[ ]lattice6__1593_15.min1.thm12017-02-06 12:45 722  
[ ]lattice6__1596_15.min1.thm12017-02-06 12:45 702  
[ ]lattice6__1598_19.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1599_17.min1.thm12017-02-06 12:45 868  
[ ]lattice6__1600_28.min1.thm12017-02-06 12:45 923  
[ ]lattice6__1601_25.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1603_13.min1.thm12017-02-06 12:45 601  
[ ]lattice6__1604_17.min1.thm12017-02-06 12:45 870  
[ ]lattice6__1605_13.min1.thm12017-02-06 12:45 635  
[ ]lattice6__1606_17.min1.thm12017-02-06 12:45 878  
[ ]lattice6__1611_14.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__1615_14.min1.thm12017-02-06 12:45 635  
[ ]lattice6__1616_17.min1.thm12017-02-06 12:45 878  
[ ]lattice6__1619_15.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__1620_13.min1.thm12017-02-06 12:45 634  
[ ]lattice6__1621_19.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice6__1624_23.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__1625_13.min1.thm12017-02-06 12:45 634  
[ ]lattice6__1626_19.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice6__1628_27.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__1641_16.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1648_17.min1.thm12017-02-06 12:45 847  
[ ]lattice6__1649_13.min1.thm12017-02-06 12:45 604  
[ ]lattice6__1651_14.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__1652_14.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__1654_21.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice6__1655_14.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__1656_19.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__1657_19.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice6__1659_11.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice6__1661_15.min1.thm12017-02-06 12:45 937  
[ ]lattice6__1662_11.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__1663_18.min1.thm12017-02-06 12:45 937  
[ ]lattice6__1667_17.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1674_18.min1.thm12017-02-06 12:45 847  
[ ]lattice6__1675_13.min1.thm12017-02-06 12:45 604  
[ ]lattice6__1677_15.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__1678_15.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__1681_14.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice6__1683_19.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice6__1687_16.min1.thm12017-02-06 12:45 939  
[ ]lattice6__1688_11.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__1689_18.min1.thm12017-02-06 12:45 939  
[ ]lattice6__1691_17.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__1702_32.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1703_13.min1.thm12017-02-06 12:45 888  
[ ]lattice6__1710_15.min1.thm12017-02-06 12:45 632  
[ ]lattice6__1711_24.min1.thm12017-02-06 12:45 805  
[ ]lattice6__1715_15.min1.thm12017-02-06 12:45 912  
[ ]lattice6__1717_26.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__1718_29.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__1721_45.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1723_17.min1.thm12017-02-06 12:45 938  
[ ]lattice6__1735_15.min1.thm12017-02-06 12:45 722  
[ ]lattice6__1738_15.min1.thm12017-02-06 12:45 702  
[ ]lattice6__1740_19.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice6__1741_17.min1.thm12017-02-06 12:45 868  
[ ]lattice6__1742_28.min1.thm12017-02-06 12:45 923  
[ ]lattice6__1743_25.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__1745_13.min1.thm12017-02-06 12:45 601  
[ ]lattice6__1746_17.min1.thm12017-02-06 12:45 870  
[ ]lattice6__1747_13.min1.thm12017-02-06 12:45 635  
[ ]lattice6__1748_17.min1.thm12017-02-06 12:45 878  
[ ]lattice6__1753_14.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__1757_14.min1.thm12017-02-06 12:45 635  
[ ]lattice6__1758_17.min1.thm12017-02-06 12:45 878  
[ ]lattice6__1761_15.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__1762_13.min1.thm12017-02-06 12:45 634  
[ ]lattice6__1763_19.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice6__1766_19.min1.thm12017-02-06 12:45 2.5K 
[ ]lattice6__1767_13.min1.thm12017-02-06 12:45 634  
[ ]lattice6__1768_19.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice6__1770_23.min1.thm12017-02-06 12:45 2.5K 
[ ]lattice6__1786_32.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1787_13.min1.thm12017-02-06 12:45 888  
[ ]lattice6__1794_15.min1.thm12017-02-06 12:45 632  
[ ]lattice6__1795_24.min1.thm12017-02-06 12:45 805  
[ ]lattice6__1799_15.min1.thm12017-02-06 12:45 904  
[ ]lattice6__1801_26.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__1802_29.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__1805_45.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1807_17.min1.thm12017-02-06 12:45 938  
[ ]lattice6__1813_68.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__1835_39.min1.thm12017-02-06 12:45 725  
[ ]lattice6__1837_20.min1.thm12017-02-06 12:45 883  
[ ]lattice6__1843_58.min1.thm12017-02-06 12:45 932  
[ ]lattice6__1844_37.min1.thm12017-02-06 12:45 368  
[ ]lattice6__1845_20.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1846_24.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__1847_19.min1.thm12017-02-06 12:45 443  
[ ]lattice6__1849_20.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1854_24.min1.thm12017-02-06 12:45 369  
[ ]lattice6__1854_24.min1.thm1.tptp2017-02-06 16:47 304  
[ ]lattice6__1855_19.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__1859_17.min1.thm12017-02-06 12:45 813  
[ ]lattice6__1871_36.min1.thm12017-02-06 12:45 725  
[ ]lattice6__1873_17.min1.thm12017-02-06 12:45 883  
[ ]lattice6__1879_58.min1.thm12017-02-06 12:45 932  
[ ]lattice6__1880_37.min1.thm12017-02-06 12:45 368  
[ ]lattice6__1881_17.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1882_21.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__1883_19.min1.thm12017-02-06 12:45 443  
[ ]lattice6__1885_17.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1890_21.min1.thm12017-02-06 12:45 369  
[ ]lattice6__1890_21.min1.thm1.tptp2017-02-06 16:47 304  
[ ]lattice6__1891_19.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__1895_17.min1.thm12017-02-06 12:45 813  
[ ]lattice6__1914_16.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice6__1917_41.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__1926_32.min1.thm12017-02-06 12:45 813  
[ ]lattice6__1938_29.min1.thm12017-02-06 12:45 967  
[ ]lattice6__1939_33.min1.thm12017-02-06 12:45 455  
[ ]lattice6__1940_34.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1945_63.min1.thm12017-02-06 12:45 342  
[ ]lattice6__1945_63.min1.thm1.tptp2017-02-06 16:47 270  
[ ]lattice6__1948_11.min1.thm12017-02-06 12:45 651  
[ ]lattice6__1949_29.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__1950_19.min1.thm12017-02-06 12:45 889  
[ ]lattice6__1952_21.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1953_14.min1.thm12017-02-06 12:45 746  
[ ]lattice6__1984_23.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__1990_19.min1.thm12017-02-06 12:45 703  
[ ]lattice6__1991_41.min1.thm12017-02-06 12:45 506  
[ ]lattice6__1992_28.min1.thm12017-02-06 12:45 908  
[ ]lattice6__1993_22.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__1994_23.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__1996_21.min1.thm12017-02-06 12:45 491  
[ ]lattice6__1996_21.min1.thm1.tptp2017-02-06 16:47 427  
[ ]lattice6__1998_23.min1.thm12017-02-06 12:45 938  
[ ]lattice6__2003_67.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2004_20.min1.thm12017-02-06 12:45 403  
[ ]lattice6__2006_30.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__2007_28.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__2023_67.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2024_20.min1.thm12017-02-06 12:45 381  
[ ]lattice6__2027_25.min1.thm12017-02-06 12:45 590  
[ ]lattice6__2028_22.min1.thm12017-02-06 12:45 520  
[ ]lattice6__2028_22.min1.thm1.tptp2017-02-06 16:47 443  
[ ]lattice6__2029_21.min1.thm12017-02-06 12:45 535  
[ ]lattice6__2029_21.min1.thm1.tptp2017-02-06 16:47 458  
[ ]lattice6__2031_32.min1.thm12017-02-06 12:45 911  
[ ]lattice6__2033_17.min1.thm12017-02-06 12:45 748  
[ ]lattice6__2033_17.min1.thm1.tptp2017-02-06 16:47 687  
[ ]lattice6__2052_23.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__2058_19.min1.thm12017-02-06 12:45 703  
[ ]lattice6__2059_41.min1.thm12017-02-06 12:45 506  
[ ]lattice6__2060_28.min1.thm12017-02-06 12:45 868  
[ ]lattice6__2061_22.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__2062_23.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__2064_21.min1.thm12017-02-06 12:45 491  
[ ]lattice6__2064_21.min1.thm1.tptp2017-02-06 16:47 427  
[ ]lattice6__2066_23.min1.thm12017-02-06 12:45 938  
[ ]lattice6__2071_67.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2072_20.min1.thm12017-02-06 12:45 403  
[ ]lattice6__2074_30.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__2075_28.min1.thm12017-02-06 12:45 916  
[ ]lattice6__2091_67.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2092_20.min1.thm12017-02-06 12:45 381  
[ ]lattice6__2095_25.min1.thm12017-02-06 12:45 590  
[ ]lattice6__2096_22.min1.thm12017-02-06 12:45 520  
[ ]lattice6__2096_22.min1.thm1.tptp2017-02-06 16:47 443  
[ ]lattice6__2097_21.min1.thm12017-02-06 12:45 535  
[ ]lattice6__2097_21.min1.thm1.tptp2017-02-06 16:47 458  
[ ]lattice6__2099_31.min1.thm12017-02-06 12:45 911  
[ ]lattice6__2101_17.min1.thm12017-02-06 12:45 748  
[ ]lattice6__2101_17.min1.thm1.tptp2017-02-06 16:47 687  
[ ]lattice6__2122_20.min1.thm12017-02-06 12:45 761  
[ ]lattice6__2123_20.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice6__2125_24.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice6__2126_46.min1.thm12017-02-06 12:45 546  
[ ]lattice6__2139_23.min1.thm12017-02-06 12:45 908  
[ ]lattice6__2140_19.min1.thm12017-02-06 12:45 665  
[ ]lattice6__2141_25.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__2144_24.min1.thm12017-02-06 12:45 2.7K 
[ ]lattice6__2145_23.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__2153_15.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2154_19.min1.thm12017-02-06 12:45 841  
[ ]lattice6__2157_14.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__2158_17.min1.thm12017-02-06 12:45 879  
[ ]lattice6__2159_17.min1.thm12017-02-06 12:45 629  
[ ]lattice6__2160_23.min1.thm12017-02-06 12:45 350  
[ ]lattice6__2160_23.min1.thm1.tptp2017-02-06 16:47 264  
[ ]lattice6__2170_15.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2171_21.min1.thm12017-02-06 12:45 655  
[ ]lattice6__2172_24.min1.thm12017-02-06 12:45 898  
[ ]lattice6__2174_23.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2177_28.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__2178_21.min1.thm12017-02-06 12:45 499  
[ ]lattice6__2178_21.min1.thm1.tptp2017-02-06 16:47 422  
[ ]lattice6__2180_31.min1.thm12017-02-06 12:45 911  
[ ]lattice6__2190_24.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2195_19.min1.thm12017-02-06 12:45 703  
[ ]lattice6__2196_20.min1.thm12017-02-06 12:45 717  
[ ]lattice6__2198_27.min1.thm12017-02-06 12:45 956  
[ ]lattice6__2199_37.min1.thm12017-02-06 12:45 520  
[ ]lattice6__2203_17.min1.thm12017-02-06 12:45 655  
[ ]lattice6__2204_21.min1.thm12017-02-06 12:45 898  
[ ]lattice6__2213_25.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__2215_34.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__2217_19.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__2218_17.min1.thm12017-02-06 12:45 647  
[ ]lattice6__2219_21.min1.thm12017-02-06 12:45 890  
[ ]lattice6__2220_23.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__2226_61.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__2234_21.min1.thm12017-02-06 12:45 890  
[ ]lattice6__2235_17.min1.thm12017-02-06 12:45 647  
[ ]lattice6__2239_16.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__2240_19.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__2241_23.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__2245_21.min1.thm12017-02-06 12:45 581  
[ ]lattice6__2245_21.min1.thm1.tptp2017-02-06 16:47 504  
[ ]lattice6__2249_17.min1.thm12017-02-06 12:45 595  
[ ]lattice6__2249_17.min1.thm1.tptp2017-02-06 16:47 507  
[ ]lattice6__2265_33.min1.thm12017-02-06 12:45 741  
[ ]lattice6__2266_18.min1.thm12017-02-06 12:45 872  
[ ]lattice6__2268_19.min1.thm12017-02-06 12:45 544  
[ ]lattice6__2281_33.min1.thm12017-02-06 12:45 741  
[ ]lattice6__2282_18.min1.thm12017-02-06 12:45 872  
[ ]lattice6__2284_19.min1.thm12017-02-06 12:45 544  
[ ]lattice6__2302_37.min1.thm12017-02-06 12:45 870  
[ ]lattice6__2305_35.min1.thm12017-02-06 12:45 354  
[ ]lattice6__2305_35.min1.thm1.tptp2017-02-06 16:47 268  
[ ]lattice6__2311_65.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__2320_60.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2321_21.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2323_19.min1.thm12017-02-06 12:45 543  
[ ]lattice6__2323_19.min1.thm1.tptp2017-02-06 16:47 479  
[ ]lattice6__2324_35.min1.thm12017-02-06 12:45 914  
[ ]lattice6__2326_21.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2331_65.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__2332_18.min1.thm12017-02-06 12:45 385  
[ ]lattice6__2336_21.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__2337_19.min1.thm12017-02-06 12:45 737  
[ ]lattice6__2340_17.min1.thm12017-02-06 12:45 397  
[ ]lattice6__2340_17.min1.thm1.tptp2017-02-06 16:47 333  
[ ]lattice6__2357_37.min1.thm12017-02-06 12:45 870  
[ ]lattice6__2360_35.min1.thm12017-02-06 12:45 354  
[ ]lattice6__2360_35.min1.thm1.tptp2017-02-06 16:47 268  
[ ]lattice6__2366_65.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__2375_60.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2376_21.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2378_19.min1.thm12017-02-06 12:45 543  
[ ]lattice6__2378_19.min1.thm1.tptp2017-02-06 16:47 479  
[ ]lattice6__2379_35.min1.thm12017-02-06 12:45 914  
[ ]lattice6__2381_21.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2386_65.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__2387_18.min1.thm12017-02-06 12:45 385  
[ ]lattice6__2391_21.min1.thm12017-02-06 12:45 870  
[ ]lattice6__2392_19.min1.thm12017-02-06 12:45 737  
[ ]lattice6__2395_17.min1.thm12017-02-06 12:45 397  
[ ]lattice6__2395_17.min1.thm1.tptp2017-02-06 16:47 333  
[ ]lattice6__2414_31.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__2415_19.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__2416_16.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__2417_15.min1.thm12017-02-06 12:45 904  
[ ]lattice6__2420_69.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__2421_28.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__2424_19.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__2425_15.min1.thm12017-02-06 12:45 650  
[ ]lattice6__2426_19.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__2427_15.min1.thm12017-02-06 12:45 904  
[ ]lattice6__2438_68.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__2439_21.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__2441_13.min1.thm12017-02-06 12:45 371  
[ ]lattice6__2445_35.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__2446_70.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__2450_45.min1.thm12017-02-06 12:45 904  
[ ]lattice6__2451_19.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice6__2452_16.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__2453_15.min1.thm12017-02-06 12:45 906  
[ ]lattice6__2454_21.min1.thm12017-02-06 12:45 685  
[ ]lattice6__2454_21.min1.thm1.tptp2017-02-06 16:47 608  
[ ]lattice6__2461_26.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__2473_33.min1.thm12017-02-06 12:45 960  
[ ]lattice6__2474_19.min1.thm12017-02-06 12:45 678  
[ ]lattice6__2478_25.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__2479_25.min1.thm12017-02-06 12:45 951  
[ ]lattice6__2482_25.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2486_27.min1.thm12017-02-06 12:45 606  
[ ]lattice6__2488_25.min1.thm12017-02-06 12:45 501  
[ ]lattice6__2488_25.min1.thm1.tptp2017-02-06 16:47 437  
[ ]lattice6__2492_29.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__2493_22.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2495_25.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__2497_32.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__2506_18.min1.thm12017-02-06 12:45 507  
[ ]lattice6__2506_18.min1.thm1.tptp2017-02-06 16:47 452  
[ ]lattice6__2508_51.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__2509_23.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__2512_33.min1.thm12017-02-06 12:45 606  
[ ]lattice6__2513_19.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__2514_15.min1.thm12017-02-06 12:45 906  
[ ]lattice6__2522_17.min1.thm12017-02-06 12:45 507  
[ ]lattice6__2522_17.min1.thm1.tptp2017-02-06 16:47 452  
[ ]lattice6__2524_51.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__2527_22.min1.thm12017-02-06 12:45 740  
[ ]lattice6__2528_28.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__2530_18.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__2532_27.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2536_32.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice6__2537_21.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__2540_38.min1.thm12017-02-06 12:45 527  
[ ]lattice6__2540_38.min1.thm1.tptp2017-02-06 16:47 452  
[ ]lattice6__2550_71.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2554_17.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__2560_14.min1.thm12017-02-06 12:45 539  
[ ]lattice6__2560_14.min1.thm1.tptp2017-02-06 16:47 460  
[ ]lattice6__2579_62.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2580_15.min1.thm12017-02-06 12:45 666  
[ ]lattice6__2581_23.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__2582_21.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice6__2583_21.min1.thm12017-02-06 12:45 2.5K 
[ ]lattice6__2592_64.min1.thm12017-02-06 12:45 877  
[ ]lattice6__2593_21.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__2595_13.min1.thm12017-02-06 12:45 287  
[ ]lattice6__2599_75.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__2600_67.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice6__2603_35.min1.thm12017-02-06 12:45 600  
[ ]lattice6__2604_26.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__2605_21.min1.thm12017-02-06 12:45 601  
[ ]lattice6__2605_21.min1.thm1.tptp2017-02-06 16:47 524  
[ ]lattice6__2612_20.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__2624_30.min1.thm12017-02-06 12:45 878  
[ ]lattice6__2625_19.min1.thm12017-02-06 12:45 678  
[ ]lattice6__2627_26.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice6__2634_27.min1.thm12017-02-06 12:45 608  
[ ]lattice6__2636_25.min1.thm12017-02-06 12:45 503  
[ ]lattice6__2636_25.min1.thm1.tptp2017-02-06 16:47 439  
[ ]lattice6__2639_34.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__2640_25.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice6__2642_32.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice6__2651_18.min1.thm12017-02-06 12:45 509  
[ ]lattice6__2651_18.min1.thm1.tptp2017-02-06 16:47 454  
[ ]lattice6__2653_51.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__2654_23.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__2657_33.min1.thm12017-02-06 12:45 608  
[ ]lattice6__2664_17.min1.thm12017-02-06 12:45 509  
[ ]lattice6__2664_17.min1.thm1.tptp2017-02-06 16:47 454  
[ ]lattice6__2666_51.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice6__2669_22.min1.thm12017-02-06 12:45 742  
[ ]lattice6__2670_28.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__2672_18.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice6__2674_24.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__2677_32.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice6__2678_29.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice6__2679_21.min1.thm12017-02-06 12:45 609  
[ ]lattice6__2679_21.min1.thm1.tptp2017-02-06 16:47 532  
[ ]lattice6__2682_35.min1.thm12017-02-06 12:45 501  
[ ]lattice6__2682_35.min1.thm1.tptp2017-02-06 16:47 426  
[ ]lattice6__2689_17.min1.thm12017-02-06 12:45 909  
[ ]lattice6__2690_13.min1.thm12017-02-06 12:45 640  
[ ]lattice6__2691_19.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice6__2693_17.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice6__2699_14.min1.thm12017-02-06 12:45 539  
[ ]lattice6__2699_14.min1.thm1.tptp2017-02-06 16:47 460  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80