Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/laplace
Name
Last modified
Size
Description
Parent Directory
-
laplace__70_57.min1.thm1
2017-02-06 12:45
1.2K
laplace__71_17.min1.thm1
2017-02-06 12:45
1.2K
laplace__81_16.min1.thm1
2017-02-06 12:45
1.6K
laplace__83_14.min1.thm1
2017-02-06 12:45
2.5K
laplace__93_24.min1.thm1
2017-02-06 12:45
403
laplace__94_18.min1.thm1
2017-02-06 12:45
1.1K
laplace__95_19.min1.thm1
2017-02-06 12:45
1.3K
laplace__121_11.min1.thm1
2017-02-06 12:45
235
laplace__127_11.min1.thm1
2017-02-06 12:45
849
laplace__131_37.min1.thm1
2017-02-06 12:45
2.2K
laplace__132_28.min1.thm1
2017-02-06 12:45
955
laplace__134_37.min1.thm1
2017-02-06 12:45
3.6K
laplace__150_11.min1.thm1
2017-02-06 12:45
331
laplace__153_22.min1.thm1
2017-02-06 12:45
407
laplace__154_22.min1.thm1
2017-02-06 12:45
650
laplace__155_21.min1.thm1
2017-02-06 12:45
2.3K
laplace__159_14.min1.thm1
2017-02-06 12:45
1.4K
laplace__160_33.min1.thm1
2017-02-06 12:45
1.0K
laplace__165_16.min1.thm1
2017-02-06 12:45
1.4K
laplace__166_33.min1.thm1
2017-02-06 12:45
1.9K
laplace__167_19.min1.thm1
2017-02-06 12:45
3.2K
laplace__171_16.min1.thm1
2017-02-06 12:45
1.4K
laplace__173_19.min1.thm1
2017-02-06 12:45
2.6K
laplace__184_37.min1.thm1
2017-02-06 12:45
448
laplace__185_27.min1.thm1
2017-02-06 12:45
1.5K
laplace__194_37.min1.thm1
2017-02-06 12:45
444
laplace__201_33.min1.thm1
2017-02-06 12:45
1.1K
laplace__202_16.min1.thm1
2017-02-06 12:45
1.0K
laplace__208_63.min1.thm1
2017-02-06 12:45
1.2K
laplace__211_15.min1.thm1
2017-02-06 12:45
526
laplace__213_12.min1.thm1
2017-02-06 12:45
603
laplace__222_39.min1.thm1
2017-02-06 12:45
444
laplace__226_15.min1.thm1
2017-02-06 12:45
1.7K
laplace__231_16.min1.thm1
2017-02-06 12:45
1.7K
laplace__239_12.min1.thm1
2017-02-06 12:45
1.9K
laplace__240_17.min1.thm1
2017-02-06 12:45
231
laplace__251_10.min1.thm1
2017-02-06 12:45
824
laplace__253_12.min1.thm1
2017-02-06 12:45
336
laplace__253_12.min1.thm1.tptp
2017-02-06 16:47
254
laplace__257_12.min1.thm1
2017-02-06 12:45
635
laplace__258_17.min1.thm1
2017-02-06 12:45
1.5K
laplace__259_18.min1.thm1
2017-02-06 12:45
447
laplace__259_18.min1.thm1.tptp
2017-02-06 16:47
383
laplace__262_19.min1.thm1
2017-02-06 12:45
447
laplace__262_19.min1.thm1.tptp
2017-02-06 16:47
383
laplace__287_23.min1.thm1
2017-02-06 12:45
672
laplace__295_13.min1.thm1
2017-02-06 12:45
856
laplace__296_13.min1.thm1
2017-02-06 12:45
856
laplace__314_17.min1.thm1
2017-02-06 12:45
950
laplace__314_17.min1.thm1.tptp
2017-02-06 16:47
873
laplace__324_12.min1.thm1
2017-02-06 12:45
590
laplace__325_14.min1.thm1
2017-02-06 12:45
797
laplace__331_26.min1.thm1
2017-02-06 12:45
460
laplace__341_26.min1.thm1
2017-02-06 12:45
460
laplace__357_37.min1.thm1
2017-02-06 12:45
448
laplace__360_21.min1.thm1
2017-02-06 12:45
2.2K
laplace__361_9.min1.thm1
2017-02-06 12:45
1.1K
laplace__362_45.min1.thm1
2017-02-06 12:45
1.3K
laplace__372_68.min1.thm1
2017-02-06 12:45
2.2K
laplace__373_16.min1.thm1
2017-02-06 12:45
1.4K
laplace__375_43.min1.thm1
2017-02-06 12:45
1.1K
laplace__382_16.min1.thm1
2017-02-06 12:45
548
laplace__385_14.min1.thm1
2017-02-06 12:45
746
laplace__386_19.min1.thm1
2017-02-06 12:45
1.6K
laplace__390_45.min1.thm1
2017-02-06 12:45
1.3K
laplace__391_38.min1.thm1
2017-02-06 12:45
1.2K
laplace__395_19.min1.thm1
2017-02-06 12:45
406
laplace__395_19.min1.thm1.tptp
2017-02-06 16:47
328
laplace__401_16.min1.thm1
2017-02-06 12:45
621
laplace__401_16.min1.thm1.tptp
2017-02-06 16:47
559
laplace__404_14.min1.thm1
2017-02-06 12:45
1.4K
laplace__408_14.min1.thm1
2017-02-06 12:45
1.7K
laplace__409_16.min1.thm1
2017-02-06 12:45
1.5K
laplace__413_20.min1.thm1
2017-02-06 12:45
2.3K
laplace__420_23.min1.thm1
2017-02-06 12:45
569
laplace__431_18.min1.thm1
2017-02-06 12:45
789
laplace__434_13.min1.thm1
2017-02-06 12:45
343
laplace__434_13.min1.thm1.tptp
2017-02-06 16:47
275
laplace__435_17.min1.thm1
2017-02-06 12:45
789
laplace__436_24.min1.thm1
2017-02-06 12:45
760
laplace__437_19.min1.thm1
2017-02-06 12:45
442
laplace__439_25.min1.thm1
2017-02-06 12:45
660
laplace__440_37.min1.thm1
2017-02-06 12:45
906
laplace__442_30.min1.thm1
2017-02-06 12:45
871
laplace__447_21.min1.thm1
2017-02-06 12:45
764
laplace__451_10.min1.thm1
2017-02-06 12:45
1.8K
laplace__452_19.min1.thm1
2017-02-06 12:45
625
laplace__454_12.min1.thm1
2017-02-06 12:45
343
laplace__454_12.min1.thm1.tptp
2017-02-06 16:47
275
laplace__459_21.min1.thm1
2017-02-06 12:45
1.8K
laplace__460_21.min1.thm1
2017-02-06 12:45
512
laplace__460_21.min1.thm1.tptp
2017-02-06 16:47
450
laplace__466_20.min1.thm1
2017-02-06 12:45
2.4K
laplace__468_21.min1.thm1
2017-02-06 12:45
569
laplace__468_21.min1.thm1.tptp
2017-02-06 16:47
507
laplace__479_13.min1.thm1
2017-02-06 12:45
594
laplace__484_10.min1.thm1
2017-02-06 12:45
1.8K
laplace__485_17.min1.thm1
2017-02-06 12:45
858
laplace__487_16.min1.thm1
2017-02-06 12:45
413
laplace__489_18.min1.thm1
2017-02-06 12:45
777
laplace__490_18.min1.thm1
2017-02-06 12:45
2.3K
laplace__502_21.min1.thm1
2017-02-06 12:45
1.6K
laplace__507_16.min1.thm1
2017-02-06 12:45
1.0K
laplace__512_15.min1.thm1
2017-02-06 12:45
1.4K
laplace__513_20.min1.thm1
2017-02-06 12:45
669
laplace__513_20.min1.thm1.tptp
2017-02-06 16:47
598
laplace__516_21.min1.thm1
2017-02-06 12:45
1.1K
laplace__517_21.min1.thm1
2017-02-06 12:45
585
laplace__520_20.min1.thm1
2017-02-06 12:45
2.3K
laplace__521_23.min1.thm1
2017-02-06 12:45
1.6K
laplace__525_23.min1.thm1
2017-02-06 12:45
963
laplace__526_64.min1.thm1
2017-02-06 12:45
1.0K
laplace__532_23.min1.thm1
2017-02-06 12:45
2.2K
laplace__541_23.min1.thm1
2017-02-06 12:45
569
laplace__544_12.min1.thm1
2017-02-06 12:45
1.5K
laplace__546_22.min1.thm1
2017-02-06 12:45
601
laplace__551_19.min1.thm1
2017-02-06 12:45
587
laplace__553_18.min1.thm1
2017-02-06 12:45
879
laplace__554_26.min1.thm1
2017-02-06 12:45
839
laplace__554_26.min1.thm1.tptp
2017-02-06 16:47
769
laplace__557_18.min1.thm1
2017-02-06 12:45
1.0K
laplace__557_18.min1.thm1.tptp
2017-02-06 16:47
896
laplace__562_23.min1.thm1
2017-02-06 12:45
2.2K
laplace__569_42.min1.thm1
2017-02-06 12:45
553
laplace__571_69.min1.thm1
2017-02-06 12:45
281
laplace__572_21.min1.thm1
2017-02-06 12:45
322
laplace__580_13.min1.thm1
2017-02-06 12:45
1.7K
laplace__581_15.min1.thm1
2017-02-06 12:45
1.5K
laplace__586_28.min1.thm1
2017-02-06 12:45
1.5K
laplace__594_16.min1.thm1
2017-02-06 12:45
791
laplace__595_20.min1.thm1
2017-02-06 12:45
582
laplace__596_21.min1.thm1
2017-02-06 12:45
952
laplace__600_12.min1.thm1
2017-02-06 12:45
445
laplace__600_12.min1.thm1.tptp
2017-02-06 16:47
374
laplace__601_19.min1.thm1
2017-02-06 12:45
482
laplace__601_19.min1.thm1.tptp
2017-02-06 16:47
411
laplace__602_17.min1.thm1
2017-02-06 12:45
514
laplace__604_11.min1.thm1
2017-02-06 12:45
445
laplace__605_16.min1.thm1
2017-02-06 12:45
1.3K
laplace__611_26.min1.thm1
2017-02-06 12:45
795
laplace__621_13.min1.thm1
2017-02-06 12:45
1.1K
laplace__622_21.min1.thm1
2017-02-06 12:45
1.8K
laplace__623_25.min1.thm1
2017-02-06 12:45
748
laplace__624_38.min1.thm1
2017-02-06 12:45
727
laplace__624_38.min1.thm1.tptp
2017-02-06 16:47
665
laplace__625_21.min1.thm1
2017-02-06 12:45
2.1K
laplace__629_28.min1.thm1
2017-02-06 12:45
1.0K
laplace__637_22.min1.thm1
2017-02-06 12:45
696
laplace__640_21.min1.thm1
2017-02-06 12:45
2.1K
laplace__644_43.min1.thm1
2017-02-06 12:45
1.3K
laplace__645_24.min1.thm1
2017-02-06 12:45
1.6K
laplace__646_27.min1.thm1
2017-02-06 12:45
615
laplace__647_12.min1.thm1
2017-02-06 12:45
1.5K
laplace__650_20.min1.thm1
2017-02-06 12:45
1.2K
laplace__657_16.min1.thm1
2017-02-06 12:45
954
laplace__658_11.min1.thm1
2017-02-06 12:45
443
laplace__658_11.min1.thm1.tptp
2017-02-06 16:47
372
laplace__660_21.min1.thm1
2017-02-06 12:45
343
laplace__660_21.min1.thm1.tptp
2017-02-06 16:47
275
laplace__661_18.min1.thm1
2017-02-06 12:45
1.8K
laplace__664_20.min1.thm1
2017-02-06 12:45
886
laplace__665_19.min1.thm1
2017-02-06 12:45
1.2K
laplace__667_19.min1.thm1
2017-02-06 12:45
437
laplace__669_18.min1.thm1
2017-02-06 12:45
862
laplace__682_11.min1.thm1
2017-02-06 12:45
219
laplace__685_47.min1.thm1
2017-02-06 12:45
1.4K
laplace__689_38.min1.thm1
2017-02-06 12:45
1.1K
laplace__690_33.min1.thm1
2017-02-06 12:45
1.0K
laplace__702_47.min1.thm1
2017-02-06 12:45
1.2K
laplace__706_38.min1.thm1
2017-02-06 12:45
1.4K
laplace__710_6.min1.thm1
2017-02-06 12:45
2.7K
laplace__743_18.min1.thm1
2017-02-06 12:45
303
laplace__744_19.min1.thm1
2017-02-06 12:45
518
laplace__748_13.min1.thm1
2017-02-06 12:45
1.0K
laplace__750_22.min1.thm1
2017-02-06 12:45
1.0K
laplace__751_39.min1.thm1
2017-02-06 12:45
450
laplace__758_15.min1.thm1
2017-02-06 12:45
745
laplace__759_24.min1.thm1
2017-02-06 12:45
1.3K
laplace__760_41.min1.thm1
2017-02-06 12:45
457
laplace__761_23.min1.thm1
2017-02-06 12:45
1.3K
laplace__762_13.min1.thm1
2017-02-06 12:45
527
laplace__766_23.min1.thm1
2017-02-06 12:45
1.1K
laplace__769_23.min1.thm1
2017-02-06 12:45
821
laplace__770_23.min1.thm1
2017-02-06 12:45
1.0K
laplace__780_23.min1.thm1
2017-02-06 12:45
466
laplace__780_23.min1.thm1.tptp
2017-02-06 16:47
401
laplace__781_23.min1.thm1
2017-02-06 12:45
1.9K
laplace__783_14.min1.thm1
2017-02-06 12:45
593
laplace__785_25.min1.thm1
2017-02-06 12:45
1.6K
laplace__786_14.min1.thm1
2017-02-06 12:45
753
laplace__802_23.min1.thm1
2017-02-06 12:45
466
laplace__802_23.min1.thm1.tptp
2017-02-06 16:47
401
laplace__803_23.min1.thm1
2017-02-06 12:45
2.4K
laplace__805_14.min1.thm1
2017-02-06 12:45
590
laplace__806_16.min1.thm1
2017-02-06 12:45
1.5K
laplace__809_14.min1.thm1
2017-02-06 12:45
590
laplace__818_44.min1.thm1
2017-02-06 12:45
1.0K
laplace__819_36.min1.thm1
2017-02-06 12:45
963
laplace__819_36.min1.thm1.tptp
2017-02-06 16:47
877
laplace__835_12.min1.thm1
2017-02-06 12:45
1.1K
laplace__836_11.min1.thm1
2017-02-06 12:45
1.1K
laplace__837_54.min1.thm1
2017-02-06 12:45
1.5K
laplace__838_45.min1.thm1
2017-02-06 12:45
567
laplace__839_16.min1.thm1
2017-02-06 12:45
1.0K
laplace__842_15.min1.thm1
2017-02-06 12:45
1.1K
laplace__843_19.min1.thm1
2017-02-06 12:45
1.6K
laplace__845_13.min1.thm1
2017-02-06 12:45
543
laplace__846_15.min1.thm1
2017-02-06 12:45
1.6K
laplace__848_13.min1.thm1
2017-02-06 12:45
543
laplace__849_13.min1.thm1
2017-02-06 12:45
1.1K
laplace__851_19.min1.thm1
2017-02-06 12:45
627
laplace__852_17.min1.thm1
2017-02-06 12:45
844
laplace__853_13.min1.thm1
2017-02-06 12:45
1.1K
laplace__854_24.min1.thm1
2017-02-06 12:45
629
laplace__856_22.min1.thm1
2017-02-06 12:45
1.1K
laplace__858_21.min1.thm1
2017-02-06 12:45
1.7K
laplace__866_13.min1.thm1
2017-02-06 12:45
1.1K
laplace__872_13.min1.thm1
2017-02-06 12:45
1.0K
laplace__873_15.min1.thm1
2017-02-06 12:45
1.1K
laplace__874_19.min1.thm1
2017-02-06 12:45
1.6K
laplace__876_13.min1.thm1
2017-02-06 12:45
543
laplace__877_17.min1.thm1
2017-02-06 12:45
844
laplace__879_22.min1.thm1
2017-02-06 12:45
1.5K
laplace__881_14.min1.thm1
2017-02-06 12:45
972
laplace__882_14.min1.thm1
2017-02-06 12:45
1.4K
laplace__884_20.min1.thm1
2017-02-06 12:45
1.5K
laplace__885_13.min1.thm1
2017-02-06 12:45
1.1K
laplace__886_24.min1.thm1
2017-02-06 12:45
629
laplace__888_22.min1.thm1
2017-02-06 12:45
1.4K
laplace__895_20.min1.thm1
2017-02-06 12:45
1.5K
laplace__897_14.min1.thm1
2017-02-06 12:45
970
laplace__898_17.min1.thm1
2017-02-06 12:45
844
laplace__900_20.min1.thm1
2017-02-06 12:45
1.5K
laplace__902_14.min1.thm1
2017-02-06 12:45
970
laplace__903_14.min1.thm1
2017-02-06 12:45
1.2K
laplace__904_13.min1.thm1
2017-02-06 12:45
1.1K
laplace__910_14.min1.thm1
2017-02-06 12:45
1.4K
laplace__912_20.min1.thm1
2017-02-06 12:45
1.5K
laplace__913_14.min1.thm1
2017-02-06 12:45
1.4K
laplace__914_25.min1.thm1
2017-02-06 12:45
1.5K
laplace__916_22.min1.thm1
2017-02-06 12:45
1.4K
laplace__918_35.min1.thm1
2017-02-06 12:45
2.7K
laplace__922_20.min1.thm1
2017-02-06 12:45
870
laplace__924_19.min1.thm1
2017-02-06 12:45
434
laplace__925_13.min1.thm1
2017-02-06 12:45
839
laplace__938_18.min1.thm1
2017-02-06 12:45
745
laplace__943_18.min1.thm1
2017-02-06 12:45
745
laplace__944_47.min1.thm1
2017-02-06 12:45
787
laplace__945_13.min1.thm1
2017-02-06 12:45
1.7K
laplace__949_21.min1.thm1
2017-02-06 12:45
1.9K
laplace__955_21.min1.thm1
2017-02-06 12:45
1.8K
laplace__963_23.min1.thm1
2017-02-06 12:45
2.6K
laplace__964_23.min1.thm1
2017-02-06 12:45
2.6K
laplace__966_29.min1.thm1
2017-02-06 12:45
859
laplace__967_25.min1.thm1
2017-02-06 12:45
740
laplace__973_45.min1.thm1
2017-02-06 12:45
3.0K
laplace__974_23.min1.thm1
2017-02-06 12:45
2.7K
laplace__986_25.min1.thm1
2017-02-06 12:45
2.8K
laplace__987_25.min1.thm1
2017-02-06 12:45
2.8K
laplace__989_31.min1.thm1
2017-02-06 12:45
907
laplace__990_31.min1.thm1
2017-02-06 12:45
820
laplace__996_39.min1.thm1
2017-02-06 12:45
2.8K
laplace__997_25.min1.thm1
2017-02-06 12:45
2.9K
laplace__999_35.min1.thm1
2017-02-06 12:45
1.8K
laplace__1012_43.min1.thm1
2017-02-06 12:45
1.6K
laplace__1014_16.min1.thm1
2017-02-06 12:45
485
laplace__1018_14.min1.thm1
2017-02-06 12:45
689
laplace__1019_30.min1.thm1
2017-02-06 12:45
338
laplace__1019_30.min1.thm1.tptp
2017-02-06 16:47
261
laplace__1020_13.min1.thm1
2017-02-06 12:45
1.4K
laplace__1021_21.min1.thm1
2017-02-06 12:45
954
laplace__1025_30.min1.thm1
2017-02-06 12:45
338
laplace__1025_30.min1.thm1.tptp
2017-02-06 16:47
261
laplace__1026_19.min1.thm1
2017-02-06 12:45
1.8K
laplace__1030_14.min1.thm1
2017-02-06 12:45
386
laplace__1066_15.min1.thm1
2017-02-06 12:45
354
laplace__1066_15.min1.thm1.tptp
2017-02-06 16:47
274
laplace__1067_21.min1.thm1
2017-02-06 12:45
1.1K
laplace__1070_34.min1.thm1
2017-02-06 12:45
1.7K
laplace__1072_14.min1.thm1
2017-02-06 12:45
794
laplace__1073_25.min1.thm1
2017-02-06 12:45
1.6K
laplace__1076_35.min1.thm1
2017-02-06 12:45
1.7K
laplace__1080_13.min1.thm1
2017-02-06 12:45
710
laplace__1085_17.min1.thm1
2017-02-06 12:45
358
laplace__1085_17.min1.thm1.tptp
2017-02-06 16:47
278
laplace__1086_19.min1.thm1
2017-02-06 12:45
462
laplace__1087_19.min1.thm1
2017-02-06 12:45
279
laplace__1093_18.min1.thm1
2017-02-06 12:45
2.3K
laplace__1094_24.min1.thm1
2017-02-06 12:45
1.2K
laplace__1099_17.min1.thm1
2017-02-06 12:45
1.2K
laplace__1100_26.min1.thm1
2017-02-06 12:45
767
laplace__1102_33.min1.thm1
2017-02-06 12:45
879
laplace__1108_19.min1.thm1
2017-02-06 12:45
279
laplace__1109_17.min1.thm1
2017-02-06 12:45
358
laplace__1109_17.min1.thm1.tptp
2017-02-06 16:47
278
laplace__1110_19.min1.thm1
2017-02-06 12:45
462
laplace__1116_49.min1.thm1
2017-02-06 12:45
885
laplace__1116_49.min1.thm1.tptp
2017-02-06 16:47
809
laplace__1117_31.min1.thm1
2017-02-06 12:45
614
laplace__1124_25.min1.thm1
2017-02-06 12:45
1.0K
laplace__1133_14.min1.thm1
2017-02-06 12:45
223
laplace__1137_23.min1.thm1
2017-02-06 12:45
1.5K
laplace__1142_14.min1.thm1
2017-02-06 12:45
2.0K
laplace__1160_16.min1.thm1
2017-02-06 12:45
1.4K
laplace__1161_14.min1.thm1
2017-02-06 12:45
1.4K
laplace__1165_13.min1.thm1
2017-02-06 12:45
1.8K
laplace__1174_37.min1.thm1
2017-02-06 12:45
1.6K
laplace__1175_21.min1.thm1
2017-02-06 12:45
2.9K
laplace__1191_25.min1.thm1
2017-02-06 12:45
1.6K
laplace__1192_8.min1.thm1
2017-02-06 12:45
1.5K
laplace__1193_45.min1.thm1
2017-02-06 12:45
1.8K
laplace__1200_24.min1.thm1
2017-02-06 12:45
1.3K
laplace__1201_54.min1.thm1
2017-02-06 12:45
764
laplace__1202_13.min1.thm1
2017-02-06 12:45
1.0K
laplace__1205_14.min1.thm1
2017-02-06 12:45
1.4K
laplace__1221_25.min1.thm1
2017-02-06 12:45
1.3K
laplace__1227_12.min1.thm1
2017-02-06 12:45
1.1K
laplace__1233_18.min1.thm1
2017-02-06 12:45
1.4K
laplace__1240_13.min1.thm1
2017-02-06 12:45
1.1K
laplace__1241_17.min1.thm1
2017-02-06 12:45
1.4K
laplace__1253_16.min1.thm1
2017-02-06 12:45
2.5K
laplace__1260_29.min1.thm1
2017-02-06 12:45
4.7K
laplace__1265_13.min1.thm1
2017-02-06 12:45
1.1K
laplace__1266_17.min1.thm1
2017-02-06 12:45
1.4K
laplace__1282_8.min1.thm1
2017-02-06 12:45
1.5K
laplace__1283_45.min1.thm1
2017-02-06 12:45
1.8K
laplace__1285_35.min1.thm1
2017-02-06 12:45
1.5K
laplace__1288_37.min1.thm1
2017-02-06 12:45
448
laplace__1289_36.min1.thm1
2017-02-06 12:45
2.5K
laplace__1292_17.min1.thm1
2017-02-06 12:45
1.1K
laplace__1294_12.min1.thm1
2017-02-06 12:45
659
laplace__1296_14.min1.thm1
2017-02-06 12:45
930
laplace__1302_45.min1.thm1
2017-02-06 12:45
566
laplace__1308_27.min1.thm1
2017-02-06 12:45
1.4K
laplace__1312_13.min1.thm1
2017-02-06 12:45
531
laplace__1316_26.min1.thm1
2017-02-06 12:45
3.1K
laplace__1318_24.min1.thm1
2017-02-06 12:45
3.1K
laplace__1324_28.min1.thm1
2017-02-06 12:45
3.1K
laplace__1326_26.min1.thm1
2017-02-06 12:45
3.1K
laplace__1332_28.min1.thm1
2017-02-06 12:45
3.1K
laplace__1334_26.min1.thm1
2017-02-06 12:45
3.1K
laplace__1340_30.min1.thm1
2017-02-06 12:45
3.1K
laplace__1342_28.min1.thm1
2017-02-06 12:45
3.1K
laplace__1356_38.min1.thm1
2017-02-06 12:45
1.6K
laplace__1358_54.min1.thm1
2017-02-06 12:45
778
laplace__1359_37.min1.thm1
2017-02-06 12:45
448
laplace__1360_11.min1.thm1
2017-02-06 12:45
244
laplace__1382_13.min1.thm1
2017-02-06 12:45
130
laplace__1389_53.min1.thm1
2017-02-06 12:45
1.8K
laplace__1390_50.min1.thm1
2017-02-06 12:45
558
laplace__1401_19.min1.thm1
2017-02-06 12:45
218
laplace__1404_26.min1.thm1
2017-02-06 12:45
629
laplace__1405_22.min1.thm1
2017-02-06 12:45
968
laplace__1406_35.min1.thm1
2017-02-06 12:45
899
laplace__1407_31.min1.thm1
2017-02-06 12:45
1.2K
laplace__1409_29.min1.thm1
2017-02-06 12:45
1.1K
laplace__1410_26.min1.thm1
2017-02-06 12:45
553
laplace__1411_27.min1.thm1
2017-02-06 12:45
1.4K
laplace__1415_31.min1.thm1
2017-02-06 12:45
634
laplace__1419_20.min1.thm1
2017-02-06 12:45
1.2K
laplace__1424_38.min1.thm1
2017-02-06 12:45
493
laplace__1427_17.min1.thm1
2017-02-06 12:45
1.7K
laplace__1430_26.min1.thm1
2017-02-06 12:45
1.0K
laplace__1432_23.min1.thm1
2017-02-06 12:45
1.8K
laplace__1433_20.min1.thm1
2017-02-06 12:45
1.0K
laplace__1434_52.min1.thm1
2017-02-06 12:45
2.4K
laplace__1440_22.min1.thm1
2017-02-06 12:45
843
laplace__1441_20.min1.thm1
2017-02-06 12:45
843
laplace__1442_54.min1.thm1
2017-02-06 12:45
1.1K
laplace__1445_30.min1.thm1
2017-02-06 12:45
901
laplace__1446_21.min1.thm1
2017-02-06 12:45
1.6K
laplace__1448_15.min1.thm1
2017-02-06 12:45
389
laplace__1476_47.min1.thm1
2017-02-06 12:45
608
laplace__1484_15.min1.thm1
2017-02-06 12:45
295
laplace__1513_17.min1.thm1
2017-02-06 12:45
384
laplace__1514_29.min1.thm1
2017-02-06 12:45
2.5K
laplace__1520_29.min1.thm1
2017-02-06 12:45
1.2K
laplace__1528_16.min1.thm1
2017-02-06 12:45
954
laplace__1530_21.min1.thm1
2017-02-06 12:45
1.5K
laplace__1537_15.min1.thm1
2017-02-06 12:45
376
laplace__1539_23.min1.thm1
2017-02-06 12:45
2.7K
laplace__1541_19.min1.thm1
2017-02-06 12:45
1.6K
laplace__1548_13.min1.thm1
2017-02-06 12:45
246
laplace__1568_11.min1.thm1
2017-02-06 12:45
244
laplace__1591_37.min1.thm1
2017-02-06 12:45
450
laplace__1594_19.min1.thm1
2017-02-06 12:45
1.5K
laplace__1595_43.min1.thm1
2017-02-06 12:45
566
laplace__1598_15.min1.thm1
2017-02-06 12:45
275
laplace__1609_26.min1.thm1
2017-02-06 12:45
726
laplace__1624_13.min1.thm1
2017-02-06 12:45
1.4K
laplace__1627_21.min1.thm1
2017-02-06 12:45
1.0K
laplace__1628_23.min1.thm1
2017-02-06 12:45
1.8K
laplace__1629_19.min1.thm1
2017-02-06 12:45
1.4K
laplace__1630_17.min1.thm1
2017-02-06 12:45
1.0K
laplace__1632_24.min1.thm1
2017-02-06 12:45
2.3K
laplace__1642_18.min1.thm1
2017-02-06 12:45
892
laplace__1644_23.min1.thm1
2017-02-06 12:45
2.6K
laplace__1645_16.min1.thm1
2017-02-06 12:45
892
laplace__1647_19.min1.thm1
2017-02-06 12:45
2.7K
laplace__1659_16.min1.thm1
2017-02-06 12:45
889
laplace__1662_31.min1.thm1
2017-02-06 12:45
1.2K
laplace__1663_32.min1.thm1
2017-02-06 12:45
1.2K
laplace__1666_47.min1.thm1
2017-02-06 12:45
608
laplace__1667_33.min1.thm1
2017-02-06 12:45
1.4K
laplace__1670_17.min1.thm1
2017-02-06 12:45
216
laplace__1688_14.min1.thm1
2017-02-06 12:45
620
laplace__1710_39.min1.thm1
2017-02-06 12:45
452
laplace__1712_20.min1.thm1
2017-02-06 12:45
860
laplace__1712_20.min1.thm1.tptp
2017-02-06 16:47
790
laplace__1716_20.min1.thm1
2017-02-06 12:45
1.4K
laplace__1726_12.min1.thm1
2017-02-06 12:45
1.0K
laplace__1727_13.min1.thm1
2017-02-06 12:45
717
laplace__1734_16.min1.thm1
2017-02-06 12:45
1.5K
laplace__1736_24.min1.thm1
2017-02-06 12:45
2.4K
laplace__1739_15.min1.thm1
2017-02-06 12:45
811
laplace__1742_16.min1.thm1
2017-02-06 12:45
1.6K
laplace__1743_24.min1.thm1
2017-02-06 12:45
1.9K
laplace__1746_20.min1.thm1
2017-02-06 12:45
1.3K
laplace__1746_20.min1.thm1.tptp
2017-02-06 16:47
1.3K
laplace__1757_20.min1.thm1
2017-02-06 12:45
1.4K
laplace__1758_20.min1.thm1
2017-02-06 12:45
1.2K
laplace__1762_19.min1.thm1
2017-02-06 12:45
741
laplace__1775_21.min1.thm1
2017-02-06 12:45
2.3K
laplace__1782_20.min1.thm1
2017-02-06 12:45
1.2K
laplace__1787_20.min1.thm1
2017-02-06 12:45
2.0K
laplace__1788_20.min1.thm1
2017-02-06 12:45
1.2K
laplace__1792_19.min1.thm1
2017-02-06 12:45
742
laplace__1808_20.min1.thm1
2017-02-06 12:45
645
laplace__1808_20.min1.thm1.tptp
2017-02-06 16:47
575
laplace__1813_18.min1.thm1
2017-02-06 12:45
2.7K
laplace__1814_17.min1.thm1
2017-02-06 12:45
718
laplace__1817_18.min1.thm1
2017-02-06 12:45
1.5K
laplace__1819_23.min1.thm1
2017-02-06 12:45
2.3K
laplace__1824_17.min1.thm1
2017-02-06 12:45
719
laplace__1827_18.min1.thm1
2017-02-06 12:45
2.7K
laplace__1828_18.min1.thm1
2017-02-06 12:45
1.5K
laplace__1830_23.min1.thm1
2017-02-06 12:45
2.3K
laplace__1831_15.min1.thm1
2017-02-06 12:45
811
laplace__1835_21.min1.thm1
2017-02-06 12:45
3.3K
laplace__1836_17.min1.thm1
2017-02-06 12:45
815
laplace__1844_29.min1.thm1
2017-02-06 12:45
3.3K
laplace__1869_22.min1.thm1
2017-02-06 12:45
3.3K
laplace__1870_17.min1.thm1
2017-02-06 12:45
815
laplace__1873_28.min1.thm1
2017-02-06 12:45
3.3K
laplace__1903_17.min1.thm1
2017-02-06 12:45
815
laplace__1938_17.min1.thm1
2017-02-06 12:45
815
laplace__1973_31.min1.thm1
2017-02-06 12:45
213
laplace__1975_40.min1.thm1
2017-02-06 12:45
1.4K
laplace__1977_18.min1.thm1
2017-02-06 12:45
2.0K
laplace__1977_18.min1.thm1.tptp
2017-02-06 16:47
2.0K
laplace__1989_34.min1.thm1
2017-02-06 12:45
1.6K
laplace__2000_25.min1.thm1
2017-02-06 12:45
342
laplace__2001_27.min1.thm1
2017-02-06 12:45
374
laplace__2002_17.min1.thm1
2017-02-06 12:45
234
laplace__2005_25.min1.thm1
2017-02-06 12:45
4.4K
laplace__2008_33.min1.thm1
2017-02-06 12:45
1.6K
laplace__2023_37.min1.thm1
2017-02-06 12:45
448
laplace__2037_18.min1.thm1
2017-02-06 12:45
2.1K
laplace__2051_16.min1.thm1
2017-02-06 12:45
848
laplace__2056_16.min1.thm1
2017-02-06 12:45
850
laplace__2058_22.min1.thm1
2017-02-06 12:45
847
laplace__2058_22.min1.thm1.tptp
2017-02-06 16:47
777
laplace__2059_22.min1.thm1
2017-02-06 12:45
847
laplace__2059_22.min1.thm1.tptp
2017-02-06 16:47
777
laplace__2066_14.min1.thm1
2017-02-06 12:45
1.8K
laplace__2067_18.min1.thm1
2017-02-06 12:45
757
laplace__2070_16.min1.thm1
2017-02-06 12:45
1.1K
laplace__2071_20.min1.thm1
2017-02-06 12:45
1.6K
laplace__2072_20.min1.thm1
2017-02-06 12:45
1.0K
laplace__2074_21.min1.thm1
2017-02-06 12:45
1.5K
laplace__2075_17.min1.thm1
2017-02-06 12:45
781
laplace__2097_26.min1.thm1
2017-02-06 12:45
561
laplace__2101_51.min1.thm1
2017-02-06 12:45
1.3K
laplace__2106_23.min1.thm1
2017-02-06 12:45
1.5K
laplace__2108_16.min1.thm1
2017-02-06 12:45
1.0K
laplace__2109_15.min1.thm1
2017-02-06 12:45
1.1K
laplace__2111_21.min1.thm1
2017-02-06 12:45
2.7K
laplace__2113_22.min1.thm1
2017-02-06 12:45
1.5K
laplace__2114_17.min1.thm1
2017-02-06 12:45
941
laplace__2139_17.min1.thm1
2017-02-06 12:45
412
laplace__2141_44.min1.thm1
2017-02-06 12:45
1.4K
laplace__2143_18.min1.thm1
2017-02-06 12:45
638
laplace__2146_22.min1.thm1
2017-02-06 12:45
738
laplace__2163_20.min1.thm1
2017-02-06 12:45
1.4K
laplace__2168_14.min1.thm1
2017-02-06 12:45
462
laplace__2174_11.min1.thm1
2017-02-06 12:45
1.2K
laplace__2175_17.min1.thm1
2017-02-06 12:45
1.3K
laplace__2178_11.min1.thm1
2017-02-06 12:45
1.0K
laplace__2179_10.min1.thm1
2017-02-06 12:45
1.0K
laplace__2187_16.min1.thm1
2017-02-06 12:45
1.1K
laplace__2190_19.min1.thm1
2017-02-06 12:45
957
laplace__2191_42.min1.thm1
2017-02-06 12:45
1.2K
laplace__2192_32.min1.thm1
2017-02-06 12:45
1.4K
laplace__2195_30.min1.thm1
2017-02-06 12:45
563
laplace__2199_25.min1.thm1
2017-02-06 12:45
585
laplace__2205_30.min1.thm1
2017-02-06 12:45
563
laplace__2209_19.min1.thm1
2017-02-06 12:45
957
laplace__2210_23.min1.thm1
2017-02-06 12:45
2.4K
laplace__2220_47.min1.thm1
2017-02-06 12:45
1.3K
laplace__2221_13.min1.thm1
2017-02-06 12:45
194
laplace__2225_20.min1.thm1
2017-02-06 12:45
679
laplace__2231_32.min1.thm1
2017-02-06 12:45
504
laplace__2239_21.min1.thm1
2017-02-06 12:45
1.0K
laplace__2240_32.min1.thm1
2017-02-06 12:45
504
laplace__2245_17.min1.thm1
2017-02-06 12:45
1.0K
laplace__2256_42.min1.thm1
2017-02-06 12:45
1.4K
laplace__2272_22.min1.thm1
2017-02-06 12:45
1.4K
laplace__2273_17.min1.thm1
2017-02-06 12:45
725
laplace__2275_19.min1.thm1
2017-02-06 12:45
926
laplace__2284_27.min1.thm1
2017-02-06 12:45
953
laplace__2284_27.min1.thm1.tptp
2017-02-06 16:47
883
laplace__2286_17.min1.thm1
2017-02-06 12:45
1.0K
laplace__2296_43.min1.thm1
2017-02-06 12:45
622
laplace__2297_28.min1.thm1
2017-02-06 12:45
929
laplace__2297_28.min1.thm1.tptp
2017-02-06 16:47
859
laplace__2307_17.min1.thm1
2017-02-06 12:45
599
laplace__2312_19.min1.thm1
2017-02-06 12:45
883
laplace__2363_27.min1.thm1
2017-02-06 12:45
2.7K
laplace__2364_19.min1.thm1
2017-02-06 12:45
947
laplace__2371_21.min1.thm1
2017-02-06 12:45
1.9K
laplace__2378_19.min1.thm1
2017-02-06 12:45
1.6K
laplace__2389_19.min1.thm1
2017-02-06 12:45
1.9K
laplace__2406_19.min1.thm1
2017-02-06 12:45
1.9K
laplace__2415_18.min1.thm1
2017-02-06 12:45
1.9K
laplace__2417_19.min1.thm1
2017-02-06 12:45
1.0K
laplace__2430_19.min1.thm1
2017-02-06 12:45
1.6K
laplace__2447_19.min1.thm1
2017-02-06 12:45
1.6K
laplace__2468_27.min1.thm1
2017-02-06 12:45
914
laplace__2473_21.min1.thm1
2017-02-06 12:45
619
laplace__2488_37.min1.thm1
2017-02-06 12:45
448
laplace__2504_13.min1.thm1
2017-02-06 12:45
1.8K
laplace__2508_18.min1.thm1
2017-02-06 12:45
2.9K
laplace__2509_22.min1.thm1
2017-02-06 12:45
1.5K
laplace__2517_29.min1.thm1
2017-02-06 12:45
1.2K
laplace__2548_43.min1.thm1
2017-02-06 12:45
1.2K
laplace__2550_25.min1.thm1
2017-02-06 12:45
1.4K
laplace__2551_25.min1.thm1
2017-02-06 12:45
889
laplace__2551_25.min1.thm1.tptp
2017-02-06 16:47
819
laplace__2554_23.min1.thm1
2017-02-06 12:45
1.3K
laplace__2555_23.min1.thm1
2017-02-06 12:45
761
laplace__2555_23.min1.thm1.tptp
2017-02-06 16:47
691
laplace__2557_23.min1.thm1
2017-02-06 12:45
1.7K
laplace__2563_16.min1.thm1
2017-02-06 12:45
1.2K
laplace__2565_26.min1.thm1
2017-02-06 12:45
1.2K
laplace__2570_27.min1.thm1
2017-02-06 12:45
890
laplace__2570_27.min1.thm1.tptp
2017-02-06 16:47
820
laplace__2571_30.min1.thm1
2017-02-06 12:45
3.6K
laplace__2582_25.min1.thm1
2017-02-06 12:45
889
laplace__2582_25.min1.thm1.tptp
2017-02-06 16:47
819
laplace__2585_21.min1.thm1
2017-02-06 12:45
662
laplace__2586_29.min1.thm1
2017-02-06 12:45
3.1K
laplace__2602_43.min1.thm1
2017-02-06 12:45
480
laplace__2607_16.min1.thm1
2017-02-06 12:45
1.4K
laplace__2608_21.min1.thm1
2017-02-06 12:45
2.3K
laplace__2609_21.min1.thm1
2017-02-06 12:45
1.9K
laplace__2611_22.min1.thm1
2017-02-06 12:45
2.4K
laplace__2612_20.min1.thm1
2017-02-06 12:45
448
laplace__2615_25.min1.thm1
2017-02-06 12:45
2.8K
laplace__2619_18.min1.thm1
2017-02-06 12:45
1.4K
laplace__2621_18.min1.thm1
2017-02-06 12:45
2.3K
laplace__2622_22.min1.thm1
2017-02-06 12:45
2.0K
laplace__2624_33.min1.thm1
2017-02-06 12:45
2.3K
laplace__2625_18.min1.thm1
2017-02-06 12:45
1.9K
laplace__2627_24.min1.thm1
2017-02-06 12:45
2.4K
laplace__2628_16.min1.thm1
2017-02-06 12:45
1.7K
laplace__2629_37.min1.thm1
2017-02-06 12:45
2.2K
laplace__2635_10.min1.thm1
2017-02-06 12:45
1.2K
laplace__2645_17.min1.thm1
2017-02-06 12:45
1.8K
laplace__2648_17.min1.thm1
2017-02-06 12:45
1.1K
laplace__2649_25.min1.thm1
2017-02-06 12:45
2.4K
laplace__2653_41.min1.thm1
2017-02-06 12:45
1.9K
laplace__2657_17.min1.thm1
2017-02-06 12:45
1.7K
laplace__2658_17.min1.thm1
2017-02-06 12:45
666
laplace__2660_23.min1.thm1
2017-02-06 12:45
675
laplace__2666_17.min1.thm1
2017-02-06 12:45
1.5K
laplace__2668_33.min1.thm1
2017-02-06 12:45
2.4K
laplace__2669_22.min1.thm1
2017-02-06 12:45
1.5K
laplace__2672_23.min1.thm1
2017-02-06 12:45
761
laplace__2678_19.min1.thm1
2017-02-06 12:45
1.5K
laplace__2679_19.min1.thm1
2017-02-06 12:45
587
laplace__2680_19.min1.thm1
2017-02-06 12:45
1.1K
laplace__2682_19.min1.thm1
2017-02-06 12:45
1.0K
laplace__2683_24.min1.thm1
2017-02-06 12:45
891
laplace__2690_52.min1.thm1
2017-02-06 12:45
1.9K
laplace__2691_49.min1.thm1
2017-02-06 12:45
1.0K
laplace__2694_21.min1.thm1
2017-02-06 12:45
1.5K
laplace__2706_10.min1.thm1
2017-02-06 12:45
965
laplace__2708_14.min1.thm1
2017-02-06 12:45
1.4K
laplace__2710_15.min1.thm1
2017-02-06 12:45
2.3K
laplace__2714_11.min1.thm1
2017-02-06 12:45
358
laplace__2764_8.min1.thm1
2017-02-06 12:45
1.5K
laplace__2765_45.min1.thm1
2017-02-06 12:45
1.8K
laplace__2771_20.min1.thm1
2017-02-06 12:45
871
laplace__2792_16.min1.thm1
2017-02-06 12:45
273
laplace__2793_18.min1.thm1
2017-02-06 12:45
1.3K
laplace__2794_25.min1.thm1
2017-02-06 12:45
894
laplace__2795_58.min1.thm1
2017-02-06 12:45
1.4K
laplace__2800_15.min1.thm1
2017-02-06 12:45
353
laplace__2800_15.min1.thm1.tptp
2017-02-06 16:47
273
laplace__2801_14.min1.thm1
2017-02-06 12:45
353
laplace__2801_14.min1.thm1.tptp
2017-02-06 16:47
273
laplace__2803_16.min1.thm1
2017-02-06 12:45
430
laplace__2804_13.min1.thm1
2017-02-06 12:45
457
laplace__2806_15.min1.thm1
2017-02-06 12:45
531
laplace__2809_14.min1.thm1
2017-02-06 12:45
1.8K
laplace__2810_21.min1.thm1
2017-02-06 12:45
1.3K
laplace__2812_27.min1.thm1
2017-02-06 12:45
1.2K
laplace__2814_26.min1.thm1
2017-02-06 12:45
1.3K
laplace__2822_56.min1.thm1
2017-02-06 12:45
1.4K
laplace__2825_13.min1.thm1
2017-02-06 12:45
192
laplace__2836_26.min1.thm1
2017-02-06 12:45
1.4K
laplace__2850_17.min1.thm1
2017-02-06 12:45
1.2K
laplace__2853_28.min1.thm1
2017-02-06 12:45
1.0K
laplace__2858_19.min1.thm1
2017-02-06 12:45
1.3K
laplace__2859_15.min1.thm1
2017-02-06 12:45
1.3K
laplace__2860_30.min1.thm1
2017-02-06 12:45
1.4K
laplace__2884_39.min1.thm1
2017-02-06 12:45
452
laplace__2900_47.min1.thm1
2017-02-06 12:45
594
laplace__2901_37.min1.thm1
2017-02-06 12:45
1.1K
laplace__2902_32.min1.thm1
2017-02-06 12:45
1.5K
laplace__2919_39.min1.thm1
2017-02-06 12:45
452
laplace__2930_15.min1.thm1
2017-02-06 12:45
795
laplace__2931_21.min1.thm1
2017-02-06 12:45
1.2K
laplace__2935_13.min1.thm1
2017-02-06 12:45
1.1K
laplace__2938_21.min1.thm1
2017-02-06 12:45
1.4K
laplace__2940_45.min1.thm1
2017-02-06 12:45
675
laplace__2942_22.min1.thm1
2017-02-06 12:45
696
laplace__2943_18.min1.thm1
2017-02-06 12:45
860
laplace__2943_18.min1.thm1.tptp
2017-02-06 16:47
802
laplace__2952_19.min1.thm1
2017-02-06 12:45
1.2K
laplace__2953_20.min1.thm1
2017-02-06 12:45
1.2K
laplace__2957_37.min1.thm1
2017-02-06 12:45
889
laplace__2958_24.min1.thm1
2017-02-06 12:45
1.2K
laplace__2973_39.min1.thm1
2017-02-06 12:45
452
laplace__2984_15.min1.thm1
2017-02-06 12:45
795
laplace__2985_21.min1.thm1
2017-02-06 12:45
1.2K
laplace__2989_13.min1.thm1
2017-02-06 12:45
1.1K
laplace__2992_21.min1.thm1
2017-02-06 12:45
1.4K
laplace__2994_45.min1.thm1
2017-02-06 12:45
675
laplace__2996_22.min1.thm1
2017-02-06 12:45
696
laplace__2999_19.min1.thm1
2017-02-06 12:45
1.0K
laplace__3008_19.min1.thm1
2017-02-06 12:45
1.2K
laplace__3009_20.min1.thm1
2017-02-06 12:45
1.2K
laplace__3013_37.min1.thm1
2017-02-06 12:45
889
laplace__3014_24.min1.thm1
2017-02-06 12:45
1.2K
laplace__3024_37.min1.thm1
2017-02-06 12:45
448
laplace__3028_27.min1.thm1
2017-02-06 12:45
1.0K
laplace__3031_43.min1.thm1
2017-02-06 12:45
775
laplace__3040_17.min1.thm1
2017-02-06 12:45
882
laplace__3040_17.min1.thm1.tptp
2017-02-06 16:47
805
laplace__3041_15.min1.thm1
2017-02-06 12:45
882
laplace__3041_15.min1.thm1.tptp
2017-02-06 16:47
805
laplace__3042_25.min1.thm1
2017-02-06 12:45
1.4K
laplace__3054_13.min1.thm1
2017-02-06 12:45
594
laplace__3059_29.min1.thm1
2017-02-06 12:45
717
laplace__3060_18.min1.thm1
2017-02-06 12:45
760
laplace__3062_18.min1.thm1
2017-02-06 12:45
314
laplace__3062_18.min1.thm1.tptp
2017-02-06 16:47
233
laplace__3063_25.min1.thm1
2017-02-06 12:45
867
laplace__3064_19.min1.thm1
2017-02-06 12:45
725
laplace__3066_45.min1.thm1
2017-02-06 12:45
1.0K
laplace__3067_27.min1.thm1
2017-02-06 12:45
1.8K
laplace__3077_46.min1.thm1
2017-02-06 12:45
1.1K
laplace__3079_15.min1.thm1
2017-02-06 12:45
1.2K
laplace__3080_14.min1.thm1
2017-02-06 12:45
614
laplace__3080_14.min1.thm1.tptp
2017-02-06 16:47
544
laplace__3082_16.min1.thm1
2017-02-06 12:45
1.7K
laplace__3086_19.min1.thm1
2017-02-06 12:45
888
laplace__3089_12.min1.thm1
2017-02-06 12:45
1.8K
laplace__3091_19.min1.thm1
2017-02-06 12:45
2.2K
laplace__3093_19.min1.thm1
2017-02-06 12:45
1.2K
laplace__3094_40.min1.thm1
2017-02-06 12:45
926
laplace__3095_21.min1.thm1
2017-02-06 12:45
418
laplace__3096_33.min1.thm1
2017-02-06 12:45
1.5K
laplace__3106_16.min1.thm1
2017-02-06 12:45
571
laplace__3106_16.min1.thm1.tptp
2017-02-06 16:47
517
laplace__3107_15.min1.thm1
2017-02-06 12:45
639
laplace__3109_26.min1.thm1
2017-02-06 12:45
833
laplace__3110_15.min1.thm1
2017-02-06 12:45
639
laplace__3111_30.min1.thm1
2017-02-06 12:45
834
laplace__3112_16.min1.thm1
2017-02-06 12:45
472
laplace__3112_16.min1.thm1.tptp
2017-02-06 16:47
408
laplace__3115_22.min1.thm1
2017-02-06 12:45
883
laplace__3127_18.min1.thm1
2017-02-06 12:45
2.0K
laplace__3134_16.min1.thm1
2017-02-06 12:45
394
laplace__3142_17.min1.thm1
2017-02-06 12:45
465
laplace__3142_17.min1.thm1.tptp
2017-02-06 16:47
410
laplace__3146_13.min1.thm1
2017-02-06 12:45
1.2K
laplace__3147_13.min1.thm1
2017-02-06 12:45
1.3K
laplace__3148_31.min1.thm1
2017-02-06 12:45
778
laplace__3149_16.min1.thm1
2017-02-06 12:45
754
laplace__3151_24.min1.thm1
2017-02-06 12:45
548
laplace__3166_37.min1.thm1
2017-02-06 12:45
448
laplace__3167_15.min1.thm1
2017-02-06 12:45
2.4K
laplace__3168_15.min1.thm1
2017-02-06 12:45
1.8K
laplace__3173_15.min1.thm1
2017-02-06 12:45
376
laplace__3175_17.min1.thm1
2017-02-06 12:45
1.5K
laplace__3176_19.min1.thm1
2017-02-06 12:45
2.2K
laplace__3179_32.min1.thm1
2017-02-06 12:45
1.4K
laplace__3197_24.min1.thm1
2017-02-06 12:45
1.3K
laplace__3199_30.min1.thm1
2017-02-06 12:45
1.5K
laplace__3209_37.min1.thm1
2017-02-06 12:45
448
laplace__3220_16.min1.thm1
2017-02-06 12:45
1.4K
laplace__3224_15.min1.thm1
2017-02-06 12:45
376
laplace__3226_17.min1.thm1
2017-02-06 12:45
1.5K
laplace__3227_16.min1.thm1
2017-02-06 12:45
1.8K
laplace__3230_32.min1.thm1
2017-02-06 12:45
1.4K
laplace__3234_32.min1.thm1
2017-02-06 12:45
1.9K
laplace__3236_39.min1.thm1
2017-02-06 12:45
2.5K
laplace__3253_12.min1.thm1
2017-02-06 12:45
1.8K
laplace__3254_21.min1.thm1
2017-02-06 12:45
2.7K
laplace__3257_14.min1.thm1
2017-02-06 12:45
1.4K
laplace__3279_39.min1.thm1
2017-02-06 12:45
450
laplace__3284_45.min1.thm1
2017-02-06 12:45
566
laplace__3288_17.min1.thm1
2017-02-06 12:45
1.2K
laplace__3291_11.min1.thm1
2017-02-06 12:45
537
laplace__3292_19.min1.thm1
2017-02-06 12:45
2.0K
laplace__3293_25.min1.thm1
2017-02-06 12:45
833
laplace__3299_17.min1.thm1
2017-02-06 12:45
1.4K
laplace__3302_13.min1.thm1
2017-02-06 12:45
202
laplace__3306_31.min1.thm1
2017-02-06 12:45
1.7K
laplace__3307_17.min1.thm1
2017-02-06 12:45
2.4K
laplace__3308_23.min1.thm1
2017-02-06 12:45
2.6K
laplace__3314_23.min1.thm1
2017-02-06 12:45
2.4K
laplace__3329_37.min1.thm1
2017-02-06 12:45
448
laplace__3339_33.min1.thm1
2017-02-06 12:45
1.7K
laplace__3341_19.min1.thm1
2017-02-06 12:45
1.6K
laplace__3345_15.min1.thm1
2017-02-06 12:45
376
laplace__3347_18.min1.thm1
2017-02-06 12:45
1.5K
laplace__3351_32.min1.thm1
2017-02-06 12:45
1.9K
laplace__3354_31.min1.thm1
2017-02-06 12:45
2.2K
laplace__3355_14.min1.thm1
2017-02-06 12:45
1.8K
laplace__3356_23.min1.thm1
2017-02-06 12:45
2.7K
laplace__3359_33.min1.thm1
2017-02-06 12:45
1.4K
laplace__3380_18.min1.thm1
2017-02-06 12:45
1.8K
laplace__3381_17.min1.thm1
2017-02-06 12:45
1.6K
laplace__3384_16.min1.thm1
2017-02-06 12:45
1.4K
laplace__3404_39.min1.thm1
2017-02-06 12:45
450
laplace__3409_45.min1.thm1
2017-02-06 12:45
566
laplace__3410_14.min1.thm1
2017-02-06 12:45
1.4K
laplace__3413_17.min1.thm1
2017-02-06 12:45
1.2K
laplace__3415_11.min1.thm1
2017-02-06 12:45
536
laplace__3417_17.min1.thm1
2017-02-06 12:45
2.0K
laplace__3418_23.min1.thm1
2017-02-06 12:45
833
laplace__3423_42.min1.thm1
2017-02-06 12:45
2.7K
laplace__3427_13.min1.thm1
2017-02-06 12:45
202
laplace__3432_17.min1.thm1
2017-02-06 12:45
1.3K
laplace__3433_17.min1.thm1
2017-02-06 12:45
2.1K
laplace__3434_23.min1.thm1
2017-02-06 12:45
2.6K
laplace__3440_23.min1.thm1
2017-02-06 12:45
2.4K
laplace__3453_39.min1.thm1
2017-02-06 12:45
450
laplace__3456_25.min1.thm1
2017-02-06 12:45
1.3K
laplace__3457_16.min1.thm1
2017-02-06 12:45
483
laplace__3460_23.min1.thm1
2017-02-06 12:45
1.6K
laplace__3465_23.min1.thm1
2017-02-06 12:45
1.9K
laplace__3475_18.min1.thm1
2017-02-06 12:45
1.7K
laplace__3476_16.min1.thm1
2017-02-06 12:45
1.7K
laplace__3488_18.min1.thm1
2017-02-06 12:45
1.7K
laplace__3489_16.min1.thm1
2017-02-06 12:45
1.7K
laplace__3492_20.min1.thm1
2017-02-06 12:45
1.3K
laplace__3503_17.min1.thm1
2017-02-06 12:45
1.3K
laplace__3509_30.min1.thm1
2017-02-06 12:45
2.7K
laplace__3512_36.min1.thm1
2017-02-06 12:45
1.7K
laplace__3515_27.min1.thm1
2017-02-06 12:45
2.4K
laplace__3526_20.min1.thm1
2017-02-06 12:45
1.3K
laplace__3527_28.min1.thm1
2017-02-06 12:45
1.7K
laplace__3529_19.min1.thm1
2017-02-06 12:45
2.3K
laplace__3532_17.min1.thm1
2017-02-06 12:45
1.8K
laplace__3533_18.min1.thm1
2017-02-06 12:45
2.0K
laplace__3534_20.min1.thm1
2017-02-06 12:45
2.0K
laplace__3535_19.min1.thm1
2017-02-06 12:45
1.8K
laplace__3536_16.min1.thm1
2017-02-06 12:45
1.4K
laplace__3540_15.min1.thm1
2017-02-06 12:45
1.4K
laplace__3543_20.min1.thm1
2017-02-06 12:45
1.2K
laplace__3545_16.min1.thm1
2017-02-06 12:45
3.6K
laplace__3553_12.min1.thm1
2017-02-06 12:45
526
laplace__3554_13.min1.thm1
2017-02-06 12:45
535
laplace__3556_37.min1.thm1
2017-02-06 12:45
1.9K
laplace__3563_40.min1.thm1
2017-02-06 12:45
3.4K
laplace__3574_20.min1.thm1
2017-02-06 12:45
1.3K
laplace__3575_28.min1.thm1
2017-02-06 12:45
1.7K
laplace__3577_19.min1.thm1
2017-02-06 12:45
2.7K
laplace__3578_16.min1.thm1
2017-02-06 12:45
1.4K
laplace__3582_14.min1.thm1
2017-02-06 12:45
1.4K
laplace__3587_18.min1.thm1
2017-02-06 12:45
2.0K
laplace__3588_20.min1.thm1
2017-02-06 12:45
2.0K
laplace__3589_13.min1.thm1
2017-02-06 12:45
1.8K
laplace__3591_20.min1.thm1
2017-02-06 12:45
2.7K
laplace__3592_18.min1.thm1
2017-02-06 12:45
1.8K
laplace__3593_19.min1.thm1
2017-02-06 12:45
1.2K
laplace__3595_17.min1.thm1
2017-02-06 12:45
3.6K
laplace__3600_12.min1.thm1
2017-02-06 12:45
526
laplace__3602_13.min1.thm1
2017-02-06 12:45
535
laplace__3604_37.min1.thm1
2017-02-06 12:45
1.9K
laplace__3620_14.min1.thm1
2017-02-06 12:45
758
laplace__3646_12.min1.thm1
2017-02-06 12:45
3.1K
laplace__3653_14.min1.thm1
2017-02-06 12:45
1.1K
laplace__3656_12.min1.thm1
2017-02-06 12:45
3.1K
laplace__3658_17.min1.thm1
2017-02-06 12:45
3.3K
laplace__3662_8.min1.thm1
2017-02-06 12:45
1.5K
laplace__3663_28.min1.thm1
2017-02-06 12:45
2.6K
laplace__3664_11.min1.thm1
2017-02-06 12:45
3.1K
laplace__3671_13.min1.thm1
2017-02-06 12:45
2.3K
laplace__3689_20.min1.thm1
2017-02-06 12:45
2.9K
laplace__3691_33.min1.thm1
2017-02-06 12:45
2.3K
laplace__3693_14.min1.thm1
2017-02-06 12:45
1.1K
laplace__3698_31.min1.thm1
2017-02-06 12:45
619
laplace__3701_13.min1.thm1
2017-02-06 12:45
2.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80