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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]setfam_1__52_17.min1.thm12017-02-06 12:44 616  
[ ]setfam_1__53_28.min1.thm12017-02-06 12:44 730  
[ ]setfam_1__54_23.min1.thm12017-02-06 12:44 580  
[ ]setfam_1__56_21.min1.thm12017-02-06 12:44 545  
[ ]setfam_1__56_21.min1.thm1.tptp2017-02-06 16:47 503  
[ ]setfam_1__58_15.min1.thm12017-02-06 12:44 182  
[ ]setfam_1__70_56.min1.thm12017-02-06 12:44 398  
[ ]setfam_1__71_36.min1.thm12017-02-06 12:44 548  
[ ]setfam_1__71_36.min1.thm1.tptp2017-02-06 16:47 481  
[ ]setfam_1__73_22.min1.thm12017-02-06 12:44 372  
[ ]setfam_1__73_22.min1.thm1.tptp2017-02-06 16:47 312  
[ ]setfam_1__75_16.min1.thm12017-02-06 12:44 834  
[ ]setfam_1__77_13.min1.thm12017-02-06 12:44 130  
[ ]setfam_1__83_17.min1.thm12017-02-06 12:44 369  
[ ]setfam_1__95_20.min1.thm12017-02-06 12:44 796  
[ ]setfam_1__96_27.min1.thm12017-02-06 12:44 710  
[ ]setfam_1__98_19.min1.thm12017-02-06 12:44 417  
[ ]setfam_1__98_19.min1.thm1.tptp2017-02-06 16:47 353  
[ ]setfam_1__102_23.min1.thm12017-02-06 12:44 438  
[ ]setfam_1__102_23.min1.thm1.tptp2017-02-06 16:47 402  
[ ]setfam_1__103_19.min1.thm12017-02-06 12:44 324  
[ ]setfam_1__103_19.min1.thm1.tptp2017-02-06 16:47 241  
[ ]setfam_1__105_17.min1.thm12017-02-06 12:44 444  
[ ]setfam_1__105_17.min1.thm1.tptp2017-02-06 16:47 358  
[ ]setfam_1__117_19.min1.thm12017-02-06 12:44 738  
[ ]setfam_1__119_14.min1.thm12017-02-06 12:44 262  
[ ]setfam_1__123_32.min1.thm12017-02-06 12:44 352  
[ ]setfam_1__123_32.min1.thm1.tptp2017-02-06 16:47 292  
[ ]setfam_1__139_20.min1.thm12017-02-06 12:44 351  
[ ]setfam_1__139_20.min1.thm1.tptp2017-02-06 16:47 270  
[ ]setfam_1__140_21.min1.thm12017-02-06 12:44 825  
[ ]setfam_1__142_19.min1.thm12017-02-06 12:44 558  
[ ]setfam_1__154_38.min1.thm12017-02-06 12:44 1.1K 
[ ]setfam_1__155_17.min1.thm12017-02-06 12:44 550  
[ ]setfam_1__164_16.min1.thm12017-02-06 12:44 340  
[ ]setfam_1__164_16.min1.thm1.tptp2017-02-06 16:47 262  
[ ]setfam_1__165_17.min1.thm12017-02-06 12:44 438  
[ ]setfam_1__169_48.min1.thm12017-02-06 12:44 409  
[ ]setfam_1__169_48.min1.thm1.tptp2017-02-06 16:47 365  
[ ]setfam_1__182_32.min1.thm12017-02-06 12:44 505  
[ ]setfam_1__182_32.min1.thm1.tptp2017-02-06 16:47 443  
[ ]setfam_1__186_30.min1.thm12017-02-06 12:44 463  
[ ]setfam_1__186_30.min1.thm1.tptp2017-02-06 16:47 401  
[ ]setfam_1__187_21.min1.thm12017-02-06 12:44 857  
[ ]setfam_1__189_19.min1.thm12017-02-06 12:44 898  
[ ]setfam_1__191_54.min1.thm12017-02-06 12:44 726  
[ ]setfam_1__192_43.min1.thm12017-02-06 12:44 602  
[ ]setfam_1__192_43.min1.thm1.tptp2017-02-06 16:47 531  
[ ]setfam_1__193_17.min1.thm12017-02-06 12:44 671  
[ ]setfam_1__203_42.min1.thm12017-02-06 12:44 374  
[ ]setfam_1__203_42.min1.thm1.tptp2017-02-06 16:47 314  
[ ]setfam_1__204_19.min1.thm12017-02-06 12:44 703  
[ ]setfam_1__206_13.min1.thm12017-02-06 12:44 267  
[ ]setfam_1__207_23.min1.thm12017-02-06 12:44 362  
[ ]setfam_1__207_23.min1.thm1.tptp2017-02-06 16:47 284  
[ ]setfam_1__208_17.min1.thm12017-02-06 12:44 458  
[ ]setfam_1__214_30.min1.thm12017-02-06 12:44 368  
[ ]setfam_1__217_51.min1.thm12017-02-06 12:44 948  
[ ]setfam_1__219_49.min1.thm12017-02-06 12:44 451  
[ ]setfam_1__219_49.min1.thm1.tptp2017-02-06 16:47 400  
[ ]setfam_1__220_19.min1.thm12017-02-06 12:44 742  
[ ]setfam_1__231_13.min1.thm12017-02-06 12:44 272  
[ ]setfam_1__234_13.min1.thm12017-02-06 12:44 272  
[ ]setfam_1__245_16.min1.thm12017-02-06 12:44 925  
[ ]setfam_1__259_15.min1.thm12017-02-06 12:44 415  
[ ]setfam_1__259_15.min1.thm1.tptp2017-02-06 16:47 360  
[ ]setfam_1__260_32.min1.thm12017-02-06 12:44 407  
[ ]setfam_1__260_32.min1.thm1.tptp2017-02-06 16:47 338  
[ ]setfam_1__261_19.min1.thm12017-02-06 12:44 1.0K 
[ ]setfam_1__281_16.min1.thm12017-02-06 12:44 415  
[ ]setfam_1__281_16.min1.thm1.tptp2017-02-06 16:47 346  
[ ]setfam_1__282_16.min1.thm12017-02-06 12:44 761  
[ ]setfam_1__283_21.min1.thm12017-02-06 12:44 844  
[ ]setfam_1__285_19.min1.thm12017-02-06 12:44 566  
[ ]setfam_1__287_14.min1.thm12017-02-06 12:44 294  
[ ]setfam_1__319_13.min1.thm12017-02-06 12:44 399  
[ ]setfam_1__319_13.min1.thm1.tptp2017-02-06 16:47 330  
[ ]setfam_1__321_24.min1.thm12017-02-06 12:44 399  
[ ]setfam_1__321_24.min1.thm1.tptp2017-02-06 16:47 330  
[ ]setfam_1__323_16.min1.thm12017-02-06 12:44 511  
[ ]setfam_1__333_35.min1.thm12017-02-06 12:44 421  
[ ]setfam_1__333_35.min1.thm1.tptp2017-02-06 16:47 352  
[ ]setfam_1__334_17.min1.thm12017-02-06 12:44 371  
[ ]setfam_1__334_17.min1.thm1.tptp2017-02-06 16:47 311  
[ ]setfam_1__346_14.min1.thm12017-02-06 12:44 453  
[ ]setfam_1__346_14.min1.thm1.tptp2017-02-06 16:47 384  
[ ]setfam_1__347_23.min1.thm12017-02-06 12:44 332  
[ ]setfam_1__348_32.min1.thm12017-02-06 12:44 615  
[ ]setfam_1__349_17.min1.thm12017-02-06 12:44 532  
[ ]setfam_1__372_42.min1.thm12017-02-06 12:44 492  
[ ]setfam_1__372_42.min1.thm1.tptp2017-02-06 16:47 414  
[ ]setfam_1__373_43.min1.thm12017-02-06 12:44 664  
[ ]setfam_1__374_24.min1.thm12017-02-06 12:44 1.1K 
[ ]setfam_1__378_77.min1.thm12017-02-06 12:44 645  
[ ]setfam_1__378_77.min1.thm1.tptp2017-02-06 16:47 610  
[ ]setfam_1__380_56.min1.thm12017-02-06 12:44 420  
[ ]setfam_1__382_21.min1.thm12017-02-06 12:44 732  
[ ]setfam_1__382_21.min1.thm1.tptp2017-02-06 16:47 682  
[ ]setfam_1__384_16.min1.thm12017-02-06 12:44 448  
[ ]setfam_1__394_63.min1.thm12017-02-06 12:44 482  
[ ]setfam_1__395_34.min1.thm12017-02-06 12:44 631  
[ ]setfam_1__395_34.min1.thm1.tptp2017-02-06 16:47 574  
[ ]setfam_1__397_19.min1.thm12017-02-06 12:44 374  
[ ]setfam_1__397_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]setfam_1__407_56.min1.thm12017-02-06 12:44 529  
[ ]setfam_1__407_56.min1.thm1.tptp2017-02-06 16:47 472  
[ ]setfam_1__408_54.min1.thm12017-02-06 12:44 507  
[ ]setfam_1__408_54.min1.thm1.tptp2017-02-06 16:47 451  
[ ]setfam_1__410_18.min1.thm12017-02-06 12:44 584  
[ ]setfam_1__410_18.min1.thm1.tptp2017-02-06 16:47 535  
[ ]setfam_1__430_42.min1.thm12017-02-06 12:44 492  
[ ]setfam_1__430_42.min1.thm1.tptp2017-02-06 16:47 414  
[ ]setfam_1__431_43.min1.thm12017-02-06 12:44 664  
[ ]setfam_1__432_24.min1.thm12017-02-06 12:44 1.1K 
[ ]setfam_1__436_77.min1.thm12017-02-06 12:44 645  
[ ]setfam_1__436_77.min1.thm1.tptp2017-02-06 16:47 610  
[ ]setfam_1__438_56.min1.thm12017-02-06 12:44 420  
[ ]setfam_1__440_21.min1.thm12017-02-06 12:44 732  
[ ]setfam_1__440_21.min1.thm1.tptp2017-02-06 16:47 682  
[ ]setfam_1__442_16.min1.thm12017-02-06 12:44 448  
[ ]setfam_1__452_63.min1.thm12017-02-06 12:44 482  
[ ]setfam_1__453_34.min1.thm12017-02-06 12:44 631  
[ ]setfam_1__453_34.min1.thm1.tptp2017-02-06 16:47 574  
[ ]setfam_1__455_19.min1.thm12017-02-06 12:44 374  
[ ]setfam_1__455_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]setfam_1__465_56.min1.thm12017-02-06 12:44 529  
[ ]setfam_1__465_56.min1.thm1.tptp2017-02-06 16:47 472  
[ ]setfam_1__466_54.min1.thm12017-02-06 12:44 507  
[ ]setfam_1__466_54.min1.thm1.tptp2017-02-06 16:47 451  
[ ]setfam_1__468_18.min1.thm12017-02-06 12:44 584  
[ ]setfam_1__468_18.min1.thm1.tptp2017-02-06 16:47 535  
[ ]setfam_1__489_25.min1.thm12017-02-06 12:44 375  
[ ]setfam_1__489_25.min1.thm1.tptp2017-02-06 16:47 297  
[ ]setfam_1__490_30.min1.thm12017-02-06 12:44 705  
[ ]setfam_1__491_24.min1.thm12017-02-06 12:44 1.1K 
[ ]setfam_1__495_76.min1.thm12017-02-06 12:44 605  
[ ]setfam_1__495_76.min1.thm1.tptp2017-02-06 16:47 570  
[ ]setfam_1__497_55.min1.thm12017-02-06 12:44 420  
[ ]setfam_1__499_21.min1.thm12017-02-06 12:44 732  
[ ]setfam_1__499_21.min1.thm1.tptp2017-02-06 16:47 682  
[ ]setfam_1__501_16.min1.thm12017-02-06 12:44 448  
[ ]setfam_1__511_62.min1.thm12017-02-06 12:44 482  
[ ]setfam_1__512_34.min1.thm12017-02-06 12:44 631  
[ ]setfam_1__512_34.min1.thm1.tptp2017-02-06 16:47 574  
[ ]setfam_1__514_19.min1.thm12017-02-06 12:44 374  
[ ]setfam_1__514_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]setfam_1__524_12.min1.thm12017-02-06 12:44 259  
[ ]setfam_1__525_17.min1.thm12017-02-06 12:44 631  
[ ]setfam_1__536_19.min1.thm12017-02-06 12:44 511  
[ ]setfam_1__536_19.min1.thm1.tptp2017-02-06 16:47 469  
[ ]setfam_1__538_16.min1.thm12017-02-06 12:44 456  
[ ]setfam_1__549_18.min1.thm12017-02-06 12:44 511  
[ ]setfam_1__549_18.min1.thm1.tptp2017-02-06 16:47 469  
[ ]setfam_1__551_16.min1.thm12017-02-06 12:44 565  
[ ]setfam_1__561_13.min1.thm12017-02-06 12:44 319  
[ ]setfam_1__561_13.min1.thm1.tptp2017-02-06 16:47 236  
[ ]setfam_1__562_15.min1.thm12017-02-06 12:44 690  
[ ]setfam_1__563_15.min1.thm12017-02-06 12:44 783  
[ ]setfam_1__564_16.min1.thm12017-02-06 12:44 412  
[ ]setfam_1__573_45.min1.thm12017-02-06 12:44 721  
[ ]setfam_1__574_25.min1.thm12017-02-06 12:44 1.0K 
[ ]setfam_1__575_21.min1.thm12017-02-06 12:44 552  
[ ]setfam_1__578_20.min1.thm12017-02-06 12:44 566  
[ ]setfam_1__583_45.min1.thm12017-02-06 12:44 628  
[ ]setfam_1__584_25.min1.thm12017-02-06 12:44 941  
[ ]setfam_1__585_21.min1.thm12017-02-06 12:44 459  
[ ]setfam_1__585_21.min1.thm1.tptp2017-02-06 16:47 397  
[ ]setfam_1__587_25.min1.thm12017-02-06 12:44 566  
[ ]setfam_1__588_19.min1.thm12017-02-06 12:44 547  
[ ]setfam_1__590_38.min1.thm12017-02-06 12:44 751  
[ ]setfam_1__596_37.min1.thm12017-02-06 12:44 514  
[ ]setfam_1__596_37.min1.thm1.tptp2017-02-06 16:47 452  
[ ]setfam_1__603_21.min1.thm12017-02-06 12:44 527  
[ ]setfam_1__603_21.min1.thm1.tptp2017-02-06 16:47 485  
[ ]setfam_1__604_26.min1.thm12017-02-06 12:44 921  
[ ]setfam_1__605_21.min1.thm12017-02-06 12:44 559  
[ ]setfam_1__607_19.min1.thm12017-02-06 12:44 1.0K 
[ ]setfam_1__609_17.min1.thm12017-02-06 12:44 686  
[ ]setfam_1__618_13.min1.thm12017-02-06 12:44 270  
[ ]setfam_1__620_31.min1.thm12017-02-06 12:44 905  
[ ]setfam_1__626_30.min1.thm12017-02-06 12:44 488  
[ ]setfam_1__626_30.min1.thm1.tptp2017-02-06 16:47 426  
[ ]setfam_1__633_21.min1.thm12017-02-06 12:44 735  
[ ]setfam_1__634_27.min1.thm12017-02-06 12:44 1.0K 
[ ]setfam_1__635_21.min1.thm12017-02-06 12:44 559  
[ ]setfam_1__637_19.min1.thm12017-02-06 12:44 1.0K 
[ ]setfam_1__647_17.min1.thm12017-02-06 12:44 434  
[ ]setfam_1__647_17.min1.thm1.tptp2017-02-06 16:47 370  
[ ]setfam_1__648_24.min1.thm12017-02-06 12:44 447  
[ ]setfam_1__648_24.min1.thm1.tptp2017-02-06 16:47 383  
[ ]setfam_1__651_18.min1.thm12017-02-06 12:44 571  
[ ]setfam_1__652_15.min1.thm12017-02-06 12:44 272  
[ ]setfam_1__653_36.min1.thm12017-02-06 12:44 580  
[ ]setfam_1__654_23.min1.thm12017-02-06 12:44 1.0K 
[ ]setfam_1__657_17.min1.thm12017-02-06 12:44 773  
[ ]setfam_1__669_33.min1.thm12017-02-06 12:44 588  
[ ]setfam_1__673_19.min1.thm12017-02-06 12:44 727  
[ ]setfam_1__674_14.min1.thm12017-02-06 12:44 585  
[ ]setfam_1__676_21.min1.thm12017-02-06 12:44 473  
[ ]setfam_1__677_13.min1.thm12017-02-06 12:44 344  
[ ]setfam_1__677_13.min1.thm1.tptp2017-02-06 16:47 279  
[ ]setfam_1__678_18.min1.thm12017-02-06 12:44 561  
[ ]setfam_1__679_19.min1.thm12017-02-06 12:44 520  
[ ]setfam_1__686_26.min1.thm12017-02-06 12:44 437  
[ ]setfam_1__686_26.min1.thm1.tptp2017-02-06 16:47 375  
[ ]setfam_1__689_16.min1.thm12017-02-06 12:44 415  
[ ]setfam_1__689_16.min1.thm1.tptp2017-02-06 16:47 360  
[ ]setfam_1__690_13.min1.thm12017-02-06 12:44 426  
[ ]setfam_1__690_13.min1.thm1.tptp2017-02-06 16:47 364  
[ ]setfam_1__692_19.min1.thm12017-02-06 12:44 499  
[ ]setfam_1__693_15.min1.thm12017-02-06 12:44 272  
[ ]setfam_1__694_43.min1.thm12017-02-06 12:44 580  
[ ]setfam_1__695_19.min1.thm12017-02-06 12:44 704  
[ ]setfam_1__697_17.min1.thm12017-02-06 12:44 761  
[ ]setfam_1__704_15.min1.thm12017-02-06 12:44 270  
[ ]setfam_1__707_35.min1.thm12017-02-06 12:44 812  
[ ]setfam_1__717_42.min1.thm12017-02-06 12:44 586  
[ ]setfam_1__718_24.min1.thm12017-02-06 12:44 899  
[ ]setfam_1__719_21.min1.thm12017-02-06 12:44 525  
[ ]setfam_1__721_43.min1.thm12017-02-06 12:44 306  
[ ]setfam_1__723_25.min1.thm12017-02-06 12:44 421  
[ ]setfam_1__723_25.min1.thm1.tptp2017-02-06 16:47 364  
[ ]setfam_1__724_17.min1.thm12017-02-06 12:44 917  
[ ]setfam_1__725_19.min1.thm12017-02-06 12:44 660  
[ ]setfam_1__732_34.min1.thm12017-02-06 12:44 582  
[ ]setfam_1__739_20.min1.thm12017-02-06 12:44 549  
[ ]setfam_1__739_20.min1.thm1.tptp2017-02-06 16:47 507  
[ ]setfam_1__740_30.min1.thm12017-02-06 12:44 737  
[ ]setfam_1__741_21.min1.thm12017-02-06 12:44 657  
[ ]setfam_1__743_19.min1.thm12017-02-06 12:44 938  
[ ]setfam_1__745_17.min1.thm12017-02-06 12:44 674  
[ ]setfam_1__751_15.min1.thm12017-02-06 12:44 270  
[ ]setfam_1__758_31.min1.thm12017-02-06 12:44 495  
[ ]setfam_1__758_31.min1.thm1.tptp2017-02-06 16:47 440  
[ ]setfam_1__762_18.min1.thm12017-02-06 12:44 541  
[ ]setfam_1__762_18.min1.thm1.tptp2017-02-06 16:47 499  
[ ]setfam_1__763_18.min1.thm12017-02-06 12:44 590  
[ ]setfam_1__765_24.min1.thm12017-02-06 12:44 760  
[ ]setfam_1__766_13.min1.thm12017-02-06 12:44 344  
[ ]setfam_1__766_13.min1.thm1.tptp2017-02-06 16:47 279  
[ ]setfam_1__767_19.min1.thm12017-02-06 12:44 795  
[ ]setfam_1__776_29.min1.thm12017-02-06 12:44 539  
[ ]setfam_1__779_18.min1.thm12017-02-06 12:44 571  
[ ]setfam_1__780_18.min1.thm12017-02-06 12:44 639  
[ ]setfam_1__781_35.min1.thm12017-02-06 12:44 578  
[ ]setfam_1__782_19.min1.thm12017-02-06 12:44 610  
[ ]setfam_1__784_17.min1.thm12017-02-06 12:44 674  
[ ]setfam_1__796_33.min1.thm12017-02-06 12:44 473  
[ ]setfam_1__796_33.min1.thm1.tptp2017-02-06 16:47 418  
[ ]setfam_1__800_17.min1.thm12017-02-06 12:44 519  
[ ]setfam_1__800_17.min1.thm1.tptp2017-02-06 16:47 477  
[ ]setfam_1__801_13.min1.thm12017-02-06 12:44 585  
[ ]setfam_1__803_21.min1.thm12017-02-06 12:44 473  
[ ]setfam_1__804_13.min1.thm12017-02-06 12:44 493  
[ ]setfam_1__805_26.min1.thm12017-02-06 12:44 474  
[ ]setfam_1__806_19.min1.thm12017-02-06 12:44 542  
[ ]setfam_1__811_24.min1.thm12017-02-06 12:44 440  
[ ]setfam_1__811_24.min1.thm1.tptp2017-02-06 16:47 378  
[ ]setfam_1__813_26.min1.thm12017-02-06 12:44 407  
[ ]setfam_1__813_26.min1.thm1.tptp2017-02-06 16:47 352  
[ ]setfam_1__814_19.min1.thm12017-02-06 12:44 533  
[ ]setfam_1__816_26.min1.thm12017-02-06 12:44 407  
[ ]setfam_1__816_26.min1.thm1.tptp2017-02-06 16:47 352  
[ ]setfam_1__817_54.min1.thm12017-02-06 12:44 848  
[ ]setfam_1__819_17.min1.thm12017-02-06 12:44 544  
[ ]setfam_1__819_17.min1.thm1.tptp2017-02-06 16:47 482  
[ ]setfam_1__829_31.min1.thm12017-02-06 12:44 763  
[ ]setfam_1__833_37.min1.thm12017-02-06 12:44 504  
[ ]setfam_1__833_37.min1.thm1.tptp2017-02-06 16:47 442  
[ ]setfam_1__840_17.min1.thm12017-02-06 12:44 519  
[ ]setfam_1__840_17.min1.thm1.tptp2017-02-06 16:47 477  
[ ]setfam_1__841_23.min1.thm12017-02-06 12:44 899  
[ ]setfam_1__842_19.min1.thm12017-02-06 12:44 535  
[ ]setfam_1__844_17.min1.thm12017-02-06 12:44 913  
[ ]setfam_1__850_11.min1.thm12017-02-06 12:44 261  
[ ]setfam_1__856_34.min1.thm12017-02-06 12:44 440  
[ ]setfam_1__857_50.min1.thm12017-02-06 12:44 535  
[ ]setfam_1__857_50.min1.thm1.tptp2017-02-06 16:47 493  
[ ]setfam_1__860_42.min1.thm12017-02-06 12:44 504  
[ ]setfam_1__860_42.min1.thm1.tptp2017-02-06 16:47 468  
[ ]setfam_1__861_19.min1.thm12017-02-06 12:44 435  
[ ]setfam_1__861_19.min1.thm1.tptp2017-02-06 16:47 352  
[ ]setfam_1__873_43.min1.thm12017-02-06 12:44 851  
[ ]setfam_1__874_24.min1.thm12017-02-06 12:44 923  
[ ]setfam_1__875_18.min1.thm12017-02-06 12:44 742  
[ ]setfam_1__878_20.min1.thm12017-02-06 12:44 611  
[ ]setfam_1__880_22.min1.thm12017-02-06 12:44 939  
[ ]setfam_1__881_22.min1.thm12017-02-06 12:44 569  
[ ]setfam_1__882_29.min1.thm12017-02-06 12:44 845  
[ ]setfam_1__883_19.min1.thm12017-02-06 12:44 657  
[ ]setfam_1__906_37.min1.thm12017-02-06 12:44 431  
[ ]setfam_1__906_37.min1.thm1.tptp2017-02-06 16:47 376  
[ ]setfam_1__907_18.min1.thm12017-02-06 12:44 800  
[ ]setfam_1__909_16.min1.thm12017-02-06 12:44 379  
[ ]setfam_1__909_16.min1.thm1.tptp2017-02-06 16:47 301  
[ ]setfam_1__920_26.min1.thm12017-02-06 12:44 532  
[ ]setfam_1__923_26.min1.thm12017-02-06 12:44 926  
[ ]setfam_1__924_18.min1.thm12017-02-06 12:44 1.1K 
[ ]setfam_1__926_16.min1.thm12017-02-06 12:44 383  
[ ]setfam_1__926_16.min1.thm1.tptp2017-02-06 16:47 305  
[ ]setfam_1__939_19.min1.thm12017-02-06 12:44 626  
[ ]setfam_1__943_17.min1.thm12017-02-06 12:44 618  
[ ]setfam_1__966_27.min1.thm12017-02-06 12:44 558  
[ ]setfam_1__966_27.min1.thm1.tptp2017-02-06 16:47 481  
[ ]setfam_1__967_32.min1.thm12017-02-06 12:44 707  
[ ]setfam_1__969_19.min1.thm12017-02-06 12:44 910  
[ ]setfam_1__976_11.min1.thm12017-02-06 12:44 456  
[ ]setfam_1__976_11.min1.thm1.tptp2017-02-06 16:47 382  
[ ]setfam_1__977_19.min1.thm12017-02-06 12:44 818  
[ ]setfam_1__987_37.min1.thm12017-02-06 12:44 797  
[ ]setfam_1__988_9.min1.thm12017-02-06 12:44 436  
[ ]setfam_1__988_9.min1.thm1.tptp2017-02-06 16:47 362  
[ ]setfam_1__989_17.min1.thm12017-02-06 12:44 2.0K 
[ ]setfam_1__1008_38.min1.thm12017-02-06 12:44 680  
[ ]setfam_1__1009_16.min1.thm12017-02-06 12:44 1.0K 
[ ]setfam_1__1010_25.min1.thm12017-02-06 12:44 431  
[ ]setfam_1__1010_25.min1.thm1.tptp2017-02-06 16:47 348  
[ ]setfam_1__1011_21.min1.thm12017-02-06 12:44 809  
[ ]setfam_1__1018_36.min1.thm12017-02-06 12:44 490  
[ ]setfam_1__1019_11.min1.thm12017-02-06 12:44 446  
[ ]setfam_1__1019_11.min1.thm1.tptp2017-02-06 16:47 372  
[ ]setfam_1__1020_31.min1.thm12017-02-06 12:44 1.2K 
[ ]setfam_1__1021_19.min1.thm12017-02-06 12:44 474  
[ ]setfam_1__1021_19.min1.thm1.tptp2017-02-06 16:47 393  
[ ]setfam_1__1022_19.min1.thm12017-02-06 12:44 711  
[ ]setfam_1__1026_26.min1.thm12017-02-06 12:44 498  
[ ]setfam_1__1032_28.min1.thm12017-02-06 12:44 781  
[ ]setfam_1__1033_44.min1.thm12017-02-06 12:44 681  
[ ]setfam_1__1034_52.min1.thm12017-02-06 12:44 1.3K 
[ ]setfam_1__1035_19.min1.thm12017-02-06 12:44 1.0K 
[ ]setfam_1__1042_57.min1.thm12017-02-06 12:44 1.1K 
[ ]setfam_1__1043_44.min1.thm12017-02-06 12:44 1.0K 
[ ]setfam_1__1044_28.min1.thm12017-02-06 12:44 681  
[ ]setfam_1__1045_19.min1.thm12017-02-06 12:44 1.6K 
[ ]setfam_1__1047_17.min1.thm12017-02-06 12:44 884  
[ ]setfam_1__1060_27.min1.thm12017-02-06 12:44 781  
[ ]setfam_1__1063_17.min1.thm12017-02-06 12:44 831  
[ ]setfam_1__1064_34.min1.thm12017-02-06 12:44 490  
[ ]setfam_1__1065_27.min1.thm12017-02-06 12:44 131  
[ ]setfam_1__1066_11.min1.thm12017-02-06 12:44 446  
[ ]setfam_1__1066_11.min1.thm1.tptp2017-02-06 16:47 372  
[ ]setfam_1__1072_19.min1.thm12017-02-06 12:44 887  
[ ]setfam_1__1081_25.min1.thm12017-02-06 12:44 886  
[ ]setfam_1__1082_34.min1.thm12017-02-06 12:44 672  
[ ]setfam_1__1083_27.min1.thm12017-02-06 12:44 131  
[ ]setfam_1__1087_20.min1.thm12017-02-06 12:44 1.2K 
[ ]setfam_1__1088_20.min1.thm12017-02-06 12:44 867  
[ ]setfam_1__1090_27.min1.thm12017-02-06 12:44 962  
[ ]setfam_1__1091_19.min1.thm12017-02-06 12:44 1.6K 
[ ]setfam_1__1093_17.min1.thm12017-02-06 12:44 884  
[ ]setfam_1__1105_9.min1.thm12017-02-06 12:44 436  
[ ]setfam_1__1105_9.min1.thm1.tptp2017-02-06 16:47 362  
[ ]setfam_1__1106_17.min1.thm12017-02-06 12:44 1.1K 
[ ]setfam_1__1118_38.min1.thm12017-02-06 12:44 482  
[ ]setfam_1__1119_33.min1.thm12017-02-06 12:44 617  
[ ]setfam_1__1120_28.min1.thm12017-02-06 12:44 1.0K 
[ ]setfam_1__1121_18.min1.thm12017-02-06 12:44 1.5K 
[ ]setfam_1__1122_14.min1.thm12017-02-06 12:44 591  
[ ]setfam_1__1132_48.min1.thm12017-02-06 12:44 611  
[ ]setfam_1__1133_30.min1.thm12017-02-06 12:44 1.1K 
[ ]setfam_1__1136_46.min1.thm12017-02-06 12:44 607  
[ ]setfam_1__1137_17.min1.thm12017-02-06 12:44 1.1K 
[ ]setfam_1__1146_35.min1.thm12017-02-06 12:44 587  
[ ]setfam_1__1146_40.min1.thm12017-02-06 12:44 464  
[ ]setfam_1__1146_40.min1.thm1.tptp2017-02-06 16:47 390  
[ ]setfam_1__1158_68.min1.thm12017-02-06 12:44 1.4K 
[ ]setfam_1__1159_19.min1.thm12017-02-06 12:44 1.7K 
[ ]setfam_1__1170_12.min1.thm12017-02-06 12:44 223  
[ ]setfam_1__1171_51.min1.thm12017-02-06 12:44 706  
[ ]setfam_1__1172_36.min1.thm12017-02-06 12:44 301  
[ ]setfam_1__1178_21.min1.thm12017-02-06 12:44 555  
[ ]setfam_1__1179_22.min1.thm12017-02-06 12:44 777  
[ ]setfam_1__1183_16.min1.thm12017-02-06 12:44 533  
[ ]setfam_1__1184_11.min1.thm12017-02-06 12:44 448  
[ ]setfam_1__1184_11.min1.thm1.tptp2017-02-06 16:47 374  
[ ]setfam_1__1184_20.min1.thm12017-02-06 12:44 942  
[ ]setfam_1__1185_19.min1.thm12017-02-06 12:44 471  
[ ]setfam_1__1196_55.min1.thm12017-02-06 12:44 912  
[ ]setfam_1__1215_28.min1.thm12017-02-06 12:44 243  
[ ]setfam_1__1299_34.min1.thm12017-02-06 12:44 427  
[ ]setfam_1__1300_28.min1.thm12017-02-06 12:44 457  
[ ]setfam_1__1300_28.min1.thm1.tptp2017-02-06 16:47 392  
[ ]setfam_1__1301_19.min1.thm12017-02-06 12:44 377  
[ ]setfam_1__1301_19.min1.thm1.tptp2017-02-06 16:47 294  
[ ]setfam_1__1317_24.min1.thm12017-02-06 12:44 466  
[ ]setfam_1__1318_19.min1.thm12017-02-06 12:44 842  
[ ]setfam_1__1330_34.min1.thm12017-02-06 12:44 632  
[ ]setfam_1__1331_40.min1.thm12017-02-06 12:44 504  
[ ]setfam_1__1331_40.min1.thm1.tptp2017-02-06 16:47 424  
[ ]setfam_1__1333_44.min1.thm12017-02-06 12:44 658  
[ ]setfam_1__1335_26.min1.thm12017-02-06 12:44 403  
[ ]setfam_1__1335_26.min1.thm1.tptp2017-02-06 16:47 339  
[ ]setfam_1__1337_24.min1.thm12017-02-06 12:44 468  
[ ]setfam_1__1338_28.min1.thm12017-02-06 12:44 292  
[ ]setfam_1__1339_17.min1.thm12017-02-06 12:44 849  
[ ]setfam_1__1352_10.min1.thm12017-02-06 12:44 238  
[ ]setfam_1__1353_16.min1.thm12017-02-06 12:44 746  
[ ]setfam_1__1355_13.min1.thm12017-02-06 12:44 131  
[ ]setfam_1__1371_32.min1.thm12017-02-06 12:44 787  
[ ]setfam_1__1372_19.min1.thm12017-02-06 12:44 1.1K 
[ ]setfam_1__1376_11.min1.thm12017-02-06 12:44 189  
[ ]setfam_1__1379_23.min1.thm12017-02-06 12:44 826  
[ ]setfam_1__1380_19.min1.thm12017-02-06 12:44 673  
[ ]setfam_1__1384_19.min1.thm12017-02-06 12:44 637  
[ ]setfam_1__1398_45.min1.thm12017-02-06 12:44 1.4K 
[ ]setfam_1__1399_17.min1.thm12017-02-06 12:44 1.3K 
[ ]setfam_1__1407_14.min1.thm12017-02-06 12:44 530  
[ ]setfam_1__1431_18.min1.thm12017-02-06 12:44 288  
[ ]setfam_1__1441_46.min1.thm12017-02-06 12:44 365  
[ ]setfam_1__1441_46.min1.thm1.tptp2017-02-06 16:47 294  
[ ]setfam_1__1442_16.min1.thm12017-02-06 12:44 337  
[ ]setfam_1__1442_16.min1.thm1.tptp2017-02-06 16:47 263  
[ ]setfam_1__1453_41.min1.thm12017-02-06 12:44 356  
[ ]setfam_1__1453_41.min1.thm1.tptp2017-02-06 16:47 285  
[ ]setfam_1__1454_16.min1.thm12017-02-06 12:44 359  
[ ]setfam_1__1454_16.min1.thm1.tptp2017-02-06 16:47 293  
[ ]setfam_1__1466_19.min1.thm12017-02-06 12:44 598  
[ ]setfam_1__1467_16.min1.thm12017-02-06 12:44 940  
[ ]setfam_1__1482_16.min1.thm12017-02-06 12:44 511  
[ ]setfam_1__1483_36.min1.thm12017-02-06 12:44 680  
[ ]setfam_1__1485_18.min1.thm12017-02-06 12:44 413  
[ ]setfam_1__1499_18.min1.thm12017-02-06 12:44 324  
[ ]setfam_1__1499_18.min1.thm1.tptp2017-02-06 16:47 247  
[ ]setfam_1__1512_21.min1.thm12017-02-06 12:44 536  
[ ]setfam_1__1513_18.min1.thm12017-02-06 12:44 612  
[ ]setfam_1__1515_16.min1.thm12017-02-06 12:44 635  
[ ]setfam_1__1523_12.min1.thm12017-02-06 12:44 223  
[ ]setfam_1__1524_17.min1.thm12017-02-06 12:44 706  
[ ]setfam_1__1545_17.min1.thm12017-02-06 12:44 487  
[ ]setfam_1__1554_51.min1.thm12017-02-06 12:44 306  
[ ]setfam_1__1567_28.min1.thm12017-02-06 12:44 959  
[ ]setfam_1__1581_15.min1.thm12017-02-06 12:44 406  
[ ]setfam_1__1581_15.min1.thm1.tptp2017-02-06 16:47 350  
[ ]setfam_1__1582_27.min1.thm12017-02-06 12:44 276  
[ ]setfam_1__1583_19.min1.thm12017-02-06 12:44 580  
[ ]setfam_1__1592_14.min1.thm12017-02-06 12:44 369  
[ ]setfam_1__1592_14.min1.thm1.tptp2017-02-06 16:47 297  
[ ]setfam_1__1608_32.min1.thm12017-02-06 12:44 378  
[ ]setfam_1__1608_32.min1.thm1.tptp2017-02-06 16:47 311  
[ ]setfam_1__1611_13.min1.thm12017-02-06 12:44 432  
[ ]setfam_1__1612_19.min1.thm12017-02-06 12:44 584  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80