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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comput_1__58_18.min1.thm12017-02-06 12:45 585  
[ ]comput_1__61_18.min1.thm12017-02-06 12:45 585  
[ ]comput_1__64_22.min1.thm12017-02-06 12:45 571  
[ ]comput_1__67_14.min1.thm12017-02-06 12:45 809  
[ ]comput_1__68_14.min1.thm12017-02-06 12:45 970  
[ ]comput_1__69_35.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__70_21.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__72_14.min1.thm12017-02-06 12:45 811  
[ ]comput_1__73_14.min1.thm12017-02-06 12:45 971  
[ ]comput_1__74_17.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__83_29.min1.thm12017-02-06 12:45 443  
[ ]comput_1__83_29.min1.thm1.tptp2017-02-06 16:48 376  
[ ]comput_1__84_29.min1.thm12017-02-06 12:45 443  
[ ]comput_1__84_29.min1.thm1.tptp2017-02-06 16:48 376  
[ ]comput_1__85_29.min1.thm12017-02-06 12:45 443  
[ ]comput_1__85_29.min1.thm1.tptp2017-02-06 16:48 376  
[ ]comput_1__87_34.min1.thm12017-02-06 12:45 445  
[ ]comput_1__87_34.min1.thm1.tptp2017-02-06 16:48 378  
[ ]comput_1__88_34.min1.thm12017-02-06 12:45 851  
[ ]comput_1__92_13.min1.thm12017-02-06 12:45 198  
[ ]comput_1__95_31.min1.thm12017-02-06 12:45 636  
[ ]comput_1__96_26.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__100_33.min1.thm12017-02-06 12:45 578  
[ ]comput_1__101_26.min1.thm12017-02-06 12:45 724  
[ ]comput_1__102_17.min1.thm12017-02-06 12:45 578  
[ ]comput_1__103_26.min1.thm12017-02-06 12:45 578  
[ ]comput_1__113_11.min1.thm12017-02-06 12:45 240  
[ ]comput_1__120_18.min1.thm12017-02-06 12:45 2.2K 
[ ]comput_1__121_37.min1.thm12017-02-06 12:45 464  
[ ]comput_1__122_29.min1.thm12017-02-06 12:45 966  
[ ]comput_1__127_34.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__134_15.min1.thm12017-02-06 12:45 895  
[ ]comput_1__135_15.min1.thm12017-02-06 12:45 236  
[ ]comput_1__138_49.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__139_19.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__140_26.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__145_18.min1.thm12017-02-06 12:45 725  
[ ]comput_1__148_23.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__156_19.min1.thm12017-02-06 12:45 833  
[ ]comput_1__168_21.min1.thm12017-02-06 12:45 962  
[ ]comput_1__169_21.min1.thm12017-02-06 12:45 962  
[ ]comput_1__170_24.min1.thm12017-02-06 12:45 777  
[ ]comput_1__171_24.min1.thm12017-02-06 12:45 777  
[ ]comput_1__172_11.min1.thm12017-02-06 12:45 240  
[ ]comput_1__175_32.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__177_26.min1.thm12017-02-06 12:45 240  
[ ]comput_1__178_16.min1.thm12017-02-06 12:45 783  
[ ]comput_1__180_20.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__181_39.min1.thm12017-02-06 12:45 472  
[ ]comput_1__187_15.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__188_15.min1.thm12017-02-06 12:45 236  
[ ]comput_1__191_27.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__192_20.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__193_19.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__194_20.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__199_18.min1.thm12017-02-06 12:45 725  
[ ]comput_1__201_24.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__202_23.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__210_18.min1.thm12017-02-06 12:45 777  
[ ]comput_1__225_15.min1.thm12017-02-06 12:45 505  
[ ]comput_1__225_15.min1.thm1.tptp2017-02-06 16:48 449  
[ ]comput_1__226_15.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__227_24.min1.thm12017-02-06 12:45 409  
[ ]comput_1__231_13.min1.thm12017-02-06 12:45 331  
[ ]comput_1__231_13.min1.thm1.tptp2017-02-06 16:48 266  
[ ]comput_1__232_31.min1.thm12017-02-06 12:45 784  
[ ]comput_1__233_19.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__245_26.min1.thm12017-02-06 12:45 416  
[ ]comput_1__253_30.min1.thm12017-02-06 12:45 487  
[ ]comput_1__253_30.min1.thm1.tptp2017-02-06 16:48 418  
[ ]comput_1__254_25.min1.thm12017-02-06 12:45 550  
[ ]comput_1__259_36.min1.thm12017-02-06 12:45 759  
[ ]comput_1__261_22.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__262_25.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__263_17.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__270_28.min1.thm12017-02-06 12:45 538  
[ ]comput_1__270_28.min1.thm1.tptp2017-02-06 16:48 478  
[ ]comput_1__279_24.min1.thm12017-02-06 12:45 878  
[ ]comput_1__280_44.min1.thm12017-02-06 12:45 831  
[ ]comput_1__282_30.min1.thm12017-02-06 12:45 823  
[ ]comput_1__283_33.min1.thm12017-02-06 12:45 1.9K 
[ ]comput_1__286_29.min1.thm12017-02-06 12:45 836  
[ ]comput_1__288_16.min1.thm12017-02-06 12:45 551  
[ ]comput_1__292_26.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__312_46.min1.thm12017-02-06 12:45 557  
[ ]comput_1__313_14.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__322_31.min1.thm12017-02-06 12:45 434  
[ ]comput_1__323_17.min1.thm12017-02-06 12:45 450  
[ ]comput_1__347_13.min1.thm12017-02-06 12:45 351  
[ ]comput_1__347_13.min1.thm1.tptp2017-02-06 16:48 286  
[ ]comput_1__348_21.min1.thm12017-02-06 12:45 695  
[ ]comput_1__350_16.min1.thm12017-02-06 12:45 670  
[ ]comput_1__367_15.min1.thm12017-02-06 12:45 595  
[ ]comput_1__370_15.min1.thm12017-02-06 12:45 595  
[ ]comput_1__371_36.min1.thm12017-02-06 12:45 733  
[ ]comput_1__372_19.min1.thm12017-02-06 12:45 638  
[ ]comput_1__374_17.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__375_19.min1.thm12017-02-06 12:45 638  
[ ]comput_1__377_17.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__378_28.min1.thm12017-02-06 12:45 598  
[ ]comput_1__379_22.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__380_21.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__386_47.min1.thm12017-02-06 12:45 431  
[ ]comput_1__386_47.min1.thm1.tptp2017-02-06 16:48 376  
[ ]comput_1__387_21.min1.thm12017-02-06 12:45 880  
[ ]comput_1__409_28.min1.thm12017-02-06 12:45 658  
[ ]comput_1__410_28.min1.thm12017-02-06 12:45 658  
[ ]comput_1__417_28.min1.thm12017-02-06 12:45 494  
[ ]comput_1__418_23.min1.thm12017-02-06 12:45 695  
[ ]comput_1__420_21.min1.thm12017-02-06 12:45 331  
[ ]comput_1__420_21.min1.thm1.tptp2017-02-06 16:48 243  
[ ]comput_1__431_19.min1.thm12017-02-06 12:45 567  
[ ]comput_1__433_20.min1.thm12017-02-06 12:45 613  
[ ]comput_1__434_26.min1.thm12017-02-06 12:45 646  
[ ]comput_1__435_19.min1.thm12017-02-06 12:45 474  
[ ]comput_1__435_19.min1.thm1.tptp2017-02-06 16:48 412  
[ ]comput_1__437_20.min1.thm12017-02-06 12:45 613  
[ ]comput_1__438_26.min1.thm12017-02-06 12:45 648  
[ ]comput_1__441_22.min1.thm12017-02-06 12:45 874  
[ ]comput_1__442_17.min1.thm12017-02-06 12:45 951  
[ ]comput_1__445_14.min1.thm12017-02-06 12:45 567  
[ ]comput_1__445_14.min1.thm1.tptp2017-02-06 16:48 510  
[ ]comput_1__460_15.min1.thm12017-02-06 12:45 351  
[ ]comput_1__460_15.min1.thm1.tptp2017-02-06 16:48 286  
[ ]comput_1__461_21.min1.thm12017-02-06 12:45 695  
[ ]comput_1__465_15.min1.thm12017-02-06 12:45 518  
[ ]comput_1__466_36.min1.thm12017-02-06 12:45 613  
[ ]comput_1__469_19.min1.thm12017-02-06 12:45 526  
[ ]comput_1__484_25.min1.thm12017-02-06 12:45 623  
[ ]comput_1__487_15.min1.thm12017-02-06 12:45 579  
[ ]comput_1__488_37.min1.thm12017-02-06 12:45 338  
[ ]comput_1__488_37.min1.thm1.tptp2017-02-06 16:48 260  
[ ]comput_1__489_16.min1.thm12017-02-06 12:45 614  
[ ]comput_1__490_19.min1.thm12017-02-06 12:45 613  
[ ]comput_1__491_27.min1.thm12017-02-06 12:45 541  
[ ]comput_1__496_13.min1.thm12017-02-06 12:45 447  
[ ]comput_1__496_13.min1.thm1.tptp2017-02-06 16:48 392  
[ ]comput_1__499_24.min1.thm12017-02-06 12:45 617  
[ ]comput_1__501_18.min1.thm12017-02-06 12:45 672  
[ ]comput_1__502_24.min1.thm12017-02-06 12:45 860  
[ ]comput_1__503_29.min1.thm12017-02-06 12:45 543  
[ ]comput_1__505_17.min1.thm12017-02-06 12:45 567  
[ ]comput_1__505_17.min1.thm1.tptp2017-02-06 16:48 515  
[ ]comput_1__520_17.min1.thm12017-02-06 12:45 597  
[ ]comput_1__521_24.min1.thm12017-02-06 12:45 622  
[ ]comput_1__522_19.min1.thm12017-02-06 12:45 541  
[ ]comput_1__527_17.min1.thm12017-02-06 12:45 589  
[ ]comput_1__528_22.min1.thm12017-02-06 12:45 610  
[ ]comput_1__529_26.min1.thm12017-02-06 12:45 798  
[ ]comput_1__530_13.min1.thm12017-02-06 12:45 649  
[ ]comput_1__544_25.min1.thm12017-02-06 12:45 625  
[ ]comput_1__547_15.min1.thm12017-02-06 12:45 579  
[ ]comput_1__548_37.min1.thm12017-02-06 12:45 338  
[ ]comput_1__548_37.min1.thm1.tptp2017-02-06 16:48 260  
[ ]comput_1__549_16.min1.thm12017-02-06 12:45 616  
[ ]comput_1__550_19.min1.thm12017-02-06 12:45 615  
[ ]comput_1__551_27.min1.thm12017-02-06 12:45 543  
[ ]comput_1__556_13.min1.thm12017-02-06 12:45 447  
[ ]comput_1__556_13.min1.thm1.tptp2017-02-06 16:48 392  
[ ]comput_1__559_24.min1.thm12017-02-06 12:45 619  
[ ]comput_1__562_24.min1.thm12017-02-06 12:45 860  
[ ]comput_1__563_29.min1.thm12017-02-06 12:45 545  
[ ]comput_1__586_36.min1.thm12017-02-06 12:45 691  
[ ]comput_1__594_13.min1.thm12017-02-06 12:45 511  
[ ]comput_1__594_13.min1.thm1.tptp2017-02-06 16:48 456  
[ ]comput_1__598_17.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__599_19.min1.thm12017-02-06 12:45 926  
[ ]comput_1__608_13.min1.thm12017-02-06 12:45 511  
[ ]comput_1__608_13.min1.thm1.tptp2017-02-06 16:48 456  
[ ]comput_1__610_19.min1.thm12017-02-06 12:45 2.2K 
[ ]comput_1__612_17.min1.thm12017-02-06 12:45 793  
[ ]comput_1__627_25.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__628_15.min1.thm12017-02-06 12:45 461  
[ ]comput_1__645_35.min1.thm12017-02-06 12:45 793  
[ ]comput_1__654_39.min1.thm12017-02-06 12:45 515  
[ ]comput_1__664_23.min1.thm12017-02-06 12:45 539  
[ ]comput_1__675_15.min1.thm12017-02-06 12:45 939  
[ ]comput_1__684_24.min1.thm12017-02-06 12:45 578  
[ ]comput_1__685_40.min1.thm12017-02-06 12:45 751  
[ ]comput_1__695_40.min1.thm12017-02-06 12:45 531  
[ ]comput_1__697_36.min1.thm12017-02-06 12:45 844  
[ ]comput_1__728_41.min1.thm12017-02-06 12:45 737  
[ ]comput_1__734_16.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__735_29.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__736_19.min1.thm12017-02-06 12:45 1.6K 
[ ]comput_1__754_46.min1.thm12017-02-06 12:45 437  
[ ]comput_1__754_46.min1.thm1.tptp2017-02-06 16:48 359  
[ ]comput_1__769_11.min1.thm12017-02-06 12:45 719  
[ ]comput_1__791_19.min1.thm12017-02-06 12:45 497  
[ ]comput_1__791_19.min1.thm1.tptp2017-02-06 16:48 420  
[ ]comput_1__792_15.min1.thm12017-02-06 12:45 643  
[ ]comput_1__793_52.min1.thm12017-02-06 12:45 965  
[ ]comput_1__797_14.min1.thm12017-02-06 12:45 792  
[ ]comput_1__803_43.min1.thm12017-02-06 12:45 815  
[ ]comput_1__804_17.min1.thm12017-02-06 12:45 2.2K 
[ ]comput_1__812_21.min1.thm12017-02-06 12:45 353  
[ ]comput_1__812_21.min1.thm1.tptp2017-02-06 16:48 288  
[ ]comput_1__824_11.min1.thm12017-02-06 12:45 191  
[ ]comput_1__830_27.min1.thm12017-02-06 12:45 339  
[ ]comput_1__830_27.min1.thm1.tptp2017-02-06 16:48 260  
[ ]comput_1__831_19.min1.thm12017-02-06 12:45 2.3K 
[ ]comput_1__835_43.min1.thm12017-02-06 12:45 228  
[ ]comput_1__838_51.min1.thm12017-02-06 12:45 551  
[ ]comput_1__853_50.min1.thm12017-02-06 12:45 500  
[ ]comput_1__862_37.min1.thm12017-02-06 12:45 671  
[ ]comput_1__862_37.min1.thm1.tptp2017-02-06 16:48 600  
[ ]comput_1__866_65.min1.thm12017-02-06 12:45 678  
[ ]comput_1__866_65.min1.thm1.tptp2017-02-06 16:48 588  
[ ]comput_1__868_18.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__890_49.min1.thm12017-02-06 12:45 624  
[ ]comput_1__901_11.min1.thm12017-02-06 12:45 191  
[ ]comput_1__904_15.min1.thm12017-02-06 12:45 953  
[ ]comput_1__905_19.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__909_19.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__918_39.min1.thm12017-02-06 12:45 673  
[ ]comput_1__918_39.min1.thm1.tptp2017-02-06 16:48 596  
[ ]comput_1__923_10.min1.thm12017-02-06 12:45 931  
[ ]comput_1__925_18.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__947_51.min1.thm12017-02-06 12:45 609  
[ ]comput_1__959_17.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__965_15.min1.thm12017-02-06 12:45 394  
[ ]comput_1__965_15.min1.thm1.tptp2017-02-06 16:48 308  
[ ]comput_1__975_25.min1.thm12017-02-06 12:45 677  
[ ]comput_1__980_57.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__981_15.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1003_18.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__1013_15.min1.thm12017-02-06 12:45 408  
[ ]comput_1__1018_43.min1.thm12017-02-06 12:45 883  
[ ]comput_1__1020_15.min1.thm12017-02-06 12:45 488  
[ ]comput_1__1040_15.min1.thm12017-02-06 12:45 295  
[ ]comput_1__1045_22.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__1048_27.min1.thm12017-02-06 12:45 525  
[ ]comput_1__1052_27.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1060_22.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__1063_27.min1.thm12017-02-06 12:45 525  
[ ]comput_1__1067_27.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1074_22.min1.thm12017-02-06 12:45 614  
[ ]comput_1__1076_18.min1.thm12017-02-06 12:45 763  
[ ]comput_1__1084_22.min1.thm12017-02-06 12:45 614  
[ ]comput_1__1085_23.min1.thm12017-02-06 12:45 764  
[ ]comput_1__1091_15.min1.thm12017-02-06 12:45 485  
[ ]comput_1__1100_26.min1.thm12017-02-06 12:45 618  
[ ]comput_1__1103_24.min1.thm12017-02-06 12:45 661  
[ ]comput_1__1105_15.min1.thm12017-02-06 12:45 342  
[ ]comput_1__1107_13.min1.thm12017-02-06 12:45 131  
[ ]comput_1__1115_13.min1.thm12017-02-06 12:45 809  
[ ]comput_1__1116_60.min1.thm12017-02-06 12:45 506  
[ ]comput_1__1117_17.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1129_32.min1.thm12017-02-06 12:45 474  
[ ]comput_1__1130_33.min1.thm12017-02-06 12:45 770  
[ ]comput_1__1132_26.min1.thm12017-02-06 12:45 347  
[ ]comput_1__1132_26.min1.thm1.tptp2017-02-06 16:48 267  
[ ]comput_1__1135_74.min1.thm12017-02-06 12:45 592  
[ ]comput_1__1135_74.min1.thm1.tptp2017-02-06 16:48 532  
[ ]comput_1__1136_18.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1138_49.min1.thm12017-02-06 12:45 352  
[ ]comput_1__1141_12.min1.thm12017-02-06 12:45 485  
[ ]comput_1__1142_74.min1.thm12017-02-06 12:45 672  
[ ]comput_1__1143_34.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1153_38.min1.thm12017-02-06 12:45 527  
[ ]comput_1__1155_64.min1.thm12017-02-06 12:45 900  
[ ]comput_1__1156_14.min1.thm12017-02-06 12:45 469  
[ ]comput_1__1166_14.min1.thm12017-02-06 12:45 590  
[ ]comput_1__1167_46.min1.thm12017-02-06 12:45 642  
[ ]comput_1__1169_27.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__1175_18.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__1176_35.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__1180_17.min1.thm12017-02-06 12:45 671  
[ ]comput_1__1181_18.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__1192_17.min1.thm12017-02-06 12:45 710  
[ ]comput_1__1193_72.min1.thm12017-02-06 12:45 651  
[ ]comput_1__1194_16.min1.thm12017-02-06 12:45 365  
[ ]comput_1__1201_11.min1.thm12017-02-06 12:45 728  
[ ]comput_1__1209_19.min1.thm12017-02-06 12:45 497  
[ ]comput_1__1209_19.min1.thm1.tptp2017-02-06 16:48 420  
[ ]comput_1__1210_15.min1.thm12017-02-06 12:45 643  
[ ]comput_1__1211_35.min1.thm12017-02-06 12:45 965  
[ ]comput_1__1213_71.min1.thm12017-02-06 12:45 802  
[ ]comput_1__1222_45.min1.thm12017-02-06 12:45 675  
[ ]comput_1__1222_45.min1.thm1.tptp2017-02-06 16:48 598  
[ ]comput_1__1231_14.min1.thm12017-02-06 12:45 518  
[ ]comput_1__1251_35.min1.thm12017-02-06 12:45 2.0K 
[ ]comput_1__1252_28.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__1258_51.min1.thm12017-02-06 12:45 533  
[ ]comput_1__1271_26.min1.thm12017-02-06 12:45 640  
[ ]comput_1__1286_19.min1.thm12017-02-06 12:45 760  
[ ]comput_1__1287_15.min1.thm12017-02-06 12:45 906  
[ ]comput_1__1290_14.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1299_38.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__1306_18.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__1307_43.min1.thm12017-02-06 12:45 617  
[ ]comput_1__1308_21.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1319_38.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__1321_65.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1323_25.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__1329_11.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1346_30.min1.thm12017-02-06 12:45 640  
[ ]comput_1__1354_41.min1.thm12017-02-06 12:45 725  
[ ]comput_1__1356_73.min1.thm12017-02-06 12:45 610  
[ ]comput_1__1361_24.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__1363_23.min1.thm12017-02-06 12:45 2.5K 
[ ]comput_1__1364_20.min1.thm12017-02-06 12:45 1.9K 
[ ]comput_1__1377_31.min1.thm12017-02-06 12:45 686  
[ ]comput_1__1378_19.min1.thm12017-02-06 12:45 686  
[ ]comput_1__1389_19.min1.thm12017-02-06 12:45 760  
[ ]comput_1__1390_15.min1.thm12017-02-06 12:45 906  
[ ]comput_1__1393_14.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1401_39.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1408_18.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__1409_45.min1.thm12017-02-06 12:45 617  
[ ]comput_1__1410_21.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1412_19.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__1420_26.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1422_37.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1424_65.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1426_24.min1.thm12017-02-06 12:45 442  
[ ]comput_1__1426_24.min1.thm1.tptp2017-02-06 16:48 356  
[ ]comput_1__1437_27.min1.thm12017-02-06 12:45 959  
[ ]comput_1__1448_42.min1.thm12017-02-06 12:45 748  
[ ]comput_1__1450_23.min1.thm12017-02-06 12:45 2.2K 
[ ]comput_1__1458_29.min1.thm12017-02-06 12:45 902  
[ ]comput_1__1461_16.min1.thm12017-02-06 12:45 1.9K 
[ ]comput_1__1470_19.min1.thm12017-02-06 12:45 760  
[ ]comput_1__1471_15.min1.thm12017-02-06 12:45 906  
[ ]comput_1__1474_14.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1483_25.min1.thm12017-02-06 12:45 955  
[ ]comput_1__1497_44.min1.thm12017-02-06 12:45 320  
[ ]comput_1__1497_44.min1.thm1.tptp2017-02-06 16:48 242  
[ ]comput_1__1499_17.min1.thm12017-02-06 12:45 854  
[ ]comput_1__1513_39.min1.thm12017-02-06 12:45 678  
[ ]comput_1__1520_16.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__1521_45.min1.thm12017-02-06 12:45 617  
[ ]comput_1__1522_21.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1524_19.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__1532_27.min1.thm12017-02-06 12:45 689  
[ ]comput_1__1534_39.min1.thm12017-02-06 12:45 674  
[ ]comput_1__1536_65.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1538_24.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__1546_37.min1.thm12017-02-06 12:45 674  
[ ]comput_1__1553_11.min1.thm12017-02-06 12:45 486  
[ ]comput_1__1570_26.min1.thm12017-02-06 12:45 866  
[ ]comput_1__1572_21.min1.thm12017-02-06 12:45 876  
[ ]comput_1__1574_74.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__1583_16.min1.thm12017-02-06 12:45 598  
[ ]comput_1__1584_21.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1587_14.min1.thm12017-02-06 12:45 447  
[ ]comput_1__1587_14.min1.thm1.tptp2017-02-06 16:48 392  
[ ]comput_1__1590_26.min1.thm12017-02-06 12:45 617  
[ ]comput_1__1591_15.min1.thm12017-02-06 12:45 481  
[ ]comput_1__1592_26.min1.thm12017-02-06 12:45 867  
[ ]comput_1__1594_21.min1.thm12017-02-06 12:45 939  
[ ]comput_1__1595_19.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__1596_18.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__1603_26.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1606_15.min1.thm12017-02-06 12:45 447  
[ ]comput_1__1606_15.min1.thm1.tptp2017-02-06 16:48 392  
[ ]comput_1__1609_26.min1.thm12017-02-06 12:45 617  
[ ]comput_1__1613_37.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1614_35.min1.thm12017-02-06 12:45 590  
[ ]comput_1__1614_35.min1.thm1.tptp2017-02-06 16:48 509  
[ ]comput_1__1617_26.min1.thm12017-02-06 12:45 629  
[ ]comput_1__1618_23.min1.thm12017-02-06 12:45 531  
[ ]comput_1__1619_45.min1.thm12017-02-06 12:45 719  
[ ]comput_1__1625_71.min1.thm12017-02-06 12:45 697  
[ ]comput_1__1628_20.min1.thm12017-02-06 12:45 249  
[ ]comput_1__1629_18.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__1649_8.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__1653_14.min1.thm12017-02-06 12:45 946  
[ ]comput_1__1654_15.min1.thm12017-02-06 12:45 380  
[ ]comput_1__1655_23.min1.thm12017-02-06 12:45 775  
[ ]comput_1__1657_57.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__1669_39.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1670_20.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__1677_16.min1.thm12017-02-06 12:45 714  
[ ]comput_1__1679_38.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__1693_19.min1.thm12017-02-06 12:45 808  
[ ]comput_1__1700_19.min1.thm12017-02-06 12:45 810  
[ ]comput_1__1707_42.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1708_24.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__1710_48.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__1715_14.min1.thm12017-02-06 12:45 759  
[ ]comput_1__1726_30.min1.thm12017-02-06 12:45 895  
[ ]comput_1__1727_27.min1.thm12017-02-06 12:45 958  
[ ]comput_1__1731_22.min1.thm12017-02-06 12:45 691  
[ ]comput_1__1735_21.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1736_34.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1737_22.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__1739_19.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1740_24.min1.thm12017-02-06 12:45 727  
[ ]comput_1__1742_39.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1743_26.min1.thm12017-02-06 12:45 2.7K 
[ ]comput_1__1744_39.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1755_41.min1.thm12017-02-06 12:45 618  
[ ]comput_1__1768_32.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__1769_34.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1770_38.min1.thm12017-02-06 12:45 614  
[ ]comput_1__1771_49.min1.thm12017-02-06 12:45 661  
[ ]comput_1__1773_26.min1.thm12017-02-06 12:45 637  
[ ]comput_1__1774_28.min1.thm12017-02-06 12:45 2.0K 
[ ]comput_1__1775_38.min1.thm12017-02-06 12:45 2.3K 
[ ]comput_1__1776_34.min1.thm12017-02-06 12:45 732  
[ ]comput_1__1787_15.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__1799_22.min1.thm12017-02-06 12:45 609  
[ ]comput_1__1801_12.min1.thm12017-02-06 12:45 474  
[ ]comput_1__1802_58.min1.thm12017-02-06 12:45 646  
[ ]comput_1__1807_12.min1.thm12017-02-06 12:45 474  
[ ]comput_1__1808_19.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1817_20.min1.thm12017-02-06 12:45 618  
[ ]comput_1__1818_24.min1.thm12017-02-06 12:45 389  
[ ]comput_1__1818_24.min1.thm1.tptp2017-02-06 16:48 324  
[ ]comput_1__1833_17.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__1835_20.min1.thm12017-02-06 12:45 1.9K 
[ ]comput_1__1862_38.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1873_28.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1874_33.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1878_21.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1879_28.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1880_38.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__1892_28.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__1893_41.min1.thm12017-02-06 12:45 869  
[ ]comput_1__1894_28.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1897_22.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1898_30.min1.thm12017-02-06 12:45 2.1K 
[ ]comput_1__1901_46.min1.thm12017-02-06 12:45 661  
[ ]comput_1__1903_49.min1.thm12017-02-06 12:45 776  
[ ]comput_1__1904_18.min1.thm12017-02-06 12:45 1.9K 
[ ]comput_1__1906_34.min1.thm12017-02-06 12:45 904  
[ ]comput_1__1908_40.min1.thm12017-02-06 12:45 609  
[ ]comput_1__1909_37.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__1913_38.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1921_25.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1922_21.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__1923_43.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__1925_32.min1.thm12017-02-06 12:45 2.8K 
[ ]comput_1__1926_22.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1927_43.min1.thm12017-02-06 12:45 706  
[ ]comput_1__1928_49.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__1932_19.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1933_21.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1934_29.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__1936_25.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__1937_32.min1.thm12017-02-06 12:45 897  
[ ]comput_1__1938_29.min1.thm12017-02-06 12:45 960  
[ ]comput_1__1947_30.min1.thm12017-02-06 12:45 680  
[ ]comput_1__1948_19.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__1949_32.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__1950_22.min1.thm12017-02-06 12:45 637  
[ ]comput_1__1951_33.min1.thm12017-02-06 12:45 788  
[ ]comput_1__1953_21.min1.thm12017-02-06 12:45 2.2K 
[ ]comput_1__1961_41.min1.thm12017-02-06 12:45 622  
[ ]comput_1__1965_16.min1.thm12017-02-06 12:45 681  
[ ]comput_1__1979_43.min1.thm12017-02-06 12:45 468  
[ ]comput_1__1988_23.min1.thm12017-02-06 12:45 837  
[ ]comput_1__1991_11.min1.thm12017-02-06 12:45 405  
[ ]comput_1__1994_16.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__2002_22.min1.thm12017-02-06 12:45 905  
[ ]comput_1__2009_12.min1.thm12017-02-06 12:45 776  
[ ]comput_1__2025_33.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__2026_18.min1.thm12017-02-06 12:45 824  
[ ]comput_1__2027_33.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__2028_18.min1.thm12017-02-06 12:45 824  
[ ]comput_1__2031_18.min1.thm12017-02-06 12:45 483  
[ ]comput_1__2032_22.min1.thm12017-02-06 12:45 395  
[ ]comput_1__2032_22.min1.thm1.tptp2017-02-06 16:48 313  
[ ]comput_1__2047_55.min1.thm12017-02-06 12:45 832  
[ ]comput_1__2047_55.min1.thm1.tptp2017-02-06 16:48 757  
[ ]comput_1__2048_53.min1.thm12017-02-06 12:45 832  
[ ]comput_1__2048_53.min1.thm1.tptp2017-02-06 16:48 757  
[ ]comput_1__2095_61.min1.thm12017-02-06 12:45 948  
[ ]comput_1__2102_34.min1.thm12017-02-06 12:45 462  
[ ]comput_1__2103_35.min1.thm12017-02-06 12:45 746  
[ ]comput_1__2110_10.min1.thm12017-02-06 12:45 470  
[ ]comput_1__2113_58.min1.thm12017-02-06 12:45 938  
[ ]comput_1__2122_18.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__2129_59.min1.thm12017-02-06 12:45 633  
[ ]comput_1__2163_41.min1.thm12017-02-06 12:45 2.4K 
[ ]comput_1__2174_51.min1.thm12017-02-06 12:45 648  
[ ]comput_1__2174_51.min1.thm1.tptp2017-02-06 16:48 571  
[ ]comput_1__2196_24.min1.thm12017-02-06 12:45 4.3K 
[ ]comput_1__2198_20.min1.thm12017-02-06 12:45 4.1K 
[ ]comput_1__2228_13.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__2233_13.min1.thm12017-02-06 12:45 3.7K 
[ ]comput_1__2238_50.min1.thm12017-02-06 12:45 2.0K 
[ ]comput_1__2244_25.min1.thm12017-02-06 12:45 706  
[ ]comput_1__2244_25.min1.thm1.tptp2017-02-06 16:48 637  
[ ]comput_1__2248_32.min1.thm12017-02-06 12:45 505  
[ ]comput_1__2248_32.min1.thm1.tptp2017-02-06 16:48 440  
[ ]comput_1__2249_22.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__2263_13.min1.thm12017-02-06 12:45 469  
[ ]comput_1__2267_26.min1.thm12017-02-06 12:45 678  
[ ]comput_1__2268_18.min1.thm12017-02-06 12:45 553  
[ ]comput_1__2276_17.min1.thm12017-02-06 12:45 1.6K 
[ ]comput_1__2296_51.min1.thm12017-02-06 12:45 2.0K 
[ ]comput_1__2296_51.min1.thm1.tptp2017-02-06 16:48 2.0K 
[ ]comput_1__2297_11.min1.thm12017-02-06 12:45 631  
[ ]comput_1__2308_11.min1.thm12017-02-06 12:45 361  
[ ]comput_1__2316_53.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__2341_19.min1.thm12017-02-06 12:45 914  
[ ]comput_1__2342_17.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__2345_63.min1.thm12017-02-06 12:45 3.9K 
[ ]comput_1__2348_45.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__2353_24.min1.thm12017-02-06 12:45 833  
[ ]comput_1__2353_24.min1.thm1.tptp2017-02-06 16:48 768  
[ ]comput_1__2356_73.min1.thm12017-02-06 12:45 814  
[ ]comput_1__2356_73.min1.thm1.tptp2017-02-06 16:48 753  
[ ]comput_1__2361_26.min1.thm12017-02-06 12:45 1.9K 
[ ]comput_1__2368_69.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__2379_17.min1.thm12017-02-06 12:45 475  
[ ]comput_1__2393_33.min1.thm12017-02-06 12:45 4.1K 
[ ]comput_1__2395_33.min1.thm12017-02-06 12:45 4.1K 
[ ]comput_1__2406_27.min1.thm12017-02-06 12:45 702  
[ ]comput_1__2407_18.min1.thm12017-02-06 12:45 752  
[ ]comput_1__2423_19.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__2452_10.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__2465_19.min1.thm12017-02-06 12:45 914  
[ ]comput_1__2466_17.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__2469_63.min1.thm12017-02-06 12:45 3.9K 
[ ]comput_1__2472_45.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__2477_24.min1.thm12017-02-06 12:45 833  
[ ]comput_1__2477_24.min1.thm1.tptp2017-02-06 16:48 768  
[ ]comput_1__2480_73.min1.thm12017-02-06 12:45 814  
[ ]comput_1__2480_73.min1.thm1.tptp2017-02-06 16:48 753  
[ ]comput_1__2485_26.min1.thm12017-02-06 12:45 1.9K 
[ ]comput_1__2492_69.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__2502_27.min1.thm12017-02-06 12:45 702  
[ ]comput_1__2503_18.min1.thm12017-02-06 12:45 752  
[ ]comput_1__2519_19.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__2548_10.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__2559_36.min1.thm12017-02-06 12:45 951  
[ ]comput_1__2562_63.min1.thm12017-02-06 12:45 871  
[ ]comput_1__2564_68.min1.thm12017-02-06 12:45 871  
[ ]comput_1__2569_15.min1.thm12017-02-06 12:45 757  
[ ]comput_1__2573_18.min1.thm12017-02-06 12:45 906  
[ ]comput_1__2574_41.min1.thm12017-02-06 12:45 492  
[ ]comput_1__2575_18.min1.thm12017-02-06 12:45 426  
[ ]comput_1__2575_18.min1.thm1.tptp2017-02-06 16:48 344  
[ ]comput_1__2586_37.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__2594_18.min1.thm12017-02-06 12:45 906  
[ ]comput_1__2595_41.min1.thm12017-02-06 12:45 492  
[ ]comput_1__2596_18.min1.thm12017-02-06 12:45 426  
[ ]comput_1__2596_18.min1.thm1.tptp2017-02-06 16:48 344  
[ ]comput_1__2607_37.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__2622_11.min1.thm12017-02-06 12:45 245  
[ ]comput_1__2637_15.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__2649_52.min1.thm12017-02-06 12:45 3.9K 
[ ]comput_1__2652_57.min1.thm12017-02-06 12:45 2.1K 
[ ]comput_1__2662_15.min1.thm12017-02-06 12:45 357  
[ ]comput_1__2665_45.min1.thm12017-02-06 12:45 683  
[ ]comput_1__2665_45.min1.thm1.tptp2017-02-06 16:48 606  
[ ]comput_1__2669_22.min1.thm12017-02-06 12:45 890  
[ ]comput_1__2671_22.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__2681_23.min1.thm12017-02-06 12:45 1.6K 
[ ]comput_1__2690_19.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__2714_11.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__2751_48.min1.thm12017-02-06 12:45 545  
[ ]comput_1__2753_18.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__2758_49.min1.thm12017-02-06 12:45 512  
[ ]comput_1__2759_33.min1.thm12017-02-06 12:45 510  
[ ]comput_1__2762_40.min1.thm12017-02-06 12:45 809  
[ ]comput_1__2770_66.min1.thm12017-02-06 12:45 417  
[ ]comput_1__2770_66.min1.thm1.tptp2017-02-06 16:48 339  
[ ]comput_1__2772_41.min1.thm12017-02-06 12:45 808  
[ ]comput_1__2774_26.min1.thm12017-02-06 12:45 2.0K 
[ ]comput_1__2776_17.min1.thm12017-02-06 12:45 695  
[ ]comput_1__2776_17.min1.thm1.tptp2017-02-06 16:48 630  
[ ]comput_1__2793_61.min1.thm12017-02-06 12:45 948  
[ ]comput_1__2802_17.min1.thm12017-02-06 12:45 2.1K 
[ ]comput_1__2804_50.min1.thm12017-02-06 12:45 486  
[ ]comput_1__2804_50.min1.thm1.tptp2017-02-06 16:48 396  
[ ]comput_1__2823_35.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__2830_18.min1.thm12017-02-06 12:45 905  
[ ]comput_1__2830_18.min1.thm1.tptp2017-02-06 16:48 839  
[ ]comput_1__2848_39.min1.thm12017-02-06 12:45 856  
[ ]comput_1__2848_39.min1.thm1.tptp2017-02-06 16:48 779  
[ ]comput_1__2849_18.min1.thm12017-02-06 12:45 856  
[ ]comput_1__2849_18.min1.thm1.tptp2017-02-06 16:48 779  
[ ]comput_1__2866_41.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__2874_16.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__2876_33.min1.thm12017-02-06 12:45 834  
[ ]comput_1__2876_33.min1.thm1.tptp2017-02-06 16:48 757  
[ ]comput_1__2882_13.min1.thm12017-02-06 12:45 335  
[ ]comput_1__2882_13.min1.thm1.tptp2017-02-06 16:48 270  
[ ]comput_1__2883_33.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__2889_23.min1.thm12017-02-06 12:45 823  
[ ]comput_1__2889_32.min1.thm12017-02-06 12:45 328  
[ ]comput_1__2889_32.min1.thm1.tptp2017-02-06 16:48 249  
[ ]comput_1__2890_17.min1.thm12017-02-06 12:45 445  
[ ]comput_1__2910_15.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__2914_16.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__2916_34.min1.thm12017-02-06 12:45 823  
[ ]comput_1__2916_34.min1.thm1.tptp2017-02-06 16:48 746  
[ ]comput_1__2917_33.min1.thm12017-02-06 12:45 823  
[ ]comput_1__2917_33.min1.thm1.tptp2017-02-06 16:48 746  
[ ]comput_1__2922_31.min1.thm12017-02-06 12:45 822  
[ ]comput_1__2922_31.min1.thm1.tptp2017-02-06 16:48 745  
[ ]comput_1__2954_21.min1.thm12017-02-06 12:45 499  
[ ]comput_1__2954_21.min1.thm1.tptp2017-02-06 16:48 424  
[ ]comput_1__2955_30.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__2960_33.min1.thm12017-02-06 12:45 829  
[ ]comput_1__2960_33.min1.thm1.tptp2017-02-06 16:48 752  
[ ]comput_1__2964_60.min1.thm12017-02-06 12:45 803  
[ ]comput_1__3003_15.min1.thm12017-02-06 12:45 2.4K 
[ ]comput_1__3041_13.min1.thm12017-02-06 12:45 2.5K 
[ ]comput_1__3072_15.min1.thm12017-02-06 12:45 2.5K 
[ ]comput_1__3088_23.min1.thm12017-02-06 12:45 917  
[ ]comput_1__3089_21.min1.thm12017-02-06 12:45 913  
[ ]comput_1__3090_27.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__3095_37.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__3095_37.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]comput_1__3099_24.min1.thm12017-02-06 12:45 798  
[ ]comput_1__3108_17.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__3109_19.min1.thm12017-02-06 12:45 911  
[ ]comput_1__3110_23.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__3117_15.min1.thm12017-02-06 12:45 962  
[ ]comput_1__3126_20.min1.thm12017-02-06 12:45 612  
[ ]comput_1__3150_13.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__3201_15.min1.thm12017-02-06 12:45 2.8K 
[ ]comput_1__3210_42.min1.thm12017-02-06 12:45 2.2K 
[ ]comput_1__3210_42.min1.thm1.tptp2017-02-06 16:48 2.1K 
[ ]comput_1__3219_9.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__3273_15.min1.thm12017-02-06 12:45 2.8K 
[ ]comput_1__3284_19.min1.thm12017-02-06 12:45 847  
[ ]comput_1__3286_19.min1.thm12017-02-06 12:45 2.5K 
[ ]comput_1__3289_40.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__3298_9.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__3323_23.min1.thm12017-02-06 12:45 2.0K 
[ ]comput_1__3327_21.min1.thm12017-02-06 12:45 506  
[ ]comput_1__3327_21.min1.thm1.tptp2017-02-06 16:48 431  
[ ]comput_1__3334_24.min1.thm12017-02-06 12:45 639  
[ ]comput_1__3339_33.min1.thm12017-02-06 12:45 841  
[ ]comput_1__3339_33.min1.thm1.tptp2017-02-06 16:48 764  
[ ]comput_1__3355_39.min1.thm12017-02-06 12:45 480  
[ ]comput_1__3356_18.min1.thm12017-02-06 12:45 461  
[ ]comput_1__3356_18.min1.thm1.tptp2017-02-06 16:48 379  
[ ]comput_1__3364_39.min1.thm12017-02-06 12:45 480  
[ ]comput_1__3365_16.min1.thm12017-02-06 12:45 461  
[ ]comput_1__3365_16.min1.thm1.tptp2017-02-06 16:48 379  
[ ]comput_1__3371_18.min1.thm12017-02-06 12:45 451  
[ ]comput_1__3389_21.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__3398_42.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__3405_71.min1.thm12017-02-06 12:45 3.1K 
[ ]comput_1__3416_28.min1.thm12017-02-06 12:45 1.6K 
[ ]comput_1__3443_20.min1.thm12017-02-06 12:45 496  
[ ]comput_1__3461_20.min1.thm12017-02-06 12:45 2.3K 
[ ]comput_1__3475_21.min1.thm12017-02-06 12:45 497  
[ ]comput_1__3478_68.min1.thm12017-02-06 12:45 2.0K 
[ ]comput_1__3478_68.min1.thm1.tptp2017-02-06 16:48 2.0K 
[ ]comput_1__3519_23.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__3552_54.min1.thm12017-02-06 12:45 595  
[ ]comput_1__3553_38.min1.thm12017-02-06 12:45 818  
[ ]comput_1__3597_25.min1.thm12017-02-06 12:45 491  
[ ]comput_1__3598_21.min1.thm12017-02-06 12:45 289  
[ ]comput_1__3605_38.min1.thm12017-02-06 12:45 481  
[ ]comput_1__3707_12.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__3716_28.min1.thm12017-02-06 12:45 255  
[ ]comput_1__3717_68.min1.thm12017-02-06 12:45 524  
[ ]comput_1__3719_18.min1.thm12017-02-06 12:45 505  
[ ]comput_1__3752_16.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__3760_17.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__3790_11.min1.thm12017-02-06 12:45 194  
[ ]comput_1__3798_40.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__3805_18.min1.thm12017-02-06 12:45 2.7K 
[ ]comput_1__3809_45.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__3817_23.min1.thm12017-02-06 12:45 3.5K 
[ ]comput_1__3819_46.min1.thm12017-02-06 12:45 442  
[ ]comput_1__3819_46.min1.thm1.tptp2017-02-06 16:48 364  
[ ]comput_1__3822_13.min1.thm12017-02-06 12:45 3.0K 
[ ]comput_1__3825_26.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__3827_24.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__3831_29.min1.thm12017-02-06 12:45 697  
[ ]comput_1__3833_48.min1.thm12017-02-06 12:45 736  
[ ]comput_1__3834_17.min1.thm12017-02-06 12:45 1.6K 
[ ]comput_1__3846_30.min1.thm12017-02-06 12:45 660  
[ ]comput_1__3846_30.min1.thm1.tptp2017-02-06 16:48 604  
[ ]comput_1__3849_72.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__3851_22.min1.thm12017-02-06 12:45 685  
[ ]comput_1__3851_22.min1.thm1.tptp2017-02-06 16:48 629  
[ ]comput_1__3857_44.min1.thm12017-02-06 12:45 754  
[ ]comput_1__3858_70.min1.thm12017-02-06 12:45 1.9K 
[ ]comput_1__3861_23.min1.thm12017-02-06 12:45 406  
[ ]comput_1__3861_23.min1.thm1.tptp2017-02-06 16:48 328  
[ ]comput_1__3862_27.min1.thm12017-02-06 12:45 468  
[ ]comput_1__3862_27.min1.thm1.tptp2017-02-06 16:48 398  
[ ]comput_1__3863_17.min1.thm12017-02-06 12:45 692  
[ ]comput_1__3864_26.min1.thm12017-02-06 12:45 740  
[ ]comput_1__3868_27.min1.thm12017-02-06 12:45 512  
[ ]comput_1__3869_31.min1.thm12017-02-06 12:45 2.2K 
[ ]comput_1__3875_40.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__3876_29.min1.thm12017-02-06 12:45 609  
[ ]comput_1__3885_24.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__3886_15.min1.thm12017-02-06 12:45 692  
[ ]comput_1__3891_25.min1.thm12017-02-06 12:45 431  
[ ]comput_1__3891_25.min1.thm1.tptp2017-02-06 16:48 366  
[ ]comput_1__3898_39.min1.thm12017-02-06 12:45 660  
[ ]comput_1__3898_39.min1.thm1.tptp2017-02-06 16:48 604  
[ ]comput_1__3907_19.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__3908_22.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__3913_21.min1.thm12017-02-06 12:45 520  
[ ]comput_1__3914_33.min1.thm12017-02-06 12:45 1.6K 
[ ]comput_1__3925_42.min1.thm12017-02-06 12:45 845  
[ ]comput_1__3926_17.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__3957_16.min1.thm12017-02-06 12:45 431  
[ ]comput_1__3957_16.min1.thm1.tptp2017-02-06 16:48 350  
[ ]comput_1__3962_12.min1.thm12017-02-06 12:45 693  
[ ]comput_1__3962_12.min1.thm1.tptp2017-02-06 16:48 637  
[ ]comput_1__3965_9.min1.thm12017-02-06 12:45 340  
[ ]comput_1__3967_14.min1.thm12017-02-06 12:45 508  
[ ]comput_1__3973_20.min1.thm12017-02-06 12:45 683  
[ ]comput_1__3973_20.min1.thm1.tptp2017-02-06 16:48 627  
[ ]comput_1__3974_27.min1.thm12017-02-06 12:45 466  
[ ]comput_1__3974_27.min1.thm1.tptp2017-02-06 16:48 396  
[ ]comput_1__3975_26.min1.thm12017-02-06 12:45 617  
[ ]comput_1__3976_58.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__3980_63.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__3982_27.min1.thm12017-02-06 12:45 782  
[ ]comput_1__3984_45.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__3985_44.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__3986_39.min1.thm12017-02-06 12:45 684  
[ ]comput_1__3989_39.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__3996_17.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__3999_32.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__4000_16.min1.thm12017-02-06 12:45 2.0K 
[ ]comput_1__4005_31.min1.thm12017-02-06 12:45 880  
[ ]comput_1__4006_21.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__4008_59.min1.thm12017-02-06 12:45 848  
[ ]comput_1__4016_27.min1.thm12017-02-06 12:45 766  
[ ]comput_1__4017_24.min1.thm12017-02-06 12:45 409  
[ ]comput_1__4017_24.min1.thm1.tptp2017-02-06 16:48 344  
[ ]comput_1__4018_19.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4020_28.min1.thm12017-02-06 12:45 661  
[ ]comput_1__4020_28.min1.thm1.tptp2017-02-06 16:48 605  
[ ]comput_1__4027_70.min1.thm12017-02-06 12:45 898  
[ ]comput_1__4030_18.min1.thm12017-02-06 12:45 445  
[ ]comput_1__4031_18.min1.thm12017-02-06 12:45 516  
[ ]comput_1__4032_30.min1.thm12017-02-06 12:45 660  
[ ]comput_1__4032_30.min1.thm1.tptp2017-02-06 16:48 604  
[ ]comput_1__4035_17.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__4045_17.min1.thm12017-02-06 12:45 659  
[ ]comput_1__4046_11.min1.thm12017-02-06 12:45 194  
[ ]comput_1__4049_21.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4050_19.min1.thm12017-02-06 12:45 650  
[ ]comput_1__4054_61.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__4055_26.min1.thm12017-02-06 12:45 657  
[ ]comput_1__4056_14.min1.thm12017-02-06 12:45 495  
[ ]comput_1__4059_30.min1.thm12017-02-06 12:45 664  
[ ]comput_1__4059_30.min1.thm1.tptp2017-02-06 16:48 608  
[ ]comput_1__4061_16.min1.thm12017-02-06 12:45 504  
[ ]comput_1__4076_38.min1.thm12017-02-06 12:45 660  
[ ]comput_1__4076_38.min1.thm1.tptp2017-02-06 16:48 604  
[ ]comput_1__4077_11.min1.thm12017-02-06 12:45 194  
[ ]comput_1__4081_19.min1.thm12017-02-06 12:45 729  
[ ]comput_1__4101_40.min1.thm12017-02-06 12:45 368  
[ ]comput_1__4101_40.min1.thm1.tptp2017-02-06 16:48 288  
[ ]comput_1__4102_35.min1.thm12017-02-06 12:45 291  
[ ]comput_1__4104_23.min1.thm12017-02-06 12:45 570  
[ ]comput_1__4109_21.min1.thm12017-02-06 12:45 722  
[ ]comput_1__4111_16.min1.thm12017-02-06 12:45 399  
[ ]comput_1__4111_16.min1.thm1.tptp2017-02-06 16:48 321  
[ ]comput_1__4124_10.min1.thm12017-02-06 12:45 500  
[ ]comput_1__4127_17.min1.thm12017-02-06 12:45 734  
[ ]comput_1__4136_40.min1.thm12017-02-06 12:45 368  
[ ]comput_1__4136_40.min1.thm1.tptp2017-02-06 16:48 288  
[ ]comput_1__4137_35.min1.thm12017-02-06 12:45 291  
[ ]comput_1__4139_23.min1.thm12017-02-06 12:45 570  
[ ]comput_1__4144_34.min1.thm12017-02-06 12:45 489  
[ ]comput_1__4144_34.min1.thm1.tptp2017-02-06 16:48 426  
[ ]comput_1__4145_29.min1.thm12017-02-06 12:45 679  
[ ]comput_1__4145_29.min1.thm1.tptp2017-02-06 16:48 633  
[ ]comput_1__4155_36.min1.thm12017-02-06 12:45 497  
[ ]comput_1__4155_36.min1.thm1.tptp2017-02-06 16:48 434  
[ ]comput_1__4156_30.min1.thm12017-02-06 12:45 677  
[ ]comput_1__4156_30.min1.thm1.tptp2017-02-06 16:48 631  
[ ]comput_1__4168_38.min1.thm12017-02-06 12:45 505  
[ ]comput_1__4168_38.min1.thm1.tptp2017-02-06 16:48 442  
[ ]comput_1__4169_32.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4185_43.min1.thm12017-02-06 12:45 505  
[ ]comput_1__4185_43.min1.thm1.tptp2017-02-06 16:48 442  
[ ]comput_1__4186_36.min1.thm12017-02-06 12:45 593  
[ ]comput_1__4186_36.min1.thm1.tptp2017-02-06 16:48 538  
[ ]comput_1__4187_25.min1.thm12017-02-06 12:45 540  
[ ]comput_1__4188_28.min1.thm12017-02-06 12:45 512  
[ ]comput_1__4205_43.min1.thm12017-02-06 12:45 505  
[ ]comput_1__4205_43.min1.thm1.tptp2017-02-06 16:48 442  
[ ]comput_1__4206_20.min1.thm12017-02-06 12:45 896  
[ ]comput_1__4207_44.min1.thm12017-02-06 12:45 593  
[ ]comput_1__4207_44.min1.thm1.tptp2017-02-06 16:48 538  
[ ]comput_1__4208_20.min1.thm12017-02-06 12:45 896  
[ ]comput_1__4209_25.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__4219_11.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__4235_16.min1.thm12017-02-06 12:45 770  
[ ]comput_1__4246_16.min1.thm12017-02-06 12:45 705  
[ ]comput_1__4252_14.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__4261_15.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__4268_15.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__4284_73.min1.thm12017-02-06 12:45 593  
[ ]comput_1__4284_73.min1.thm1.tptp2017-02-06 16:48 540  
[ ]comput_1__4285_21.min1.thm12017-02-06 12:45 541  
[ ]comput_1__4285_21.min1.thm1.tptp2017-02-06 16:48 483  
[ ]comput_1__4291_43.min1.thm12017-02-06 12:45 493  
[ ]comput_1__4291_43.min1.thm1.tptp2017-02-06 16:48 439  
[ ]comput_1__4292_21.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__4316_19.min1.thm12017-02-06 12:45 662  
[ ]comput_1__4336_19.min1.thm12017-02-06 12:45 664  
[ ]comput_1__4353_31.min1.thm12017-02-06 12:45 350  
[ ]comput_1__4355_18.min1.thm12017-02-06 12:45 908  
[ ]comput_1__4355_18.min1.thm1.tptp2017-02-06 16:48 831  
[ ]comput_1__4368_51.min1.thm12017-02-06 12:45 804  
[ ]comput_1__4369_51.min1.thm12017-02-06 12:45 804  
[ ]comput_1__4370_28.min1.thm12017-02-06 12:45 350  
[ ]comput_1__4371_29.min1.thm12017-02-06 12:45 350  
[ ]comput_1__4386_72.min1.thm12017-02-06 12:45 2.0K 
[ ]comput_1__4391_25.min1.thm12017-02-06 12:45 868  
[ ]comput_1__4392_16.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__4399_18.min1.thm12017-02-06 12:45 473  
[ ]comput_1__4399_18.min1.thm1.tptp2017-02-06 16:48 393  
[ ]comput_1__4402_8.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__4404_14.min1.thm12017-02-06 12:45 674  
[ ]comput_1__4404_14.min1.thm1.tptp2017-02-06 16:48 597  
[ ]comput_1__4413_20.min1.thm12017-02-06 12:45 835  
[ ]comput_1__4414_44.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__4415_39.min1.thm12017-02-06 12:45 351  
[ ]comput_1__4418_38.min1.thm12017-02-06 12:45 428  
[ ]comput_1__4418_38.min1.thm1.tptp2017-02-06 16:48 378  
[ ]comput_1__4426_23.min1.thm12017-02-06 12:45 745  
[ ]comput_1__4441_18.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__4442_38.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4443_13.min1.thm12017-02-06 12:45 224  
[ ]comput_1__4446_20.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__4448_24.min1.thm12017-02-06 12:45 491  
[ ]comput_1__4451_44.min1.thm12017-02-06 12:45 709  
[ ]comput_1__4454_35.min1.thm12017-02-06 12:45 2.2K 
[ ]comput_1__4465_26.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__4466_28.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4470_41.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4473_29.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__4474_19.min1.thm12017-02-06 12:45 277  
[ ]comput_1__4484_28.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4492_18.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4493_25.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__4496_20.min1.thm12017-02-06 12:45 781  
[ ]comput_1__4496_20.min1.thm1.tptp2017-02-06 16:48 718  
[ ]comput_1__4497_18.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__4498_22.min1.thm12017-02-06 12:45 1.6K 
[ ]comput_1__4503_24.min1.thm12017-02-06 12:45 1.9K 
[ ]comput_1__4505_42.min1.thm12017-02-06 12:45 723  
[ ]comput_1__4521_20.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__4522_36.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4525_20.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__4526_36.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4527_11.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__4530_28.min1.thm12017-02-06 12:45 799  
[ ]comput_1__4532_36.min1.thm12017-02-06 12:45 609  
[ ]comput_1__4540_28.min1.thm12017-02-06 12:45 799  
[ ]comput_1__4542_36.min1.thm12017-02-06 12:45 612  
[ ]comput_1__4568_8.min1.thm12017-02-06 12:45 2.0K 
[ ]comput_1__4583_52.min1.thm12017-02-06 12:45 584  
[ ]comput_1__4583_52.min1.thm1.tptp2017-02-06 16:48 528  
[ ]comput_1__4602_44.min1.thm12017-02-06 12:45 584  
[ ]comput_1__4602_44.min1.thm1.tptp2017-02-06 16:48 528  
[ ]comput_1__4622_25.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__4626_16.min1.thm12017-02-06 12:45 581  
[ ]comput_1__4626_16.min1.thm1.tptp2017-02-06 16:48 525  
[ ]comput_1__4629_21.min1.thm12017-02-06 12:45 687  
[ ]comput_1__4633_21.min1.thm12017-02-06 12:45 677  
[ ]comput_1__4637_73.min1.thm12017-02-06 12:45 585  
[ ]comput_1__4637_73.min1.thm1.tptp2017-02-06 16:48 532  
[ ]comput_1__4638_21.min1.thm12017-02-06 12:45 786  
[ ]comput_1__4653_17.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__4654_37.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4655_23.min1.thm12017-02-06 12:45 467  
[ ]comput_1__4655_23.min1.thm1.tptp2017-02-06 16:48 386  
[ ]comput_1__4658_25.min1.thm12017-02-06 12:45 959  
[ ]comput_1__4659_17.min1.thm12017-02-06 12:45 482  
[ ]comput_1__4677_65.min1.thm12017-02-06 12:45 2.1K 
[ ]comput_1__4686_25.min1.thm12017-02-06 12:45 707  
[ ]comput_1__4701_60.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__4702_30.min1.thm12017-02-06 12:45 747  
[ ]comput_1__4703_30.min1.thm12017-02-06 12:45 748  
[ ]comput_1__4704_25.min1.thm12017-02-06 12:45 1.6K 
[ ]comput_1__4715_25.min1.thm12017-02-06 12:45 707  
[ ]comput_1__4730_29.min1.thm12017-02-06 12:45 747  
[ ]comput_1__4740_30.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__4743_28.min1.thm12017-02-06 12:45 724  
[ ]comput_1__4744_16.min1.thm12017-02-06 12:45 581  
[ ]comput_1__4744_16.min1.thm1.tptp2017-02-06 16:48 525  
[ ]comput_1__4747_21.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4751_21.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__4755_73.min1.thm12017-02-06 12:45 585  
[ ]comput_1__4755_73.min1.thm1.tptp2017-02-06 16:48 532  
[ ]comput_1__4760_14.min1.thm12017-02-06 12:45 668  
[ ]comput_1__4760_14.min1.thm1.tptp2017-02-06 16:48 609  
[ ]comput_1__4772_49.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__4783_16.min1.thm12017-02-06 12:45 446  
[ ]comput_1__4794_16.min1.thm12017-02-06 12:45 2.2K 
[ ]comput_1__4821_48.min1.thm12017-02-06 12:45 2.5K 
[ ]comput_1__4822_16.min1.thm12017-02-06 12:45 469  
[ ]comput_1__4829_48.min1.thm12017-02-06 12:45 1.6K 
[ ]comput_1__4830_16.min1.thm12017-02-06 12:45 469  
[ ]comput_1__4837_48.min1.thm12017-02-06 12:45 1.6K 
[ ]comput_1__4838_16.min1.thm12017-02-06 12:45 469  
[ ]comput_1__4847_13.min1.thm12017-02-06 12:45 695  
[ ]comput_1__4848_31.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__4849_16.min1.thm12017-02-06 12:45 436  
[ ]comput_1__4857_26.min1.thm12017-02-06 12:45 844  
[ ]comput_1__4858_16.min1.thm12017-02-06 12:45 414  
[ ]comput_1__4864_16.min1.thm12017-02-06 12:45 414  
[ ]comput_1__4870_16.min1.thm12017-02-06 12:45 414  
[ ]comput_1__4876_33.min1.thm12017-02-06 12:45 604  
[ ]comput_1__4881_33.min1.thm12017-02-06 12:45 557  
[ ]comput_1__4886_33.min1.thm12017-02-06 12:45 557  
[ ]comput_1__4891_33.min1.thm12017-02-06 12:45 557  
[ ]comput_1__4896_32.min1.thm12017-02-06 12:45 557  
[ ]comput_1__4901_32.min1.thm12017-02-06 12:45 557  
[ ]comput_1__4906_32.min1.thm12017-02-06 12:45 558  
[ ]comput_1__4911_32.min1.thm12017-02-06 12:45 558  
[ ]comput_1__4916_32.min1.thm12017-02-06 12:45 558  
[ ]comput_1__4921_32.min1.thm12017-02-06 12:45 558  
[ ]comput_1__4933_14.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__4935_14.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__4940_19.min1.thm12017-02-06 12:45 726  
[ ]comput_1__4941_24.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4947_19.min1.thm12017-02-06 12:45 726  
[ ]comput_1__4948_24.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4957_22.min1.thm12017-02-06 12:45 730  
[ ]comput_1__4958_16.min1.thm12017-02-06 12:45 941  
[ ]comput_1__4964_22.min1.thm12017-02-06 12:45 685  
[ ]comput_1__4965_16.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__4971_22.min1.thm12017-02-06 12:45 685  
[ ]comput_1__4972_16.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__4978_22.min1.thm12017-02-06 12:45 685  
[ ]comput_1__4979_16.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__4989_19.min1.thm12017-02-06 12:45 417  
[ ]comput_1__4989_19.min1.thm1.tptp2017-02-06 16:48 336  
[ ]comput_1__4990_18.min1.thm12017-02-06 12:45 887  
[ ]comput_1__4992_35.min1.thm12017-02-06 12:45 2.3K 
[ ]comput_1__4993_20.min1.thm12017-02-06 12:45 817  
[ ]comput_1__4995_18.min1.thm12017-02-06 12:45 556  
[ ]comput_1__4996_19.min1.thm12017-02-06 12:45 457  
[ ]comput_1__4996_19.min1.thm1.tptp2017-02-06 16:48 375  
[ ]comput_1__4997_12.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__4998_20.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__5001_22.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__5003_21.min1.thm12017-02-06 12:45 393  
[ ]comput_1__5003_21.min1.thm1.tptp2017-02-06 16:48 328  
[ ]comput_1__5004_24.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__5008_20.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5019_19.min1.thm12017-02-06 12:45 417  
[ ]comput_1__5019_19.min1.thm1.tptp2017-02-06 16:48 336  
[ ]comput_1__5020_12.min1.thm12017-02-06 12:45 775  
[ ]comput_1__5021_20.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__5022_18.min1.thm12017-02-06 12:45 842  
[ ]comput_1__5023_19.min1.thm12017-02-06 12:45 417  
[ ]comput_1__5023_19.min1.thm1.tptp2017-02-06 16:48 336  
[ ]comput_1__5030_19.min1.thm12017-02-06 12:45 417  
[ ]comput_1__5030_19.min1.thm1.tptp2017-02-06 16:48 336  
[ ]comput_1__5031_12.min1.thm12017-02-06 12:45 775  
[ ]comput_1__5032_20.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__5033_18.min1.thm12017-02-06 12:45 842  
[ ]comput_1__5034_19.min1.thm12017-02-06 12:45 417  
[ ]comput_1__5034_19.min1.thm1.tptp2017-02-06 16:48 336  
[ ]comput_1__5048_17.min1.thm12017-02-06 12:45 704  
[ ]comput_1__5067_14.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5072_15.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__5086_19.min1.thm12017-02-06 12:45 704  
[ ]comput_1__5091_27.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__5111_27.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__5119_49.min1.thm12017-02-06 12:45 666  
[ ]comput_1__5122_19.min1.thm12017-02-06 12:45 1.4K 
[ ]comput_1__5126_30.min1.thm12017-02-06 12:45 798  
[ ]comput_1__5128_67.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__5132_6.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__5133_48.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5134_24.min1.thm12017-02-06 12:45 304  
[ ]comput_1__5139_65.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__5140_43.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5141_31.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__5142_27.min1.thm12017-02-06 12:45 802  
[ ]comput_1__5144_32.min1.thm12017-02-06 12:45 617  
[ ]comput_1__5144_32.min1.thm1.tptp2017-02-06 16:48 556  
[ ]comput_1__5155_35.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5156_26.min1.thm12017-02-06 12:45 835  
[ ]comput_1__5164_47.min1.thm12017-02-06 12:45 2.4K 
[ ]comput_1__5165_54.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__5167_39.min1.thm12017-02-06 12:45 548  
[ ]comput_1__5169_22.min1.thm12017-02-06 12:45 775  
[ ]comput_1__5170_34.min1.thm12017-02-06 12:45 659  
[ ]comput_1__5171_15.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__5173_40.min1.thm12017-02-06 12:45 460  
[ ]comput_1__5174_58.min1.thm12017-02-06 12:45 2.2K 
[ ]comput_1__5176_37.min1.thm12017-02-06 12:45 1.6K 
[ ]comput_1__5183_11.min1.thm12017-02-06 12:45 940  
[ ]comput_1__5192_32.min1.thm12017-02-06 12:45 712  
[ ]comput_1__5193_72.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__5197_6.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__5198_48.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5199_26.min1.thm12017-02-06 12:45 308  
[ ]comput_1__5201_25.min1.thm12017-02-06 12:45 752  
[ ]comput_1__5212_72.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__5215_6.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__5216_48.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5217_25.min1.thm12017-02-06 12:45 308  
[ ]comput_1__5219_37.min1.thm12017-02-06 12:45 899  
[ ]comput_1__5228_67.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__5229_18.min1.thm12017-02-06 12:45 708  
[ ]comput_1__5236_10.min1.thm12017-02-06 12:45 709  
[ ]comput_1__5236_10.min1.thm1.tptp2017-02-06 16:48 619  
[ ]comput_1__5238_24.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__5239_19.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__5249_4.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__5251_19.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5253_72.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__5254_57.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__5255_58.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__5259_37.min1.thm12017-02-06 12:45 1.1K 
[ ]comput_1__5260_28.min1.thm12017-02-06 12:45 881  
[ ]comput_1__5269_26.min1.thm12017-02-06 12:45 840  
[ ]comput_1__5270_40.min1.thm12017-02-06 12:45 711  
[ ]comput_1__5271_24.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5272_55.min1.thm12017-02-06 12:45 726  
[ ]comput_1__5273_72.min1.thm12017-02-06 12:45 886  
[ ]comput_1__5280_35.min1.thm12017-02-06 12:45 430  
[ ]comput_1__5280_35.min1.thm1.tptp2017-02-06 16:48 354  
[ ]comput_1__5286_35.min1.thm12017-02-06 12:45 551  
[ ]comput_1__5288_35.min1.thm12017-02-06 12:45 551  
[ ]comput_1__5291_64.min1.thm12017-02-06 12:45 391  
[ ]comput_1__5291_64.min1.thm1.tptp2017-02-06 16:48 303  
[ ]comput_1__5293_16.min1.thm12017-02-06 12:45 838  
[ ]comput_1__5295_22.min1.thm12017-02-06 12:45 831  
[ ]comput_1__5305_39.min1.thm12017-02-06 12:45 622  
[ ]comput_1__5306_40.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__5313_11.min1.thm12017-02-06 12:45 2.4K 
[ ]comput_1__5326_20.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__5328_16.min1.thm12017-02-06 12:45 2.2K 
[ ]comput_1__5329_16.min1.thm12017-02-06 12:45 490  
[ ]comput_1__5332_13.min1.thm12017-02-06 12:45 701  
[ ]comput_1__5333_13.min1.thm12017-02-06 12:45 2.4K 
[ ]comput_1__5335_8.min1.thm12017-02-06 12:45 390  
[ ]comput_1__5337_14.min1.thm12017-02-06 12:45 500  
[ ]comput_1__5337_14.min1.thm1.tptp2017-02-06 16:48 423  
[ ]comput_1__5343_11.min1.thm12017-02-06 12:45 2.4K 
[ ]comput_1__5358_16.min1.thm12017-02-06 12:45 490  
[ ]comput_1__5364_8.min1.thm12017-02-06 12:45 390  
[ ]comput_1__5374_26.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__5380_25.min1.thm12017-02-06 12:45 657  
[ ]comput_1__5382_21.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__5383_25.min1.thm12017-02-06 12:45 657  
[ ]comput_1__5384_34.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__5386_29.min1.thm12017-02-06 12:45 2.0K 
[ ]comput_1__5397_19.min1.thm12017-02-06 12:45 417  
[ ]comput_1__5397_19.min1.thm1.tptp2017-02-06 16:48 336  
[ ]comput_1__5398_31.min1.thm12017-02-06 12:45 2.0K 
[ ]comput_1__5401_67.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__5403_36.min1.thm12017-02-06 12:45 574  
[ ]comput_1__5403_36.min1.thm1.tptp2017-02-06 16:48 518  
[ ]comput_1__5404_18.min1.thm12017-02-06 12:45 842  
[ ]comput_1__5405_16.min1.thm12017-02-06 12:45 664  
[ ]comput_1__5418_10.min1.thm12017-02-06 12:45 245  
[ ]comput_1__5419_31.min1.thm12017-02-06 12:45 2.0K 
[ ]comput_1__5422_67.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__5424_33.min1.thm12017-02-06 12:45 1.7K 
[ ]comput_1__5425_18.min1.thm12017-02-06 12:45 842  
[ ]comput_1__5426_22.min1.thm12017-02-06 12:45 412  
[ ]comput_1__5426_22.min1.thm1.tptp2017-02-06 16:48 336  
[ ]comput_1__5427_22.min1.thm12017-02-06 12:45 419  
[ ]comput_1__5427_22.min1.thm1.tptp2017-02-06 16:48 363  
[ ]comput_1__5430_18.min1.thm12017-02-06 12:45 843  
[ ]comput_1__5432_31.min1.thm12017-02-06 12:45 2.8K 
[ ]comput_1__5433_18.min1.thm12017-02-06 12:45 843  
[ ]comput_1__5435_31.min1.thm12017-02-06 12:45 2.8K 
[ ]comput_1__5436_31.min1.thm12017-02-06 12:45 2.8K 
[ ]comput_1__5451_19.min1.thm12017-02-06 12:45 417  
[ ]comput_1__5451_19.min1.thm1.tptp2017-02-06 16:48 336  
[ ]comput_1__5452_28.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__5453_35.min1.thm12017-02-06 12:45 1.9K 
[ ]comput_1__5455_66.min1.thm12017-02-06 12:45 2.3K 
[ ]comput_1__5457_36.min1.thm12017-02-06 12:45 574  
[ ]comput_1__5457_36.min1.thm1.tptp2017-02-06 16:48 518  
[ ]comput_1__5458_18.min1.thm12017-02-06 12:45 842  
[ ]comput_1__5459_16.min1.thm12017-02-06 12:45 1.9K 
[ ]comput_1__5472_10.min1.thm12017-02-06 12:45 245  
[ ]comput_1__5473_28.min1.thm12017-02-06 12:45 1.8K 
[ ]comput_1__5474_35.min1.thm12017-02-06 12:45 1.9K 
[ ]comput_1__5476_66.min1.thm12017-02-06 12:45 2.4K 
[ ]comput_1__5478_24.min1.thm12017-02-06 12:45 2.5K 
[ ]comput_1__5479_18.min1.thm12017-02-06 12:45 842  
[ ]comput_1__5481_31.min1.thm12017-02-06 12:45 2.8K 
[ ]comput_1__5482_18.min1.thm12017-02-06 12:45 842  
[ ]comput_1__5483_19.min1.thm12017-02-06 12:45 2.0K 
[ ]comput_1__5484_22.min1.thm12017-02-06 12:45 387  
[ ]comput_1__5484_22.min1.thm1.tptp2017-02-06 16:48 322  
[ ]comput_1__5487_31.min1.thm12017-02-06 12:45 2.8K 
[ ]comput_1__5511_18.min1.thm12017-02-06 12:45 688  
[ ]comput_1__5513_32.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__5514_30.min1.thm12017-02-06 12:45 872  
[ ]comput_1__5518_24.min1.thm12017-02-06 12:45 728  
[ ]comput_1__5519_19.min1.thm12017-02-06 12:45 543  
[ ]comput_1__5519_19.min1.thm1.tptp2017-02-06 16:48 472  
[ ]comput_1__5532_18.min1.thm12017-02-06 12:45 688  
[ ]comput_1__5534_32.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__5535_18.min1.thm12017-02-06 12:45 688  
[ ]comput_1__5537_32.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__5538_47.min1.thm12017-02-06 12:45 1.6K 
[ ]comput_1__5542_36.min1.thm12017-02-06 12:45 906  
[ ]comput_1__5543_31.min1.thm12017-02-06 12:45 834  
[ ]comput_1__5561_37.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5568_38.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__5569_15.min1.thm12017-02-06 12:45 692  
[ ]comput_1__5575_14.min1.thm12017-02-06 12:45 600  
[ ]comput_1__5580_37.min1.thm12017-02-06 12:45 874  
[ ]comput_1__5581_13.min1.thm12017-02-06 12:45 2.3K 
[ ]comput_1__5583_63.min1.thm12017-02-06 12:45 442  
[ ]comput_1__5586_28.min1.thm12017-02-06 12:45 668  
[ ]comput_1__5590_40.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5593_20.min1.thm12017-02-06 12:45 938  
[ ]comput_1__5594_18.min1.thm12017-02-06 12:45 2.4K 
[ ]comput_1__5595_16.min1.thm12017-02-06 12:45 426  
[ ]comput_1__5597_27.min1.thm12017-02-06 12:45 332  
[ ]comput_1__5597_27.min1.thm1.tptp2017-02-06 16:48 253  
[ ]comput_1__5599_29.min1.thm12017-02-06 12:45 433  
[ ]comput_1__5603_9.min1.thm12017-02-06 12:45 328  
[ ]comput_1__5605_14.min1.thm12017-02-06 12:45 438  
[ ]comput_1__5605_14.min1.thm1.tptp2017-02-06 16:48 361  
[ ]comput_1__5611_11.min1.thm12017-02-06 12:45 2.2K 
[ ]comput_1__5620_42.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5624_16.min1.thm12017-02-06 12:45 594  
[ ]comput_1__5626_16.min1.thm12017-02-06 12:45 494  
[ ]comput_1__5631_14.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__5633_8.min1.thm12017-02-06 12:45 394  
[ ]comput_1__5635_14.min1.thm12017-02-06 12:45 504  
[ ]comput_1__5635_14.min1.thm1.tptp2017-02-06 16:48 427  
[ ]comput_1__5641_11.min1.thm12017-02-06 12:45 3.1K 
[ ]comput_1__5647_27.min1.thm12017-02-06 12:45 331  
[ ]comput_1__5647_27.min1.thm1.tptp2017-02-06 16:48 252  
[ ]comput_1__5649_28.min1.thm12017-02-06 12:45 431  
[ ]comput_1__5652_28.min1.thm12017-02-06 12:45 516  
[ ]comput_1__5653_27.min1.thm12017-02-06 12:45 621  
[ ]comput_1__5659_24.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5661_16.min1.thm12017-02-06 12:45 436  
[ ]comput_1__5666_20.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5669_8.min1.thm12017-02-06 12:45 336  
[ ]comput_1__5671_14.min1.thm12017-02-06 12:45 448  
[ ]comput_1__5671_14.min1.thm1.tptp2017-02-06 16:48 371  
[ ]comput_1__5677_11.min1.thm12017-02-06 12:45 3.8K 
[ ]comput_1__5689_27.min1.thm12017-02-06 12:45 722  
[ ]comput_1__5690_24.min1.thm12017-02-06 12:45 365  
[ ]comput_1__5690_24.min1.thm1.tptp2017-02-06 16:48 300  
[ ]comput_1__5691_19.min1.thm12017-02-06 12:45 916  
[ ]comput_1__5693_68.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__5701_39.min1.thm12017-02-06 12:45 652  
[ ]comput_1__5701_39.min1.thm1.tptp2017-02-06 16:48 596  
[ ]comput_1__5702_33.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5705_27.min1.thm12017-02-06 12:45 813  
[ ]comput_1__5706_13.min1.thm12017-02-06 12:45 2.5K 
[ ]comput_1__5709_27.min1.thm12017-02-06 12:45 813  
[ ]comput_1__5711_13.min1.thm12017-02-06 12:45 529  
[ ]comput_1__5711_13.min1.thm1.tptp2017-02-06 16:48 458  
[ ]comput_1__5718_18.min1.thm12017-02-06 12:45 908  
[ ]comput_1__5721_22.min1.thm12017-02-06 12:45 785  
[ ]comput_1__5722_23.min1.thm12017-02-06 12:45 1.2K 
[ ]comput_1__5724_22.min1.thm12017-02-06 12:45 1.3K 
[ ]comput_1__5725_32.min1.thm12017-02-06 12:45 949  
[ ]comput_1__5726_24.min1.thm12017-02-06 12:45 1.5K 
[ ]comput_1__5731_18.min1.thm12017-02-06 12:45 352  
[ ]comput_1__5732_41.min1.thm12017-02-06 12:45 488  
[ ]comput_1__5733_22.min1.thm12017-02-06 12:45 2.6K 
[ ]comput_1__5737_24.min1.thm12017-02-06 12:45 2.4K 
[ ]comput_1__5742_16.min1.thm12017-02-06 12:45 490  
[ ]comput_1__5746_14.min1.thm12017-02-06 12:45 822  
[ ]comput_1__5747_11.min1.thm12017-02-06 12:45 1.6K 
[ ]comput_1__5748_16.min1.thm12017-02-06 12:45 875  
[ ]comput_1__5749_11.min1.thm12017-02-06 12:45 1.0K 
[ ]comput_1__5751_9.min1.thm12017-02-06 12:45 390  
[ ]comput_1__5753_14.min1.thm12017-02-06 12:45 500  
[ ]comput_1__5753_14.min1.thm1.tptp2017-02-06 16:48 423  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80