Index of /~mptp/cbs/matp_uIeHfJ/problems/cbs4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cbs4.ax2017-03-16 19:26 85K 
[ ]cbs4.axthf2017-03-16 19:26 132K 
[ ]cbs4.declthf2017-03-16 19:26 5.1K 
[ ]cbs4__50_212017-03-16 19:26 6.8K 
[ ]cbs4__50_21.allowed_local2017-03-16 19:26 44  
[ ]cbs4__50_21.proved_by02017-03-16 19:26 24  
[ ]cbs4__50_21.thf2017-03-16 19:26 11K 
[ ]cbs4__58_222017-03-16 19:26 14K 
[ ]cbs4__58_22.allowed_local2017-03-16 19:26 53  
[ ]cbs4__58_22.proved_by02017-03-16 19:26 24  
[ ]cbs4__58_22.thf2017-03-16 19:26 22K 
[ ]cbs4__63_232017-03-16 19:26 12K 
[ ]cbs4__63_23.allowed_local2017-03-16 19:26 62  
[ ]cbs4__63_23.proved_by02017-03-16 19:26 24  
[ ]cbs4__63_23.thf2017-03-16 19:26 20K 
[ ]cbs4__74_52017-03-16 19:26 14K 
[ ]cbs4__74_5.allowed_local2017-03-16 19:26 71  
[ ]cbs4__74_5.proved_by02017-03-16 19:26 45  
[ ]cbs4__78_252017-03-16 19:26 13K 
[ ]cbs4__78_25.allowed_local2017-03-16 19:26 188  
[ ]cbs4__78_25.eout12017-03-16 19:28 7.3K 
[ ]cbs4__78_25.proved_by02017-03-16 19:26 51  
[ ]cbs4__78_25.thf2017-03-16 19:26 21K 
[ ]cbs4__79_362017-03-16 19:26 14K 
[ ]cbs4__79_36.allowed_local2017-03-16 19:26 200  
[ ]cbs4__79_36.eout12017-03-16 19:28 5.6K 
[ ]cbs4__79_36.proved_by02017-03-16 19:26 37  
[ ]cbs4__79_36.thf2017-03-16 19:26 23K 
[ ]cbs4__80_252017-03-16 19:26 14K 
[ ]cbs4__80_25.allowed_local2017-03-16 19:26 212  
[ ]cbs4__80_25.eout12017-03-16 19:28 4.2K 
[ ]cbs4__80_25.proved_by02017-03-16 19:26 49  
[ ]cbs4__80_25.thf2017-03-16 19:26 24K 
[ ]cbs4__87_52017-03-16 19:26 14K 
[ ]cbs4__87_5.allowed_local2017-03-16 19:26 80  
[ ]cbs4__87_5.proved_by02017-03-16 19:26 31  
[ ]cbs4__92_242017-03-16 19:26 13K 
[ ]cbs4__92_24.allowed_local2017-03-16 19:26 251  
[ ]cbs4__92_24.proved_by02017-03-16 19:26 49  
[ ]cbs4__92_24.thf2017-03-16 19:26 22K 
[ ]cbs4__93_362017-03-16 19:26 14K 
[ ]cbs4__93_36.allowed_local2017-03-16 19:26 263  
[ ]cbs4__93_36.proved_by02017-03-16 19:26 49  
[ ]cbs4__93_36.thf2017-03-16 19:26 23K 
[ ]cbs4__94_302017-03-16 19:26 14K 
[ ]cbs4__94_30.allowed_local2017-03-16 19:26 275  
[ ]cbs4__94_30.proved_by02017-03-16 19:26 49  
[ ]cbs4__94_30.thf2017-03-16 19:26 23K 
[ ]cbs4__95_252017-03-16 19:26 14K 
[ ]cbs4__95_25.allowed_local2017-03-16 19:26 287  
[ ]cbs4__95_25.proved_by02017-03-16 19:26 49  
[ ]cbs4__95_25.thf2017-03-16 19:26 23K 
[ ]cbs4__101_172017-03-16 19:26 13K 
[ ]cbs4__101_17.allowed_local2017-03-16 19:26 89  
[ ]cbs4__101_17.proved_by02017-03-16 19:26 24  
[ ]cbs4__101_17.thf2017-03-16 19:26 22K 
[ ]cbs4__106_172017-03-16 19:26 13K 
[ ]cbs4__106_17.allowed_local2017-03-16 19:26 98  
[ ]cbs4__106_17.proved_by02017-03-16 19:26 24  
[ ]cbs4__106_17.thf2017-03-16 19:26 21K 
[ ]cbs4__110_52017-03-16 19:26 17K 
[ ]cbs4__110_5.allowed_local2017-03-16 19:26 107  
[ ]cbs4__110_5.proved_by02017-03-16 19:26 44  
[ ]cbs4__114_342017-03-16 19:26 17K 
[ ]cbs4__114_34.allowed_local2017-03-16 19:26 251  
[ ]cbs4__114_34.proved_by02017-03-16 19:26 38  
[ ]cbs4__114_34.thf2017-03-16 19:26 27K 
[ ]cbs4__115_302017-03-16 19:26 17K 
[ ]cbs4__115_30.allowed_local2017-03-16 19:26 263  
[ ]cbs4__115_30.proved_by02017-03-16 19:26 38  
[ ]cbs4__115_30.thf2017-03-16 19:26 27K 
[ ]cbs4__116_382017-03-16 19:26 18K 
[ ]cbs4__116_38.allowed_local2017-03-16 19:26 275  
[ ]cbs4__116_38.proved_by02017-03-16 19:26 85  
[ ]cbs4__116_38.thf2017-03-16 19:26 29K 
[ ]cbs4__123_72017-03-16 19:26 15K 
[ ]cbs4__123_7.allowed_local2017-03-16 19:26 151  
[ ]cbs4__123_7.proved_by02017-03-16 19:26 70  
[ ]cbs4__124_842017-03-16 19:26 12K 
[ ]cbs4__124_84.allowed_local2017-03-16 19:26 172  
[ ]cbs4__124_84.proved_by02017-03-16 19:26 31  
[ ]cbs4__124_84.thf2017-03-16 19:26 19K 
[ ]cbs4__127_92017-03-16 19:26 15K 
[ ]cbs4__127_9.allowed_local2017-03-16 19:26 204  
[ ]cbs4__127_9.proved_by02017-03-16 19:26 63  
[ ]cbs4__129_292017-03-16 19:26 6.7K 
[ ]cbs4__129_29.allowed_local2017-03-16 19:26 266  
[ ]cbs4__129_29.proved_by02017-03-16 19:26 33  
[ ]cbs4__129_29.thf2017-03-16 19:26 11K 
[ ]cbs4__130_352017-03-16 19:26 13K 
[ ]cbs4__130_35.allowed_local2017-03-16 19:26 284  
[ ]cbs4__130_35.proved_by02017-03-16 19:26 61  
[ ]cbs4__130_35.thf2017-03-16 19:26 22K 
[ ]cbs4__131_252017-03-16 19:26 15K 
[ ]cbs4__131_25.allowed_local2017-03-16 19:26 302  
[ ]cbs4__131_25.proved_by02017-03-16 19:26 62  
[ ]cbs4__131_25.thf2017-03-16 19:26 24K 
[ ]cbs4__132_242017-03-16 19:26 14K 
[ ]cbs4__132_24.allowed_local2017-03-16 19:26 320  
[ ]cbs4__132_24.proved_by02017-03-16 19:26 49  
[ ]cbs4__132_24.thf2017-03-16 19:26 22K 
[ ]cbs4__135_292017-03-16 19:26 6.6K 
[ ]cbs4__135_29.allowed_local2017-03-16 19:26 274  
[ ]cbs4__135_29.proved_by02017-03-16 19:26 31  
[ ]cbs4__135_29.thf2017-03-16 19:26 11K 
[ ]cbs4__136_352017-03-16 19:26 13K 
[ ]cbs4__136_35.allowed_local2017-03-16 19:26 290  
[ ]cbs4__136_35.proved_by02017-03-16 19:26 57  
[ ]cbs4__136_35.thf2017-03-16 19:26 22K 
[ ]cbs4__137_252017-03-16 19:26 15K 
[ ]cbs4__137_25.allowed_local2017-03-16 19:26 306  
[ ]cbs4__137_25.proved_by02017-03-16 19:26 58  
[ ]cbs4__137_25.thf2017-03-16 19:26 24K 
[ ]cbs4__138_242017-03-16 19:26 14K 
[ ]cbs4__138_24.allowed_local2017-03-16 19:26 322  
[ ]cbs4__138_24.proved_by02017-03-16 19:26 45  
[ ]cbs4__138_24.thf2017-03-16 19:26 22K 
[ ]cbs4__148_142017-03-16 19:26 16K 
[ ]cbs4__148_14.allowed_local2017-03-16 19:26 206  
[ ]cbs4__148_14.proved_by02017-03-16 19:26 36  
[ ]cbs4__148_14.thf2017-03-16 19:26 26K 
[ ]cbs4__153_52017-03-16 19:26 18K 
[ ]cbs4__153_5.allowed_local2017-03-16 19:26 136  
[ ]cbs4__153_5.proved_by02017-03-16 19:26 44  
[ ]cbs4__157_342017-03-16 19:26 17K 
[ ]cbs4__157_34.allowed_local2017-03-16 19:26 280  
[ ]cbs4__157_34.proved_by02017-03-16 19:26 38  
[ ]cbs4__157_34.thf2017-03-16 19:26 27K 
[ ]cbs4__158_302017-03-16 19:26 17K 
[ ]cbs4__158_30.allowed_local2017-03-16 19:26 292  
[ ]cbs4__158_30.proved_by02017-03-16 19:26 38  
[ ]cbs4__158_30.thf2017-03-16 19:26 27K 
[ ]cbs4__159_382017-03-16 19:26 18K 
[ ]cbs4__159_38.allowed_local2017-03-16 19:26 304  
[ ]cbs4__159_38.proved_by02017-03-16 19:26 85  
[ ]cbs4__159_38.thf2017-03-16 19:26 29K 
[ ]cbs4__167_142017-03-16 19:26 17K 
[ ]cbs4__167_14.allowed_local2017-03-16 19:26 225  
[ ]cbs4__167_14.proved_by02017-03-16 19:26 36  
[ ]cbs4__167_14.thf2017-03-16 19:26 27K 
[ ]cbs4__172_52017-03-16 19:26 18K 
[ ]cbs4__172_5.allowed_local2017-03-16 19:26 156  
[ ]cbs4__172_5.proved_by02017-03-16 19:26 45  
[ ]cbs4__176_342017-03-16 19:26 17K 
[ ]cbs4__176_34.allowed_local2017-03-16 19:26 299  
[ ]cbs4__176_34.proved_by02017-03-16 19:26 38  
[ ]cbs4__176_34.thf2017-03-16 19:26 27K 
[ ]cbs4__177_302017-03-16 19:26 17K 
[ ]cbs4__177_30.allowed_local2017-03-16 19:26 311  
[ ]cbs4__177_30.proved_by02017-03-16 19:26 38  
[ ]cbs4__177_30.thf2017-03-16 19:26 27K 
[ ]cbs4__178_382017-03-16 19:26 19K 
[ ]cbs4__178_38.allowed_local2017-03-16 19:26 323  
[ ]cbs4__178_38.proved_by02017-03-16 19:26 85  
[ ]cbs4__178_38.thf2017-03-16 19:26 31K 
[ ]cbs4__186_142017-03-16 19:26 18K 
[ ]cbs4__186_14.allowed_local2017-03-16 19:26 251  
[ ]cbs4__186_14.proved_by02017-03-16 19:26 38  
[ ]cbs4__186_14.thf2017-03-16 19:26 28K 
[ ]cbs4__199_52017-03-16 19:26 15K 
[ ]cbs4__199_5.allowed_local2017-03-16 19:26 176  
[ ]cbs4__199_5.proved_by02017-03-16 19:26 83  
[ ]cbs4__206_72017-03-16 19:26 14K 
[ ]cbs4__206_7.allowed_local2017-03-16 19:26 256  
[ ]cbs4__206_7.proved_by02017-03-16 19:26 28  
[ ]cbs4__207_182017-03-16 19:26 13K 
[ ]cbs4__207_18.allowed_local2017-03-16 19:26 258  
[ ]cbs4__207_18.proved_by02017-03-16 19:26 30  
[ ]cbs4__207_18.thf2017-03-16 19:26 22K 
[ ]cbs4__208_202017-03-16 19:26 14K 
[ ]cbs4__208_20.allowed_local2017-03-16 19:26 273  
[ ]cbs4__208_20.proved_by02017-03-16 19:26 43  
[ ]cbs4__208_20.thf2017-03-16 19:26 22K 
[ ]cbs4__209_162017-03-16 19:26 14K 
[ ]cbs4__209_16.allowed_local2017-03-16 19:26 288  
[ ]cbs4__209_16.proved_by02017-03-16 19:26 43  
[ ]cbs4__209_16.thf2017-03-16 19:26 22K 
[ ]cbs4__212_72017-03-16 19:26 14K 
[ ]cbs4__212_7.allowed_local2017-03-16 19:26 269  
[ ]cbs4__212_7.proved_by02017-03-16 19:26 50  
[ ]cbs4__214_502017-03-16 19:26 14K 
[ ]cbs4__214_50.allowed_local2017-03-16 19:26 322  
[ ]cbs4__214_50.proved_by02017-03-16 19:26 43  
[ ]cbs4__214_50.thf2017-03-16 19:26 22K 
[ ]cbs4__215_152017-03-16 19:26 6.5K 
[ ]cbs4__215_15.allowed_local2017-03-16 19:26 352  
[ ]cbs4__215_15.proved_by02017-03-16 19:26 30  
[ ]cbs4__215_15.thf2017-03-16 19:26 11K 
[ ]cbs4__216_192017-03-16 19:26 14K 
[ ]cbs4__216_19.allowed_local2017-03-16 19:26 367  
[ ]cbs4__216_19.proved_by02017-03-16 19:26 71  
[ ]cbs4__216_19.thf2017-03-16 19:26 22K 
[ ]cbs4__218_512017-03-16 19:26 14K 
[ ]cbs4__218_51.allowed_local2017-03-16 19:26 282  
[ ]cbs4__218_51.proved_by02017-03-16 19:26 52  
[ ]cbs4__218_51.thf2017-03-16 19:26 22K 
[ ]cbs4__220_182017-03-16 19:26 14K 
[ ]cbs4__220_18.allowed_local2017-03-16 19:26 359  
[ ]cbs4__220_18.proved_by02017-03-16 19:26 28  
[ ]cbs4__220_18.thf2017-03-16 19:26 22K 
[ ]cbs4__223_72017-03-16 19:26 14K 
[ ]cbs4__223_7.allowed_local2017-03-16 19:26 372  
[ ]cbs4__223_7.proved_by02017-03-16 19:26 39  
[ ]cbs4__224_462017-03-16 19:26 14K 
[ ]cbs4__224_46.allowed_local2017-03-16 19:26 407  
[ ]cbs4__224_46.proved_by02017-03-16 19:26 43  
[ ]cbs4__224_46.thf2017-03-16 19:26 22K 
[ ]cbs4__225_192017-03-16 19:26 14K 
[ ]cbs4__225_19.allowed_local2017-03-16 19:26 422  
[ ]cbs4__225_19.proved_by02017-03-16 19:26 56  
[ ]cbs4__225_19.thf2017-03-16 19:26 23K 
[ ]cbs4__228_72017-03-16 19:26 15K 
[ ]cbs4__228_7.allowed_local2017-03-16 19:26 385  
[ ]cbs4__228_7.proved_by02017-03-16 19:26 98  
[ ]cbs4__232_92017-03-16 19:26 15K 
[ ]cbs4__232_9.allowed_local2017-03-16 19:26 420  
[ ]cbs4__232_9.proved_by02017-03-16 19:26 89  
[ ]cbs4__234_582017-03-16 19:26 14K 
[ ]cbs4__234_58.allowed_local2017-03-16 19:26 479  
[ ]cbs4__234_58.proved_by02017-03-16 19:26 47  
[ ]cbs4__234_58.thf2017-03-16 19:26 22K 
[ ]cbs4__235_152017-03-16 19:26 14K 
[ ]cbs4__235_15.allowed_local2017-03-16 19:26 530  
[ ]cbs4__235_15.proved_by02017-03-16 19:26 60  
[ ]cbs4__235_15.thf2017-03-16 19:26 23K 
[ ]cbs4__236_282017-03-16 19:26 15K 
[ ]cbs4__236_28.allowed_local2017-03-16 19:26 547  
[ ]cbs4__236_28.proved_by02017-03-16 19:26 69  
[ ]cbs4__236_28.thf2017-03-16 19:26 24K 
[ ]cbs4__237_212017-03-16 19:26 15K 
[ ]cbs4__237_21.allowed_local2017-03-16 19:26 564  
[ ]cbs4__237_21.proved_by02017-03-16 19:26 107  
[ ]cbs4__237_21.thf2017-03-16 19:26 23K 
[ ]cbs4__239_242017-03-16 19:26 14K 
[ ]cbs4__239_24.allowed_local2017-03-16 19:26 435  
[ ]cbs4__239_24.proved_by02017-03-16 19:26 69  
[ ]cbs4__239_24.thf2017-03-16 19:26 23K 
[ ]cbs4__240_162017-03-16 19:26 14K 
[ ]cbs4__240_16.allowed_local2017-03-16 19:26 450  
[ ]cbs4__240_16.proved_by02017-03-16 19:26 43  
[ ]cbs4__240_16.thf2017-03-16 19:26 23K 
[ ]cbs4__243_72017-03-16 19:26 15K 
[ ]cbs4__243_7.allowed_local2017-03-16 19:26 398  
[ ]cbs4__243_7.proved_by02017-03-16 19:26 74  
[ ]cbs4__244_272017-03-16 19:26 15K 
[ ]cbs4__244_27.allowed_local2017-03-16 19:26 400  
[ ]cbs4__244_27.proved_by02017-03-16 19:26 63  
[ ]cbs4__244_27.thf2017-03-16 19:26 24K 
[ ]cbs4__245_232017-03-16 19:26 15K 
[ ]cbs4__245_23.allowed_local2017-03-16 19:26 415  
[ ]cbs4__245_23.proved_by02017-03-16 19:26 56  
[ ]cbs4__245_23.thf2017-03-16 19:26 23K 
[ ]cbs4__259_922017-03-16 19:26 13K 
[ ]cbs4__259_92.allowed_local2017-03-16 19:26 186  
[ ]cbs4__259_92.proved_by02017-03-16 19:26 36  
[ ]cbs4__259_92.thf2017-03-16 19:26 20K 
[ ]cbs4__266_492017-03-16 19:26 4.4K 
[ ]cbs4__266_49.allowed_local2017-03-16 19:26 196  
[ ]cbs4__266_49.proved_by02017-03-16 19:26 25  
[ ]cbs4__266_49.thf2017-03-16 19:26 7.4K 
[ ]cbs4__286_52017-03-16 19:26 27K 
[ ]cbs4__286_5.allowed_local2017-03-16 19:26 206  
[ ]cbs4__286_5.proved_by02017-03-16 19:26 234  
[ ]cbs4__292_272017-03-16 19:26 14K 
[ ]cbs4__292_27.allowed_local2017-03-16 19:26 302  
[ ]cbs4__292_27.proved_by02017-03-16 19:26 51  
[ ]cbs4__292_27.thf2017-03-16 19:26 22K 
[ ]cbs4__295_92017-03-16 19:26 25K 
[ ]cbs4__295_9.allowed_local2017-03-16 19:26 328  
[ ]cbs4__295_9.proved_by02017-03-16 19:26 191  
[ ]cbs4__301_832017-03-16 19:26 13K 
[ ]cbs4__301_83.allowed_local2017-03-16 19:26 348  
[ ]cbs4__301_83.proved_by02017-03-16 19:26 55  
[ ]cbs4__301_83.thf2017-03-16 19:26 20K 
[ ]cbs4__302_832017-03-16 19:26 13K 
[ ]cbs4__302_83.allowed_local2017-03-16 19:26 396  
[ ]cbs4__302_83.proved_by02017-03-16 19:26 55  
[ ]cbs4__302_83.thf2017-03-16 19:26 21K 
[ ]cbs4__303_832017-03-16 19:26 13K 
[ ]cbs4__303_83.allowed_local2017-03-16 19:26 444  
[ ]cbs4__303_83.proved_by02017-03-16 19:26 55  
[ ]cbs4__303_83.thf2017-03-16 19:26 20K 
[ ]cbs4__304_832017-03-16 19:26 13K 
[ ]cbs4__304_83.allowed_local2017-03-16 19:26 492  
[ ]cbs4__304_83.proved_by02017-03-16 19:26 55  
[ ]cbs4__304_83.thf2017-03-16 19:26 21K 
[ ]cbs4__305_332017-03-16 19:26 14K 
[ ]cbs4__305_33.allowed_local2017-03-16 19:26 522  
[ ]cbs4__305_33.proved_by02017-03-16 19:26 30  
[ ]cbs4__305_33.thf2017-03-16 19:26 22K 
[ ]cbs4__308_92017-03-16 19:26 21K 
[ ]cbs4__308_9.allowed_local2017-03-16 19:26 538  
[ ]cbs4__308_9.proved_by02017-03-16 19:26 115  
[ ]cbs4__310_442017-03-16 19:26 7.2K 
[ ]cbs4__310_44.allowed_local2017-03-16 19:26 576  
[ ]cbs4__310_44.proved_by02017-03-16 19:26 47  
[ ]cbs4__310_44.thf2017-03-16 19:26 12K 
[ ]cbs4__311_262017-03-16 19:26 16K 
[ ]cbs4__311_26.allowed_local2017-03-16 19:26 635  
[ ]cbs4__311_26.proved_by02017-03-16 19:26 45  
[ ]cbs4__311_26.thf2017-03-16 19:26 26K 
[ ]cbs4__311_502017-03-16 19:26 15K 
[ ]cbs4__311_50.allowed_local2017-03-16 19:26 654  
[ ]cbs4__311_50.proved_by02017-03-16 19:26 34  
[ ]cbs4__311_50.thf2017-03-16 19:26 24K 
[ ]cbs4__311_772017-03-16 19:26 16K 
[ ]cbs4__311_77.allowed_local2017-03-16 19:26 673  
[ ]cbs4__311_77.proved_by02017-03-16 19:26 47  
[ ]cbs4__311_77.thf2017-03-16 19:26 26K 
[ ]cbs4__312_352017-03-16 19:26 16K 
[ ]cbs4__312_35.allowed_local2017-03-16 19:26 692  
[ ]cbs4__312_35.proved_by02017-03-16 19:26 47  
[ ]cbs4__312_35.thf2017-03-16 19:26 27K 
[ ]cbs4__313_382017-03-16 19:26 16K 
[ ]cbs4__313_38.allowed_local2017-03-16 19:26 711  
[ ]cbs4__313_38.proved_by02017-03-16 19:26 47  
[ ]cbs4__313_38.thf2017-03-16 19:26 27K 
[ ]cbs4__314_412017-03-16 19:26 18K 
[ ]cbs4__314_41.allowed_local2017-03-16 19:26 633  
[ ]cbs4__314_41.proved_by02017-03-16 19:26 103  
[ ]cbs4__314_41.thf2017-03-16 19:26 26K 
[ ]cbs4__315_432017-03-16 19:26 18K 
[ ]cbs4__315_43.allowed_local2017-03-16 19:26 650  
[ ]cbs4__315_43.proved_by02017-03-16 19:26 43  
[ ]cbs4__315_43.thf2017-03-16 19:26 28K 
[ ]cbs4__316_622017-03-16 19:26 19K 
[ ]cbs4__316_62.allowed_local2017-03-16 19:26 667  
[ ]cbs4__316_62.proved_by02017-03-16 19:26 60  
[ ]cbs4__316_62.thf2017-03-16 19:26 30K 
[ ]cbs4__317_752017-03-16 19:26 19K 
[ ]cbs4__317_75.allowed_local2017-03-16 19:26 684  
[ ]cbs4__317_75.proved_by02017-03-16 19:26 60  
[ ]cbs4__317_75.thf2017-03-16 19:26 31K 
[ ]cbs4__318_212017-03-16 19:26 20K 
[ ]cbs4__318_21.allowed_local2017-03-16 19:26 701  
[ ]cbs4__318_21.proved_by02017-03-16 19:26 77  
[ ]cbs4__318_21.thf2017-03-16 19:26 32K 
[ ]cbs4__320_452017-03-16 19:26 20K 
[ ]cbs4__320_45.allowed_local2017-03-16 19:26 554  
[ ]cbs4__320_45.proved_by02017-03-16 19:26 71  
[ ]cbs4__320_45.thf2017-03-16 19:26 32K 
[ ]cbs4__321_302017-03-16 19:26 14K 
[ ]cbs4__321_30.allowed_local2017-03-16 19:26 570  
[ ]cbs4__321_30.proved_by02017-03-16 19:26 53  
[ ]cbs4__321_30.thf2017-03-16 19:26 23K 
[ ]cbs4__322_252017-03-16 19:26 14K 
[ ]cbs4__322_25.allowed_local2017-03-16 19:26 586  
[ ]cbs4__322_25.proved_by02017-03-16 19:26 53  
[ ]cbs4__322_25.thf2017-03-16 19:26 23K 
[ ]cbs4__323_302017-03-16 19:26 14K 
[ ]cbs4__323_30.allowed_local2017-03-16 19:26 602  
[ ]cbs4__323_30.proved_by02017-03-16 19:26 53  
[ ]cbs4__323_30.thf2017-03-16 19:26 23K 
[ ]cbs4__324_252017-03-16 19:26 14K 
[ ]cbs4__324_25.allowed_local2017-03-16 19:26 618  
[ ]cbs4__324_25.proved_by02017-03-16 19:26 53  
[ ]cbs4__324_25.thf2017-03-16 19:26 23K 
[ ]cbs4__325_262017-03-16 19:26 20K 
[ ]cbs4__325_26.allowed_local2017-03-16 19:26 634  
[ ]cbs4__325_26.proved_by02017-03-16 19:26 125  
[ ]cbs4__325_26.thf2017-03-16 19:26 33K 
[ ]cbs4__327_592017-03-16 19:26 13K 
[ ]cbs4__327_59.allowed_local2017-03-16 19:26 357  
[ ]cbs4__327_59.proved_by02017-03-16 19:26 49  
[ ]cbs4__327_59.thf2017-03-16 19:26 22K 
[ ]cbs4__328_142017-03-16 19:26 6.5K 
[ ]cbs4__328_14.allowed_local2017-03-16 19:26 383  
[ ]cbs4__328_14.proved_by02017-03-16 19:26 28  
[ ]cbs4__328_14.thf2017-03-16 19:26 11K 
[ ]cbs4__329_802017-03-16 19:26 15K 
[ ]cbs4__329_80.allowed_local2017-03-16 19:26 396  
[ ]cbs4__329_80.proved_by02017-03-16 19:26 52  
[ ]cbs4__329_80.thf2017-03-16 19:26 25K 
[ ]cbs4__334_92017-03-16 19:26 16K 
[ ]cbs4__334_9.allowed_local2017-03-16 19:26 441  
[ ]cbs4__334_9.proved_by02017-03-16 19:26 52  
[ ]cbs4__336_422017-03-16 19:26 4.0K 
[ ]cbs4__336_42.allowed_local2017-03-16 19:26 476  
[ ]cbs4__336_42.eout12017-03-16 19:26 2.4K 
[ ]cbs4__336_42.proved_by02017-03-16 19:26 43  
[ ]cbs4__336_42.thf2017-03-16 19:26 6.8K 
[ ]cbs4__337_152017-03-16 19:26 6.6K 
[ ]cbs4__337_15.allowed_local2017-03-16 19:26 529  
[ ]cbs4__337_15.proved_by02017-03-16 19:26 32  
[ ]cbs4__337_15.thf2017-03-16 19:26 11K 
[ ]cbs4__340_172017-03-16 19:26 13K 
[ ]cbs4__340_17.allowed_local2017-03-16 19:26 594  
[ ]cbs4__340_17.proved_by02017-03-16 19:26 34  
[ ]cbs4__340_17.thf2017-03-16 19:26 21K 
[ ]cbs4__341_242017-03-16 19:26 14K 
[ ]cbs4__341_24.allowed_local2017-03-16 19:26 613  
[ ]cbs4__341_24.proved_by02017-03-16 19:26 51  
[ ]cbs4__341_24.thf2017-03-16 19:26 22K 
[ ]cbs4__344_502017-03-16 19:26 14K 
[ ]cbs4__344_50.allowed_local2017-03-16 19:26 550  
[ ]cbs4__344_50.proved_by02017-03-16 19:26 64  
[ ]cbs4__344_50.thf2017-03-16 19:26 23K 
[ ]cbs4__345_1012017-03-16 19:26 15K 
[ ]cbs4__345_101.allowed_local2017-03-16 19:26 591  
[ ]cbs4__345_101.proved_by02017-03-16 19:26 96  
[ ]cbs4__345_101.thf2017-03-16 19:26 25K 
[ ]cbs4__347_222017-03-16 19:26 14K 
[ ]cbs4__347_22.allowed_local2017-03-16 19:26 629  
[ ]cbs4__347_22.proved_by02017-03-16 19:26 51  
[ ]cbs4__347_22.thf2017-03-16 19:26 24K 
[ ]cbs4__348_262017-03-16 19:26 16K 
[ ]cbs4__348_26.allowed_local2017-03-16 19:26 648  
[ ]cbs4__348_26.proved_by02017-03-16 19:26 70  
[ ]cbs4__348_26.thf2017-03-16 19:26 25K 
[ ]cbs4__351_522017-03-16 19:26 14K 
[ ]cbs4__351_52.allowed_local2017-03-16 19:26 455  
[ ]cbs4__351_52.proved_by02017-03-16 19:26 29  
[ ]cbs4__351_52.thf2017-03-16 19:26 22K 
[ ]cbs4__353_832017-03-16 19:26 14K 
[ ]cbs4__353_83.allowed_local2017-03-16 19:26 469  
[ ]cbs4__353_83.proved_by02017-03-16 19:26 29  
[ ]cbs4__353_83.thf2017-03-16 19:26 23K 
[ ]cbs4__354_692017-03-16 19:26 14K 
[ ]cbs4__354_69.allowed_local2017-03-16 19:26 483  
[ ]cbs4__354_69.proved_by02017-03-16 19:26 29  
[ ]cbs4__354_69.thf2017-03-16 19:26 22K 
[ ]cbs4__360_532017-03-16 19:26 12K 
[ ]cbs4__360_53.allowed_local2017-03-16 19:26 216  
[ ]cbs4__360_53.proved_by02017-03-16 19:26 25  
[ ]cbs4__360_53.thf2017-03-16 19:26 20K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80