Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/idea_1
Name
Last modified
Size
Description
Parent Directory
-
idea_1__56_25.min1.thm1
2017-02-06 12:45
888
idea_1__58_16.min1.thm1
2017-02-06 12:45
1.1K
idea_1__59_15.min1.thm1
2017-02-06 12:45
1.2K
idea_1__63_19.min1.thm1
2017-02-06 12:45
1.0K
idea_1__64_28.min1.thm1
2017-02-06 12:45
1.0K
idea_1__65_19.min1.thm1
2017-02-06 12:45
1.2K
idea_1__67_14.min1.thm1
2017-02-06 12:45
222
idea_1__80_10.min1.thm1
2017-02-06 12:45
1.6K
idea_1__82_13.min1.thm1
2017-02-06 12:45
206
idea_1__86_17.min1.thm1
2017-02-06 12:45
212
idea_1__89_50.min1.thm1
2017-02-06 12:45
653
idea_1__92_33.min1.thm1
2017-02-06 12:45
1.0K
idea_1__93_26.min1.thm1
2017-02-06 12:45
1.8K
idea_1__98_43.min1.thm1
2017-02-06 12:45
479
idea_1__100_16.min1.thm1
2017-02-06 12:45
603
idea_1__102_44.min1.thm1
2017-02-06 12:45
1.6K
idea_1__105_19.min1.thm1
2017-02-06 12:45
932
idea_1__106_22.min1.thm1
2017-02-06 12:45
544
idea_1__109_18.min1.thm1
2017-02-06 12:45
391
idea_1__114_16.min1.thm1
2017-02-06 12:45
597
idea_1__115_40.min1.thm1
2017-02-06 12:45
1.5K
idea_1__117_23.min1.thm1
2017-02-06 12:45
1.6K
idea_1__119_19.min1.thm1
2017-02-06 12:45
1.2K
idea_1__124_24.min1.thm1
2017-02-06 12:45
1.5K
idea_1__127_17.min1.thm1
2017-02-06 12:45
212
idea_1__130_48.min1.thm1
2017-02-06 12:45
485
idea_1__133_19.min1.thm1
2017-02-06 12:45
932
idea_1__141_16.min1.thm1
2017-02-06 12:45
603
idea_1__142_44.min1.thm1
2017-02-06 12:45
1.6K
idea_1__145_19.min1.thm1
2017-02-06 12:45
932
idea_1__148_18.min1.thm1
2017-02-06 12:45
358
idea_1__151_14.min1.thm1
2017-02-06 12:45
344
idea_1__166_16.min1.thm1
2017-02-06 12:45
599
idea_1__168_16.min1.thm1
2017-02-06 12:45
2.0K
idea_1__181_31.min1.thm1
2017-02-06 12:45
868
idea_1__182_29.min1.thm1
2017-02-06 12:45
1.0K
idea_1__183_60.min1.thm1
2017-02-06 12:45
1.1K
idea_1__195_19.min1.thm1
2017-02-06 12:45
1.9K
idea_1__196_14.min1.thm1
2017-02-06 12:45
1.0K
idea_1__205_24.min1.thm1
2017-02-06 12:45
1.1K
idea_1__206_16.min1.thm1
2017-02-06 12:45
459
idea_1__207_17.min1.thm1
2017-02-06 12:45
1.5K
idea_1__223_36.min1.thm1
2017-02-06 12:45
1.3K
idea_1__255_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__256_42.min1.thm1
2017-02-06 12:45
475
idea_1__257_44.min1.thm1
2017-02-06 12:45
1.0K
idea_1__262_22.min1.thm1
2017-02-06 12:45
1.3K
idea_1__263_23.min1.thm1
2017-02-06 12:45
1.2K
idea_1__264_31.min1.thm1
2017-02-06 12:45
1.0K
idea_1__271_17.min1.thm1
2017-02-06 12:45
866
idea_1__273_21.min1.thm1
2017-02-06 12:45
1.2K
idea_1__274_17.min1.thm1
2017-02-06 12:45
866
idea_1__280_20.min1.thm1
2017-02-06 12:45
1.4K
idea_1__281_26.min1.thm1
2017-02-06 12:45
1.2K
idea_1__284_18.min1.thm1
2017-02-06 12:45
1.2K
idea_1__295_26.min1.thm1
2017-02-06 12:45
1.2K
idea_1__307_22.min1.thm1
2017-02-06 12:45
957
idea_1__338_18.min1.thm1
2017-02-06 12:45
606
idea_1__338_18.min1.thm1.tptp
2017-02-06 16:47
573
idea_1__349_16.min1.thm1
2017-02-06 12:45
853
idea_1__355_17.min1.thm1
2017-02-06 12:45
1.4K
idea_1__358_37.min1.thm1
2017-02-06 12:45
1.3K
idea_1__362_16.min1.thm1
2017-02-06 12:45
1.3K
idea_1__363_15.min1.thm1
2017-02-06 12:45
1.2K
idea_1__407_35.min1.thm1
2017-02-06 12:45
1.8K
idea_1__410_24.min1.thm1
2017-02-06 12:45
957
idea_1__412_26.min1.thm1
2017-02-06 12:45
1.3K
idea_1__416_47.min1.thm1
2017-02-06 12:45
1.6K
idea_1__417_13.min1.thm1
2017-02-06 12:45
554
idea_1__422_37.min1.thm1
2017-02-06 12:45
1.3K
idea_1__425_61.min1.thm1
2017-02-06 12:45
2.2K
idea_1__438_11.min1.thm1
2017-02-06 12:45
1.6K
idea_1__451_24.min1.thm1
2017-02-06 12:45
563
idea_1__452_37.min1.thm1
2017-02-06 12:45
1.5K
idea_1__462_11.min1.thm1
2017-02-06 12:45
1.6K
idea_1__473_11.min1.thm1
2017-02-06 12:45
1.3K
idea_1__477_33.min1.thm1
2017-02-06 12:45
925
idea_1__483_27.min1.thm1
2017-02-06 12:45
559
idea_1__484_17.min1.thm1
2017-02-06 12:45
2.4K
idea_1__498_35.min1.thm1
2017-02-06 12:45
2.4K
idea_1__499_17.min1.thm1
2017-02-06 12:45
1.0K
idea_1__505_33.min1.thm1
2017-02-06 12:45
2.3K
idea_1__506_17.min1.thm1
2017-02-06 12:45
751
idea_1__515_14.min1.thm1
2017-02-06 12:45
1.6K
idea_1__516_13.min1.thm1
2017-02-06 12:45
129
idea_1__525_24.min1.thm1
2017-02-06 12:45
1.4K
idea_1__526_11.min1.thm1
2017-02-06 12:45
181
idea_1__529_19.min1.thm1
2017-02-06 12:45
1.2K
idea_1__533_32.min1.thm1
2017-02-06 12:45
1.0K
idea_1__534_19.min1.thm1
2017-02-06 12:45
2.2K
idea_1__548_26.min1.thm1
2017-02-06 12:45
1.2K
idea_1__549_26.min1.thm1
2017-02-06 12:45
1.2K
idea_1__550_11.min1.thm1
2017-02-06 12:45
275
idea_1__553_19.min1.thm1
2017-02-06 12:45
915
idea_1__554_14.min1.thm1
2017-02-06 12:45
806
idea_1__558_35.min1.thm1
2017-02-06 12:45
1.1K
idea_1__559_14.min1.thm1
2017-02-06 12:45
1.0K
idea_1__570_13.min1.thm1
2017-02-06 12:45
567
idea_1__577_27.min1.thm1
2017-02-06 12:45
559
idea_1__578_42.min1.thm1
2017-02-06 12:45
1.8K
idea_1__579_17.min1.thm1
2017-02-06 12:45
751
idea_1__591_11.min1.thm1
2017-02-06 12:45
231
idea_1__594_40.min1.thm1
2017-02-06 12:45
745
idea_1__595_19.min1.thm1
2017-02-06 12:45
788
idea_1__600_26.min1.thm1
2017-02-06 12:45
615
idea_1__601_26.min1.thm1
2017-02-06 12:45
724
idea_1__602_35.min1.thm1
2017-02-06 12:45
726
idea_1__603_14.min1.thm1
2017-02-06 12:45
617
idea_1__627_24.min1.thm1
2017-02-06 12:45
1.4K
idea_1__629_32.min1.thm1
2017-02-06 12:45
2.4K
idea_1__633_53.min1.thm1
2017-02-06 12:45
1.7K
idea_1__635_25.min1.thm1
2017-02-06 12:45
1.9K
idea_1__641_15.min1.thm1
2017-02-06 12:45
187
idea_1__645_13.min1.thm1
2017-02-06 12:45
374
idea_1__647_32.min1.thm1
2017-02-06 12:45
800
idea_1__652_23.min1.thm1
2017-02-06 12:45
628
idea_1__656_28.min1.thm1
2017-02-06 12:45
601
idea_1__664_19.min1.thm1
2017-02-06 12:45
257
idea_1__668_20.min1.thm1
2017-02-06 12:45
813
idea_1__669_38.min1.thm1
2017-02-06 12:45
2.3K
idea_1__670_37.min1.thm1
2017-02-06 12:45
2.2K
idea_1__672_36.min1.thm1
2017-02-06 12:45
663
idea_1__675_61.min1.thm1
2017-02-06 12:45
1.1K
idea_1__676_21.min1.thm1
2017-02-06 12:45
1.4K
idea_1__677_27.min1.thm1
2017-02-06 12:45
554
idea_1__682_20.min1.thm1
2017-02-06 12:45
797
idea_1__684_36.min1.thm1
2017-02-06 12:45
720
idea_1__687_61.min1.thm1
2017-02-06 12:45
1.1K
idea_1__688_21.min1.thm1
2017-02-06 12:45
1.4K
idea_1__689_27.min1.thm1
2017-02-06 12:45
554
idea_1__692_20.min1.thm1
2017-02-06 12:45
398
idea_1__695_16.min1.thm1
2017-02-06 12:45
423
idea_1__705_27.min1.thm1
2017-02-06 12:45
657
idea_1__706_26.min1.thm1
2017-02-06 12:45
765
idea_1__708_28.min1.thm1
2017-02-06 12:45
2.2K
idea_1__710_27.min1.thm1
2017-02-06 12:45
657
idea_1__711_26.min1.thm1
2017-02-06 12:45
767
idea_1__713_28.min1.thm1
2017-02-06 12:45
2.2K
idea_1__715_25.min1.thm1
2017-02-06 12:45
646
idea_1__716_26.min1.thm1
2017-02-06 12:45
747
idea_1__718_27.min1.thm1
2017-02-06 12:45
2.2K
idea_1__719_13.min1.thm1
2017-02-06 12:45
962
idea_1__720_13.min1.thm1
2017-02-06 12:45
1.0K
idea_1__723_13.min1.thm1
2017-02-06 12:45
1.0K
idea_1__729_15.min1.thm1
2017-02-06 12:45
1.0K
idea_1__733_19.min1.thm1
2017-02-06 12:45
675
idea_1__734_29.min1.thm1
2017-02-06 12:45
1.1K
idea_1__740_69.min1.thm1
2017-02-06 12:45
2.5K
idea_1__744_37.min1.thm1
2017-02-06 12:45
2.2K
idea_1__745_37.min1.thm1
2017-02-06 12:45
2.2K
idea_1__746_25.min1.thm1
2017-02-06 12:45
2.4K
idea_1__747_37.min1.thm1
2017-02-06 12:45
2.0K
idea_1__753_19.min1.thm1
2017-02-06 12:45
675
idea_1__754_29.min1.thm1
2017-02-06 12:45
1.1K
idea_1__760_69.min1.thm1
2017-02-06 12:45
2.5K
idea_1__764_37.min1.thm1
2017-02-06 12:45
2.2K
idea_1__765_37.min1.thm1
2017-02-06 12:45
2.2K
idea_1__766_25.min1.thm1
2017-02-06 12:45
2.4K
idea_1__767_37.min1.thm1
2017-02-06 12:45
2.0K
idea_1__771_19.min1.thm1
2017-02-06 12:45
1.0K
idea_1__781_27.min1.thm1
2017-02-06 12:45
1.1K
idea_1__784_23.min1.thm1
2017-02-06 12:45
559
idea_1__785_11.min1.thm1
2017-02-06 12:45
181
idea_1__788_44.min1.thm1
2017-02-06 12:45
1.1K
idea_1__789_69.min1.thm1
2017-02-06 12:45
1.7K
idea_1__795_38.min1.thm1
2017-02-06 12:45
2.4K
idea_1__799_6.min1.thm1
2017-02-06 12:45
825
idea_1__800_57.min1.thm1
2017-02-06 12:45
2.3K
idea_1__816_12.min1.thm1
2017-02-06 12:45
619
idea_1__818_23.min1.thm1
2017-02-06 12:45
638
idea_1__820_26.min1.thm1
2017-02-06 12:45
2.1K
idea_1__821_23.min1.thm1
2017-02-06 12:45
638
idea_1__823_26.min1.thm1
2017-02-06 12:45
2.1K
idea_1__825_12.min1.thm1
2017-02-06 12:45
620
idea_1__826_23.min1.thm1
2017-02-06 12:45
639
idea_1__828_26.min1.thm1
2017-02-06 12:45
2.1K
idea_1__829_13.min1.thm1
2017-02-06 12:45
620
idea_1__832_54.min1.thm1
2017-02-06 12:45
3.6K
idea_1__837_18.min1.thm1
2017-02-06 12:45
3.3K
idea_1__843_59.min1.thm1
2017-02-06 12:45
1.4K
idea_1__844_62.min1.thm1
2017-02-06 12:45
2.7K
idea_1__846_34.min1.thm1
2017-02-06 12:45
3.6K
idea_1__851_22.min1.thm1
2017-02-06 12:45
3.3K
idea_1__857_64.min1.thm1
2017-02-06 12:45
1.4K
idea_1__858_66.min1.thm1
2017-02-06 12:45
3.0K
idea_1__860_27.min1.thm1
2017-02-06 12:45
1.0K
idea_1__860_27.min1.thm1.tptp
2017-02-06 16:47
947
idea_1__866_32.min1.thm1
2017-02-06 12:45
1.9K
idea_1__867_66.min1.thm1
2017-02-06 12:45
3.0K
idea_1__869_27.min1.thm1
2017-02-06 12:45
1.0K
idea_1__869_27.min1.thm1.tptp
2017-02-06 16:47
947
idea_1__872_20.min1.thm1
2017-02-06 12:45
536
idea_1__879_59.min1.thm1
2017-02-06 12:45
3.2K
idea_1__880_62.min1.thm1
2017-02-06 12:45
2.7K
idea_1__882_34.min1.thm1
2017-02-06 12:45
3.6K
idea_1__887_22.min1.thm1
2017-02-06 12:45
3.3K
idea_1__893_64.min1.thm1
2017-02-06 12:45
1.4K
idea_1__894_66.min1.thm1
2017-02-06 12:45
3.0K
idea_1__896_27.min1.thm1
2017-02-06 12:45
1.0K
idea_1__896_27.min1.thm1.tptp
2017-02-06 16:47
947
idea_1__902_32.min1.thm1
2017-02-06 12:45
1.9K
idea_1__903_66.min1.thm1
2017-02-06 12:45
3.0K
idea_1__905_27.min1.thm1
2017-02-06 12:45
1.0K
idea_1__905_27.min1.thm1.tptp
2017-02-06 16:47
947
idea_1__908_20.min1.thm1
2017-02-06 12:45
536
idea_1__911_16.min1.thm1
2017-02-06 12:45
524
idea_1__913_14.min1.thm1
2017-02-06 12:45
522
idea_1__921_10.min1.thm1
2017-02-06 12:45
3.6K
idea_1__925_24.min1.thm1
2017-02-06 12:45
1.4K
idea_1__927_16.min1.thm1
2017-02-06 12:45
3.3K
idea_1__939_14.min1.thm1
2017-02-06 12:45
308
idea_1__950_13.min1.thm1
2017-02-06 12:45
227
idea_1__992_41.min1.thm1
2017-02-06 12:45
1.8K
idea_1__993_15.min1.thm1
2017-02-06 12:45
381
idea_1__1017_22.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1017_22.min1.thm1.tptp
2017-02-06 16:47
1.2K
idea_1__1024_24.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1040_26.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1041_18.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1047_17.min1.thm1
2017-02-06 12:45
383
idea_1__1050_46.min1.thm1
2017-02-06 12:45
1.4K
idea_1__1051_22.min1.thm1
2017-02-06 12:45
1.4K
idea_1__1055_46.min1.thm1
2017-02-06 12:45
1.4K
idea_1__1056_22.min1.thm1
2017-02-06 12:45
1.4K
idea_1__1060_46.min1.thm1
2017-02-06 12:45
1.4K
idea_1__1061_22.min1.thm1
2017-02-06 12:45
1.4K
idea_1__1065_46.min1.thm1
2017-02-06 12:45
1.4K
idea_1__1066_22.min1.thm1
2017-02-06 12:45
1.4K
idea_1__1070_29.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1071_22.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1074_23.min1.thm1
2017-02-06 12:45
368
idea_1__1076_25.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1077_18.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1131_41.min1.thm1
2017-02-06 12:45
1.8K
idea_1__1132_15.min1.thm1
2017-02-06 12:45
381
idea_1__1168_22.min1.thm1
2017-02-06 12:45
3.8K
idea_1__1168_22.min1.thm1.tptp
2017-02-06 16:47
3.8K
idea_1__1175_24.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1217_27.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1218_18.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1224_17.min1.thm1
2017-02-06 12:45
383
idea_1__1230_17.min1.thm1
2017-02-06 12:45
4.5K
idea_1__1231_22.min1.thm1
2017-02-06 12:45
4.5K
idea_1__1239_49.min1.thm1
2017-02-06 12:45
4.7K
idea_1__1240_22.min1.thm1
2017-02-06 12:45
4.7K
idea_1__1247_17.min1.thm1
2017-02-06 12:45
4.5K
idea_1__1248_22.min1.thm1
2017-02-06 12:45
4.5K
idea_1__1256_49.min1.thm1
2017-02-06 12:45
4.7K
idea_1__1257_22.min1.thm1
2017-02-06 12:45
4.7K
idea_1__1261_29.min1.thm1
2017-02-06 12:45
4.5K
idea_1__1262_22.min1.thm1
2017-02-06 12:45
4.5K
idea_1__1265_23.min1.thm1
2017-02-06 12:45
368
idea_1__1267_26.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1268_18.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1290_41.min1.thm1
2017-02-06 12:45
1.8K
idea_1__1291_15.min1.thm1
2017-02-06 12:45
257
idea_1__1295_22.min1.thm1
2017-02-06 12:45
620
idea_1__1295_22.min1.thm1.tptp
2017-02-06 16:47
555
idea_1__1300_22.min1.thm1
2017-02-06 12:45
620
idea_1__1300_22.min1.thm1.tptp
2017-02-06 16:47
555
idea_1__1305_22.min1.thm1
2017-02-06 12:45
696
idea_1__1305_22.min1.thm1.tptp
2017-02-06 16:47
629
idea_1__1323_19.min1.thm1
2017-02-06 12:45
2.1K
idea_1__1324_20.min1.thm1
2017-02-06 12:45
664
idea_1__1334_19.min1.thm1
2017-02-06 12:45
2.1K
idea_1__1335_20.min1.thm1
2017-02-06 12:45
692
idea_1__1337_71.min1.thm1
2017-02-06 12:45
1.5K
idea_1__1338_21.min1.thm1
2017-02-06 12:45
2.2K
idea_1__1341_24.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1351_27.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1352_18.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1358_17.min1.thm1
2017-02-06 12:45
259
idea_1__1363_28.min1.thm1
2017-02-06 12:45
1.6K
idea_1__1364_30.min1.thm1
2017-02-06 12:45
1.7K
idea_1__1374_23.min1.thm1
2017-02-06 12:45
2.1K
idea_1__1375_24.min1.thm1
2017-02-06 12:45
676
idea_1__1377_28.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1378_30.min1.thm1
2017-02-06 12:45
1.3K
idea_1__1389_23.min1.thm1
2017-02-06 12:45
2.1K
idea_1__1390_24.min1.thm1
2017-02-06 12:45
704
idea_1__1392_28.min1.thm1
2017-02-06 12:45
1.8K
idea_1__1393_30.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1396_23.min1.thm1
2017-02-06 12:45
368
idea_1__1398_26.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1399_18.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1411_20.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1412_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1413_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1416_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1417_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1418_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1421_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1422_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1423_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1426_19.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1427_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1441_20.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1442_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1443_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1447_38.min1.thm1
2017-02-06 12:45
3.9K
idea_1__1450_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1451_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1452_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1459_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1460_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1461_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1469_19.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1470_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1486_58.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1488_14.min1.thm1
2017-02-06 12:45
324
idea_1__1497_58.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1499_13.min1.thm1
2017-02-06 12:45
2.1K
idea_1__1500_14.min1.thm1
2017-02-06 12:45
324
idea_1__1510_58.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1512_13.min1.thm1
2017-02-06 12:45
2.1K
idea_1__1513_14.min1.thm1
2017-02-06 12:45
340
idea_1__1526_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1527_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1529_17.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1530_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1531_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1533_17.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1534_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1535_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1537_17.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1538_19.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1539_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1569_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1570_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1572_18.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1573_22.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1575_18.min1.thm1
2017-02-06 12:45
1.8K
idea_1__1576_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1577_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1579_18.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1580_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1581_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1583_18.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1585_32.min1.thm1
2017-02-06 12:45
740
idea_1__1587_33.min1.thm1
2017-02-06 12:45
740
idea_1__1595_19.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1596_18.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1598_15.min1.thm1
2017-02-06 12:45
347
idea_1__1613_19.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1621_19.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1637_20.min1.thm1
2017-02-06 12:45
328
idea_1__1639_25.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1642_16.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1673_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1675_22.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1677_18.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1678_22.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1680_18.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1681_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1683_22.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1685_18.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1688_27.min1.thm1
2017-02-06 12:45
460
idea_1__1689_21.min1.thm1
2017-02-06 12:45
859
idea_1__1691_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1692_21.min1.thm1
2017-02-06 12:45
859
idea_1__1694_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1695_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1697_22.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1699_18.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1700_21.min1.thm1
2017-02-06 12:45
859
idea_1__1702_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1703_21.min1.thm1
2017-02-06 12:45
859
idea_1__1705_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1707_33.min1.thm1
2017-02-06 12:45
740
idea_1__1709_26.min1.thm1
2017-02-06 12:45
945
idea_1__1711_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1712_21.min1.thm1
2017-02-06 12:45
945
idea_1__1714_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1715_21.min1.thm1
2017-02-06 12:45
945
idea_1__1717_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1718_21.min1.thm1
2017-02-06 12:45
945
idea_1__1720_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1722_28.min1.thm1
2017-02-06 12:45
460
idea_1__1723_25.min1.thm1
2017-02-06 12:45
767
idea_1__1724_26.min1.thm1
2017-02-06 12:45
1.0K
idea_1__1726_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1727_21.min1.thm1
2017-02-06 12:45
1.0K
idea_1__1729_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1730_21.min1.thm1
2017-02-06 12:45
1.0K
idea_1__1732_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1734_33.min1.thm1
2017-02-06 12:45
740
idea_1__1735_21.min1.thm1
2017-02-06 12:45
1.0K
idea_1__1737_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1743_18.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1744_23.min1.thm1
2017-02-06 12:45
881
idea_1__1748_19.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1749_22.min1.thm1
2017-02-06 12:45
881
idea_1__1751_19.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1752_19.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1754_15.min1.thm1
2017-02-06 12:45
347
idea_1__1768_38.min1.thm1
2017-02-06 12:45
887
idea_1__1770_55.min1.thm1
2017-02-06 12:45
1.0K
idea_1__1773_19.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1778_38.min1.thm1
2017-02-06 12:45
887
idea_1__1780_55.min1.thm1
2017-02-06 12:45
1.0K
idea_1__1783_19.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1803_20.min1.thm1
2017-02-06 12:45
329
idea_1__1805_25.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1806_28.min1.thm1
2017-02-06 12:45
794
idea_1__1808_21.min1.thm1
2017-02-06 12:45
794
idea_1__1810_16.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1837_32.min1.thm1
2017-02-06 12:45
761
idea_1__1838_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1839_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1840_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1842_74.min1.thm1
2017-02-06 12:45
3.9K
idea_1__1847_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1848_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1849_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1863_73.min1.thm1
2017-02-06 12:45
2.7K
idea_1__1866_13.min1.thm1
2017-02-06 12:45
2.3K
idea_1__1871_31.min1.thm1
2017-02-06 12:45
766
idea_1__1872_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1873_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1874_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1879_33.min1.thm1
2017-02-06 12:45
761
idea_1__1880_19.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1881_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1897_19.min1.thm1
2017-02-06 12:45
2.8K
idea_1__1900_13.min1.thm1
2017-02-06 12:45
2.4K
idea_1__1905_27.min1.thm1
2017-02-06 12:45
3.0K
idea_1__1907_19.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1908_18.min1.thm1
2017-02-06 12:45
1.2K
idea_1__1910_15.min1.thm1
2017-02-06 12:45
347
idea_1__1913_29.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1915_13.min1.thm1
2017-02-06 12:45
4.0K
idea_1__1922_19.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1926_29.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1935_19.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1939_29.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1948_19.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1952_29.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1961_19.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1969_20.min1.thm1
2017-02-06 12:45
330
idea_1__1971_25.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1972_28.min1.thm1
2017-02-06 12:45
2.9K
idea_1__1973_21.min1.thm1
2017-02-06 12:45
3.0K
idea_1__1974_16.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1983_26.min1.thm1
2017-02-06 12:45
459
idea_1__1986_20.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1987_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1988_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1990_17.min1.thm1
2017-02-06 12:45
759
idea_1__1992_27.min1.thm1
2017-02-06 12:45
459
idea_1__1993_15.min1.thm1
2017-02-06 12:45
2.0K
idea_1__1994_24.min1.thm1
2017-02-06 12:45
1.9K
idea_1__1995_20.min1.thm1
2017-02-06 12:45
1.1K
idea_1__1997_17.min1.thm1
2017-02-06 12:45
761
idea_1__2002_27.min1.thm1
2017-02-06 12:45
880
idea_1__2004_18.min1.thm1
2017-02-06 12:45
1.2K
idea_1__2005_17.min1.thm1
2017-02-06 12:45
1.2K
idea_1__2007_15.min1.thm1
2017-02-06 12:45
239
idea_1__2010_27.min1.thm1
2017-02-06 12:45
958
idea_1__2014_27.min1.thm1
2017-02-06 12:45
957
idea_1__2022_20.min1.thm1
2017-02-06 12:45
328
idea_1__2024_25.min1.thm1
2017-02-06 12:45
1.1K
idea_1__2025_28.min1.thm1
2017-02-06 12:45
793
idea_1__2026_21.min1.thm1
2017-02-06 12:45
793
idea_1__2027_16.min1.thm1
2017-02-06 12:45
1.1K
idea_1__2039_11.min1.thm1
2017-02-06 12:45
129
idea_1__2044_11.min1.thm1
2017-02-06 12:45
364
idea_1__2049_11.min1.thm1
2017-02-06 12:45
356
idea_1__2054_11.min1.thm1
2017-02-06 12:45
486
idea_1__2069_47.min1.thm1
2017-02-06 12:45
662
idea_1__2073_17.min1.thm1
2017-02-06 12:45
638
idea_1__2080_31.min1.thm1
2017-02-06 12:45
581
idea_1__2082_50.min1.thm1
2017-02-06 12:45
1.2K
idea_1__2083_16.min1.thm1
2017-02-06 12:45
519
idea_1__2095_12.min1.thm1
2017-02-06 12:45
156
idea_1__2097_49.min1.thm1
2017-02-06 12:45
583
idea_1__2099_8.min1.thm1
2017-02-06 12:45
731
idea_1__2100_18.min1.thm1
2017-02-06 12:45
731
idea_1__2102_44.min1.thm1
2017-02-06 12:45
1.4K
idea_1__2119_47.min1.thm1
2017-02-06 12:45
662
idea_1__2123_17.min1.thm1
2017-02-06 12:45
638
idea_1__2130_31.min1.thm1
2017-02-06 12:45
581
idea_1__2132_50.min1.thm1
2017-02-06 12:45
1.2K
idea_1__2133_16.min1.thm1
2017-02-06 12:45
519
idea_1__2145_12.min1.thm1
2017-02-06 12:45
156
idea_1__2147_49.min1.thm1
2017-02-06 12:45
583
idea_1__2149_8.min1.thm1
2017-02-06 12:45
731
idea_1__2150_18.min1.thm1
2017-02-06 12:45
731
idea_1__2152_44.min1.thm1
2017-02-06 12:45
1.4K
idea_1__2170_18.min1.thm1
2017-02-06 12:45
758
idea_1__2186_20.min1.thm1
2017-02-06 12:45
962
idea_1__2187_20.min1.thm1
2017-02-06 12:45
962
idea_1__2188_42.min1.thm1
2017-02-06 12:45
1.0K
idea_1__2189_18.min1.thm1
2017-02-06 12:45
1.0K
idea_1__2190_23.min1.thm1
2017-02-06 12:45
364
idea_1__2192_38.min1.thm1
2017-02-06 12:45
1.1K
idea_1__2193_19.min1.thm1
2017-02-06 12:45
1.0K
idea_1__2212_21.min1.thm1
2017-02-06 12:45
2.5K
idea_1__2231_18.min1.thm1
2017-02-06 12:45
838
idea_1__2247_20.min1.thm1
2017-02-06 12:45
962
idea_1__2248_20.min1.thm1
2017-02-06 12:45
962
idea_1__2251_23.min1.thm1
2017-02-06 12:45
364
idea_1__2253_38.min1.thm1
2017-02-06 12:45
1.1K
idea_1__2254_19.min1.thm1
2017-02-06 12:45
1.0K
idea_1__2291_47.min1.thm1
2017-02-06 12:45
662
idea_1__2295_17.min1.thm1
2017-02-06 12:45
534
idea_1__2302_31.min1.thm1
2017-02-06 12:45
581
idea_1__2304_6.min1.thm1
2017-02-06 12:45
1.1K
idea_1__2305_16.min1.thm1
2017-02-06 12:45
415
idea_1__2315_12.min1.thm1
2017-02-06 12:45
156
idea_1__2317_49.min1.thm1
2017-02-06 12:45
583
idea_1__2318_43.min1.thm1
2017-02-06 12:45
627
idea_1__2319_18.min1.thm1
2017-02-06 12:45
627
idea_1__2321_44.min1.thm1
2017-02-06 12:45
1.4K
idea_1__2338_47.min1.thm1
2017-02-06 12:45
662
idea_1__2342_17.min1.thm1
2017-02-06 12:45
534
idea_1__2349_31.min1.thm1
2017-02-06 12:45
581
idea_1__2351_6.min1.thm1
2017-02-06 12:45
1.1K
idea_1__2352_16.min1.thm1
2017-02-06 12:45
415
idea_1__2362_12.min1.thm1
2017-02-06 12:45
156
idea_1__2364_49.min1.thm1
2017-02-06 12:45
583
idea_1__2365_43.min1.thm1
2017-02-06 12:45
627
idea_1__2366_18.min1.thm1
2017-02-06 12:45
627
idea_1__2368_44.min1.thm1
2017-02-06 12:45
1.4K
idea_1__2385_47.min1.thm1
2017-02-06 12:45
662
idea_1__2389_17.min1.thm1
2017-02-06 12:45
614
idea_1__2396_31.min1.thm1
2017-02-06 12:45
581
idea_1__2399_16.min1.thm1
2017-02-06 12:45
495
idea_1__2411_12.min1.thm1
2017-02-06 12:45
156
idea_1__2413_49.min1.thm1
2017-02-06 12:45
583
idea_1__2414_64.min1.thm1
2017-02-06 12:45
707
idea_1__2415_18.min1.thm1
2017-02-06 12:45
707
idea_1__2417_44.min1.thm1
2017-02-06 12:45
1.4K
idea_1__2434_47.min1.thm1
2017-02-06 12:45
662
idea_1__2438_17.min1.thm1
2017-02-06 12:45
614
idea_1__2445_31.min1.thm1
2017-02-06 12:45
581
idea_1__2448_16.min1.thm1
2017-02-06 12:45
495
idea_1__2460_12.min1.thm1
2017-02-06 12:45
156
idea_1__2462_49.min1.thm1
2017-02-06 12:45
583
idea_1__2463_64.min1.thm1
2017-02-06 12:45
707
idea_1__2464_18.min1.thm1
2017-02-06 12:45
707
idea_1__2466_44.min1.thm1
2017-02-06 12:45
1.4K
idea_1__2492_24.min1.thm1
2017-02-06 12:45
1.0K
idea_1__2493_51.min1.thm1
2017-02-06 12:45
961
idea_1__2495_24.min1.thm1
2017-02-06 12:45
3.7K
idea_1__2497_31.min1.thm1
2017-02-06 12:45
623
idea_1__2504_53.min1.thm1
2017-02-06 12:45
3.2K
idea_1__2505_11.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2506_14.min1.thm1
2017-02-06 12:45
508
idea_1__2526_32.min1.thm1
2017-02-06 12:45
622
idea_1__2531_11.min1.thm1
2017-02-06 12:45
2.4K
idea_1__2532_14.min1.thm1
2017-02-06 12:45
506
idea_1__2556_24.min1.thm1
2017-02-06 12:45
1.0K
idea_1__2557_51.min1.thm1
2017-02-06 12:45
961
idea_1__2559_24.min1.thm1
2017-02-06 12:45
3.7K
idea_1__2561_32.min1.thm1
2017-02-06 12:45
623
idea_1__2568_11.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2569_14.min1.thm1
2017-02-06 12:45
508
idea_1__2584_50.min1.thm1
2017-02-06 12:45
794
idea_1__2586_45.min1.thm1
2017-02-06 12:45
937
idea_1__2596_15.min1.thm1
2017-02-06 12:45
227
idea_1__2599_22.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2600_26.min1.thm1
2017-02-06 12:45
1.0K
idea_1__2614_73.min1.thm1
2017-02-06 12:45
1.8K
idea_1__2615_49.min1.thm1
2017-02-06 12:45
2.9K
idea_1__2616_41.min1.thm1
2017-02-06 12:45
755
idea_1__2620_16.min1.thm1
2017-02-06 12:45
812
idea_1__2623_51.min1.thm1
2017-02-06 12:45
1.6K
idea_1__2624_49.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2625_15.min1.thm1
2017-02-06 12:45
709
idea_1__2644_50.min1.thm1
2017-02-06 12:45
794
idea_1__2646_45.min1.thm1
2017-02-06 12:45
937
idea_1__2660_15.min1.thm1
2017-02-06 12:45
179
idea_1__2664_18.min1.thm1
2017-02-06 12:45
721
idea_1__2666_29.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2667_25.min1.thm1
2017-02-06 12:45
866
idea_1__2668_47.min1.thm1
2017-02-06 12:45
866
idea_1__2669_23.min1.thm1
2017-02-06 12:45
1.6K
idea_1__2674_16.min1.thm1
2017-02-06 12:45
1.1K
idea_1__2675_26.min1.thm1
2017-02-06 12:45
1.3K
idea_1__2676_34.min1.thm1
2017-02-06 12:45
1.6K
idea_1__2683_10.min1.thm1
2017-02-06 12:45
2.4K
idea_1__2684_35.min1.thm1
2017-02-06 12:45
2.9K
idea_1__2692_39.min1.thm1
2017-02-06 12:45
755
idea_1__2697_16.min1.thm1
2017-02-06 12:45
814
idea_1__2700_48.min1.thm1
2017-02-06 12:45
1.6K
idea_1__2701_47.min1.thm1
2017-02-06 12:45
1.6K
idea_1__2702_15.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2719_23.min1.thm1
2017-02-06 12:45
1.8K
idea_1__2720_29.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2731_13.min1.thm1
2017-02-06 12:45
1.0K
idea_1__2733_15.min1.thm1
2017-02-06 12:45
1.2K
idea_1__2734_32.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2735_30.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2737_25.min1.thm1
2017-02-06 12:45
622
idea_1__2739_26.min1.thm1
2017-02-06 12:45
1.4K
idea_1__2741_21.min1.thm1
2017-02-06 12:45
592
idea_1__2760_23.min1.thm1
2017-02-06 12:45
1.8K
idea_1__2761_29.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2772_13.min1.thm1
2017-02-06 12:45
1.0K
idea_1__2774_15.min1.thm1
2017-02-06 12:45
1.2K
idea_1__2775_32.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2776_30.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2778_25.min1.thm1
2017-02-06 12:45
622
idea_1__2780_26.min1.thm1
2017-02-06 12:45
1.4K
idea_1__2782_21.min1.thm1
2017-02-06 12:45
592
idea_1__2801_19.min1.thm1
2017-02-06 12:45
2.1K
idea_1__2803_13.min1.thm1
2017-02-06 12:45
1.6K
idea_1__2804_14.min1.thm1
2017-02-06 12:45
2.1K
idea_1__2805_16.min1.thm1
2017-02-06 12:45
1.6K
idea_1__2806_40.min1.thm1
2017-02-06 12:45
1.2K
idea_1__2810_43.min1.thm1
2017-02-06 12:45
1.6K
idea_1__2814_32.min1.thm1
2017-02-06 12:45
289
idea_1__2817_40.min1.thm1
2017-02-06 12:45
1.2K
idea_1__2821_40.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2827_32.min1.thm1
2017-02-06 12:45
307
idea_1__2830_38.min1.thm1
2017-02-06 12:45
1.4K
idea_1__2831_17.min1.thm1
2017-02-06 12:45
1.1K
idea_1__2843_19.min1.thm1
2017-02-06 12:45
2.1K
idea_1__2845_13.min1.thm1
2017-02-06 12:45
1.6K
idea_1__2846_14.min1.thm1
2017-02-06 12:45
2.1K
idea_1__2848_13.min1.thm1
2017-02-06 12:45
1.6K
idea_1__2850_40.min1.thm1
2017-02-06 12:45
1.2K
idea_1__2854_40.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2858_37.min1.thm1
2017-02-06 12:45
369
idea_1__2861_40.min1.thm1
2017-02-06 12:45
1.2K
idea_1__2865_40.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2871_37.min1.thm1
2017-02-06 12:45
387
idea_1__2874_38.min1.thm1
2017-02-06 12:45
1.4K
idea_1__2875_17.min1.thm1
2017-02-06 12:45
1.1K
idea_1__2887_40.min1.thm1
2017-02-06 12:45
3.1K
idea_1__2903_13.min1.thm1
2017-02-06 12:45
183
idea_1__2906_23.min1.thm1
2017-02-06 12:45
2.1K
idea_1__2908_15.min1.thm1
2017-02-06 12:45
1.6K
idea_1__2910_44.min1.thm1
2017-02-06 12:45
1.3K
idea_1__2915_39.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2921_36.min1.thm1
2017-02-06 12:45
313
idea_1__2926_21.min1.thm1
2017-02-06 12:45
732
idea_1__2931_33.min1.thm1
2017-02-06 12:45
1.4K
idea_1__2932_63.min1.thm1
2017-02-06 12:45
437
idea_1__2932_63.min1.thm1.tptp
2017-02-06 16:47
358
idea_1__2933_21.min1.thm1
2017-02-06 12:45
620
idea_1__2936_40.min1.thm1
2017-02-06 12:45
1.4K
idea_1__2939_13.min1.thm1
2017-02-06 12:45
183
idea_1__2943_33.min1.thm1
2017-02-06 12:45
1.4K
idea_1__2944_63.min1.thm1
2017-02-06 12:45
437
idea_1__2944_63.min1.thm1.tptp
2017-02-06 16:47
358
idea_1__2945_21.min1.thm1
2017-02-06 12:45
539
idea_1__2949_23.min1.thm1
2017-02-06 12:45
2.1K
idea_1__2951_15.min1.thm1
2017-02-06 12:45
1.6K
idea_1__2953_44.min1.thm1
2017-02-06 12:45
1.3K
idea_1__2957_44.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2961_36.min1.thm1
2017-02-06 12:45
295
idea_1__2963_21.min1.thm1
2017-02-06 12:45
892
idea_1__2966_17.min1.thm1
2017-02-06 12:45
669
idea_1__2966_17.min1.thm1.tptp
2017-02-06 16:47
585
idea_1__2978_13.min1.thm1
2017-02-06 12:45
183
idea_1__2981_23.min1.thm1
2017-02-06 12:45
2.1K
idea_1__2983_15.min1.thm1
2017-02-06 12:45
1.6K
idea_1__2985_44.min1.thm1
2017-02-06 12:45
1.3K
idea_1__2990_39.min1.thm1
2017-02-06 12:45
1.5K
idea_1__2996_41.min1.thm1
2017-02-06 12:45
393
idea_1__3001_21.min1.thm1
2017-02-06 12:45
732
idea_1__3006_33.min1.thm1
2017-02-06 12:45
1.4K
idea_1__3007_63.min1.thm1
2017-02-06 12:45
437
idea_1__3007_63.min1.thm1.tptp
2017-02-06 16:47
358
idea_1__3008_21.min1.thm1
2017-02-06 12:45
620
idea_1__3011_40.min1.thm1
2017-02-06 12:45
1.4K
idea_1__3014_13.min1.thm1
2017-02-06 12:45
183
idea_1__3018_33.min1.thm1
2017-02-06 12:45
1.4K
idea_1__3019_63.min1.thm1
2017-02-06 12:45
437
idea_1__3019_63.min1.thm1.tptp
2017-02-06 16:47
358
idea_1__3020_21.min1.thm1
2017-02-06 12:45
539
idea_1__3024_23.min1.thm1
2017-02-06 12:45
2.1K
idea_1__3026_15.min1.thm1
2017-02-06 12:45
1.6K
idea_1__3028_44.min1.thm1
2017-02-06 12:45
1.3K
idea_1__3032_44.min1.thm1
2017-02-06 12:45
1.5K
idea_1__3036_41.min1.thm1
2017-02-06 12:45
375
idea_1__3038_21.min1.thm1
2017-02-06 12:45
892
idea_1__3041_17.min1.thm1
2017-02-06 12:45
669
idea_1__3041_17.min1.thm1.tptp
2017-02-06 16:47
585
idea_1__3059_20.min1.thm1
2017-02-06 12:45
485
idea_1__3060_11.min1.thm1
2017-02-06 12:45
181
idea_1__3064_31.min1.thm1
2017-02-06 12:45
1.4K
idea_1__3065_31.min1.thm1
2017-02-06 12:45
546
idea_1__3066_13.min1.thm1
2017-02-06 12:45
431
idea_1__3067_19.min1.thm1
2017-02-06 12:45
820
idea_1__3072_10.min1.thm1
2017-02-06 12:45
722
idea_1__3075_20.min1.thm1
2017-02-06 12:45
489
idea_1__3094_17.min1.thm1
2017-02-06 12:45
683
idea_1__3098_20.min1.thm1
2017-02-06 12:45
1.3K
idea_1__3107_13.min1.thm1
2017-02-06 12:45
534
idea_1__3108_26.min1.thm1
2017-02-06 12:45
1.3K
idea_1__3109_43.min1.thm1
2017-02-06 12:45
834
idea_1__3123_28.min1.thm1
2017-02-06 12:45
1.5K
idea_1__3125_33.min1.thm1
2017-02-06 12:45
626
idea_1__3126_15.min1.thm1
2017-02-06 12:45
437
idea_1__3127_21.min1.thm1
2017-02-06 12:45
327
idea_1__3127_21.min1.thm1.tptp
2017-02-06 16:47
241
idea_1__3131_16.min1.thm1
2017-02-06 12:45
768
idea_1__3207_14.min1.thm1
2017-02-06 12:45
1.4K
idea_1__3210_22.min1.thm1
2017-02-06 12:45
495
idea_1__3233_23.min1.thm1
2017-02-06 12:45
2.6K
idea_1__3234_34.min1.thm1
2017-02-06 12:45
959
idea_1__3238_47.min1.thm1
2017-02-06 12:45
2.9K
idea_1__3239_23.min1.thm1
2017-02-06 12:45
2.6K
idea_1__3240_34.min1.thm1
2017-02-06 12:45
959
idea_1__3243_29.min1.thm1
2017-02-06 12:45
959
idea_1__3247_47.min1.thm1
2017-02-06 12:45
2.9K
idea_1__3248_29.min1.thm1
2017-02-06 12:45
959
idea_1__3252_47.min1.thm1
2017-02-06 12:45
2.9K
idea_1__3253_29.min1.thm1
2017-02-06 12:45
959
idea_1__3257_29.min1.thm1
2017-02-06 12:45
959
idea_1__3261_29.min1.thm1
2017-02-06 12:45
959
idea_1__3267_29.min1.thm1
2017-02-06 12:45
959
idea_1__3271_47.min1.thm1
2017-02-06 12:45
2.9K
idea_1__3272_29.min1.thm1
2017-02-06 12:45
959
idea_1__3276_29.min1.thm1
2017-02-06 12:45
802
idea_1__3279_29.min1.thm1
2017-02-06 12:45
802
idea_1__3290_77.min1.thm1
2017-02-06 12:45
2.0K
idea_1__3297_29.min1.thm1
2017-02-06 12:45
959
idea_1__3301_17.min1.thm1
2017-02-06 12:45
1.1K
idea_1__3315_24.min1.thm1
2017-02-06 12:45
1.6K
idea_1__3320_29.min1.thm1
2017-02-06 12:45
1.4K
idea_1__3322_69.min1.thm1
2017-02-06 12:45
1.6K
idea_1__3326_64.min1.thm1
2017-02-06 12:45
2.2K
idea_1__3335_27.min1.thm1
2017-02-06 12:45
1.2K
idea_1__3353_18.min1.thm1
2017-02-06 12:45
674
idea_1__3356_32.min1.thm1
2017-02-06 12:45
1.5K
idea_1__3357_70.min1.thm1
2017-02-06 12:45
1.4K
idea_1__3359_14.min1.thm1
2017-02-06 12:45
1.5K
idea_1__3362_22.min1.thm1
2017-02-06 12:45
1.0K
idea_1__3364_12.min1.thm1
2017-02-06 12:45
2.7K
idea_1__3420_20.min1.thm1
2017-02-06 12:45
488
idea_1__3421_38.min1.thm1
2017-02-06 12:45
1.1K
idea_1__3422_64.min1.thm1
2017-02-06 12:45
589
idea_1__3424_21.min1.thm1
2017-02-06 12:45
489
idea_1__3429_32.min1.thm1
2017-02-06 12:45
1.0K
idea_1__3432_32.min1.thm1
2017-02-06 12:45
1.0K
idea_1__3435_32.min1.thm1
2017-02-06 12:45
1.0K
idea_1__3438_32.min1.thm1
2017-02-06 12:45
1.0K
idea_1__3439_11.min1.thm1
2017-02-06 12:45
181
idea_1__3444_28.min1.thm1
2017-02-06 12:45
1.4K
idea_1__3446_32.min1.thm1
2017-02-06 12:45
1.4K
idea_1__3451_50.min1.thm1
2017-02-06 12:45
1.1K
idea_1__3451_50.min1.thm1.tptp
2017-02-06 16:47
1.0K
idea_1__3453_50.min1.thm1
2017-02-06 12:45
828
idea_1__3473_63.min1.thm1
2017-02-06 12:45
910
idea_1__3475_46.min1.thm1
2017-02-06 12:45
776
idea_1__3477_59.min1.thm1
2017-02-06 12:45
806
idea_1__3479_21.min1.thm1
2017-02-06 12:45
1.0K
idea_1__3483_45.min1.thm1
2017-02-06 12:45
787
idea_1__3484_64.min1.thm1
2017-02-06 12:45
723
idea_1__3489_26.min1.thm1
2017-02-06 12:45
813
idea_1__3490_24.min1.thm1
2017-02-06 12:45
787
idea_1__3491_55.min1.thm1
2017-02-06 12:45
554
idea_1__3493_63.min1.thm1
2017-02-06 12:45
911
idea_1__3495_46.min1.thm1
2017-02-06 12:45
778
idea_1__3497_59.min1.thm1
2017-02-06 12:45
809
idea_1__3499_21.min1.thm1
2017-02-06 12:45
1.0K
idea_1__3503_45.min1.thm1
2017-02-06 12:45
789
idea_1__3504_64.min1.thm1
2017-02-06 12:45
726
idea_1__3509_22.min1.thm1
2017-02-06 12:45
502
idea_1__3510_31.min1.thm1
2017-02-06 12:45
1.6K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80