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