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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pralg_2__50_20.min1.thm12017-02-06 12:45 752  
[ ]pralg_2__51_19.min1.thm12017-02-06 12:45 765  
[ ]pralg_2__61_20.min1.thm12017-02-06 12:45 752  
[ ]pralg_2__62_19.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__81_60.min1.thm12017-02-06 12:45 288  
[ ]pralg_2__91_18.min1.thm12017-02-06 12:45 539  
[ ]pralg_2__91_18.min1.thm1.tptp2017-02-06 16:47 494  
[ ]pralg_2__92_39.min1.thm12017-02-06 12:45 525  
[ ]pralg_2__92_39.min1.thm1.tptp2017-02-06 16:47 470  
[ ]pralg_2__94_17.min1.thm12017-02-06 12:45 455  
[ ]pralg_2__94_17.min1.thm1.tptp2017-02-06 16:47 390  
[ ]pralg_2__106_55.min1.thm12017-02-06 12:45 640  
[ ]pralg_2__107_39.min1.thm12017-02-06 12:45 341  
[ ]pralg_2__109_42.min1.thm12017-02-06 12:45 659  
[ ]pralg_2__112_14.min1.thm12017-02-06 12:45 588  
[ ]pralg_2__112_14.min1.thm1.tptp2017-02-06 16:47 536  
[ ]pralg_2__114_18.min1.thm12017-02-06 12:45 574  
[ ]pralg_2__114_18.min1.thm1.tptp2017-02-06 16:47 531  
[ ]pralg_2__127_73.min1.thm12017-02-06 12:45 504  
[ ]pralg_2__128_40.min1.thm12017-02-06 12:45 669  
[ ]pralg_2__128_40.min1.thm1.tptp2017-02-06 16:47 606  
[ ]pralg_2__131_21.min1.thm12017-02-06 12:45 414  
[ ]pralg_2__131_21.min1.thm1.tptp2017-02-06 16:47 354  
[ ]pralg_2__138_22.min1.thm12017-02-06 12:45 634  
[ ]pralg_2__139_39.min1.thm12017-02-06 12:45 907  
[ ]pralg_2__140_17.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__142_19.min1.thm12017-02-06 12:45 841  
[ ]pralg_2__159_20.min1.thm12017-02-06 12:45 547  
[ ]pralg_2__160_21.min1.thm12017-02-06 12:45 335  
[ ]pralg_2__160_21.min1.thm1.tptp2017-02-06 16:47 270  
[ ]pralg_2__165_13.min1.thm12017-02-06 12:45 327  
[ ]pralg_2__165_13.min1.thm1.tptp2017-02-06 16:47 262  
[ ]pralg_2__166_18.min1.thm12017-02-06 12:45 347  
[ ]pralg_2__166_18.min1.thm1.tptp2017-02-06 16:47 282  
[ ]pralg_2__167_19.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__174_18.min1.thm12017-02-06 12:45 327  
[ ]pralg_2__174_18.min1.thm1.tptp2017-02-06 16:47 262  
[ ]pralg_2__175_19.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__177_17.min1.thm12017-02-06 12:45 926  
[ ]pralg_2__188_35.min1.thm12017-02-06 12:45 942  
[ ]pralg_2__194_42.min1.thm12017-02-06 12:45 942  
[ ]pralg_2__197_18.min1.thm12017-02-06 12:45 706  
[ ]pralg_2__197_18.min1.thm1.tptp2017-02-06 16:47 640  
[ ]pralg_2__199_19.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__210_54.min1.thm12017-02-06 12:45 627  
[ ]pralg_2__211_20.min1.thm12017-02-06 12:45 606  
[ ]pralg_2__213_18.min1.thm12017-02-06 12:45 482  
[ ]pralg_2__216_29.min1.thm12017-02-06 12:45 496  
[ ]pralg_2__216_29.min1.thm1.tptp2017-02-06 16:47 444  
[ ]pralg_2__229_22.min1.thm12017-02-06 12:45 645  
[ ]pralg_2__235_31.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__236_33.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__238_26.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__239_32.min1.thm12017-02-06 12:45 939  
[ ]pralg_2__240_27.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__252_19.min1.thm12017-02-06 12:45 628  
[ ]pralg_2__254_25.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__256_20.min1.thm12017-02-06 12:45 227  
[ ]pralg_2__258_36.min1.thm12017-02-06 12:45 705  
[ ]pralg_2__262_29.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__263_31.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__265_24.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__266_32.min1.thm12017-02-06 12:45 694  
[ ]pralg_2__267_25.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__268_33.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__270_29.min1.thm12017-02-06 12:45 716  
[ ]pralg_2__285_37.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__286_37.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_2__288_19.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__306_15.min1.thm12017-02-06 12:45 858  
[ ]pralg_2__309_31.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__310_31.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__311_31.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__333_20.min1.thm12017-02-06 12:45 828  
[ ]pralg_2__340_24.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__344_30.min1.thm12017-02-06 12:45 790  
[ ]pralg_2__345_18.min1.thm12017-02-06 12:45 621  
[ ]pralg_2__347_34.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__356_50.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_2__363_19.min1.thm12017-02-06 12:45 393  
[ ]pralg_2__363_19.min1.thm1.tptp2017-02-06 16:47 323  
[ ]pralg_2__364_32.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__365_17.min1.thm12017-02-06 12:45 596  
[ ]pralg_2__366_23.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_2__372_28.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__374_38.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__376_41.min1.thm12017-02-06 12:45 641  
[ ]pralg_2__376_41.min1.thm1.tptp2017-02-06 16:47 573  
[ ]pralg_2__377_30.min1.thm12017-02-06 12:45 791  
[ ]pralg_2__378_18.min1.thm12017-02-06 12:45 621  
[ ]pralg_2__380_34.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__389_50.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_2__396_19.min1.thm12017-02-06 12:45 393  
[ ]pralg_2__396_19.min1.thm1.tptp2017-02-06 16:47 323  
[ ]pralg_2__397_32.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__398_17.min1.thm12017-02-06 12:45 596  
[ ]pralg_2__399_23.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_2__401_30.min1.thm12017-02-06 12:45 791  
[ ]pralg_2__402_39.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__406_33.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__407_56.min1.thm12017-02-06 12:45 935  
[ ]pralg_2__408_54.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__412_21.min1.thm12017-02-06 12:45 806  
[ ]pralg_2__417_18.min1.thm12017-02-06 12:45 944  
[ ]pralg_2__458_50.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__459_44.min1.thm12017-02-06 12:45 954  
[ ]pralg_2__460_19.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__462_26.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__463_26.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__464_19.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__465_33.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__467_28.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__470_17.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__474_41.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_2__482_19.min1.thm12017-02-06 12:45 2.3K 
[ ]pralg_2__484_26.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__485_26.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__486_19.min1.thm12017-02-06 12:45 2.4K 
[ ]pralg_2__487_33.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__490_28.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__493_24.min1.thm12017-02-06 12:45 2.8K 
[ ]pralg_2__496_51.min1.thm12017-02-06 12:45 878  
[ ]pralg_2__502_50.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__503_44.min1.thm12017-02-06 12:45 954  
[ ]pralg_2__504_19.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__507_19.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__509_26.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__511_26.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__512_28.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__515_28.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__518_24.min1.thm12017-02-06 12:45 2.9K 
[ ]pralg_2__519_21.min1.thm12017-02-06 12:45 4.8K 
[ ]pralg_2__524_18.min1.thm12017-02-06 12:45 2.2K 
[ ]pralg_2__541_50.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__542_44.min1.thm12017-02-06 12:45 954  
[ ]pralg_2__543_19.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__545_26.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__546_26.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__547_19.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__548_33.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__551_28.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__554_24.min1.thm12017-02-06 12:45 2.7K 
[ ]pralg_2__555_21.min1.thm12017-02-06 12:45 2.8K 
[ ]pralg_2__576_38.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__580_19.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__588_14.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__595_11.min1.thm12017-02-06 12:45 130  
[ ]pralg_2__604_8.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__608_51.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_2__609_24.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__610_19.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__620_11.min1.thm12017-02-06 12:45 130  
[ ]pralg_2__631_42.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_2__632_19.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__656_27.min1.thm12017-02-06 12:45 911  
[ ]pralg_2__658_58.min1.thm12017-02-06 12:45 937  
[ ]pralg_2__660_31.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_2__661_31.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_2__665_29.min1.thm12017-02-06 12:45 841  
[ ]pralg_2__667_33.min1.thm12017-02-06 12:45 829  
[ ]pralg_2__678_67.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__679_14.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__710_45.min1.thm12017-02-06 12:45 293  
[ ]pralg_2__710_45.min1.thm1.tptp2017-02-06 16:47 213  
[ ]pralg_2__711_51.min1.thm12017-02-06 12:45 360  
[ ]pralg_2__711_51.min1.thm1.tptp2017-02-06 16:47 274  
[ ]pralg_2__716_43.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__720_45.min1.thm12017-02-06 12:45 423  
[ ]pralg_2__721_47.min1.thm12017-02-06 12:45 868  
[ ]pralg_2__723_50.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_2__728_18.min1.thm12017-02-06 12:45 627  
[ ]pralg_2__744_45.min1.thm12017-02-06 12:45 348  
[ ]pralg_2__744_45.min1.thm1.tptp2017-02-06 16:47 270  
[ ]pralg_2__747_2.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__748_20.min1.thm12017-02-06 12:45 781  
[ ]pralg_2__748_20.min1.thm1.tptp2017-02-06 16:47 719  
[ ]pralg_2__750_20.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__752_15.min1.thm12017-02-06 12:45 260  
[ ]pralg_2__754_13.min1.thm12017-02-06 12:45 130  
[ ]pralg_2__769_39.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__786_58.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__789_18.min1.thm12017-02-06 12:45 617  
[ ]pralg_2__789_18.min1.thm1.tptp2017-02-06 16:47 551  
[ ]pralg_2__801_47.min1.thm12017-02-06 12:45 366  
[ ]pralg_2__801_47.min1.thm1.tptp2017-02-06 16:47 288  
[ ]pralg_2__802_36.min1.thm12017-02-06 12:45 566  
[ ]pralg_2__802_36.min1.thm1.tptp2017-02-06 16:47 489  
[ ]pralg_2__803_21.min1.thm12017-02-06 12:45 791  
[ ]pralg_2__805_19.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__817_44.min1.thm12017-02-06 12:45 358  
[ ]pralg_2__817_44.min1.thm1.tptp2017-02-06 16:47 280  
[ ]pralg_2__818_41.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__819_16.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__833_52.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__836_45.min1.thm12017-02-06 12:45 293  
[ ]pralg_2__836_45.min1.thm1.tptp2017-02-06 16:47 213  
[ ]pralg_2__837_51.min1.thm12017-02-06 12:45 360  
[ ]pralg_2__837_51.min1.thm1.tptp2017-02-06 16:47 274  
[ ]pralg_2__845_49.min1.thm12017-02-06 12:45 846  
[ ]pralg_2__846_36.min1.thm12017-02-06 12:45 626  
[ ]pralg_2__846_36.min1.thm1.tptp2017-02-06 16:47 549  
[ ]pralg_2__849_53.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__853_45.min1.thm12017-02-06 12:45 423  
[ ]pralg_2__854_47.min1.thm12017-02-06 12:45 869  
[ ]pralg_2__856_48.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_2__861_18.min1.thm12017-02-06 12:45 704  
[ ]pralg_2__877_45.min1.thm12017-02-06 12:45 348  
[ ]pralg_2__877_45.min1.thm1.tptp2017-02-06 16:47 270  
[ ]pralg_2__879_74.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__881_20.min1.thm12017-02-06 12:45 727  
[ ]pralg_2__881_20.min1.thm1.tptp2017-02-06 16:47 665  
[ ]pralg_2__883_20.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__885_15.min1.thm12017-02-06 12:45 260  
[ ]pralg_2__887_13.min1.thm12017-02-06 12:45 130  
[ ]pralg_2__895_11.min1.thm12017-02-06 12:45 186  
[ ]pralg_2__906_37.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__911_15.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_2__912_21.min1.thm12017-02-06 12:45 834  
[ ]pralg_2__918_16.min1.thm12017-02-06 12:45 669  
[ ]pralg_2__919_29.min1.thm12017-02-06 12:45 649  
[ ]pralg_2__920_35.min1.thm12017-02-06 12:45 716  
[ ]pralg_2__930_20.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__931_19.min1.thm12017-02-06 12:45 752  
[ ]pralg_2__943_36.min1.thm12017-02-06 12:45 672  
[ ]pralg_2__958_38.min1.thm12017-02-06 12:45 676  
[ ]pralg_2__959_13.min1.thm12017-02-06 12:45 190  
[ ]pralg_2__962_58.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__965_23.min1.thm12017-02-06 12:45 902  
[ ]pralg_2__965_23.min1.thm1.tptp2017-02-06 16:47 858  
[ ]pralg_2__966_26.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__971_43.min1.thm12017-02-06 12:45 943  
[ ]pralg_2__976_48.min1.thm12017-02-06 12:45 557  
[ ]pralg_2__977_33.min1.thm12017-02-06 12:45 550  
[ ]pralg_2__981_25.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__984_25.min1.thm12017-02-06 12:45 823  
[ ]pralg_2__987_21.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__991_54.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__992_15.min1.thm12017-02-06 12:45 726  
[ ]pralg_2__993_28.min1.thm12017-02-06 12:45 805  
[ ]pralg_2__994_34.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__995_18.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__995_18.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]pralg_2__1008_29.min1.thm12017-02-06 12:45 510  
[ ]pralg_2__1011_22.min1.thm12017-02-06 12:45 672  
[ ]pralg_2__1013_21.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__1014_18.min1.thm12017-02-06 12:45 736  
[ ]pralg_2__1020_18.min1.thm12017-02-06 12:45 718  
[ ]pralg_2__1022_20.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__1023_17.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_2__1034_71.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_2__1047_21.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__1050_45.min1.thm12017-02-06 12:45 385  
[ ]pralg_2__1054_50.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__1060_27.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_2__1067_20.min1.thm12017-02-06 12:45 2.2K 
[ ]pralg_2__1068_29.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_2__1069_11.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__1072_49.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__1073_20.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__1074_32.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__1094_21.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__1097_45.min1.thm12017-02-06 12:45 385  
[ ]pralg_2__1101_50.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__1105_53.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__1106_20.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__1121_14.min1.thm12017-02-06 12:45 580  
[ ]pralg_2__1129_26.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__1131_56.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__1133_21.min1.thm12017-02-06 12:45 713  
[ ]pralg_2__1138_33.min1.thm12017-02-06 12:45 2.5K 
[ ]pralg_2__1147_15.min1.thm12017-02-06 12:45 594  
[ ]pralg_2__1148_19.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_2__1151_22.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__1152_25.min1.thm12017-02-06 12:45 3.3K 
[ ]pralg_2__1155_64.min1.thm12017-02-06 12:45 940  
[ ]pralg_2__1157_4.min1.thm12017-02-06 12:45 597  
[ ]pralg_2__1157_4.min1.thm1.tptp2017-02-06 16:47 519  
[ ]pralg_2__1159_17.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_2__1171_45.min1.thm12017-02-06 12:45 385  
[ ]pralg_2__1175_50.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__1179_47.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__1180_11.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__1181_21.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__1189_17.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_2__1210_46.min1.thm12017-02-06 12:45 366  
[ ]pralg_2__1210_46.min1.thm1.tptp2017-02-06 16:47 288  
[ ]pralg_2__1214_18.min1.thm12017-02-06 12:45 831  
[ ]pralg_2__1214_18.min1.thm1.tptp2017-02-06 16:47 749  
[ ]pralg_2__1218_41.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__1223_49.min1.thm12017-02-06 12:45 908  
[ ]pralg_2__1224_15.min1.thm12017-02-06 12:45 260  
[ ]pralg_2__1227_75.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_2__1228_29.min1.thm12017-02-06 12:45 733  
[ ]pralg_2__1228_29.min1.thm1.tptp2017-02-06 16:47 679  
[ ]pralg_2__1229_20.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__1233_76.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_2__1234_36.min1.thm12017-02-06 12:45 747  
[ ]pralg_2__1234_36.min1.thm1.tptp2017-02-06 16:47 691  
[ ]pralg_2__1235_20.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_2__1238_51.min1.thm12017-02-06 12:45 949  
[ ]pralg_2__1241_45.min1.thm12017-02-06 12:45 293  
[ ]pralg_2__1241_45.min1.thm1.tptp2017-02-06 16:47 213  
[ ]pralg_2__1242_51.min1.thm12017-02-06 12:45 360  
[ ]pralg_2__1242_51.min1.thm1.tptp2017-02-06 16:47 274  
[ ]pralg_2__1247_48.min1.thm12017-02-06 12:45 374  
[ ]pralg_2__1247_48.min1.thm1.tptp2017-02-06 16:47 296  
[ ]pralg_2__1256_69.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__1263_48.min1.thm12017-02-06 12:45 899  
[ ]pralg_2__1264_55.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__1265_29.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__1268_17.min1.thm12017-02-06 12:45 266  
[ ]pralg_2__1278_27.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__1279_48.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__1282_26.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__1285_29.min1.thm12017-02-06 12:45 699  
[ ]pralg_2__1285_29.min1.thm1.tptp2017-02-06 16:47 621  
[ ]pralg_2__1289_53.min1.thm12017-02-06 12:45 964  
[ ]pralg_2__1289_53.min1.thm1.tptp2017-02-06 16:47 886  
[ ]pralg_2__1292_47.min1.thm12017-02-06 12:45 2.4K 
[ ]pralg_2__1300_27.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__1302_50.min1.thm12017-02-06 12:45 2.3K 
[ ]pralg_2__1326_26.min1.thm12017-02-06 12:45 1.4K 
[ ]pralg_2__1340_24.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_2__1342_14.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_2__1343_31.min1.thm12017-02-06 12:45 747  
[ ]pralg_2__1343_31.min1.thm1.tptp2017-02-06 16:47 693  
[ ]pralg_2__1344_25.min1.thm12017-02-06 12:45 2.3K 
[ ]pralg_2__1358_46.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_2__1359_27.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__1361_51.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_2__1373_38.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_2__1374_61.min1.thm12017-02-06 12:45 853  
[ ]pralg_2__1375_33.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__1387_65.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_2__1391_76.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__1394_33.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__1407_40.min1.thm12017-02-06 12:45 1.9K 
[ ]pralg_2__1412_39.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__1413_49.min1.thm12017-02-06 12:45 2.4K 
[ ]pralg_2__1414_44.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__1432_24.min1.thm12017-02-06 12:45 728  
[ ]pralg_2__1433_31.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_2__1434_61.min1.thm12017-02-06 12:45 845  
[ ]pralg_2__1436_44.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__1437_38.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__1449_26.min1.thm12017-02-06 12:45 748  
[ ]pralg_2__1450_52.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_2__1455_64.min1.thm12017-02-06 12:45 2.7K 
[ ]pralg_2__1456_44.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__1460_30.min1.thm12017-02-06 12:45 1.0K 
[ ]pralg_2__1461_31.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_2__1463_41.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__1464_29.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_2__1467_49.min1.thm12017-02-06 12:45 2.2K 
[ ]pralg_2__1481_46.min1.thm12017-02-06 12:45 899  
[ ]pralg_2__1482_28.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__1485_19.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_2__1486_55.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_2__1492_38.min1.thm12017-02-06 12:45 2.1K 
[ ]pralg_2__1493_62.min1.thm12017-02-06 12:45 853  
[ ]pralg_2__1494_35.min1.thm12017-02-06 12:45 3.3K 
[ ]pralg_2__1495_31.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_2__1499_34.min1.thm12017-02-06 12:45 2.0K 
[ ]pralg_2__1504_45.min1.thm12017-02-06 12:45 1.3K 
[ ]pralg_2__1530_39.min1.thm12017-02-06 12:45 632  
[ ]pralg_2__1531_70.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_2__1533_67.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_2__1539_27.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_2__1548_62.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__1550_26.min1.thm12017-02-06 12:45 1.6K 
[ ]pralg_2__1551_29.min1.thm12017-02-06 12:45 2.6K 
[ ]pralg_2__1553_23.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_2__1557_14.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_2__1558_38.min1.thm12017-02-06 12:45 761  
[ ]pralg_2__1558_38.min1.thm1.tptp2017-02-06 16:47 705  
[ ]pralg_2__1559_25.min1.thm12017-02-06 12:45 2.5K 
[ ]pralg_2__1565_75.min1.thm12017-02-06 12:45 1.8K 
[ ]pralg_2__1588_61.min1.thm12017-02-06 12:45 374  
[ ]pralg_2__1588_61.min1.thm1.tptp2017-02-06 16:47 296  
[ ]pralg_2__1590_12.min1.thm12017-02-06 12:45 908  
[ ]pralg_2__1590_12.min1.thm1.tptp2017-02-06 16:47 831  
[ ]pralg_2__1591_23.min1.thm12017-02-06 12:45 1.1K 
[ ]pralg_2__1605_58.min1.thm12017-02-06 12:45 1.7K 
[ ]pralg_2__1606_34.min1.thm12017-02-06 12:45 1.2K 
[ ]pralg_2__1607_20.min1.thm12017-02-06 12:45 1.5K 
[ ]pralg_2__1616_13.min1.thm12017-02-06 12:45 130  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80