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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bvfunc14__45_37.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__46_25.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__47_25.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__49_40.min1.thm12017-02-06 12:44 685  
[ ]bvfunc14__50_25.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__51_46.min1.thm12017-02-06 12:44 666  
[ ]bvfunc14__52_36.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__57_18.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__58_39.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__59_33.min1.thm12017-02-06 12:44 654  
[ ]bvfunc14__62_25.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__64_41.min1.thm12017-02-06 12:44 687  
[ ]bvfunc14__65_34.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__66_33.min1.thm12017-02-06 12:44 654  
[ ]bvfunc14__69_23.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__70_42.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__71_19.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__77_21.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__79_19.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__81_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__96_12.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__97_36.min1.thm12017-02-06 12:44 756  
[ ]bvfunc14__101_17.min1.thm12017-02-06 12:44 970  
[ ]bvfunc14__103_35.min1.thm12017-02-06 12:44 444  
[ ]bvfunc14__103_35.min1.thm1.tptp2017-02-06 16:48 376  
[ ]bvfunc14__110_20.min1.thm12017-02-06 12:44 639  
[ ]bvfunc14__113_25.min1.thm12017-02-06 12:44 893  
[ ]bvfunc14__117_25.min1.thm12017-02-06 12:45 893  
[ ]bvfunc14__120_18.min1.thm12017-02-06 12:44 414  
[ ]bvfunc14__122_50.min1.thm12017-02-06 12:45 604  
[ ]bvfunc14__134_22.min1.thm12017-02-06 12:44 720  
[ ]bvfunc14__137_27.min1.thm12017-02-06 12:45 584  
[ ]bvfunc14__141_27.min1.thm12017-02-06 12:44 677  
[ ]bvfunc14__144_20.min1.thm12017-02-06 12:45 401  
[ ]bvfunc14__146_25.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__147_21.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__155_20.min1.thm12017-02-06 12:44 479  
[ ]bvfunc14__158_25.min1.thm12017-02-06 12:44 638  
[ ]bvfunc14__162_25.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__165_18.min1.thm12017-02-06 12:45 647  
[ ]bvfunc14__167_22.min1.thm12017-02-06 12:44 445  
[ ]bvfunc14__167_22.min1.thm1.tptp2017-02-06 16:48 377  
[ ]bvfunc14__173_19.min1.thm12017-02-06 12:44 309  
[ ]bvfunc14__174_20.min1.thm12017-02-06 12:44 609  
[ ]bvfunc14__176_29.min1.thm12017-02-06 12:44 726  
[ ]bvfunc14__177_19.min1.thm12017-02-06 12:44 396  
[ ]bvfunc14__177_19.min1.thm1.tptp2017-02-06 16:48 346  
[ ]bvfunc14__179_15.min1.thm12017-02-06 12:45 1.5K 
[ ]bvfunc14__180_15.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__181_21.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__183_58.min1.thm12017-02-06 12:44 798  
[ ]bvfunc14__197_21.min1.thm12017-02-06 12:44 337  
[ ]bvfunc14__197_21.min1.thm1.tptp2017-02-06 16:48 269  
[ ]bvfunc14__198_17.min1.thm12017-02-06 12:44 457  
[ ]bvfunc14__200_20.min1.thm12017-02-06 12:44 583  
[ ]bvfunc14__212_19.min1.thm12017-02-06 12:44 616  
[ ]bvfunc14__214_22.min1.thm12017-02-06 12:44 583  
[ ]bvfunc14__217_27.min1.thm12017-02-06 12:44 564  
[ ]bvfunc14__221_27.min1.thm12017-02-06 12:44 651  
[ ]bvfunc14__224_20.min1.thm12017-02-06 12:44 637  
[ ]bvfunc14__232_22.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__235_27.min1.thm12017-02-06 12:44 597  
[ ]bvfunc14__239_27.min1.thm12017-02-06 12:45 690  
[ ]bvfunc14__242_20.min1.thm12017-02-06 12:44 455  
[ ]bvfunc14__244_31.min1.thm12017-02-06 12:44 788  
[ ]bvfunc14__245_21.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__247_13.min1.thm12017-02-06 12:44 451  
[ ]bvfunc14__249_16.min1.thm12017-02-06 12:44 389  
[ ]bvfunc14__249_16.min1.thm1.tptp2017-02-06 16:48 308  
[ ]bvfunc14__250_13.min1.thm12017-02-06 12:44 364  
[ ]bvfunc14__250_13.min1.thm1.tptp2017-02-06 16:48 308  
[ ]bvfunc14__252_16.min1.thm12017-02-06 12:44 389  
[ ]bvfunc14__252_16.min1.thm1.tptp2017-02-06 16:48 308  
[ ]bvfunc14__253_17.min1.thm12017-02-06 12:44 545  
[ ]bvfunc14__255_20.min1.thm12017-02-06 12:45 584  
[ ]bvfunc14__260_31.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__261_33.min1.thm12017-02-06 12:44 972  
[ ]bvfunc14__262_21.min1.thm12017-02-06 12:44 579  
[ ]bvfunc14__262_21.min1.thm1.tptp2017-02-06 16:48 517  
[ ]bvfunc14__264_26.min1.thm12017-02-06 12:44 659  
[ ]bvfunc14__265_34.min1.thm12017-02-06 12:44 731  
[ ]bvfunc14__266_41.min1.thm12017-02-06 12:44 657  
[ ]bvfunc14__267_19.min1.thm12017-02-06 12:44 758  
[ ]bvfunc14__269_17.min1.thm12017-02-06 12:45 596  
[ ]bvfunc14__276_50.min1.thm12017-02-06 12:44 700  
[ ]bvfunc14__278_21.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__281_22.min1.thm12017-02-06 12:44 407  
[ ]bvfunc14__282_17.min1.thm12017-02-06 12:44 375  
[ ]bvfunc14__291_27.min1.thm12017-02-06 12:44 615  
[ ]bvfunc14__293_33.min1.thm12017-02-06 12:45 754  
[ ]bvfunc14__295_30.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__296_25.min1.thm12017-02-06 12:45 615  
[ ]bvfunc14__297_29.min1.thm12017-02-06 12:44 686  
[ ]bvfunc14__298_27.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__299_11.min1.thm12017-02-06 12:44 563  
[ ]bvfunc14__310_25.min1.thm12017-02-06 12:44 615  
[ ]bvfunc14__311_33.min1.thm12017-02-06 12:44 754  
[ ]bvfunc14__313_39.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__314_25.min1.thm12017-02-06 12:45 615  
[ ]bvfunc14__315_33.min1.thm12017-02-06 12:44 754  
[ ]bvfunc14__316_27.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__317_11.min1.thm12017-02-06 12:44 563  
[ ]bvfunc14__326_22.min1.thm12017-02-06 12:44 868  
[ ]bvfunc14__328_17.min1.thm12017-02-06 12:44 437  
[ ]bvfunc14__328_17.min1.thm1.tptp2017-02-06 16:48 379  
[ ]bvfunc14__335_15.min1.thm12017-02-06 12:44 588  
[ ]bvfunc14__337_18.min1.thm12017-02-06 12:44 591  
[ ]bvfunc14__340_23.min1.thm12017-02-06 12:44 607  
[ ]bvfunc14__344_23.min1.thm12017-02-06 12:45 607  
[ ]bvfunc14__348_23.min1.thm12017-02-06 12:44 607  
[ ]bvfunc14__351_16.min1.thm12017-02-06 12:44 944  
[ ]bvfunc14__353_17.min1.thm12017-02-06 12:44 437  
[ ]bvfunc14__353_17.min1.thm1.tptp2017-02-06 16:48 379  
[ ]bvfunc14__354_17.min1.thm12017-02-06 12:44 437  
[ ]bvfunc14__354_17.min1.thm1.tptp2017-02-06 16:48 379  
[ ]bvfunc14__361_18.min1.thm12017-02-06 12:44 665  
[ ]bvfunc14__361_18.min1.thm1.tptp2017-02-06 16:48 608  
[ ]bvfunc14__364_23.min1.thm12017-02-06 12:44 648  
[ ]bvfunc14__368_23.min1.thm12017-02-06 12:44 648  
[ ]bvfunc14__372_23.min1.thm12017-02-06 12:44 648  
[ ]bvfunc14__375_16.min1.thm12017-02-06 12:44 585  
[ ]bvfunc14__377_17.min1.thm12017-02-06 12:44 800  
[ ]bvfunc14__394_12.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__395_43.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__399_18.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__400_36.min1.thm12017-02-06 12:44 756  
[ ]bvfunc14__404_18.min1.thm12017-02-06 12:44 970  
[ ]bvfunc14__406_29.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__407_25.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__408_15.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__415_20.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__418_25.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__422_21.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__423_25.min1.thm12017-02-06 12:44 894  
[ ]bvfunc14__427_21.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__428_25.min1.thm12017-02-06 12:44 894  
[ ]bvfunc14__431_18.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__433_49.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__434_15.min1.thm12017-02-06 12:45 966  
[ ]bvfunc14__441_20.min1.thm12017-02-06 12:44 577  
[ ]bvfunc14__444_25.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__448_25.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__452_25.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__455_18.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__457_15.min1.thm12017-02-06 12:44 929  
[ ]bvfunc14__469_22.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__472_27.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__476_33.min1.thm12017-02-06 12:44 639  
[ ]bvfunc14__477_27.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__481_33.min1.thm12017-02-06 12:44 732  
[ ]bvfunc14__482_27.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__485_20.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__487_25.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__488_21.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__490_23.min1.thm12017-02-06 12:44 815  
[ ]bvfunc14__491_22.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__493_19.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__499_26.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__500_29.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__501_22.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__503_15.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__504_29.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__505_22.min1.thm12017-02-06 12:45 2.8K 
[ ]bvfunc14__506_20.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__508_20.min1.thm12017-02-06 12:44 505  
[ ]bvfunc14__509_29.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__510_22.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__511_21.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__513_27.min1.thm12017-02-06 12:45 491  
[ ]bvfunc14__526_17.min1.thm12017-02-06 12:44 507  
[ ]bvfunc14__528_20.min1.thm12017-02-06 12:45 582  
[ ]bvfunc14__530_17.min1.thm12017-02-06 12:44 508  
[ ]bvfunc14__532_20.min1.thm12017-02-06 12:45 584  
[ ]bvfunc14__533_17.min1.thm12017-02-06 12:44 508  
[ ]bvfunc14__535_20.min1.thm12017-02-06 12:44 584  
[ ]bvfunc14__541_26.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__542_33.min1.thm12017-02-06 12:44 972  
[ ]bvfunc14__544_24.min1.thm12017-02-06 12:44 579  
[ ]bvfunc14__544_24.min1.thm1.tptp2017-02-06 16:48 517  
[ ]bvfunc14__545_17.min1.thm12017-02-06 12:44 774  
[ ]bvfunc14__546_21.min1.thm12017-02-06 12:44 820  
[ ]bvfunc14__548_17.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__550_21.min1.thm12017-02-06 12:44 507  
[ ]bvfunc14__550_21.min1.thm1.tptp2017-02-06 16:48 439  
[ ]bvfunc14__551_13.min1.thm12017-02-06 12:45 414  
[ ]bvfunc14__551_13.min1.thm1.tptp2017-02-06 16:48 356  
[ ]bvfunc14__553_16.min1.thm12017-02-06 12:44 389  
[ ]bvfunc14__553_16.min1.thm1.tptp2017-02-06 16:48 308  
[ ]bvfunc14__554_21.min1.thm12017-02-06 12:44 338  
[ ]bvfunc14__554_21.min1.thm1.tptp2017-02-06 16:48 270  
[ ]bvfunc14__555_13.min1.thm12017-02-06 12:44 414  
[ ]bvfunc14__555_13.min1.thm1.tptp2017-02-06 16:48 356  
[ ]bvfunc14__557_16.min1.thm12017-02-06 12:44 389  
[ ]bvfunc14__557_16.min1.thm1.tptp2017-02-06 16:48 308  
[ ]bvfunc14__558_13.min1.thm12017-02-06 12:45 414  
[ ]bvfunc14__558_13.min1.thm1.tptp2017-02-06 16:48 356  
[ ]bvfunc14__559_20.min1.thm12017-02-06 12:44 389  
[ ]bvfunc14__559_20.min1.thm1.tptp2017-02-06 16:48 308  
[ ]bvfunc14__560_34.min1.thm12017-02-06 12:44 662  
[ ]bvfunc14__561_41.min1.thm12017-02-06 12:44 910  
[ ]bvfunc14__563_21.min1.thm12017-02-06 12:44 926  
[ ]bvfunc14__570_24.min1.thm12017-02-06 12:45 710  
[ ]bvfunc14__577_19.min1.thm12017-02-06 12:44 616  
[ ]bvfunc14__579_22.min1.thm12017-02-06 12:44 683  
[ ]bvfunc14__582_27.min1.thm12017-02-06 12:44 643  
[ ]bvfunc14__586_27.min1.thm12017-02-06 12:44 643  
[ ]bvfunc14__590_27.min1.thm12017-02-06 12:44 643  
[ ]bvfunc14__593_20.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__601_22.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__604_27.min1.thm12017-02-06 12:44 597  
[ ]bvfunc14__608_27.min1.thm12017-02-06 12:44 690  
[ ]bvfunc14__612_27.min1.thm12017-02-06 12:44 747  
[ ]bvfunc14__615_20.min1.thm12017-02-06 12:44 587  
[ ]bvfunc14__617_31.min1.thm12017-02-06 12:44 788  
[ ]bvfunc14__618_21.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__620_35.min1.thm12017-02-06 12:44 923  
[ ]bvfunc14__621_41.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__622_48.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__623_19.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__625_17.min1.thm12017-02-06 12:44 722  
[ ]bvfunc14__635_11.min1.thm12017-02-06 12:44 192  
[ ]bvfunc14__638_18.min1.thm12017-02-06 12:45 398  
[ ]bvfunc14__638_18.min1.thm1.tptp2017-02-06 16:48 325  
[ ]bvfunc14__639_17.min1.thm12017-02-06 12:44 374  
[ ]bvfunc14__639_17.min1.thm1.tptp2017-02-06 16:48 298  
[ ]bvfunc14__640_27.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__641_20.min1.thm12017-02-06 12:44 517  
[ ]bvfunc14__645_33.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__646_40.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__647_36.min1.thm12017-02-06 12:44 767  
[ ]bvfunc14__649_37.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__650_23.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__651_14.min1.thm12017-02-06 12:44 391  
[ ]bvfunc14__651_14.min1.thm1.tptp2017-02-06 16:48 318  
[ ]bvfunc14__662_22.min1.thm12017-02-06 12:44 353  
[ ]bvfunc14__662_22.min1.thm1.tptp2017-02-06 16:48 285  
[ ]bvfunc14__663_19.min1.thm12017-02-06 12:44 645  
[ ]bvfunc14__665_21.min1.thm12017-02-06 12:44 615  
[ ]bvfunc14__677_21.min1.thm12017-02-06 12:44 656  
[ ]bvfunc14__679_24.min1.thm12017-02-06 12:44 787  
[ ]bvfunc14__682_29.min1.thm12017-02-06 12:44 604  
[ ]bvfunc14__686_29.min1.thm12017-02-06 12:44 691  
[ ]bvfunc14__689_22.min1.thm12017-02-06 12:44 689  
[ ]bvfunc14__697_24.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__700_29.min1.thm12017-02-06 12:44 637  
[ ]bvfunc14__704_29.min1.thm12017-02-06 12:44 730  
[ ]bvfunc14__707_22.min1.thm12017-02-06 12:45 503  
[ ]bvfunc14__709_33.min1.thm12017-02-06 12:45 824  
[ ]bvfunc14__710_23.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__712_23.min1.thm12017-02-06 12:44 627  
[ ]bvfunc14__714_17.min1.thm12017-02-06 12:45 577  
[ ]bvfunc14__714_17.min1.thm1.tptp2017-02-06 16:48 496  
[ ]bvfunc14__715_23.min1.thm12017-02-06 12:45 540  
[ ]bvfunc14__715_23.min1.thm1.tptp2017-02-06 16:48 484  
[ ]bvfunc14__717_17.min1.thm12017-02-06 12:44 577  
[ ]bvfunc14__717_17.min1.thm1.tptp2017-02-06 16:48 496  
[ ]bvfunc14__718_19.min1.thm12017-02-06 12:44 733  
[ ]bvfunc14__720_21.min1.thm12017-02-06 12:45 616  
[ ]bvfunc14__725_33.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__726_35.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__727_23.min1.thm12017-02-06 12:44 615  
[ ]bvfunc14__727_23.min1.thm1.tptp2017-02-06 16:48 553  
[ ]bvfunc14__729_28.min1.thm12017-02-06 12:44 707  
[ ]bvfunc14__730_36.min1.thm12017-02-06 12:44 771  
[ ]bvfunc14__731_43.min1.thm12017-02-06 12:44 681  
[ ]bvfunc14__732_21.min1.thm12017-02-06 12:45 774  
[ ]bvfunc14__740_14.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__741_38.min1.thm12017-02-06 12:44 772  
[ ]bvfunc14__745_19.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__747_27.min1.thm12017-02-06 12:44 675  
[ ]bvfunc14__747_27.min1.thm1.tptp2017-02-06 16:48 609  
[ ]bvfunc14__748_23.min1.thm12017-02-06 12:44 468  
[ ]bvfunc14__748_23.min1.thm1.tptp2017-02-06 16:48 400  
[ ]bvfunc14__755_22.min1.thm12017-02-06 12:44 695  
[ ]bvfunc14__758_27.min1.thm12017-02-06 12:44 921  
[ ]bvfunc14__762_27.min1.thm12017-02-06 12:44 921  
[ ]bvfunc14__765_20.min1.thm12017-02-06 12:44 450  
[ ]bvfunc14__767_52.min1.thm12017-02-06 12:44 629  
[ ]bvfunc14__779_24.min1.thm12017-02-06 12:44 788  
[ ]bvfunc14__782_29.min1.thm12017-02-06 12:45 636  
[ ]bvfunc14__786_29.min1.thm12017-02-06 12:44 729  
[ ]bvfunc14__789_22.min1.thm12017-02-06 12:45 449  
[ ]bvfunc14__791_27.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__792_23.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__800_22.min1.thm12017-02-06 12:44 671  
[ ]bvfunc14__803_27.min1.thm12017-02-06 12:44 678  
[ ]bvfunc14__807_27.min1.thm12017-02-06 12:44 609  
[ ]bvfunc14__810_20.min1.thm12017-02-06 12:44 711  
[ ]bvfunc14__817_31.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__818_17.min1.thm12017-02-06 12:44 729  
[ ]bvfunc14__820_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__821_17.min1.thm12017-02-06 12:44 642  
[ ]bvfunc14__822_22.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__823_23.min1.thm12017-02-06 12:44 625  
[ ]bvfunc14__825_29.min1.thm12017-02-06 12:44 527  
[ ]bvfunc14__828_32.min1.thm12017-02-06 12:44 785  
[ ]bvfunc14__829_19.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__836_22.min1.thm12017-02-06 12:44 330  
[ ]bvfunc14__837_17.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__843_22.min1.thm12017-02-06 12:44 337  
[ ]bvfunc14__844_17.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__855_11.min1.thm12017-02-06 12:45 351  
[ ]bvfunc14__858_25.min1.thm12017-02-06 12:44 521  
[ ]bvfunc14__859_19.min1.thm12017-02-06 12:45 362  
[ ]bvfunc14__860_19.min1.thm12017-02-06 12:44 343  
[ ]bvfunc14__861_33.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__862_27.min1.thm12017-02-06 12:44 618  
[ ]bvfunc14__866_25.min1.thm12017-02-06 12:44 521  
[ ]bvfunc14__867_19.min1.thm12017-02-06 12:45 362  
[ ]bvfunc14__868_19.min1.thm12017-02-06 12:44 343  
[ ]bvfunc14__869_34.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__870_27.min1.thm12017-02-06 12:44 618  
[ ]bvfunc14__871_27.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__875_25.min1.thm12017-02-06 12:45 521  
[ ]bvfunc14__876_19.min1.thm12017-02-06 12:44 362  
[ ]bvfunc14__877_19.min1.thm12017-02-06 12:44 343  
[ ]bvfunc14__878_34.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__879_29.min1.thm12017-02-06 12:44 618  
[ ]bvfunc14__880_27.min1.thm12017-02-06 12:44 861  
[ ]bvfunc14__884_35.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__886_47.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__887_20.min1.thm12017-02-06 12:44 640  
[ ]bvfunc14__888_37.min1.thm12017-02-06 12:44 785  
[ ]bvfunc14__889_43.min1.thm12017-02-06 12:44 890  
[ ]bvfunc14__890_40.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__891_34.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__892_24.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__893_19.min1.thm12017-02-06 12:44 681  
[ ]bvfunc14__895_31.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__896_16.min1.thm12017-02-06 12:44 432  
[ ]bvfunc14__896_16.min1.thm1.tptp2017-02-06 16:48 359  
[ ]bvfunc14__903_14.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__904_45.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__908_19.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__909_38.min1.thm12017-02-06 12:44 789  
[ ]bvfunc14__913_19.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__915_16.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__916_16.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__917_30.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__918_27.min1.thm12017-02-06 12:45 1.7K 
[ ]bvfunc14__919_16.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__926_22.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__929_27.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__933_27.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__937_27.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__940_20.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__942_51.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__954_24.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__957_29.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__961_35.min1.thm12017-02-06 12:44 719  
[ ]bvfunc14__962_29.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__966_35.min1.thm12017-02-06 12:44 812  
[ ]bvfunc14__967_29.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__970_22.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__972_27.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__973_23.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__981_22.min1.thm12017-02-06 12:44 794  
[ ]bvfunc14__984_27.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__988_27.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__992_27.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__995_20.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__997_24.min1.thm12017-02-06 12:44 841  
[ ]bvfunc14__998_24.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1000_20.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1006_28.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__1007_23.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__1009_19.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__1010_23.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__1012_19.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__1013_23.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__1014_24.min1.thm12017-02-06 12:45 1.7K 
[ ]bvfunc14__1015_27.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__1016_23.min1.thm12017-02-06 12:45 1.5K 
[ ]bvfunc14__1018_29.min1.thm12017-02-06 12:44 539  
[ ]bvfunc14__1031_19.min1.thm12017-02-06 12:44 712  
[ ]bvfunc14__1033_21.min1.thm12017-02-06 12:44 624  
[ ]bvfunc14__1035_19.min1.thm12017-02-06 12:44 713  
[ ]bvfunc14__1037_21.min1.thm12017-02-06 12:44 626  
[ ]bvfunc14__1038_19.min1.thm12017-02-06 12:44 713  
[ ]bvfunc14__1040_21.min1.thm12017-02-06 12:44 626  
[ ]bvfunc14__1046_28.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1047_35.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__1049_26.min1.thm12017-02-06 12:45 628  
[ ]bvfunc14__1049_26.min1.thm1.tptp2017-02-06 16:48 566  
[ ]bvfunc14__1050_19.min1.thm12017-02-06 12:44 821  
[ ]bvfunc14__1051_23.min1.thm12017-02-06 12:45 886  
[ ]bvfunc14__1053_19.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1055_22.min1.thm12017-02-06 12:44 541  
[ ]bvfunc14__1055_22.min1.thm1.tptp2017-02-06 16:48 473  
[ ]bvfunc14__1056_23.min1.thm12017-02-06 12:44 604  
[ ]bvfunc14__1056_23.min1.thm1.tptp2017-02-06 16:48 546  
[ ]bvfunc14__1058_17.min1.thm12017-02-06 12:44 593  
[ ]bvfunc14__1058_17.min1.thm1.tptp2017-02-06 16:48 512  
[ ]bvfunc14__1059_22.min1.thm12017-02-06 12:44 358  
[ ]bvfunc14__1059_22.min1.thm1.tptp2017-02-06 16:48 290  
[ ]bvfunc14__1060_23.min1.thm12017-02-06 12:45 604  
[ ]bvfunc14__1060_23.min1.thm1.tptp2017-02-06 16:48 546  
[ ]bvfunc14__1062_17.min1.thm12017-02-06 12:45 593  
[ ]bvfunc14__1062_17.min1.thm1.tptp2017-02-06 16:48 512  
[ ]bvfunc14__1063_23.min1.thm12017-02-06 12:44 604  
[ ]bvfunc14__1063_23.min1.thm1.tptp2017-02-06 16:48 546  
[ ]bvfunc14__1064_22.min1.thm12017-02-06 12:44 593  
[ ]bvfunc14__1064_22.min1.thm1.tptp2017-02-06 16:48 512  
[ ]bvfunc14__1065_36.min1.thm12017-02-06 12:45 705  
[ ]bvfunc14__1066_43.min1.thm12017-02-06 12:45 965  
[ ]bvfunc14__1068_22.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__1075_26.min1.thm12017-02-06 12:45 760  
[ ]bvfunc14__1082_21.min1.thm12017-02-06 12:44 666  
[ ]bvfunc14__1084_24.min1.thm12017-02-06 12:44 915  
[ ]bvfunc14__1087_29.min1.thm12017-02-06 12:45 702  
[ ]bvfunc14__1091_29.min1.thm12017-02-06 12:44 702  
[ ]bvfunc14__1095_29.min1.thm12017-02-06 12:45 702  
[ ]bvfunc14__1098_22.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1106_24.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__1109_29.min1.thm12017-02-06 12:44 650  
[ ]bvfunc14__1113_29.min1.thm12017-02-06 12:45 743  
[ ]bvfunc14__1117_29.min1.thm12017-02-06 12:45 806  
[ ]bvfunc14__1120_22.min1.thm12017-02-06 12:44 670  
[ ]bvfunc14__1122_33.min1.thm12017-02-06 12:44 834  
[ ]bvfunc14__1123_23.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1125_37.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1126_43.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1127_50.min1.thm12017-02-06 12:44 873  
[ ]bvfunc14__1128_21.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1130_44.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1131_19.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1138_26.min1.thm12017-02-06 12:45 381  
[ ]bvfunc14__1139_17.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1145_26.min1.thm12017-02-06 12:44 381  
[ ]bvfunc14__1146_17.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1152_26.min1.thm12017-02-06 12:44 381  
[ ]bvfunc14__1153_17.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1158_23.min1.thm12017-02-06 12:44 732  
[ ]bvfunc14__1162_25.min1.thm12017-02-06 12:44 746  
[ ]bvfunc14__1166_28.min1.thm12017-02-06 12:44 754  
[ ]bvfunc14__1170_54.min1.thm12017-02-06 12:45 924  
[ ]bvfunc14__1189_28.min1.thm12017-02-06 12:44 914  
[ ]bvfunc14__1190_34.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__1193_29.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1196_29.min1.thm12017-02-06 12:45 916  
[ ]bvfunc14__1197_34.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1200_29.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__1203_29.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1206_29.min1.thm12017-02-06 12:44 915  
[ ]bvfunc14__1207_34.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__1209_19.min1.thm12017-02-06 12:44 689  
[ ]bvfunc14__1210_25.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__1211_27.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__1212_19.min1.thm12017-02-06 12:44 689  
[ ]bvfunc14__1213_25.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1214_27.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__1215_17.min1.thm12017-02-06 12:44 691  
[ ]bvfunc14__1228_74.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1232_35.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__1233_26.min1.thm12017-02-06 12:44 619  
[ ]bvfunc14__1236_58.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__1237_58.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1238_46.min1.thm12017-02-06 12:44 925  
[ ]bvfunc14__1239_38.min1.thm12017-02-06 12:44 954  
[ ]bvfunc14__1240_31.min1.thm12017-02-06 12:45 494  
[ ]bvfunc14__1241_24.min1.thm12017-02-06 12:44 462  
[ ]bvfunc14__1242_19.min1.thm12017-02-06 12:45 430  
[ ]bvfunc14__1243_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__1256_16.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__1258_17.min1.thm12017-02-06 12:44 546  
[ ]bvfunc14__1265_15.min1.thm12017-02-06 12:44 598  
[ ]bvfunc14__1267_18.min1.thm12017-02-06 12:44 746  
[ ]bvfunc14__1270_23.min1.thm12017-02-06 12:45 686  
[ ]bvfunc14__1274_23.min1.thm12017-02-06 12:44 686  
[ ]bvfunc14__1278_23.min1.thm12017-02-06 12:44 686  
[ ]bvfunc14__1282_23.min1.thm12017-02-06 12:44 686  
[ ]bvfunc14__1285_16.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__1287_17.min1.thm12017-02-06 12:45 546  
[ ]bvfunc14__1288_17.min1.thm12017-02-06 12:45 546  
[ ]bvfunc14__1289_18.min1.thm12017-02-06 12:44 546  
[ ]bvfunc14__1295_16.min1.thm12017-02-06 12:44 812  
[ ]bvfunc14__1295_16.min1.thm1.tptp2017-02-06 16:48 758  
[ ]bvfunc14__1298_21.min1.thm12017-02-06 12:44 657  
[ ]bvfunc14__1302_21.min1.thm12017-02-06 12:44 657  
[ ]bvfunc14__1306_21.min1.thm12017-02-06 12:45 657  
[ ]bvfunc14__1310_21.min1.thm12017-02-06 12:44 657  
[ ]bvfunc14__1313_17.min1.thm12017-02-06 12:45 957  
[ ]bvfunc14__1329_25.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__1330_25.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__1331_25.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__1338_16.min1.thm12017-02-06 12:44 4.9K 
[ ]bvfunc14__1342_18.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1346_21.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__1350_21.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__1354_21.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__1357_48.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1358_16.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1364_16.min1.thm12017-02-06 12:45 653  
[ ]bvfunc14__1367_25.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1368_21.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__1372_25.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__1373_21.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__1377_25.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__1378_21.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__1382_25.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__1383_21.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__1388_25.min1.thm12017-02-06 12:44 432  
[ ]bvfunc14__1389_15.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__1391_20.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__1393_20.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__1394_15.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__1395_22.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__1397_16.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__1398_15.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__1399_22.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__1401_16.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__1402_15.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__1403_22.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__1404_18.min1.thm12017-02-06 12:45 3.4K 
[ ]bvfunc14__1405_43.min1.thm12017-02-06 12:45 3.3K 
[ ]bvfunc14__1407_57.min1.thm12017-02-06 12:44 2.7K 
[ ]bvfunc14__1410_75.min1.thm12017-02-06 12:44 2.9K 
[ ]bvfunc14__1413_71.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__1415_69.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1416_17.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__1436_42.min1.thm12017-02-06 12:44 855  
[ ]bvfunc14__1443_16.min1.thm12017-02-06 12:45 4.9K 
[ ]bvfunc14__1447_18.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1452_18.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__1457_18.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1462_18.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__1465_48.min1.thm12017-02-06 12:45 1.5K 
[ ]bvfunc14__1467_48.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1473_16.min1.thm12017-02-06 12:44 653  
[ ]bvfunc14__1476_25.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1477_21.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__1481_25.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__1482_21.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__1486_25.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__1487_21.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__1491_25.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__1492_21.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__1495_12.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1498_25.min1.thm12017-02-06 12:45 432  
[ ]bvfunc14__1499_17.min1.thm12017-02-06 12:45 1.5K 
[ ]bvfunc14__1500_20.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__1502_20.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__1504_20.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__1507_15.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__1508_22.min1.thm12017-02-06 12:45 2.1K 
[ ]bvfunc14__1510_16.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__1511_15.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__1512_22.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__1514_16.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__1515_15.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__1516_22.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__1518_16.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__1519_44.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__1521_41.min1.thm12017-02-06 12:45 3.3K 
[ ]bvfunc14__1522_23.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__1523_59.min1.thm12017-02-06 12:44 2.7K 
[ ]bvfunc14__1525_75.min1.thm12017-02-06 12:44 2.9K 
[ ]bvfunc14__1527_23.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__1529_20.min1.thm12017-02-06 12:44 822  
[ ]bvfunc14__1530_33.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1532_15.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1534_14.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1535_38.min1.thm12017-02-06 12:44 948  
[ ]bvfunc14__1537_33.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__1538_29.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1539_19.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__1540_13.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1541_16.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1543_19.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__1544_23.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__1545_21.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__1549_49.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1550_33.min1.thm12017-02-06 12:45 1.4K 
[ ]bvfunc14__1551_30.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__1554_11.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1556_22.min1.thm12017-02-06 12:45 2.0K 
[ ]bvfunc14__1557_20.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__1558_17.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__1576_38.min1.thm12017-02-06 12:44 960  
[ ]bvfunc14__1577_40.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1578_39.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1580_25.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1582_61.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1584_47.min1.thm12017-02-06 12:45 1.5K 
[ ]bvfunc14__1588_18.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__1589_39.min1.thm12017-02-06 12:45 961  
[ ]bvfunc14__1591_38.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__1592_39.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1595_39.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__1598_26.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1599_39.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1601_37.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__1603_26.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1604_36.min1.thm12017-02-06 12:44 961  
[ ]bvfunc14__1607_31.min1.thm12017-02-06 12:45 3.4K 
[ ]bvfunc14__1608_22.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1609_17.min1.thm12017-02-06 12:45 677  
[ ]bvfunc14__1616_16.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__1618_18.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__1621_23.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__1625_23.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__1629_23.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__1632_16.min1.thm12017-02-06 12:44 4.6K 
[ ]bvfunc14__1643_23.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__1647_23.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__1651_23.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__1654_16.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__1656_48.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1657_14.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1664_18.min1.thm12017-02-06 12:44 580  
[ ]bvfunc14__1667_23.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__1671_23.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__1675_23.min1.thm12017-02-06 12:45 1.9K 
[ ]bvfunc14__1678_16.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__1682_25.min1.thm12017-02-06 12:45 432  
[ ]bvfunc14__1683_15.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1685_20.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__1687_35.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__1688_15.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1689_22.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__1691_16.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__1692_15.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__1693_22.min1.thm12017-02-06 12:45 1.8K 
[ ]bvfunc14__1694_18.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__1696_41.min1.thm12017-02-06 12:45 2.9K 
[ ]bvfunc14__1697_13.min1.thm12017-02-06 12:45 2.6K 
[ ]bvfunc14__1698_23.min1.thm12017-02-06 12:45 3.1K 
[ ]bvfunc14__1700_20.min1.thm12017-02-06 12:44 734  
[ ]bvfunc14__1701_33.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__1703_35.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__1705_25.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1706_15.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1707_20.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__1709_19.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__1710_28.min1.thm12017-02-06 12:44 755  
[ ]bvfunc14__1711_44.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1713_26.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1714_12.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1715_19.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1716_13.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1718_14.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1719_11.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1721_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__1722_26.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1725_29.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1726_17.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__1739_11.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__1742_32.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1743_28.min1.thm12017-02-06 12:44 596  
[ ]bvfunc14__1743_28.min1.thm1.tptp2017-02-06 16:48 532  
[ ]bvfunc14__1744_23.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__1745_21.min1.thm12017-02-06 12:44 406  
[ ]bvfunc14__1746_20.min1.thm12017-02-06 12:44 387  
[ ]bvfunc14__1747_41.min1.thm12017-02-06 12:45 1.4K 
[ ]bvfunc14__1748_34.min1.thm12017-02-06 12:44 706  
[ ]bvfunc14__1752_32.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1753_28.min1.thm12017-02-06 12:44 596  
[ ]bvfunc14__1753_28.min1.thm1.tptp2017-02-06 16:48 532  
[ ]bvfunc14__1754_23.min1.thm12017-02-06 12:45 867  
[ ]bvfunc14__1755_21.min1.thm12017-02-06 12:45 406  
[ ]bvfunc14__1756_20.min1.thm12017-02-06 12:44 387  
[ ]bvfunc14__1757_41.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__1758_34.min1.thm12017-02-06 12:44 706  
[ ]bvfunc14__1759_34.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1763_32.min1.thm12017-02-06 12:44 907  
[ ]bvfunc14__1764_28.min1.thm12017-02-06 12:44 503  
[ ]bvfunc14__1765_26.min1.thm12017-02-06 12:44 478  
[ ]bvfunc14__1766_20.min1.thm12017-02-06 12:45 729  
[ ]bvfunc14__1767_41.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__1768_34.min1.thm12017-02-06 12:44 706  
[ ]bvfunc14__1769_36.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1770_36.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1771_34.min1.thm12017-02-06 12:44 949  
[ ]bvfunc14__1775_32.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__1776_28.min1.thm12017-02-06 12:44 596  
[ ]bvfunc14__1776_28.min1.thm1.tptp2017-02-06 16:48 532  
[ ]bvfunc14__1777_26.min1.thm12017-02-06 12:44 478  
[ ]bvfunc14__1778_21.min1.thm12017-02-06 12:44 822  
[ ]bvfunc14__1779_20.min1.thm12017-02-06 12:44 387  
[ ]bvfunc14__1780_41.min1.thm12017-02-06 12:45 1.4K 
[ ]bvfunc14__1781_36.min1.thm12017-02-06 12:44 706  
[ ]bvfunc14__1782_34.min1.thm12017-02-06 12:44 949  
[ ]bvfunc14__1786_32.min1.thm12017-02-06 12:44 907  
[ ]bvfunc14__1787_28.min1.thm12017-02-06 12:44 503  
[ ]bvfunc14__1788_26.min1.thm12017-02-06 12:44 478  
[ ]bvfunc14__1789_21.min1.thm12017-02-06 12:44 729  
[ ]bvfunc14__1790_20.min1.thm12017-02-06 12:45 387  
[ ]bvfunc14__1791_41.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__1792_36.min1.thm12017-02-06 12:44 706  
[ ]bvfunc14__1793_36.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__1794_36.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1795_36.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1796_34.min1.thm12017-02-06 12:44 949  
[ ]bvfunc14__1800_32.min1.thm12017-02-06 12:44 907  
[ ]bvfunc14__1801_28.min1.thm12017-02-06 12:44 503  
[ ]bvfunc14__1802_26.min1.thm12017-02-06 12:44 478  
[ ]bvfunc14__1803_21.min1.thm12017-02-06 12:44 729  
[ ]bvfunc14__1804_20.min1.thm12017-02-06 12:44 387  
[ ]bvfunc14__1805_41.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__1806_36.min1.thm12017-02-06 12:44 706  
[ ]bvfunc14__1807_38.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__1808_36.min1.thm12017-02-06 12:45 949  
[ ]bvfunc14__1809_36.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1810_34.min1.thm12017-02-06 12:45 949  
[ ]bvfunc14__1814_37.min1.thm12017-02-06 12:44 785  
[ ]bvfunc14__1815_20.min1.thm12017-02-06 12:44 640  
[ ]bvfunc14__1816_37.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1818_50.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__1819_20.min1.thm12017-02-06 12:44 640  
[ ]bvfunc14__1820_15.min1.thm12017-02-06 12:44 569  
[ ]bvfunc14__1822_20.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1823_47.min1.thm12017-02-06 12:44 845  
[ ]bvfunc14__1824_42.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1825_34.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1826_41.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1827_49.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1828_41.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1829_33.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1830_26.min1.thm12017-02-06 12:44 890  
[ ]bvfunc14__1832_42.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__1839_14.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1840_52.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__1844_21.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1845_47.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1849_22.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1850_39.min1.thm12017-02-06 12:44 791  
[ ]bvfunc14__1854_20.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1856_29.min1.thm12017-02-06 12:44 927  
[ ]bvfunc14__1858_28.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1859_29.min1.thm12017-02-06 12:44 927  
[ ]bvfunc14__1861_28.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__1862_32.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1863_29.min1.thm12017-02-06 12:44 927  
[ ]bvfunc14__1864_33.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__1866_27.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__1868_16.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1869_32.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__1873_25.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__1875_16.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1876_32.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1879_27.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__1881_16.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1882_32.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__1883_32.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1884_32.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1890_16.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__1897_22.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__1900_27.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1904_27.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1908_27.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__1912_27.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__1915_20.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__1918_8.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__1920_41.min1.thm12017-02-06 12:45 1.8K 
[ ]bvfunc14__1923_70.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__1925_29.min1.thm12017-02-06 12:44 927  
[ ]bvfunc14__1928_26.min1.thm12017-02-06 12:44 3.2K 
[ ]bvfunc14__1930_28.min1.thm12017-02-06 12:44 892  
[ ]bvfunc14__1931_23.min1.thm12017-02-06 12:45 824  
[ ]bvfunc14__1933_19.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1940_19.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__1942_22.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__1945_27.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__1949_27.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__1953_27.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__1957_27.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__1960_20.min1.thm12017-02-06 12:44 6.2K 
[ ]bvfunc14__1971_27.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__1975_27.min1.thm12017-02-06 12:45 1.7K 
[ ]bvfunc14__1979_27.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__1983_27.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__1986_20.min1.thm12017-02-06 12:45 1.7K 
[ ]bvfunc14__1988_51.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1989_19.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1990_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__1991_19.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__1998_22.min1.thm12017-02-06 12:44 2.9K 
[ ]bvfunc14__2001_27.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2005_27.min1.thm12017-02-06 12:45 1.8K 
[ ]bvfunc14__2009_27.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2013_27.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2016_20.min1.thm12017-02-06 12:44 3.0K 
[ ]bvfunc14__2019_34.min1.thm12017-02-06 12:44 4.6K 
[ ]bvfunc14__2020_30.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__2024_35.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__2033_24.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__2036_42.min1.thm12017-02-06 12:44 966  
[ ]bvfunc14__2037_29.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2041_42.min1.thm12017-02-06 12:44 966  
[ ]bvfunc14__2042_47.min1.thm12017-02-06 12:44 723  
[ ]bvfunc14__2043_47.min1.thm12017-02-06 12:44 723  
[ ]bvfunc14__2044_47.min1.thm12017-02-06 12:44 723  
[ ]bvfunc14__2045_29.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2049_42.min1.thm12017-02-06 12:44 966  
[ ]bvfunc14__2050_45.min1.thm12017-02-06 12:45 723  
[ ]bvfunc14__2051_29.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2055_29.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2058_22.min1.thm12017-02-06 12:44 818  
[ ]bvfunc14__2060_27.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__2061_23.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__2063_20.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__2069_28.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__2070_23.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__2072_19.min1.thm12017-02-06 12:44 827  
[ ]bvfunc14__2073_23.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__2075_19.min1.thm12017-02-06 12:44 827  
[ ]bvfunc14__2076_23.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__2077_24.min1.thm12017-02-06 12:45 827  
[ ]bvfunc14__2078_27.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2080_29.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2081_23.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__2082_24.min1.thm12017-02-06 12:44 829  
[ ]bvfunc14__2083_23.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__2085_29.min1.thm12017-02-06 12:45 539  
[ ]bvfunc14__2098_19.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__2100_21.min1.thm12017-02-06 12:44 624  
[ ]bvfunc14__2102_22.min1.thm12017-02-06 12:45 358  
[ ]bvfunc14__2102_22.min1.thm1.tptp2017-02-06 16:48 290  
[ ]bvfunc14__2103_23.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__2105_17.min1.thm12017-02-06 12:44 593  
[ ]bvfunc14__2105_17.min1.thm1.tptp2017-02-06 16:48 512  
[ ]bvfunc14__2106_23.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__2108_17.min1.thm12017-02-06 12:44 593  
[ ]bvfunc14__2108_17.min1.thm1.tptp2017-02-06 16:48 512  
[ ]bvfunc14__2109_23.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__2111_17.min1.thm12017-02-06 12:45 593  
[ ]bvfunc14__2111_17.min1.thm1.tptp2017-02-06 16:48 512  
[ ]bvfunc14__2112_19.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__2114_21.min1.thm12017-02-06 12:44 626  
[ ]bvfunc14__2116_19.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__2118_21.min1.thm12017-02-06 12:44 626  
[ ]bvfunc14__2119_19.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__2121_21.min1.thm12017-02-06 12:44 626  
[ ]bvfunc14__2127_28.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__2128_35.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__2130_26.min1.thm12017-02-06 12:45 628  
[ ]bvfunc14__2130_26.min1.thm1.tptp2017-02-06 16:48 566  
[ ]bvfunc14__2131_19.min1.thm12017-02-06 12:44 821  
[ ]bvfunc14__2133_33.min1.thm12017-02-06 12:44 886  
[ ]bvfunc14__2134_19.min1.thm12017-02-06 12:44 822  
[ ]bvfunc14__2135_23.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__2137_22.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__2139_25.min1.thm12017-02-06 12:44 760  
[ ]bvfunc14__2140_16.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__2142_24.min1.thm12017-02-06 12:44 541  
[ ]bvfunc14__2142_24.min1.thm1.tptp2017-02-06 16:48 473  
[ ]bvfunc14__2143_23.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__2144_22.min1.thm12017-02-06 12:44 593  
[ ]bvfunc14__2144_22.min1.thm1.tptp2017-02-06 16:48 512  
[ ]bvfunc14__2145_38.min1.thm12017-02-06 12:44 705  
[ ]bvfunc14__2146_45.min1.thm12017-02-06 12:44 965  
[ ]bvfunc14__2147_29.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__2148_46.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__2149_53.min1.thm12017-02-06 12:45 1.4K 
[ ]bvfunc14__2151_32.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__2158_33.min1.thm12017-02-06 12:44 886  
[ ]bvfunc14__2160_26.min1.thm12017-02-06 12:44 760  
[ ]bvfunc14__2167_21.min1.thm12017-02-06 12:45 666  
[ ]bvfunc14__2169_24.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__2172_29.min1.thm12017-02-06 12:44 772  
[ ]bvfunc14__2176_29.min1.thm12017-02-06 12:44 772  
[ ]bvfunc14__2180_29.min1.thm12017-02-06 12:44 772  
[ ]bvfunc14__2184_29.min1.thm12017-02-06 12:44 772  
[ ]bvfunc14__2187_22.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2195_24.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__2198_29.min1.thm12017-02-06 12:44 650  
[ ]bvfunc14__2202_29.min1.thm12017-02-06 12:44 743  
[ ]bvfunc14__2206_29.min1.thm12017-02-06 12:45 806  
[ ]bvfunc14__2210_29.min1.thm12017-02-06 12:44 869  
[ ]bvfunc14__2213_22.min1.thm12017-02-06 12:45 814  
[ ]bvfunc14__2215_33.min1.thm12017-02-06 12:45 834  
[ ]bvfunc14__2216_23.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__2218_46.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__2219_50.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__2220_57.min1.thm12017-02-06 12:44 961  
[ ]bvfunc14__2221_21.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__2223_51.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__2224_19.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__2235_33.min1.thm12017-02-06 12:44 472  
[ ]bvfunc14__2236_23.min1.thm12017-02-06 12:44 600  
[ ]bvfunc14__2237_17.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2247_33.min1.thm12017-02-06 12:45 472  
[ ]bvfunc14__2248_43.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__2249_38.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__2250_43.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__2251_38.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__2252_23.min1.thm12017-02-06 12:44 756  
[ ]bvfunc14__2253_17.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2263_33.min1.thm12017-02-06 12:45 472  
[ ]bvfunc14__2264_45.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__2265_38.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__2266_23.min1.thm12017-02-06 12:45 756  
[ ]bvfunc14__2267_17.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2277_33.min1.thm12017-02-06 12:44 472  
[ ]bvfunc14__2278_23.min1.thm12017-02-06 12:45 600  
[ ]bvfunc14__2279_17.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2304_29.min1.thm12017-02-06 12:45 620  
[ ]bvfunc14__2305_30.min1.thm12017-02-06 12:44 696  
[ ]bvfunc14__2308_29.min1.thm12017-02-06 12:44 767  
[ ]bvfunc14__2312_29.min1.thm12017-02-06 12:44 621  
[ ]bvfunc14__2313_34.min1.thm12017-02-06 12:44 769  
[ ]bvfunc14__2316_11.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__2317_29.min1.thm12017-02-06 12:44 767  
[ ]bvfunc14__2321_29.min1.thm12017-02-06 12:44 621  
[ ]bvfunc14__2322_30.min1.thm12017-02-06 12:44 698  
[ ]bvfunc14__2324_25.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__2325_29.min1.thm12017-02-06 12:44 769  
[ ]bvfunc14__2328_11.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__2329_29.min1.thm12017-02-06 12:45 769  
[ ]bvfunc14__2332_29.min1.thm12017-02-06 12:44 620  
[ ]bvfunc14__2333_30.min1.thm12017-02-06 12:45 696  
[ ]bvfunc14__2335_25.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__2336_29.min1.thm12017-02-06 12:44 767  
[ ]bvfunc14__2340_29.min1.thm12017-02-06 12:45 770  
[ ]bvfunc14__2343_25.min1.thm12017-02-06 12:45 698  
[ ]bvfunc14__2345_25.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__2346_29.min1.thm12017-02-06 12:45 767  
[ ]bvfunc14__2350_29.min1.thm12017-02-06 12:44 769  
[ ]bvfunc14__2353_29.min1.thm12017-02-06 12:44 767  
[ ]bvfunc14__2354_27.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__2355_17.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__2369_52.min1.thm12017-02-06 12:44 709  
[ ]bvfunc14__2370_74.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__2374_35.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__2377_70.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__2382_23.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__2383_50.min1.thm12017-02-06 12:44 707  
[ ]bvfunc14__2385_52.min1.thm12017-02-06 12:45 1.7K 
[ ]bvfunc14__2386_38.min1.thm12017-02-06 12:44 574  
[ ]bvfunc14__2387_33.min1.thm12017-02-06 12:45 542  
[ ]bvfunc14__2388_26.min1.thm12017-02-06 12:45 510  
[ ]bvfunc14__2389_21.min1.thm12017-02-06 12:45 474  
[ ]bvfunc14__2390_17.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__2404_26.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__2406_17.min1.thm12017-02-06 12:44 517  
[ ]bvfunc14__2406_17.min1.thm1.tptp2017-02-06 16:48 465  
[ ]bvfunc14__2407_17.min1.thm12017-02-06 12:44 517  
[ ]bvfunc14__2407_17.min1.thm1.tptp2017-02-06 16:48 465  
[ ]bvfunc14__2408_17.min1.thm12017-02-06 12:44 517  
[ ]bvfunc14__2408_17.min1.thm1.tptp2017-02-06 16:48 465  
[ ]bvfunc14__2415_15.min1.thm12017-02-06 12:44 598  
[ ]bvfunc14__2417_18.min1.thm12017-02-06 12:44 756  
[ ]bvfunc14__2420_23.min1.thm12017-02-06 12:45 750  
[ ]bvfunc14__2424_23.min1.thm12017-02-06 12:44 750  
[ ]bvfunc14__2428_23.min1.thm12017-02-06 12:45 750  
[ ]bvfunc14__2432_23.min1.thm12017-02-06 12:44 750  
[ ]bvfunc14__2436_23.min1.thm12017-02-06 12:44 750  
[ ]bvfunc14__2439_16.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__2441_17.min1.thm12017-02-06 12:45 517  
[ ]bvfunc14__2441_17.min1.thm1.tptp2017-02-06 16:48 465  
[ ]bvfunc14__2442_17.min1.thm12017-02-06 12:44 517  
[ ]bvfunc14__2442_17.min1.thm1.tptp2017-02-06 16:48 465  
[ ]bvfunc14__2449_18.min1.thm12017-02-06 12:44 945  
[ ]bvfunc14__2449_18.min1.thm1.tptp2017-02-06 16:48 894  
[ ]bvfunc14__2452_23.min1.thm12017-02-06 12:44 661  
[ ]bvfunc14__2456_23.min1.thm12017-02-06 12:44 661  
[ ]bvfunc14__2460_23.min1.thm12017-02-06 12:44 661  
[ ]bvfunc14__2464_23.min1.thm12017-02-06 12:44 661  
[ ]bvfunc14__2468_23.min1.thm12017-02-06 12:44 661  
[ ]bvfunc14__2471_16.min1.thm12017-02-06 12:44 860  
[ ]bvfunc14__2473_17.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__2496_36.min1.thm12017-02-06 12:44 4.2K 
[ ]bvfunc14__2503_18.min1.thm12017-02-06 12:44 7.0K 
[ ]bvfunc14__2507_20.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__2511_23.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__2515_23.min1.thm12017-02-06 12:45 2.4K 
[ ]bvfunc14__2519_23.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__2523_23.min1.thm12017-02-06 12:45 2.4K 
[ ]bvfunc14__2526_16.min1.thm12017-02-06 12:44 3.2K 
[ ]bvfunc14__2528_48.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__2536_18.min1.thm12017-02-06 12:44 730  
[ ]bvfunc14__2540_23.min1.thm12017-02-06 12:45 2.4K 
[ ]bvfunc14__2545_23.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__2550_23.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__2555_23.min1.thm12017-02-06 12:45 2.4K 
[ ]bvfunc14__2560_23.min1.thm12017-02-06 12:45 2.4K 
[ ]bvfunc14__2563_16.min1.thm12017-02-06 12:44 3.9K 
[ ]bvfunc14__2567_25.min1.thm12017-02-06 12:44 432  
[ ]bvfunc14__2568_15.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2572_20.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__2574_16.min1.thm12017-02-06 12:44 3.8K 
[ ]bvfunc14__2575_15.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2578_16.min1.thm12017-02-06 12:44 3.8K 
[ ]bvfunc14__2579_15.min1.thm12017-02-06 12:45 1.8K 
[ ]bvfunc14__2582_16.min1.thm12017-02-06 12:44 3.8K 
[ ]bvfunc14__2583_15.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2585_18.min1.thm12017-02-06 12:44 3.8K 
[ ]bvfunc14__2586_43.min1.thm12017-02-06 12:44 3.8K 
[ ]bvfunc14__2588_57.min1.thm12017-02-06 12:44 2.9K 
[ ]bvfunc14__2590_15.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2592_18.min1.thm12017-02-06 12:44 3.8K 
[ ]bvfunc14__2594_73.min1.thm12017-02-06 12:44 3.1K 
[ ]bvfunc14__2597_52.min1.thm12017-02-06 12:45 1.4K 
[ ]bvfunc14__2599_64.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2602_17.min1.thm12017-02-06 12:44 3.2K 
[ ]bvfunc14__2604_17.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2605_17.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__2632_37.min1.thm12017-02-06 12:44 4.2K 
[ ]bvfunc14__2639_18.min1.thm12017-02-06 12:44 7.0K 
[ ]bvfunc14__2643_20.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__2647_23.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__2651_23.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__2655_23.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__2659_23.min1.thm12017-02-06 12:45 2.4K 
[ ]bvfunc14__2662_16.min1.thm12017-02-06 12:44 3.2K 
[ ]bvfunc14__2664_48.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__2672_18.min1.thm12017-02-06 12:44 730  
[ ]bvfunc14__2676_23.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__2681_23.min1.thm12017-02-06 12:45 2.4K 
[ ]bvfunc14__2686_23.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__2691_23.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__2696_23.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__2699_16.min1.thm12017-02-06 12:44 3.9K 
[ ]bvfunc14__2703_25.min1.thm12017-02-06 12:44 432  
[ ]bvfunc14__2704_15.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2708_20.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__2710_16.min1.thm12017-02-06 12:44 3.8K 
[ ]bvfunc14__2711_15.min1.thm12017-02-06 12:45 1.8K 
[ ]bvfunc14__2714_16.min1.thm12017-02-06 12:44 3.8K 
[ ]bvfunc14__2715_15.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2718_16.min1.thm12017-02-06 12:44 3.8K 
[ ]bvfunc14__2719_15.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2721_18.min1.thm12017-02-06 12:44 3.8K 
[ ]bvfunc14__2722_43.min1.thm12017-02-06 12:44 3.8K 
[ ]bvfunc14__2724_57.min1.thm12017-02-06 12:44 2.9K 
[ ]bvfunc14__2726_15.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2728_18.min1.thm12017-02-06 12:44 3.8K 
[ ]bvfunc14__2730_73.min1.thm12017-02-06 12:44 3.1K 
[ ]bvfunc14__2734_52.min1.thm12017-02-06 12:45 1.4K 
[ ]bvfunc14__2736_64.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2739_17.min1.thm12017-02-06 12:45 3.2K 
[ ]bvfunc14__2740_23.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__2742_20.min1.thm12017-02-06 12:45 910  
[ ]bvfunc14__2743_33.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__2745_15.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__2746_14.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__2748_39.min1.thm12017-02-06 12:45 1.4K 
[ ]bvfunc14__2749_49.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__2750_50.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__2751_17.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__2752_19.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__2753_13.min1.thm12017-02-06 12:45 1.8K 
[ ]bvfunc14__2754_16.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__2756_19.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2758_56.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__2760_57.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__2761_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__2762_21.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2766_56.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__2767_40.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2768_30.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__2771_11.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__2773_22.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__2774_20.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__2775_17.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__2792_39.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__2793_44.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__2794_19.min1.thm12017-02-06 12:44 636  
[ ]bvfunc14__2795_36.min1.thm12017-02-06 12:44 750  
[ ]bvfunc14__2796_20.min1.thm12017-02-06 12:45 637  
[ ]bvfunc14__2797_20.min1.thm12017-02-06 12:44 637  
[ ]bvfunc14__2798_13.min1.thm12017-02-06 12:44 566  
[ ]bvfunc14__2800_20.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__2801_52.min1.thm12017-02-06 12:44 885  
[ ]bvfunc14__2802_42.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__2803_34.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__2804_41.min1.thm12017-02-06 12:44 957  
[ ]bvfunc14__2805_49.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__2806_56.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__2807_64.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2808_56.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__2809_48.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__2810_40.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2811_33.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__2812_26.min1.thm12017-02-06 12:44 842  
[ ]bvfunc14__2813_21.min1.thm12017-02-06 12:44 770  
[ ]bvfunc14__2821_57.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2825_21.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__2826_53.min1.thm12017-02-06 12:45 1.5K 
[ ]bvfunc14__2830_23.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__2831_45.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__2835_21.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__2836_37.min1.thm12017-02-06 12:44 775  
[ ]bvfunc14__2840_19.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__2842_15.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__2843_15.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__2844_15.min1.thm12017-02-06 12:45 1.9K 
[ ]bvfunc14__2846_24.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__2847_28.min1.thm12017-02-06 12:45 771  
[ ]bvfunc14__2848_23.min1.thm12017-02-06 12:44 865  
[ ]bvfunc14__2850_18.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__2851_18.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__2852_18.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__2853_15.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__2862_20.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__2865_25.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__2869_25.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__2873_25.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__2877_25.min1.thm12017-02-06 12:45 2.6K 
[ ]bvfunc14__2881_25.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__2884_18.min1.thm12017-02-06 12:44 10K 
[ ]bvfunc14__2886_15.min1.thm12017-02-06 12:45 1.9K 
[ ]bvfunc14__2896_25.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2900_25.min1.thm12017-02-06 12:45 1.8K 
[ ]bvfunc14__2904_25.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2908_25.min1.thm12017-02-06 12:45 1.8K 
[ ]bvfunc14__2912_25.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2915_18.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__2917_50.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__2918_18.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__2919_24.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__2921_35.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__2922_18.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__2929_20.min1.thm12017-02-06 12:45 3.9K 
[ ]bvfunc14__2932_25.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__2936_25.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__2940_25.min1.thm12017-02-06 12:45 1.9K 
[ ]bvfunc14__2944_25.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__2948_25.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__2951_18.min1.thm12017-02-06 12:44 4.1K 
[ ]bvfunc14__2954_37.min1.thm12017-02-06 12:45 6.1K 
[ ]bvfunc14__2969_47.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__2972_45.min1.thm12017-02-06 12:45 737  
[ ]bvfunc14__2974_27.min1.thm12017-02-06 12:45 720  
[ ]bvfunc14__2978_45.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__2979_50.min1.thm12017-02-06 12:44 737  
[ ]bvfunc14__2980_50.min1.thm12017-02-06 12:45 737  
[ ]bvfunc14__2981_52.min1.thm12017-02-06 12:44 737  
[ ]bvfunc14__2982_52.min1.thm12017-02-06 12:44 737  
[ ]bvfunc14__2983_52.min1.thm12017-02-06 12:44 737  
[ ]bvfunc14__2985_47.min1.thm12017-02-06 12:44 737  
[ ]bvfunc14__2987_27.min1.thm12017-02-06 12:44 721  
[ ]bvfunc14__2991_47.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__2993_52.min1.thm12017-02-06 12:44 737  
[ ]bvfunc14__2995_47.min1.thm12017-02-06 12:44 737  
[ ]bvfunc14__2997_27.min1.thm12017-02-06 12:44 720  
[ ]bvfunc14__3003_47.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__3005_27.min1.thm12017-02-06 12:45 720  
[ ]bvfunc14__3009_27.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__3012_20.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__3014_26.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__3015_21.min1.thm12017-02-06 12:44 3.3K 
[ ]bvfunc14__3023_20.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__3026_25.min1.thm12017-02-06 12:45 2.0K 
[ ]bvfunc14__3030_25.min1.thm12017-02-06 12:45 2.0K 
[ ]bvfunc14__3034_25.min1.thm12017-02-06 12:45 2.0K 
[ ]bvfunc14__3038_25.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3042_25.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3045_18.min1.thm12017-02-06 12:44 2.7K 
[ ]bvfunc14__3052_21.min1.thm12017-02-06 12:44 3.1K 
[ ]bvfunc14__3054_15.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3055_21.min1.thm12017-02-06 12:44 3.1K 
[ ]bvfunc14__3056_20.min1.thm12017-02-06 12:45 2.6K 
[ ]bvfunc14__3058_20.min1.thm12017-02-06 12:44 515  
[ ]bvfunc14__3059_21.min1.thm12017-02-06 12:44 3.1K 
[ ]bvfunc14__3060_20.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3062_27.min1.thm12017-02-06 12:44 670  
[ ]bvfunc14__3063_21.min1.thm12017-02-06 12:44 3.1K 
[ ]bvfunc14__3064_20.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3066_32.min1.thm12017-02-06 12:45 734  
[ ]bvfunc14__3067_21.min1.thm12017-02-06 12:45 3.1K 
[ ]bvfunc14__3068_20.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3069_21.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3071_28.min1.thm12017-02-06 12:44 506  
[ ]bvfunc14__3084_22.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__3086_16.min1.thm12017-02-06 12:44 571  
[ ]bvfunc14__3086_16.min1.thm1.tptp2017-02-06 16:48 490  
[ ]bvfunc14__3088_22.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__3089_20.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__3089_20.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__3091_32.min1.thm12017-02-06 12:44 676  
[ ]bvfunc14__3093_22.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__3095_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__3096_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__3098_35.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3099_20.min1.thm12017-02-06 12:44 834  
[ ]bvfunc14__3100_22.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__3102_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__3103_22.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__3105_20.min1.thm12017-02-06 12:45 835  
[ ]bvfunc14__3111_33.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__3113_24.min1.thm12017-02-06 12:44 592  
[ ]bvfunc14__3113_24.min1.thm1.tptp2017-02-06 16:48 530  
[ ]bvfunc14__3114_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3116_31.min1.thm12017-02-06 12:44 838  
[ ]bvfunc14__3117_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3119_38.min1.thm12017-02-06 12:44 956  
[ ]bvfunc14__3120_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__3121_21.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__3123_20.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__3125_24.min1.thm12017-02-06 12:44 728  
[ ]bvfunc14__3126_19.min1.thm12017-02-06 12:44 893  
[ ]bvfunc14__3133_38.min1.thm12017-02-06 12:44 960  
[ ]bvfunc14__3135_31.min1.thm12017-02-06 12:44 842  
[ ]bvfunc14__3137_24.min1.thm12017-02-06 12:45 724  
[ ]bvfunc14__3144_19.min1.thm12017-02-06 12:44 626  
[ ]bvfunc14__3146_22.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__3149_27.min1.thm12017-02-06 12:44 790  
[ ]bvfunc14__3153_27.min1.thm12017-02-06 12:44 790  
[ ]bvfunc14__3157_27.min1.thm12017-02-06 12:44 790  
[ ]bvfunc14__3161_27.min1.thm12017-02-06 12:45 790  
[ ]bvfunc14__3165_27.min1.thm12017-02-06 12:44 790  
[ ]bvfunc14__3168_20.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3176_22.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__3179_27.min1.thm12017-02-06 12:45 610  
[ ]bvfunc14__3183_27.min1.thm12017-02-06 12:44 703  
[ ]bvfunc14__3187_27.min1.thm12017-02-06 12:44 762  
[ ]bvfunc14__3191_27.min1.thm12017-02-06 12:44 821  
[ ]bvfunc14__3195_27.min1.thm12017-02-06 12:44 880  
[ ]bvfunc14__3198_20.min1.thm12017-02-06 12:44 862  
[ ]bvfunc14__3200_21.min1.thm12017-02-06 12:44 826  
[ ]bvfunc14__3203_47.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__3204_14.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__3205_27.min1.thm12017-02-06 12:44 517  
[ ]bvfunc14__3205_27.min1.thm1.tptp2017-02-06 16:48 449  
[ ]bvfunc14__3206_43.min1.thm12017-02-06 12:44 929  
[ ]bvfunc14__3208_23.min1.thm12017-02-06 12:44 949  
[ ]bvfunc14__3209_15.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__3209_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__3210_44.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__3211_51.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__3213_32.min1.thm12017-02-06 12:45 1.7K 
[ ]bvfunc14__3215_22.min1.thm12017-02-06 12:44 342  
[ ]bvfunc14__3215_22.min1.thm1.tptp2017-02-06 16:48 274  
[ ]bvfunc14__3216_16.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__3218_26.min1.thm12017-02-06 12:44 846  
[ ]bvfunc14__3219_15.min1.thm12017-02-06 12:45 573  
[ ]bvfunc14__3219_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__3220_52.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__3221_59.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__3224_42.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3225_15.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__3225_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__3226_55.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__3228_62.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3230_19.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__3232_30.min1.thm12017-02-06 12:44 799  
[ ]bvfunc14__3233_17.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__3245_37.min1.thm12017-02-06 12:44 604  
[ ]bvfunc14__3245_37.min1.thm1.tptp2017-02-06 16:48 546  
[ ]bvfunc14__3246_25.min1.thm12017-02-06 12:44 833  
[ ]bvfunc14__3247_17.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__3255_39.min1.thm12017-02-06 12:44 523  
[ ]bvfunc14__3256_32.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3257_27.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3258_22.min1.thm12017-02-06 12:44 523  
[ ]bvfunc14__3261_17.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__3269_40.min1.thm12017-02-06 12:44 519  
[ ]bvfunc14__3270_34.min1.thm12017-02-06 12:44 538  
[ ]bvfunc14__3271_27.min1.thm12017-02-06 12:45 625  
[ ]bvfunc14__3271_27.min1.thm1.tptp2017-02-06 16:48 561  
[ ]bvfunc14__3272_22.min1.thm12017-02-06 12:44 519  
[ ]bvfunc14__3275_17.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__3283_40.min1.thm12017-02-06 12:44 523  
[ ]bvfunc14__3284_34.min1.thm12017-02-06 12:44 918  
[ ]bvfunc14__3285_27.min1.thm12017-02-06 12:44 912  
[ ]bvfunc14__3286_22.min1.thm12017-02-06 12:44 523  
[ ]bvfunc14__3289_17.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__3297_40.min1.thm12017-02-06 12:44 519  
[ ]bvfunc14__3298_22.min1.thm12017-02-06 12:44 606  
[ ]bvfunc14__3298_22.min1.thm1.tptp2017-02-06 16:48 548  
[ ]bvfunc14__3301_17.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__3323_28.min1.thm12017-02-06 12:44 619  
[ ]bvfunc14__3324_30.min1.thm12017-02-06 12:44 694  
[ ]bvfunc14__3327_29.min1.thm12017-02-06 12:44 766  
[ ]bvfunc14__3331_29.min1.thm12017-02-06 12:44 766  
[ ]bvfunc14__3335_12.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__3336_29.min1.thm12017-02-06 12:44 766  
[ ]bvfunc14__3340_12.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__3341_29.min1.thm12017-02-06 12:44 766  
[ ]bvfunc14__3345_12.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__3346_29.min1.thm12017-02-06 12:44 766  
[ ]bvfunc14__3349_12.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__3364_28.min1.thm12017-02-06 12:45 619  
[ ]bvfunc14__3366_23.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__3367_26.min1.thm12017-02-06 12:45 474  
[ ]bvfunc14__3368_21.min1.thm12017-02-06 12:44 568  
[ ]bvfunc14__3368_21.min1.thm1.tptp2017-02-06 16:48 507  
[ ]bvfunc14__3371_44.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__3372_23.min1.thm12017-02-06 12:45 612  
[ ]bvfunc14__3372_23.min1.thm1.tptp2017-02-06 16:48 554  
[ ]bvfunc14__3373_17.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__3387_26.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__3389_17.min1.thm12017-02-06 12:44 553  
[ ]bvfunc14__3389_17.min1.thm1.tptp2017-02-06 16:48 504  
[ ]bvfunc14__3396_15.min1.thm12017-02-06 12:44 598  
[ ]bvfunc14__3398_18.min1.thm12017-02-06 12:44 831  
[ ]bvfunc14__3401_23.min1.thm12017-02-06 12:44 814  
[ ]bvfunc14__3405_23.min1.thm12017-02-06 12:45 814  
[ ]bvfunc14__3409_23.min1.thm12017-02-06 12:44 814  
[ ]bvfunc14__3413_23.min1.thm12017-02-06 12:44 814  
[ ]bvfunc14__3417_23.min1.thm12017-02-06 12:44 814  
[ ]bvfunc14__3421_23.min1.thm12017-02-06 12:44 814  
[ ]bvfunc14__3424_16.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__3426_17.min1.thm12017-02-06 12:44 553  
[ ]bvfunc14__3426_17.min1.thm1.tptp2017-02-06 16:48 504  
[ ]bvfunc14__3427_17.min1.thm12017-02-06 12:44 553  
[ ]bvfunc14__3427_17.min1.thm1.tptp2017-02-06 16:48 504  
[ ]bvfunc14__3428_17.min1.thm12017-02-06 12:44 553  
[ ]bvfunc14__3428_17.min1.thm1.tptp2017-02-06 16:48 504  
[ ]bvfunc14__3429_17.min1.thm12017-02-06 12:45 553  
[ ]bvfunc14__3429_17.min1.thm1.tptp2017-02-06 16:48 504  
[ ]bvfunc14__3430_18.min1.thm12017-02-06 12:44 553  
[ ]bvfunc14__3430_18.min1.thm1.tptp2017-02-06 16:48 504  
[ ]bvfunc14__3437_18.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__3437_18.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]bvfunc14__3440_23.min1.thm12017-02-06 12:44 661  
[ ]bvfunc14__3444_23.min1.thm12017-02-06 12:44 661  
[ ]bvfunc14__3448_23.min1.thm12017-02-06 12:45 661  
[ ]bvfunc14__3452_23.min1.thm12017-02-06 12:45 661  
[ ]bvfunc14__3456_23.min1.thm12017-02-06 12:44 661  
[ ]bvfunc14__3460_23.min1.thm12017-02-06 12:44 661  
[ ]bvfunc14__3463_16.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__3465_17.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__3488_59.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__3489_73.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__3492_7.min1.thm12017-02-06 12:45 2.1K 
[ ]bvfunc14__3495_56.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__3508_18.min1.thm12017-02-06 12:44 9.6K 
[ ]bvfunc14__3511_23.min1.thm12017-02-06 12:45 2.6K 
[ ]bvfunc14__3515_23.min1.thm12017-02-06 12:45 2.6K 
[ ]bvfunc14__3519_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3523_23.min1.thm12017-02-06 12:45 2.6K 
[ ]bvfunc14__3527_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3531_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3534_16.min1.thm12017-02-06 12:44 4.5K 
[ ]bvfunc14__3536_48.min1.thm12017-02-06 12:45 1.9K 
[ ]bvfunc14__3538_20.min1.thm12017-02-06 12:45 2.0K 
[ ]bvfunc14__3542_33.min1.thm12017-02-06 12:44 3.6K 
[ ]bvfunc14__3549_18.min1.thm12017-02-06 12:44 805  
[ ]bvfunc14__3552_23.min1.thm12017-02-06 12:45 2.6K 
[ ]bvfunc14__3556_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3560_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3564_23.min1.thm12017-02-06 12:45 2.6K 
[ ]bvfunc14__3568_23.min1.thm12017-02-06 12:45 2.6K 
[ ]bvfunc14__3572_23.min1.thm12017-02-06 12:45 2.6K 
[ ]bvfunc14__3575_16.min1.thm12017-02-06 12:44 5.3K 
[ ]bvfunc14__3579_25.min1.thm12017-02-06 12:45 517  
[ ]bvfunc14__3580_15.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3583_25.min1.thm12017-02-06 12:44 4.3K 
[ ]bvfunc14__3584_15.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3586_27.min1.thm12017-02-06 12:44 4.3K 
[ ]bvfunc14__3588_41.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__3589_15.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3591_27.min1.thm12017-02-06 12:44 4.3K 
[ ]bvfunc14__3593_57.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__3594_15.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3596_27.min1.thm12017-02-06 12:44 4.3K 
[ ]bvfunc14__3598_73.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__3600_15.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3602_27.min1.thm12017-02-06 12:45 4.3K 
[ ]bvfunc14__3605_17.min1.thm12017-02-06 12:45 1.9K 
[ ]bvfunc14__3606_22.min1.thm12017-02-06 12:44 4.3K 
[ ]bvfunc14__3608_33.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3609_17.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__3634_72.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__3636_41.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__3637_39.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3638_59.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__3639_73.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__3642_7.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__3645_44.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__3658_18.min1.thm12017-02-06 12:44 9.6K 
[ ]bvfunc14__3661_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3665_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3669_23.min1.thm12017-02-06 12:45 2.6K 
[ ]bvfunc14__3673_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3677_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3681_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3684_16.min1.thm12017-02-06 12:44 4.5K 
[ ]bvfunc14__3686_48.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__3688_20.min1.thm12017-02-06 12:45 2.0K 
[ ]bvfunc14__3692_35.min1.thm12017-02-06 12:44 3.6K 
[ ]bvfunc14__3699_18.min1.thm12017-02-06 12:44 805  
[ ]bvfunc14__3702_23.min1.thm12017-02-06 12:45 2.6K 
[ ]bvfunc14__3706_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3710_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3714_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3718_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3722_23.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__3725_16.min1.thm12017-02-06 12:44 5.3K 
[ ]bvfunc14__3729_25.min1.thm12017-02-06 12:44 517  
[ ]bvfunc14__3730_15.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3732_18.min1.thm12017-02-06 12:44 4.2K 
[ ]bvfunc14__3735_15.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3737_18.min1.thm12017-02-06 12:45 4.2K 
[ ]bvfunc14__3740_15.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3742_18.min1.thm12017-02-06 12:44 4.2K 
[ ]bvfunc14__3744_43.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__3746_57.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__3747_15.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3749_18.min1.thm12017-02-06 12:44 4.2K 
[ ]bvfunc14__3752_15.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3754_18.min1.thm12017-02-06 12:45 4.2K 
[ ]bvfunc14__3756_75.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__3760_17.min1.thm12017-02-06 12:45 1.9K 
[ ]bvfunc14__3761_13.min1.thm12017-02-06 12:45 4.2K 
[ ]bvfunc14__3763_23.min1.thm12017-02-06 12:45 2.9K 
[ ]bvfunc14__3765_20.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3766_33.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__3767_15.min1.thm12017-02-06 12:45 1.7K 
[ ]bvfunc14__3769_58.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__3770_63.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__3771_57.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__3773_15.min1.thm12017-02-06 12:45 2.5K 
[ ]bvfunc14__3774_14.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__3776_20.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__3778_19.min1.thm12017-02-06 12:45 1.9K 
[ ]bvfunc14__3781_65.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__3784_49.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__3785_43.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__3786_19.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__3787_13.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3789_14.min1.thm12017-02-06 12:45 1.9K 
[ ]bvfunc14__3790_11.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__3792_19.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3793_47.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__3796_29.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__3797_17.min1.thm12017-02-06 12:44 2.9K 
[ ]bvfunc14__3821_41.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__3822_34.min1.thm12017-02-06 12:44 750  
[ ]bvfunc14__3824_26.min1.thm12017-02-06 12:44 688  
[ ]bvfunc14__3825_36.min1.thm12017-02-06 12:44 751  
[ ]bvfunc14__3826_20.min1.thm12017-02-06 12:44 637  
[ ]bvfunc14__3827_20.min1.thm12017-02-06 12:44 637  
[ ]bvfunc14__3828_53.min1.thm12017-02-06 12:45 930  
[ ]bvfunc14__3829_44.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__3830_36.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__3831_43.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__3832_51.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__3833_58.min1.thm12017-02-06 12:44 948  
[ ]bvfunc14__3834_66.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__3834_66.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]bvfunc14__3835_50.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__3836_42.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__3837_35.min1.thm12017-02-06 12:44 659  
[ ]bvfunc14__3838_28.min1.thm12017-02-06 12:45 886  
[ ]bvfunc14__3839_23.min1.thm12017-02-06 12:44 815  
[ ]bvfunc14__3841_44.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__3842_29.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__3853_22.min1.thm12017-02-06 12:44 885  
[ ]bvfunc14__3855_16.min1.thm12017-02-06 12:44 571  
[ ]bvfunc14__3855_16.min1.thm1.tptp2017-02-06 16:48 490  
[ ]bvfunc14__3857_22.min1.thm12017-02-06 12:44 886  
[ ]bvfunc14__3859_20.min1.thm12017-02-06 12:45 835  
[ ]bvfunc14__3861_22.min1.thm12017-02-06 12:44 886  
[ ]bvfunc14__3862_20.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__3862_20.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__3864_32.min1.thm12017-02-06 12:44 676  
[ ]bvfunc14__3865_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__3867_35.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3868_20.min1.thm12017-02-06 12:45 834  
[ ]bvfunc14__3869_22.min1.thm12017-02-06 12:44 886  
[ ]bvfunc14__3871_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__3874_21.min1.thm12017-02-06 12:44 342  
[ ]bvfunc14__3874_21.min1.thm1.tptp2017-02-06 16:48 274  
[ ]bvfunc14__3875_22.min1.thm12017-02-06 12:44 886  
[ ]bvfunc14__3877_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__3878_22.min1.thm12017-02-06 12:44 886  
[ ]bvfunc14__3880_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__3886_33.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__3888_24.min1.thm12017-02-06 12:44 592  
[ ]bvfunc14__3888_24.min1.thm1.tptp2017-02-06 16:48 530  
[ ]bvfunc14__3889_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3891_31.min1.thm12017-02-06 12:45 838  
[ ]bvfunc14__3892_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3894_38.min1.thm12017-02-06 12:44 956  
[ ]bvfunc14__3895_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3897_45.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__3898_18.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3899_21.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__3901_20.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__3903_24.min1.thm12017-02-06 12:44 728  
[ ]bvfunc14__3912_19.min1.thm12017-02-06 12:44 626  
[ ]bvfunc14__3913_55.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__3915_23.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3921_18.min1.thm12017-02-06 12:44 842  
[ ]bvfunc14__3922_45.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__3924_38.min1.thm12017-02-06 12:44 960  
[ ]bvfunc14__3926_17.min1.thm12017-02-06 12:45 724  
[ ]bvfunc14__3927_31.min1.thm12017-02-06 12:44 842  
[ ]bvfunc14__3929_17.min1.thm12017-02-06 12:44 665  
[ ]bvfunc14__3930_24.min1.thm12017-02-06 12:44 724  
[ ]bvfunc14__3932_28.min1.thm12017-02-06 12:44 593  
[ ]bvfunc14__3932_28.min1.thm1.tptp2017-02-06 16:48 531  
[ ]bvfunc14__3933_17.min1.thm12017-02-06 12:44 784  
[ ]bvfunc14__3936_21.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__3939_58.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__3940_14.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__3941_27.min1.thm12017-02-06 12:45 517  
[ ]bvfunc14__3941_27.min1.thm1.tptp2017-02-06 16:48 449  
[ ]bvfunc14__3942_43.min1.thm12017-02-06 12:44 929  
[ ]bvfunc14__3944_23.min1.thm12017-02-06 12:44 949  
[ ]bvfunc14__3945_15.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__3945_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__3946_44.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__3947_51.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__3949_31.min1.thm12017-02-06 12:45 1.7K 
[ ]bvfunc14__3950_16.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__3952_25.min1.thm12017-02-06 12:44 846  
[ ]bvfunc14__3953_15.min1.thm12017-02-06 12:45 573  
[ ]bvfunc14__3953_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__3954_52.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__3955_59.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__3957_41.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__3958_17.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__3960_26.min1.thm12017-02-06 12:44 964  
[ ]bvfunc14__3961_15.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__3961_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__3962_60.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__3964_67.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__3967_49.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__3968_15.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__3968_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__3969_62.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__3971_69.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__3973_19.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__3982_64.min1.thm12017-02-06 12:45 1.8K 
[ ]bvfunc14__3988_61.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__3993_25.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__3994_53.min1.thm12017-02-06 12:45 1.5K 
[ ]bvfunc14__3998_23.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__3999_45.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__4003_21.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__4004_37.min1.thm12017-02-06 12:44 775  
[ ]bvfunc14__4007_19.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4012_30.min1.thm12017-02-06 12:44 816  
[ ]bvfunc14__4013_25.min1.thm12017-02-06 12:45 909  
[ ]bvfunc14__4014_22.min1.thm12017-02-06 12:45 1.5K 
[ ]bvfunc14__4021_52.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__4024_17.min1.thm12017-02-06 12:45 1.5K 
[ ]bvfunc14__4027_17.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__4038_53.min1.thm12017-02-06 12:45 1.7K 
[ ]bvfunc14__4041_17.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__4044_17.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__4047_17.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__4057_41.min1.thm12017-02-06 12:44 8.3K 
[ ]bvfunc14__4068_21.min1.thm12017-02-06 12:44 6.8K 
[ ]bvfunc14__4070_50.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__4073_30.min1.thm12017-02-06 12:44 816  
[ ]bvfunc14__4074_25.min1.thm12017-02-06 12:45 909  
[ ]bvfunc14__4075_28.min1.thm12017-02-06 12:45 1.4K 
[ ]bvfunc14__4087_22.min1.thm12017-02-06 12:44 5.0K 
[ ]bvfunc14__4090_52.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__4092_57.min1.thm12017-02-06 12:44 803  
[ ]bvfunc14__4093_57.min1.thm12017-02-06 12:44 803  
[ ]bvfunc14__4094_27.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__4098_50.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__4100_55.min1.thm12017-02-06 12:44 803  
[ ]bvfunc14__4101_55.min1.thm12017-02-06 12:45 803  
[ ]bvfunc14__4102_57.min1.thm12017-02-06 12:44 803  
[ ]bvfunc14__4103_59.min1.thm12017-02-06 12:45 803  
[ ]bvfunc14__4104_59.min1.thm12017-02-06 12:44 803  
[ ]bvfunc14__4105_59.min1.thm12017-02-06 12:44 803  
[ ]bvfunc14__4106_59.min1.thm12017-02-06 12:44 803  
[ ]bvfunc14__4107_59.min1.thm12017-02-06 12:44 711  
[ ]bvfunc14__4107_59.min1.thm1.tptp2017-02-06 16:48 634  
[ ]bvfunc14__4108_59.min1.thm12017-02-06 12:44 805  
[ ]bvfunc14__4109_59.min1.thm12017-02-06 12:44 805  
[ ]bvfunc14__4110_27.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__4114_50.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__4116_55.min1.thm12017-02-06 12:45 803  
[ ]bvfunc14__4117_55.min1.thm12017-02-06 12:44 803  
[ ]bvfunc14__4118_57.min1.thm12017-02-06 12:44 803  
[ ]bvfunc14__4119_59.min1.thm12017-02-06 12:44 803  
[ ]bvfunc14__4120_27.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__4124_52.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__4126_59.min1.thm12017-02-06 12:44 803  
[ ]bvfunc14__4127_59.min1.thm12017-02-06 12:44 803  
[ ]bvfunc14__4128_59.min1.thm12017-02-06 12:44 803  
[ ]bvfunc14__4129_27.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__4133_52.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__4135_27.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__4139_27.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__4142_20.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4144_26.min1.thm12017-02-06 12:44 4.2K 
[ ]bvfunc14__4145_21.min1.thm12017-02-06 12:44 4.1K 
[ ]bvfunc14__4147_36.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__4153_21.min1.thm12017-02-06 12:44 3.7K 
[ ]bvfunc14__4155_15.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__4156_21.min1.thm12017-02-06 12:44 3.7K 
[ ]bvfunc14__4157_20.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__4159_20.min1.thm12017-02-06 12:44 519  
[ ]bvfunc14__4160_21.min1.thm12017-02-06 12:44 3.7K 
[ ]bvfunc14__4161_20.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__4163_27.min1.thm12017-02-06 12:44 674  
[ ]bvfunc14__4164_21.min1.thm12017-02-06 12:44 3.7K 
[ ]bvfunc14__4165_20.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__4167_32.min1.thm12017-02-06 12:45 738  
[ ]bvfunc14__4168_21.min1.thm12017-02-06 12:44 3.7K 
[ ]bvfunc14__4169_20.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__4171_37.min1.thm12017-02-06 12:44 801  
[ ]bvfunc14__4172_21.min1.thm12017-02-06 12:45 3.7K 
[ ]bvfunc14__4173_20.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__4174_21.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__4176_28.min1.thm12017-02-06 12:45 506  
[ ]bvfunc14__4179_30.min1.thm12017-02-06 12:44 799  
[ ]bvfunc14__4180_17.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__4189_41.min1.thm12017-02-06 12:44 563  
[ ]bvfunc14__4190_24.min1.thm12017-02-06 12:44 650  
[ ]bvfunc14__4190_24.min1.thm1.tptp2017-02-06 16:48 595  
[ ]bvfunc14__4200_41.min1.thm12017-02-06 12:44 567  
[ ]bvfunc14__4201_34.min1.thm12017-02-06 12:44 950  
[ ]bvfunc14__4202_29.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4203_34.min1.thm12017-02-06 12:45 950  
[ ]bvfunc14__4204_29.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4205_24.min1.thm12017-02-06 12:44 567  
[ ]bvfunc14__4215_41.min1.thm12017-02-06 12:44 563  
[ ]bvfunc14__4216_36.min1.thm12017-02-06 12:44 586  
[ ]bvfunc14__4217_29.min1.thm12017-02-06 12:44 673  
[ ]bvfunc14__4217_29.min1.thm1.tptp2017-02-06 16:48 612  
[ ]bvfunc14__4218_24.min1.thm12017-02-06 12:44 563  
[ ]bvfunc14__4228_41.min1.thm12017-02-06 12:44 567  
[ ]bvfunc14__4229_36.min1.thm12017-02-06 12:45 574  
[ ]bvfunc14__4230_29.min1.thm12017-02-06 12:44 661  
[ ]bvfunc14__4230_29.min1.thm1.tptp2017-02-06 16:48 597  
[ ]bvfunc14__4231_24.min1.thm12017-02-06 12:44 567  
[ ]bvfunc14__4241_41.min1.thm12017-02-06 12:44 567  
[ ]bvfunc14__4242_29.min1.thm12017-02-06 12:45 612  
[ ]bvfunc14__4242_29.min1.thm1.tptp2017-02-06 16:48 545  
[ ]bvfunc14__4243_24.min1.thm12017-02-06 12:44 567  
[ ]bvfunc14__4252_41.min1.thm12017-02-06 12:44 563  
[ ]bvfunc14__4253_24.min1.thm12017-02-06 12:44 650  
[ ]bvfunc14__4253_24.min1.thm1.tptp2017-02-06 16:48 595  
[ ]bvfunc14__4279_28.min1.thm12017-02-06 12:44 619  
[ ]bvfunc14__4280_30.min1.thm12017-02-06 12:44 695  
[ ]bvfunc14__4283_29.min1.thm12017-02-06 12:45 766  
[ ]bvfunc14__4287_12.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__4288_29.min1.thm12017-02-06 12:44 766  
[ ]bvfunc14__4292_12.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__4293_29.min1.thm12017-02-06 12:45 766  
[ ]bvfunc14__4297_12.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__4298_29.min1.thm12017-02-06 12:44 766  
[ ]bvfunc14__4302_12.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__4303_29.min1.thm12017-02-06 12:45 766  
[ ]bvfunc14__4307_12.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__4308_29.min1.thm12017-02-06 12:44 766  
[ ]bvfunc14__4312_17.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__4323_28.min1.thm12017-02-06 12:44 619  
[ ]bvfunc14__4329_42.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__4330_37.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__4331_30.min1.thm12017-02-06 12:44 599  
[ ]bvfunc14__4332_25.min1.thm12017-02-06 12:44 656  
[ ]bvfunc14__4332_25.min1.thm1.tptp2017-02-06 16:48 601  
[ ]bvfunc14__4333_14.min1.thm12017-02-06 12:45 464  
[ ]bvfunc14__4348_30.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__4349_20.min1.thm12017-02-06 12:44 589  
[ ]bvfunc14__4349_20.min1.thm1.tptp2017-02-06 16:48 543  
[ ]bvfunc14__4351_19.min1.thm12017-02-06 12:44 576  
[ ]bvfunc14__4352_15.min1.thm12017-02-06 12:44 589  
[ ]bvfunc14__4352_15.min1.thm1.tptp2017-02-06 16:48 543  
[ ]bvfunc14__4354_19.min1.thm12017-02-06 12:45 576  
[ ]bvfunc14__4355_15.min1.thm12017-02-06 12:44 589  
[ ]bvfunc14__4355_15.min1.thm1.tptp2017-02-06 16:48 543  
[ ]bvfunc14__4357_19.min1.thm12017-02-06 12:44 576  
[ ]bvfunc14__4358_15.min1.thm12017-02-06 12:44 589  
[ ]bvfunc14__4358_15.min1.thm1.tptp2017-02-06 16:48 543  
[ ]bvfunc14__4360_19.min1.thm12017-02-06 12:44 577  
[ ]bvfunc14__4361_15.min1.thm12017-02-06 12:44 590  
[ ]bvfunc14__4361_15.min1.thm1.tptp2017-02-06 16:48 544  
[ ]bvfunc14__4363_19.min1.thm12017-02-06 12:45 578  
[ ]bvfunc14__4364_15.min1.thm12017-02-06 12:44 590  
[ ]bvfunc14__4364_15.min1.thm1.tptp2017-02-06 16:48 544  
[ ]bvfunc14__4366_19.min1.thm12017-02-06 12:44 578  
[ ]bvfunc14__4373_16.min1.thm12017-02-06 12:45 598  
[ ]bvfunc14__4374_59.min1.thm12017-02-06 12:44 902  
[ ]bvfunc14__4376_19.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__4378_15.min1.thm12017-02-06 12:45 590  
[ ]bvfunc14__4378_15.min1.thm1.tptp2017-02-06 16:48 544  
[ ]bvfunc14__4380_20.min1.thm12017-02-06 12:44 578  
[ ]bvfunc14__4385_19.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__4387_17.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__4409_70.min1.thm12017-02-06 12:44 129  
[ ]bvfunc14__4410_34.min1.thm12017-02-06 12:44 129  
[ ]bvfunc14__4411_66.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__4413_4.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__4415_17.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__4418_23.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__4421_60.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__4437_48.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__4439_20.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__4443_35.min1.thm12017-02-06 12:44 4.0K 
[ ]bvfunc14__4448_57.min1.thm12017-02-06 12:44 876  
[ ]bvfunc14__4453_25.min1.thm12017-02-06 12:44 517  
[ ]bvfunc14__4454_15.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__4457_25.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__4458_15.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__4460_27.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__4462_41.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__4463_15.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__4465_27.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__4467_57.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__4468_15.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__4470_27.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__4472_73.min1.thm12017-02-06 12:45 1.8K 
[ ]bvfunc14__4474_15.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__4476_27.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__4479_17.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__4480_15.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__4482_27.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__4485_33.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__4486_22.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__4490_17.min1.thm12017-02-06 12:45 1.9K 
[ ]bvfunc14__4516_62.min1.thm12017-02-06 12:44 129  
[ ]bvfunc14__4517_76.min1.thm12017-02-06 12:45 129  
[ ]bvfunc14__4518_34.min1.thm12017-02-06 12:44 129  
[ ]bvfunc14__4519_66.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__4521_4.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__4523_17.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__4526_23.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__4529_60.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__4531_44.min1.thm12017-02-06 12:44 130  
[ ]bvfunc14__4532_14.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__4534_14.min1.thm12017-02-06 12:45 1.5K 
[ ]bvfunc14__4535_48.min1.thm12017-02-06 12:45 1.4K 
[ ]bvfunc14__4536_48.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__4537_46.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__4553_48.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__4555_20.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__4559_35.min1.thm12017-02-06 12:44 4.0K 
[ ]bvfunc14__4564_57.min1.thm12017-02-06 12:44 876  
[ ]bvfunc14__4569_25.min1.thm12017-02-06 12:44 517  
[ ]bvfunc14__4570_15.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__4573_25.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__4574_15.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__4576_27.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__4578_41.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__4579_15.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__4581_27.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__4583_57.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__4584_15.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__4586_27.min1.thm12017-02-06 12:45 4.8K 
[ ]bvfunc14__4588_73.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__4590_15.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__4592_27.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__4595_17.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__4596_15.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__4598_27.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__4601_38.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__4602_22.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__4606_20.min1.thm12017-02-06 12:45 434  
[ ]bvfunc14__4611_4.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__4612_74.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__4614_38.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__4615_15.min1.thm12017-02-06 12:44 485  
[ ]bvfunc14__4616_62.min1.thm12017-02-06 12:45 130  
[ ]bvfunc14__4617_53.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__4618_65.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__4619_70.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__4621_70.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__4623_64.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__4624_17.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__4625_19.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__4626_13.min1.thm12017-02-06 12:45 2.0K 
[ ]bvfunc14__4628_14.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__4631_19.min1.thm12017-02-06 12:44 461  
[ ]bvfunc14__4631_19.min1.thm1.tptp2017-02-06 16:48 399  
[ ]bvfunc14__4635_72.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4638_56.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__4639_11.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__4640_21.min1.thm12017-02-06 12:44 493  
[ ]bvfunc14__4642_23.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__4645_17.min1.thm12017-02-06 12:45 1.5K 
[ ]bvfunc14__4663_19.min1.thm12017-02-06 12:44 636  
[ ]bvfunc14__4664_41.min1.thm12017-02-06 12:45 1.4K 
[ ]bvfunc14__4666_55.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__4667_37.min1.thm12017-02-06 12:45 751  
[ ]bvfunc14__4668_20.min1.thm12017-02-06 12:44 637  
[ ]bvfunc14__4669_20.min1.thm12017-02-06 12:44 639  
[ ]bvfunc14__4670_37.min1.thm12017-02-06 12:44 751  
[ ]bvfunc14__4671_56.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__4672_45.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__4673_37.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__4674_44.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4675_52.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__4676_59.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4677_67.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__4677_67.min1.thm1.tptp2017-02-06 16:48 1.1K 
[ ]bvfunc14__4678_59.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__4679_64.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__4680_74.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__4682_66.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__4684_58.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__4685_50.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__4686_43.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__4687_36.min1.thm12017-02-06 12:44 709  
[ ]bvfunc14__4688_29.min1.thm12017-02-06 12:44 933  
[ ]bvfunc14__4689_24.min1.thm12017-02-06 12:44 861  
[ ]bvfunc14__4691_39.min1.thm12017-02-06 12:45 2.0K 
[ ]bvfunc14__4702_22.min1.thm12017-02-06 12:44 922  
[ ]bvfunc14__4704_16.min1.thm12017-02-06 12:44 571  
[ ]bvfunc14__4704_16.min1.thm1.tptp2017-02-06 16:48 490  
[ ]bvfunc14__4708_21.min1.thm12017-02-06 12:44 342  
[ ]bvfunc14__4708_21.min1.thm1.tptp2017-02-06 16:48 274  
[ ]bvfunc14__4709_22.min1.thm12017-02-06 12:44 923  
[ ]bvfunc14__4711_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__4713_22.min1.thm12017-02-06 12:45 923  
[ ]bvfunc14__4714_20.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__4714_20.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__4716_32.min1.thm12017-02-06 12:44 676  
[ ]bvfunc14__4717_20.min1.thm12017-02-06 12:45 835  
[ ]bvfunc14__4719_35.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4720_20.min1.thm12017-02-06 12:44 834  
[ ]bvfunc14__4721_22.min1.thm12017-02-06 12:44 923  
[ ]bvfunc14__4723_20.min1.thm12017-02-06 12:45 835  
[ ]bvfunc14__4725_22.min1.thm12017-02-06 12:45 923  
[ ]bvfunc14__4727_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__4728_22.min1.thm12017-02-06 12:44 924  
[ ]bvfunc14__4730_20.min1.thm12017-02-06 12:44 837  
[ ]bvfunc14__4731_22.min1.thm12017-02-06 12:45 923  
[ ]bvfunc14__4733_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__4739_33.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__4741_24.min1.thm12017-02-06 12:44 592  
[ ]bvfunc14__4741_24.min1.thm1.tptp2017-02-06 16:48 530  
[ ]bvfunc14__4742_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4744_31.min1.thm12017-02-06 12:44 838  
[ ]bvfunc14__4745_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4747_38.min1.thm12017-02-06 12:44 956  
[ ]bvfunc14__4748_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4750_45.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4751_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4753_60.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__4755_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__4756_21.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__4758_20.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__4760_24.min1.thm12017-02-06 12:44 728  
[ ]bvfunc14__4769_19.min1.thm12017-02-06 12:44 626  
[ ]bvfunc14__4770_63.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__4772_23.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__4778_17.min1.thm12017-02-06 12:45 903  
[ ]bvfunc14__4779_60.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__4782_17.min1.thm12017-02-06 12:44 842  
[ ]bvfunc14__4783_45.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__4785_38.min1.thm12017-02-06 12:45 960  
[ ]bvfunc14__4787_17.min1.thm12017-02-06 12:44 724  
[ ]bvfunc14__4788_31.min1.thm12017-02-06 12:45 842  
[ ]bvfunc14__4790_17.min1.thm12017-02-06 12:44 666  
[ ]bvfunc14__4791_24.min1.thm12017-02-06 12:44 725  
[ ]bvfunc14__4793_28.min1.thm12017-02-06 12:44 594  
[ ]bvfunc14__4793_28.min1.thm1.tptp2017-02-06 16:48 532  
[ ]bvfunc14__4794_17.min1.thm12017-02-06 12:45 784  
[ ]bvfunc14__4797_21.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4800_65.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__4802_14.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__4803_27.min1.thm12017-02-06 12:44 517  
[ ]bvfunc14__4803_27.min1.thm1.tptp2017-02-06 16:48 449  
[ ]bvfunc14__4804_43.min1.thm12017-02-06 12:44 929  
[ ]bvfunc14__4806_23.min1.thm12017-02-06 12:44 949  
[ ]bvfunc14__4807_15.min1.thm12017-02-06 12:45 573  
[ ]bvfunc14__4807_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__4808_44.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__4809_51.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__4811_31.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__4812_16.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__4814_25.min1.thm12017-02-06 12:44 846  
[ ]bvfunc14__4815_15.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__4815_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__4816_52.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__4817_59.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__4819_41.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__4820_17.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__4822_26.min1.thm12017-02-06 12:44 964  
[ ]bvfunc14__4823_15.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__4823_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__4824_60.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__4826_67.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__4829_49.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__4830_18.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__4832_27.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__4833_15.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__4833_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__4834_68.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__4836_75.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__4839_57.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__4840_15.min1.thm12017-02-06 12:44 576  
[ ]bvfunc14__4840_15.min1.thm1.tptp2017-02-06 16:48 495  
[ ]bvfunc14__4841_69.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__4843_76.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__4845_19.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__4854_71.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__4860_69.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__4866_61.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__4871_25.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__4872_53.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__4876_23.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__4877_45.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__4881_21.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__4882_37.min1.thm12017-02-06 12:44 777  
[ ]bvfunc14__4885_19.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__4891_32.min1.thm12017-02-06 12:44 864  
[ ]bvfunc14__4892_27.min1.thm12017-02-06 12:44 957  
[ ]bvfunc14__4894_31.min1.thm12017-02-06 12:45 2.1K 
[ ]bvfunc14__4895_18.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__4898_31.min1.thm12017-02-06 12:45 2.1K 
[ ]bvfunc14__4899_31.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__4904_73.min1.thm12017-02-06 12:45 6.9K 
[ ]bvfunc14__4912_59.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__4926_61.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__4931_46.min1.thm12017-02-06 12:45 11K 
[ ]bvfunc14__4941_21.min1.thm12017-02-06 12:44 8.7K 
[ ]bvfunc14__4943_50.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__4944_28.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__4956_22.min1.thm12017-02-06 12:45 6.0K 
[ ]bvfunc14__4961_62.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__4962_62.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__4963_64.min1.thm12017-02-06 12:45 867  
[ ]bvfunc14__4964_27.min1.thm12017-02-06 12:45 2.0K 
[ ]bvfunc14__4970_60.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__4971_60.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__4972_62.min1.thm12017-02-06 12:45 867  
[ ]bvfunc14__4973_64.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__4974_64.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__4975_64.min1.thm12017-02-06 12:45 867  
[ ]bvfunc14__4976_64.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__4977_64.min1.thm12017-02-06 12:44 868  
[ ]bvfunc14__4978_64.min1.thm12017-02-06 12:44 869  
[ ]bvfunc14__4979_64.min1.thm12017-02-06 12:44 869  
[ ]bvfunc14__4980_64.min1.thm12017-02-06 12:44 869  
[ ]bvfunc14__4981_27.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__4987_60.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__4988_60.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__4989_62.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__4990_64.min1.thm12017-02-06 12:45 867  
[ ]bvfunc14__4991_66.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__4992_27.min1.thm12017-02-06 12:45 2.0K 
[ ]bvfunc14__4996_57.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__4998_64.min1.thm12017-02-06 12:45 867  
[ ]bvfunc14__4999_64.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__5000_64.min1.thm12017-02-06 12:45 867  
[ ]bvfunc14__5001_64.min1.thm12017-02-06 12:45 867  
[ ]bvfunc14__5002_27.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__5006_57.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5008_62.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__5009_27.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__5013_57.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5015_27.min1.thm12017-02-06 12:45 2.0K 
[ ]bvfunc14__5019_27.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__5022_20.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__5024_26.min1.thm12017-02-06 12:44 5.1K 
[ ]bvfunc14__5025_21.min1.thm12017-02-06 12:44 5.0K 
[ ]bvfunc14__5027_36.min1.thm12017-02-06 12:44 2.9K 
[ ]bvfunc14__5033_45.min1.thm12017-02-06 12:44 751  
[ ]bvfunc14__5035_15.min1.thm12017-02-06 12:44 6.8K 
[ ]bvfunc14__5036_45.min1.thm12017-02-06 12:45 751  
[ ]bvfunc14__5037_20.min1.thm12017-02-06 12:44 6.8K 
[ ]bvfunc14__5039_20.min1.thm12017-02-06 12:45 519  
[ ]bvfunc14__5040_45.min1.thm12017-02-06 12:44 751  
[ ]bvfunc14__5041_20.min1.thm12017-02-06 12:44 6.8K 
[ ]bvfunc14__5043_27.min1.thm12017-02-06 12:45 676  
[ ]bvfunc14__5044_45.min1.thm12017-02-06 12:44 752  
[ ]bvfunc14__5045_20.min1.thm12017-02-06 12:45 6.8K 
[ ]bvfunc14__5047_32.min1.thm12017-02-06 12:44 740  
[ ]bvfunc14__5048_45.min1.thm12017-02-06 12:44 752  
[ ]bvfunc14__5049_20.min1.thm12017-02-06 12:44 6.8K 
[ ]bvfunc14__5051_37.min1.thm12017-02-06 12:44 803  
[ ]bvfunc14__5052_45.min1.thm12017-02-06 12:45 752  
[ ]bvfunc14__5053_20.min1.thm12017-02-06 12:44 6.8K 
[ ]bvfunc14__5055_42.min1.thm12017-02-06 12:44 865  
[ ]bvfunc14__5056_45.min1.thm12017-02-06 12:44 753  
[ ]bvfunc14__5057_20.min1.thm12017-02-06 12:44 6.8K 
[ ]bvfunc14__5058_21.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__5060_28.min1.thm12017-02-06 12:44 506  
[ ]bvfunc14__5063_30.min1.thm12017-02-06 12:44 799  
[ ]bvfunc14__5064_17.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__5073_45.min1.thm12017-02-06 12:44 609  
[ ]bvfunc14__5074_26.min1.thm12017-02-06 12:44 696  
[ ]bvfunc14__5074_26.min1.thm1.tptp2017-02-06 16:48 644  
[ ]bvfunc14__5075_17.min1.thm12017-02-06 12:45 3.4K 
[ ]bvfunc14__5084_46.min1.thm12017-02-06 12:44 613  
[ ]bvfunc14__5085_36.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5086_31.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5087_26.min1.thm12017-02-06 12:44 613  
[ ]bvfunc14__5088_17.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__5097_46.min1.thm12017-02-06 12:44 609  
[ ]bvfunc14__5098_38.min1.thm12017-02-06 12:44 633  
[ ]bvfunc14__5099_31.min1.thm12017-02-06 12:44 720  
[ ]bvfunc14__5099_31.min1.thm1.tptp2017-02-06 16:48 662  
[ ]bvfunc14__5100_26.min1.thm12017-02-06 12:44 609  
[ ]bvfunc14__5101_17.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__5110_46.min1.thm12017-02-06 12:44 613  
[ ]bvfunc14__5111_38.min1.thm12017-02-06 12:44 624  
[ ]bvfunc14__5112_33.min1.thm12017-02-06 12:44 711  
[ ]bvfunc14__5112_33.min1.thm1.tptp2017-02-06 16:48 650  
[ ]bvfunc14__5113_26.min1.thm12017-02-06 12:45 613  
[ ]bvfunc14__5114_17.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__5123_46.min1.thm12017-02-06 12:44 613  
[ ]bvfunc14__5124_38.min1.thm12017-02-06 12:44 608  
[ ]bvfunc14__5125_33.min1.thm12017-02-06 12:44 695  
[ ]bvfunc14__5125_33.min1.thm1.tptp2017-02-06 16:48 631  
[ ]bvfunc14__5126_26.min1.thm12017-02-06 12:44 613  
[ ]bvfunc14__5127_17.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__5136_46.min1.thm12017-02-06 12:44 613  
[ ]bvfunc14__5137_38.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5138_33.min1.thm12017-02-06 12:44 893  
[ ]bvfunc14__5139_26.min1.thm12017-02-06 12:44 613  
[ ]bvfunc14__5140_17.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__5149_46.min1.thm12017-02-06 12:44 609  
[ ]bvfunc14__5150_26.min1.thm12017-02-06 12:44 696  
[ ]bvfunc14__5150_26.min1.thm1.tptp2017-02-06 16:48 644  
[ ]bvfunc14__5151_17.min1.thm12017-02-06 12:45 3.4K 
[ ]bvfunc14__5178_28.min1.thm12017-02-06 12:45 620  
[ ]bvfunc14__5179_34.min1.thm12017-02-06 12:44 768  
[ ]bvfunc14__5183_29.min1.thm12017-02-06 12:44 768  
[ ]bvfunc14__5188_29.min1.thm12017-02-06 12:44 768  
[ ]bvfunc14__5193_29.min1.thm12017-02-06 12:44 768  
[ ]bvfunc14__5198_29.min1.thm12017-02-06 12:44 768  
[ ]bvfunc14__5203_29.min1.thm12017-02-06 12:44 768  
[ ]bvfunc14__5222_28.min1.thm12017-02-06 12:44 620  
[ ]bvfunc14__5225_30.min1.thm12017-02-06 12:45 563  
[ ]bvfunc14__5226_25.min1.thm12017-02-06 12:44 656  
[ ]bvfunc14__5226_25.min1.thm1.tptp2017-02-06 16:48 601  
[ ]bvfunc14__5231_27.min1.thm12017-02-06 12:45 700  
[ ]bvfunc14__5231_27.min1.thm1.tptp2017-02-06 16:48 648  
[ ]bvfunc14__5232_17.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__5247_32.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__5248_20.min1.thm12017-02-06 12:45 635  
[ ]bvfunc14__5248_20.min1.thm1.tptp2017-02-06 16:48 592  
[ ]bvfunc14__5250_19.min1.thm12017-02-06 12:45 576  
[ ]bvfunc14__5251_15.min1.thm12017-02-06 12:44 635  
[ ]bvfunc14__5251_15.min1.thm1.tptp2017-02-06 16:48 592  
[ ]bvfunc14__5253_19.min1.thm12017-02-06 12:44 576  
[ ]bvfunc14__5254_15.min1.thm12017-02-06 12:44 635  
[ ]bvfunc14__5254_15.min1.thm1.tptp2017-02-06 16:48 592  
[ ]bvfunc14__5256_19.min1.thm12017-02-06 12:44 576  
[ ]bvfunc14__5257_15.min1.thm12017-02-06 12:44 635  
[ ]bvfunc14__5257_15.min1.thm1.tptp2017-02-06 16:48 592  
[ ]bvfunc14__5259_19.min1.thm12017-02-06 12:44 577  
[ ]bvfunc14__5260_15.min1.thm12017-02-06 12:44 636  
[ ]bvfunc14__5260_15.min1.thm1.tptp2017-02-06 16:48 593  
[ ]bvfunc14__5262_19.min1.thm12017-02-06 12:45 578  
[ ]bvfunc14__5269_15.min1.thm12017-02-06 12:44 598  
[ ]bvfunc14__5270_67.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5272_19.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__5274_15.min1.thm12017-02-06 12:44 636  
[ ]bvfunc14__5274_15.min1.thm1.tptp2017-02-06 16:48 593  
[ ]bvfunc14__5276_20.min1.thm12017-02-06 12:44 578  
[ ]bvfunc14__5277_15.min1.thm12017-02-06 12:44 636  
[ ]bvfunc14__5277_15.min1.thm1.tptp2017-02-06 16:48 593  
[ ]bvfunc14__5279_20.min1.thm12017-02-06 12:45 578  
[ ]bvfunc14__5280_15.min1.thm12017-02-06 12:44 636  
[ ]bvfunc14__5280_15.min1.thm1.tptp2017-02-06 16:48 593  
[ ]bvfunc14__5282_20.min1.thm12017-02-06 12:44 578  
[ ]bvfunc14__5287_19.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__5289_17.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__5314_77.min1.thm12017-02-06 12:44 129  
[ ]bvfunc14__5315_34.min1.thm12017-02-06 12:44 129  
[ ]bvfunc14__5316_73.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__5318_17.min1.thm12017-02-06 12:45 2.0K 
[ ]bvfunc14__5321_20.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__5323_33.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__5325_51.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__5328_76.min1.thm12017-02-06 12:44 2.7K 
[ ]bvfunc14__5346_48.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__5348_20.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__5352_35.min1.thm12017-02-06 12:44 4.4K 
[ ]bvfunc14__5357_64.min1.thm12017-02-06 12:44 963  
[ ]bvfunc14__5363_25.min1.thm12017-02-06 12:44 432  
[ ]bvfunc14__5364_15.min1.thm12017-02-06 12:45 2.5K 
[ ]bvfunc14__5367_25.min1.thm12017-02-06 12:44 5.3K 
[ ]bvfunc14__5368_15.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__5370_27.min1.thm12017-02-06 12:44 5.3K 
[ ]bvfunc14__5372_41.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5373_15.min1.thm12017-02-06 12:45 2.5K 
[ ]bvfunc14__5375_27.min1.thm12017-02-06 12:44 5.3K 
[ ]bvfunc14__5377_57.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__5378_15.min1.thm12017-02-06 12:45 2.5K 
[ ]bvfunc14__5380_27.min1.thm12017-02-06 12:44 5.3K 
[ ]bvfunc14__5382_73.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__5384_15.min1.thm12017-02-06 12:45 2.5K 
[ ]bvfunc14__5386_27.min1.thm12017-02-06 12:44 5.3K 
[ ]bvfunc14__5389_17.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__5390_15.min1.thm12017-02-06 12:45 2.5K 
[ ]bvfunc14__5392_27.min1.thm12017-02-06 12:45 5.3K 
[ ]bvfunc14__5395_36.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__5396_15.min1.thm12017-02-06 12:45 2.5K 
[ ]bvfunc14__5398_27.min1.thm12017-02-06 12:44 5.4K 
[ ]bvfunc14__5401_52.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__5402_22.min1.thm12017-02-06 12:45 5.3K 
[ ]bvfunc14__5435_73.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__5437_17.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__5440_20.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__5442_33.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__5445_42.min1.thm12017-02-06 12:45 2.6K 
[ ]bvfunc14__5448_76.min1.thm12017-02-06 12:45 2.7K 
[ ]bvfunc14__5466_48.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__5468_20.min1.thm12017-02-06 12:45 2.5K 
[ ]bvfunc14__5472_35.min1.thm12017-02-06 12:44 4.4K 
[ ]bvfunc14__5477_64.min1.thm12017-02-06 12:44 963  
[ ]bvfunc14__5483_25.min1.thm12017-02-06 12:44 432  
[ ]bvfunc14__5484_15.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__5487_25.min1.thm12017-02-06 12:45 5.3K 
[ ]bvfunc14__5488_15.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__5490_27.min1.thm12017-02-06 12:45 5.3K 
[ ]bvfunc14__5492_41.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5493_15.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__5495_27.min1.thm12017-02-06 12:44 5.3K 
[ ]bvfunc14__5497_57.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__5498_15.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__5500_27.min1.thm12017-02-06 12:44 5.3K 
[ ]bvfunc14__5502_73.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__5504_15.min1.thm12017-02-06 12:45 2.5K 
[ ]bvfunc14__5506_27.min1.thm12017-02-06 12:44 5.3K 
[ ]bvfunc14__5509_17.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__5510_15.min1.thm12017-02-06 12:45 2.5K 
[ ]bvfunc14__5512_27.min1.thm12017-02-06 12:44 5.3K 
[ ]bvfunc14__5515_38.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__5516_15.min1.thm12017-02-06 12:45 2.5K 
[ ]bvfunc14__5518_27.min1.thm12017-02-06 12:44 5.4K 
[ ]bvfunc14__5521_55.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__5522_22.min1.thm12017-02-06 12:44 5.3K 
[ ]bvfunc14__5525_20.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__5526_33.min1.thm12017-02-06 12:45 1.7K 
[ ]bvfunc14__5527_69.min1.thm12017-02-06 12:44 130  
[ ]bvfunc14__5528_15.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__5529_69.min1.thm12017-02-06 12:45 130  
[ ]bvfunc14__5530_60.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__5531_72.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5533_77.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__5535_77.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__5537_77.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__5539_71.min1.thm12017-02-06 12:45 2.4K 
[ ]bvfunc14__5545_14.min1.thm12017-02-06 12:45 1.9K 
[ ]bvfunc14__5546_15.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5547_11.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5548_21.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5550_23.min1.thm12017-02-06 12:44 879  
[ ]bvfunc14__5552_28.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__5553_55.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__5554_55.min1.thm12017-02-06 12:45 1.5K 
[ ]bvfunc14__5555_55.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__5556_53.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__5559_19.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5563_4.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5565_63.min1.thm12017-02-06 12:45 1.9K 
[ ]bvfunc14__5566_61.min1.thm12017-02-06 12:44 3.3K 
[ ]bvfunc14__5568_17.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__5575_71.min1.thm12017-02-06 12:44 630  
[ ]bvfunc14__5577_60.min1.thm12017-02-06 12:44 555  
[ ]bvfunc14__5580_20.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__5582_17.min1.thm12017-02-06 12:44 966  
[ ]bvfunc14__5582_17.min1.thm1.tptp2017-02-06 16:48 906  
[ ]bvfunc14__5606_19.min1.thm12017-02-06 12:44 636  
[ ]bvfunc14__5607_34.min1.thm12017-02-06 12:45 751  
[ ]bvfunc14__5609_27.min1.thm12017-02-06 12:44 690  
[ ]bvfunc14__5610_37.min1.thm12017-02-06 12:45 751  
[ ]bvfunc14__5611_20.min1.thm12017-02-06 12:45 637  
[ ]bvfunc14__5612_43.min1.thm12017-02-06 12:45 1.5K 
[ ]bvfunc14__5614_58.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__5615_37.min1.thm12017-02-06 12:44 755  
[ ]bvfunc14__5616_61.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5617_48.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__5618_40.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__5619_47.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__5620_55.min1.thm12017-02-06 12:45 1.5K 
[ ]bvfunc14__5621_62.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5622_70.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__5622_70.min1.thm1.tptp2017-02-06 16:48 1.1K 
[ ]bvfunc14__5624_67.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__5624_67.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]bvfunc14__5627_4.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__5627_4.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]bvfunc14__5628_69.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__5630_61.min1.thm12017-02-06 12:45 1.7K 
[ ]bvfunc14__5631_53.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__5632_46.min1.thm12017-02-06 12:44 775  
[ ]bvfunc14__5633_39.min1.thm12017-02-06 12:44 756  
[ ]bvfunc14__5634_32.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5635_27.min1.thm12017-02-06 12:45 907  
[ ]bvfunc14__5637_41.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__5648_22.min1.thm12017-02-06 12:44 969  
[ ]bvfunc14__5650_16.min1.thm12017-02-06 12:44 571  
[ ]bvfunc14__5650_16.min1.thm1.tptp2017-02-06 16:48 490  
[ ]bvfunc14__5652_22.min1.thm12017-02-06 12:45 970  
[ ]bvfunc14__5654_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__5655_22.min1.thm12017-02-06 12:44 971  
[ ]bvfunc14__5657_20.min1.thm12017-02-06 12:44 837  
[ ]bvfunc14__5659_22.min1.thm12017-02-06 12:45 970  
[ ]bvfunc14__5660_20.min1.thm12017-02-06 12:45 573  
[ ]bvfunc14__5660_20.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__5662_32.min1.thm12017-02-06 12:44 676  
[ ]bvfunc14__5663_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__5665_35.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5666_20.min1.thm12017-02-06 12:44 834  
[ ]bvfunc14__5667_22.min1.thm12017-02-06 12:44 970  
[ ]bvfunc14__5669_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__5670_22.min1.thm12017-02-06 12:45 971  
[ ]bvfunc14__5672_20.min1.thm12017-02-06 12:44 837  
[ ]bvfunc14__5673_22.min1.thm12017-02-06 12:44 970  
[ ]bvfunc14__5675_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__5676_22.min1.thm12017-02-06 12:44 970  
[ ]bvfunc14__5678_20.min1.thm12017-02-06 12:44 835  
[ ]bvfunc14__5684_33.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__5686_24.min1.thm12017-02-06 12:44 592  
[ ]bvfunc14__5686_24.min1.thm1.tptp2017-02-06 16:48 530  
[ ]bvfunc14__5687_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5689_31.min1.thm12017-02-06 12:44 838  
[ ]bvfunc14__5690_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5692_38.min1.thm12017-02-06 12:44 956  
[ ]bvfunc14__5693_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5695_45.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5696_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5698_60.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__5700_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5702_67.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5704_17.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5705_21.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__5707_20.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__5709_24.min1.thm12017-02-06 12:45 728  
[ ]bvfunc14__5710_14.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5711_27.min1.thm12017-02-06 12:44 517  
[ ]bvfunc14__5711_27.min1.thm1.tptp2017-02-06 16:48 449  
[ ]bvfunc14__5712_43.min1.thm12017-02-06 12:44 929  
[ ]bvfunc14__5714_23.min1.thm12017-02-06 12:44 949  
[ ]bvfunc14__5715_15.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__5715_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__5716_44.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5717_51.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5719_31.min1.thm12017-02-06 12:45 1.7K 
[ ]bvfunc14__5722_21.min1.thm12017-02-06 12:44 342  
[ ]bvfunc14__5722_21.min1.thm1.tptp2017-02-06 16:48 274  
[ ]bvfunc14__5725_17.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__5727_26.min1.thm12017-02-06 12:44 964  
[ ]bvfunc14__5728_16.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__5730_25.min1.thm12017-02-06 12:45 846  
[ ]bvfunc14__5739_19.min1.thm12017-02-06 12:44 626  
[ ]bvfunc14__5740_71.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__5742_23.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5748_17.min1.thm12017-02-06 12:44 963  
[ ]bvfunc14__5749_67.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5752_60.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__5754_17.min1.thm12017-02-06 12:44 842  
[ ]bvfunc14__5755_17.min1.thm12017-02-06 12:45 903  
[ ]bvfunc14__5756_45.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__5758_38.min1.thm12017-02-06 12:44 960  
[ ]bvfunc14__5760_17.min1.thm12017-02-06 12:44 725  
[ ]bvfunc14__5761_31.min1.thm12017-02-06 12:44 843  
[ ]bvfunc14__5763_17.min1.thm12017-02-06 12:45 667  
[ ]bvfunc14__5764_24.min1.thm12017-02-06 12:44 726  
[ ]bvfunc14__5766_28.min1.thm12017-02-06 12:44 594  
[ ]bvfunc14__5766_28.min1.thm1.tptp2017-02-06 16:48 532  
[ ]bvfunc14__5767_17.min1.thm12017-02-06 12:44 784  
[ ]bvfunc14__5770_21.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5773_72.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__5775_15.min1.thm12017-02-06 12:45 573  
[ ]bvfunc14__5775_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__5776_52.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__5777_59.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__5779_41.min1.thm12017-02-06 12:45 2.0K 
[ ]bvfunc14__5780_15.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__5780_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__5781_60.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__5783_67.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__5786_49.min1.thm12017-02-06 12:45 2.3K 
[ ]bvfunc14__5787_18.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__5789_27.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__5790_15.min1.thm12017-02-06 12:44 573  
[ ]bvfunc14__5790_15.min1.thm1.tptp2017-02-06 16:48 492  
[ ]bvfunc14__5791_68.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__5793_75.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__5796_57.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__5797_19.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__5799_28.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__5800_15.min1.thm12017-02-06 12:45 576  
[ ]bvfunc14__5800_15.min1.thm1.tptp2017-02-06 16:48 495  
[ ]bvfunc14__5801_76.min1.thm12017-02-06 12:45 1.9K 
[ ]bvfunc14__5804_10.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__5806_65.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__5808_15.min1.thm12017-02-06 12:45 576  
[ ]bvfunc14__5808_15.min1.thm1.tptp2017-02-06 16:48 495  
[ ]bvfunc14__5812_10.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5813_19.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__5823_10.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__5829_8.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__5834_69.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__5840_61.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__5845_25.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5846_53.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__5850_23.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__5851_45.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__5855_21.min1.thm12017-02-06 12:45 1.1K 
[ ]bvfunc14__5856_37.min1.thm12017-02-06 12:44 777  
[ ]bvfunc14__5860_20.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__5866_34.min1.thm12017-02-06 12:44 910  
[ ]bvfunc14__5867_29.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__5869_19.min1.thm12017-02-06 12:45 1.8K 
[ ]bvfunc14__5874_66.min1.thm12017-02-06 12:45 1.3K 
[ ]bvfunc14__5879_19.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__5882_19.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__5883_19.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__5884_19.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__5885_19.min1.thm12017-02-06 12:45 1.8K 
[ ]bvfunc14__5895_20.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__5898_25.min1.thm12017-02-06 12:44 5.2K 
[ ]bvfunc14__5902_25.min1.thm12017-02-06 12:44 5.2K 
[ ]bvfunc14__5906_25.min1.thm12017-02-06 12:45 5.2K 
[ ]bvfunc14__5910_25.min1.thm12017-02-06 12:45 5.2K 
[ ]bvfunc14__5914_25.min1.thm12017-02-06 12:44 5.2K 
[ ]bvfunc14__5918_25.min1.thm12017-02-06 12:44 5.2K 
[ ]bvfunc14__5922_25.min1.thm12017-02-06 12:44 5.2K 
[ ]bvfunc14__5926_25.min1.thm12017-02-06 12:44 5.2K 
[ ]bvfunc14__5929_18.min1.thm12017-02-06 12:45 36K 
[ ]bvfunc14__5946_25.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__5950_25.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__5954_25.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__5958_25.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__5962_25.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__5966_25.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__5970_25.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__5974_25.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__5977_18.min1.thm12017-02-06 12:45 4.8K 
[ ]bvfunc14__5979_50.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__5980_19.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__5981_19.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__5988_20.min1.thm12017-02-06 12:44 8.8K 
[ ]bvfunc14__6022_18.min1.thm12017-02-06 12:44 9.1K 
[ ]bvfunc14__6025_50.min1.thm12017-02-06 12:44 14K 
[ ]bvfunc14__6026_28.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__6043_67.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6045_67.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6047_69.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6049_69.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6051_27.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__6057_65.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6058_65.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6059_67.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6061_69.min1.thm12017-02-06 12:45 931  
[ ]bvfunc14__6063_69.min1.thm12017-02-06 12:45 931  
[ ]bvfunc14__6065_69.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6067_69.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6069_69.min1.thm12017-02-06 12:44 932  
[ ]bvfunc14__6071_69.min1.thm12017-02-06 12:44 933  
[ ]bvfunc14__6073_69.min1.thm12017-02-06 12:45 933  
[ ]bvfunc14__6075_71.min1.thm12017-02-06 12:44 933  
[ ]bvfunc14__6077_71.min1.thm12017-02-06 12:44 933  
[ ]bvfunc14__6079_73.min1.thm12017-02-06 12:44 933  
[ ]bvfunc14__6081_71.min1.thm12017-02-06 12:44 933  
[ ]bvfunc14__6083_69.min1.thm12017-02-06 12:44 933  
[ ]bvfunc14__6085_27.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__6091_65.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6092_65.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6093_67.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6095_69.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6097_71.min1.thm12017-02-06 12:45 931  
[ ]bvfunc14__6099_73.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6101_27.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__6105_62.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__6107_69.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6109_69.min1.thm12017-02-06 12:45 931  
[ ]bvfunc14__6111_69.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6113_71.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6115_73.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6117_73.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6119_71.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6121_69.min1.thm12017-02-06 12:44 932  
[ ]bvfunc14__6123_27.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__6127_62.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__6129_67.min1.thm12017-02-06 12:45 931  
[ ]bvfunc14__6131_67.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6133_27.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__6137_62.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__6139_67.min1.thm12017-02-06 12:44 931  
[ ]bvfunc14__6141_27.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__6145_62.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__6147_27.min1.thm12017-02-06 12:44 2.2K 
[ ]bvfunc14__6151_27.min1.thm12017-02-06 12:44 2.0K 
[ ]bvfunc14__6154_20.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__6156_26.min1.thm12017-02-06 12:44 6.2K 
[ ]bvfunc14__6157_21.min1.thm12017-02-06 12:45 6.0K 
[ ]bvfunc14__6159_36.min1.thm12017-02-06 12:44 3.1K 
[ ]bvfunc14__6165_21.min1.thm12017-02-06 12:45 5.7K 
[ ]bvfunc14__6167_15.min1.thm12017-02-06 12:44 2.7K 
[ ]bvfunc14__6168_21.min1.thm12017-02-06 12:44 5.7K 
[ ]bvfunc14__6169_20.min1.thm12017-02-06 12:45 2.7K 
[ ]bvfunc14__6171_20.min1.thm12017-02-06 12:44 519  
[ ]bvfunc14__6172_21.min1.thm12017-02-06 12:44 5.7K 
[ ]bvfunc14__6173_20.min1.thm12017-02-06 12:44 2.7K 
[ ]bvfunc14__6175_27.min1.thm12017-02-06 12:44 676  
[ ]bvfunc14__6176_21.min1.thm12017-02-06 12:44 5.7K 
[ ]bvfunc14__6177_20.min1.thm12017-02-06 12:44 2.7K 
[ ]bvfunc14__6179_32.min1.thm12017-02-06 12:44 742  
[ ]bvfunc14__6180_21.min1.thm12017-02-06 12:44 5.7K 
[ ]bvfunc14__6181_20.min1.thm12017-02-06 12:45 2.7K 
[ ]bvfunc14__6183_37.min1.thm12017-02-06 12:44 805  
[ ]bvfunc14__6184_21.min1.thm12017-02-06 12:44 5.7K 
[ ]bvfunc14__6185_20.min1.thm12017-02-06 12:44 2.7K 
[ ]bvfunc14__6187_42.min1.thm12017-02-06 12:44 867  
[ ]bvfunc14__6188_21.min1.thm12017-02-06 12:44 5.7K 
[ ]bvfunc14__6189_20.min1.thm12017-02-06 12:45 2.7K 
[ ]bvfunc14__6191_47.min1.thm12017-02-06 12:44 929  
[ ]bvfunc14__6192_21.min1.thm12017-02-06 12:44 5.7K 
[ ]bvfunc14__6193_20.min1.thm12017-02-06 12:44 2.7K 
[ ]bvfunc14__6194_21.min1.thm12017-02-06 12:45 1.4K 
[ ]bvfunc14__6196_28.min1.thm12017-02-06 12:44 506  
[ ]bvfunc14__6199_30.min1.thm12017-02-06 12:44 799  
[ ]bvfunc14__6200_17.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__6213_50.min1.thm12017-02-06 12:44 655  
[ ]bvfunc14__6214_28.min1.thm12017-02-06 12:44 742  
[ ]bvfunc14__6214_28.min1.thm1.tptp2017-02-06 16:48 693  
[ ]bvfunc14__6215_17.min1.thm12017-02-06 12:44 3.9K 
[ ]bvfunc14__6228_50.min1.thm12017-02-06 12:44 659  
[ ]bvfunc14__6229_38.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__6230_33.min1.thm12017-02-06 12:44 1.1K 
[ ]bvfunc14__6231_28.min1.thm12017-02-06 12:44 659  
[ ]bvfunc14__6232_17.min1.thm12017-02-06 12:44 3.9K 
[ ]bvfunc14__6245_50.min1.thm12017-02-06 12:45 655  
[ ]bvfunc14__6246_40.min1.thm12017-02-06 12:44 679  
[ ]bvfunc14__6247_33.min1.thm12017-02-06 12:44 766  
[ ]bvfunc14__6247_33.min1.thm1.tptp2017-02-06 16:48 711  
[ ]bvfunc14__6248_28.min1.thm12017-02-06 12:44 655  
[ ]bvfunc14__6249_17.min1.thm12017-02-06 12:44 3.9K 
[ ]bvfunc14__6262_50.min1.thm12017-02-06 12:44 659  
[ ]bvfunc14__6263_40.min1.thm12017-02-06 12:44 671  
[ ]bvfunc14__6264_35.min1.thm12017-02-06 12:44 758  
[ ]bvfunc14__6264_35.min1.thm1.tptp2017-02-06 16:48 700  
[ ]bvfunc14__6265_28.min1.thm12017-02-06 12:44 659  
[ ]bvfunc14__6266_17.min1.thm12017-02-06 12:45 3.9K 
[ ]bvfunc14__6279_50.min1.thm12017-02-06 12:44 659  
[ ]bvfunc14__6280_40.min1.thm12017-02-06 12:44 658  
[ ]bvfunc14__6281_35.min1.thm12017-02-06 12:44 745  
[ ]bvfunc14__6281_35.min1.thm1.tptp2017-02-06 16:48 684  
[ ]bvfunc14__6282_28.min1.thm12017-02-06 12:45 659  
[ ]bvfunc14__6283_17.min1.thm12017-02-06 12:45 3.9K 
[ ]bvfunc14__6296_50.min1.thm12017-02-06 12:44 659  
[ ]bvfunc14__6297_40.min1.thm12017-02-06 12:44 822  
[ ]bvfunc14__6298_35.min1.thm12017-02-06 12:45 642  
[ ]bvfunc14__6299_28.min1.thm12017-02-06 12:44 659  
[ ]bvfunc14__6300_17.min1.thm12017-02-06 12:44 3.9K 
[ ]bvfunc14__6313_50.min1.thm12017-02-06 12:44 659  
[ ]bvfunc14__6314_40.min1.thm12017-02-06 12:45 927  
[ ]bvfunc14__6315_33.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__6316_28.min1.thm12017-02-06 12:45 659  
[ ]bvfunc14__6317_17.min1.thm12017-02-06 12:44 3.9K 
[ ]bvfunc14__6330_50.min1.thm12017-02-06 12:45 655  
[ ]bvfunc14__6331_28.min1.thm12017-02-06 12:45 742  
[ ]bvfunc14__6331_28.min1.thm1.tptp2017-02-06 16:48 693  
[ ]bvfunc14__6332_17.min1.thm12017-02-06 12:44 3.9K 
[ ]bvfunc14__6363_29.min1.thm12017-02-06 12:45 621  
[ ]bvfunc14__6364_30.min1.thm12017-02-06 12:44 698  
[ ]bvfunc14__6367_29.min1.thm12017-02-06 12:44 769  
[ ]bvfunc14__6372_29.min1.thm12017-02-06 12:44 769  
[ ]bvfunc14__6377_29.min1.thm12017-02-06 12:44 769  
[ ]bvfunc14__6382_29.min1.thm12017-02-06 12:44 769  
[ ]bvfunc14__6386_29.min1.thm12017-02-06 12:45 769  
[ ]bvfunc14__6391_29.min1.thm12017-02-06 12:44 769  
[ ]bvfunc14__6396_29.min1.thm12017-02-06 12:44 769  
[ ]bvfunc14__6400_12.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__6401_29.min1.thm12017-02-06 12:44 769  
[ ]bvfunc14__6420_28.min1.thm12017-02-06 12:44 620  
[ ]bvfunc14__6423_32.min1.thm12017-02-06 12:44 607  
[ ]bvfunc14__6424_27.min1.thm12017-02-06 12:44 700  
[ ]bvfunc14__6424_27.min1.thm1.tptp2017-02-06 16:48 648  
[ ]bvfunc14__6429_29.min1.thm12017-02-06 12:44 744  
[ ]bvfunc14__6429_29.min1.thm1.tptp2017-02-06 16:48 695  
[ ]bvfunc14__6430_17.min1.thm12017-02-06 12:45 1.8K 
[ ]bvfunc14__6445_34.min1.thm12017-02-06 12:44 1.7K 
[ ]bvfunc14__6447_17.min1.thm12017-02-06 12:44 677  
[ ]bvfunc14__6447_17.min1.thm1.tptp2017-02-06 16:48 637  
[ ]bvfunc14__6448_17.min1.thm12017-02-06 12:44 677  
[ ]bvfunc14__6448_17.min1.thm1.tptp2017-02-06 16:48 637  
[ ]bvfunc14__6449_17.min1.thm12017-02-06 12:45 677  
[ ]bvfunc14__6449_17.min1.thm1.tptp2017-02-06 16:48 637  
[ ]bvfunc14__6450_17.min1.thm12017-02-06 12:44 677  
[ ]bvfunc14__6450_17.min1.thm1.tptp2017-02-06 16:48 637  
[ ]bvfunc14__6451_17.min1.thm12017-02-06 12:45 677  
[ ]bvfunc14__6451_17.min1.thm1.tptp2017-02-06 16:48 637  
[ ]bvfunc14__6452_17.min1.thm12017-02-06 12:45 677  
[ ]bvfunc14__6452_17.min1.thm1.tptp2017-02-06 16:48 637  
[ ]bvfunc14__6459_16.min1.thm12017-02-06 12:44 604  
[ ]bvfunc14__6461_18.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__6464_23.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__6468_23.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__6472_23.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__6476_23.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__6480_23.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__6484_23.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__6488_23.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__6492_23.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__6496_23.min1.thm12017-02-06 12:45 1.0K 
[ ]bvfunc14__6499_16.min1.thm12017-02-06 12:44 4.9K 
[ ]bvfunc14__6501_18.min1.thm12017-02-06 12:44 678  
[ ]bvfunc14__6501_18.min1.thm1.tptp2017-02-06 16:48 638  
[ ]bvfunc14__6502_18.min1.thm12017-02-06 12:44 678  
[ ]bvfunc14__6502_18.min1.thm1.tptp2017-02-06 16:48 638  
[ ]bvfunc14__6503_18.min1.thm12017-02-06 12:44 678  
[ ]bvfunc14__6503_18.min1.thm1.tptp2017-02-06 16:48 638  
[ ]bvfunc14__6510_18.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__6510_18.min1.thm1.tptp2017-02-06 16:48 1.4K 
[ ]bvfunc14__6513_23.min1.thm12017-02-06 12:44 668  
[ ]bvfunc14__6517_23.min1.thm12017-02-06 12:45 667  
[ ]bvfunc14__6521_23.min1.thm12017-02-06 12:45 667  
[ ]bvfunc14__6525_23.min1.thm12017-02-06 12:44 667  
[ ]bvfunc14__6529_23.min1.thm12017-02-06 12:44 668  
[ ]bvfunc14__6533_23.min1.thm12017-02-06 12:44 668  
[ ]bvfunc14__6537_23.min1.thm12017-02-06 12:44 667  
[ ]bvfunc14__6541_23.min1.thm12017-02-06 12:44 667  
[ ]bvfunc14__6545_23.min1.thm12017-02-06 12:44 667  
[ ]bvfunc14__6548_16.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__6550_17.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__6578_9.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__6581_17.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6583_33.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6586_36.min1.thm12017-02-06 12:44 2.9K 
[ ]bvfunc14__6588_49.min1.thm12017-02-06 12:45 2.9K 
[ ]bvfunc14__6590_67.min1.thm12017-02-06 12:44 2.9K 
[ ]bvfunc14__6594_25.min1.thm12017-02-06 12:44 2.9K 
[ ]bvfunc14__6612_48.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__6614_20.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6618_35.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__6623_71.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__6629_25.min1.thm12017-02-06 12:44 432  
[ ]bvfunc14__6630_15.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6633_25.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6634_15.min1.thm12017-02-06 12:45 2.8K 
[ ]bvfunc14__6636_27.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6638_41.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__6639_15.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6641_27.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6643_57.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__6644_15.min1.thm12017-02-06 12:45 2.8K 
[ ]bvfunc14__6646_27.min1.thm12017-02-06 12:45 5.9K 
[ ]bvfunc14__6648_73.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__6650_15.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6652_27.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6655_17.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__6656_15.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6658_27.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6661_36.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__6662_15.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6664_27.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6667_52.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__6668_15.min1.thm12017-02-06 12:45 2.8K 
[ ]bvfunc14__6670_27.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6673_68.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__6675_22.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6707_34.min1.thm12017-02-06 12:44 129  
[ ]bvfunc14__6709_9.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__6711_20.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6713_33.min1.thm12017-02-06 12:45 2.8K 
[ ]bvfunc14__6716_36.min1.thm12017-02-06 12:45 2.9K 
[ ]bvfunc14__6718_52.min1.thm12017-02-06 12:44 2.9K 
[ ]bvfunc14__6721_58.min1.thm12017-02-06 12:45 2.9K 
[ ]bvfunc14__6725_22.min1.thm12017-02-06 12:44 4.0K 
[ ]bvfunc14__6726_70.min1.thm12017-02-06 12:45 3.8K 
[ ]bvfunc14__6728_44.min1.thm12017-02-06 12:44 130  
[ ]bvfunc14__6729_14.min1.thm12017-02-06 12:44 1.4K 
[ ]bvfunc14__6731_42.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__6732_62.min1.thm12017-02-06 12:45 1.7K 
[ ]bvfunc14__6733_62.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__6734_62.min1.thm12017-02-06 12:45 1.6K 
[ ]bvfunc14__6735_62.min1.thm12017-02-06 12:44 1.5K 
[ ]bvfunc14__6736_60.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__6754_48.min1.thm12017-02-06 12:45 2.5K 
[ ]bvfunc14__6756_20.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6760_35.min1.thm12017-02-06 12:44 4.8K 
[ ]bvfunc14__6765_71.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__6771_25.min1.thm12017-02-06 12:45 432  
[ ]bvfunc14__6772_15.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6775_25.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6776_15.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6778_27.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6780_41.min1.thm12017-02-06 12:44 1.3K 
[ ]bvfunc14__6781_15.min1.thm12017-02-06 12:45 2.8K 
[ ]bvfunc14__6783_27.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6785_57.min1.thm12017-02-06 12:44 1.6K 
[ ]bvfunc14__6786_15.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6788_27.min1.thm12017-02-06 12:45 5.9K 
[ ]bvfunc14__6790_73.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__6792_15.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6794_27.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6797_17.min1.thm12017-02-06 12:44 1.9K 
[ ]bvfunc14__6798_15.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6800_27.min1.thm12017-02-06 12:45 5.9K 
[ ]bvfunc14__6803_39.min1.thm12017-02-06 12:45 2.1K 
[ ]bvfunc14__6804_15.min1.thm12017-02-06 12:44 2.8K 
[ ]bvfunc14__6806_27.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6809_56.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__6810_15.min1.thm12017-02-06 12:45 2.8K 
[ ]bvfunc14__6812_27.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6815_72.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__6817_22.min1.thm12017-02-06 12:44 5.9K 
[ ]bvfunc14__6820_20.min1.thm12017-02-06 12:44 1.2K 
[ ]bvfunc14__6821_33.min1.thm12017-02-06 12:45 1.7K 
[ ]bvfunc14__6823_15.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__6824_67.min1.thm12017-02-06 12:44 1.8K 
[ ]bvfunc14__6827_7.min1.thm12017-02-06 12:45 1.4K 
[ ]bvfunc14__6829_7.min1.thm12017-02-06 12:44 2.3K 
[ ]bvfunc14__6831_7.min1.thm12017-02-06 12:44 2.4K 
[ ]bvfunc14__6833_7.min1.thm12017-02-06 12:44 2.5K 
[ ]bvfunc14__6835_12.min1.thm12017-02-06 12:44 2.6K 
[ ]bvfunc14__6836_76.min1.thm12017-02-06 12:44 2.7K 
[ ]bvfunc14__6842_14.min1.thm12017-02-06 12:45 2.5K 
[ ]bvfunc14__6843_20.min1.thm12017-02-06 12:44 2.9K 
[ ]bvfunc14__6845_19.min1.thm12017-02-06 12:44 2.1K 
[ ]bvfunc14__6850_11.min1.thm12017-02-06 12:45 2.2K 
[ ]bvfunc14__6851_11.min1.thm12017-02-06 12:44 1.0K 
[ ]bvfunc14__6852_21.min1.thm12017-02-06 12:45 2.1K 
[ ]bvfunc14__6854_23.min1.thm12017-02-06 12:45 1.2K 
[ ]bvfunc14__6855_68.min1.thm12017-02-06 12:44 3.8K 
[ ]bvfunc14__6857_30.min1.thm12017-02-06 12:44 3.4K 
[ ]bvfunc14__6859_17.min1.thm12017-02-06 12:44 1.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80