Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/t3_subset

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]abcmiz_0__604_37.min1.thm1.tptp2017-02-06 16:57 313  
[ ]abcmiz_0__647_37.min1.thm1.tptp2017-02-06 16:57 313  
[ ]abcmiz_0__713_34.min1.thm1.tptp2017-02-06 16:57 361  
[ ]abcmiz_1__2500_14.min1.thm1.tptp2017-02-06 16:57 683  
[ ]abcmiz_1__3131_14.min1.thm1.tptp2017-02-06 16:57 481  
[ ]abcmiz_1__7080_16.min1.thm1.tptp2017-02-06 16:57 413  
[ ]abian__427_48.min1.thm1.tptp2017-02-06 16:57 294  
[ ]afproj__100_53.min1.thm1.tptp2017-02-06 16:57 286  
[ ]afproj__200_16.min1.thm1.tptp2017-02-06 16:57 341  
[ ]afproj__218_16.min1.thm1.tptp2017-02-06 16:57 341  
[ ]afproj__695_54.min1.thm1.tptp2017-02-06 16:57 289  
[ ]algstr_4__865_53.min1.thm1.tptp2017-02-06 16:57 299  
[ ]algstr_4__1131_34.min1.thm1.tptp2017-02-06 16:57 310  
[ ]algstr_4__1262_23.min1.thm1.tptp2017-02-06 16:57 301  
[ ]amistd_1__125_16.min1.thm1.tptp2017-02-06 16:57 387  
[ ]aofa_000__1326_39.min1.thm1.tptp2017-02-06 16:57 455  
[ ]aofa_000__1843_28.min1.thm1.tptp2017-02-06 16:57 301  
[ ]aofa_i00__91_16.min1.thm1.tptp2017-02-06 16:57 365  
[ ]armstrng__269_38.min1.thm1.tptp2017-02-06 16:57 311  
[ ]armstrng__483_41.min1.thm1.tptp2017-02-06 16:57 303  
[ ]armstrng__4407_11.min1.thm1.tptp2017-02-06 16:57 292  
[ ]arrow__141_48.min1.thm1.tptp2017-02-06 16:57 311  
[ ]arytm_2__213_40.min1.thm1.tptp2017-02-06 16:57 307  
[ ]arytm_2__804_41.min1.thm1.tptp2017-02-06 16:57 329  
[ ]arytm_2__910_41.min1.thm1.tptp2017-02-06 16:57 333  
[ ]arytm_2__2137_39.min1.thm1.tptp2017-02-06 16:57 303  
[ ]arytm_2__2332_66.min1.thm1.tptp2017-02-06 16:57 351  
[ ]autalg_1__766_56.min1.thm1.tptp2017-02-06 16:57 680  
[ ]axioms__146_63.min1.thm1.tptp2017-02-06 16:57 297  
[ ]axioms__154_64.min1.thm1.tptp2017-02-06 16:57 297  
[ ]axioms__282_49.min1.thm1.tptp2017-02-06 16:57 270  
[ ]bhsp_2__1064_16.min1.thm1.tptp2017-02-06 16:57 377  
[ ]bhsp_2__1074_16.min1.thm1.tptp2017-02-06 16:57 377  
[ ]bhsp_2__1084_16.min1.thm1.tptp2017-02-06 16:57 377  
[ ]bilinear__1681_16.min1.thm1.tptp2017-02-06 16:57 433  
[ ]bilinear__1704_16.min1.thm1.tptp2017-02-06 16:57 433  
[ ]bilinear__1725_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]borsuk_1__238_65.min1.thm1.tptp2017-02-06 16:57 410  
[ ]borsuk_2__1527_64.min1.thm1.tptp2017-02-06 16:57 287  
[ ]borsuk_3__437_34.min1.thm1.tptp2017-02-06 16:57 393  
[ ]borsuk_3__808_36.min1.thm1.tptp2017-02-06 16:57 403  
[ ]borsuk_3__883_36.min1.thm1.tptp2017-02-06 16:57 402  
[ ]borsuk_6__520_32.min1.thm1.tptp2017-02-06 16:57 304  
[ ]borsuk_6__542_32.min1.thm1.tptp2017-02-06 16:57 304  
[ ]borsuk_6__564_32.min1.thm1.tptp2017-02-06 16:57 304  
[ ]borsuk_6__586_32.min1.thm1.tptp2017-02-06 16:57 304  
[ ]borsuk_6__2460_51.min1.thm1.tptp2017-02-06 16:57 351  
[ ]borsuk_6__2513_51.min1.thm1.tptp2017-02-06 16:57 351  
[ ]borsuk_6__2569_51.min1.thm1.tptp2017-02-06 16:57 351  
[ ]borsuk_7__744_40.min1.thm1.tptp2017-02-06 16:57 244  
[ ]brouwer__73_16.min1.thm1.tptp2017-02-06 16:57 405  
[ ]brouwer__945_38.min1.thm1.tptp2017-02-06 16:57 371  
[ ]brouwer__997_38.min1.thm1.tptp2017-02-06 16:57 377  
[ ]brouwer__1056_36.min1.thm1.tptp2017-02-06 16:57 377  
[ ]brouwer__1071_38.min1.thm1.tptp2017-02-06 16:57 377  
[ ]brouwer__1149_36.min1.thm1.tptp2017-02-06 16:57 377  
[ ]brouwer__1164_38.min1.thm1.tptp2017-02-06 16:57 377  
[ ]brouwer__1243_38.min1.thm1.tptp2017-02-06 16:57 377  
[ ]brouwer__1303_38.min1.thm1.tptp2017-02-06 16:57 377  
[ ]bspace__1116_9.min1.thm1.tptp2017-02-06 16:57 293  
[ ]bspace__1117_34.min1.thm1.tptp2017-02-06 16:57 267  
[ ]calcul_2__64_16.min1.thm1.tptp2017-02-06 16:57 321  
[ ]card_3__3128_51.min1.thm1.tptp2017-02-06 16:57 329  
[ ]card_5__1952_38.min1.thm1.tptp2017-02-06 16:57 261  
[ ]card_fil__1513_64.min1.thm1.tptp2017-02-06 16:57 391  
[ ]card_fin__553_51.min1.thm1.tptp2017-02-06 16:57 387  
[ ]card_fin__1157_46.min1.thm1.tptp2017-02-06 16:57 337  
[ ]card_lar__460_39.min1.thm1.tptp2017-02-06 16:57 271  
[ ]card_lar__609_37.min1.thm1.tptp2017-02-06 16:57 367  
[ ]card_lar__1063_41.min1.thm1.tptp2017-02-06 16:57 300  
[ ]card_lar__1478_51.min1.thm1.tptp2017-02-06 16:57 331  
[ ]cardfin2__602_18.min1.thm1.tptp2017-02-06 16:57 407  
[ ]cardfin2__678_53.min1.thm1.tptp2017-02-06 16:57 391  
[ ]cat_1__84_16.min1.thm1.tptp2017-02-06 16:57 355  
[ ]catalan2__543_36.min1.thm1.tptp2017-02-06 16:57 293  
[ ]catalan2__1989_43.min1.thm1.tptp2017-02-06 16:57 433  
[ ]cc0sp2__177_47.min1.thm1.tptp2017-02-06 16:57 327  
[ ]cc0sp2__266_41.min1.thm1.tptp2017-02-06 16:57 316  
[ ]cc0sp2__281_46.min1.thm1.tptp2017-02-06 16:57 319  
[ ]cc0sp2__371_48.min1.thm1.tptp2017-02-06 16:57 379  
[ ]cc0sp2__481_46.min1.thm1.tptp2017-02-06 16:57 355  
[ ]cc0sp2__496_41.min1.thm1.tptp2017-02-06 16:57 355  
[ ]cc0sp2__511_46.min1.thm1.tptp2017-02-06 16:57 291  
[ ]cc0sp2__633_41.min1.thm1.tptp2017-02-06 16:57 321  
[ ]cc0sp2__1649_47.min1.thm1.tptp2017-02-06 16:57 415  
[ ]cc0sp2__2096_64.min1.thm1.tptp2017-02-06 16:57 466  
[ ]cc0sp2__2104_62.min1.thm1.tptp2017-02-06 16:57 466  
[ ]cc0sp2__2105_49.min1.thm1.tptp2017-02-06 16:57 425  
[ ]cc0sp2__2110_16.min1.thm1.tptp2017-02-06 16:57 317  
[ ]cc0sp2__2157_45.min1.thm1.tptp2017-02-06 16:57 315  
[ ]cc0sp2__2162_46.min1.thm1.tptp2017-02-06 16:57 315  
[ ]cc0sp2__2163_50.min1.thm1.tptp2017-02-06 16:57 447  
[ ]cc0sp2__2166_16.min1.thm1.tptp2017-02-06 16:57 317  
[ ]cc0sp2__2378_18.min1.thm1.tptp2017-02-06 16:57 325  
[ ]cgames_1__1055_16.min1.thm1.tptp2017-02-06 16:57 333  
[ ]cgames_1__2431_37.min1.thm1.tptp2017-02-06 16:57 571  
[ ]chain_1__1759_50.min1.thm1.tptp2017-02-06 16:57 298  
[ ]chain_1__2299_16.min1.thm1.tptp2017-02-06 16:57 354  
[ ]chain_1__2499_16.min1.thm1.tptp2017-02-06 16:57 509  
[ ]chain_1__2522_16.min1.thm1.tptp2017-02-06 16:57 477  
[ ]closure2__178_16.min1.thm1.tptp2017-02-06 16:57 326  
[ ]clvect_1__992_76.min1.thm1.tptp2017-02-06 16:57 372  
[ ]clvect_1__1297_36.min1.thm1.tptp2017-02-06 16:57 313  
[ ]clvect_1__2030_74.min1.thm1.tptp2017-02-06 16:57 373  
[ ]clvect_2__1056_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]clvect_2__1066_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]clvect_2__1076_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]coh_sp__1313_32.min1.thm1.tptp2017-02-06 16:57 259  
[ ]cohsp_1__169_24.min1.thm1.tptp2017-02-06 16:57 270  
[ ]cohsp_1__1066_20.min1.thm1.tptp2017-02-06 16:57 334  
[ ]cohsp_1__1332_38.min1.thm1.tptp2017-02-06 16:57 301  
[ ]cohsp_1__1476_16.min1.thm1.tptp2017-02-06 16:57 375  
[ ]cohsp_1__1848_16.min1.thm1.tptp2017-02-06 16:57 375  
[ ]cohsp_1__2834_16.min1.thm1.tptp2017-02-06 16:57 407  
[ ]combgras__2390_12.min1.thm1.tptp2017-02-06 16:57 390  
[ ]combgras__2580_12.min1.thm1.tptp2017-02-06 16:57 386  
[ ]combgras__2700_16.min1.thm1.tptp2017-02-06 16:57 449  
[ ]combgras__2719_16.min1.thm1.tptp2017-02-06 16:57 449  
[ ]combgras__2764_16.min1.thm1.tptp2017-02-06 16:57 419  
[ ]compl_sp__663_36.min1.thm1.tptp2017-02-06 16:57 427  
[ ]compl_sp__1481_23.min1.thm1.tptp2017-02-06 16:57 333  
[ ]compl_sp__2045_38.min1.thm1.tptp2017-02-06 16:57 407  
[ ]compl_sp__2283_34.min1.thm1.tptp2017-02-06 16:57 397  
[ ]complsp1__47_56.min1.thm1.tptp2017-02-06 16:57 294  
[ ]compos_1__2119_12.min1.thm1.tptp2017-02-06 16:57 325  
[ ]comput_1__4111_16.min1.thm1.tptp2017-02-06 16:57 321  
[ ]conlat_1__486_55.min1.thm1.tptp2017-02-06 16:57 319  
[ ]conlat_1__536_56.min1.thm1.tptp2017-02-06 16:57 319  
[ ]conlat_1__766_50.min1.thm1.tptp2017-02-06 16:57 361  
[ ]conlat_1__776_50.min1.thm1.tptp2017-02-06 16:57 361  
[ ]conlat_1__857_49.min1.thm1.tptp2017-02-06 16:57 361  
[ ]conlat_1__867_51.min1.thm1.tptp2017-02-06 16:57 361  
[ ]conlat_1__1712_57.min1.thm1.tptp2017-02-06 16:57 359  
[ ]conlat_1__1724_52.min1.thm1.tptp2017-02-06 16:57 441  
[ ]conlat_1__1736_51.min1.thm1.tptp2017-02-06 16:57 523  
[ ]conlat_1__2748_69.min1.thm1.tptp2017-02-06 16:57 295  
[ ]conlat_1__2816_71.min1.thm1.tptp2017-02-06 16:57 295  
[ ]conlat_2__516_51.min1.thm1.tptp2017-02-06 16:57 389  
[ ]conlat_2__523_53.min1.thm1.tptp2017-02-06 16:57 549  
[ ]conlat_2__616_55.min1.thm1.tptp2017-02-06 16:57 469  
[ ]conlat_2__755_52.min1.thm1.tptp2017-02-06 16:57 389  
[ ]conlat_2__762_54.min1.thm1.tptp2017-02-06 16:57 549  
[ ]conlat_2__855_54.min1.thm1.tptp2017-02-06 16:57 469  
[ ]conlat_2__1891_5.min1.thm1.tptp2017-02-06 16:57 537  
[ ]conlat_2__1927_52.min1.thm1.tptp2017-02-06 16:57 433  
[ ]conlat_2__1936_51.min1.thm1.tptp2017-02-06 16:57 433  
[ ]conlat_2__1943_6.min1.thm1.tptp2017-02-06 16:57 506  
[ ]conlat_2__2005_52.min1.thm1.tptp2017-02-06 16:57 433  
[ ]conlat_2__2014_51.min1.thm1.tptp2017-02-06 16:57 433  
[ ]conlat_2__2198_52.min1.thm1.tptp2017-02-06 16:57 439  
[ ]conlat_2__2207_51.min1.thm1.tptp2017-02-06 16:57 469  
[ ]conlat_2__2460_51.min1.thm1.tptp2017-02-06 16:57 455  
[ ]conlat_2__2769_34.min1.thm1.tptp2017-02-06 16:57 529  
[ ]connsp_1__1624_25.min1.thm1.tptp2017-02-06 16:57 358  
[ ]convex3__1134_34.min1.thm1.tptp2017-02-06 16:57 270  
[ ]convex4__1563_47.min1.thm1.tptp2017-02-06 16:57 385  
[ ]cqc_lang__251_16.min1.thm1.tptp2017-02-06 16:57 331  
[ ]cqc_sim1__1353_16.min1.thm1.tptp2017-02-06 16:57 369  
[ ]cqc_the1__200_48.min1.thm1.tptp2017-02-06 16:57 307  
[ ]cqc_the1__1479_44.min1.thm1.tptp2017-02-06 16:57 298  
[ ]dilworth__2841_33.min1.thm1.tptp2017-02-06 16:57 370  
[ ]dilworth__2880_49.min1.thm1.tptp2017-02-06 16:57 430  
[ ]dist_1__195_16.min1.thm1.tptp2017-02-06 16:57 349  
[ ]domain_1__358_14.min1.thm1.tptp2017-02-06 16:57 315  
[ ]domain_1__372_14.min1.thm1.tptp2017-02-06 16:57 413  
[ ]domain_1__386_14.min1.thm1.tptp2017-02-06 16:57 485  
[ ]domain_1__400_14.min1.thm1.tptp2017-02-06 16:57 557  
[ ]domain_1__767_14.min1.thm1.tptp2017-02-06 16:57 271  
[ ]domain_1__783_14.min1.thm1.tptp2017-02-06 16:57 271  
[ ]dtconstr__397_75.min1.thm1.tptp2017-02-06 16:57 399  
[ ]dtconstr__616_62.min1.thm1.tptp2017-02-06 16:57 321  
[ ]dtconstr__736_48.min1.thm1.tptp2017-02-06 16:57 421  
[ ]dtconstr__2553_16.min1.thm1.tptp2017-02-06 16:57 389  
[ ]dtconstr__2571_16.min1.thm1.tptp2017-02-06 16:57 395  
[ ]dtconstr__2589_16.min1.thm1.tptp2017-02-06 16:57 395  
[ ]endalg__341_56.min1.thm1.tptp2017-02-06 16:57 669  
[ ]eqrel_1__54_16.min1.thm1.tptp2017-02-06 16:57 321  
[ ]eqrel_1__1475_46.min1.thm1.tptp2017-02-06 16:57 296  
[ ]eqrel_1__1902_41.min1.thm1.tptp2017-02-06 16:57 347  
[ ]eqrel_1__2267_14.min1.thm1.tptp2017-02-06 16:57 287  
[ ]eqrel_1__2452_8.min1.thm1.tptp2017-02-06 16:57 268  
[ ]euclid_4__119_16.min1.thm1.tptp2017-02-06 16:57 387  
[ ]euclid_4__809_16.min1.thm1.tptp2017-02-06 16:57 425  
[ ]euclid_7__840_15.min1.thm1.tptp2017-02-06 16:57 300  
[ ]euclid_7__855_15.min1.thm1.tptp2017-02-06 16:57 300  
[ ]euclid_7__2775_16.min1.thm1.tptp2017-02-06 16:57 333  
[ ]euclid_9__535_16.min1.thm1.tptp2017-02-06 16:57 435  
[ ]euclidlp__828_16.min1.thm1.tptp2017-02-06 16:57 359  
[ ]euclidlp__973_16.min1.thm1.tptp2017-02-06 16:57 365  
[ ]euclidlp__1699_16.min1.thm1.tptp2017-02-06 16:57 429  
[ ]euclidlp__1996_16.min1.thm1.tptp2017-02-06 16:57 365  
[ ]fib_num2__389_44.min1.thm1.tptp2017-02-06 16:57 309  
[ ]filter_0__335_30.min1.thm1.tptp2017-02-06 16:57 443  
[ ]filter_0__1751_14.min1.thm1.tptp2017-02-06 16:57 439  
[ ]filter_2__1027_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]finseq_1__64_16.min1.thm1.tptp2017-02-06 16:57 291  
[ ]finseq_4__2793_12.min1.thm1.tptp2017-02-06 16:57 288  
[ ]finset_1__326_42.min1.thm1.tptp2017-02-06 16:57 339  
[ ]fintopo4__510_27.min1.thm1.tptp2017-02-06 16:57 303  
[ ]fintopo6__1233_28.min1.thm1.tptp2017-02-06 16:57 333  
[ ]fomodel0__1362_12.min1.thm1.tptp2017-02-06 16:57 307  
[ ]fomodel0__1420_12.min1.thm1.tptp2017-02-06 16:57 306  
[ ]fomodel0__2441_37.min1.thm1.tptp2017-02-06 16:57 461  
[ ]fomodel1__1047_45.min1.thm1.tptp2017-02-06 16:57 340  
[ ]fomodel2__790_35.min1.thm1.tptp2017-02-06 16:57 326  
[ ]fomodel2__1117_53.min1.thm1.tptp2017-02-06 16:57 265  
[ ]fomodel3__975_39.min1.thm1.tptp2017-02-06 16:57 331  
[ ]fomodel4__958_2.min1.thm1.tptp2017-02-06 16:57 301  
[ ]fomodel4__2029_35.min1.thm1.tptp2017-02-06 16:57 585  
[ ]fomodel4__2055_35.min1.thm1.tptp2017-02-06 16:57 572  
[ ]fomodel4__4144_33.min1.thm1.tptp2017-02-06 16:57 418  
[ ]fomodel4__4817_26.min1.thm1.tptp2017-02-06 16:57 591  
[ ]fomodel4__4896_68.min1.thm1.tptp2017-02-06 16:57 529  
[ ]fomodel4__4937_44.min1.thm1.tptp2017-02-06 16:57 305  
[ ]fomodel4__4963_30.min1.thm1.tptp2017-02-06 16:57 305  
[ ]fraenkel__304_14.min1.thm1.tptp2017-02-06 16:57 275  
[ ]frechet__935_21.min1.thm1.tptp2017-02-06 16:57 316  
[ ]frechet__1617_32.min1.thm1.tptp2017-02-06 16:57 287  
[ ]frechet__2015_29.min1.thm1.tptp2017-02-06 16:57 290  
[ ]frechet__2086_47.min1.thm1.tptp2017-02-06 16:57 300  
[ ]freealg__196_28.min1.thm1.tptp2017-02-06 16:57 294  
[ ]freealg__935_16.min1.thm1.tptp2017-02-06 16:57 413  
[ ]freealg__964_64.min1.thm1.tptp2017-02-06 16:57 547  
[ ]freealg__1541_16.min1.thm1.tptp2017-02-06 16:57 415  
[ ]freealg__1557_64.min1.thm1.tptp2017-02-06 16:57 553  
[ ]fsm_1__1664_15.min1.thm1.tptp2017-02-06 16:57 306  
[ ]fsm_3__542_16.min1.thm1.tptp2017-02-06 16:57 391  
[ ]fsm_3__627_18.min1.thm1.tptp2017-02-06 16:57 483  
[ ]fsm_3__683_16.min1.thm1.tptp2017-02-06 16:57 391  
[ ]fsm_3__711_16.min1.thm1.tptp2017-02-06 16:57 365  
[ ]funct_2__731_45.min1.thm1.tptp2017-02-06 16:57 484  
[ ]funct_2__746_44.min1.thm1.tptp2017-02-06 16:57 461  
[ ]funct_7__4392_12.min1.thm1.tptp2017-02-06 16:57 291  
[ ]fvaluat1__2353_43.min1.thm1.tptp2017-02-06 16:57 636  
[ ]glib_000__1040_55.min1.thm1.tptp2017-02-06 16:57 289  
[ ]glib_001__3934_59.min1.thm1.tptp2017-02-06 16:57 338  
[ ]glib_001__3945_57.min1.thm1.tptp2017-02-06 16:57 334  
[ ]glib_001__4107_47.min1.thm1.tptp2017-02-06 16:57 345  
[ ]goboard5__66_37.min1.thm1.tptp2017-02-06 16:57 371  
[ ]goboard5__78_37.min1.thm1.tptp2017-02-06 16:57 371  
[ ]goboard5__89_16.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard5__109_37.min1.thm1.tptp2017-02-06 16:57 371  
[ ]goboard5__121_37.min1.thm1.tptp2017-02-06 16:57 371  
[ ]goboard5__132_16.min1.thm1.tptp2017-02-06 16:57 367  
[ ]gobrd11__107_49.min1.thm1.tptp2017-02-06 16:57 361  
[ ]gobrd12__2991_42.min1.thm1.tptp2017-02-06 16:57 482  
[ ]gobrd12__3048_42.min1.thm1.tptp2017-02-06 16:57 483  
[ ]graph_2__1363_14.min1.thm1.tptp2017-02-06 16:57 266  
[ ]graph_2__3209_35.min1.thm1.tptp2017-02-06 16:57 285  
[ ]graph_2__3415_39.min1.thm1.tptp2017-02-06 16:57 285  
[ ]graph_2__3760_37.min1.thm1.tptp2017-02-06 16:57 283  
[ ]graph_2__3802_37.min1.thm1.tptp2017-02-06 16:57 283  
[ ]graph_2__4046_35.min1.thm1.tptp2017-02-06 16:57 283  
[ ]graph_2__4086_39.min1.thm1.tptp2017-02-06 16:57 285  
[ ]graph_2__4234_42.min1.thm1.tptp2017-02-06 16:57 270  
[ ]graph_2__4235_39.min1.thm1.tptp2017-02-06 16:57 270  
[ ]graph_2__4248_44.min1.thm1.tptp2017-02-06 16:57 272  
[ ]graph_2__4249_41.min1.thm1.tptp2017-02-06 16:57 272  
[ ]graph_3__2371_43.min1.thm1.tptp2017-02-06 16:57 446  
[ ]graph_4__1214_37.min1.thm1.tptp2017-02-06 16:57 285  
[ ]graph_4__1256_39.min1.thm1.tptp2017-02-06 16:57 285  
[ ]graph_4__1734_37.min1.thm1.tptp2017-02-06 16:57 283  
[ ]graph_4__1772_39.min1.thm1.tptp2017-02-06 16:57 283  
[ ]graph_4__2006_37.min1.thm1.tptp2017-02-06 16:57 283  
[ ]graph_4__2044_39.min1.thm1.tptp2017-02-06 16:57 283  
[ ]graph_4__2218_39.min1.thm1.tptp2017-02-06 16:57 270  
[ ]graph_4__2219_42.min1.thm1.tptp2017-02-06 16:57 270  
[ ]graph_4__2234_41.min1.thm1.tptp2017-02-06 16:57 272  
[ ]graph_4__2235_44.min1.thm1.tptp2017-02-06 16:57 272  
[ ]graph_5__1215_16.min1.thm1.tptp2017-02-06 16:57 359  
[ ]graph_5__1675_16.min1.thm1.tptp2017-02-06 16:57 415  
[ ]graph_5__1809_16.min1.thm1.tptp2017-02-06 16:57 415  
[ ]graph_5__1830_16.min1.thm1.tptp2017-02-06 16:57 445  
[ ]graph_5__1856_16.min1.thm1.tptp2017-02-06 16:57 385  
[ ]graph_5__1875_16.min1.thm1.tptp2017-02-06 16:57 355  
[ ]graph_5__2417_14.min1.thm1.tptp2017-02-06 16:57 247  
[ ]graphsp__1001_16.min1.thm1.tptp2017-02-06 16:57 325  
[ ]graphsp__1207_16.min1.thm1.tptp2017-02-06 16:57 325  
[ ]graphsp__1228_16.min1.thm1.tptp2017-02-06 16:57 325  
[ ]group_2__68_16.min1.thm1.tptp2017-02-06 16:57 351  
[ ]group_2__214_16.min1.thm1.tptp2017-02-06 16:57 379  
[ ]group_2__2782_53.min1.thm1.tptp2017-02-06 16:57 295  
[ ]group_2__2801_53.min1.thm1.tptp2017-02-06 16:57 295  
[ ]group_3__482_16.min1.thm1.tptp2017-02-06 16:57 389  
[ ]group_3__1636_16.min1.thm1.tptp2017-02-06 16:57 385  
[ ]group_3__2465_36.min1.thm1.tptp2017-02-06 16:57 367  
[ ]group_4__944_34.min1.thm1.tptp2017-02-06 16:57 333  
[ ]group_4__1590_35.min1.thm1.tptp2017-02-06 16:57 474  
[ ]group_6__1325_55.min1.thm1.tptp2017-02-06 16:57 296  
[ ]group_7__1774_38.min1.thm1.tptp2017-02-06 16:57 281  
[ ]group_9__2569_34.min1.thm1.tptp2017-02-06 16:57 333  
[ ]group_11__281_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]group_11__294_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]group_11__1015_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]group_11__1028_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]hausdorf__419_44.min1.thm1.tptp2017-02-06 16:57 381  
[ ]hilbert1__80_14.min1.thm1.tptp2017-02-06 16:57 482  
[ ]hilbert1__262_45.min1.thm1.tptp2017-02-06 16:57 279  
[ ]hilbert2__343_39.min1.thm1.tptp2017-02-06 16:57 265  
[ ]hilbert3__1449_39.min1.thm1.tptp2017-02-06 16:57 261  
[ ]hilbert3__1569_34.min1.thm1.tptp2017-02-06 16:57 361  
[ ]ideal_1__107_39.min1.thm1.tptp2017-02-06 16:57 293  
[ ]ideal_1__122_39.min1.thm1.tptp2017-02-06 16:57 293  
[ ]ideal_1__133_39.min1.thm1.tptp2017-02-06 16:57 293  
[ ]ideal_1__148_39.min1.thm1.tptp2017-02-06 16:57 293  
[ ]ideal_1__161_39.min1.thm1.tptp2017-02-06 16:57 293  
[ ]ideal_1__173_39.min1.thm1.tptp2017-02-06 16:57 293  
[ ]ideal_1__319_54.min1.thm1.tptp2017-02-06 16:57 292  
[ ]ideal_1__343_54.min1.thm1.tptp2017-02-06 16:57 292  
[ ]ideal_1__362_54.min1.thm1.tptp2017-02-06 16:57 292  
[ ]incproj__56_16.min1.thm1.tptp2017-02-06 16:57 301  
[ ]incsp_1__413_14.min1.thm1.tptp2017-02-06 16:57 431  
[ ]incsp_1__423_15.min1.thm1.tptp2017-02-06 16:57 431  
[ ]incsp_1__433_27.min1.thm1.tptp2017-02-06 16:57 423  
[ ]interva1__810_47.min1.thm1.tptp2017-02-06 16:57 303  
[ ]intpro_1__104_14.min1.thm1.tptp2017-02-06 16:57 554  
[ ]intpro_1__339_45.min1.thm1.tptp2017-02-06 16:57 279  
[ ]intpro_1__1324_45.min1.thm1.tptp2017-02-06 16:57 283  
[ ]intpro_1__1614_45.min1.thm1.tptp2017-02-06 16:57 283  
[ ]jct_misc__162_47.min1.thm1.tptp2017-02-06 16:57 465  
[ ]jct_misc__320_44.min1.thm1.tptp2017-02-06 16:57 327  
[ ]jct_misc__341_44.min1.thm1.tptp2017-02-06 16:57 343  
[ ]jct_misc__389_42.min1.thm1.tptp2017-02-06 16:57 325  
[ ]jct_misc__435_37.min1.thm1.tptp2017-02-06 16:57 327  
[ ]jgraph_2__2765_14.min1.thm1.tptp2017-02-06 16:57 303  
[ ]jgraph_3__1675_48.min1.thm1.tptp2017-02-06 16:57 305  
[ ]jgraph_3__4585_48.min1.thm1.tptp2017-02-06 16:57 304  
[ ]jgraph_3__4660_48.min1.thm1.tptp2017-02-06 16:57 305  
[ ]jgraph_4__71_61.min1.thm1.tptp2017-02-06 16:57 315  
[ ]jgraph_4__117_61.min1.thm1.tptp2017-02-06 16:57 315  
[ ]jgraph_6__1103_16.min1.thm1.tptp2017-02-06 16:57 437  
[ ]jgraph_6__1116_16.min1.thm1.tptp2017-02-06 16:57 437  
[ ]jgraph_6__1129_16.min1.thm1.tptp2017-02-06 16:57 437  
[ ]jgraph_6__1142_16.min1.thm1.tptp2017-02-06 16:57 437  
[ ]jgraph_6__1347_16.min1.thm1.tptp2017-02-06 16:57 405  
[ ]jgraph_6__1430_16.min1.thm1.tptp2017-02-06 16:57 405  
[ ]jgraph_6__1443_16.min1.thm1.tptp2017-02-06 16:57 405  
[ ]jgraph_6__1456_16.min1.thm1.tptp2017-02-06 16:57 405  
[ ]jgraph_6__1469_16.min1.thm1.tptp2017-02-06 16:57 405  
[ ]jordan1__260_14.min1.thm1.tptp2017-02-06 16:57 295  
[ ]jordan1__275_14.min1.thm1.tptp2017-02-06 16:57 295  
[ ]jordan1__290_14.min1.thm1.tptp2017-02-06 16:57 299  
[ ]jordan1__305_14.min1.thm1.tptp2017-02-06 16:57 299  
[ ]jordan1__326_14.min1.thm1.tptp2017-02-06 16:57 389  
[ ]jordan1__344_14.min1.thm1.tptp2017-02-06 16:57 389  
[ ]jordan1h__238_16.min1.thm1.tptp2017-02-06 16:57 313  
[ ]jordan1k__176_50.min1.thm1.tptp2017-02-06 16:57 337  
[ ]jordan2b__541_56.min1.thm1.tptp2017-02-06 16:57 417  
[ ]jordan2b__549_56.min1.thm1.tptp2017-02-06 16:57 417  
[ ]jordan2b__873_47.min1.thm1.tptp2017-02-06 16:57 319  
[ ]jordan2b__881_47.min1.thm1.tptp2017-02-06 16:57 319  
[ ]jordan2c__565_16.min1.thm1.tptp2017-02-06 16:57 415  
[ ]jordan2c__591_16.min1.thm1.tptp2017-02-06 16:57 415  
[ ]jordan2c__765_41.min1.thm1.tptp2017-02-06 16:57 490  
[ ]jordan2c__774_41.min1.thm1.tptp2017-02-06 16:57 490  
[ ]jordan2c__1481_56.min1.thm1.tptp2017-02-06 16:57 569  
[ ]jordan2c__1563_60.min1.thm1.tptp2017-02-06 16:57 605  
[ ]jordan2c__1667_60.min1.thm1.tptp2017-02-06 16:57 605  
[ ]jordan2c__1812_60.min1.thm1.tptp2017-02-06 16:57 605  
[ ]jordan2c__1891_60.min1.thm1.tptp2017-02-06 16:57 605  
[ ]jordan2c__1960_54.min1.thm1.tptp2017-02-06 16:57 569  
[ ]jordan2c__2776_19.min1.thm1.tptp2017-02-06 16:57 399  
[ ]jordan2c__3233_54.min1.thm1.tptp2017-02-06 16:57 379  
[ ]jordan2c__3293_61.min1.thm1.tptp2017-02-06 16:57 408  
[ ]jordan2c__3441_50.min1.thm1.tptp2017-02-06 16:57 351  
[ ]jordan2c__4116_40.min1.thm1.tptp2017-02-06 16:57 425  
[ ]jordan2c__4163_42.min1.thm1.tptp2017-02-06 16:57 391  
[ ]jordan2c__4519_67.min1.thm1.tptp2017-02-06 16:57 413  
[ ]jordan2c__4672_17.min1.thm1.tptp2017-02-06 16:57 427  
[ ]jordan2c__4682_71.min1.thm1.tptp2017-02-06 16:57 425  
[ ]jordan2c__4795_26.min1.thm1.tptp2017-02-06 16:57 427  
[ ]jordan2c__4805_71.min1.thm1.tptp2017-02-06 16:57 425  
[ ]jordan2c__5783_35.min1.thm1.tptp2017-02-06 16:57 485  
[ ]jordan2c__5865_52.min1.thm1.tptp2017-02-06 16:57 494  
[ ]jordan2c__6197_14.min1.thm1.tptp2017-02-06 16:57 403  
[ ]jordan2c__6469_53.min1.thm1.tptp2017-02-06 16:57 415  
[ ]jordan2c__6482_54.min1.thm1.tptp2017-02-06 16:57 415  
[ ]jordan2c__6970_40.min1.thm1.tptp2017-02-06 16:57 521  
[ ]jordan5a__1330_49.min1.thm1.tptp2017-02-06 16:57 390  
[ ]jordan5a__1427_49.min1.thm1.tptp2017-02-06 16:57 390  
[ ]jordan5d__1937_72.min1.thm1.tptp2017-02-06 16:57 301  
[ ]jordan5d__2030_72.min1.thm1.tptp2017-02-06 16:57 301  
[ ]jordan5d__2122_72.min1.thm1.tptp2017-02-06 16:57 301  
[ ]jordan5d__2215_72.min1.thm1.tptp2017-02-06 16:57 301  
[ ]jordan5d__2310_72.min1.thm1.tptp2017-02-06 16:57 301  
[ ]jordan5d__2402_74.min1.thm1.tptp2017-02-06 16:57 301  
[ ]jordan5d__2496_72.min1.thm1.tptp2017-02-06 16:57 301  
[ ]jordan5d__2592_74.min1.thm1.tptp2017-02-06 16:57 301  
[ ]jordan6__705_68.min1.thm1.tptp2017-02-06 16:57 365  
[ ]jordan6__725_70.min1.thm1.tptp2017-02-06 16:57 365  
[ ]jordan6__746_68.min1.thm1.tptp2017-02-06 16:57 365  
[ ]jordan6__766_70.min1.thm1.tptp2017-02-06 16:57 365  
[ ]jordan6__950_16.min1.thm1.tptp2017-02-06 16:57 425  
[ ]jordan6__967_16.min1.thm1.tptp2017-02-06 16:57 425  
[ ]jordan6__1211_16.min1.thm1.tptp2017-02-06 16:57 335  
[ ]jordan6__1224_16.min1.thm1.tptp2017-02-06 16:57 337  
[ ]jordan10__534_57.min1.thm1.tptp2017-02-06 16:57 541  
[ ]jordan11__222_35.min1.thm1.tptp2017-02-06 16:57 358  
[ ]jordan11__260_35.min1.thm1.tptp2017-02-06 16:57 358  
[ ]jordan11__301_35.min1.thm1.tptp2017-02-06 16:57 358  
[ ]jordan11__322_35.min1.thm1.tptp2017-02-06 16:57 359  
[ ]jordan11__542_35.min1.thm1.tptp2017-02-06 16:57 359  
[ ]jordan11__560_35.min1.thm1.tptp2017-02-06 16:57 359  
[ ]jordan11__583_35.min1.thm1.tptp2017-02-06 16:57 363  
[ ]jordan14__741_57.min1.thm1.tptp2017-02-06 16:57 543  
[ ]jordan20__1681_51.min1.thm1.tptp2017-02-06 16:57 457  
[ ]jordan20__1731_50.min1.thm1.tptp2017-02-06 16:57 457  
[ ]jordan22__1543_43.min1.thm1.tptp2017-02-06 16:57 333  
[ ]jordan22__1879_41.min1.thm1.tptp2017-02-06 16:57 305  
[ ]jordan22__2022_43.min1.thm1.tptp2017-02-06 16:57 333  
[ ]jordan22__2358_41.min1.thm1.tptp2017-02-06 16:57 305  
[ ]jordan__2011_38.min1.thm1.tptp2017-02-06 16:57 362  
[ ]jordan__2074_38.min1.thm1.tptp2017-02-06 16:57 363  
[ ]jordan__2136_38.min1.thm1.tptp2017-02-06 16:57 363  
[ ]jordan__2145_38.min1.thm1.tptp2017-02-06 16:57 363  
[ ]jordan__2235_38.min1.thm1.tptp2017-02-06 16:57 363  
[ ]jordan__2244_38.min1.thm1.tptp2017-02-06 16:57 363  
[ ]jordan__2331_38.min1.thm1.tptp2017-02-06 16:57 363  
[ ]jordan__2394_38.min1.thm1.tptp2017-02-06 16:57 363  
[ ]knaster__234_41.min1.thm1.tptp2017-02-06 16:57 265  
[ ]knaster__345_13.min1.thm1.tptp2017-02-06 16:57 275  
[ ]knaster__774_55.min1.thm1.tptp2017-02-06 16:57 296  
[ ]kurato_2__1153_36.min1.thm1.tptp2017-02-06 16:57 313  
[ ]lang1__1071_48.min1.thm1.tptp2017-02-06 16:57 316  
[ ]latsum_1__506_32.min1.thm1.tptp2017-02-06 16:57 344  
[ ]latsum_1__620_32.min1.thm1.tptp2017-02-06 16:57 344  
[ ]lattice3__250_56.min1.thm1.tptp2017-02-06 16:57 415  
[ ]lattice4__343_51.min1.thm1.tptp2017-02-06 16:57 295  
[ ]lattice4__936_16.min1.thm1.tptp2017-02-06 16:57 369  
[ ]lattice6__569_54.min1.thm1.tptp2017-02-06 16:57 292  
[ ]lattice7__832_16.min1.thm1.tptp2017-02-06 16:57 337  
[ ]lfuzzy_0__1278_39.min1.thm1.tptp2017-02-06 16:57 343  
[ ]lfuzzy_0__1310_46.min1.thm1.tptp2017-02-06 16:57 347  
[ ]lfuzzy_0__1391_39.min1.thm1.tptp2017-02-06 16:57 343  
[ ]lfuzzy_0__1423_46.min1.thm1.tptp2017-02-06 16:57 347  
[ ]lfuzzy_1__1199_53.min1.thm1.tptp2017-02-06 16:57 445  
[ ]lmod_5__343_37.min1.thm1.tptp2017-02-06 16:57 367  
[ ]lopban_5__193_16.min1.thm1.tptp2017-02-06 16:57 391  
[ ]lopban_5__846_75.min1.thm1.tptp2017-02-06 16:57 473  
[ ]lopclset__718_24.min1.thm1.tptp2017-02-06 16:57 342  
[ ]lpspace1__82_39.min1.thm1.tptp2017-02-06 16:57 296  
[ ]ltlaxio1__173_41.min1.thm1.tptp2017-02-06 16:57 279  
[ ]ltlaxio1__1672_42.min1.thm1.tptp2017-02-06 16:57 279  
[ ]ltlaxio1__1811_41.min1.thm1.tptp2017-02-06 16:57 261  
[ ]matrix13__5134_14.min1.thm1.tptp2017-02-06 16:57 391  
[ ]matrix15__4670_16.min1.thm1.tptp2017-02-06 16:57 479  
[ ]matrixj1__1816_14.min1.thm1.tptp2017-02-06 16:57 597  
[ ]matrlin2__388_37.min1.thm1.tptp2017-02-06 16:57 377  
[ ]matrlin2__416_37.min1.thm1.tptp2017-02-06 16:57 377  
[ ]matrlin__788_51.min1.thm1.tptp2017-02-06 16:57 379  
[ ]matroid0__977_48.min1.thm1.tptp2017-02-06 16:57 417  
[ ]matroid0__1724_16.min1.thm1.tptp2017-02-06 16:57 369  
[ ]matrtop1__588_37.min1.thm1.tptp2017-02-06 16:57 357  
[ ]matrtop2__963_44.min1.thm1.tptp2017-02-06 16:57 323  
[ ]matrtop3__2698_35.min1.thm1.tptp2017-02-06 16:57 353  
[ ]matrtop3__2911_37.min1.thm1.tptp2017-02-06 16:57 401  
[ ]memstr_0__1562_16.min1.thm1.tptp2017-02-06 16:57 433  
[ ]mesfunc1__1094_16.min1.thm1.tptp2017-02-06 16:57 339  
[ ]mesfunc1__1107_16.min1.thm1.tptp2017-02-06 16:57 339  
[ ]mesfunc1__1120_16.min1.thm1.tptp2017-02-06 16:57 339  
[ ]mesfunc1__1133_16.min1.thm1.tptp2017-02-06 16:57 339  
[ ]mesfunc2__1566_14.min1.thm1.tptp2017-02-06 16:57 309  
[ ]metric_1__616_39.min1.thm1.tptp2017-02-06 16:57 272  
[ ]metric_1__645_39.min1.thm1.tptp2017-02-06 16:57 272  
[ ]metric_1__674_39.min1.thm1.tptp2017-02-06 16:57 272  
[ ]metric_1__1166_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]metric_2__69_16.min1.thm1.tptp2017-02-06 16:57 361  
[ ]metric_2__510_16.min1.thm1.tptp2017-02-06 16:57 365  
[ ]metric_2__541_16.min1.thm1.tptp2017-02-06 16:57 453  
[ ]metric_2__573_16.min1.thm1.tptp2017-02-06 16:57 301  
[ ]metric_2__605_16.min1.thm1.tptp2017-02-06 16:57 337  
[ ]metric_2__638_16.min1.thm1.tptp2017-02-06 16:57 337  
[ ]metric_2__671_16.min1.thm1.tptp2017-02-06 16:57 421  
[ ]metric_2__705_16.min1.thm1.tptp2017-02-06 16:57 443  
[ ]mfold_1__1345_23.min1.thm1.tptp2017-02-06 16:57 340  
[ ]mmlquery__158_16.min1.thm1.tptp2017-02-06 16:57 391  
[ ]mmlquery__171_16.min1.thm1.tptp2017-02-06 16:57 365  
[ ]mmlquery__185_16.min1.thm1.tptp2017-02-06 16:57 395  
[ ]mmlquery__198_16.min1.thm1.tptp2017-02-06 16:57 395  
[ ]mmlquery__211_16.min1.thm1.tptp2017-02-06 16:57 395  
[ ]mmlquery__224_16.min1.thm1.tptp2017-02-06 16:57 395  
[ ]mmlquery__237_16.min1.thm1.tptp2017-02-06 16:57 395  
[ ]mmlquery__253_16.min1.thm1.tptp2017-02-06 16:57 407  
[ ]mmlquery__265_16.min1.thm1.tptp2017-02-06 16:57 407  
[ ]mmlquery__277_16.min1.thm1.tptp2017-02-06 16:57 407  
[ ]mmlquery__289_16.min1.thm1.tptp2017-02-06 16:57 407  
[ ]mmlquery__301_16.min1.thm1.tptp2017-02-06 16:57 407  
[ ]mmlquery__826_35.min1.thm1.tptp2017-02-06 16:57 345  
[ ]mmlquery__1064_34.min1.thm1.tptp2017-02-06 16:57 345  
[ ]mmlquery__1648_50.min1.thm1.tptp2017-02-06 16:57 375  
[ ]mmlquery__1665_16.min1.thm1.tptp2017-02-06 16:57 409  
[ ]mmlquery__1936_16.min1.thm1.tptp2017-02-06 16:57 369  
[ ]mmlquery__1952_16.min1.thm1.tptp2017-02-06 16:57 369  
[ ]mmlquery__1968_16.min1.thm1.tptp2017-02-06 16:57 369  
[ ]mmlquery__1987_16.min1.thm1.tptp2017-02-06 16:57 403  
[ ]mmlquery__2010_16.min1.thm1.tptp2017-02-06 16:57 403  
[ ]mmlquery__2032_16.min1.thm1.tptp2017-02-06 16:57 435  
[ ]mod_3__169_37.min1.thm1.tptp2017-02-06 16:57 355  
[ ]mod_3__813_36.min1.thm1.tptp2017-02-06 16:57 309  
[ ]mod_3__1068_36.min1.thm1.tptp2017-02-06 16:57 309  
[ ]modelc_1__1105_16.min1.thm1.tptp2017-02-06 16:57 271  
[ ]modelc_1__3622_16.min1.thm1.tptp2017-02-06 16:57 385  
[ ]modelc_1__3645_16.min1.thm1.tptp2017-02-06 16:57 419  
[ ]modelc_2__2232_16.min1.thm1.tptp2017-02-06 16:57 269  
[ ]modelc_2__4292_16.min1.thm1.tptp2017-02-06 16:57 307  
[ ]modelc_3__188_23.min1.thm1.tptp2017-02-06 16:57 301  
[ ]modelc_3__5635_16.min1.thm1.tptp2017-02-06 16:57 341  
[ ]modelc_3__5652_16.min1.thm1.tptp2017-02-06 16:57 341  
[ ]modelc_3__5726_16.min1.thm1.tptp2017-02-06 16:57 379  
[ ]modelc_3__5748_16.min1.thm1.tptp2017-02-06 16:57 371  
[ ]moebius1__1336_16.min1.thm1.tptp2017-02-06 16:57 301  
[ ]msafree__960_16.min1.thm1.tptp2017-02-06 16:57 443  
[ ]msafree__1613_50.min1.thm1.tptp2017-02-06 16:57 389  
[ ]msalimit__1203_55.min1.thm1.tptp2017-02-06 16:57 321  
[ ]mssubfam__1233_26.min1.thm1.tptp2017-02-06 16:57 405  
[ ]msualg_5__2101_16.min1.thm1.tptp2017-02-06 16:57 857  
[ ]msualg_6__1694_16.min1.thm1.tptp2017-02-06 16:57 529  
[ ]msualg_7__81_16.min1.thm1.tptp2017-02-06 16:57 581  
[ ]msualg_8__856_16.min1.thm1.tptp2017-02-06 16:57 441  
[ ]msualg_9__1018_28.min1.thm1.tptp2017-02-06 16:57 613  
[ ]mycielsk__1313_35.min1.thm1.tptp2017-02-06 16:57 369  
[ ]mycielsk__1669_48.min1.thm1.tptp2017-02-06 16:57 331  
[ ]nagata_1__96_43.min1.thm1.tptp2017-02-06 16:57 397  
[ ]nagata_1__685_38.min1.thm1.tptp2017-02-06 16:57 297  
[ ]nagata_1__1161_16.min1.thm1.tptp2017-02-06 16:57 418  
[ ]nagata_1__1666_47.min1.thm1.tptp2017-02-06 16:57 471  
[ ]neckla_2__498_54.min1.thm1.tptp2017-02-06 16:57 355  
[ ]neckla_3__4387_34.min1.thm1.tptp2017-02-06 16:57 319  
[ ]neckla_3__4388_32.min1.thm1.tptp2017-02-06 16:57 319  
[ ]neckla_3__5876_38.min1.thm1.tptp2017-02-06 16:57 489  
[ ]neckla_3__6243_38.min1.thm1.tptp2017-02-06 16:57 489  
[ ]neckla_3__6528_27.min1.thm1.tptp2017-02-06 16:57 393  
[ ]necklace__604_38.min1.thm1.tptp2017-02-06 16:57 369  
[ ]normform__440_16.min1.thm1.tptp2017-02-06 16:57 421  
[ ]normform__587_16.min1.thm1.tptp2017-02-06 16:57 363  
[ ]numbers__891_13.min1.thm1.tptp2017-02-06 16:57 245  
[ ]openlatt__1119_62.min1.thm1.tptp2017-02-06 16:57 381  
[ ]orders_2__525_16.min1.thm1.tptp2017-02-06 16:57 369  
[ ]orders_2__545_16.min1.thm1.tptp2017-02-06 16:57 369  
[ ]orders_3__133_21.min1.thm1.tptp2017-02-06 16:57 521  
[ ]ordinal6__155_15.min1.thm1.tptp2017-02-06 16:57 311  
[ ]ortsp_1__54_37.min1.thm1.tptp2017-02-06 16:57 305  
[ ]osafree__641_16.min1.thm1.tptp2017-02-06 16:57 443  
[ ]osafree__2051_16.min1.thm1.tptp2017-02-06 16:57 525  
[ ]osafree__2100_16.min1.thm1.tptp2017-02-06 16:57 555  
[ ]osafree__3540_39.min1.thm1.tptp2017-02-06 16:57 445  
[ ]osafree__3718_39.min1.thm1.tptp2017-02-06 16:57 447  
[ ]osalg_4__383_58.min1.thm1.tptp2017-02-06 16:57 411  
[ ]osalg_4__913_48.min1.thm1.tptp2017-02-06 16:57 535  
[ ]partit1__222_32.min1.thm1.tptp2017-02-06 16:57 296  
[ ]partit1__474_33.min1.thm1.tptp2017-02-06 16:57 265  
[ ]partit_2__690_16.min1.thm1.tptp2017-02-06 16:57 331  
[ ]pboole__938_20.min1.thm1.tptp2017-02-06 16:57 385  
[ ]pcs_0__1785_39.min1.thm1.tptp2017-02-06 16:57 543  
[ ]pcs_0__1812_39.min1.thm1.tptp2017-02-06 16:57 543  
[ ]pcs_0__4209_16.min1.thm1.tptp2017-02-06 16:57 341  
[ ]pencil_1__312_42.min1.thm1.tptp2017-02-06 16:57 325  
[ ]pencil_1__355_46.min1.thm1.tptp2017-02-06 16:57 353  
[ ]pencil_1__369_46.min1.thm1.tptp2017-02-06 16:57 345  
[ ]pencil_1__423_44.min1.thm1.tptp2017-02-06 16:57 337  
[ ]pencil_1__465_42.min1.thm1.tptp2017-02-06 16:57 327  
[ ]pencil_1__566_47.min1.thm1.tptp2017-02-06 16:57 353  
[ ]pencil_1__589_47.min1.thm1.tptp2017-02-06 16:57 353  
[ ]pencil_1__617_67.min1.thm1.tptp2017-02-06 16:57 283  
[ ]pencil_1__1401_59.min1.thm1.tptp2017-02-06 16:57 393  
[ ]pencil_2__1216_52.min1.thm1.tptp2017-02-06 16:57 473  
[ ]pencil_4__1067_47.min1.thm1.tptp2017-02-06 16:57 447  
[ ]pencil_4__1099_47.min1.thm1.tptp2017-02-06 16:57 447  
[ ]pencil_4__1218_44.min1.thm1.tptp2017-02-06 16:57 393  
[ ]pencil_4__1234_44.min1.thm1.tptp2017-02-06 16:57 393  
[ ]petri_2__646_16.min1.thm1.tptp2017-02-06 16:57 329  
[ ]petri__488_61.min1.thm1.tptp2017-02-06 16:57 315  
[ ]petri__531_61.min1.thm1.tptp2017-02-06 16:57 315  
[ ]pnproc_1__1284_16.min1.thm1.tptp2017-02-06 16:57 433  
[ ]pnproc_1__1445_16.min1.thm1.tptp2017-02-06 16:57 433  
[ ]polyform__1603_51.min1.thm1.tptp2017-02-06 16:57 327  
[ ]polynom5__2231_8.min1.thm1.tptp2017-02-06 16:57 369  
[ ]polyred__78_8.min1.thm1.tptp2017-02-06 16:57 262  
[ ]pre_poly__416_32.min1.thm1.tptp2017-02-06 16:57 271  
[ ]pre_poly__1428_14.min1.thm1.tptp2017-02-06 16:57 329  
[ ]pre_poly__2956_16.min1.thm1.tptp2017-02-06 16:57 304  
[ ]prob_1__1033_16.min1.thm1.tptp2017-02-06 16:57 311  
[ ]prob_4__735_43.min1.thm1.tptp2017-02-06 16:57 255  
[ ]qc_lang1__237_78.min1.thm1.tptp2017-02-06 16:57 443  
[ ]qc_lang1__435_49.min1.thm1.tptp2017-02-06 16:57 389  
[ ]qc_lang3__388_16.min1.thm1.tptp2017-02-06 16:57 365  
[ ]quantal1__738_34.min1.thm1.tptp2017-02-06 16:57 395  
[ ]quantal1__783_34.min1.thm1.tptp2017-02-06 16:57 395  
[ ]ramsey_1__260_39.min1.thm1.tptp2017-02-06 16:57 273  
[ ]ramsey_1__1076_36.min1.thm1.tptp2017-02-06 16:57 275  
[ ]ramsey_1__1147_32.min1.thm1.tptp2017-02-06 16:57 271  
[ ]rcomp_3__888_16.min1.thm1.tptp2017-02-06 16:57 290  
[ ]realset1__56_40.min1.thm1.tptp2017-02-06 16:57 270  
[ ]realset1__130_14.min1.thm1.tptp2017-02-06 16:57 311  
[ ]rearran1__544_40.min1.thm1.tptp2017-02-06 16:57 273  
[ ]rearran1__558_27.min1.thm1.tptp2017-02-06 16:57 387  
[ ]relset_1__120_40.min1.thm1.tptp2017-02-06 16:57 416  
[ ]relset_1__367_26.min1.thm1.tptp2017-02-06 16:57 273  
[ ]relset_1__381_48.min1.thm1.tptp2017-02-06 16:57 327  
[ ]relset_1__392_28.min1.thm1.tptp2017-02-06 16:57 287  
[ ]relset_1__600_42.min1.thm1.tptp2017-02-06 16:57 333  
[ ]relset_1__891_28.min1.thm1.tptp2017-02-06 16:57 288  
[ ]rewrite2__1352_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]rewrite3__2130_16.min1.thm1.tptp2017-02-06 16:57 479  
[ ]ring_1__937_34.min1.thm1.tptp2017-02-06 16:57 369  
[ ]ring_1__1122_44.min1.thm1.tptp2017-02-06 16:57 325  
[ ]rlaffin1__439_42.min1.thm1.tptp2017-02-06 16:57 327  
[ ]rlaffin1__2291_49.min1.thm1.tptp2017-02-06 16:57 1.1K 
[ ]rlaffin3__1606_37.min1.thm1.tptp2017-02-06 16:57 423  
[ ]rlsub_1__596_76.min1.thm1.tptp2017-02-06 16:57 367  
[ ]rlsub_1__910_36.min1.thm1.tptp2017-02-06 16:57 307  
[ ]rlsub_1__1649_74.min1.thm1.tptp2017-02-06 16:57 363  
[ ]rlsub_2__63_37.min1.thm1.tptp2017-02-06 16:57 379  
[ ]rltopsp1__593_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]rlvect_2__2461_48.min1.thm1.tptp2017-02-06 16:57 397  
[ ]rlvect_3__966_37.min1.thm1.tptp2017-02-06 16:57 369  
[ ]rlvect_3__1410_36.min1.thm1.tptp2017-02-06 16:57 327  
[ ]rlvect_3__1656_36.min1.thm1.tptp2017-02-06 16:57 327  
[ ]rlvect_5__238_46.min1.thm1.tptp2017-02-06 16:57 294  
[ ]rlvect_5__711_36.min1.thm1.tptp2017-02-06 16:57 297  
[ ]rlvect_5__1731_48.min1.thm1.tptp2017-02-06 16:57 304  
[ ]rlvect_x__158_16.min1.thm1.tptp2017-02-06 16:57 361  
[ ]rmod_2__891_36.min1.thm1.tptp2017-02-06 16:57 301  
[ ]rmod_2__1490_53.min1.thm1.tptp2017-02-06 16:57 289  
[ ]rmod_3__59_37.min1.thm1.tptp2017-02-06 16:57 393  
[ ]rmod_4__2280_37.min1.thm1.tptp2017-02-06 16:57 377  
[ ]robbins3__413_65.min1.thm1.tptp2017-02-06 16:57 415  
[ ]roughs_1__427_16.min1.thm1.tptp2017-02-06 16:57 369  
[ ]roughs_1__444_16.min1.thm1.tptp2017-02-06 16:57 369  
[ ]rusub_1__626_76.min1.thm1.tptp2017-02-06 16:57 367  
[ ]rusub_1__991_36.min1.thm1.tptp2017-02-06 16:57 307  
[ ]rusub_1__1856_74.min1.thm1.tptp2017-02-06 16:57 363  
[ ]rusub_2__52_37.min1.thm1.tptp2017-02-06 16:57 379  
[ ]rusub_3__58_37.min1.thm1.tptp2017-02-06 16:57 351  
[ ]rusub_3__541_36.min1.thm1.tptp2017-02-06 16:57 321  
[ ]rusub_3__787_36.min1.thm1.tptp2017-02-06 16:57 321  
[ ]rusub_3__1466_36.min1.thm1.tptp2017-02-06 16:57 291  
[ ]rusub_4__920_48.min1.thm1.tptp2017-02-06 16:57 301  
[ ]rusub_4__1505_36.min1.thm1.tptp2017-02-06 16:57 307  
[ ]scmfsa_1__67_30.min1.thm1.tptp2017-02-06 16:57 242  
[ ]scmyciel__1206_44.min1.thm1.tptp2017-02-06 16:57 365  
[ ]scmyciel__1456_35.min1.thm1.tptp2017-02-06 16:57 273  
[ ]scmyciel__1598_13.min1.thm1.tptp2017-02-06 16:57 320  
[ ]seq_4__196_16.min1.thm1.tptp2017-02-06 16:57 275  
[ ]seq_4__2644_16.min1.thm1.tptp2017-02-06 16:57 371  
[ ]seq_4__3132_16.min1.thm1.tptp2017-02-06 16:57 341  
[ ]setfam_1__909_16.min1.thm1.tptp2017-02-06 16:57 301  
[ ]setfam_1__926_16.min1.thm1.tptp2017-02-06 16:57 305  
[ ]setfam_1__1592_14.min1.thm1.tptp2017-02-06 16:57 297  
[ ]setwiseo__1805_15.min1.thm1.tptp2017-02-06 16:57 510  
[ ]sgraph1__253_14.min1.thm1.tptp2017-02-06 16:57 343  
[ ]sgraph1__724_77.min1.thm1.tptp2017-02-06 16:57 609  
[ ]sgraph1__1213_16.min1.thm1.tptp2017-02-06 16:57 445  
[ ]sppol_1__161_37.min1.thm1.tptp2017-02-06 16:57 367  
[ ]stirl2_1__2447_16.min1.thm1.tptp2017-02-06 16:57 394  
[ ]subset__61_11.min1.thm1.tptp2017-02-06 16:57 253  
[ ]substlat__57_16.min1.thm1.tptp2017-02-06 16:57 417  
[ ]substut1__326_16.min1.thm1.tptp2017-02-06 16:57 369  
[ ]substut1__564_46.min1.thm1.tptp2017-02-06 16:57 369  
[ ]substut1__626_46.min1.thm1.tptp2017-02-06 16:57 369  
[ ]substut1__1035_61.min1.thm1.tptp2017-02-06 16:57 473  
[ ]substut1__2796_16.min1.thm1.tptp2017-02-06 16:57 339  
[ ]symsp_1__80_37.min1.thm1.tptp2017-02-06 16:57 345  
[ ]t_1topsp__561_49.min1.thm1.tptp2017-02-06 16:57 327  
[ ]taxonom1__826_53.min1.thm1.tptp2017-02-06 16:57 311  
[ ]taxonom1__1095_67.min1.thm1.tptp2017-02-06 16:57 337  
[ ]taxonom2__621_48.min1.thm1.tptp2017-02-06 16:57 307  
[ ]tdlat_1__666_16.min1.thm1.tptp2017-02-06 16:57 355  
[ ]tdlat_1__995_16.min1.thm1.tptp2017-02-06 16:57 355  
[ ]tdlat_1__1375_16.min1.thm1.tptp2017-02-06 16:57 355  
[ ]tdlat_2__2591_39.min1.thm1.tptp2017-02-06 16:57 318  
[ ]tdlat_2__2954_46.min1.thm1.tptp2017-02-06 16:57 324  
[ ]tdlat_2__3350_44.min1.thm1.tptp2017-02-06 16:57 326  
[ ]termord__1774_8.min1.thm1.tptp2017-02-06 16:57 268  
[ ]tex_1__192_57.min1.thm1.tptp2017-02-06 16:57 291  
[ ]tex_1__222_48.min1.thm1.tptp2017-02-06 16:57 277  
[ ]tex_1__232_48.min1.thm1.tptp2017-02-06 16:57 277  
[ ]tex_1__656_38.min1.thm1.tptp2017-02-06 16:57 264  
[ ]tex_1__1332_36.min1.thm1.tptp2017-02-06 16:57 262  
[ ]tex_2__1542_58.min1.thm1.tptp2017-02-06 16:57 288  
[ ]tex_2__2573_27.min1.thm1.tptp2017-02-06 16:57 298  
[ ]tex_3__204_59.min1.thm1.tptp2017-02-06 16:57 290  
[ ]tex_3__382_59.min1.thm1.tptp2017-02-06 16:57 290  
[ ]tex_3__531_59.min1.thm1.tptp2017-02-06 16:57 290  
[ ]tex_4__2754_29.min1.thm1.tptp2017-02-06 16:57 285  
[ ]tmap_1__2356_55.min1.thm1.tptp2017-02-06 16:57 311  
[ ]tmap_1__2559_56.min1.thm1.tptp2017-02-06 16:57 289  
[ ]toler_1__285_38.min1.thm1.tptp2017-02-06 16:57 265  
[ ]topalg_1__146_38.min1.thm1.tptp2017-02-06 16:57 333  
[ ]topalg_1__168_38.min1.thm1.tptp2017-02-06 16:57 323  
[ ]topalg_1__638_47.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]topalg_1__780_43.min1.thm1.tptp2017-02-06 16:57 519  
[ ]topalg_1__939_47.min1.thm1.tptp2017-02-06 16:57 1.1K 
[ ]topalg_1__1065_41.min1.thm1.tptp2017-02-06 16:57 493  
[ ]topalg_6__1047_41.min1.thm1.tptp2017-02-06 16:57 264  
[ ]topgen_4__49_14.min1.thm1.tptp2017-02-06 16:57 320  
[ ]topgen_4__222_34.min1.thm1.tptp2017-02-06 16:57 361  
[ ]topgen_4__724_16.min1.thm1.tptp2017-02-06 16:57 363  
[ ]topgen_4__739_16.min1.thm1.tptp2017-02-06 16:57 363  
[ ]topgen_4__1359_43.min1.thm1.tptp2017-02-06 16:57 313  
[ ]topgen_5__598_16.min1.thm1.tptp2017-02-06 16:57 307  
[ ]topgen_5__612_16.min1.thm1.tptp2017-02-06 16:57 307  
[ ]topmetr__714_45.min1.thm1.tptp2017-02-06 16:57 393  
[ ]topreal1__2130_45.min1.thm1.tptp2017-02-06 16:57 327  
[ ]topreal4__2609_44.min1.thm1.tptp2017-02-06 16:57 365  
[ ]topreal6__587_14.min1.thm1.tptp2017-02-06 16:57 451  
[ ]topreal6__940_43.min1.thm1.tptp2017-02-06 16:57 333  
[ ]topreal9__174_16.min1.thm1.tptp2017-02-06 16:57 415  
[ ]topreal9__189_16.min1.thm1.tptp2017-02-06 16:57 415  
[ ]topreal9__204_16.min1.thm1.tptp2017-02-06 16:57 415  
[ ]topreal9__750_16.min1.thm1.tptp2017-02-06 16:57 425  
[ ]toprealc__2472_16.min1.thm1.tptp2017-02-06 16:57 557  
[ ]tops_3__1004_39.min1.thm1.tptp2017-02-06 16:57 285  
[ ]treal_1__1163_37.min1.thm1.tptp2017-02-06 16:57 287  
[ ]treal_1__1182_37.min1.thm1.tptp2017-02-06 16:57 287  
[ ]trees_1__881_36.min1.thm1.tptp2017-02-06 16:57 281  
[ ]trees_2__331_16.min1.thm1.tptp2017-02-06 16:57 333  
[ ]trees_2__682_49.min1.thm1.tptp2017-02-06 16:57 311  
[ ]trees_2__898_3.min1.thm1.tptp2017-02-06 16:57 325  
[ ]trees_2__1004_47.min1.thm1.tptp2017-02-06 16:57 295  
[ ]trees_2__1328_40.min1.thm1.tptp2017-02-06 16:57 295  
[ ]trees_3__111_40.min1.thm1.tptp2017-02-06 16:57 261  
[ ]trees_9__965_16.min1.thm1.tptp2017-02-06 16:57 409  
[ ]trees_9__1020_16.min1.thm1.tptp2017-02-06 16:57 357  
[ ]trees_9__1299_16.min1.thm1.tptp2017-02-06 16:57 357  
[ ]triang_1__141_16.min1.thm1.tptp2017-02-06 16:57 357  
[ ]tsep_1__66_11.min1.thm1.tptp2017-02-06 16:57 282  
[ ]tsep_1__358_55.min1.thm1.tptp2017-02-06 16:57 311  
[ ]tsep_1__505_55.min1.thm1.tptp2017-02-06 16:57 311  
[ ]tsp_2__1146_27.min1.thm1.tptp2017-02-06 16:57 292  
[ ]tsp_2__1205_25.min1.thm1.tptp2017-02-06 16:57 282  
[ ]tsp_2__1255_25.min1.thm1.tptp2017-02-06 16:57 282  
[ ]tsp_2__1427_23.min1.thm1.tptp2017-02-06 16:57 283  
[ ]tsp_2__1789_23.min1.thm1.tptp2017-02-06 16:57 312  
[ ]unialg_2__601_41.min1.thm1.tptp2017-02-06 16:57 323  
[ ]unialg_2__871_16.min1.thm1.tptp2017-02-06 16:57 337  
[ ]unialg_2__980_14.min1.thm1.tptp2017-02-06 16:57 323  
[ ]unialg_3__180_14.min1.thm1.tptp2017-02-06 16:57 317  
[ ]unialg_3__724_55.min1.thm1.tptp2017-02-06 16:57 295  
[ ]urysohn3__728_57.min1.thm1.tptp2017-02-06 16:57 301  
[ ]urysohn3__1746_58.min1.thm1.tptp2017-02-06 16:57 301  
[ ]valued_0__225_65.min1.thm1.tptp2017-02-06 16:57 436  
[ ]valued_0__228_65.min1.thm1.tptp2017-02-06 16:57 436  
[ ]valued_2__674_14.min1.thm1.tptp2017-02-06 16:57 323  
[ ]valued_2__687_14.min1.thm1.tptp2017-02-06 16:57 323  
[ ]valued_2__700_14.min1.thm1.tptp2017-02-06 16:57 323  
[ ]valued_2__713_14.min1.thm1.tptp2017-02-06 16:57 323  
[ ]valued_2__726_14.min1.thm1.tptp2017-02-06 16:57 327  
[ ]valued_2__739_14.min1.thm1.tptp2017-02-06 16:57 327  
[ ]vectsp10__1656_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]vectsp11__979_37.min1.thm1.tptp2017-02-06 16:57 401  
[ ]vectsp_4__1098_36.min1.thm1.tptp2017-02-06 16:57 313  
[ ]vectsp_4__1751_53.min1.thm1.tptp2017-02-06 16:57 295  
[ ]vectsp_5__63_37.min1.thm1.tptp2017-02-06 16:57 421  
[ ]vectsp_7__370_37.min1.thm1.tptp2017-02-06 16:57 401  
[ ]vectsp_7__750_36.min1.thm1.tptp2017-02-06 16:57 327  
[ ]vectsp_7__1002_36.min1.thm1.tptp2017-02-06 16:57 327  
[ ]vectsp_9__191_46.min1.thm1.tptp2017-02-06 16:57 294  
[ ]vectsp_9__673_36.min1.thm1.tptp2017-02-06 16:57 297  
[ ]vectsp_9__1689_48.min1.thm1.tptp2017-02-06 16:57 304  
[ ]waybel10__878_40.min1.thm1.tptp2017-02-06 16:57 393  
[ ]waybel11__2767_48.min1.thm1.tptp2017-02-06 16:57 337  
[ ]waybel12__502_14.min1.thm1.tptp2017-02-06 16:57 361  
[ ]waybel12__1602_35.min1.thm1.tptp2017-02-06 16:57 397  
[ ]waybel13__427_37.min1.thm1.tptp2017-02-06 16:57 458  
[ ]waybel13__1054_26.min1.thm1.tptp2017-02-06 16:57 302  
[ ]waybel13__1088_26.min1.thm1.tptp2017-02-06 16:57 302  
[ ]waybel13__1716_26.min1.thm1.tptp2017-02-06 16:57 392  
[ ]waybel13__1889_26.min1.thm1.tptp2017-02-06 16:57 392  
[ ]waybel14__2028_51.min1.thm1.tptp2017-02-06 16:57 446  
[ ]waybel15__610_33.min1.thm1.tptp2017-02-06 16:57 728  
[ ]waybel15__796_38.min1.thm1.tptp2017-02-06 16:57 368  
[ ]waybel16__398_38.min1.thm1.tptp2017-02-06 16:57 411  
[ ]waybel16__542_41.min1.thm1.tptp2017-02-06 16:57 469  
[ ]waybel16__605_41.min1.thm1.tptp2017-02-06 16:57 469  
[ ]waybel17__472_49.min1.thm1.tptp2017-02-06 16:57 371  
[ ]waybel17__1541_34.min1.thm1.tptp2017-02-06 16:57 393  
[ ]waybel18__539_66.min1.thm1.tptp2017-02-06 16:57 771  
[ ]waybel19__433_42.min1.thm1.tptp2017-02-06 16:57 387  
[ ]waybel20__318_32.min1.thm1.tptp2017-02-06 16:57 358  
[ ]waybel20__360_32.min1.thm1.tptp2017-02-06 16:57 359  
[ ]waybel20__397_32.min1.thm1.tptp2017-02-06 16:57 358  
[ ]waybel20__439_32.min1.thm1.tptp2017-02-06 16:57 359  
[ ]waybel20__1200_36.min1.thm1.tptp2017-02-06 16:57 531  
[ ]waybel20__1221_36.min1.thm1.tptp2017-02-06 16:57 424  
[ ]waybel20__1292_51.min1.thm1.tptp2017-02-06 16:57 413  
[ ]waybel20__2135_36.min1.thm1.tptp2017-02-06 16:57 366  
[ ]waybel21__1051_34.min1.thm1.tptp2017-02-06 16:57 361  
[ ]waybel21__2132_47.min1.thm1.tptp2017-02-06 16:57 421  
[ ]waybel21__2321_45.min1.thm1.tptp2017-02-06 16:57 433  
[ ]waybel22__880_41.min1.thm1.tptp2017-02-06 16:57 457  
[ ]waybel22__1120_25.min1.thm1.tptp2017-02-06 16:57 645  
[ ]waybel22__1156_56.min1.thm1.tptp2017-02-06 16:57 369  
[ ]waybel22__1637_43.min1.thm1.tptp2017-02-06 16:57 463  
[ ]waybel22__1682_41.min1.thm1.tptp2017-02-06 16:57 455  
[ ]waybel22__1763_24.min1.thm1.tptp2017-02-06 16:57 301  
[ ]waybel22__1769_24.min1.thm1.tptp2017-02-06 16:57 301  
[ ]waybel23__101_16.min1.thm1.tptp2017-02-06 16:57 321  
[ ]waybel23__540_55.min1.thm1.tptp2017-02-06 16:57 299  
[ ]waybel24__855_58.min1.thm1.tptp2017-02-06 16:57 397  
[ ]waybel25__570_40.min1.thm1.tptp2017-02-06 16:57 513  
[ ]waybel25__649_36.min1.thm1.tptp2017-02-06 16:57 497  
[ ]waybel25__2477_43.min1.thm1.tptp2017-02-06 16:57 459  
[ ]waybel27__1182_58.min1.thm1.tptp2017-02-06 16:57 397  
[ ]waybel28__53_34.min1.thm1.tptp2017-02-06 16:57 353  
[ ]waybel29__558_40.min1.thm1.tptp2017-02-06 16:57 547  
[ ]waybel29__656_36.min1.thm1.tptp2017-02-06 16:57 371  
[ ]waybel29__688_36.min1.thm1.tptp2017-02-06 16:57 493  
[ ]waybel29__1897_32.min1.thm1.tptp2017-02-06 16:57 444  
[ ]waybel29__1997_42.min1.thm1.tptp2017-02-06 16:57 327  
[ ]waybel29__2214_44.min1.thm1.tptp2017-02-06 16:57 327  
[ ]waybel29__2632_36.min1.thm1.tptp2017-02-06 16:57 446  
[ ]waybel29__2698_36.min1.thm1.tptp2017-02-06 16:57 446  
[ ]waybel29__2757_49.min1.thm1.tptp2017-02-06 16:57 427  
[ ]waybel29__2808_33.min1.thm1.tptp2017-02-06 16:57 492  
[ ]waybel30__96_37.min1.thm1.tptp2017-02-06 16:57 449  
[ ]waybel30__246_35.min1.thm1.tptp2017-02-06 16:57 435  
[ ]waybel31__495_18.min1.thm1.tptp2017-02-06 16:57 395  
[ ]waybel31__1261_47.min1.thm1.tptp2017-02-06 16:57 337  
[ ]waybel31__1522_64.min1.thm1.tptp2017-02-06 16:57 393  
[ ]waybel33__83_38.min1.thm1.tptp2017-02-06 16:57 471  
[ ]waybel33__96_38.min1.thm1.tptp2017-02-06 16:57 471  
[ ]waybel33__294_36.min1.thm1.tptp2017-02-06 16:57 361  
[ ]waybel33__880_37.min1.thm1.tptp2017-02-06 16:57 605  
[ ]waybel35__376_42.min1.thm1.tptp2017-02-06 16:57 321  
[ ]waybel35__1330_16.min1.thm1.tptp2017-02-06 16:57 395  
[ ]waybel_0__832_36.min1.thm1.tptp2017-02-06 16:57 313  
[ ]waybel_0__880_36.min1.thm1.tptp2017-02-06 16:57 313  
[ ]waybel_0__1225_55.min1.thm1.tptp2017-02-06 16:57 299  
[ ]waybel_0__2230_16.min1.thm1.tptp2017-02-06 16:57 363  
[ ]waybel_0__2241_16.min1.thm1.tptp2017-02-06 16:57 363  
[ ]waybel_0__3186_34.min1.thm1.tptp2017-02-06 16:57 303  
[ ]waybel_0__3372_34.min1.thm1.tptp2017-02-06 16:57 303  
[ ]waybel_0__3679_38.min1.thm1.tptp2017-02-06 16:57 455  
[ ]waybel_2__266_44.min1.thm1.tptp2017-02-06 16:57 415  
[ ]waybel_2__288_34.min1.thm1.tptp2017-02-06 16:57 393  
[ ]waybel_2__301_45.min1.thm1.tptp2017-02-06 16:57 415  
[ ]waybel_3__140_38.min1.thm1.tptp2017-02-06 16:57 395  
[ ]waybel_3__241_16.min1.thm1.tptp2017-02-06 16:57 363  
[ ]waybel_3__251_16.min1.thm1.tptp2017-02-06 16:57 363  
[ ]waybel_3__1563_40.min1.thm1.tptp2017-02-06 16:57 547  
[ ]waybel_3__1653_36.min1.thm1.tptp2017-02-06 16:57 371  
[ ]waybel_3__1686_36.min1.thm1.tptp2017-02-06 16:57 493  
[ ]waybel_3__2206_31.min1.thm1.tptp2017-02-06 16:57 446  
[ ]waybel_4__685_37.min1.thm1.tptp2017-02-06 16:57 385  
[ ]waybel_4__837_16.min1.thm1.tptp2017-02-06 16:57 395  
[ ]waybel_4__847_16.min1.thm1.tptp2017-02-06 16:57 395  
[ ]waybel_4__2688_34.min1.thm1.tptp2017-02-06 16:57 361  
[ ]waybel_6__770_33.min1.thm1.tptp2017-02-06 16:57 476  
[ ]waybel_6__1250_15.min1.thm1.tptp2017-02-06 16:57 308  
[ ]waybel_6__1331_18.min1.thm1.tptp2017-02-06 16:57 451  
[ ]waybel_7__898_30.min1.thm1.tptp2017-02-06 16:57 443  
[ ]waybel_7__1445_35.min1.thm1.tptp2017-02-06 16:57 447  
[ ]waybel_7__1611_43.min1.thm1.tptp2017-02-06 16:57 358  
[ ]waybel_8__1092_31.min1.thm1.tptp2017-02-06 16:57 527  
[ ]waybel_8__1515_46.min1.thm1.tptp2017-02-06 16:57 347  
[ ]waybel_9__1503_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]waybel_9__1569_48.min1.thm1.tptp2017-02-06 16:57 371  
[ ]weierstr__503_45.min1.thm1.tptp2017-02-06 16:57 287  
[ ]wellfnd1__400_39.min1.thm1.tptp2017-02-06 16:57 295  
[ ]yellow12__1109_74.min1.thm1.tptp2017-02-06 16:57 425  
[ ]yellow16__196_25.min1.thm1.tptp2017-02-06 16:57 556  
[ ]yellow17__335_26.min1.thm1.tptp2017-02-06 16:57 390  
[ ]yellow17__706_54.min1.thm1.tptp2017-02-06 16:57 441  
[ ]yellow_2__966_27.min1.thm1.tptp2017-02-06 16:57 368  
[ ]yellow_2__982_34.min1.thm1.tptp2017-02-06 16:57 355  
[ ]yellow_2__1087_25.min1.thm1.tptp2017-02-06 16:57 450  
[ ]yellow_2__1111_25.min1.thm1.tptp2017-02-06 16:57 450  
[ ]yellow_2__1158_25.min1.thm1.tptp2017-02-06 16:57 570  
[ ]yellow_3__51_14.min1.thm1.tptp2017-02-06 16:57 269  
[ ]yellow_3__480_16.min1.thm1.tptp2017-02-06 16:57 511  
[ ]yellow_3__515_16.min1.thm1.tptp2017-02-06 16:57 331  
[ ]yellow_3__530_16.min1.thm1.tptp2017-02-06 16:57 333  
[ ]yellow_4__188_16.min1.thm1.tptp2017-02-06 16:57 401  
[ ]yellow_4__1020_16.min1.thm1.tptp2017-02-06 16:57 403  
[ ]yellow_6__1682_77.min1.thm1.tptp2017-02-06 16:57 393  
[ ]yellow_8__668_49.min1.thm1.tptp2017-02-06 16:57 307  
[ ]yellow_8__669_48.min1.thm1.tptp2017-02-06 16:57 303  
[ ]yellow_9__1799_57.min1.thm1.tptp2017-02-06 16:57 295  
[ ]yellow_9__1801_57.min1.thm1.tptp2017-02-06 16:57 295  
[ ]yellow_9__2749_59.min1.thm1.tptp2017-02-06 16:57 298  
[ ]yellow_9__2751_59.min1.thm1.tptp2017-02-06 16:57 298  
[ ]zf_fund2__71_18.min1.thm1.tptp2017-02-06 16:57 369  
[ ]zf_fund2__73_18.min1.thm1.tptp2017-02-06 16:57 324  
[ ]zf_lang__56_16.min1.thm1.tptp2017-02-06 16:57 261  
[ ]zf_model__755_18.min1.thm1.tptp2017-02-06 16:57 437  
[ ]zf_model__771_18.min1.thm1.tptp2017-02-06 16:57 367  
[ ]zf_model__787_18.min1.thm1.tptp2017-02-06 16:57 415  
[ ]zf_model__961_71.min1.thm1.tptp2017-02-06 16:57 429  
[ ]zf_model__969_72.min1.thm1.tptp2017-02-06 16:57 429  
[ ]zf_model__987_18.min1.thm1.tptp2017-02-06 16:57 429  
[ ]zfrefle1__104_16.min1.thm1.tptp2017-02-06 16:57 259  
[ ]zmodul01__987_76.min1.thm1.tptp2017-02-06 16:57 372  
[ ]zmodul01__1291_36.min1.thm1.tptp2017-02-06 16:57 313  
[ ]zmodul01__1925_76.min1.thm1.tptp2017-02-06 16:57 373  
[ ]zmodul01__2026_37.min1.thm1.tptp2017-02-06 16:57 411  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80