Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/valued_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]valued_2__41_49.min1.thm12017-02-06 12:44 580  
[ ]valued_2__42_32.min1.thm12017-02-06 12:46 608  
[ ]valued_2__43_34.min1.thm12017-02-06 12:46 533  
[ ]valued_2__43_34.min1.thm1.tptp2017-02-06 16:46 466  
[ ]valued_2__50_11.min1.thm12017-02-06 12:46 130  
[ ]valued_2__104_40.min1.thm12017-02-06 12:47 437  
[ ]valued_2__104_40.min1.thm1.tptp2017-02-06 16:46 360  
[ ]valued_2__105_16.min1.thm12017-02-06 12:46 483  
[ ]valued_2__105_16.min1.thm1.tptp2017-02-06 16:46 410  
[ ]valued_2__115_36.min1.thm12017-02-06 12:44 457  
[ ]valued_2__115_36.min1.thm1.tptp2017-02-06 16:46 380  
[ ]valued_2__116_16.min1.thm12017-02-06 12:44 503  
[ ]valued_2__116_16.min1.thm1.tptp2017-02-06 16:46 430  
[ ]valued_2__125_18.min1.thm12017-02-06 12:46 529  
[ ]valued_2__125_18.min1.thm1.tptp2017-02-06 16:46 471  
[ ]valued_2__134_18.min1.thm12017-02-06 12:46 509  
[ ]valued_2__134_18.min1.thm1.tptp2017-02-06 16:46 451  
[ ]valued_2__143_18.min1.thm12017-02-06 12:46 509  
[ ]valued_2__143_18.min1.thm1.tptp2017-02-06 16:46 451  
[ ]valued_2__154_18.min1.thm12017-02-06 12:46 428  
[ ]valued_2__154_18.min1.thm1.tptp2017-02-06 16:46 353  
[ ]valued_2__164_18.min1.thm12017-02-06 12:46 507  
[ ]valued_2__164_18.min1.thm1.tptp2017-02-06 16:46 444  
[ ]valued_2__176_18.min1.thm12017-02-06 12:46 453  
[ ]valued_2__176_18.min1.thm1.tptp2017-02-06 16:46 389  
[ ]valued_2__185_18.min1.thm12017-02-06 12:46 453  
[ ]valued_2__185_18.min1.thm1.tptp2017-02-06 16:46 389  
[ ]valued_2__196_75.min1.thm12017-02-06 12:46 440  
[ ]valued_2__196_75.min1.thm1.tptp2017-02-06 16:46 384  
[ ]valued_2__198_15.min1.thm12017-02-06 12:46 235  
[ ]valued_2__209_18.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__220_18.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_2__231_18.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__242_18.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__253_18.min1.thm12017-02-06 12:46 1.5K 
[ ]valued_2__264_18.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_2__282_47.min1.thm12017-02-06 12:46 524  
[ ]valued_2__285_28.min1.thm12017-02-06 12:44 504  
[ ]valued_2__285_28.min1.thm1.tptp2017-02-06 16:46 433  
[ ]valued_2__286_19.min1.thm12017-02-06 12:46 666  
[ ]valued_2__293_41.min1.thm12017-02-06 12:46 424  
[ ]valued_2__296_41.min1.thm12017-02-06 12:44 424  
[ ]valued_2__315_47.min1.thm12017-02-06 12:46 628  
[ ]valued_2__318_27.min1.thm12017-02-06 12:46 842  
[ ]valued_2__319_19.min1.thm12017-02-06 12:46 769  
[ ]valued_2__326_41.min1.thm12017-02-06 12:46 512  
[ ]valued_2__329_41.min1.thm12017-02-06 12:46 512  
[ ]valued_2__348_47.min1.thm12017-02-06 12:46 524  
[ ]valued_2__351_28.min1.thm12017-02-06 12:46 504  
[ ]valued_2__351_28.min1.thm1.tptp2017-02-06 16:46 433  
[ ]valued_2__352_19.min1.thm12017-02-06 12:44 666  
[ ]valued_2__359_41.min1.thm12017-02-06 12:46 424  
[ ]valued_2__362_41.min1.thm12017-02-06 12:44 424  
[ ]valued_2__381_47.min1.thm12017-02-06 12:46 628  
[ ]valued_2__384_27.min1.thm12017-02-06 12:46 842  
[ ]valued_2__385_19.min1.thm12017-02-06 12:46 769  
[ ]valued_2__392_41.min1.thm12017-02-06 12:44 512  
[ ]valued_2__395_41.min1.thm12017-02-06 12:47 512  
[ ]valued_2__414_47.min1.thm12017-02-06 12:46 524  
[ ]valued_2__417_28.min1.thm12017-02-06 12:46 504  
[ ]valued_2__417_28.min1.thm1.tptp2017-02-06 16:46 433  
[ ]valued_2__418_19.min1.thm12017-02-06 12:46 666  
[ ]valued_2__425_41.min1.thm12017-02-06 12:46 424  
[ ]valued_2__428_41.min1.thm12017-02-06 12:46 424  
[ ]valued_2__447_47.min1.thm12017-02-06 12:46 628  
[ ]valued_2__450_27.min1.thm12017-02-06 12:46 842  
[ ]valued_2__451_19.min1.thm12017-02-06 12:46 769  
[ ]valued_2__458_41.min1.thm12017-02-06 12:46 512  
[ ]valued_2__461_41.min1.thm12017-02-06 12:46 512  
[ ]valued_2__480_47.min1.thm12017-02-06 12:46 524  
[ ]valued_2__483_28.min1.thm12017-02-06 12:46 504  
[ ]valued_2__483_28.min1.thm1.tptp2017-02-06 16:46 433  
[ ]valued_2__484_19.min1.thm12017-02-06 12:46 666  
[ ]valued_2__491_41.min1.thm12017-02-06 12:46 424  
[ ]valued_2__494_41.min1.thm12017-02-06 12:46 424  
[ ]valued_2__513_47.min1.thm12017-02-06 12:46 628  
[ ]valued_2__516_27.min1.thm12017-02-06 12:46 842  
[ ]valued_2__517_19.min1.thm12017-02-06 12:46 769  
[ ]valued_2__524_41.min1.thm12017-02-06 12:44 512  
[ ]valued_2__527_41.min1.thm12017-02-06 12:46 512  
[ ]valued_2__546_47.min1.thm12017-02-06 12:46 524  
[ ]valued_2__549_28.min1.thm12017-02-06 12:44 504  
[ ]valued_2__549_28.min1.thm1.tptp2017-02-06 16:46 433  
[ ]valued_2__550_19.min1.thm12017-02-06 12:46 666  
[ ]valued_2__557_41.min1.thm12017-02-06 12:46 424  
[ ]valued_2__560_41.min1.thm12017-02-06 12:46 424  
[ ]valued_2__579_47.min1.thm12017-02-06 12:46 628  
[ ]valued_2__582_27.min1.thm12017-02-06 12:46 842  
[ ]valued_2__583_19.min1.thm12017-02-06 12:47 769  
[ ]valued_2__590_41.min1.thm12017-02-06 12:46 512  
[ ]valued_2__593_41.min1.thm12017-02-06 12:46 512  
[ ]valued_2__612_47.min1.thm12017-02-06 12:46 524  
[ ]valued_2__615_28.min1.thm12017-02-06 12:46 504  
[ ]valued_2__615_28.min1.thm1.tptp2017-02-06 16:46 433  
[ ]valued_2__616_19.min1.thm12017-02-06 12:44 666  
[ ]valued_2__623_41.min1.thm12017-02-06 12:46 424  
[ ]valued_2__626_41.min1.thm12017-02-06 12:46 424  
[ ]valued_2__645_47.min1.thm12017-02-06 12:46 628  
[ ]valued_2__648_27.min1.thm12017-02-06 12:46 935  
[ ]valued_2__649_19.min1.thm12017-02-06 12:46 769  
[ ]valued_2__656_41.min1.thm12017-02-06 12:46 512  
[ ]valued_2__659_41.min1.thm12017-02-06 12:46 512  
[ ]valued_2__671_38.min1.thm12017-02-06 12:46 588  
[ ]valued_2__671_38.min1.thm1.tptp2017-02-06 16:46 523  
[ ]valued_2__672_19.min1.thm12017-02-06 12:46 557  
[ ]valued_2__672_19.min1.thm1.tptp2017-02-06 16:46 492  
[ ]valued_2__674_14.min1.thm12017-02-06 12:46 401  
[ ]valued_2__674_14.min1.thm1.tptp2017-02-06 16:46 323  
[ ]valued_2__684_38.min1.thm12017-02-06 12:46 589  
[ ]valued_2__684_38.min1.thm1.tptp2017-02-06 16:46 524  
[ ]valued_2__685_19.min1.thm12017-02-06 12:46 558  
[ ]valued_2__685_19.min1.thm1.tptp2017-02-06 16:46 493  
[ ]valued_2__687_14.min1.thm12017-02-06 12:46 401  
[ ]valued_2__687_14.min1.thm1.tptp2017-02-06 16:46 323  
[ ]valued_2__697_35.min1.thm12017-02-06 12:46 589  
[ ]valued_2__697_35.min1.thm1.tptp2017-02-06 16:46 524  
[ ]valued_2__698_19.min1.thm12017-02-06 12:44 558  
[ ]valued_2__698_19.min1.thm1.tptp2017-02-06 16:46 493  
[ ]valued_2__700_14.min1.thm12017-02-06 12:46 401  
[ ]valued_2__700_14.min1.thm1.tptp2017-02-06 16:46 323  
[ ]valued_2__710_34.min1.thm12017-02-06 12:46 589  
[ ]valued_2__710_34.min1.thm1.tptp2017-02-06 16:46 524  
[ ]valued_2__711_19.min1.thm12017-02-06 12:46 558  
[ ]valued_2__711_19.min1.thm1.tptp2017-02-06 16:46 493  
[ ]valued_2__713_14.min1.thm12017-02-06 12:46 401  
[ ]valued_2__713_14.min1.thm1.tptp2017-02-06 16:46 323  
[ ]valued_2__723_34.min1.thm12017-02-06 12:46 591  
[ ]valued_2__723_34.min1.thm1.tptp2017-02-06 16:46 526  
[ ]valued_2__724_19.min1.thm12017-02-06 12:44 560  
[ ]valued_2__724_19.min1.thm1.tptp2017-02-06 16:46 495  
[ ]valued_2__726_14.min1.thm12017-02-06 12:44 405  
[ ]valued_2__726_14.min1.thm1.tptp2017-02-06 16:46 327  
[ ]valued_2__736_34.min1.thm12017-02-06 12:44 591  
[ ]valued_2__736_34.min1.thm1.tptp2017-02-06 16:46 526  
[ ]valued_2__737_19.min1.thm12017-02-06 12:46 560  
[ ]valued_2__737_19.min1.thm1.tptp2017-02-06 16:46 495  
[ ]valued_2__739_14.min1.thm12017-02-06 12:46 405  
[ ]valued_2__739_14.min1.thm1.tptp2017-02-06 16:46 327  
[ ]valued_2__748_18.min1.thm12017-02-06 12:44 889  
[ ]valued_2__753_57.min1.thm12017-02-06 12:44 304  
[ ]valued_2__754_35.min1.thm12017-02-06 12:44 452  
[ ]valued_2__755_16.min1.thm12017-02-06 12:46 328  
[ ]valued_2__755_16.min1.thm1.tptp2017-02-06 16:46 242  
[ ]valued_2__761_18.min1.thm12017-02-06 12:46 826  
[ ]valued_2__766_57.min1.thm12017-02-06 12:46 304  
[ ]valued_2__767_36.min1.thm12017-02-06 12:47 453  
[ ]valued_2__768_16.min1.thm12017-02-06 12:46 328  
[ ]valued_2__768_16.min1.thm1.tptp2017-02-06 16:46 242  
[ ]valued_2__774_18.min1.thm12017-02-06 12:47 826  
[ ]valued_2__779_57.min1.thm12017-02-06 12:46 304  
[ ]valued_2__780_32.min1.thm12017-02-06 12:47 453  
[ ]valued_2__781_16.min1.thm12017-02-06 12:46 328  
[ ]valued_2__781_16.min1.thm1.tptp2017-02-06 16:46 242  
[ ]valued_2__787_18.min1.thm12017-02-06 12:46 784  
[ ]valued_2__792_57.min1.thm12017-02-06 12:46 304  
[ ]valued_2__793_36.min1.thm12017-02-06 12:46 453  
[ ]valued_2__794_16.min1.thm12017-02-06 12:46 328  
[ ]valued_2__794_16.min1.thm1.tptp2017-02-06 16:46 242  
[ ]valued_2__800_18.min1.thm12017-02-06 12:46 786  
[ ]valued_2__805_57.min1.thm12017-02-06 12:46 309  
[ ]valued_2__806_35.min1.thm12017-02-06 12:46 460  
[ ]valued_2__807_16.min1.thm12017-02-06 12:47 335  
[ ]valued_2__807_16.min1.thm1.tptp2017-02-06 16:46 249  
[ ]valued_2__813_18.min1.thm12017-02-06 12:47 898  
[ ]valued_2__818_57.min1.thm12017-02-06 12:46 309  
[ ]valued_2__819_35.min1.thm12017-02-06 12:44 460  
[ ]valued_2__820_16.min1.thm12017-02-06 12:46 335  
[ ]valued_2__820_16.min1.thm1.tptp2017-02-06 16:46 249  
[ ]valued_2__829_32.min1.thm12017-02-06 12:46 193  
[ ]valued_2__830_19.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__839_32.min1.thm12017-02-06 12:44 193  
[ ]valued_2__840_19.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__849_32.min1.thm12017-02-06 12:46 193  
[ ]valued_2__850_19.min1.thm12017-02-06 12:47 918  
[ ]valued_2__859_32.min1.thm12017-02-06 12:46 193  
[ ]valued_2__860_19.min1.thm12017-02-06 12:46 948  
[ ]valued_2__869_32.min1.thm12017-02-06 12:47 193  
[ ]valued_2__870_19.min1.thm12017-02-06 12:46 916  
[ ]valued_2__879_32.min1.thm12017-02-06 12:46 193  
[ ]valued_2__880_19.min1.thm12017-02-06 12:46 813  
[ ]valued_2__889_11.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_2__897_11.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__907_13.min1.thm12017-02-06 12:46 281  
[ ]valued_2__910_26.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__911_18.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__915_21.min1.thm12017-02-06 12:44 1.7K 
[ ]valued_2__927_13.min1.thm12017-02-06 12:44 281  
[ ]valued_2__930_26.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__931_18.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_2__935_21.min1.thm12017-02-06 12:46 1.7K 
[ ]valued_2__947_13.min1.thm12017-02-06 12:44 281  
[ ]valued_2__950_26.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__951_18.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__955_21.min1.thm12017-02-06 12:47 1.4K 
[ ]valued_2__967_13.min1.thm12017-02-06 12:46 281  
[ ]valued_2__970_26.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_2__971_18.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__975_21.min1.thm12017-02-06 12:46 1.5K 
[ ]valued_2__987_13.min1.thm12017-02-06 12:47 281  
[ ]valued_2__990_26.min1.thm12017-02-06 12:47 1.2K 
[ ]valued_2__991_18.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__995_21.min1.thm12017-02-06 12:46 1.5K 
[ ]valued_2__1007_13.min1.thm12017-02-06 12:46 281  
[ ]valued_2__1010_26.min1.thm12017-02-06 12:47 1.2K 
[ ]valued_2__1011_18.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_2__1015_21.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_2__1030_30.min1.thm12017-02-06 12:46 605  
[ ]valued_2__1030_30.min1.thm1.tptp2017-02-06 16:46 557  
[ ]valued_2__1031_38.min1.thm12017-02-06 12:46 697  
[ ]valued_2__1032_12.min1.thm12017-02-06 12:46 133  
[ ]valued_2__1033_19.min1.thm12017-02-06 12:44 856  
[ ]valued_2__1047_30.min1.thm12017-02-06 12:44 605  
[ ]valued_2__1047_30.min1.thm1.tptp2017-02-06 16:46 557  
[ ]valued_2__1048_38.min1.thm12017-02-06 12:46 697  
[ ]valued_2__1049_12.min1.thm12017-02-06 12:46 133  
[ ]valued_2__1050_19.min1.thm12017-02-06 12:46 856  
[ ]valued_2__1064_30.min1.thm12017-02-06 12:44 605  
[ ]valued_2__1064_30.min1.thm1.tptp2017-02-06 16:46 557  
[ ]valued_2__1065_38.min1.thm12017-02-06 12:46 697  
[ ]valued_2__1066_12.min1.thm12017-02-06 12:46 133  
[ ]valued_2__1067_19.min1.thm12017-02-06 12:46 856  
[ ]valued_2__1081_30.min1.thm12017-02-06 12:46 605  
[ ]valued_2__1081_30.min1.thm1.tptp2017-02-06 16:46 557  
[ ]valued_2__1082_38.min1.thm12017-02-06 12:46 697  
[ ]valued_2__1083_12.min1.thm12017-02-06 12:46 133  
[ ]valued_2__1084_19.min1.thm12017-02-06 12:44 876  
[ ]valued_2__1098_30.min1.thm12017-02-06 12:46 605  
[ ]valued_2__1098_30.min1.thm1.tptp2017-02-06 16:46 557  
[ ]valued_2__1099_38.min1.thm12017-02-06 12:46 697  
[ ]valued_2__1100_12.min1.thm12017-02-06 12:44 133  
[ ]valued_2__1101_19.min1.thm12017-02-06 12:44 876  
[ ]valued_2__1115_30.min1.thm12017-02-06 12:46 605  
[ ]valued_2__1115_30.min1.thm1.tptp2017-02-06 16:46 557  
[ ]valued_2__1116_38.min1.thm12017-02-06 12:47 697  
[ ]valued_2__1117_12.min1.thm12017-02-06 12:47 133  
[ ]valued_2__1118_19.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__1132_29.min1.thm12017-02-06 12:46 580  
[ ]valued_2__1132_29.min1.thm1.tptp2017-02-06 16:46 536  
[ ]valued_2__1133_38.min1.thm12017-02-06 12:46 754  
[ ]valued_2__1134_12.min1.thm12017-02-06 12:46 133  
[ ]valued_2__1135_19.min1.thm12017-02-06 12:44 856  
[ ]valued_2__1149_29.min1.thm12017-02-06 12:47 580  
[ ]valued_2__1149_29.min1.thm1.tptp2017-02-06 16:46 536  
[ ]valued_2__1150_38.min1.thm12017-02-06 12:47 754  
[ ]valued_2__1151_12.min1.thm12017-02-06 12:46 133  
[ ]valued_2__1152_19.min1.thm12017-02-06 12:44 856  
[ ]valued_2__1166_29.min1.thm12017-02-06 12:47 580  
[ ]valued_2__1166_29.min1.thm1.tptp2017-02-06 16:46 536  
[ ]valued_2__1167_38.min1.thm12017-02-06 12:46 754  
[ ]valued_2__1168_12.min1.thm12017-02-06 12:44 133  
[ ]valued_2__1169_19.min1.thm12017-02-06 12:44 856  
[ ]valued_2__1183_29.min1.thm12017-02-06 12:44 580  
[ ]valued_2__1183_29.min1.thm1.tptp2017-02-06 16:46 536  
[ ]valued_2__1184_38.min1.thm12017-02-06 12:46 754  
[ ]valued_2__1185_12.min1.thm12017-02-06 12:44 133  
[ ]valued_2__1186_19.min1.thm12017-02-06 12:46 876  
[ ]valued_2__1200_29.min1.thm12017-02-06 12:44 580  
[ ]valued_2__1200_29.min1.thm1.tptp2017-02-06 16:46 536  
[ ]valued_2__1201_38.min1.thm12017-02-06 12:44 754  
[ ]valued_2__1202_12.min1.thm12017-02-06 12:46 133  
[ ]valued_2__1203_19.min1.thm12017-02-06 12:46 876  
[ ]valued_2__1217_29.min1.thm12017-02-06 12:46 580  
[ ]valued_2__1217_29.min1.thm1.tptp2017-02-06 16:46 536  
[ ]valued_2__1218_38.min1.thm12017-02-06 12:46 754  
[ ]valued_2__1219_12.min1.thm12017-02-06 12:46 133  
[ ]valued_2__1220_19.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__1251_43.min1.thm12017-02-06 12:46 652  
[ ]valued_2__1268_26.min1.thm12017-02-06 12:44 600  
[ ]valued_2__1269_21.min1.thm12017-02-06 12:46 893  
[ ]valued_2__1275_50.min1.thm12017-02-06 12:46 606  
[ ]valued_2__1276_19.min1.thm12017-02-06 12:46 590  
[ ]valued_2__1276_19.min1.thm1.tptp2017-02-06 16:46 522  
[ ]valued_2__1289_26.min1.thm12017-02-06 12:46 600  
[ ]valued_2__1290_21.min1.thm12017-02-06 12:46 893  
[ ]valued_2__1296_50.min1.thm12017-02-06 12:46 606  
[ ]valued_2__1297_19.min1.thm12017-02-06 12:46 590  
[ ]valued_2__1297_19.min1.thm1.tptp2017-02-06 16:46 522  
[ ]valued_2__1310_26.min1.thm12017-02-06 12:46 600  
[ ]valued_2__1311_21.min1.thm12017-02-06 12:46 964  
[ ]valued_2__1317_50.min1.thm12017-02-06 12:46 606  
[ ]valued_2__1318_19.min1.thm12017-02-06 12:46 590  
[ ]valued_2__1318_19.min1.thm1.tptp2017-02-06 16:46 522  
[ ]valued_2__1331_26.min1.thm12017-02-06 12:44 600  
[ ]valued_2__1332_21.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__1338_50.min1.thm12017-02-06 12:46 606  
[ ]valued_2__1339_19.min1.thm12017-02-06 12:46 610  
[ ]valued_2__1339_19.min1.thm1.tptp2017-02-06 16:46 542  
[ ]valued_2__1352_26.min1.thm12017-02-06 12:44 600  
[ ]valued_2__1353_21.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__1359_50.min1.thm12017-02-06 12:46 606  
[ ]valued_2__1360_19.min1.thm12017-02-06 12:44 610  
[ ]valued_2__1360_19.min1.thm1.tptp2017-02-06 16:46 542  
[ ]valued_2__1373_26.min1.thm12017-02-06 12:46 600  
[ ]valued_2__1374_21.min1.thm12017-02-06 12:47 1.1K 
[ ]valued_2__1380_50.min1.thm12017-02-06 12:46 606  
[ ]valued_2__1381_19.min1.thm12017-02-06 12:46 590  
[ ]valued_2__1381_19.min1.thm1.tptp2017-02-06 16:46 522  
[ ]valued_2__1392_18.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__1400_18.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_2__1408_18.min1.thm12017-02-06 12:46 883  
[ ]valued_2__1416_18.min1.thm12017-02-06 12:46 812  
[ ]valued_2__1424_18.min1.thm12017-02-06 12:44 883  
[ ]valued_2__1435_18.min1.thm12017-02-06 12:46 648  
[ ]valued_2__1444_15.min1.thm12017-02-06 12:46 384  
[ ]valued_2__1451_14.min1.thm12017-02-06 12:46 367  
[ ]valued_2__1451_14.min1.thm1.tptp2017-02-06 16:46 290  
[ ]valued_2__1457_14.min1.thm12017-02-06 12:44 367  
[ ]valued_2__1457_14.min1.thm1.tptp2017-02-06 16:46 290  
[ ]valued_2__1463_14.min1.thm12017-02-06 12:46 367  
[ ]valued_2__1463_14.min1.thm1.tptp2017-02-06 16:46 290  
[ ]valued_2__1469_14.min1.thm12017-02-06 12:47 369  
[ ]valued_2__1469_14.min1.thm1.tptp2017-02-06 16:46 292  
[ ]valued_2__1475_14.min1.thm12017-02-06 12:46 369  
[ ]valued_2__1475_14.min1.thm1.tptp2017-02-06 16:46 292  
[ ]valued_2__1481_14.min1.thm12017-02-06 12:46 369  
[ ]valued_2__1481_14.min1.thm1.tptp2017-02-06 16:46 292  
[ ]valued_2__1488_11.min1.thm12017-02-06 12:46 744  
[ ]valued_2__1499_15.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__1511_15.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__1523_15.min1.thm12017-02-06 12:46 1.5K 
[ ]valued_2__1535_15.min1.thm12017-02-06 12:46 1.6K 
[ ]valued_2__1547_15.min1.thm12017-02-06 12:44 1.6K 
[ ]valued_2__1557_13.min1.thm12017-02-06 12:44 249  
[ ]valued_2__1560_26.min1.thm12017-02-06 12:46 623  
[ ]valued_2__1561_18.min1.thm12017-02-06 12:44 860  
[ ]valued_2__1565_21.min1.thm12017-02-06 12:46 911  
[ ]valued_2__1576_13.min1.thm12017-02-06 12:46 249  
[ ]valued_2__1579_26.min1.thm12017-02-06 12:46 623  
[ ]valued_2__1580_18.min1.thm12017-02-06 12:46 860  
[ ]valued_2__1584_21.min1.thm12017-02-06 12:46 911  
[ ]valued_2__1595_13.min1.thm12017-02-06 12:46 249  
[ ]valued_2__1598_26.min1.thm12017-02-06 12:44 623  
[ ]valued_2__1599_18.min1.thm12017-02-06 12:46 720  
[ ]valued_2__1603_21.min1.thm12017-02-06 12:47 1.1K 
[ ]valued_2__1614_13.min1.thm12017-02-06 12:46 249  
[ ]valued_2__1617_26.min1.thm12017-02-06 12:47 623  
[ ]valued_2__1618_18.min1.thm12017-02-06 12:46 720  
[ ]valued_2__1622_21.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__1633_13.min1.thm12017-02-06 12:44 249  
[ ]valued_2__1636_26.min1.thm12017-02-06 12:46 623  
[ ]valued_2__1637_18.min1.thm12017-02-06 12:44 720  
[ ]valued_2__1641_21.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__1652_13.min1.thm12017-02-06 12:46 249  
[ ]valued_2__1655_26.min1.thm12017-02-06 12:44 624  
[ ]valued_2__1656_18.min1.thm12017-02-06 12:44 742  
[ ]valued_2__1660_21.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__1671_13.min1.thm12017-02-06 12:46 249  
[ ]valued_2__1674_26.min1.thm12017-02-06 12:46 624  
[ ]valued_2__1675_18.min1.thm12017-02-06 12:46 742  
[ ]valued_2__1679_21.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__1690_13.min1.thm12017-02-06 12:46 249  
[ ]valued_2__1693_26.min1.thm12017-02-06 12:47 624  
[ ]valued_2__1694_18.min1.thm12017-02-06 12:46 722  
[ ]valued_2__1698_21.min1.thm12017-02-06 12:46 891  
[ ]valued_2__1719_17.min1.thm12017-02-06 12:44 614  
[ ]valued_2__1720_22.min1.thm12017-02-06 12:46 884  
[ ]valued_2__1722_24.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_2__1723_22.min1.thm12017-02-06 12:44 884  
[ ]valued_2__1724_27.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__1735_17.min1.thm12017-02-06 12:46 614  
[ ]valued_2__1752_17.min1.thm12017-02-06 12:46 614  
[ ]valued_2__1753_17.min1.thm12017-02-06 12:46 607  
[ ]valued_2__1755_16.min1.thm12017-02-06 12:46 600  
[ ]valued_2__1756_46.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__1763_28.min1.thm12017-02-06 12:44 860  
[ ]valued_2__1765_33.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__1769_21.min1.thm12017-02-06 12:47 525  
[ ]valued_2__1769_21.min1.thm1.tptp2017-02-06 16:46 461  
[ ]valued_2__1770_31.min1.thm12017-02-06 12:46 905  
[ ]valued_2__1771_18.min1.thm12017-02-06 12:46 1.5K 
[ ]valued_2__1773_18.min1.thm12017-02-06 12:46 628  
[ ]valued_2__1773_18.min1.thm1.tptp2017-02-06 16:46 564  
[ ]valued_2__1780_28.min1.thm12017-02-06 12:46 865  
[ ]valued_2__1782_33.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__1786_21.min1.thm12017-02-06 12:46 525  
[ ]valued_2__1786_21.min1.thm1.tptp2017-02-06 16:46 461  
[ ]valued_2__1787_31.min1.thm12017-02-06 12:44 910  
[ ]valued_2__1790_18.min1.thm12017-02-06 12:46 628  
[ ]valued_2__1790_18.min1.thm1.tptp2017-02-06 16:46 564  
[ ]valued_2__1797_33.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_2__1798_24.min1.thm12017-02-06 12:46 884  
[ ]valued_2__1799_42.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__1801_30.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__1804_38.min1.thm12017-02-06 12:46 1.6K 
[ ]valued_2__1805_19.min1.thm12017-02-06 12:46 1.5K 
[ ]valued_2__1806_18.min1.thm12017-02-06 12:46 883  
[ ]valued_2__1814_24.min1.thm12017-02-06 12:46 884  
[ ]valued_2__1815_42.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__1817_30.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__1821_19.min1.thm12017-02-06 12:46 1.5K 
[ ]valued_2__1829_33.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__1836_38.min1.thm12017-02-06 12:46 1.7K 
[ ]valued_2__1861_59.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__1862_48.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_2__1865_43.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__1866_19.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_2__1867_18.min1.thm12017-02-06 12:46 900  
[ ]valued_2__1874_28.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__1878_29.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__1882_31.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__1883_20.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_2__1885_20.min1.thm12017-02-06 12:46 697  
[ ]valued_2__1885_20.min1.thm1.tptp2017-02-06 16:46 633  
[ ]valued_2__1892_28.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__1893_30.min1.thm12017-02-06 12:46 742  
[ ]valued_2__1899_28.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__1901_18.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__1902_20.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_2__1910_65.min1.thm12017-02-06 12:46 1.7K 
[ ]valued_2__1912_50.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__1916_25.min1.thm12017-02-06 12:47 921  
[ ]valued_2__1917_24.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__1919_28.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__1927_65.min1.thm12017-02-06 12:44 1.6K 
[ ]valued_2__1929_48.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_2__1932_45.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__1935_25.min1.thm12017-02-06 12:46 921  
[ ]valued_2__1943_18.min1.thm12017-02-06 12:46 1.7K 
[ ]valued_2__1946_49.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_2__1951_27.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__1952_27.min1.thm12017-02-06 12:46 921  
[ ]valued_2__1959_25.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__1960_15.min1.thm12017-02-06 12:46 534  
[ ]valued_2__1960_15.min1.thm1.tptp2017-02-06 16:46 470  
[ ]valued_2__1961_38.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__1964_33.min1.thm12017-02-06 12:46 875  
[ ]valued_2__1965_18.min1.thm12017-02-06 12:46 639  
[ ]valued_2__1965_18.min1.thm1.tptp2017-02-06 16:46 575  
[ ]valued_2__1967_22.min1.thm12017-02-06 12:46 775  
[ ]valued_2__1973_33.min1.thm12017-02-06 12:46 878  
[ ]valued_2__1974_15.min1.thm12017-02-06 12:44 901  
[ ]valued_2__1975_25.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__1976_15.min1.thm12017-02-06 12:46 534  
[ ]valued_2__1976_15.min1.thm1.tptp2017-02-06 16:46 470  
[ ]valued_2__1977_37.min1.thm12017-02-06 12:46 552  
[ ]valued_2__1977_37.min1.thm1.tptp2017-02-06 16:46 470  
[ ]valued_2__1980_33.min1.thm12017-02-06 12:44 875  
[ ]valued_2__1981_18.min1.thm12017-02-06 12:46 639  
[ ]valued_2__1981_18.min1.thm1.tptp2017-02-06 16:46 575  
[ ]valued_2__1983_20.min1.thm12017-02-06 12:46 689  
[ ]valued_2__1984_22.min1.thm12017-02-06 12:47 923  
[ ]valued_2__1990_27.min1.thm12017-02-06 12:47 626  
[ ]valued_2__1991_18.min1.thm12017-02-06 12:44 628  
[ ]valued_2__1997_32.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__1998_67.min1.thm12017-02-06 12:44 1.7K 
[ ]valued_2__2000_39.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__2003_35.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_2__2004_20.min1.thm12017-02-06 12:46 829  
[ ]valued_2__2006_20.min1.thm12017-02-06 12:44 697  
[ ]valued_2__2006_20.min1.thm1.tptp2017-02-06 16:46 633  
[ ]valued_2__2007_22.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__2013_30.min1.thm12017-02-06 12:47 1.2K 
[ ]valued_2__2015_37.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__2018_33.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__2021_20.min1.thm12017-02-06 12:46 697  
[ ]valued_2__2021_20.min1.thm1.tptp2017-02-06 16:46 633  
[ ]valued_2__2028_21.min1.thm12017-02-06 12:46 532  
[ ]valued_2__2028_21.min1.thm1.tptp2017-02-06 16:46 468  
[ ]valued_2__2029_62.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__2030_35.min1.thm12017-02-06 12:47 1.6K 
[ ]valued_2__2033_33.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__2035_18.min1.thm12017-02-06 12:46 892  
[ ]valued_2__2036_20.min1.thm12017-02-06 12:46 697  
[ ]valued_2__2036_20.min1.thm1.tptp2017-02-06 16:46 633  
[ ]valued_2__2044_11.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__2050_11.min1.thm12017-02-06 12:46 949  
[ ]valued_2__2062_11.min1.thm12017-02-06 12:44 1.7K 
[ ]valued_2__2080_37.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_2__2081_18.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__2088_18.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__2094_30.min1.thm12017-02-06 12:46 626  
[ ]valued_2__2095_20.min1.thm12017-02-06 12:46 628  
[ ]valued_2__2106_17.min1.thm12017-02-06 12:44 622  
[ ]valued_2__2107_17.min1.thm12017-02-06 12:46 618  
[ ]valued_2__2109_16.min1.thm12017-02-06 12:46 613  
[ ]valued_2__2112_18.min1.thm12017-02-06 12:46 488  
[ ]valued_2__2119_46.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__2123_24.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__2124_18.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__2125_25.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__2131_37.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_2__2136_43.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_2__2138_19.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__2139_24.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__2152_24.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__2153_24.min1.thm12017-02-06 12:46 667  
[ ]valued_2__2161_32.min1.thm12017-02-06 12:47 1.1K 
[ ]valued_2__2169_22.min1.thm12017-02-06 12:46 1.5K 
[ ]valued_2__2170_22.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__2180_32.min1.thm12017-02-06 12:46 742  
[ ]valued_2__2188_22.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__2204_20.min1.thm12017-02-06 12:44 889  
[ ]valued_2__2205_19.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__2207_25.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__2220_21.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__2221_25.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__2238_16.min1.thm12017-02-06 12:46 562  
[ ]valued_2__2247_25.min1.thm12017-02-06 12:46 400  
[ ]valued_2__2247_25.min1.thm1.tptp2017-02-06 16:46 318  
[ ]valued_2__2251_23.min1.thm12017-02-06 12:46 529  
[ ]valued_2__2251_23.min1.thm1.tptp2017-02-06 16:46 452  
[ ]valued_2__2252_15.min1.thm12017-02-06 12:46 733  
[ ]valued_2__2264_20.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_2__2271_16.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__2272_19.min1.thm12017-02-06 12:46 1.5K 
[ ]valued_2__2273_38.min1.thm12017-02-06 12:46 1.7K 
[ ]valued_2__2279_17.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_2__2280_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__2282_28.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__2283_25.min1.thm12017-02-06 12:46 1.8K 
[ ]valued_2__2284_46.min1.thm12017-02-06 12:44 953  
[ ]valued_2__2285_21.min1.thm12017-02-06 12:46 642  
[ ]valued_2__2314_17.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__2315_73.min1.thm12017-02-06 12:44 659  
[ ]valued_2__2317_28.min1.thm12017-02-06 12:47 1.1K 
[ ]valued_2__2318_25.min1.thm12017-02-06 12:44 1.9K 
[ ]valued_2__2319_43.min1.thm12017-02-06 12:46 953  
[ ]valued_2__2320_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__2349_17.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__2350_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__2352_28.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__2353_25.min1.thm12017-02-06 12:46 2.0K 
[ ]valued_2__2354_42.min1.thm12017-02-06 12:46 953  
[ ]valued_2__2355_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__2384_17.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__2385_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__2387_28.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__2388_25.min1.thm12017-02-06 12:46 2.1K 
[ ]valued_2__2389_42.min1.thm12017-02-06 12:46 953  
[ ]valued_2__2390_21.min1.thm12017-02-06 12:46 645  
[ ]valued_2__2418_17.min1.thm12017-02-06 12:44 2.2K 
[ ]valued_2__2419_10.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__2428_26.min1.thm12017-02-06 12:44 2.0K 
[ ]valued_2__2432_20.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__2434_11.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__2454_17.min1.thm12017-02-06 12:44 399  
[ ]valued_2__2461_25.min1.thm12017-02-06 12:46 328  
[ ]valued_2__2464_20.min1.thm12017-02-06 12:44 936  
[ ]valued_2__2465_16.min1.thm12017-02-06 12:46 468  
[ ]valued_2__2474_25.min1.thm12017-02-06 12:46 434  
[ ]valued_2__2474_25.min1.thm1.tptp2017-02-06 16:46 352  
[ ]valued_2__2478_55.min1.thm12017-02-06 12:44 1.6K 
[ ]valued_2__2479_22.min1.thm12017-02-06 12:47 810  
[ ]valued_2__2480_15.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__2496_16.min1.thm12017-02-06 12:46 562  
[ ]valued_2__2505_25.min1.thm12017-02-06 12:44 400  
[ ]valued_2__2505_25.min1.thm1.tptp2017-02-06 16:46 318  
[ ]valued_2__2509_23.min1.thm12017-02-06 12:44 529  
[ ]valued_2__2509_23.min1.thm1.tptp2017-02-06 16:46 452  
[ ]valued_2__2510_15.min1.thm12017-02-06 12:47 733  
[ ]valued_2__2522_20.min1.thm12017-02-06 12:46 1.5K 
[ ]valued_2__2529_16.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__2530_21.min1.thm12017-02-06 12:46 1.5K 
[ ]valued_2__2531_38.min1.thm12017-02-06 12:46 1.7K 
[ ]valued_2__2537_17.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__2538_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__2540_28.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__2541_25.min1.thm12017-02-06 12:46 2.1K 
[ ]valued_2__2542_46.min1.thm12017-02-06 12:44 953  
[ ]valued_2__2543_21.min1.thm12017-02-06 12:46 642  
[ ]valued_2__2572_17.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__2573_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__2575_28.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__2576_25.min1.thm12017-02-06 12:46 2.2K 
[ ]valued_2__2577_43.min1.thm12017-02-06 12:44 953  
[ ]valued_2__2578_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__2607_17.min1.thm12017-02-06 12:47 1.3K 
[ ]valued_2__2608_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__2610_28.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__2611_25.min1.thm12017-02-06 12:46 2.3K 
[ ]valued_2__2612_42.min1.thm12017-02-06 12:46 953  
[ ]valued_2__2613_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__2641_17.min1.thm12017-02-06 12:46 2.2K 
[ ]valued_2__2642_10.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_2__2657_16.min1.thm12017-02-06 12:46 562  
[ ]valued_2__2666_25.min1.thm12017-02-06 12:44 400  
[ ]valued_2__2666_25.min1.thm1.tptp2017-02-06 16:46 318  
[ ]valued_2__2670_23.min1.thm12017-02-06 12:46 529  
[ ]valued_2__2670_23.min1.thm1.tptp2017-02-06 16:46 452  
[ ]valued_2__2671_15.min1.thm12017-02-06 12:46 733  
[ ]valued_2__2683_20.min1.thm12017-02-06 12:46 1.5K 
[ ]valued_2__2690_16.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_2__2691_23.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_2__2692_38.min1.thm12017-02-06 12:46 1.7K 
[ ]valued_2__2698_17.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__2699_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__2701_28.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__2702_25.min1.thm12017-02-06 12:44 2.1K 
[ ]valued_2__2703_46.min1.thm12017-02-06 12:46 953  
[ ]valued_2__2704_21.min1.thm12017-02-06 12:46 642  
[ ]valued_2__2733_17.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_2__2734_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__2736_28.min1.thm12017-02-06 12:47 1.1K 
[ ]valued_2__2737_25.min1.thm12017-02-06 12:46 2.2K 
[ ]valued_2__2738_43.min1.thm12017-02-06 12:46 953  
[ ]valued_2__2739_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__2768_17.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__2769_73.min1.thm12017-02-06 12:47 659  
[ ]valued_2__2771_28.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__2772_25.min1.thm12017-02-06 12:46 2.3K 
[ ]valued_2__2773_42.min1.thm12017-02-06 12:46 953  
[ ]valued_2__2774_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__2803_17.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__2804_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__2806_28.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__2807_25.min1.thm12017-02-06 12:46 2.3K 
[ ]valued_2__2808_42.min1.thm12017-02-06 12:46 953  
[ ]valued_2__2809_21.min1.thm12017-02-06 12:44 645  
[ ]valued_2__2854_16.min1.thm12017-02-06 12:47 594  
[ ]valued_2__2863_25.min1.thm12017-02-06 12:46 400  
[ ]valued_2__2863_25.min1.thm1.tptp2017-02-06 16:46 318  
[ ]valued_2__2867_23.min1.thm12017-02-06 12:44 561  
[ ]valued_2__2867_23.min1.thm1.tptp2017-02-06 16:46 484  
[ ]valued_2__2868_15.min1.thm12017-02-06 12:46 765  
[ ]valued_2__2881_20.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_2__2888_16.min1.thm12017-02-06 12:46 1.5K 
[ ]valued_2__2889_22.min1.thm12017-02-06 12:46 1.6K 
[ ]valued_2__2890_38.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_2__2896_17.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__2897_73.min1.thm12017-02-06 12:44 659  
[ ]valued_2__2899_28.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__2900_25.min1.thm12017-02-06 12:46 2.2K 
[ ]valued_2__2901_46.min1.thm12017-02-06 12:46 953  
[ ]valued_2__2902_21.min1.thm12017-02-06 12:46 642  
[ ]valued_2__2932_17.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__2933_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__2935_28.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__2936_25.min1.thm12017-02-06 12:46 2.4K 
[ ]valued_2__2937_43.min1.thm12017-02-06 12:46 953  
[ ]valued_2__2938_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__2968_17.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__2969_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__2971_28.min1.thm12017-02-06 12:47 1.1K 
[ ]valued_2__2972_25.min1.thm12017-02-06 12:46 2.5K 
[ ]valued_2__2973_42.min1.thm12017-02-06 12:46 953  
[ ]valued_2__2974_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__3004_17.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__3005_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__3007_28.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__3008_25.min1.thm12017-02-06 12:46 2.6K 
[ ]valued_2__3009_42.min1.thm12017-02-06 12:47 953  
[ ]valued_2__3010_21.min1.thm12017-02-06 12:46 645  
[ ]valued_2__3040_17.min1.thm12017-02-06 12:47 1.3K 
[ ]valued_2__3041_73.min1.thm12017-02-06 12:44 659  
[ ]valued_2__3043_28.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__3044_25.min1.thm12017-02-06 12:44 2.6K 
[ ]valued_2__3045_42.min1.thm12017-02-06 12:46 953  
[ ]valued_2__3046_21.min1.thm12017-02-06 12:46 645  
[ ]valued_2__3065_25.min1.thm12017-02-06 12:46 1.7K 
[ ]valued_2__3077_17.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__3078_17.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__3080_16.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3096_11.min1.thm12017-02-06 12:47 887  
[ ]valued_2__3113_20.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__3126_20.min1.thm12017-02-06 12:47 1.8K 
[ ]valued_2__3139_20.min1.thm12017-02-06 12:46 1.9K 
[ ]valued_2__3152_20.min1.thm12017-02-06 12:44 2.0K 
[ ]valued_2__3165_17.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3166_17.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__3168_16.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3207_25.min1.thm12017-02-06 12:44 1.7K 
[ ]valued_2__3224_25.min1.thm12017-02-06 12:46 1.7K 
[ ]valued_2__3241_16.min1.thm12017-02-06 12:44 596  
[ ]valued_2__3250_25.min1.thm12017-02-06 12:46 400  
[ ]valued_2__3250_25.min1.thm1.tptp2017-02-06 16:46 318  
[ ]valued_2__3254_23.min1.thm12017-02-06 12:46 563  
[ ]valued_2__3254_23.min1.thm1.tptp2017-02-06 16:46 486  
[ ]valued_2__3255_15.min1.thm12017-02-06 12:44 767  
[ ]valued_2__3268_20.min1.thm12017-02-06 12:46 1.5K 
[ ]valued_2__3275_16.min1.thm12017-02-06 12:44 1.5K 
[ ]valued_2__3276_24.min1.thm12017-02-06 12:46 1.6K 
[ ]valued_2__3277_38.min1.thm12017-02-06 12:46 1.8K 
[ ]valued_2__3283_17.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__3284_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__3286_28.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__3287_25.min1.thm12017-02-06 12:46 2.2K 
[ ]valued_2__3288_46.min1.thm12017-02-06 12:46 953  
[ ]valued_2__3289_21.min1.thm12017-02-06 12:46 642  
[ ]valued_2__3319_17.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__3320_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__3322_28.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3323_25.min1.thm12017-02-06 12:46 2.4K 
[ ]valued_2__3324_43.min1.thm12017-02-06 12:46 953  
[ ]valued_2__3325_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__3355_17.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__3356_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__3358_28.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3359_25.min1.thm12017-02-06 12:46 2.5K 
[ ]valued_2__3360_42.min1.thm12017-02-06 12:44 953  
[ ]valued_2__3361_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__3391_17.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_2__3392_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__3394_28.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__3395_25.min1.thm12017-02-06 12:46 2.6K 
[ ]valued_2__3396_42.min1.thm12017-02-06 12:46 953  
[ ]valued_2__3397_21.min1.thm12017-02-06 12:44 645  
[ ]valued_2__3427_17.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__3428_73.min1.thm12017-02-06 12:46 659  
[ ]valued_2__3430_28.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__3431_25.min1.thm12017-02-06 12:47 2.6K 
[ ]valued_2__3432_42.min1.thm12017-02-06 12:46 953  
[ ]valued_2__3433_21.min1.thm12017-02-06 12:46 645  
[ ]valued_2__3452_27.min1.thm12017-02-06 12:46 1.7K 
[ ]valued_2__3466_17.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3473_17.min1.thm12017-02-06 12:47 1.2K 
[ ]valued_2__3475_16.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3476_21.min1.thm12017-02-06 12:46 440  
[ ]valued_2__3476_21.min1.thm1.tptp2017-02-06 16:46 359  
[ ]valued_2__3487_11.min1.thm12017-02-06 12:46 887  
[ ]valued_2__3504_22.min1.thm12017-02-06 12:44 1.4K 
[ ]valued_2__3517_22.min1.thm12017-02-06 12:46 1.8K 
[ ]valued_2__3530_22.min1.thm12017-02-06 12:46 1.9K 
[ ]valued_2__3548_29.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_2__3549_26.min1.thm12017-02-06 12:47 669  
[ ]valued_2__3563_17.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3570_17.min1.thm12017-02-06 12:47 1.2K 
[ ]valued_2__3572_16.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3573_21.min1.thm12017-02-06 12:46 440  
[ ]valued_2__3573_21.min1.thm1.tptp2017-02-06 16:46 359  
[ ]valued_2__3591_16.min1.thm12017-02-06 12:46 753  
[ ]valued_2__3600_25.min1.thm12017-02-06 12:46 486  
[ ]valued_2__3600_25.min1.thm1.tptp2017-02-06 16:46 404  
[ ]valued_2__3604_23.min1.thm12017-02-06 12:47 609  
[ ]valued_2__3604_23.min1.thm1.tptp2017-02-06 16:46 532  
[ ]valued_2__3605_15.min1.thm12017-02-06 12:46 899  
[ ]valued_2__3626_24.min1.thm12017-02-06 12:46 1.8K 
[ ]valued_2__3627_38.min1.thm12017-02-06 12:46 1.9K 
[ ]valued_2__3634_22.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3635_73.min1.thm12017-02-06 12:46 660  
[ ]valued_2__3637_28.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_2__3638_25.min1.thm12017-02-06 12:46 2.4K 
[ ]valued_2__3639_46.min1.thm12017-02-06 12:47 953  
[ ]valued_2__3640_21.min1.thm12017-02-06 12:46 642  
[ ]valued_2__3671_22.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3672_73.min1.thm12017-02-06 12:46 660  
[ ]valued_2__3674_28.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3675_25.min1.thm12017-02-06 12:46 2.6K 
[ ]valued_2__3676_43.min1.thm12017-02-06 12:44 953  
[ ]valued_2__3677_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__3708_22.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3709_73.min1.thm12017-02-06 12:46 660  
[ ]valued_2__3711_28.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__3712_25.min1.thm12017-02-06 12:46 2.8K 
[ ]valued_2__3713_42.min1.thm12017-02-06 12:46 953  
[ ]valued_2__3714_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__3745_22.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3746_73.min1.thm12017-02-06 12:46 660  
[ ]valued_2__3748_28.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__3749_25.min1.thm12017-02-06 12:46 2.8K 
[ ]valued_2__3750_42.min1.thm12017-02-06 12:46 953  
[ ]valued_2__3751_21.min1.thm12017-02-06 12:46 645  
[ ]valued_2__3782_22.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__3783_73.min1.thm12017-02-06 12:47 660  
[ ]valued_2__3785_28.min1.thm12017-02-06 12:44 1.3K 
[ ]valued_2__3786_25.min1.thm12017-02-06 12:44 3.0K 
[ ]valued_2__3787_42.min1.thm12017-02-06 12:44 953  
[ ]valued_2__3788_21.min1.thm12017-02-06 12:46 645  
[ ]valued_2__3798_32.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3811_27.min1.thm12017-02-06 12:46 2.0K 
[ ]valued_2__3812_25.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__3822_19.min1.thm12017-02-06 12:46 532  
[ ]valued_2__3822_19.min1.thm1.tptp2017-02-06 16:46 468  
[ ]valued_2__3832_18.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_2__3845_11.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__3852_24.min1.thm12017-02-06 12:46 688  
[ ]valued_2__3852_24.min1.thm1.tptp2017-02-06 16:46 624  
[ ]valued_2__3880_24.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__3888_22.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3889_73.min1.thm12017-02-06 12:46 660  
[ ]valued_2__3891_28.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_2__3892_24.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__3894_46.min1.thm12017-02-06 12:46 953  
[ ]valued_2__3895_21.min1.thm12017-02-06 12:44 642  
[ ]valued_2__3926_22.min1.thm12017-02-06 12:47 1.1K 
[ ]valued_2__3927_73.min1.thm12017-02-06 12:46 660  
[ ]valued_2__3929_28.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3931_43.min1.thm12017-02-06 12:46 953  
[ ]valued_2__3932_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__3963_22.min1.thm12017-02-06 12:47 1.1K 
[ ]valued_2__3964_73.min1.thm12017-02-06 12:47 660  
[ ]valued_2__3966_28.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__3968_42.min1.thm12017-02-06 12:46 953  
[ ]valued_2__3969_21.min1.thm12017-02-06 12:44 643  
[ ]valued_2__4000_22.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__4001_73.min1.thm12017-02-06 12:46 660  
[ ]valued_2__4003_28.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__4005_42.min1.thm12017-02-06 12:46 953  
[ ]valued_2__4006_21.min1.thm12017-02-06 12:46 645  
[ ]valued_2__4030_18.min1.thm12017-02-06 12:46 1.8K 
[ ]valued_2__4039_32.min1.thm12017-02-06 12:44 742  
[ ]valued_2__4052_27.min1.thm12017-02-06 12:44 2.0K 
[ ]valued_2__4053_25.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4061_32.min1.thm12017-02-06 12:46 742  
[ ]valued_2__4074_27.min1.thm12017-02-06 12:46 2.0K 
[ ]valued_2__4075_25.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4083_32.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__4096_27.min1.thm12017-02-06 12:47 2.0K 
[ ]valued_2__4097_25.min1.thm12017-02-06 12:47 1.4K 
[ ]valued_2__4115_16.min1.thm12017-02-06 12:46 755  
[ ]valued_2__4124_25.min1.thm12017-02-06 12:46 486  
[ ]valued_2__4124_25.min1.thm1.tptp2017-02-06 16:46 404  
[ ]valued_2__4128_23.min1.thm12017-02-06 12:46 611  
[ ]valued_2__4128_23.min1.thm1.tptp2017-02-06 16:46 534  
[ ]valued_2__4129_15.min1.thm12017-02-06 12:46 901  
[ ]valued_2__4150_26.min1.thm12017-02-06 12:46 1.8K 
[ ]valued_2__4151_38.min1.thm12017-02-06 12:46 1.9K 
[ ]valued_2__4158_22.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4159_73.min1.thm12017-02-06 12:44 660  
[ ]valued_2__4161_28.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__4162_25.min1.thm12017-02-06 12:46 2.4K 
[ ]valued_2__4163_46.min1.thm12017-02-06 12:44 953  
[ ]valued_2__4164_21.min1.thm12017-02-06 12:46 642  
[ ]valued_2__4195_22.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__4196_73.min1.thm12017-02-06 12:46 660  
[ ]valued_2__4198_28.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__4199_25.min1.thm12017-02-06 12:44 2.6K 
[ ]valued_2__4200_43.min1.thm12017-02-06 12:46 953  
[ ]valued_2__4201_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__4232_22.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4233_73.min1.thm12017-02-06 12:46 660  
[ ]valued_2__4235_28.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4236_25.min1.thm12017-02-06 12:46 2.8K 
[ ]valued_2__4237_42.min1.thm12017-02-06 12:47 953  
[ ]valued_2__4238_21.min1.thm12017-02-06 12:46 643  
[ ]valued_2__4269_22.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4270_73.min1.thm12017-02-06 12:47 660  
[ ]valued_2__4272_28.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_2__4273_25.min1.thm12017-02-06 12:46 2.8K 
[ ]valued_2__4274_42.min1.thm12017-02-06 12:44 953  
[ ]valued_2__4275_21.min1.thm12017-02-06 12:46 645  
[ ]valued_2__4306_22.min1.thm12017-02-06 12:47 1.1K 
[ ]valued_2__4307_73.min1.thm12017-02-06 12:46 660  
[ ]valued_2__4309_28.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__4310_25.min1.thm12017-02-06 12:46 3.0K 
[ ]valued_2__4311_42.min1.thm12017-02-06 12:46 953  
[ ]valued_2__4312_21.min1.thm12017-02-06 12:46 645  
[ ]valued_2__4325_32.min1.thm12017-02-06 12:46 1.7K 
[ ]valued_2__4332_20.min1.thm12017-02-06 12:44 699  
[ ]valued_2__4332_20.min1.thm1.tptp2017-02-06 16:46 635  
[ ]valued_2__4333_22.min1.thm12017-02-06 12:46 1.8K 
[ ]valued_2__4345_31.min1.thm12017-02-06 12:46 1.9K 
[ ]valued_2__4350_20.min1.thm12017-02-06 12:46 699  
[ ]valued_2__4350_20.min1.thm1.tptp2017-02-06 16:46 635  
[ ]valued_2__4351_22.min1.thm12017-02-06 12:44 1.8K 
[ ]valued_2__4360_34.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4373_29.min1.thm12017-02-06 12:46 2.0K 
[ ]valued_2__4374_29.min1.thm12017-02-06 12:46 1.4K 
[ ]valued_2__4385_11.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4392_24.min1.thm12017-02-06 12:46 960  
[ ]valued_2__4446_33.min1.thm12017-02-06 12:47 742  
[ ]valued_2__4477_16.min1.thm12017-02-06 12:46 753  
[ ]valued_2__4486_25.min1.thm12017-02-06 12:47 486  
[ ]valued_2__4486_25.min1.thm1.tptp2017-02-06 16:46 404  
[ ]valued_2__4490_23.min1.thm12017-02-06 12:46 609  
[ ]valued_2__4490_23.min1.thm1.tptp2017-02-06 16:46 532  
[ ]valued_2__4491_15.min1.thm12017-02-06 12:46 899  
[ ]valued_2__4512_24.min1.thm12017-02-06 12:46 2.0K 
[ ]valued_2__4513_38.min1.thm12017-02-06 12:46 1.9K 
[ ]valued_2__4520_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4521_74.min1.thm12017-02-06 12:44 660  
[ ]valued_2__4523_29.min1.thm12017-02-06 12:44 1.0K 
[ ]valued_2__4525_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4526_74.min1.thm12017-02-06 12:44 661  
[ ]valued_2__4528_29.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__4529_37.min1.thm12017-02-06 12:46 2.6K 
[ ]valued_2__4532_21.min1.thm12017-02-06 12:44 728  
[ ]valued_2__4563_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4564_74.min1.thm12017-02-06 12:46 660  
[ ]valued_2__4566_29.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4568_23.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__4569_74.min1.thm12017-02-06 12:46 661  
[ ]valued_2__4571_29.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__4572_37.min1.thm12017-02-06 12:46 2.8K 
[ ]valued_2__4575_21.min1.thm12017-02-06 12:46 729  
[ ]valued_2__4606_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4607_74.min1.thm12017-02-06 12:47 660  
[ ]valued_2__4609_29.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4611_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4612_74.min1.thm12017-02-06 12:46 661  
[ ]valued_2__4614_29.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4615_37.min1.thm12017-02-06 12:47 2.8K 
[ ]valued_2__4618_21.min1.thm12017-02-06 12:46 729  
[ ]valued_2__4649_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4650_74.min1.thm12017-02-06 12:46 660  
[ ]valued_2__4652_29.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__4654_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4655_74.min1.thm12017-02-06 12:46 661  
[ ]valued_2__4657_29.min1.thm12017-02-06 12:47 1.2K 
[ ]valued_2__4658_37.min1.thm12017-02-06 12:46 2.9K 
[ ]valued_2__4661_21.min1.thm12017-02-06 12:46 731  
[ ]valued_2__4692_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4693_74.min1.thm12017-02-06 12:46 660  
[ ]valued_2__4695_29.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__4697_23.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__4698_74.min1.thm12017-02-06 12:46 661  
[ ]valued_2__4700_29.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__4701_37.min1.thm12017-02-06 12:46 3.0K 
[ ]valued_2__4704_21.min1.thm12017-02-06 12:46 731  
[ ]valued_2__4740_29.min1.thm12017-02-06 12:46 2.3K 
[ ]valued_2__4760_18.min1.thm12017-02-06 12:46 2.6K 
[ ]valued_2__4763_20.min1.thm12017-02-06 12:46 1.8K 
[ ]valued_2__4792_25.min1.thm12017-02-06 12:46 486  
[ ]valued_2__4792_25.min1.thm1.tptp2017-02-06 16:46 404  
[ ]valued_2__4796_23.min1.thm12017-02-06 12:46 611  
[ ]valued_2__4796_23.min1.thm1.tptp2017-02-06 16:46 534  
[ ]valued_2__4797_15.min1.thm12017-02-06 12:44 901  
[ ]valued_2__4818_24.min1.thm12017-02-06 12:46 2.0K 
[ ]valued_2__4826_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4827_74.min1.thm12017-02-06 12:46 660  
[ ]valued_2__4829_29.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__4831_23.min1.thm12017-02-06 12:47 1.1K 
[ ]valued_2__4832_74.min1.thm12017-02-06 12:44 661  
[ ]valued_2__4834_29.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__4835_37.min1.thm12017-02-06 12:46 2.3K 
[ ]valued_2__4838_21.min1.thm12017-02-06 12:44 728  
[ ]valued_2__4869_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4870_74.min1.thm12017-02-06 12:44 660  
[ ]valued_2__4872_29.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4874_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4875_74.min1.thm12017-02-06 12:46 661  
[ ]valued_2__4877_29.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__4878_37.min1.thm12017-02-06 12:46 2.4K 
[ ]valued_2__4881_21.min1.thm12017-02-06 12:46 729  
[ ]valued_2__4912_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4913_74.min1.thm12017-02-06 12:46 660  
[ ]valued_2__4915_29.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4917_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4918_74.min1.thm12017-02-06 12:46 661  
[ ]valued_2__4920_29.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__4921_37.min1.thm12017-02-06 12:44 2.5K 
[ ]valued_2__4924_21.min1.thm12017-02-06 12:46 729  
[ ]valued_2__4955_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4956_74.min1.thm12017-02-06 12:46 660  
[ ]valued_2__4958_29.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__4960_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__4961_74.min1.thm12017-02-06 12:46 661  
[ ]valued_2__4963_29.min1.thm12017-02-06 12:46 1.2K 
[ ]valued_2__4964_37.min1.thm12017-02-06 12:46 2.5K 
[ ]valued_2__4967_21.min1.thm12017-02-06 12:46 731  
[ ]valued_2__4985_22.min1.thm12017-02-06 12:46 1.8K 
[ ]valued_2__5005_21.min1.thm12017-02-06 12:46 2.2K 
[ ]valued_2__5024_18.min1.thm12017-02-06 12:46 2.4K 
[ ]valued_2__5046_18.min1.thm12017-02-06 12:46 2.4K 
[ ]valued_2__5049_29.min1.thm12017-02-06 12:46 2.2K 
[ ]valued_2__5071_29.min1.thm12017-02-06 12:46 2.2K 
[ ]valued_2__5084_36.min1.thm12017-02-06 12:46 4.0K 
[ ]valued_2__5112_16.min1.thm12017-02-06 12:46 755  
[ ]valued_2__5121_25.min1.thm12017-02-06 12:46 486  
[ ]valued_2__5121_25.min1.thm1.tptp2017-02-06 16:46 404  
[ ]valued_2__5125_23.min1.thm12017-02-06 12:46 611  
[ ]valued_2__5125_23.min1.thm1.tptp2017-02-06 16:46 534  
[ ]valued_2__5126_15.min1.thm12017-02-06 12:44 901  
[ ]valued_2__5147_26.min1.thm12017-02-06 12:46 2.0K 
[ ]valued_2__5148_38.min1.thm12017-02-06 12:46 1.9K 
[ ]valued_2__5155_23.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__5156_74.min1.thm12017-02-06 12:46 660  
[ ]valued_2__5158_29.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__5160_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5161_74.min1.thm12017-02-06 12:46 661  
[ ]valued_2__5163_29.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__5164_37.min1.thm12017-02-06 12:46 2.6K 
[ ]valued_2__5167_21.min1.thm12017-02-06 12:47 728  
[ ]valued_2__5198_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5199_74.min1.thm12017-02-06 12:46 660  
[ ]valued_2__5201_29.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5203_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5204_74.min1.thm12017-02-06 12:46 661  
[ ]valued_2__5206_29.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__5207_37.min1.thm12017-02-06 12:46 2.8K 
[ ]valued_2__5210_21.min1.thm12017-02-06 12:46 729  
[ ]valued_2__5241_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5242_74.min1.thm12017-02-06 12:46 660  
[ ]valued_2__5244_29.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5246_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5247_74.min1.thm12017-02-06 12:46 661  
[ ]valued_2__5249_29.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5250_37.min1.thm12017-02-06 12:46 2.8K 
[ ]valued_2__5253_21.min1.thm12017-02-06 12:46 729  
[ ]valued_2__5284_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5285_74.min1.thm12017-02-06 12:44 660  
[ ]valued_2__5287_29.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_2__5289_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5290_74.min1.thm12017-02-06 12:47 661  
[ ]valued_2__5292_29.min1.thm12017-02-06 12:44 1.2K 
[ ]valued_2__5293_37.min1.thm12017-02-06 12:44 2.9K 
[ ]valued_2__5296_21.min1.thm12017-02-06 12:46 731  
[ ]valued_2__5327_23.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__5328_74.min1.thm12017-02-06 12:47 660  
[ ]valued_2__5330_29.min1.thm12017-02-06 12:46 1.3K 
[ ]valued_2__5332_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5333_74.min1.thm12017-02-06 12:46 661  
[ ]valued_2__5335_29.min1.thm12017-02-06 12:47 1.3K 
[ ]valued_2__5336_37.min1.thm12017-02-06 12:47 3.0K 
[ ]valued_2__5339_21.min1.thm12017-02-06 12:46 731  
[ ]valued_2__5375_33.min1.thm12017-02-06 12:46 2.3K 
[ ]valued_2__5397_26.min1.thm12017-02-06 12:46 1.8K 
[ ]valued_2__5443_37.min1.thm12017-02-06 12:46 2.5K 
[ ]valued_2__5454_31.min1.thm12017-02-06 12:47 2.2K 
[ ]valued_2__5455_20.min1.thm12017-02-06 12:46 2.9K 
[ ]valued_2__5477_37.min1.thm12017-02-06 12:46 2.2K 
[ ]valued_2__5488_31.min1.thm12017-02-06 12:44 2.2K 
[ ]valued_2__5489_20.min1.thm12017-02-06 12:46 2.9K 
[ ]valued_2__5506_16.min1.thm12017-02-06 12:46 755  
[ ]valued_2__5515_25.min1.thm12017-02-06 12:47 486  
[ ]valued_2__5515_25.min1.thm1.tptp2017-02-06 16:46 404  
[ ]valued_2__5519_23.min1.thm12017-02-06 12:46 611  
[ ]valued_2__5519_23.min1.thm1.tptp2017-02-06 16:46 534  
[ ]valued_2__5520_15.min1.thm12017-02-06 12:46 901  
[ ]valued_2__5541_25.min1.thm12017-02-06 12:44 2.0K 
[ ]valued_2__5542_38.min1.thm12017-02-06 12:46 2.3K 
[ ]valued_2__5549_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5550_74.min1.thm12017-02-06 12:46 660  
[ ]valued_2__5552_29.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__5554_23.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__5555_74.min1.thm12017-02-06 12:44 661  
[ ]valued_2__5557_29.min1.thm12017-02-06 12:46 1.0K 
[ ]valued_2__5558_37.min1.thm12017-02-06 12:46 2.4K 
[ ]valued_2__5561_21.min1.thm12017-02-06 12:47 728  
[ ]valued_2__5592_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5593_74.min1.thm12017-02-06 12:46 660  
[ ]valued_2__5595_29.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5597_23.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5598_74.min1.thm12017-02-06 12:46 661  
[ ]valued_2__5600_29.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5601_37.min1.thm12017-02-06 12:46 2.4K 
[ ]valued_2__5604_21.min1.thm12017-02-06 12:46 729  
[ ]valued_2__5635_23.min1.thm12017-02-06 12:44 1.1K 
[ ]valued_2__5636_74.min1.thm12017-02-06 12:44 660  
[ ]valued_2__5638_29.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5640_23.min1.thm12017-02-06 12:47 1.1K 
[ ]valued_2__5641_74.min1.thm12017-02-06 12:44 661  
[ ]valued_2__5643_29.min1.thm12017-02-06 12:46 1.1K 
[ ]valued_2__5644_37.min1.thm12017-02-06 12:46 2.5K 
[ ]valued_2__5647_21.min1.thm12017-02-06 12:46 729  
[ ]valued_2__5692_25.min1.thm12017-02-06 12:46 1.8K 
[ ]valued_2__5711_18.min1.thm12017-02-06 12:46 2.4K 
[ ]valued_2__5714_32.min1.thm12017-02-06 12:46 2.3K 
[ ]valued_2__5727_36.min1.thm12017-02-06 12:46 4.0K 
[ ]valued_2__5732_18.min1.thm12017-02-06 12:46 3.2K 
[ ]valued_2__5733_18.min1.thm12017-02-06 12:44 2.4K 
[ ]valued_2__5736_30.min1.thm12017-02-06 12:46 2.3K 
[ ]valued_2__5758_32.min1.thm12017-02-06 12:46 2.3K 
[ ]valued_2__5782_35.min1.thm12017-02-06 12:46 2.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80