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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xboole_1__38_16.min1.thm12017-02-06 12:45 412  
[ ]xboole_1__39_17.min1.thm12017-02-06 12:45 412  
[ ]xboole_1__46_13.min1.thm12017-02-06 12:45 340  
[ ]xboole_1__46_13.min1.thm1.tptp2017-02-06 16:46 263  
[ ]xboole_1__53_28.min1.thm12017-02-06 12:45 331  
[ ]xboole_1__53_28.min1.thm1.tptp2017-02-06 16:46 246  
[ ]xboole_1__63_33.min1.thm12017-02-06 12:45 509  
[ ]xboole_1__63_33.min1.thm1.tptp2017-02-06 16:46 447  
[ ]xboole_1__64_38.min1.thm12017-02-06 12:45 555  
[ ]xboole_1__64_38.min1.thm1.tptp2017-02-06 16:46 493  
[ ]xboole_1__65_33.min1.thm12017-02-06 12:45 555  
[ ]xboole_1__65_33.min1.thm1.tptp2017-02-06 16:46 493  
[ ]xboole_1__66_19.min1.thm12017-02-06 12:45 509  
[ ]xboole_1__66_19.min1.thm1.tptp2017-02-06 16:46 447  
[ ]xboole_1__70_31.min1.thm12017-02-06 12:45 499  
[ ]xboole_1__70_31.min1.thm1.tptp2017-02-06 16:46 437  
[ ]xboole_1__71_36.min1.thm12017-02-06 12:45 541  
[ ]xboole_1__71_36.min1.thm1.tptp2017-02-06 16:46 479  
[ ]xboole_1__72_31.min1.thm12017-02-06 12:45 541  
[ ]xboole_1__72_31.min1.thm1.tptp2017-02-06 16:46 479  
[ ]xboole_1__73_17.min1.thm12017-02-06 12:45 592  
[ ]xboole_1__79_41.min1.thm12017-02-06 12:45 579  
[ ]xboole_1__80_30.min1.thm12017-02-06 12:45 514  
[ ]xboole_1__80_30.min1.thm1.tptp2017-02-06 16:46 447  
[ ]xboole_1__81_30.min1.thm12017-02-06 12:45 532  
[ ]xboole_1__81_30.min1.thm1.tptp2017-02-06 16:46 465  
[ ]xboole_1__82_14.min1.thm12017-02-06 12:45 494  
[ ]xboole_1__88_34.min1.thm12017-02-06 12:45 458  
[ ]xboole_1__88_34.min1.thm1.tptp2017-02-06 16:46 391  
[ ]xboole_1__89_13.min1.thm12017-02-06 12:45 313  
[ ]xboole_1__90_14.min1.thm12017-02-06 12:45 382  
[ ]xboole_1__97_16.min1.thm12017-02-06 12:45 376  
[ ]xboole_1__107_26.min1.thm12017-02-06 12:45 443  
[ ]xboole_1__107_26.min1.thm1.tptp2017-02-06 16:46 381  
[ ]xboole_1__108_17.min1.thm12017-02-06 12:45 498  
[ ]xboole_1__118_26.min1.thm12017-02-06 12:45 443  
[ ]xboole_1__118_26.min1.thm1.tptp2017-02-06 16:46 381  
[ ]xboole_1__119_26.min1.thm12017-02-06 12:45 498  
[ ]xboole_1__120_17.min1.thm12017-02-06 12:45 443  
[ ]xboole_1__120_17.min1.thm1.tptp2017-02-06 16:46 381  
[ ]xboole_1__126_16.min1.thm12017-02-06 12:45 362  
[ ]xboole_1__126_16.min1.thm1.tptp2017-02-06 16:46 288  
[ ]xboole_1__127_17.min1.thm12017-02-06 12:45 542  
[ ]xboole_1__133_16.min1.thm12017-02-06 12:45 269  
[ ]xboole_1__134_17.min1.thm12017-02-06 12:45 449  
[ ]xboole_1__134_17.min1.thm1.tptp2017-02-06 16:46 378  
[ ]xboole_1__146_28.min1.thm12017-02-06 12:45 462  
[ ]xboole_1__146_28.min1.thm1.tptp2017-02-06 16:46 400  
[ ]xboole_1__147_19.min1.thm12017-02-06 12:45 476  
[ ]xboole_1__150_16.min1.thm12017-02-06 12:45 475  
[ ]xboole_1__150_16.min1.thm1.tptp2017-02-06 16:46 423  
[ ]xboole_1__162_26.min1.thm12017-02-06 12:45 452  
[ ]xboole_1__162_26.min1.thm1.tptp2017-02-06 16:46 390  
[ ]xboole_1__163_26.min1.thm12017-02-06 12:45 587  
[ ]xboole_1__164_17.min1.thm12017-02-06 12:45 452  
[ ]xboole_1__164_17.min1.thm1.tptp2017-02-06 16:46 390  
[ ]xboole_1__173_30.min1.thm12017-02-06 12:45 436  
[ ]xboole_1__173_30.min1.thm1.tptp2017-02-06 16:46 362  
[ ]xboole_1__174_22.min1.thm12017-02-06 12:45 508  
[ ]xboole_1__174_22.min1.thm1.tptp2017-02-06 16:46 431  
[ ]xboole_1__175_16.min1.thm12017-02-06 12:45 435  
[ ]xboole_1__175_16.min1.thm1.tptp2017-02-06 16:46 364  
[ ]xboole_1__179_28.min1.thm12017-02-06 12:45 464  
[ ]xboole_1__190_13.min1.thm12017-02-06 12:45 537  
[ ]xboole_1__191_18.min1.thm12017-02-06 12:45 473  
[ ]xboole_1__191_18.min1.thm1.tptp2017-02-06 16:46 411  
[ ]xboole_1__193_13.min1.thm12017-02-06 12:45 415  
[ ]xboole_1__193_13.min1.thm1.tptp2017-02-06 16:46 353  
[ ]xboole_1__194_13.min1.thm12017-02-06 12:45 508  
[ ]xboole_1__195_23.min1.thm12017-02-06 12:45 495  
[ ]xboole_1__196_19.min1.thm12017-02-06 12:45 553  
[ ]xboole_1__202_18.min1.thm12017-02-06 12:45 465  
[ ]xboole_1__202_18.min1.thm1.tptp2017-02-06 16:46 403  
[ ]xboole_1__204_13.min1.thm12017-02-06 12:45 407  
[ ]xboole_1__204_13.min1.thm1.tptp2017-02-06 16:46 345  
[ ]xboole_1__205_13.min1.thm12017-02-06 12:45 500  
[ ]xboole_1__206_11.min1.thm12017-02-06 12:45 436  
[ ]xboole_1__206_11.min1.thm1.tptp2017-02-06 16:46 374  
[ ]xboole_1__207_21.min1.thm12017-02-06 12:45 483  
[ ]xboole_1__208_17.min1.thm12017-02-06 12:45 634  
[ ]xboole_1__215_16.min1.thm12017-02-06 12:45 382  
[ ]xboole_1__221_16.min1.thm12017-02-06 12:45 270  
[ ]xboole_1__222_17.min1.thm12017-02-06 12:45 449  
[ ]xboole_1__222_17.min1.thm1.tptp2017-02-06 16:46 378  
[ ]xboole_1__232_25.min1.thm12017-02-06 12:45 511  
[ ]xboole_1__233_17.min1.thm12017-02-06 12:45 452  
[ ]xboole_1__233_17.min1.thm1.tptp2017-02-06 16:46 390  
[ ]xboole_1__242_21.min1.thm12017-02-06 12:45 436  
[ ]xboole_1__242_21.min1.thm1.tptp2017-02-06 16:46 365  
[ ]xboole_1__243_50.min1.thm12017-02-06 12:45 478  
[ ]xboole_1__244_17.min1.thm12017-02-06 12:45 617  
[ ]xboole_1__253_18.min1.thm12017-02-06 12:45 417  
[ ]xboole_1__258_21.min1.thm12017-02-06 12:45 407  
[ ]xboole_1__258_21.min1.thm1.tptp2017-02-06 16:46 345  
[ ]xboole_1__259_17.min1.thm12017-02-06 12:45 541  
[ ]xboole_1__269_33.min1.thm12017-02-06 12:45 520  
[ ]xboole_1__269_33.min1.thm1.tptp2017-02-06 16:46 458  
[ ]xboole_1__270_19.min1.thm12017-02-06 12:45 462  
[ ]xboole_1__270_19.min1.thm1.tptp2017-02-06 16:46 400  
[ ]xboole_1__273_16.min1.thm12017-02-06 12:45 411  
[ ]xboole_1__284_23.min1.thm12017-02-06 12:45 473  
[ ]xboole_1__284_23.min1.thm1.tptp2017-02-06 16:46 411  
[ ]xboole_1__286_23.min1.thm12017-02-06 12:45 462  
[ ]xboole_1__286_23.min1.thm1.tptp2017-02-06 16:46 400  
[ ]xboole_1__287_13.min1.thm12017-02-06 12:45 444  
[ ]xboole_1__287_13.min1.thm1.tptp2017-02-06 16:46 382  
[ ]xboole_1__288_38.min1.thm12017-02-06 12:45 618  
[ ]xboole_1__289_19.min1.thm12017-02-06 12:45 578  
[ ]xboole_1__289_19.min1.thm1.tptp2017-02-06 16:46 516  
[ ]xboole_1__293_36.min1.thm12017-02-06 12:45 568  
[ ]xboole_1__293_36.min1.thm1.tptp2017-02-06 16:46 506  
[ ]xboole_1__295_41.min1.thm12017-02-06 12:45 616  
[ ]xboole_1__295_41.min1.thm1.tptp2017-02-06 16:46 562  
[ ]xboole_1__296_21.min1.thm12017-02-06 12:45 542  
[ ]xboole_1__296_21.min1.thm1.tptp2017-02-06 16:46 488  
[ ]xboole_1__297_17.min1.thm12017-02-06 12:45 676  
[ ]xboole_1__307_33.min1.thm12017-02-06 12:45 520  
[ ]xboole_1__307_33.min1.thm1.tptp2017-02-06 16:46 458  
[ ]xboole_1__308_37.min1.thm12017-02-06 12:45 556  
[ ]xboole_1__308_37.min1.thm1.tptp2017-02-06 16:46 498  
[ ]xboole_1__309_37.min1.thm12017-02-06 12:45 585  
[ ]xboole_1__309_37.min1.thm1.tptp2017-02-06 16:46 527  
[ ]xboole_1__310_19.min1.thm12017-02-06 12:45 578  
[ ]xboole_1__310_19.min1.thm1.tptp2017-02-06 16:46 516  
[ ]xboole_1__315_21.min1.thm12017-02-06 12:45 587  
[ ]xboole_1__317_23.min1.thm12017-02-06 12:45 452  
[ ]xboole_1__317_23.min1.thm1.tptp2017-02-06 16:46 390  
[ ]xboole_1__318_16.min1.thm12017-02-06 12:45 494  
[ ]xboole_1__318_16.min1.thm1.tptp2017-02-06 16:46 432  
[ ]xboole_1__319_26.min1.thm12017-02-06 12:45 452  
[ ]xboole_1__319_26.min1.thm1.tptp2017-02-06 16:46 390  
[ ]xboole_1__320_31.min1.thm12017-02-06 12:45 618  
[ ]xboole_1__321_17.min1.thm12017-02-06 12:45 510  
[ ]xboole_1__321_17.min1.thm1.tptp2017-02-06 16:46 448  
[ ]xboole_1__328_12.min1.thm12017-02-06 12:45 883  
[ ]xboole_1__329_62.min1.thm12017-02-06 12:45 1.0K 
[ ]xboole_1__330_50.min1.thm12017-02-06 12:45 887  
[ ]xboole_1__331_50.min1.thm12017-02-06 12:45 866  
[ ]xboole_1__332_40.min1.thm12017-02-06 12:45 771  
[ ]xboole_1__333_47.min1.thm12017-02-06 12:45 796  
[ ]xboole_1__334_56.min1.thm12017-02-06 12:45 854  
[ ]xboole_1__335_56.min1.thm12017-02-06 12:45 867  
[ ]xboole_1__336_58.min1.thm12017-02-06 12:45 942  
[ ]xboole_1__337_42.min1.thm12017-02-06 12:45 885  
[ ]xboole_1__348_16.min1.thm12017-02-06 12:45 407  
[ ]xboole_1__348_16.min1.thm1.tptp2017-02-06 16:46 345  
[ ]xboole_1__350_13.min1.thm12017-02-06 12:45 421  
[ ]xboole_1__351_11.min1.thm12017-02-06 12:45 500  
[ ]xboole_1__352_17.min1.thm12017-02-06 12:45 483  
[ ]xboole_1__364_16.min1.thm12017-02-06 12:45 500  
[ ]xboole_1__366_13.min1.thm12017-02-06 12:45 421  
[ ]xboole_1__367_11.min1.thm12017-02-06 12:45 407  
[ ]xboole_1__367_11.min1.thm1.tptp2017-02-06 16:46 345  
[ ]xboole_1__368_16.min1.thm12017-02-06 12:45 421  
[ ]xboole_1__369_17.min1.thm12017-02-06 12:45 483  
[ ]xboole_1__377_21.min1.thm12017-02-06 12:45 270  
[ ]xboole_1__381_16.min1.thm12017-02-06 12:45 421  
[ ]xboole_1__382_17.min1.thm12017-02-06 12:45 483  
[ ]xboole_1__388_30.min1.thm12017-02-06 12:45 418  
[ ]xboole_1__388_30.min1.thm1.tptp2017-02-06 16:46 342  
[ ]xboole_1__389_17.min1.thm12017-02-06 12:45 506  
[ ]xboole_1__389_17.min1.thm1.tptp2017-02-06 16:46 435  
[ ]xboole_1__402_28.min1.thm12017-02-06 12:45 520  
[ ]xboole_1__402_28.min1.thm1.tptp2017-02-06 16:46 458  
[ ]xboole_1__403_37.min1.thm12017-02-06 12:45 556  
[ ]xboole_1__403_37.min1.thm1.tptp2017-02-06 16:46 498  
[ ]xboole_1__405_20.min1.thm12017-02-06 12:45 509  
[ ]xboole_1__405_20.min1.thm1.tptp2017-02-06 16:46 451  
[ ]xboole_1__406_13.min1.thm12017-02-06 12:45 734  
[ ]xboole_1__407_19.min1.thm12017-02-06 12:45 646  
[ ]xboole_1__412_21.min1.thm12017-02-06 12:45 465  
[ ]xboole_1__412_21.min1.thm1.tptp2017-02-06 16:46 403  
[ ]xboole_1__414_23.min1.thm12017-02-06 12:45 452  
[ ]xboole_1__414_23.min1.thm1.tptp2017-02-06 16:46 390  
[ ]xboole_1__415_11.min1.thm12017-02-06 12:45 529  
[ ]xboole_1__416_40.min1.thm12017-02-06 12:45 711  
[ ]xboole_1__417_17.min1.thm12017-02-06 12:45 648  
[ ]xboole_1__426_42.min1.thm12017-02-06 12:45 578  
[ ]xboole_1__426_42.min1.thm1.tptp2017-02-06 16:46 516  
[ ]xboole_1__427_46.min1.thm12017-02-06 12:45 632  
[ ]xboole_1__427_46.min1.thm1.tptp2017-02-06 16:46 578  
[ ]xboole_1__428_24.min1.thm12017-02-06 12:45 556  
[ ]xboole_1__428_24.min1.thm1.tptp2017-02-06 16:46 502  
[ ]xboole_1__430_17.min1.thm12017-02-06 12:45 696  
[ ]xboole_1__447_44.min1.thm12017-02-06 12:45 412  
[ ]xboole_1__447_44.min1.thm1.tptp2017-02-06 16:46 343  
[ ]xboole_1__448_35.min1.thm12017-02-06 12:45 657  
[ ]xboole_1__450_17.min1.thm12017-02-06 12:45 531  
[ ]xboole_1__460_41.min1.thm12017-02-06 12:45 560  
[ ]xboole_1__460_41.min1.thm1.tptp2017-02-06 16:46 502  
[ ]xboole_1__461_30.min1.thm12017-02-06 12:45 566  
[ ]xboole_1__461_30.min1.thm1.tptp2017-02-06 16:46 506  
[ ]xboole_1__463_17.min1.thm12017-02-06 12:45 350  
[ ]xboole_1__463_17.min1.thm1.tptp2017-02-06 16:46 290  
[ ]xboole_1__474_16.min1.thm12017-02-06 12:45 410  
[ ]xboole_1__474_16.min1.thm1.tptp2017-02-06 16:46 347  
[ ]xboole_1__476_13.min1.thm12017-02-06 12:45 421  
[ ]xboole_1__477_15.min1.thm12017-02-06 12:45 413  
[ ]xboole_1__477_15.min1.thm1.tptp2017-02-06 16:46 349  
[ ]xboole_1__478_17.min1.thm12017-02-06 12:45 489  
[ ]xboole_1__489_20.min1.thm12017-02-06 12:45 413  
[ ]xboole_1__489_20.min1.thm1.tptp2017-02-06 16:46 349  
[ ]xboole_1__491_17.min1.thm12017-02-06 12:45 427  
[ ]xboole_1__492_11.min1.thm12017-02-06 12:45 410  
[ ]xboole_1__492_11.min1.thm1.tptp2017-02-06 16:46 347  
[ ]xboole_1__493_17.min1.thm12017-02-06 12:45 489  
[ ]xboole_1__503_29.min1.thm12017-02-06 12:45 479  
[ ]xboole_1__503_29.min1.thm1.tptp2017-02-06 16:46 415  
[ ]xboole_1__505_31.min1.thm12017-02-06 12:45 468  
[ ]xboole_1__505_31.min1.thm1.tptp2017-02-06 16:46 408  
[ ]xboole_1__506_13.min1.thm12017-02-06 12:45 447  
[ ]xboole_1__506_13.min1.thm1.tptp2017-02-06 16:46 384  
[ ]xboole_1__507_40.min1.thm12017-02-06 12:45 624  
[ ]xboole_1__508_19.min1.thm12017-02-06 12:45 578  
[ ]xboole_1__508_19.min1.thm1.tptp2017-02-06 16:46 516  
[ ]xboole_1__510_52.min1.thm12017-02-06 12:45 670  
[ ]xboole_1__511_17.min1.thm12017-02-06 12:45 725  
[ ]xboole_1__511_17.min1.thm1.tptp2017-02-06 16:46 654  
[ ]xboole_1__518_41.min1.thm12017-02-06 12:45 682  
[ ]xboole_1__519_17.min1.thm12017-02-06 12:45 564  
[ ]xboole_1__519_17.min1.thm1.tptp2017-02-06 16:46 493  
[ ]xboole_1__526_16.min1.thm12017-02-06 12:45 385  
[ ]xboole_1__530_26.min1.thm12017-02-06 12:45 278  
[ ]xboole_1__542_22.min1.thm12017-02-06 12:45 487  
[ ]xboole_1__545_16.min1.thm12017-02-06 12:45 223  
[ ]xboole_1__555_32.min1.thm12017-02-06 12:45 520  
[ ]xboole_1__555_32.min1.thm1.tptp2017-02-06 16:46 458  
[ ]xboole_1__556_28.min1.thm12017-02-06 12:45 512  
[ ]xboole_1__556_28.min1.thm1.tptp2017-02-06 16:46 449  
[ ]xboole_1__557_19.min1.thm12017-02-06 12:45 462  
[ ]xboole_1__557_19.min1.thm1.tptp2017-02-06 16:46 400  
[ ]xboole_1__561_39.min1.thm12017-02-06 12:45 500  
[ ]xboole_1__561_39.min1.thm1.tptp2017-02-06 16:46 441  
[ ]xboole_1__562_30.min1.thm12017-02-06 12:45 548  
[ ]xboole_1__562_30.min1.thm1.tptp2017-02-06 16:46 488  
[ ]xboole_1__563_17.min1.thm12017-02-06 12:45 510  
[ ]xboole_1__563_17.min1.thm1.tptp2017-02-06 16:46 448  
[ ]xboole_1__573_25.min1.thm12017-02-06 12:45 569  
[ ]xboole_1__575_23.min1.thm12017-02-06 12:45 462  
[ ]xboole_1__575_23.min1.thm1.tptp2017-02-06 16:46 400  
[ ]xboole_1__576_17.min1.thm12017-02-06 12:45 543  
[ ]xboole_1__577_19.min1.thm12017-02-06 12:45 548  
[ ]xboole_1__583_28.min1.thm12017-02-06 12:45 465  
[ ]xboole_1__583_28.min1.thm1.tptp2017-02-06 16:46 402  
[ ]xboole_1__585_20.min1.thm12017-02-06 12:45 462  
[ ]xboole_1__585_20.min1.thm1.tptp2017-02-06 16:46 400  
[ ]xboole_1__586_17.min1.thm12017-02-06 12:45 421  
[ ]xboole_1__586_17.min1.thm1.tptp2017-02-06 16:46 357  
[ ]xboole_1__587_19.min1.thm12017-02-06 12:45 652  
[ ]xboole_1__599_17.min1.thm12017-02-06 12:45 450  
[ ]xboole_1__599_17.min1.thm1.tptp2017-02-06 16:46 386  
[ ]xboole_1__600_19.min1.thm12017-02-06 12:45 476  
[ ]xboole_1__600_19.min1.thm1.tptp2017-02-06 16:46 413  
[ ]xboole_1__602_13.min1.thm12017-02-06 12:45 418  
[ ]xboole_1__602_13.min1.thm1.tptp2017-02-06 16:46 355  
[ ]xboole_1__603_17.min1.thm12017-02-06 12:45 421  
[ ]xboole_1__603_17.min1.thm1.tptp2017-02-06 16:46 357  
[ ]xboole_1__604_29.min1.thm12017-02-06 12:45 504  
[ ]xboole_1__605_19.min1.thm12017-02-06 12:45 559  
[ ]xboole_1__612_24.min1.thm12017-02-06 12:45 479  
[ ]xboole_1__612_24.min1.thm1.tptp2017-02-06 16:46 415  
[ ]xboole_1__614_17.min1.thm12017-02-06 12:45 421  
[ ]xboole_1__614_17.min1.thm1.tptp2017-02-06 16:46 357  
[ ]xboole_1__615_17.min1.thm12017-02-06 12:45 514  
[ ]xboole_1__616_13.min1.thm12017-02-06 12:45 447  
[ ]xboole_1__616_13.min1.thm1.tptp2017-02-06 16:46 384  
[ ]xboole_1__617_24.min1.thm12017-02-06 12:45 501  
[ ]xboole_1__618_19.min1.thm12017-02-06 12:45 559  
[ ]xboole_1__630_25.min1.thm12017-02-06 12:45 476  
[ ]xboole_1__630_25.min1.thm1.tptp2017-02-06 16:46 413  
[ ]xboole_1__631_54.min1.thm12017-02-06 12:45 839  
[ ]xboole_1__632_40.min1.thm12017-02-06 12:45 641  
[ ]xboole_1__632_40.min1.thm1.tptp2017-02-06 16:46 584  
[ ]xboole_1__633_19.min1.thm12017-02-06 12:45 578  
[ ]xboole_1__633_19.min1.thm1.tptp2017-02-06 16:46 516  
[ ]xboole_1__637_38.min1.thm12017-02-06 12:45 568  
[ ]xboole_1__637_38.min1.thm1.tptp2017-02-06 16:46 506  
[ ]xboole_1__639_49.min1.thm12017-02-06 12:45 625  
[ ]xboole_1__639_49.min1.thm1.tptp2017-02-06 16:46 568  
[ ]xboole_1__640_23.min1.thm12017-02-06 12:45 548  
[ ]xboole_1__640_23.min1.thm1.tptp2017-02-06 16:46 492  
[ ]xboole_1__641_17.min1.thm12017-02-06 12:45 685  
[ ]xboole_1__652_16.min1.thm12017-02-06 12:45 410  
[ ]xboole_1__652_16.min1.thm1.tptp2017-02-06 16:46 347  
[ ]xboole_1__654_18.min1.thm12017-02-06 12:45 479  
[ ]xboole_1__655_15.min1.thm12017-02-06 12:45 413  
[ ]xboole_1__655_15.min1.thm1.tptp2017-02-06 16:46 349  
[ ]xboole_1__656_17.min1.thm12017-02-06 12:45 486  
[ ]xboole_1__666_30.min1.thm12017-02-06 12:45 455  
[ ]xboole_1__666_30.min1.thm1.tptp2017-02-06 16:46 392  
[ ]xboole_1__667_26.min1.thm12017-02-06 12:45 492  
[ ]xboole_1__667_26.min1.thm1.tptp2017-02-06 16:46 411  
[ ]xboole_1__668_17.min1.thm12017-02-06 12:45 452  
[ ]xboole_1__668_17.min1.thm1.tptp2017-02-06 16:46 390  
[ ]xboole_1__678_40.min1.thm12017-02-06 12:45 613  
[ ]xboole_1__679_41.min1.thm12017-02-06 12:45 618  
[ ]xboole_1__679_41.min1.thm1.tptp2017-02-06 16:46 560  
[ ]xboole_1__681_17.min1.thm12017-02-06 12:45 466  
[ ]xboole_1__681_17.min1.thm1.tptp2017-02-06 16:46 406  
[ ]xboole_1__687_16.min1.thm12017-02-06 12:45 269  
[ ]xboole_1__688_17.min1.thm12017-02-06 12:45 408  
[ ]xboole_1__688_17.min1.thm1.tptp2017-02-06 16:46 334  
[ ]xboole_1__696_55.min1.thm12017-02-06 12:45 701  
[ ]xboole_1__697_43.min1.thm12017-02-06 12:45 920  
[ ]xboole_1__697_43.min1.thm1.tptp2017-02-06 16:46 879  
[ ]xboole_1__699_17.min1.thm12017-02-06 12:45 524  
[ ]xboole_1__699_17.min1.thm1.tptp2017-02-06 16:46 464  
[ ]xboole_1__709_28.min1.thm12017-02-06 12:45 479  
[ ]xboole_1__709_28.min1.thm1.tptp2017-02-06 16:46 415  
[ ]xboole_1__711_27.min1.thm12017-02-06 12:45 474  
[ ]xboole_1__711_27.min1.thm1.tptp2017-02-06 16:46 412  
[ ]xboole_1__712_13.min1.thm12017-02-06 12:45 447  
[ ]xboole_1__712_13.min1.thm1.tptp2017-02-06 16:46 384  
[ ]xboole_1__713_19.min1.thm12017-02-06 12:45 548  
[ ]xboole_1__719_32.min1.thm12017-02-06 12:45 468  
[ ]xboole_1__719_32.min1.thm1.tptp2017-02-06 16:46 408  
[ ]xboole_1__721_23.min1.thm12017-02-06 12:45 474  
[ ]xboole_1__721_23.min1.thm1.tptp2017-02-06 16:46 412  
[ ]xboole_1__722_13.min1.thm12017-02-06 12:45 415  
[ ]xboole_1__722_13.min1.thm1.tptp2017-02-06 16:46 353  
[ ]xboole_1__723_19.min1.thm12017-02-06 12:45 559  
[ ]xboole_1__732_65.min1.thm12017-02-06 12:45 695  
[ ]xboole_1__733_64.min1.thm12017-02-06 12:45 895  
[ ]xboole_1__733_64.min1.thm1.tptp2017-02-06 16:46 881  
[ ]xboole_1__735_52.min1.thm12017-02-06 12:45 1.1K 
[ ]xboole_1__737_17.min1.thm12017-02-06 12:45 582  
[ ]xboole_1__737_17.min1.thm1.tptp2017-02-06 16:46 522  
[ ]xboole_1__743_18.min1.thm12017-02-06 12:45 270  
[ ]xboole_1__744_55.min1.thm12017-02-06 12:45 523  
[ ]xboole_1__745_30.min1.thm12017-02-06 12:45 584  
[ ]xboole_1__745_30.min1.thm1.tptp2017-02-06 16:46 510  
[ ]xboole_1__746_19.min1.thm12017-02-06 12:45 454  
[ ]xboole_1__746_19.min1.thm1.tptp2017-02-06 16:46 381  
[ ]xboole_1__747_17.min1.thm12017-02-06 12:45 628  
[ ]xboole_1__747_17.min1.thm1.tptp2017-02-06 16:46 555  
[ ]xboole_1__757_39.min1.thm12017-02-06 12:45 578  
[ ]xboole_1__757_39.min1.thm1.tptp2017-02-06 16:46 516  
[ ]xboole_1__758_19.min1.thm12017-02-06 12:45 723  
[ ]xboole_1__762_39.min1.thm12017-02-06 12:45 500  
[ ]xboole_1__762_39.min1.thm1.tptp2017-02-06 16:46 441  
[ ]xboole_1__763_37.min1.thm12017-02-06 12:45 600  
[ ]xboole_1__763_37.min1.thm1.tptp2017-02-06 16:46 542  
[ ]xboole_1__764_17.min1.thm12017-02-06 12:45 568  
[ ]xboole_1__764_17.min1.thm1.tptp2017-02-06 16:46 506  
[ ]xboole_1__774_28.min1.thm12017-02-06 12:45 479  
[ ]xboole_1__774_28.min1.thm1.tptp2017-02-06 16:46 415  
[ ]xboole_1__775_50.min1.thm12017-02-06 12:45 703  
[ ]xboole_1__776_39.min1.thm12017-02-06 12:45 774  
[ ]xboole_1__777_19.min1.thm12017-02-06 12:45 578  
[ ]xboole_1__777_19.min1.thm1.tptp2017-02-06 16:46 516  
[ ]xboole_1__782_39.min1.thm12017-02-06 12:45 578  
[ ]xboole_1__782_39.min1.thm1.tptp2017-02-06 16:46 516  
[ ]xboole_1__784_45.min1.thm12017-02-06 12:45 774  
[ ]xboole_1__785_28.min1.thm12017-02-06 12:45 565  
[ ]xboole_1__785_28.min1.thm1.tptp2017-02-06 16:46 508  
[ ]xboole_1__786_19.min1.thm12017-02-06 12:45 703  
[ ]xboole_1__793_49.min1.thm12017-02-06 12:45 669  
[ ]xboole_1__794_45.min1.thm12017-02-06 12:45 726  
[ ]xboole_1__794_45.min1.thm1.tptp2017-02-06 16:46 655  
[ ]xboole_1__799_19.min1.thm12017-02-06 12:45 494  
[ ]xboole_1__799_19.min1.thm1.tptp2017-02-06 16:46 432  
[ ]xboole_1__801_13.min1.thm12017-02-06 12:45 410  
[ ]xboole_1__801_13.min1.thm1.tptp2017-02-06 16:46 347  
[ ]xboole_1__802_17.min1.thm12017-02-06 12:45 587  
[ ]xboole_1__804_17.min1.thm12017-02-06 12:45 413  
[ ]xboole_1__804_17.min1.thm1.tptp2017-02-06 16:46 349  
[ ]xboole_1__805_15.min1.thm12017-02-06 12:45 413  
[ ]xboole_1__805_15.min1.thm1.tptp2017-02-06 16:46 349  
[ ]xboole_1__806_27.min1.thm12017-02-06 12:45 492  
[ ]xboole_1__807_17.min1.thm12017-02-06 12:45 548  
[ ]xboole_1__811_38.min1.thm12017-02-06 12:45 358  
[ ]xboole_1__822_31.min1.thm12017-02-06 12:45 512  
[ ]xboole_1__822_31.min1.thm1.tptp2017-02-06 16:46 448  
[ ]xboole_1__824_33.min1.thm12017-02-06 12:45 472  
[ ]xboole_1__824_33.min1.thm1.tptp2017-02-06 16:46 412  
[ ]xboole_1__825_22.min1.thm12017-02-06 12:45 509  
[ ]xboole_1__825_22.min1.thm1.tptp2017-02-06 16:46 446  
[ ]xboole_1__826_30.min1.thm12017-02-06 12:45 466  
[ ]xboole_1__826_30.min1.thm1.tptp2017-02-06 16:46 404  
[ ]xboole_1__827_42.min1.thm12017-02-06 12:45 677  
[ ]xboole_1__828_21.min1.thm12017-02-06 12:45 582  
[ ]xboole_1__828_21.min1.thm1.tptp2017-02-06 16:46 520  
[ ]xboole_1__831_40.min1.thm12017-02-06 12:45 578  
[ ]xboole_1__831_40.min1.thm1.tptp2017-02-06 16:46 516  
[ ]xboole_1__832_54.min1.thm12017-02-06 12:45 641  
[ ]xboole_1__832_54.min1.thm1.tptp2017-02-06 16:46 584  
[ ]xboole_1__833_47.min1.thm12017-02-06 12:45 777  
[ ]xboole_1__834_19.min1.thm12017-02-06 12:45 584  
[ ]xboole_1__834_19.min1.thm1.tptp2017-02-06 16:46 520  
[ ]xboole_1__836_17.min1.thm12017-02-06 12:45 698  
[ ]xboole_1__836_17.min1.thm1.tptp2017-02-06 16:46 638  
[ ]xboole_1__844_11.min1.thm12017-02-06 12:45 336  
[ ]xboole_1__844_11.min1.thm1.tptp2017-02-06 16:46 262  
[ ]xboole_1__845_26.min1.thm12017-02-06 12:45 701  
[ ]xboole_1__854_11.min1.thm12017-02-06 12:45 336  
[ ]xboole_1__854_11.min1.thm1.tptp2017-02-06 16:46 262  
[ ]xboole_1__855_17.min1.thm12017-02-06 12:45 430  
[ ]xboole_1__859_23.min1.thm12017-02-06 12:45 273  
[ ]xboole_1__867_11.min1.thm12017-02-06 12:45 336  
[ ]xboole_1__867_11.min1.thm1.tptp2017-02-06 16:46 262  
[ ]xboole_1__868_26.min1.thm12017-02-06 12:45 701  
[ ]xboole_1__872_35.min1.thm12017-02-06 12:45 306  
[ ]xboole_1__886_17.min1.thm12017-02-06 12:45 223  
[ ]xboole_1__887_16.min1.thm12017-02-06 12:45 218  
[ ]xboole_1__895_17.min1.thm12017-02-06 12:45 328  
[ ]xboole_1__895_17.min1.thm1.tptp2017-02-06 16:46 254  
[ ]xboole_1__905_21.min1.thm12017-02-06 12:45 604  
[ ]xboole_1__906_17.min1.thm12017-02-06 12:45 353  
[ ]xboole_1__906_17.min1.thm1.tptp2017-02-06 16:46 279  
[ ]xboole_1__916_15.min1.thm12017-02-06 12:45 430  
[ ]xboole_1__917_17.min1.thm12017-02-06 12:45 521  
[ ]xboole_1__933_35.min1.thm12017-02-06 12:45 457  
[ ]xboole_1__933_35.min1.thm1.tptp2017-02-06 16:46 403  
[ ]xboole_1__934_17.min1.thm12017-02-06 12:45 390  
[ ]xboole_1__937_19.min1.thm12017-02-06 12:45 322  
[ ]xboole_1__937_19.min1.thm1.tptp2017-02-06 16:46 242  
[ ]xboole_1__938_17.min1.thm12017-02-06 12:45 434  
[ ]xboole_1__945_17.min1.thm12017-02-06 12:45 530  
[ ]xboole_1__954_13.min1.thm12017-02-06 12:45 308  
[ ]xboole_1__954_13.min1.thm1.tptp2017-02-06 16:46 231  
[ ]xboole_1__956_25.min1.thm12017-02-06 12:45 511  
[ ]xboole_1__957_17.min1.thm12017-02-06 12:45 473  
[ ]xboole_1__957_17.min1.thm1.tptp2017-02-06 16:46 412  
[ ]xboole_1__961_56.min1.thm12017-02-06 12:45 393  
[ ]xboole_1__961_56.min1.thm1.tptp2017-02-06 16:46 338  
[ ]xboole_1__970_27.min1.thm12017-02-06 12:45 515  
[ ]xboole_1__970_27.min1.thm1.tptp2017-02-06 16:46 461  
[ ]xboole_1__971_41.min1.thm12017-02-06 12:45 603  
[ ]xboole_1__971_41.min1.thm1.tptp2017-02-06 16:46 549  
[ ]xboole_1__972_19.min1.thm12017-02-06 12:45 713  
[ ]xboole_1__979_13.min1.thm12017-02-06 12:45 457  
[ ]xboole_1__979_13.min1.thm1.tptp2017-02-06 16:46 403  
[ ]xboole_1__980_18.min1.thm12017-02-06 12:45 508  
[ ]xboole_1__981_19.min1.thm12017-02-06 12:45 663  
[ ]xboole_1__988_13.min1.thm12017-02-06 12:45 457  
[ ]xboole_1__988_13.min1.thm1.tptp2017-02-06 16:46 403  
[ ]xboole_1__989_18.min1.thm12017-02-06 12:45 415  
[ ]xboole_1__989_18.min1.thm1.tptp2017-02-06 16:46 353  
[ ]xboole_1__990_19.min1.thm12017-02-06 12:45 663  
[ ]xboole_1__992_17.min1.thm12017-02-06 12:45 617  
[ ]xboole_1__992_17.min1.thm1.tptp2017-02-06 16:46 539  
[ ]xboole_1__1006_18.min1.thm12017-02-06 12:45 487  
[ ]xboole_1__1008_18.min1.thm12017-02-06 12:45 489  
[ ]xboole_1__1009_17.min1.thm12017-02-06 12:45 674  
[ ]xboole_1__1010_19.min1.thm12017-02-06 12:45 498  
[ ]xboole_1__1014_16.min1.thm12017-02-06 12:45 485  
[ ]xboole_1__1016_18.min1.thm12017-02-06 12:45 479  
[ ]xboole_1__1017_15.min1.thm12017-02-06 12:45 666  
[ ]xboole_1__1018_17.min1.thm12017-02-06 12:45 486  
[ ]xboole_1__1028_34.min1.thm12017-02-06 12:45 459  
[ ]xboole_1__1028_34.min1.thm1.tptp2017-02-06 16:46 387  
[ ]xboole_1__1029_29.min1.thm12017-02-06 12:45 496  
[ ]xboole_1__1030_28.min1.thm12017-02-06 12:45 436  
[ ]xboole_1__1031_24.min1.thm12017-02-06 12:45 834  
[ ]xboole_1__1032_12.min1.thm12017-02-06 12:45 682  
[ ]xboole_1__1041_21.min1.thm12017-02-06 12:45 402  
[ ]xboole_1__1041_21.min1.thm1.tptp2017-02-06 16:46 328  
[ ]xboole_1__1042_26.min1.thm12017-02-06 12:45 805  
[ ]xboole_1__1043_17.min1.thm12017-02-06 12:45 516  
[ ]xboole_1__1052_18.min1.thm12017-02-06 12:45 511  
[ ]xboole_1__1052_18.min1.thm1.tptp2017-02-06 16:46 457  
[ ]xboole_1__1053_11.min1.thm12017-02-06 12:45 407  
[ ]xboole_1__1053_11.min1.thm1.tptp2017-02-06 16:46 345  
[ ]xboole_1__1054_17.min1.thm12017-02-06 12:45 504  
[ ]xboole_1__1063_13.min1.thm12017-02-06 12:45 453  
[ ]xboole_1__1063_13.min1.thm1.tptp2017-02-06 16:46 399  
[ ]xboole_1__1064_16.min1.thm12017-02-06 12:45 483  
[ ]xboole_1__1065_17.min1.thm12017-02-06 12:45 655  
[ ]xboole_1__1072_27.min1.thm12017-02-06 12:45 569  
[ ]xboole_1__1073_17.min1.thm12017-02-06 12:45 627  
[ ]xboole_1__1085_29.min1.thm12017-02-06 12:45 499  
[ ]xboole_1__1086_14.min1.thm12017-02-06 12:45 686  
[ ]xboole_1__1089_17.min1.thm12017-02-06 12:45 417  
[ ]xboole_1__1089_17.min1.thm1.tptp2017-02-06 16:46 340  
[ ]xboole_1__1096_21.min1.thm12017-02-06 12:45 353  
[ ]xboole_1__1096_21.min1.thm1.tptp2017-02-06 16:46 279  
[ ]xboole_1__1097_39.min1.thm12017-02-06 12:45 649  
[ ]xboole_1__1098_13.min1.thm12017-02-06 12:45 396  
[ ]xboole_1__1098_13.min1.thm1.tptp2017-02-06 16:46 323  
[ ]xboole_1__1108_26.min1.thm12017-02-06 12:45 613  
[ ]xboole_1__1111_28.min1.thm12017-02-06 12:45 579  
[ ]xboole_1__1122_17.min1.thm12017-02-06 12:45 511  
[ ]xboole_1__1122_17.min1.thm1.tptp2017-02-06 16:46 457  
[ ]xboole_1__1123_11.min1.thm12017-02-06 12:45 410  
[ ]xboole_1__1123_11.min1.thm1.tptp2017-02-06 16:46 347  
[ ]xboole_1__1130_43.min1.thm12017-02-06 12:45 382  
[ ]xboole_1__1131_30.min1.thm12017-02-06 12:45 484  
[ ]xboole_1__1131_30.min1.thm1.tptp2017-02-06 16:46 417  
[ ]xboole_1__1132_22.min1.thm12017-02-06 12:45 391  
[ ]xboole_1__1133_17.min1.thm12017-02-06 12:45 747  
[ ]xboole_1__1142_17.min1.thm12017-02-06 12:45 569  
[ ]xboole_1__1142_17.min1.thm1.tptp2017-02-06 16:46 515  
[ ]xboole_1__1143_11.min1.thm12017-02-06 12:45 410  
[ ]xboole_1__1143_11.min1.thm1.tptp2017-02-06 16:46 347  
[ ]xboole_1__1154_49.min1.thm12017-02-06 12:45 362  
[ ]xboole_1__1156_55.min1.thm12017-02-06 12:45 435  
[ ]xboole_1__1157_19.min1.thm12017-02-06 12:45 887  
[ ]xboole_1__1165_22.min1.thm12017-02-06 12:45 462  
[ ]xboole_1__1165_22.min1.thm1.tptp2017-02-06 16:46 400  
[ ]xboole_1__1168_17.min1.thm12017-02-06 12:45 444  
[ ]xboole_1__1168_17.min1.thm1.tptp2017-02-06 16:46 378  
[ ]xboole_1__1177_35.min1.thm12017-02-06 12:45 436  
[ ]xboole_1__1178_21.min1.thm12017-02-06 12:45 534  
[ ]xboole_1__1179_29.min1.thm12017-02-06 12:45 628  
[ ]xboole_1__1187_35.min1.thm12017-02-06 12:45 484  
[ ]xboole_1__1187_35.min1.thm1.tptp2017-02-06 16:46 417  
[ ]xboole_1__1188_22.min1.thm12017-02-06 12:45 391  
[ ]xboole_1__1189_17.min1.thm12017-02-06 12:45 482  
[ ]xboole_1__1190_9.min1.thm12017-02-06 12:45 250  
[ ]xboole_1__1200_29.min1.thm12017-02-06 12:45 859  
[ ]xboole_1__1201_17.min1.thm12017-02-06 12:45 458  
[ ]xboole_1__1201_17.min1.thm1.tptp2017-02-06 16:46 394  
[ ]xboole_1__1209_43.min1.thm12017-02-06 12:45 436  
[ ]xboole_1__1210_22.min1.thm12017-02-06 12:45 651  
[ ]xboole_1__1218_43.min1.thm12017-02-06 12:45 529  
[ ]xboole_1__1218_43.min1.thm1.tptp2017-02-06 16:46 462  
[ ]xboole_1__1219_23.min1.thm12017-02-06 12:45 616  
[ ]xboole_1__1220_11.min1.thm12017-02-06 12:45 439  
[ ]xboole_1__1228_38.min1.thm12017-02-06 12:45 270  
[ ]xboole_1__1229_43.min1.thm12017-02-06 12:45 553  
[ ]xboole_1__1229_43.min1.thm1.tptp2017-02-06 16:46 519  
[ ]xboole_1__1231_17.min1.thm12017-02-06 12:45 569  
[ ]xboole_1__1231_17.min1.thm1.tptp2017-02-06 16:46 515  
[ ]xboole_1__1237_25.min1.thm12017-02-06 12:45 338  
[ ]xboole_1__1238_17.min1.thm12017-02-06 12:45 455  
[ ]xboole_1__1238_17.min1.thm1.tptp2017-02-06 16:46 375  
[ ]xboole_1__1247_14.min1.thm12017-02-06 12:45 843  
[ ]xboole_1__1248_61.min1.thm12017-02-06 12:45 948  
[ ]xboole_1__1248_61.min1.thm1.tptp2017-02-06 16:46 881  
[ ]xboole_1__1249_50.min1.thm12017-02-06 12:45 948  
[ ]xboole_1__1249_50.min1.thm1.tptp2017-02-06 16:46 881  
[ ]xboole_1__1250_51.min1.thm12017-02-06 12:45 1.0K 
[ ]xboole_1__1250_51.min1.thm1.tptp2017-02-06 16:46 904  
[ ]xboole_1__1251_34.min1.thm12017-02-06 12:45 1.1K 
[ ]xboole_1__1252_32.min1.thm12017-02-06 12:45 1.1K 
[ ]xboole_1__1253_32.min1.thm12017-02-06 12:45 1.1K 
[ ]xboole_1__1254_34.min1.thm12017-02-06 12:45 1.1K 
[ ]xboole_1__1255_45.min1.thm12017-02-06 12:45 1.0K 
[ ]xboole_1__1255_45.min1.thm1.tptp2017-02-06 16:46 939  
[ ]xboole_1__1256_49.min1.thm12017-02-06 12:45 1.0K 
[ ]xboole_1__1256_49.min1.thm1.tptp2017-02-06 16:46 927  
[ ]xboole_1__1257_60.min1.thm12017-02-06 12:45 1.0K 
[ ]xboole_1__1257_60.min1.thm1.tptp2017-02-06 16:46 905  
[ ]xboole_1__1258_69.min1.thm12017-02-06 12:45 949  
[ ]xboole_1__1258_69.min1.thm1.tptp2017-02-06 16:46 882  
[ ]xboole_1__1259_66.min1.thm12017-02-06 12:45 949  
[ ]xboole_1__1259_66.min1.thm1.tptp2017-02-06 16:46 882  
[ ]xboole_1__1260_25.min1.thm12017-02-06 12:45 751  
[ ]xboole_1__1260_25.min1.thm1.tptp2017-02-06 16:46 684  
[ ]xboole_1__1264_17.min1.thm12017-02-06 12:45 505  
[ ]xboole_1__1269_43.min1.thm12017-02-06 12:45 584  
[ ]xboole_1__1270_34.min1.thm12017-02-06 12:45 692  
[ ]xboole_1__1271_22.min1.thm12017-02-06 12:45 597  
[ ]xboole_1__1272_42.min1.thm12017-02-06 12:45 549  
[ ]xboole_1__1272_42.min1.thm1.tptp2017-02-06 16:46 479  
[ ]xboole_1__1273_29.min1.thm12017-02-06 12:45 710  
[ ]xboole_1__1278_46.min1.thm12017-02-06 12:45 517  
[ ]xboole_1__1278_46.min1.thm1.tptp2017-02-06 16:46 443  
[ ]xboole_1__1279_17.min1.thm12017-02-06 12:45 794  
[ ]xboole_1__1284_43.min1.thm12017-02-06 12:45 509  
[ ]xboole_1__1284_43.min1.thm1.tptp2017-02-06 16:46 439  
[ ]xboole_1__1285_38.min1.thm12017-02-06 12:45 607  
[ ]xboole_1__1285_38.min1.thm1.tptp2017-02-06 16:46 537  
[ ]xboole_1__1286_27.min1.thm12017-02-06 12:45 523  
[ ]xboole_1__1292_26.min1.thm12017-02-06 12:45 430  
[ ]xboole_1__1292_26.min1.thm1.tptp2017-02-06 16:46 356  
[ ]xboole_1__1293_68.min1.thm12017-02-06 12:45 846  
[ ]xboole_1__1294_17.min1.thm12017-02-06 12:45 918  
[ ]xboole_1__1300_32.min1.thm12017-02-06 12:45 494  
[ ]xboole_1__1300_32.min1.thm1.tptp2017-02-06 16:46 424  
[ ]xboole_1__1301_27.min1.thm12017-02-06 12:45 591  
[ ]xboole_1__1303_32.min1.thm12017-02-06 12:45 577  
[ ]xboole_1__1304_33.min1.thm12017-02-06 12:45 587  
[ ]xboole_1__1305_17.min1.thm12017-02-06 12:45 1.0K 
[ ]xboole_1__1309_21.min1.thm12017-02-06 12:45 366  
[ ]xboole_1__1309_21.min1.thm1.tptp2017-02-06 16:46 298  
[ ]xboole_1__1312_49.min1.thm12017-02-06 12:45 472  
[ ]xboole_1__1312_49.min1.thm1.tptp2017-02-06 16:46 426  
[ ]xboole_1__1317_31.min1.thm12017-02-06 12:45 466  
[ ]xboole_1__1317_31.min1.thm1.tptp2017-02-06 16:46 399  
[ ]xboole_1__1318_12.min1.thm12017-02-06 12:45 319  
[ ]xboole_1__1319_36.min1.thm12017-02-06 12:45 604  
[ ]xboole_1__1320_11.min1.thm12017-02-06 12:45 571  
[ ]xboole_1__1321_17.min1.thm12017-02-06 12:45 724  
[ ]xboole_1__1327_52.min1.thm12017-02-06 12:45 605  
[ ]xboole_1__1327_52.min1.thm1.tptp2017-02-06 16:46 538  
[ ]xboole_1__1328_39.min1.thm12017-02-06 12:45 658  
[ ]xboole_1__1328_39.min1.thm1.tptp2017-02-06 16:46 591  
[ ]xboole_1__1329_42.min1.thm12017-02-06 12:45 565  
[ ]xboole_1__1335_16.min1.thm12017-02-06 12:45 270  
[ ]xboole_1__1336_25.min1.thm12017-02-06 12:45 408  
[ ]xboole_1__1336_25.min1.thm1.tptp2017-02-06 16:46 334  
[ ]xboole_1__1337_17.min1.thm12017-02-06 12:45 631  
[ ]xboole_1__1341_32.min1.thm12017-02-06 12:45 426  
[ ]xboole_1__1341_32.min1.thm1.tptp2017-02-06 16:46 362  
[ ]xboole_1__1346_49.min1.thm12017-02-06 12:45 443  
[ ]xboole_1__1347_39.min1.thm12017-02-06 12:45 552  
[ ]xboole_1__1348_37.min1.thm12017-02-06 12:45 658  
[ ]xboole_1__1348_37.min1.thm1.tptp2017-02-06 16:46 591  
[ ]xboole_1__1352_26.min1.thm12017-02-06 12:45 388  
[ ]xboole_1__1352_26.min1.thm1.tptp2017-02-06 16:46 320  
[ ]xboole_1__1360_29.min1.thm12017-02-06 12:45 546  
[ ]xboole_1__1363_17.min1.thm12017-02-06 12:45 474  
[ ]xboole_1__1363_17.min1.thm1.tptp2017-02-06 16:46 401  
[ ]xboole_1__1375_16.min1.thm12017-02-06 12:45 350  
[ ]xboole_1__1375_16.min1.thm1.tptp2017-02-06 16:46 276  
[ ]xboole_1__1384_15.min1.thm12017-02-06 12:45 274  
[ ]xboole_1__1385_17.min1.thm12017-02-06 12:45 490  
[ ]xboole_1__1389_22.min1.thm12017-02-06 12:45 498  
[ ]xboole_1__1390_23.min1.thm12017-02-06 12:45 428  
[ ]xboole_1__1390_23.min1.thm1.tptp2017-02-06 16:46 364  
[ ]xboole_1__1392_17.min1.thm12017-02-06 12:45 459  
[ ]xboole_1__1392_17.min1.thm1.tptp2017-02-06 16:46 405  
[ ]xboole_1__1398_32.min1.thm12017-02-06 12:45 501  
[ ]xboole_1__1398_32.min1.thm1.tptp2017-02-06 16:46 431  
[ ]xboole_1__1399_17.min1.thm12017-02-06 12:45 901  
[ ]xboole_1__1405_16.min1.thm12017-02-06 12:45 274  
[ ]xboole_1__1406_17.min1.thm12017-02-06 12:45 459  
[ ]xboole_1__1406_17.min1.thm1.tptp2017-02-06 16:46 388  
[ ]xboole_1__1412_15.min1.thm12017-02-06 12:45 274  
[ ]xboole_1__1413_17.min1.thm12017-02-06 12:45 459  
[ ]xboole_1__1413_17.min1.thm1.tptp2017-02-06 16:46 388  
[ ]xboole_1__1420_33.min1.thm12017-02-06 12:45 504  
[ ]xboole_1__1420_33.min1.thm1.tptp2017-02-06 16:46 429  
[ ]xboole_1__1421_17.min1.thm12017-02-06 12:45 615  
[ ]xboole_1__1427_64.min1.thm12017-02-06 12:45 627  
[ ]xboole_1__1427_64.min1.thm1.tptp2017-02-06 16:46 560  
[ ]xboole_1__1428_42.min1.thm12017-02-06 12:45 764  
[ ]xboole_1__1429_37.min1.thm12017-02-06 12:45 815  
[ ]xboole_1__1430_22.min1.thm12017-02-06 12:45 681  
[ ]xboole_1__1436_73.min1.thm12017-02-06 12:45 769  
[ ]xboole_1__1437_42.min1.thm12017-02-06 12:45 718  
[ ]xboole_1__1437_42.min1.thm1.tptp2017-02-06 16:46 651  
[ ]xboole_1__1438_24.min1.thm12017-02-06 12:45 708  
[ ]xboole_1__1444_42.min1.thm12017-02-06 12:45 550  
[ ]xboole_1__1444_42.min1.thm1.tptp2017-02-06 16:46 483  
[ ]xboole_1__1445_30.min1.thm12017-02-06 12:45 550  
[ ]xboole_1__1445_30.min1.thm1.tptp2017-02-06 16:46 483  
[ ]xboole_1__1446_28.min1.thm12017-02-06 12:45 550  
[ ]xboole_1__1446_28.min1.thm1.tptp2017-02-06 16:46 483  
[ ]xboole_1__1447_14.min1.thm12017-02-06 12:45 586  
[ ]xboole_1__1457_22.min1.thm12017-02-06 12:45 638  
[ ]xboole_1__1459_17.min1.thm12017-02-06 12:45 823  
[ ]xboole_1__1467_17.min1.thm12017-02-06 12:45 332  
[ ]xboole_1__1467_17.min1.thm1.tptp2017-02-06 16:46 258  
[ ]xboole_1__1474_42.min1.thm12017-02-06 12:45 596  
[ ]xboole_1__1475_28.min1.thm12017-02-06 12:45 626  
[ ]xboole_1__1476_30.min1.thm12017-02-06 12:45 551  
[ ]xboole_1__1476_30.min1.thm1.tptp2017-02-06 16:46 484  
[ ]xboole_1__1485_21.min1.thm12017-02-06 12:45 425  
[ ]xboole_1__1485_21.min1.thm1.tptp2017-02-06 16:46 350  
[ ]xboole_1__1490_63.min1.thm12017-02-06 12:45 627  
[ ]xboole_1__1490_63.min1.thm1.tptp2017-02-06 16:46 570  
[ ]xboole_1__1491_45.min1.thm12017-02-06 12:45 755  
[ ]xboole_1__1491_45.min1.thm1.tptp2017-02-06 16:46 702  
[ ]xboole_1__1492_43.min1.thm12017-02-06 12:45 689  
[ ]xboole_1__1492_43.min1.thm1.tptp2017-02-06 16:46 631  
[ ]xboole_1__1493_19.min1.thm12017-02-06 12:45 651  
[ ]xboole_1__1493_19.min1.thm1.tptp2017-02-06 16:46 589  
[ ]xboole_1__1495_56.min1.thm12017-02-06 12:45 725  
[ ]xboole_1__1496_17.min1.thm12017-02-06 12:45 902  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80