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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattice8__78_15.min1.thm12017-02-06 12:45 721  
[ ]lattice8__78_15.min1.thm1.tptp2017-02-06 16:47 652  
[ ]lattice8__84_11.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__85_14.min1.thm12017-02-06 12:45 792  
[ ]lattice8__90_9.min1.thm12017-02-06 12:45 796  
[ ]lattice8__91_14.min1.thm12017-02-06 12:45 639  
[ ]lattice8__101_67.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__105_33.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice8__106_19.min1.thm12017-02-06 12:45 341  
[ ]lattice8__106_19.min1.thm1.tptp2017-02-06 16:47 262  
[ ]lattice8__108_15.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__117_18.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice8__120_36.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__121_18.min1.thm12017-02-06 12:45 949  
[ ]lattice8__122_23.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__126_36.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__127_18.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__128_23.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__132_36.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__133_18.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__134_23.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__138_36.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__139_18.min1.thm12017-02-06 12:45 949  
[ ]lattice8__140_23.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__147_34.min1.thm12017-02-06 12:45 2.6K 
[ ]lattice8__160_29.min1.thm12017-02-06 12:45 222  
[ ]lattice8__162_47.min1.thm12017-02-06 12:45 290  
[ ]lattice8__165_33.min1.thm12017-02-06 12:45 707  
[ ]lattice8__166_72.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__169_20.min1.thm12017-02-06 12:45 542  
[ ]lattice8__173_21.min1.thm12017-02-06 12:45 923  
[ ]lattice8__174_21.min1.thm12017-02-06 12:45 789  
[ ]lattice8__182_22.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__183_26.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__185_38.min1.thm12017-02-06 12:45 729  
[ ]lattice8__186_24.min1.thm12017-02-06 12:45 3.2K 
[ ]lattice8__191_29.min1.thm12017-02-06 12:45 676  
[ ]lattice8__192_29.min1.thm12017-02-06 12:45 2.5K 
[ ]lattice8__198_29.min1.thm12017-02-06 12:45 676  
[ ]lattice8__199_29.min1.thm12017-02-06 12:45 2.5K 
[ ]lattice8__204_25.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__205_29.min1.thm12017-02-06 12:45 2.6K 
[ ]lattice8__212_33.min1.thm12017-02-06 12:45 833  
[ ]lattice8__218_21.min1.thm12017-02-06 12:45 926  
[ ]lattice8__219_21.min1.thm12017-02-06 12:45 789  
[ ]lattice8__227_22.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__228_26.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__230_38.min1.thm12017-02-06 12:45 729  
[ ]lattice8__231_24.min1.thm12017-02-06 12:45 3.4K 
[ ]lattice8__239_25.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice8__240_29.min1.thm12017-02-06 12:45 2.4K 
[ ]lattice8__246_29.min1.thm12017-02-06 12:45 676  
[ ]lattice8__247_29.min1.thm12017-02-06 12:45 2.5K 
[ ]lattice8__253_29.min1.thm12017-02-06 12:45 676  
[ ]lattice8__254_29.min1.thm12017-02-06 12:45 2.6K 
[ ]lattice8__257_33.min1.thm12017-02-06 12:45 833  
[ ]lattice8__270_18.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice8__273_36.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__274_18.min1.thm12017-02-06 12:45 949  
[ ]lattice8__275_23.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__279_36.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__280_18.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__281_23.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__285_36.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__286_18.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__287_23.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__291_36.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__292_18.min1.thm12017-02-06 12:45 949  
[ ]lattice8__293_23.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__296_14.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice8__301_28.min1.thm12017-02-06 12:45 2.8K 
[ ]lattice8__302_28.min1.thm12017-02-06 12:45 898  
[ ]lattice8__309_18.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__320_53.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__321_53.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__322_17.min1.thm12017-02-06 12:45 2.5K 
[ ]lattice8__331_39.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__348_30.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__349_55.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__358_59.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__360_21.min1.thm12017-02-06 12:45 899  
[ ]lattice8__361_19.min1.thm12017-02-06 12:45 855  
[ ]lattice8__362_25.min1.thm12017-02-06 12:45 535  
[ ]lattice8__366_23.min1.thm12017-02-06 12:45 475  
[ ]lattice8__368_18.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__371_14.min1.thm12017-02-06 12:45 679  
[ ]lattice8__386_18.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice8__391_18.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice8__405_22.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__409_50.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice8__411_14.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__412_17.min1.thm12017-02-06 12:45 2.4K 
[ ]lattice8__413_30.min1.thm12017-02-06 12:45 2.6K 
[ ]lattice8__414_24.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__415_38.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__420_41.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__422_44.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice8__439_36.min1.thm12017-02-06 12:45 611  
[ ]lattice8__439_36.min1.thm1.tptp2017-02-06 16:47 547  
[ ]lattice8__440_31.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__441_24.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice8__442_53.min1.thm12017-02-06 12:45 2.4K 
[ ]lattice8__445_41.min1.thm12017-02-06 12:45 2.9K 
[ ]lattice8__446_22.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice8__449_14.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__450_49.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice8__452_45.min1.thm12017-02-06 12:45 685  
[ ]lattice8__453_35.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__454_13.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__473_20.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__483_50.min1.thm12017-02-06 12:45 2.9K 
[ ]lattice8__489_14.min1.thm12017-02-06 12:45 278  
[ ]lattice8__509_53.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__510_25.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__511_56.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__512_50.min1.thm12017-02-06 12:45 756  
[ ]lattice8__513_25.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__514_56.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__515_25.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__516_56.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__517_50.min1.thm12017-02-06 12:45 761  
[ ]lattice8__518_50.min1.thm12017-02-06 12:45 757  
[ ]lattice8__525_16.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__538_36.min1.thm12017-02-06 12:45 871  
[ ]lattice8__540_34.min1.thm12017-02-06 12:45 943  
[ ]lattice8__549_16.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__555_16.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice8__557_11.min1.thm12017-02-06 12:45 330  
[ ]lattice8__558_18.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__562_11.min1.thm12017-02-06 12:45 331  
[ ]lattice8__563_16.min1.thm12017-02-06 12:45 819  
[ ]lattice8__566_16.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice8__567_59.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__571_11.min1.thm12017-02-06 12:45 373  
[ ]lattice8__572_18.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__576_26.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__585_27.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__597_11.min1.thm12017-02-06 12:45 330  
[ ]lattice8__598_59.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__600_11.min1.thm12017-02-06 12:45 372  
[ ]lattice8__601_18.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__604_16.min1.thm12017-02-06 12:45 818  
[ ]lattice8__609_16.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice8__610_26.min1.thm12017-02-06 12:45 2.6K 
[ ]lattice8__613_26.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__619_16.min1.thm12017-02-06 12:45 2.4K 
[ ]lattice8__628_59.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__630_11.min1.thm12017-02-06 12:45 372  
[ ]lattice8__631_18.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__638_26.min1.thm12017-02-06 12:45 2.7K 
[ ]lattice8__673_39.min1.thm12017-02-06 12:45 5.3K 
[ ]lattice8__675_17.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__684_13.min1.thm12017-02-06 12:45 131  
[ ]lattice8__690_11.min1.thm12017-02-06 12:45 461  
[ ]lattice8__712_51.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__722_29.min1.thm12017-02-06 12:45 362  
[ ]lattice8__724_26.min1.thm12017-02-06 12:45 620  
[ ]lattice8__728_35.min1.thm12017-02-06 12:45 812  
[ ]lattice8__729_35.min1.thm12017-02-06 12:45 812  
[ ]lattice8__731_15.min1.thm12017-02-06 12:45 514  
[ ]lattice8__732_21.min1.thm12017-02-06 12:45 371  
[ ]lattice8__732_21.min1.thm1.tptp2017-02-06 16:47 312  
[ ]lattice8__736_26.min1.thm12017-02-06 12:45 395  
[ ]lattice8__736_26.min1.thm1.tptp2017-02-06 16:47 330  
[ ]lattice8__741_34.min1.thm12017-02-06 12:45 356  
[ ]lattice8__745_18.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__748_49.min1.thm12017-02-06 12:45 458  
[ ]lattice8__748_49.min1.thm1.tptp2017-02-06 16:47 380  
[ ]lattice8__750_22.min1.thm12017-02-06 12:45 5.2K 
[ ]lattice8__755_22.min1.thm12017-02-06 12:45 6.1K 
[ ]lattice8__760_22.min1.thm12017-02-06 12:45 3.5K 
[ ]lattice8__764_46.min1.thm12017-02-06 12:45 405  
[ ]lattice8__764_46.min1.thm1.tptp2017-02-06 16:47 329  
[ ]lattice8__766_22.min1.thm12017-02-06 12:45 5.2K 
[ ]lattice8__770_46.min1.thm12017-02-06 12:45 416  
[ ]lattice8__770_46.min1.thm1.tptp2017-02-06 16:47 340  
[ ]lattice8__772_22.min1.thm12017-02-06 12:45 5.2K 
[ ]lattice8__776_46.min1.thm12017-02-06 12:45 405  
[ ]lattice8__776_46.min1.thm1.tptp2017-02-06 16:47 329  
[ ]lattice8__778_22.min1.thm12017-02-06 12:45 5.2K 
[ ]lattice8__782_46.min1.thm12017-02-06 12:45 416  
[ ]lattice8__782_46.min1.thm1.tptp2017-02-06 16:47 340  
[ ]lattice8__784_22.min1.thm12017-02-06 12:45 5.2K 
[ ]lattice8__791_46.min1.thm12017-02-06 12:45 938  
[ ]lattice8__791_46.min1.thm1.tptp2017-02-06 16:47 855  
[ ]lattice8__792_27.min1.thm12017-02-06 12:45 351  
[ ]lattice8__794_25.min1.thm12017-02-06 12:45 598  
[ ]lattice8__799_51.min1.thm12017-02-06 12:45 781  
[ ]lattice8__802_36.min1.thm12017-02-06 12:45 966  
[ ]lattice8__802_36.min1.thm1.tptp2017-02-06 16:47 893  
[ ]lattice8__805_18.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__805_18.min1.thm1.tptp2017-02-06 16:47 915  
[ ]lattice8__811_59.min1.thm12017-02-06 12:45 940  
[ ]lattice8__812_30.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__818_51.min1.thm12017-02-06 12:45 781  
[ ]lattice8__821_36.min1.thm12017-02-06 12:45 966  
[ ]lattice8__821_36.min1.thm1.tptp2017-02-06 16:47 893  
[ ]lattice8__824_18.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__824_18.min1.thm1.tptp2017-02-06 16:47 915  
[ ]lattice8__855_35.min1.thm12017-02-06 12:45 812  
[ ]lattice8__856_35.min1.thm12017-02-06 12:45 812  
[ ]lattice8__857_18.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__860_35.min1.thm12017-02-06 12:45 2.5K 
[ ]lattice8__861_24.min1.thm12017-02-06 12:45 2.5K 
[ ]lattice8__865_46.min1.thm12017-02-06 12:45 405  
[ ]lattice8__865_46.min1.thm1.tptp2017-02-06 16:47 329  
[ ]lattice8__867_24.min1.thm12017-02-06 12:45 4.0K 
[ ]lattice8__871_46.min1.thm12017-02-06 12:45 416  
[ ]lattice8__871_46.min1.thm1.tptp2017-02-06 16:47 340  
[ ]lattice8__877_46.min1.thm12017-02-06 12:45 405  
[ ]lattice8__877_46.min1.thm1.tptp2017-02-06 16:47 329  
[ ]lattice8__879_24.min1.thm12017-02-06 12:45 4.0K 
[ ]lattice8__883_36.min1.thm12017-02-06 12:45 2.5K 
[ ]lattice8__891_46.min1.thm12017-02-06 12:45 416  
[ ]lattice8__891_46.min1.thm1.tptp2017-02-06 16:47 340  
[ ]lattice8__901_36.min1.thm12017-02-06 12:45 2.6K 
[ ]lattice8__923_33.min1.thm12017-02-06 12:45 792  
[ ]lattice8__924_16.min1.thm12017-02-06 12:45 586  
[ ]lattice8__924_16.min1.thm1.tptp2017-02-06 16:47 530  
[ ]lattice8__927_44.min1.thm12017-02-06 12:45 338  
[ ]lattice8__927_44.min1.thm1.tptp2017-02-06 16:47 260  
[ ]lattice8__929_22.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__952_33.min1.thm12017-02-06 12:45 786  
[ ]lattice8__953_33.min1.thm12017-02-06 12:45 786  
[ ]lattice8__954_14.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__957_50.min1.thm12017-02-06 12:45 426  
[ ]lattice8__957_50.min1.thm1.tptp2017-02-06 16:47 348  
[ ]lattice8__959_21.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__964_42.min1.thm12017-02-06 12:45 378  
[ ]lattice8__964_42.min1.thm1.tptp2017-02-06 16:47 302  
[ ]lattice8__970_42.min1.thm12017-02-06 12:45 389  
[ ]lattice8__970_42.min1.thm1.tptp2017-02-06 16:47 313  
[ ]lattice8__976_42.min1.thm12017-02-06 12:45 378  
[ ]lattice8__976_42.min1.thm1.tptp2017-02-06 16:47 302  
[ ]lattice8__982_16.min1.thm12017-02-06 12:45 709  
[ ]lattice8__982_16.min1.thm1.tptp2017-02-06 16:47 632  
[ ]lattice8__991_42.min1.thm12017-02-06 12:45 389  
[ ]lattice8__991_42.min1.thm1.tptp2017-02-06 16:47 313  
[ ]lattice8__1002_16.min1.thm12017-02-06 12:45 731  
[ ]lattice8__1002_16.min1.thm1.tptp2017-02-06 16:47 654  
[ ]lattice8__1016_46.min1.thm12017-02-06 12:45 290  
[ ]lattice8__1023_32.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__1030_16.min1.thm12017-02-06 12:45 830  
[ ]lattice8__1033_52.min1.thm12017-02-06 12:45 481  
[ ]lattice8__1033_52.min1.thm1.tptp2017-02-06 16:47 405  
[ ]lattice8__1043_52.min1.thm12017-02-06 12:45 492  
[ ]lattice8__1043_52.min1.thm1.tptp2017-02-06 16:47 416  
[ ]lattice8__1060_16.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__1064_21.min1.thm12017-02-06 12:45 3.5K 
[ ]lattice8__1069_44.min1.thm12017-02-06 12:45 443  
[ ]lattice8__1069_44.min1.thm1.tptp2017-02-06 16:47 369  
[ ]lattice8__1077_12.min1.thm12017-02-06 12:45 839  
[ ]lattice8__1090_61.min1.thm12017-02-06 12:45 4.3K 
[ ]lattice8__1099_44.min1.thm12017-02-06 12:45 443  
[ ]lattice8__1099_44.min1.thm1.tptp2017-02-06 16:47 369  
[ ]lattice8__1104_12.min1.thm12017-02-06 12:45 839  
[ ]lattice8__1113_26.min1.thm12017-02-06 12:45 2.7K 
[ ]lattice8__1121_61.min1.thm12017-02-06 12:45 4.3K 
[ ]lattice8__1131_21.min1.thm12017-02-06 12:45 3.5K 
[ ]lattice8__1141_16.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__1145_21.min1.thm12017-02-06 12:45 4.0K 
[ ]lattice8__1149_44.min1.thm12017-02-06 12:45 443  
[ ]lattice8__1149_44.min1.thm1.tptp2017-02-06 16:47 369  
[ ]lattice8__1150_28.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice8__1158_39.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__1167_44.min1.thm12017-02-06 12:45 443  
[ ]lattice8__1167_44.min1.thm1.tptp2017-02-06 16:47 369  
[ ]lattice8__1168_28.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice8__1177_39.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__1187_21.min1.thm12017-02-06 12:45 4.0K 
[ ]lattice8__1196_16.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice8__1199_41.min1.thm12017-02-06 12:45 3.7K 
[ ]lattice8__1206_35.min1.thm12017-02-06 12:45 4.0K 
[ ]lattice8__1211_41.min1.thm12017-02-06 12:45 3.7K 
[ ]lattice8__1218_35.min1.thm12017-02-06 12:45 4.0K 
[ ]lattice8__1225_35.min1.thm12017-02-06 12:45 4.0K 
[ ]lattice8__1231_41.min1.thm12017-02-06 12:45 3.7K 
[ ]lattice8__1238_35.min1.thm12017-02-06 12:45 4.0K 
[ ]lattice8__1243_41.min1.thm12017-02-06 12:45 3.7K 
[ ]lattice8__1253_16.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__1258_18.min1.thm12017-02-06 12:45 3.8K 
[ ]lattice8__1262_44.min1.thm12017-02-06 12:45 443  
[ ]lattice8__1262_44.min1.thm1.tptp2017-02-06 16:47 369  
[ ]lattice8__1270_12.min1.thm12017-02-06 12:45 839  
[ ]lattice8__1281_61.min1.thm12017-02-06 12:45 4.3K 
[ ]lattice8__1290_44.min1.thm12017-02-06 12:45 443  
[ ]lattice8__1290_44.min1.thm1.tptp2017-02-06 16:47 369  
[ ]lattice8__1295_12.min1.thm12017-02-06 12:45 839  
[ ]lattice8__1303_26.min1.thm12017-02-06 12:45 2.7K 
[ ]lattice8__1310_61.min1.thm12017-02-06 12:45 4.3K 
[ ]lattice8__1321_18.min1.thm12017-02-06 12:45 3.8K 
[ ]lattice8__1331_48.min1.thm12017-02-06 12:45 426  
[ ]lattice8__1331_48.min1.thm1.tptp2017-02-06 16:47 348  
[ ]lattice8__1332_16.min1.thm12017-02-06 12:45 863  
[ ]lattice8__1362_16.min1.thm12017-02-06 12:45 830  
[ ]lattice8__1365_52.min1.thm12017-02-06 12:45 481  
[ ]lattice8__1365_52.min1.thm1.tptp2017-02-06 16:47 405  
[ ]lattice8__1371_48.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__1381_52.min1.thm12017-02-06 12:45 492  
[ ]lattice8__1381_52.min1.thm1.tptp2017-02-06 16:47 416  
[ ]lattice8__1387_48.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__1401_58.min1.thm12017-02-06 12:45 522  
[ ]lattice8__1401_58.min1.thm1.tptp2017-02-06 16:47 444  
[ ]lattice8__1410_16.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__1413_21.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__1417_21.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__1421_21.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__1425_21.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__1429_21.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__1433_21.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__1437_21.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__1441_21.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__1457_22.min1.thm12017-02-06 12:45 370  
[ ]lattice8__1457_22.min1.thm1.tptp2017-02-06 16:47 293  
[ ]lattice8__1464_16.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__1465_48.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__1466_23.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__1468_19.min1.thm12017-02-06 12:45 722  
[ ]lattice8__1471_24.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__1532_14.min1.thm12017-02-06 12:45 569  
[ ]lattice8__1571_68.min1.thm12017-02-06 12:45 666  
[ ]lattice8__1572_18.min1.thm12017-02-06 12:45 667  
[ ]lattice8__1584_17.min1.thm12017-02-06 12:45 428  
[ ]lattice8__1588_38.min1.thm12017-02-06 12:45 880  
[ ]lattice8__1589_15.min1.thm12017-02-06 12:45 345  
[ ]lattice8__1589_15.min1.thm1.tptp2017-02-06 16:47 266  
[ ]lattice8__1591_20.min1.thm12017-02-06 12:45 942  
[ ]lattice8__1592_45.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__1593_40.min1.thm12017-02-06 12:45 537  
[ ]lattice8__1594_18.min1.thm12017-02-06 12:45 764  
[ ]lattice8__1596_12.min1.thm12017-02-06 12:45 341  
[ ]lattice8__1596_12.min1.thm1.tptp2017-02-06 16:47 259  
[ ]lattice8__1598_16.min1.thm12017-02-06 12:45 363  
[ ]lattice8__1598_16.min1.thm1.tptp2017-02-06 16:47 280  
[ ]lattice8__1611_66.min1.thm12017-02-06 12:45 646  
[ ]lattice8__1613_58.min1.thm12017-02-06 12:45 589  
[ ]lattice8__1615_19.min1.thm12017-02-06 12:45 577  
[ ]lattice8__1626_15.min1.thm12017-02-06 12:45 404  
[ ]lattice8__1630_36.min1.thm12017-02-06 12:45 836  
[ ]lattice8__1631_13.min1.thm12017-02-06 12:45 341  
[ ]lattice8__1631_13.min1.thm1.tptp2017-02-06 16:47 262  
[ ]lattice8__1633_18.min1.thm12017-02-06 12:45 882  
[ ]lattice8__1634_43.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__1635_19.min1.thm12017-02-06 12:45 509  
[ ]lattice8__1637_12.min1.thm12017-02-06 12:45 416  
[ ]lattice8__1639_14.min1.thm12017-02-06 12:45 377  
[ ]lattice8__1639_14.min1.thm1.tptp2017-02-06 16:47 296  
[ ]lattice8__1656_19.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__1662_34.min1.thm12017-02-06 12:45 457  
[ ]lattice8__1662_34.min1.thm1.tptp2017-02-06 16:47 369  
[ ]lattice8__1663_19.min1.thm12017-02-06 12:45 565  
[ ]lattice8__1664_32.min1.thm12017-02-06 12:45 448  
[ ]lattice8__1665_61.min1.thm12017-02-06 12:45 737  
[ ]lattice8__1667_61.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__1668_14.min1.thm12017-02-06 12:45 2.7K 
[ ]lattice8__1669_16.min1.thm12017-02-06 12:45 682  
[ ]lattice8__1669_16.min1.thm1.tptp2017-02-06 16:47 596  
[ ]lattice8__1743_14.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__1743_14.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]lattice8__1789_13.min1.thm12017-02-06 12:45 229  
[ ]lattice8__1792_18.min1.thm12017-02-06 12:45 399  
[ ]lattice8__1792_18.min1.thm1.tptp2017-02-06 16:47 319  
[ ]lattice8__1796_27.min1.thm12017-02-06 12:45 848  
[ ]lattice8__1798_22.min1.thm12017-02-06 12:45 746  
[ ]lattice8__1799_64.min1.thm12017-02-06 12:45 438  
[ ]lattice8__1799_64.min1.thm1.tptp2017-02-06 16:47 361  
[ ]lattice8__1800_69.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__1802_21.min1.thm12017-02-06 12:45 801  
[ ]lattice8__1817_42.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__1820_13.min1.thm12017-02-06 12:45 203  
[ ]lattice8__1823_18.min1.thm12017-02-06 12:45 373  
[ ]lattice8__1823_18.min1.thm1.tptp2017-02-06 16:47 293  
[ ]lattice8__1828_17.min1.thm12017-02-06 12:45 691  
[ ]lattice8__1829_22.min1.thm12017-02-06 12:45 602  
[ ]lattice8__1831_22.min1.thm12017-02-06 12:45 831  
[ ]lattice8__1832_37.min1.thm12017-02-06 12:45 859  
[ ]lattice8__1833_21.min1.thm12017-02-06 12:45 705  
[ ]lattice8__1836_10.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__1838_14.min1.thm12017-02-06 12:45 518  
[ ]lattice8__1838_14.min1.thm1.tptp2017-02-06 16:47 441  
[ ]lattice8__1859_10.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__1861_52.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__1862_40.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__1863_66.min1.thm12017-02-06 12:45 646  
[ ]lattice8__1864_19.min1.thm12017-02-06 12:45 3.9K 
[ ]lattice8__1876_46.min1.thm12017-02-06 12:45 395  
[ ]lattice8__1901_42.min1.thm12017-02-06 12:45 721  
[ ]lattice8__1903_17.min1.thm12017-02-06 12:45 223  
[ ]lattice8__1906_22.min1.thm12017-02-06 12:45 399  
[ ]lattice8__1906_22.min1.thm1.tptp2017-02-06 16:47 319  
[ ]lattice8__1911_20.min1.thm12017-02-06 12:45 743  
[ ]lattice8__1913_20.min1.thm12017-02-06 12:45 642  
[ ]lattice8__1914_47.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__1915_22.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__1916_32.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__1917_25.min1.thm12017-02-06 12:45 614  
[ ]lattice8__1928_17.min1.thm12017-02-06 12:45 249  
[ ]lattice8__1931_22.min1.thm12017-02-06 12:45 425  
[ ]lattice8__1931_22.min1.thm1.tptp2017-02-06 16:47 345  
[ ]lattice8__1935_30.min1.thm12017-02-06 12:45 900  
[ ]lattice8__1937_25.min1.thm12017-02-06 12:45 786  
[ ]lattice8__1938_26.min1.thm12017-02-06 12:45 266  
[ ]lattice8__1939_30.min1.thm12017-02-06 12:45 887  
[ ]lattice8__1941_36.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice8__1942_54.min1.thm12017-02-06 12:45 882  
[ ]lattice8__1944_33.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__1945_48.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice8__1947_37.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__1951_11.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__1962_18.min1.thm12017-02-06 12:45 651  
[ ]lattice8__1965_18.min1.thm12017-02-06 12:45 651  
[ ]lattice8__1966_49.min1.thm12017-02-06 12:45 821  
[ ]lattice8__1967_30.min1.thm12017-02-06 12:45 514  
[ ]lattice8__1968_30.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__1969_21.min1.thm12017-02-06 12:45 423  
[ ]lattice8__1969_21.min1.thm1.tptp2017-02-06 16:47 349  
[ ]lattice8__1972_27.min1.thm12017-02-06 12:45 458  
[ ]lattice8__1972_27.min1.thm1.tptp2017-02-06 16:47 405  
[ ]lattice8__1981_17.min1.thm12017-02-06 12:45 651  
[ ]lattice8__1982_32.min1.thm12017-02-06 12:45 687  
[ ]lattice8__1983_38.min1.thm12017-02-06 12:45 785  
[ ]lattice8__1985_57.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__1986_16.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__1992_28.min1.thm12017-02-06 12:45 889  
[ ]lattice8__2000_38.min1.thm12017-02-06 12:45 687  
[ ]lattice8__2001_38.min1.thm12017-02-06 12:45 785  
[ ]lattice8__2004_58.min1.thm12017-02-06 12:45 421  
[ ]lattice8__2004_58.min1.thm1.tptp2017-02-06 16:47 333  
[ ]lattice8__2013_26.min1.thm12017-02-06 12:45 823  
[ ]lattice8__2014_23.min1.thm12017-02-06 12:45 647  
[ ]lattice8__2015_50.min1.thm12017-02-06 12:45 770  
[ ]lattice8__2016_42.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__2018_62.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__2019_21.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__2020_63.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2021_20.min1.thm12017-02-06 12:45 898  
[ ]lattice8__2026_55.min1.thm12017-02-06 12:45 798  
[ ]lattice8__2027_38.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__2028_74.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice8__2029_21.min1.thm12017-02-06 12:45 888  
[ ]lattice8__2031_26.min1.thm12017-02-06 12:45 565  
[ ]lattice8__2032_19.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice8__2034_21.min1.thm12017-02-06 12:45 953  
[ ]lattice8__2037_31.min1.thm12017-02-06 12:45 555  
[ ]lattice8__2042_15.min1.thm12017-02-06 12:45 405  
[ ]lattice8__2043_52.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__2052_57.min1.thm12017-02-06 12:45 806  
[ ]lattice8__2053_38.min1.thm12017-02-06 12:45 916  
[ ]lattice8__2054_71.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__2056_26.min1.thm12017-02-06 12:45 499  
[ ]lattice8__2056_26.min1.thm1.tptp2017-02-06 16:47 417  
[ ]lattice8__2057_20.min1.thm12017-02-06 12:45 915  
[ ]lattice8__2063_14.min1.thm12017-02-06 12:45 601  
[ ]lattice8__2066_17.min1.thm12017-02-06 12:45 910  
[ ]lattice8__2067_37.min1.thm12017-02-06 12:45 692  
[ ]lattice8__2068_34.min1.thm12017-02-06 12:45 772  
[ ]lattice8__2069_21.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__2079_18.min1.thm12017-02-06 12:45 735  
[ ]lattice8__2082_18.min1.thm12017-02-06 12:45 735  
[ ]lattice8__2083_49.min1.thm12017-02-06 12:45 827  
[ ]lattice8__2084_40.min1.thm12017-02-06 12:45 695  
[ ]lattice8__2085_30.min1.thm12017-02-06 12:45 514  
[ ]lattice8__2086_40.min1.thm12017-02-06 12:45 695  
[ ]lattice8__2088_21.min1.thm12017-02-06 12:45 423  
[ ]lattice8__2088_21.min1.thm1.tptp2017-02-06 16:47 349  
[ ]lattice8__2091_53.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__2093_50.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__2094_37.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__2098_30.min1.thm12017-02-06 12:45 337  
[ ]lattice8__2098_30.min1.thm1.tptp2017-02-06 16:47 258  
[ ]lattice8__2100_13.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__2102_14.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__2102_14.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]lattice8__2146_15.min1.thm12017-02-06 12:45 404  
[ ]lattice8__2150_38.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__2151_13.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__2153_18.min1.thm12017-02-06 12:45 930  
[ ]lattice8__2155_19.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__2157_12.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice8__2159_14.min1.thm12017-02-06 12:45 625  
[ ]lattice8__2159_14.min1.thm1.tptp2017-02-06 16:47 544  
[ ]lattice8__2189_13.min1.thm12017-02-06 12:45 203  
[ ]lattice8__2197_17.min1.thm12017-02-06 12:45 691  
[ ]lattice8__2198_22.min1.thm12017-02-06 12:45 602  
[ ]lattice8__2200_22.min1.thm12017-02-06 12:45 879  
[ ]lattice8__2201_39.min1.thm12017-02-06 12:45 955  
[ ]lattice8__2212_13.min1.thm12017-02-06 12:45 229  
[ ]lattice8__2221_63.min1.thm12017-02-06 12:45 2.7K 
[ ]lattice8__2225_22.min1.thm12017-02-06 12:45 848  
[ ]lattice8__2226_27.min1.thm12017-02-06 12:45 746  
[ ]lattice8__2232_14.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__2232_14.min1.thm1.tptp2017-02-06 16:47 901  
[ ]lattice8__2255_69.min1.thm12017-02-06 12:45 746  
[ ]lattice8__2258_61.min1.thm12017-02-06 12:45 2.6K 
[ ]lattice8__2282_43.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__2288_20.min1.thm12017-02-06 12:45 939  
[ ]lattice8__2291_17.min1.thm12017-02-06 12:45 651  
[ ]lattice8__2292_32.min1.thm12017-02-06 12:45 687  
[ ]lattice8__2293_38.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__2295_61.min1.thm12017-02-06 12:45 946  
[ ]lattice8__2296_62.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2300_43.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__2301_54.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__2304_41.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__2306_15.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2307_34.min1.thm12017-02-06 12:45 866  
[ ]lattice8__2310_22.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__2317_40.min1.thm12017-02-06 12:45 439  
[ ]lattice8__2319_20.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__2322_14.min1.thm12017-02-06 12:45 554  
[ ]lattice8__2322_14.min1.thm1.tptp2017-02-06 16:47 473  
[ ]lattice8__2345_73.min1.thm12017-02-06 12:45 968  
[ ]lattice8__2348_61.min1.thm12017-02-06 12:45 2.6K 
[ ]lattice8__2373_44.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__2379_21.min1.thm12017-02-06 12:45 939  
[ ]lattice8__2382_19.min1.thm12017-02-06 12:45 651  
[ ]lattice8__2385_21.min1.thm12017-02-06 12:45 939  
[ ]lattice8__2388_19.min1.thm12017-02-06 12:45 652  
[ ]lattice8__2389_36.min1.thm12017-02-06 12:45 823  
[ ]lattice8__2390_35.min1.thm12017-02-06 12:45 866  
[ ]lattice8__2391_40.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__2396_47.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__2397_56.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__2399_24.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__2401_65.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2403_35.min1.thm12017-02-06 12:45 868  
[ ]lattice8__2404_40.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__2409_47.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__2410_56.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__2412_24.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__2414_65.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2416_15.min1.thm12017-02-06 12:45 515  
[ ]lattice8__2420_57.min1.thm12017-02-06 12:45 804  
[ ]lattice8__2423_44.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__2425_18.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2426_68.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__2436_57.min1.thm12017-02-06 12:45 804  
[ ]lattice8__2439_44.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__2441_18.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2442_68.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__2455_48.min1.thm12017-02-06 12:45 598  
[ ]lattice8__2457_21.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2461_14.min1.thm12017-02-06 12:45 554  
[ ]lattice8__2461_14.min1.thm1.tptp2017-02-06 16:47 473  
[ ]lattice8__2488_24.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2490_18.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__2491_25.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__2497_44.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2499_11.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__2503_54.min1.thm12017-02-06 12:45 2.6K 
[ ]lattice8__2507_34.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__2544_44.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__2550_20.min1.thm12017-02-06 12:45 940  
[ ]lattice8__2553_18.min1.thm12017-02-06 12:45 651  
[ ]lattice8__2556_20.min1.thm12017-02-06 12:45 940  
[ ]lattice8__2559_18.min1.thm12017-02-06 12:45 652  
[ ]lattice8__2562_20.min1.thm12017-02-06 12:45 941  
[ ]lattice8__2565_18.min1.thm12017-02-06 12:45 653  
[ ]lattice8__2566_39.min1.thm12017-02-06 12:45 958  
[ ]lattice8__2567_35.min1.thm12017-02-06 12:45 871  
[ ]lattice8__2568_40.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__2573_28.min1.thm12017-02-06 12:45 3.0K 
[ ]lattice8__2575_44.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__2576_39.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__2579_65.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2581_35.min1.thm12017-02-06 12:45 874  
[ ]lattice8__2582_40.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__2587_28.min1.thm12017-02-06 12:45 3.0K 
[ ]lattice8__2589_44.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__2590_39.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__2593_65.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2595_40.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__2600_28.min1.thm12017-02-06 12:45 3.0K 
[ ]lattice8__2602_44.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__2603_39.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__2606_65.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2608_35.min1.thm12017-02-06 12:45 873  
[ ]lattice8__2609_15.min1.thm12017-02-06 12:45 523  
[ ]lattice8__2616_19.min1.thm12017-02-06 12:45 529  
[ ]lattice8__2619_68.min1.thm12017-02-06 12:45 963  
[ ]lattice8__2621_68.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__2622_48.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__2624_22.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2625_61.min1.thm12017-02-06 12:45 824  
[ ]lattice8__2626_73.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__2639_68.min1.thm12017-02-06 12:45 962  
[ ]lattice8__2641_48.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__2643_22.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2645_73.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__2649_61.min1.thm12017-02-06 12:45 818  
[ ]lattice8__2651_61.min1.thm12017-02-06 12:45 668  
[ ]lattice8__2652_73.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__2665_57.min1.thm12017-02-06 12:45 812  
[ ]lattice8__2668_19.min1.thm12017-02-06 12:45 529  
[ ]lattice8__2671_68.min1.thm12017-02-06 12:45 962  
[ ]lattice8__2673_48.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__2675_22.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2677_73.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__2683_61.min1.thm12017-02-06 12:45 668  
[ ]lattice8__2684_73.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__2694_68.min1.thm12017-02-06 12:45 960  
[ ]lattice8__2696_68.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__2697_48.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__2699_22.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2701_73.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__2721_56.min1.thm12017-02-06 12:45 757  
[ ]lattice8__2728_14.min1.thm12017-02-06 12:45 727  
[ ]lattice8__2728_14.min1.thm1.tptp2017-02-06 16:47 650  
[ ]lattice8__2743_13.min1.thm12017-02-06 12:45 131  
[ ]lattice8__2751_11.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__2761_13.min1.thm12017-02-06 12:45 131  
[ ]lattice8__2799_25.min1.thm12017-02-06 12:45 2.6K 
[ ]lattice8__2805_28.min1.thm12017-02-06 12:45 2.7K 
[ ]lattice8__2809_28.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__2810_24.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice8__2815_54.min1.thm12017-02-06 12:45 438  
[ ]lattice8__2816_25.min1.thm12017-02-06 12:45 351  
[ ]lattice8__2818_33.min1.thm12017-02-06 12:45 558  
[ ]lattice8__2818_33.min1.thm1.tptp2017-02-06 16:47 496  
[ ]lattice8__2819_21.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice8__2821_29.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice8__2827_20.min1.thm12017-02-06 12:45 538  
[ ]lattice8__2828_30.min1.thm12017-02-06 12:45 362  
[ ]lattice8__2830_27.min1.thm12017-02-06 12:45 619  
[ ]lattice8__2831_43.min1.thm12017-02-06 12:45 712  
[ ]lattice8__2833_53.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice8__2836_11.min1.thm12017-02-06 12:45 519  
[ ]lattice8__2837_51.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__2838_23.min1.thm12017-02-06 12:45 373  
[ ]lattice8__2838_23.min1.thm1.tptp2017-02-06 16:47 296  
[ ]lattice8__2839_19.min1.thm12017-02-06 12:45 550  
[ ]lattice8__2840_62.min1.thm12017-02-06 12:45 791  
[ ]lattice8__2843_27.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__2844_20.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__2852_43.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__2855_23.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2856_11.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__2857_41.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__2860_32.min1.thm12017-02-06 12:45 580  
[ ]lattice8__2860_32.min1.thm1.tptp2017-02-06 16:47 518  
[ ]lattice8__2861_45.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__2864_23.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__2865_11.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__2916_23.min1.thm12017-02-06 12:45 252  
[ ]lattice8__2917_23.min1.thm12017-02-06 12:45 434  
[ ]lattice8__2917_23.min1.thm1.tptp2017-02-06 16:47 358  
[ ]lattice8__2939_22.min1.thm12017-02-06 12:45 518  
[ ]lattice8__2939_22.min1.thm1.tptp2017-02-06 16:47 442  
[ ]lattice8__2951_24.min1.thm12017-02-06 12:45 3.7K 
[ ]lattice8__2954_20.min1.thm12017-02-06 12:45 436  
[ ]lattice8__2954_20.min1.thm1.tptp2017-02-06 16:47 360  
[ ]lattice8__2979_16.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__2982_18.min1.thm12017-02-06 12:45 429  
[ ]lattice8__2982_18.min1.thm1.tptp2017-02-06 16:47 349  
[ ]lattice8__2991_20.min1.thm12017-02-06 12:45 392  
[ ]lattice8__2991_20.min1.thm1.tptp2017-02-06 16:47 322  
[ ]lattice8__2993_52.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__2996_55.min1.thm12017-02-06 12:45 2.4K 
[ ]lattice8__2997_21.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__3000_11.min1.thm12017-02-06 12:45 741  
[ ]lattice8__3021_16.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__3024_18.min1.thm12017-02-06 12:45 429  
[ ]lattice8__3024_18.min1.thm1.tptp2017-02-06 16:47 349  
[ ]lattice8__3036_20.min1.thm12017-02-06 12:45 392  
[ ]lattice8__3036_20.min1.thm1.tptp2017-02-06 16:47 322  
[ ]lattice8__3040_21.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__3043_12.min1.thm12017-02-06 12:45 741  
[ ]lattice8__3058_32.min1.thm12017-02-06 12:45 223  
[ ]lattice8__3070_20.min1.thm12017-02-06 12:45 802  
[ ]lattice8__3072_34.min1.thm12017-02-06 12:45 405  
[ ]lattice8__3072_34.min1.thm1.tptp2017-02-06 16:47 331  
[ ]lattice8__3075_75.min1.thm12017-02-06 12:45 502  
[ ]lattice8__3075_75.min1.thm1.tptp2017-02-06 16:47 449  
[ ]lattice8__3089_19.min1.thm12017-02-06 12:45 376  
[ ]lattice8__3089_19.min1.thm1.tptp2017-02-06 16:47 306  
[ ]lattice8__3090_19.min1.thm12017-02-06 12:45 376  
[ ]lattice8__3090_19.min1.thm1.tptp2017-02-06 16:47 306  
[ ]lattice8__3092_9.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__3093_41.min1.thm12017-02-06 12:45 2.4K 
[ ]lattice8__3096_13.min1.thm12017-02-06 12:45 613  
[ ]lattice8__3099_35.min1.thm12017-02-06 12:45 805  
[ ]lattice8__3101_71.min1.thm12017-02-06 12:45 759  
[ ]lattice8__3101_71.min1.thm1.tptp2017-02-06 16:47 711  
[ ]lattice8__3103_68.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3106_15.min1.thm12017-02-06 12:45 471  
[ ]lattice8__3118_12.min1.thm12017-02-06 12:45 664  
[ ]lattice8__3119_49.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3126_16.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3127_19.min1.thm12017-02-06 12:45 825  
[ ]lattice8__3129_30.min1.thm12017-02-06 12:45 536  
[ ]lattice8__3130_57.min1.thm12017-02-06 12:45 216  
[ ]lattice8__3142_16.min1.thm12017-02-06 12:45 612  
[ ]lattice8__3143_39.min1.thm12017-02-06 12:45 422  
[ ]lattice8__3144_20.min1.thm12017-02-06 12:45 867  
[ ]lattice8__3145_18.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3151_14.min1.thm12017-02-06 12:45 771  
[ ]lattice8__3152_19.min1.thm12017-02-06 12:45 967  
[ ]lattice8__3158_46.min1.thm12017-02-06 12:45 414  
[ ]lattice8__3164_18.min1.thm12017-02-06 12:45 376  
[ ]lattice8__3164_18.min1.thm1.tptp2017-02-06 16:47 306  
[ ]lattice8__3165_19.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice8__3167_49.min1.thm12017-02-06 12:45 377  
[ ]lattice8__3167_49.min1.thm1.tptp2017-02-06 16:47 289  
[ ]lattice8__3176_23.min1.thm12017-02-06 12:45 808  
[ ]lattice8__3177_19.min1.thm12017-02-06 12:45 559  
[ ]lattice8__3178_39.min1.thm12017-02-06 12:45 863  
[ ]lattice8__3184_20.min1.thm12017-02-06 12:45 385  
[ ]lattice8__3184_20.min1.thm1.tptp2017-02-06 16:47 315  
[ ]lattice8__3185_20.min1.thm12017-02-06 12:45 385  
[ ]lattice8__3185_20.min1.thm1.tptp2017-02-06 16:47 315  
[ ]lattice8__3186_22.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__3187_20.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__3188_33.min1.thm12017-02-06 12:45 2.4K 
[ ]lattice8__3200_19.min1.thm12017-02-06 12:45 376  
[ ]lattice8__3200_19.min1.thm1.tptp2017-02-06 16:47 306  
[ ]lattice8__3201_12.min1.thm12017-02-06 12:45 491  
[ ]lattice8__3203_23.min1.thm12017-02-06 12:45 680  
[ ]lattice8__3204_18.min1.thm12017-02-06 12:45 377  
[ ]lattice8__3204_18.min1.thm1.tptp2017-02-06 16:47 307  
[ ]lattice8__3205_22.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__3206_21.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__3207_22.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__3208_19.min1.thm12017-02-06 12:45 860  
[ ]lattice8__3216_19.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3218_19.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3219_20.min1.thm12017-02-06 12:45 802  
[ ]lattice8__3221_34.min1.thm12017-02-06 12:45 405  
[ ]lattice8__3221_34.min1.thm1.tptp2017-02-06 16:47 331  
[ ]lattice8__3223_24.min1.thm12017-02-06 12:45 408  
[ ]lattice8__3223_24.min1.thm1.tptp2017-02-06 16:47 355  
[ ]lattice8__3225_16.min1.thm12017-02-06 12:45 951  
[ ]lattice8__3226_45.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__3232_15.min1.thm12017-02-06 12:45 849  
[ ]lattice8__3234_20.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3240_19.min1.thm12017-02-06 12:45 377  
[ ]lattice8__3240_19.min1.thm1.tptp2017-02-06 16:47 307  
[ ]lattice8__3242_15.min1.thm12017-02-06 12:45 707  
[ ]lattice8__3243_15.min1.thm12017-02-06 12:45 377  
[ ]lattice8__3243_15.min1.thm1.tptp2017-02-06 16:47 307  
[ ]lattice8__3244_73.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__3246_16.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__3249_15.min1.thm12017-02-06 12:45 850  
[ ]lattice8__3251_20.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3257_19.min1.thm12017-02-06 12:45 380  
[ ]lattice8__3257_19.min1.thm1.tptp2017-02-06 16:47 310  
[ ]lattice8__3259_15.min1.thm12017-02-06 12:45 718  
[ ]lattice8__3260_15.min1.thm12017-02-06 12:45 380  
[ ]lattice8__3260_15.min1.thm1.tptp2017-02-06 16:47 310  
[ ]lattice8__3261_73.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__3263_16.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__3264_13.min1.thm12017-02-06 12:45 808  
[ ]lattice8__3268_51.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3269_27.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__3272_24.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice8__3280_13.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3281_27.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__3284_24.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice8__3294_15.min1.thm12017-02-06 12:45 853  
[ ]lattice8__3296_20.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3302_19.min1.thm12017-02-06 12:45 381  
[ ]lattice8__3302_19.min1.thm1.tptp2017-02-06 16:47 311  
[ ]lattice8__3304_15.min1.thm12017-02-06 12:45 724  
[ ]lattice8__3305_16.min1.thm12017-02-06 12:45 381  
[ ]lattice8__3305_16.min1.thm1.tptp2017-02-06 16:47 311  
[ ]lattice8__3306_73.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__3308_16.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__3309_26.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__3312_15.min1.thm12017-02-06 12:45 854  
[ ]lattice8__3314_20.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3320_19.min1.thm12017-02-06 12:45 384  
[ ]lattice8__3320_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]lattice8__3322_15.min1.thm12017-02-06 12:45 737  
[ ]lattice8__3323_16.min1.thm12017-02-06 12:45 384  
[ ]lattice8__3323_16.min1.thm1.tptp2017-02-06 16:47 314  
[ ]lattice8__3324_73.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__3326_16.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__3327_26.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__3330_15.min1.thm12017-02-06 12:45 854  
[ ]lattice8__3332_20.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3338_19.min1.thm12017-02-06 12:45 384  
[ ]lattice8__3338_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]lattice8__3340_15.min1.thm12017-02-06 12:45 737  
[ ]lattice8__3341_16.min1.thm12017-02-06 12:45 384  
[ ]lattice8__3341_16.min1.thm1.tptp2017-02-06 16:47 314  
[ ]lattice8__3342_73.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__3344_16.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__3345_26.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__3346_13.min1.thm12017-02-06 12:45 817  
[ ]lattice8__3353_17.min1.thm12017-02-06 12:45 827  
[ ]lattice8__3358_26.min1.thm12017-02-06 12:45 476  
[ ]lattice8__3361_8.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__3375_9.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__3392_17.min1.thm12017-02-06 12:45 823  
[ ]lattice8__3397_26.min1.thm12017-02-06 12:45 476  
[ ]lattice8__3400_6.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__3414_5.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__3431_14.min1.thm12017-02-06 12:45 853  
[ ]lattice8__3433_19.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3439_15.min1.thm12017-02-06 12:45 381  
[ ]lattice8__3439_15.min1.thm1.tptp2017-02-06 16:47 311  
[ ]lattice8__3440_73.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__3442_16.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__3443_18.min1.thm12017-02-06 12:45 381  
[ ]lattice8__3443_18.min1.thm1.tptp2017-02-06 16:47 311  
[ ]lattice8__3444_46.min1.thm12017-02-06 12:45 804  
[ ]lattice8__3445_25.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice8__3448_20.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__3450_17.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__3471_68.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3474_15.min1.thm12017-02-06 12:45 471  
[ ]lattice8__3477_14.min1.thm12017-02-06 12:45 773  
[ ]lattice8__3479_19.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3485_19.min1.thm12017-02-06 12:45 372  
[ ]lattice8__3485_19.min1.thm1.tptp2017-02-06 16:47 302  
[ ]lattice8__3487_15.min1.thm12017-02-06 12:45 685  
[ ]lattice8__3488_16.min1.thm12017-02-06 12:45 372  
[ ]lattice8__3488_16.min1.thm1.tptp2017-02-06 16:47 302  
[ ]lattice8__3489_71.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__3491_16.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3492_22.min1.thm12017-02-06 12:45 372  
[ ]lattice8__3492_22.min1.thm1.tptp2017-02-06 16:47 302  
[ ]lattice8__3495_17.min1.thm12017-02-06 12:45 476  
[ ]lattice8__3496_19.min1.thm12017-02-06 12:45 372  
[ ]lattice8__3496_19.min1.thm1.tptp2017-02-06 16:47 302  
[ ]lattice8__3499_17.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3502_15.min1.thm12017-02-06 12:45 774  
[ ]lattice8__3504_20.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3510_19.min1.thm12017-02-06 12:45 372  
[ ]lattice8__3510_19.min1.thm1.tptp2017-02-06 16:47 302  
[ ]lattice8__3512_15.min1.thm12017-02-06 12:45 686  
[ ]lattice8__3513_16.min1.thm12017-02-06 12:45 372  
[ ]lattice8__3513_16.min1.thm1.tptp2017-02-06 16:47 302  
[ ]lattice8__3514_71.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__3516_16.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3517_22.min1.thm12017-02-06 12:45 372  
[ ]lattice8__3517_22.min1.thm1.tptp2017-02-06 16:47 302  
[ ]lattice8__3520_17.min1.thm12017-02-06 12:45 476  
[ ]lattice8__3521_19.min1.thm12017-02-06 12:45 372  
[ ]lattice8__3521_19.min1.thm1.tptp2017-02-06 16:47 302  
[ ]lattice8__3524_17.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3525_11.min1.thm12017-02-06 12:45 794  
[ ]lattice8__3530_8.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3531_24.min1.thm12017-02-06 12:45 571  
[ ]lattice8__3533_58.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__3534_25.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__3542_25.min1.thm12017-02-06 12:45 572  
[ ]lattice8__3543_58.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__3545_29.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__3556_49.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3557_24.min1.thm12017-02-06 12:45 571  
[ ]lattice8__3559_58.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__3560_25.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__3568_25.min1.thm12017-02-06 12:45 572  
[ ]lattice8__3569_58.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__3571_29.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice8__3587_16.min1.thm12017-02-06 12:45 773  
[ ]lattice8__3588_51.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__3589_17.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__3598_12.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__3599_16.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__3600_42.min1.thm12017-02-06 12:45 935  
[ ]lattice8__3601_17.min1.thm12017-02-06 12:45 645  
[ ]lattice8__3628_37.min1.thm12017-02-06 12:45 2.8K 
[ ]lattice8__3631_15.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice8__3634_16.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice8__3635_35.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__3636_32.min1.thm12017-02-06 12:45 436  
[ ]lattice8__3636_32.min1.thm1.tptp2017-02-06 16:47 348  
[ ]lattice8__3654_15.min1.thm12017-02-06 12:45 644  
[ ]lattice8__3670_16.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__3698_17.min1.thm12017-02-06 12:45 852  
[ ]lattice8__3699_18.min1.thm12017-02-06 12:45 644  
[ ]lattice8__3700_18.min1.thm12017-02-06 12:45 644  
[ ]lattice8__3701_18.min1.thm12017-02-06 12:45 644  
[ ]lattice8__3708_15.min1.thm12017-02-06 12:45 769  
[ ]lattice8__3709_16.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__3712_21.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__3713_21.min1.thm12017-02-06 12:45 624  
[ ]lattice8__3717_22.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__3718_21.min1.thm12017-02-06 12:45 624  
[ ]lattice8__3722_22.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__3723_21.min1.thm12017-02-06 12:45 624  
[ ]lattice8__3727_21.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__3728_21.min1.thm12017-02-06 12:45 624  
[ ]lattice8__3731_43.min1.thm12017-02-06 12:45 635  
[ ]lattice8__3732_15.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__3733_50.min1.thm12017-02-06 12:45 934  
[ ]lattice8__3734_15.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__3741_16.min1.thm12017-02-06 12:45 805  
[ ]lattice8__3744_22.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__3752_37.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3754_39.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__3755_28.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__3759_11.min1.thm12017-02-06 12:45 330  
[ ]lattice8__3760_16.min1.thm12017-02-06 12:45 894  
[ ]lattice8__3765_22.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__3769_11.min1.thm12017-02-06 12:45 330  
[ ]lattice8__3770_18.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__3777_11.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__3791_13.min1.thm12017-02-06 12:45 408  
[ ]lattice8__3791_13.min1.thm1.tptp2017-02-06 16:47 338  
[ ]lattice8__3792_17.min1.thm12017-02-06 12:45 928  
[ ]lattice8__3793_37.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3800_38.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3813_21.min1.thm12017-02-06 12:45 544  
[ ]lattice8__3813_21.min1.thm1.tptp2017-02-06 16:47 474  
[ ]lattice8__3816_22.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__3819_56.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__3826_21.min1.thm12017-02-06 12:45 544  
[ ]lattice8__3826_21.min1.thm1.tptp2017-02-06 16:47 474  
[ ]lattice8__3833_16.min1.thm12017-02-06 12:45 650  
[ ]lattice8__3836_54.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__3842_16.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__3850_20.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__3878_18.min1.thm12017-02-06 12:45 878  
[ ]lattice8__3879_19.min1.thm12017-02-06 12:45 651  
[ ]lattice8__3880_19.min1.thm12017-02-06 12:45 651  
[ ]lattice8__3882_16.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__3883_19.min1.thm12017-02-06 12:45 651  
[ ]lattice8__3890_20.min1.thm12017-02-06 12:45 709  
[ ]lattice8__3895_33.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__3902_41.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice8__3904_43.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__3905_31.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__3907_33.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__3914_33.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice8__3918_16.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__3919_23.min1.thm12017-02-06 12:45 943  
[ ]lattice8__3924_21.min1.thm12017-02-06 12:45 544  
[ ]lattice8__3924_21.min1.thm1.tptp2017-02-06 16:47 474  
[ ]lattice8__3927_22.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__3930_56.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__3938_24.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__3941_24.min1.thm12017-02-06 12:45 3.7K 
[ ]lattice8__3944_23.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__3947_67.min1.thm12017-02-06 12:45 2.9K 
[ ]lattice8__3949_32.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__3956_24.min1.thm12017-02-06 12:45 439  
[ ]lattice8__3956_24.min1.thm1.tptp2017-02-06 16:47 374  
[ ]lattice8__3968_32.min1.thm12017-02-06 12:45 854  
[ ]lattice8__3989_17.min1.thm12017-02-06 12:45 2.6K 
[ ]lattice8__3993_30.min1.thm12017-02-06 12:45 400  
[ ]lattice8__3995_35.min1.thm12017-02-06 12:45 668  
[ ]lattice8__3995_35.min1.thm1.tptp2017-02-06 16:47 606  
[ ]lattice8__3998_40.min1.thm12017-02-06 12:45 2.8K 
[ ]lattice8__4000_32.min1.thm12017-02-06 12:45 588  
[ ]lattice8__4003_50.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__4004_38.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__4007_24.min1.thm12017-02-06 12:45 743  
[ ]lattice8__4008_27.min1.thm12017-02-06 12:45 683  
[ ]lattice8__4009_28.min1.thm12017-02-06 12:45 389  
[ ]lattice8__4010_37.min1.thm12017-02-06 12:45 646  
[ ]lattice8__4010_37.min1.thm1.tptp2017-02-06 16:47 584  
[ ]lattice8__4011_58.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__4021_47.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__4031_18.min1.thm12017-02-06 12:45 815  
[ ]lattice8__4031_18.min1.thm1.tptp2017-02-06 16:47 746  
[ ]lattice8__4034_16.min1.thm12017-02-06 12:45 398  
[ ]lattice8__4035_49.min1.thm12017-02-06 12:45 819  
[ ]lattice8__4036_20.min1.thm12017-02-06 12:45 771  
[ ]lattice8__4040_14.min1.thm12017-02-06 12:45 685  
[ ]lattice8__4040_14.min1.thm1.tptp2017-02-06 16:47 608  
[ ]lattice8__4049_15.min1.thm12017-02-06 12:45 411  
[ ]lattice8__4049_15.min1.thm1.tptp2017-02-06 16:47 341  
[ ]lattice8__4051_15.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice8__4057_15.min1.thm12017-02-06 12:45 411  
[ ]lattice8__4057_15.min1.thm1.tptp2017-02-06 16:47 341  
[ ]lattice8__4058_19.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice8__4059_32.min1.thm12017-02-06 12:45 487  
[ ]lattice8__4059_32.min1.thm1.tptp2017-02-06 16:47 419  
[ ]lattice8__4066_18.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__4067_37.min1.thm12017-02-06 12:45 222  
[ ]lattice8__4069_48.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__4072_44.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__4072_44.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]lattice8__4084_16.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice8__4085_37.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice8__4099_24.min1.thm12017-02-06 12:45 439  
[ ]lattice8__4099_24.min1.thm1.tptp2017-02-06 16:47 374  
[ ]lattice8__4111_32.min1.thm12017-02-06 12:45 854  
[ ]lattice8__4132_17.min1.thm12017-02-06 12:45 2.6K 
[ ]lattice8__4136_30.min1.thm12017-02-06 12:45 400  
[ ]lattice8__4138_35.min1.thm12017-02-06 12:45 668  
[ ]lattice8__4138_35.min1.thm1.tptp2017-02-06 16:47 606  
[ ]lattice8__4141_40.min1.thm12017-02-06 12:45 2.9K 
[ ]lattice8__4143_32.min1.thm12017-02-06 12:45 588  
[ ]lattice8__4146_50.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__4147_38.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__4150_25.min1.thm12017-02-06 12:45 743  
[ ]lattice8__4151_28.min1.thm12017-02-06 12:45 683  
[ ]lattice8__4152_29.min1.thm12017-02-06 12:45 389  
[ ]lattice8__4153_37.min1.thm12017-02-06 12:45 646  
[ ]lattice8__4153_37.min1.thm1.tptp2017-02-06 16:47 584  
[ ]lattice8__4154_58.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice8__4164_47.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice8__4183_23.min1.thm12017-02-06 12:45 701  
[ ]lattice8__4183_23.min1.thm1.tptp2017-02-06 16:47 654  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80