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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rat_1__47_78.min1.thm12017-02-06 12:46 368  
[ ]rat_1__47_78.min1.thm1.tptp2017-02-06 16:47 294  
[ ]rat_1__53_11.min1.thm12017-02-06 12:46 306  
[ ]rat_1__53_11.min1.thm1.tptp2017-02-06 16:47 227  
[ ]rat_1__56_19.min1.thm12017-02-06 12:46 1.4K 
[ ]rat_1__61_21.min1.thm12017-02-06 12:46 969  
[ ]rat_1__63_16.min1.thm12017-02-06 12:46 1.1K 
[ ]rat_1__64_19.min1.thm12017-02-06 12:46 1.7K 
[ ]rat_1__72_29.min1.thm12017-02-06 12:46 1.9K 
[ ]rat_1__73_20.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__74_13.min1.thm12017-02-06 12:46 1.2K 
[ ]rat_1__76_14.min1.thm12017-02-06 12:46 678  
[ ]rat_1__77_20.min1.thm12017-02-06 12:46 866  
[ ]rat_1__80_21.min1.thm12017-02-06 12:46 860  
[ ]rat_1__81_15.min1.thm12017-02-06 12:46 390  
[ ]rat_1__82_14.min1.thm12017-02-06 12:46 390  
[ ]rat_1__83_61.min1.thm12017-02-06 12:46 781  
[ ]rat_1__85_15.min1.thm12017-02-06 12:46 1.1K 
[ ]rat_1__86_16.min1.thm12017-02-06 12:46 390  
[ ]rat_1__87_50.min1.thm12017-02-06 12:46 761  
[ ]rat_1__91_15.min1.thm12017-02-06 12:46 1.7K 
[ ]rat_1__93_15.min1.thm12017-02-06 12:46 456  
[ ]rat_1__94_13.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__96_16.min1.thm12017-02-06 12:46 700  
[ ]rat_1__97_16.min1.thm12017-02-06 12:46 800  
[ ]rat_1__105_18.min1.thm12017-02-06 12:46 866  
[ ]rat_1__112_15.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__113_21.min1.thm12017-02-06 12:46 709  
[ ]rat_1__115_41.min1.thm12017-02-06 12:46 1.8K 
[ ]rat_1__116_26.min1.thm12017-02-06 12:46 1.1K 
[ ]rat_1__117_21.min1.thm12017-02-06 12:46 1.2K 
[ ]rat_1__118_14.min1.thm12017-02-06 12:46 1.2K 
[ ]rat_1__120_16.min1.thm12017-02-06 12:46 687  
[ ]rat_1__122_17.min1.thm12017-02-06 12:46 868  
[ ]rat_1__132_51.min1.thm12017-02-06 12:46 1.4K 
[ ]rat_1__133_36.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__134_47.min1.thm12017-02-06 12:46 1.8K 
[ ]rat_1__135_35.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__136_28.min1.thm12017-02-06 12:46 1.4K 
[ ]rat_1__137_14.min1.thm12017-02-06 12:46 1.1K 
[ ]rat_1__138_22.min1.thm12017-02-06 12:46 552  
[ ]rat_1__139_27.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__144_10.min1.thm12017-02-06 12:46 461  
[ ]rat_1__146_45.min1.thm12017-02-06 12:46 483  
[ ]rat_1__152_11.min1.thm12017-02-06 12:46 175  
[ ]rat_1__155_19.min1.thm12017-02-06 12:46 789  
[ ]rat_1__160_16.min1.thm12017-02-06 12:46 606  
[ ]rat_1__161_25.min1.thm12017-02-06 12:46 616  
[ ]rat_1__163_24.min1.thm12017-02-06 12:46 1.0K 
[ ]rat_1__166_26.min1.thm12017-02-06 12:46 866  
[ ]rat_1__170_23.min1.thm12017-02-06 12:46 647  
[ ]rat_1__171_31.min1.thm12017-02-06 12:46 972  
[ ]rat_1__172_14.min1.thm12017-02-06 12:46 805  
[ ]rat_1__173_15.min1.thm12017-02-06 12:46 260  
[ ]rat_1__175_25.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__176_39.min1.thm12017-02-06 12:46 550  
[ ]rat_1__177_43.min1.thm12017-02-06 12:46 1.2K 
[ ]rat_1__184_22.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__185_16.min1.thm12017-02-06 12:46 292  
[ ]rat_1__185_16.min1.thm1.tptp2017-02-06 16:47 211  
[ ]rat_1__186_18.min1.thm12017-02-06 12:46 619  
[ ]rat_1__188_14.min1.thm12017-02-06 12:46 679  
[ ]rat_1__189_13.min1.thm12017-02-06 12:46 783  
[ ]rat_1__191_14.min1.thm12017-02-06 12:46 687  
[ ]rat_1__196_20.min1.thm12017-02-06 12:46 1.0K 
[ ]rat_1__197_21.min1.thm12017-02-06 12:46 1.1K 
[ ]rat_1__206_14.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__209_40.min1.thm12017-02-06 12:46 304  
[ ]rat_1__209_40.min1.thm1.tptp2017-02-06 16:47 226  
[ ]rat_1__211_46.min1.thm12017-02-06 12:46 393  
[ ]rat_1__211_46.min1.thm1.tptp2017-02-06 16:47 316  
[ ]rat_1__216_23.min1.thm12017-02-06 12:46 818  
[ ]rat_1__220_18.min1.thm12017-02-06 12:46 768  
[ ]rat_1__221_39.min1.thm12017-02-06 12:46 312  
[ ]rat_1__221_39.min1.thm1.tptp2017-02-06 16:47 234  
[ ]rat_1__222_45.min1.thm12017-02-06 12:46 573  
[ ]rat_1__223_17.min1.thm12017-02-06 12:46 757  
[ ]rat_1__225_14.min1.thm12017-02-06 12:46 599  
[ ]rat_1__227_49.min1.thm12017-02-06 12:46 395  
[ ]rat_1__227_49.min1.thm1.tptp2017-02-06 16:47 318  
[ ]rat_1__229_13.min1.thm12017-02-06 12:46 326  
[ ]rat_1__229_13.min1.thm1.tptp2017-02-06 16:47 261  
[ ]rat_1__230_24.min1.thm12017-02-06 12:46 1.1K 
[ ]rat_1__231_27.min1.thm12017-02-06 12:46 1.1K 
[ ]rat_1__238_26.min1.thm12017-02-06 12:46 361  
[ ]rat_1__242_23.min1.thm12017-02-06 12:46 1.7K 
[ ]rat_1__243_11.min1.thm12017-02-06 12:46 315  
[ ]rat_1__246_22.min1.thm12017-02-06 12:46 1.5K 
[ ]rat_1__247_10.min1.thm12017-02-06 12:46 2.5K 
[ ]rat_1__248_37.min1.thm12017-02-06 12:46 758  
[ ]rat_1__249_19.min1.thm12017-02-06 12:46 944  
[ ]rat_1__254_9.min1.thm12017-02-06 12:46 278  
[ ]rat_1__255_24.min1.thm12017-02-06 12:46 1.5K 
[ ]rat_1__256_37.min1.thm12017-02-06 12:46 1.5K 
[ ]rat_1__257_19.min1.thm12017-02-06 12:46 944  
[ ]rat_1__263_13.min1.thm12017-02-06 12:46 668  
[ ]rat_1__264_26.min1.thm12017-02-06 12:46 525  
[ ]rat_1__265_20.min1.thm12017-02-06 12:46 1.4K 
[ ]rat_1__266_51.min1.thm12017-02-06 12:46 553  
[ ]rat_1__267_15.min1.thm12017-02-06 12:46 260  
[ ]rat_1__269_13.min1.thm12017-02-06 12:46 325  
[ ]rat_1__269_13.min1.thm1.tptp2017-02-06 16:47 244  
[ ]rat_1__271_15.min1.thm12017-02-06 12:46 2.0K 
[ ]rat_1__272_18.min1.thm12017-02-06 12:46 1.5K 
[ ]rat_1__273_18.min1.thm12017-02-06 12:46 864  
[ ]rat_1__275_37.min1.thm12017-02-06 12:46 456  
[ ]rat_1__275_37.min1.thm1.tptp2017-02-06 16:47 394  
[ ]rat_1__276_19.min1.thm12017-02-06 12:46 946  
[ ]rat_1__284_24.min1.thm12017-02-06 12:46 361  
[ ]rat_1__286_22.min1.thm12017-02-06 12:46 593  
[ ]rat_1__287_14.min1.thm12017-02-06 12:46 272  
[ ]rat_1__290_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rat_1__294_22.min1.thm12017-02-06 12:46 1.7K 
[ ]rat_1__295_19.min1.thm12017-02-06 12:46 638  
[ ]rat_1__306_68.min1.thm12017-02-06 12:46 514  
[ ]rat_1__306_68.min1.thm1.tptp2017-02-06 16:47 494  
[ ]rat_1__313_31.min1.thm12017-02-06 12:46 421  
[ ]rat_1__313_31.min1.thm1.tptp2017-02-06 16:47 372  
[ ]rat_1__314_21.min1.thm12017-02-06 12:46 405  
[ ]rat_1__314_21.min1.thm1.tptp2017-02-06 16:47 356  
[ ]rat_1__318_29.min1.thm12017-02-06 12:46 402  
[ ]rat_1__318_29.min1.thm1.tptp2017-02-06 16:47 350  
[ ]rat_1__319_19.min1.thm12017-02-06 12:46 413  
[ ]rat_1__319_19.min1.thm1.tptp2017-02-06 16:47 364  
[ ]rat_1__334_38.min1.thm12017-02-06 12:46 785  
[ ]rat_1__336_18.min1.thm12017-02-06 12:46 921  
[ ]rat_1__337_20.min1.thm12017-02-06 12:46 586  
[ ]rat_1__345_38.min1.thm12017-02-06 12:46 785  
[ ]rat_1__347_20.min1.thm12017-02-06 12:46 586  
[ ]rat_1__360_11.min1.thm12017-02-06 12:46 178  
[ ]rat_1__363_16.min1.thm12017-02-06 12:46 1.1K 
[ ]rat_1__364_16.min1.thm12017-02-06 12:46 1.5K 
[ ]rat_1__369_14.min1.thm12017-02-06 12:46 404  
[ ]rat_1__369_14.min1.thm1.tptp2017-02-06 16:47 364  
[ ]rat_1__373_17.min1.thm12017-02-06 12:46 1.5K 
[ ]rat_1__376_18.min1.thm12017-02-06 12:46 278  
[ ]rat_1__384_18.min1.thm12017-02-06 12:46 282  
[ ]rat_1__384_18.min1.thm1.tptp2017-02-06 16:47 201  
[ ]rat_1__385_17.min1.thm12017-02-06 12:46 428  
[ ]rat_1__385_17.min1.thm1.tptp2017-02-06 16:47 381  
[ ]rat_1__394_22.min1.thm12017-02-06 12:46 660  
[ ]rat_1__402_31.min1.thm12017-02-06 12:46 308  
[ ]rat_1__403_17.min1.thm12017-02-06 12:46 566  
[ ]rat_1__412_32.min1.thm12017-02-06 12:46 212  
[ ]rat_1__413_11.min1.thm12017-02-06 12:46 741  
[ ]rat_1__414_19.min1.thm12017-02-06 12:46 964  
[ ]rat_1__430_16.min1.thm12017-02-06 12:46 411  
[ ]rat_1__430_16.min1.thm1.tptp2017-02-06 16:47 364  
[ ]rat_1__433_16.min1.thm12017-02-06 12:46 411  
[ ]rat_1__433_16.min1.thm1.tptp2017-02-06 16:47 364  
[ ]rat_1__435_19.min1.thm12017-02-06 12:46 807  
[ ]rat_1__442_16.min1.thm12017-02-06 12:46 411  
[ ]rat_1__442_16.min1.thm1.tptp2017-02-06 16:47 364  
[ ]rat_1__445_16.min1.thm12017-02-06 12:46 411  
[ ]rat_1__445_16.min1.thm1.tptp2017-02-06 16:47 364  
[ ]rat_1__446_32.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__447_19.min1.thm12017-02-06 12:46 966  
[ ]rat_1__454_16.min1.thm12017-02-06 12:46 411  
[ ]rat_1__454_16.min1.thm1.tptp2017-02-06 16:47 364  
[ ]rat_1__457_17.min1.thm12017-02-06 12:46 411  
[ ]rat_1__457_17.min1.thm1.tptp2017-02-06 16:47 364  
[ ]rat_1__458_32.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__459_19.min1.thm12017-02-06 12:46 966  
[ ]rat_1__466_17.min1.thm12017-02-06 12:46 411  
[ ]rat_1__466_17.min1.thm1.tptp2017-02-06 16:47 364  
[ ]rat_1__469_17.min1.thm12017-02-06 12:46 411  
[ ]rat_1__469_17.min1.thm1.tptp2017-02-06 16:47 364  
[ ]rat_1__470_26.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__471_23.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__473_19.min1.thm12017-02-06 12:46 807  
[ ]rat_1__484_12.min1.thm12017-02-06 12:46 411  
[ ]rat_1__484_12.min1.thm1.tptp2017-02-06 16:47 364  
[ ]rat_1__486_16.min1.thm12017-02-06 12:46 675  
[ ]rat_1__491_12.min1.thm12017-02-06 12:46 756  
[ ]rat_1__492_16.min1.thm12017-02-06 12:46 971  
[ ]rat_1__510_14.min1.thm12017-02-06 12:46 576  
[ ]rat_1__513_16.min1.thm12017-02-06 12:46 830  
[ ]rat_1__514_21.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__517_12.min1.thm12017-02-06 12:46 2.7K 
[ ]rat_1__520_18.min1.thm12017-02-06 12:46 1.7K 
[ ]rat_1__526_17.min1.thm12017-02-06 12:46 1.5K 
[ ]rat_1__539_12.min1.thm12017-02-06 12:46 407  
[ ]rat_1__539_12.min1.thm1.tptp2017-02-06 16:47 360  
[ ]rat_1__540_14.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__543_31.min1.thm12017-02-06 12:46 1.4K 
[ ]rat_1__544_19.min1.thm12017-02-06 12:46 1.1K 
[ ]rat_1__549_21.min1.thm12017-02-06 12:46 752  
[ ]rat_1__550_12.min1.thm12017-02-06 12:46 733  
[ ]rat_1__551_27.min1.thm12017-02-06 12:46 2.2K 
[ ]rat_1__552_19.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__566_27.min1.thm12017-02-06 12:46 446  
[ ]rat_1__566_27.min1.thm1.tptp2017-02-06 16:47 397  
[ ]rat_1__568_23.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__574_60.min1.thm12017-02-06 12:46 589  
[ ]rat_1__575_36.min1.thm12017-02-06 12:46 853  
[ ]rat_1__578_63.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__580_15.min1.thm12017-02-06 12:46 264  
[ ]rat_1__580_15.min1.thm1.tptp2017-02-06 16:47 178  
[ ]rat_1__581_17.min1.thm12017-02-06 12:46 252  
[ ]rat_1__582_16.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__597_18.min1.thm12017-02-06 12:46 781  
[ ]rat_1__608_12.min1.thm12017-02-06 12:46 609  
[ ]rat_1__609_11.min1.thm12017-02-06 12:46 609  
[ ]rat_1__610_19.min1.thm12017-02-06 12:46 1.2K 
[ ]rat_1__620_24.min1.thm12017-02-06 12:46 620  
[ ]rat_1__621_33.min1.thm12017-02-06 12:46 654  
[ ]rat_1__622_19.min1.thm12017-02-06 12:46 1.9K 
[ ]rat_1__631_23.min1.thm12017-02-06 12:46 616  
[ ]rat_1__632_14.min1.thm12017-02-06 12:46 1.7K 
[ ]rat_1__638_21.min1.thm12017-02-06 12:46 315  
[ ]rat_1__638_21.min1.thm1.tptp2017-02-06 16:47 232  
[ ]rat_1__639_29.min1.thm12017-02-06 12:46 1.8K 
[ ]rat_1__640_14.min1.thm12017-02-06 12:46 1.0K 
[ ]rat_1__646_21.min1.thm12017-02-06 12:46 315  
[ ]rat_1__646_21.min1.thm1.tptp2017-02-06 16:47 232  
[ ]rat_1__647_14.min1.thm12017-02-06 12:46 2.0K 
[ ]rat_1__654_22.min1.thm12017-02-06 12:46 616  
[ ]rat_1__655_17.min1.thm12017-02-06 12:46 2.0K 
[ ]rat_1__661_22.min1.thm12017-02-06 12:46 616  
[ ]rat_1__670_11.min1.thm12017-02-06 12:46 616  
[ ]rat_1__672_49.min1.thm12017-02-06 12:46 2.1K 
[ ]rat_1__673_7.min1.thm12017-02-06 12:46 933  
[ ]rat_1__674_38.min1.thm12017-02-06 12:46 1.8K 
[ ]rat_1__675_16.min1.thm12017-02-06 12:46 2.2K 
[ ]rat_1__683_42.min1.thm12017-02-06 12:46 2.3K 
[ ]rat_1__684_14.min1.thm12017-02-06 12:46 2.4K 
[ ]rat_1__691_32.min1.thm12017-02-06 12:46 196  
[ ]rat_1__692_8.min1.thm12017-02-06 12:46 780  
[ ]rat_1__694_24.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__695_22.min1.thm12017-02-06 12:46 299  
[ ]rat_1__695_22.min1.thm1.tptp2017-02-06 16:47 218  
[ ]rat_1__696_27.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__697_14.min1.thm12017-02-06 12:46 861  
[ ]rat_1__705_14.min1.thm12017-02-06 12:46 286  
[ ]rat_1__708_16.min1.thm12017-02-06 12:46 347  
[ ]rat_1__712_23.min1.thm12017-02-06 12:46 869  
[ ]rat_1__713_16.min1.thm12017-02-06 12:46 347  
[ ]rat_1__718_40.min1.thm12017-02-06 12:46 1.0K 
[ ]rat_1__726_17.min1.thm12017-02-06 12:46 398  
[ ]rat_1__727_17.min1.thm12017-02-06 12:46 935  
[ ]rat_1__736_24.min1.thm12017-02-06 12:46 301  
[ ]rat_1__736_24.min1.thm1.tptp2017-02-06 16:47 220  
[ ]rat_1__737_29.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__739_17.min1.thm12017-02-06 12:46 580  
[ ]rat_1__742_9.min1.thm12017-02-06 12:46 721  
[ ]rat_1__747_25.min1.thm12017-02-06 12:46 321  
[ ]rat_1__747_25.min1.thm1.tptp2017-02-06 16:47 240  
[ ]rat_1__750_32.min1.thm12017-02-06 12:46 1.1K 
[ ]rat_1__751_30.min1.thm12017-02-06 12:46 1.7K 
[ ]rat_1__753_17.min1.thm12017-02-06 12:46 663  
[ ]rat_1__759_24.min1.thm12017-02-06 12:46 616  
[ ]rat_1__762_41.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__763_16.min1.thm12017-02-06 12:46 487  
[ ]rat_1__765_14.min1.thm12017-02-06 12:46 1.5K 
[ ]rat_1__771_24.min1.thm12017-02-06 12:46 616  
[ ]rat_1__774_47.min1.thm12017-02-06 12:46 1.9K 
[ ]rat_1__778_14.min1.thm12017-02-06 12:46 1.7K 
[ ]rat_1__784_63.min1.thm12017-02-06 12:46 1.4K 
[ ]rat_1__785_17.min1.thm12017-02-06 12:46 529  
[ ]rat_1__797_17.min1.thm12017-02-06 12:46 685  
[ ]rat_1__806_12.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__808_24.min1.thm12017-02-06 12:46 616  
[ ]rat_1__811_26.min1.thm12017-02-06 12:46 2.9K 
[ ]rat_1__817_45.min1.thm12017-02-06 12:46 3.2K 
[ ]rat_1__820_26.min1.thm12017-02-06 12:46 2.1K 
[ ]rat_1__822_25.min1.thm12017-02-06 12:46 1.5K 
[ ]rat_1__826_35.min1.thm12017-02-06 12:46 854  
[ ]rat_1__828_12.min1.thm12017-02-06 12:46 1.8K 
[ ]rat_1__830_27.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__834_29.min1.thm12017-02-06 12:46 2.4K 
[ ]rat_1__835_33.min1.thm12017-02-06 12:46 3.0K 
[ ]rat_1__836_61.min1.thm12017-02-06 12:46 2.1K 
[ ]rat_1__841_48.min1.thm12017-02-06 12:46 2.7K 
[ ]rat_1__846_28.min1.thm12017-02-06 12:46 2.3K 
[ ]rat_1__847_59.min1.thm12017-02-06 12:46 1.9K 
[ ]rat_1__849_23.min1.thm12017-02-06 12:46 2.9K 
[ ]rat_1__850_16.min1.thm12017-02-06 12:46 2.3K 
[ ]rat_1__859_14.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__862_45.min1.thm12017-02-06 12:46 2.2K 
[ ]rat_1__864_17.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__865_11.min1.thm12017-02-06 12:46 804  
[ ]rat_1__868_25.min1.thm12017-02-06 12:46 1.0K 
[ ]rat_1__870_29.min1.thm12017-02-06 12:46 1.5K 
[ ]rat_1__872_31.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__877_44.min1.thm12017-02-06 12:46 1.4K 
[ ]rat_1__881_29.min1.thm12017-02-06 12:46 854  
[ ]rat_1__883_18.min1.thm12017-02-06 12:46 2.1K 
[ ]rat_1__895_51.min1.thm12017-02-06 12:46 592  
[ ]rat_1__898_25.min1.thm12017-02-06 12:46 486  
[ ]rat_1__899_20.min1.thm12017-02-06 12:46 1.8K 
[ ]rat_1__901_14.min1.thm12017-02-06 12:46 1.4K 
[ ]rat_1__902_9.min1.thm12017-02-06 12:46 1.7K 
[ ]rat_1__903_11.min1.thm12017-02-06 12:46 2.2K 
[ ]rat_1__904_17.min1.thm12017-02-06 12:46 3.2K 
[ ]rat_1__918_25.min1.thm12017-02-06 12:46 870  
[ ]rat_1__919_8.min1.thm12017-02-06 12:46 2.2K 
[ ]rat_1__921_13.min1.thm12017-02-06 12:46 1.9K 
[ ]rat_1__922_9.min1.thm12017-02-06 12:46 876  
[ ]rat_1__924_10.min1.thm12017-02-06 12:46 2.0K 
[ ]rat_1__925_27.min1.thm12017-02-06 12:46 1.8K 
[ ]rat_1__926_16.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__932_24.min1.thm12017-02-06 12:46 616  
[ ]rat_1__933_24.min1.thm12017-02-06 12:46 337  
[ ]rat_1__933_24.min1.thm1.tptp2017-02-06 16:47 254  
[ ]rat_1__940_47.min1.thm12017-02-06 12:46 1.9K 
[ ]rat_1__941_17.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__943_23.min1.thm12017-02-06 12:46 315  
[ ]rat_1__943_23.min1.thm1.tptp2017-02-06 16:47 232  
[ ]rat_1__946_42.min1.thm12017-02-06 12:46 541  
[ ]rat_1__952_17.min1.thm12017-02-06 12:46 666  
[ ]rat_1__952_17.min1.thm1.tptp2017-02-06 16:47 586  
[ ]rat_1__961_16.min1.thm12017-02-06 12:46 1.0K 
[ ]rat_1__964_41.min1.thm12017-02-06 12:46 2.4K 
[ ]rat_1__974_16.min1.thm12017-02-06 12:46 1.5K 
[ ]rat_1__977_20.min1.thm12017-02-06 12:46 740  
[ ]rat_1__984_17.min1.thm12017-02-06 12:46 529  
[ ]rat_1__984_17.min1.thm1.tptp2017-02-06 16:47 441  
[ ]rat_1__990_70.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__992_17.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__998_72.min1.thm12017-02-06 12:46 1.4K 
[ ]rat_1__1000_17.min1.thm12017-02-06 12:46 941  
[ ]rat_1__1006_24.min1.thm12017-02-06 12:46 616  
[ ]rat_1__1007_24.min1.thm12017-02-06 12:46 337  
[ ]rat_1__1007_24.min1.thm1.tptp2017-02-06 16:47 254  
[ ]rat_1__1010_71.min1.thm12017-02-06 12:46 1.8K 
[ ]rat_1__1012_42.min1.thm12017-02-06 12:46 1.8K 
[ ]rat_1__1013_16.min1.thm12017-02-06 12:46 530  
[ ]rat_1__1015_23.min1.thm12017-02-06 12:46 315  
[ ]rat_1__1015_23.min1.thm1.tptp2017-02-06 16:47 232  
[ ]rat_1__1018_41.min1.thm12017-02-06 12:46 519  
[ ]rat_1__1019_71.min1.thm12017-02-06 12:46 2.4K 
[ ]rat_1__1023_17.min1.thm12017-02-06 12:46 578  
[ ]rat_1__1023_17.min1.thm1.tptp2017-02-06 16:47 498  
[ ]rat_1__1032_16.min1.thm12017-02-06 12:46 939  
[ ]rat_1__1035_40.min1.thm12017-02-06 12:46 2.0K 
[ ]rat_1__1045_16.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__1048_19.min1.thm12017-02-06 12:46 429  
[ ]rat_1__1055_17.min1.thm12017-02-06 12:46 463  
[ ]rat_1__1055_17.min1.thm1.tptp2017-02-06 16:47 375  
[ ]rat_1__1063_41.min1.thm12017-02-06 12:46 529  
[ ]rat_1__1075_16.min1.thm12017-02-06 12:46 1.3K 
[ ]rat_1__1078_19.min1.thm12017-02-06 12:46 759  
[ ]rat_1__1091_24.min1.thm12017-02-06 12:46 337  
[ ]rat_1__1091_24.min1.thm1.tptp2017-02-06 16:47 254  
[ ]rat_1__1092_24.min1.thm12017-02-06 12:46 616  
[ ]rat_1__1096_70.min1.thm12017-02-06 12:46 2.1K 
[ ]rat_1__1099_44.min1.thm12017-02-06 12:46 1.9K 
[ ]rat_1__1100_16.min1.thm12017-02-06 12:46 1.4K 
[ ]rat_1__1102_21.min1.thm12017-02-06 12:46 315  
[ ]rat_1__1102_21.min1.thm1.tptp2017-02-06 16:47 232  
[ ]rat_1__1109_24.min1.thm12017-02-06 12:46 616  
[ ]rat_1__1113_16.min1.thm12017-02-06 12:46 1.7K 
[ ]rat_1__1116_53.min1.thm12017-02-06 12:46 2.5K 
[ ]rat_1__1118_14.min1.thm12017-02-06 12:46 2.0K 
[ ]rat_1__1119_16.min1.thm12017-02-06 12:46 515  
[ ]rat_1__1129_16.min1.thm12017-02-06 12:46 643  
[ ]rat_1__1132_42.min1.thm12017-02-06 12:46 2.0K 
[ ]rat_1__1139_17.min1.thm12017-02-06 12:46 556  
[ ]rat_1__1139_17.min1.thm1.tptp2017-02-06 16:47 468  
[ ]rat_1__1148_39.min1.thm12017-02-06 12:46 595  
[ ]rat_1__1149_10.min1.thm12017-02-06 12:46 443  
[ ]rat_1__1149_10.min1.thm1.tptp2017-02-06 16:47 374  
[ ]rat_1__1155_23.min1.thm12017-02-06 12:46 315  
[ ]rat_1__1155_23.min1.thm1.tptp2017-02-06 16:47 232  
[ ]rat_1__1156_42.min1.thm12017-02-06 12:46 633  
[ ]rat_1__1156_42.min1.thm1.tptp2017-02-06 16:47 566  
[ ]rat_1__1158_70.min1.thm12017-02-06 12:46 777  
[ ]rat_1__1159_21.min1.thm12017-02-06 12:46 315  
[ ]rat_1__1159_21.min1.thm1.tptp2017-02-06 16:47 232  
[ ]rat_1__1166_24.min1.thm12017-02-06 12:46 616  
[ ]rat_1__1167_11.min1.thm12017-02-06 12:46 464  
[ ]rat_1__1167_47.min1.thm12017-02-06 12:46 1.5K 
[ ]rat_1__1169_23.min1.thm12017-02-06 12:46 735  
[ ]rat_1__1172_39.min1.thm12017-02-06 12:46 1.2K 
[ ]rat_1__1173_36.min1.thm12017-02-06 12:46 1.4K 
[ ]rat_1__1177_39.min1.thm12017-02-06 12:46 1.2K 
[ ]rat_1__1178_39.min1.thm12017-02-06 12:46 439  
[ ]rat_1__1178_39.min1.thm1.tptp2017-02-06 16:47 357  
[ ]rat_1__1179_27.min1.thm12017-02-06 12:46 2.0K 
[ ]rat_1__1182_41.min1.thm12017-02-06 12:46 1.9K 
[ ]rat_1__1183_16.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__1194_40.min1.thm12017-02-06 12:46 539  
[ ]rat_1__1196_35.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__1203_29.min1.thm12017-02-06 12:46 584  
[ ]rat_1__1206_14.min1.thm12017-02-06 12:46 494  
[ ]rat_1__1209_23.min1.thm12017-02-06 12:46 3.2K 
[ ]rat_1__1212_46.min1.thm12017-02-06 12:46 962  
[ ]rat_1__1213_27.min1.thm12017-02-06 12:46 1.6K 
[ ]rat_1__1216_22.min1.thm12017-02-06 12:46 626  
[ ]rat_1__1225_46.min1.thm12017-02-06 12:46 2.3K 
[ ]rat_1__1227_14.min1.thm12017-02-06 12:46 481  
[ ]rat_1__1227_14.min1.thm1.tptp2017-02-06 16:47 412  
[ ]rat_1__1229_17.min1.thm12017-02-06 12:46 908  
[ ]rat_1__1229_17.min1.thm1.tptp2017-02-06 16:47 882  
[ ]rat_1__1241_12.min1.thm12017-02-06 12:46 1.1K 
[ ]rat_1__1242_10.min1.thm12017-02-06 12:46 572  
[ ]rat_1__1243_39.min1.thm12017-02-06 12:46 895  
[ ]rat_1__1244_40.min1.thm12017-02-06 12:46 496  
[ ]rat_1__1246_39.min1.thm12017-02-06 12:46 1.1K 
[ ]rat_1__1247_34.min1.thm12017-02-06 12:46 895  
[ ]rat_1__1248_39.min1.thm12017-02-06 12:46 483  
[ ]rat_1__1249_72.min1.thm12017-02-06 12:46 1.0K 
[ ]rat_1__1259_42.min1.thm12017-02-06 12:46 2.3K 
[ ]rat_1__1260_39.min1.thm12017-02-06 12:46 2.0K 
[ ]rat_1__1262_14.min1.thm12017-02-06 12:46 481  
[ ]rat_1__1262_14.min1.thm1.tptp2017-02-06 16:47 412  
[ ]rat_1__1264_17.min1.thm12017-02-06 12:46 1.0K 
[ ]rat_1__1264_17.min1.thm1.tptp2017-02-06 16:47 1.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80