Difference between pages "Proof Manager" and "MediaWiki:Spam-blacklist"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Son
 
imported>Mathieu
m (update spam urls)
 
Line 1: Line 1:
The Proof Manager is responsible for constructing proofs and maintaining existing proofs associated with proof obligations.
 
  
== Overview ==
+
# External URLs matching this list will be blocked when added to a page.
 
+
# This list affects only this wiki; refer also to the global blacklist.
Proof obligations are generated by the proof obligation generator and have the form of ''[[Proof Manager#Sequents|sequents]]''.
+
# For documentation see http://www.mediawiki.org/wiki/Extension:SpamBlacklist
 
+
#<!-- leave this line exactly as it is --> <pre>
Sequents are proved using ''[[Proof Manager#Proof Rules|proof rules]]''.
+
# Syntax is as follows:
 
+
#  * Everything from a "#" character to the end of the line is a comment
The Proof Manager architecture is separated into two parts: ''extensible'' part and ''static'' part. The extensible part is responsible for generating individual proof rules. The static part is responsible for putting proof rules together to construct and manage proofs. We call components that generate valid proof rules ''[[Proof Manager#Reasoners|reasoners]]''.
+
#  * Every non-blank line is a regex fragment which will only match hosts inside URLs
 
+
\b123diet-guide\.com\b
The basic reasoning capabilities of the Proof Manager can be extended by adding new reasoners. A reasoner may implement a decision procedure for automated proof, or a derived rule schema for interactive proof.
+
\b29\.75\b
 
+
\b32astolf\.se\b
By applying the generated proof rules by different reasoner, the Proof Manager builds a (partial) proof for an proof obligation by constructing ''[[Proof Manager#Proof Trees|proof trees]]''.
+
\b40kforums\.nl\b
 
+
\b74\.200\.89\.183\b
In order to encapsulate frequently used proof construction and manipulation steps, the Proof Manager provides the concept of ''[[Proof Manager#Tactics|tactics]]''. They provides high-level strategic proof manipulations. Adding new tactics is the second possibility for extending the Proof Manager.
+
\b7pk2\.net\b
 
+
\bThebestfixedratebonds\.com\b
== Sequents ==
+
\ba1aprecision\.com\b
A sequent stands for something we want to prove.
+
\baaamortgagecorp\.com\b
 
+
\baaumc\.org\b
Sequents are of the following form
+
\babehorror\.com\b
 
+
\baboutpaleodiet\.org\b
<math>H \vdash G</math>
+
\bacatcm\.com\b
 
+
\bacceptsearch\.com\b
where '''H''' is the set of hypotheses (predicates) and '''G''' is the goal (a predicate in the mathematical language).
+
\baccountingadvice\.co.uk\b
 
+
\bacmclub\.upj\.pitt\.edu\b
The meaning of the above sequent is that: ''Under the hypotheses H, prove the goal G''.
+
\badempiere\.lv\b
 
+
\bafdcom\b
== Proof Rules ==
+
\bagent-paranoia\.com\b
In its pure mathematical form, a proof rule is a tool to perform formal proof and is denoted by:
+
\bajans07\.com\b
 
+
\bakiksurabaya\.com\b
{{InfRule||<math>\frac{\quad A\quad}{C}</math>}}
+
\bakkp\.pl\b
 
+
\baktualweb\.eu\b
where '''A''' is a (possibly empty) list of sequents:the antecedents of the proof rule; and '''C''' is a sequent: the consequent of the rule. And we interpret the above proof rule as follows: The proofs of each sequent of '''A''' together give a proof of sequent '''C'''.
+
\balejandroribo\.com\b
 
+
\ballforresult\.com\b
=== Representation ===
+
\ballhomesearch\.com\b
In Rodin, the representation for proof rules are more structure not only to reduce the space required to store the rule, but more importantly to support proof reuse.
+
\baltervista\.org\b
 
+
\baltpornwiki\.com\b
A rule in Rodin contains the following:
+
\bambx\.com\b
 
+
\bamericangirlscouts\.org\b
* '''used goal''' A used goal predicate.
+
\bamydiamond\.org\b
 
+
\banahataenergy\.com\b
* '''used hypotheses''' The set of used hypotheses.
+
\bancoreonlus\.org\b
 
+
\banimalsciencemonitor\.com\b
* '''antecedents''' A list of antecedents (to be explain later).
+
\banphuneighbors\.org\b
 
+
\banxietysos\.net\b
* '''reasoner''' the reasoner used to generate this proof rule (See [[reasoners]]).
+
\bappcheer\.com\b
 
+
\bappropedia\.org\b
* '''reasoner input''' the input to the reasoner to generate this proof rule (See [[reasoners]]).
+
\barchivesmc\.com\b
 
+
\barcticacoustics\.com\b
Each antecedent of the proof rule contains the following information:
+
\bardevcamp\.org\b
 
+
\barenacs\.alfalink\.ro\b
* '''new goal''' A new goal predicate.
+
\barmadahq\.com\b
 
+
\baromatherapywales\.org\b
* '''added hypotheses''' The set of added hypotheses.
+
\barrowdetroit\.com\b
 
+
\bart4kids\.ru\b
With this representation, a proof rule in Rodin corresponding to a proof schema as follows:
+
\baskdriver\.com\b
 
+
\baskthemodularguru\.com\b
{{InfRule||<math>\frac{\quad H, H_u, H_{A_0} \vdash G_{A_0} ~~~\ldots~~~ H, H_u, H_{A_0}  \vdash G_{A_0}\quad}{H, H_u \vdash G_u}</math>}}
+
\bassociationsocialmedia\.com\b
 
+
\baustfamilytree\.com\b
Where:
+
\bavalanchecreative\.org\b
 
+
\baviawiki\.com\b
* <math>H_u</math> is the set of used hypotheses
+
\bawarefinance\.com\b
 
+
\bb4rk\.net\b
* <math>G_u</math> is the used goal
+
\bballotpedia\.biz\b
 
+
\bballotpedia\.com\b
* <math>H_{A_i}</math> is the set of added hypotheses corresponding to the ith antecedent.
+
\bbanansearch\.com\b
 
+
\bbarbershopwiki\.com\b
* <math>G_{A_i}</math> is the new goal corresponding to the ith antecedent.
+
\bbarcamppune\.org\b
 
+
\bbarelymanagerial\.com\b
* <math>H</math> is the meta-variable that can be instantiated.
+
\bbarnabar\.hu\b
 
+
\bbatuananon\.org\b
=== Applying Proof Rules ===
+
\bbeardyboy\.com\b
Given a proof rule of the form mentioned above, the following describes how to apply this rule to an input ''sequent''. The result of this process is a list of output sequents if successful or ''null'' otherwise.
+
\bbeatniksoftware\.com\b
 
+
\bbellinghamlarp\.org\b
* The rule is applicable if the goal of the sequent is not exactly the same as the ''used goal'' or any of the ''used hypotheses'' is not contained in the set of hypotheses of the input sequent.
+
\bbestentrypoint\.com\b
 
+
\bbestsmartfind\.com\b
* In the case of applicable, the antecedent sequents are returned. The goal of each antecedent sequent is the ''new goal'' correspondingly. The hypotheses of each antecedent sequent is the union of the old hypotheses and ''added hypotheses'' of the corresponding antecedent.
+
\bbeta\.buckeyestateblog\b
 
+
\bbiglight\.com\b
=== Examples ===
+
\bbigtopsale\.com\b
{{TODO}}
+
\bbillstron\.com\b
 
+
\bbilomagnet\.com\b
== Reasoners ==
+
\bbinarydom\.com\b
Reasoners are responsible for generating [[Proof Rules]]. The input of a reasoner is:
+
\bbiostor\.org\b
 
+
\bbitcoinmoney\.com\b
1. A sequent.
+
\bbitsmasher\.com\b
 
+
\bbiztards\.biz\b
2. Optional input (e.g. a predicate in the case of the Cut Rule).
+
\bblackberryfaq\.com\b
 
+
\bblazersnjeans\.com\b
The output of the reasoner (in case of successful) is a proof rule. This proof rule is ''trusted'' by the Proof Manager to built the proof.
+
\bblink182\.sk\b
 
+
\bblogbasters\.com\b
An important point about reasoners is that the internal workings of them are not visible to the other part of the Proof Manager. It is only required that they satisfy the following requirements:
+
\bbloggersnet\.net\b
 
+
\bboinc-wiki\.info\b
1. '''Logically Valid''' A generated proof rule must be valid (i.e. can be derived) in the mathematical logic.
+
\bborndancecompany\.com\b
 
+
\bbrewwiki\.com\b
2. '''Replayable''' A reasoner must work ''deterministically'', i.e. given the same input, a reasoner must generate the same proof rule every time.
+
\bbrick-builder\.com\b
 
+
\bbro\.pp\.ru\b
=== Examples of Reasoners ===
+
\bbrucecooperforkansas\.com\b
 
+
\bbrucewhealton\.com\b
{{TODO}}
+
\bbrugameros\.com\b
 
+
\bbuddhafart\.com\b
== Proof Trees ==
+
\bburan\.org\b
''Proof trees'' are recursive structure based on ''Proof Tree Nodes''. Each node has three components:
+
\bbusinessklubben\.com\b
 
+
\bbuyproteinpowder\.org\b
1. '''sequent''' A sequent.
+
\bbuyukkaristiran\.com\b
 
+
\bc2cprocurement\.com\.au\b
2. '''rule''' A proof rule (possibly ''null'')
+
\bcaaglop\.org\b
 
+
\bcabaretafterdark\.com\b
3. '''children''' A list of proof tree nodes (possibly ''null'' or ''empty'').
+
\bcalad\.com\b
 
+
\bcalarenys\.cat\b
A proof tree is a proof tree node where its sequent corresponding to the proof obligation.
+
\bcaliforniabirthcertificatesonline\.com\b
 
+
\bcalypsonians\.com\b
A proof tree node has different statuses:
+
\bcampaignfoundations\.com\b
 
+
\bcanadasails\.ca\b
a. '''Pending''' No rule applied to this node, i.e. ''rule'' is ''null''. In this case, ''children'' must be ''null''.
+
\bcanamrocs\.com\b
 
+
\bcanarybyday\.net\b
b. '''Non-pending''' Has a rule applied to this node. In this case, ''children'' contains the list of child proof tree nodes.
+
\bcandyshophydro\.com\b
 
+
\bcapne\.net\b
We now review the constraints on the proof trees, follows by different operations on the proof trees.
+
\bcardonationtaxdeductiontips\.com\b
 
+
\bcareykohl\.com\b
=== Constraints on Proof Trees ===
+
\bcarolinamotorcyclerides\.com\b
A proof tree is valid if all its proof tree nodes are valid.
+
\bcas\.mcmaster\b
 
+
\bcaseorganic\.com\b
A ''pending'' proof tree node is valid if its ''children'' is ''null''
+
\bccn\.ucla\.edu\b
 
+
\bcdinsight\.com\b
A ''non-pending'' proof tree node is valid if:
+
\bcenarionguard\.com\b
 
+
\bcensormon\.net\b
* It's ''children'' is not ''null''.
+
\bcerebralhealth\.com\b
 
+
\bchaoticevildesign\.com\b
* ''rule'' (which is not ''null'') is applicable to the ''sequent''.
+
\bcheckhowtoloseweightfast\.com\b
 
+
\bcherryuk\.com\b
* ''children'' corresponding to the result of the application of ''rule'' to ''sequent''.
+
\bchicagohospitals\.info\b
 
+
\bchicksonballs\.com\b
* Each of the ''children'' proof tree nodes is valid.
+
\bchoralpedia\.org\b
 
+
\bchristianspeakernetwork\.com\b
=== Operations on Proof Trees ===
+
\bchristopherprest\.com\b
 
+
\bchristwalkcafe\.com\b
* '''Construction''' Create an initial proof tree corresponding to an input sequent. The resulting proof tree containing a single root node. This root node is a pending node with corresponding to an input sequent.
+
\bchuckivy\.com\b
 
+
\bcinportal\.com\b
* '''Rule application''' A proof tree ''grows'' when a rule applies to one of its pending node. The input rule is first check for applicability to the sequent corresponding to the pending node. If successful, the rule is attach to the node, then a new ''children'' nodes are attached according to the outcome of the application of the rule.
+
\bcivilekanemzetert\.hu\b
 
+
\bclassifiedadults\.co.uk\b
* '''Pruning''' A proof tree can be ''pruned'' at any of its proof tree nodes. The ''rule'' and the ''children'' associated with that node will be removed (reset to ''null'').
+
\bclaws-mail\.org\b
 
+
\bclipcubes\.com\b
* '''Getting the list of pending nodes''' A list of pending nodes can be computed for any proof tree.
+
\bclub-auto-entrepreneurs\.fr\b
 
+
\bcm\.utexas\b
* '''Checking if the proof tree is complete''' A proof tree is complete if it does not contain any pending proof tree node.
+
\bco\.in\b
 
+
\bco\.za\b
=== Example of Proof Trees ===
+
\bcohomebrewers\.org\b
{{TODO|}}
+
\bcohwiki\.com\b
 
+
\bcoinfactswiki\.com\b
== Tactics ==
+
\bcoliberia\.org\b
''Tactics'' provide an easier way to construct and manage proof search and manipulation. They provide calls to the underlying [[reasoners]] or other tactics to modify proofs.
+
\bcoloradofaithandfreedom\.com\b
 
+
\bcompetitive\.si\b
The input of a tactic is a proof tree node which will be used as the point of application. The output of a tactic is a boolean to indicate if it is successful or not.
+
\bconceptwiki\.org\b
 
+
\bconnectintegratedmarketing\.com\b
We will describe below some examples of tactics.
+
\bcontelligent\.com\b
 
+
\bcontinentaloutdoor\.webmania\b
=== Basic Tactics ===
+
\bcorporateespionage\.com\b
They are those tactics that make change to the proof tree only at the point of application.
+
\bcouchware\.ca\b
 
+
\bcpoeaudit\.com\b
* '''Prune''' A direct application of the pruning facility providing by the proof tree. The tactic is successful if the input node are non-pending.
+
\bcralbaxi\.it\b
 
+
\bcrestonosec\.com\b
* '''Rule Application''' Tactics of this class provide a wrapper around a proof rule (See [[Proof Rules]]). The tactic is successful if the proof rule is successful applied to the input node.
+
\bcultcoders\.net\b
 
+
\bcumafakili\.org\b
* '''Reasoner Application''' Tactics of this class provide a wrapper around a reasoner (See [[Reasoner]]). The tactic is successful if the reasoner is successful applied to the input node.
+
\bcurrencyexchangeforum\.co\.uk\b
 
+
\bcyclesofrevolution\.com\b
=== Tactical Tactics ===
+
\bcz\.cc\b
They are those tactics that are constructed from existing tactics. They indicate different strategic or heuristic decisions.
+
\bdage\.fr\b
 
+
\bdajnowski\.net\b
* '''Apply on All Pending''' Apply a specific sub-tactic to all pending nodes of the point of application. The tactic is successful if the sub-tactic is successful on one of the pending nodes.
+
\bdalbeck\.net\b
 
+
\bdallasbhlt\.org\b
* '''Repeating''' Repeating  a specific sub-tactic to the point of application until it fails. The tactic is successful if the sub-tactic is successful at least once.
+
\bdancesportwiki\.com\b
 
+
\bdarksecretinterracialsex\.com\b
* '''Composing''' Sequential compose a list of sub-tactics to apply to the point of application. The tactic is successful if one of the sub-tactic is successful.
+
\bdatewiki\.org\b
 
+
\bdavidcox\.id\b
More complex proof strategy can be constructed by recursively applying the above tactical tactics.
+
\bdawnloadonline\.com\b
 
+
\bdbzrpg\.net\b
[[Category:Developer documentation]]
+
\bdc495\.com\b
[[Category:Rodin Platform]]
+
\bdealerbluesrockband\.com\b
 +
\bdebagkimya\.com\b
 +
\bdeducers\.com\b
 +
\bdefragcomputerfree\.org\b
 +
\bdeshiweb\.com\b
 +
\bdetailedlook\.com\b
 +
\bdev\.refreshreload\.net\b
 +
\bdeveloperdocumentation\.com\b
 +
\bdickiepedia\.org\b
 +
\bdieselbenz\.info\b
 +
\bdieselcaronline\.co\.uk\b
 +
\bdirtbikingbc\.com\b
 +
\bdirtteams\.com\b
 +
\bdiscoverthefaith\.org\b
 +
\bditusbusinessapplications\.com\b
 +
\bdjdecks\.be\b
 +
\bdmrevolution\.com\b
 +
\bdnianola\.org\b
 +
\bdogboston\.com\b
 +
\bdolphinsoftwareuk\.com\b
 +
\bdominicsayers\.com\b
 +
\bdongvinhson\.net\b
 +
\bdrinksu\.net\b
 +
\bdrneeta\.com\b
 +
\bdroidnutz\.com\b
 +
\bdsbmatrix\.com\b
 +
\bdslruniversity\.com\b
 +
\beagleoutsider\.com\b
 +
\bearth-inferno\.com\b
 +
\bebooksvisa\.com\b
 +
\beee-lab\.com\b
 +
\begcreations\.com\b
 +
\begnerdata\.no\b
 +
\beha\.ee\b
 +
\beieinohio\.org\b
 +
\belectroniccigarette2k\.com\b
 +
\belectroniccigarettetavern\.com\b
 +
\belektroniktasarim\.net\b
 +
\belenaoctavia\.es\b
 +
\belitewits\.com\b
 +
\bembeddedethernet\.com\b
 +
\bencounterpro\.org\b
 +
\bendgoalmarketing\.com\b
 +
\bengineering\.wustl\b
 +
\beoeband\.net\b
 +
\bepcinternet\.com\.\b
 +
\besecuritys\.com\b
 +
\besperanto\.rxfly\.net\b
 +
\bethics-compliance\.eu\b
 +
\beventualstudios\.com\b
 +
\beverythingistheworst\.com\b
 +
\bexcedone\.com\b
 +
\bexperidia\.org\b
 +
\bfablab\.is\b
 +
\bfabprojects\.org\b
 +
\bfaceious\.com\b
 +
\bfarmingfriends\.com\b
 +
\bfckeditor\.net\b
 +
\bfenerbahcekibris\.org\b
 +
\bfilemakercentral\.com\b
 +
\bfind24hs\.com\b
 +
\bfindfavour\.com\b
 +
\bfindinform\.com\b
 +
\bfindthisall\.com\b
 +
\bfindyourselfworthy\.com\b
 +
\bfinearts\.yorku\b
 +
\bfirstletters\.com\b
 +
\bfishingslang\.com\b
 +
\bfitagain\.net\b
 +
\bfitnesstr\.net\b
 +
\bflexiblesurvival\.com\b
 +
\bfordream2008\.com\b
 +
\bforex-automatic-trading-systems\.com\b
 +
\bforexlatino\.org\b
 +
\bfork-out\.com\b
 +
\bformandoencivicayetica\.com\b
 +
\bforo\.soyemprendedor\.com\b
 +
\bfortheloveofdolls\.com\b
 +
\bfortspro\.ru\b
 +
\bforum\.arenyestratosferic\.info\b
 +
\bforum\.browsergameindex\.de\b
 +
\bforum\.fishing-pro\.ru\b
 +
\bforum\.livehellp\.fr\b
 +
\bforum\.mrfochs\.com\b
 +
\bforums\.screwedbythegov\.com\b
 +
\bforums\.wordpress\b
 +
\bfreebuks\.com\b
 +
\bfreeheber\.com\b
 +
\bfreeminded\.com\b
 +
\bfreesharing\.org\b
 +
\bfusionnews\.net\b
 +
\bfuture-instruments\.net\b
 +
\bgaelengreen\.com\b
 +
\bgamervisa\.com\b
 +
\bgatemush\.com\b
 +
\bgb\.net\b
 +
\bgdfr\.info\b
 +
\bgdscei\.com\b
 +
\bgeexbox\.org\b
 +
\bgenevaunconventional\.com\b
 +
\bgeospot\.pt\b
 +
\bgetxyz\.com\b
 +
\bgiving-circles\.org\b
 +
\bglobalibrary\.com\b
 +
\bglobalthinktank\.net\b
 +
\bglutenfreenb\.com\b
 +
\bgodsearchs\.com\b
 +
\bgoldannex\.com\b
 +
\bgoogle-reseach\.com\b
 +
\bgoozleology\.com\b
 +
\bgottacatch\.com\b
 +
\bgreatfound\.com\b
 +
\bgreedinc\.com\b
 +
\bgreetingcarduniverse\.com\b
 +
\bgregsopinion\.com\b
 +
\bgridserver\.com\b
 +
\bgsmfora\.pl\b
 +
\bguggenheim-bilbao\.es\b
 +
\bgunstroker\.com\b
 +
\bgurubites\.com\b
 +
\bhabitatsteele-wasecaarea\.org\b
 +
\bhableet\.org\b
 +
\bhablife\.org\b
 +
\bhaccam\.com\b
 +
\bhackid\.org\b
 +
\bhahabook\.co\b
 +
\bhaiticonnections\.com\b
 +
\bhardlyfind\.com\b
 +
\bhawkgov\.com\b
 +
\bhealthinsurancecolorado\.net\b
 +
\bhellenistai\.com\b
 +
\bhenryhank\.com\b
 +
\bhercafe\.net\b
 +
\bhexten\.net\b
 +
\bhimaone\.com\b
 +
\bhiphopcatalunya\.com\b
 +
\bhiristechnologies\.com\b
 +
\bhistoria-uk\.com\b
 +
\bhistory\.eecssh\.com\b
 +
\bhistoryhaven\.com\b
 +
\bhollywise\.org\b
 +
\bhomeinsurance-info\.com\b
 +
\bhomeseer\.com\b
 +
\bhow2gainweightfast\.org\b
 +
\bhq\.usace\b
 +
\bhybridfitness\.com\b
 +
\bhyorinmaru\.com\b
 +
\biaba\.biz\b
 +
\biamadamhart\.com\b
 +
\biampaid\.com\b
 +
\bicce\.com\b
 +
\biconcurso\.com\b
 +
\bidioteca\.org\b
 +
\bieeesp-blr\.org\b
 +
\bienpl\.com\b
 +
\biffa\.org\b
 +
\billuminati\.li\b
 +
\biluzjon\.slupsk\.pl\b
 +
\bimage\.ntua\b
 +
\bimersa\.org\b
 +
\bindependentmovement\.us\b
 +
\bindonesiansubculture\.com\b
 +
\binfiscale\.org\b
 +
\binfologix\.co\.uk\b
 +
\binformatics\.mayo\.edu\b
 +
\binfoshop\.org\b
 +
\bingathome\.com\b
 +
\binline\.chuguev\.net\b
 +
\binnovationscotland\.com\b
 +
\binsurancequotes-blog\.net\b
 +
\bintelar\.ru\b
 +
\binternet-freedom\.info\b
 +
\binyong\.tk\b
 +
\bipadsuomi\.com\b
 +
\bironeagles\.net\b
 +
\birothwellg\.com\b
 +
\bislamyafirqa\.com\b
 +
\bita\.x10\b
 +
\bitinerisastrium\.com\b
 +
\bitpath\.ru\b
 +
\bitravelishop\.com\b
 +
\bjapemete\.tk\b
 +
\bjavaandjivecoffeehouse\.com\b
 +
\bjbtours\.co\.za\b
 +
\bjeffreybutt\.com\b
 +
\bjenpedia\.org\b
 +
\bjeuxintereni\.org\b
 +
\bjewishmontessori\.info\b
 +
\bjiaohuifurniture\.tk\b
 +
\bjoelheer\.ch\b
 +
\bjoojoobe\.com\b
 +
\bjr-webhost\.net\b
 +
\bjunior\.inf\.br\b
 +
\bjurnaldepariu\.com\b
 +
\bjzlconstruction\.com\b
 +
\bk5n\.us\b
 +
\bkantauri\.com\b
 +
\bkaznetmedia\.kz\b
 +
\bkeenix\.net\b
 +
\bkhelite\.com\b
 +
\bkickassanime\.org\b
 +
\bkickyousquareinthetaint\.com\b
 +
\bkillerinktattoo\.de\b
 +
\bkingscastle\.ca\b
 +
\bklonopinguide\.net\b
 +
\bknights-of-light\.ru\b
 +
\bknittingcenter\.com\b
 +
\bknowledgeprosperity\.com\b
 +
\bknownelement\.com\b
 +
\bkok3-wiki\.de\b
 +
\bkonnect-pr\.com\b
 +
\bkotanyi\.lt\b
 +
\bkoxuz\.eu\b
 +
\bkroha\.semya-na-5\.ru\b
 +
\bkts-hosting\.de\b
 +
\bkulinarne-przepisy\.com\b
 +
\bkumotrader\.com\b
 +
\bkunpuu\.net\b
 +
\bkwikwai\.com\b
 +
\bla-vraie-chypre\.infos\b
 +
\blaconic\.aecom\.yu\.edu\b
 +
\blalekent\.com\b
 +
\blancebraud\.com\b
 +
\blandjugend-weiler\.de\b
 +
\blandlordwiki\.info\b
 +
\blanzarotedigital\.com\b
 +
\blapatrulladebares\.com\b
 +
\blehmanbrotherbankruptcy\.com\b
 +
\blesincongrus\.info\b
 +
\bleviscopperjeans\.com\b
 +
\blevitraguide\.net\b
 +
\blfs\.criminal-tm\.lv\b
 +
\blifeaftersom\.com\b
 +
\blifesolutionstoday\.com\b
 +
\blimabike\.org\b
 +
\blink-dead\.thd\.vg\b
 +
\bliquiddemocracy\.net\b
 +
\blistenhanced\.com\b
 +
\blivemusicnightlife\.com\b
 +
\blivepear\.com\b
 +
\blivetvnow\.net\b
 +
\bloekepedia\.org\b
 +
\blookfriend\.com\b
 +
\bloosemarbles\.com\b
 +
\blose-tummy-fat-fast\.info\b
 +
\bloserx\.com\b
 +
\blost-hope\.net\bhardlyfind\.com\b
 +
\blungcancersymptoms\.biz\b
 +
\bm3cf\.com\b
 +
\bmac-club\.co\.uk\b
 +
\bmagnet4me\.com\b
 +
\bmagyarkatolikusok\.co\.uk\b
 +
\bmail\.sdtc\.ru\b
 +
\bmakeyourproducts\.com\b
 +
\bmanchestercityrevolution\.co.uk\b
 +
\bmanxwiki\.com\b
 +
\bmarijuana-wiki\.com\b
 +
\bmarutiritz\.net\b
 +
\bmashujaagroup\.com\b
 +
\bmathforum\.org\b
 +
\bmathtran\.org\b
 +
\bmatricula-online\.eu\b
 +
\bmbsb-online\.my\b
 +
\bmcatdatprep\.com\b
 +
\bmechaniac\.com\b
 +
\bmediajobsearchcanada\.com\b
 +
\bmedienkunst\.thedocks\b
 +
\bmedsintegration\.com\b
 +
\bmedsreconciliation\.com\b
 +
\bmeineworld\.com\b
 +
\bmelissatrainor\.com\b
 +
\bmemography\.org\b
 +
\bmercurycougarwiki\.net\b
 +
\bmichigancrimelaws\.com\b
 +
\bmidnightro\.hidden-nw\.com\b
 +
\bmihost\.info\b
 +
\bmijnooglaseren\.com\b
 +
\bmikestowe\.com\b
 +
\bmilfcontestrecreation\.typepad\.com\b
 +
\bminilabo\.com\b
 +
\bmitransparency\.com\b
 +
\bmmastats\.net\b
 +
\bmmfans\.net\b
 +
\bmortalonlinedatabase\.com\b
 +
\bmountkilimanjaroclimb\.com\b
 +
\bmpst\.it\b
 +
\bmrldportal\.com\b
 +
\bmsremake\.com\b
 +
\bmusichackday\.org\b
 +
\bmy-ecoupons\.com\b
 +
\bmyasdcommunity\.com\b
 +
\bmychatuniverse\.com\b
 +
\bmydotdot\.com\b
 +
\bmydrugdir\.com\b
 +
\bmyglobaldirs\.com\b
 +
\bmylinkdirs\.com\b
 +
\bmymicrosoftlife\.com\b
 +
\bmysafety\.tk\b
 +
\bmysearchends\.com\b
 +
\bmysellers\.net\b
 +
\bmystarsearch\.com\b
 +
\bnaftalan\.hr\b
 +
\bneighborsink\.com\b
 +
\bnetdivvyexecutives\.com\b
 +
\bnetwork-tutorials\.org\b
 +
\bnewagevillage\.com\b
 +
\bnewdream\.net\b
 +
\bnewrecovery\.org\b
 +
\bnewsfordummies\.org\b
 +
\bnexialist\.org\b
 +
\bnfist\.pt\b
 +
\bnickzillalabs\.net\b
 +
\bnigerianwiki\.com\b
 +
\bnikosapi\.org\b
 +
\bno2id-sheffield\.net\b
 +
\bnonviolenceinternational\.net\b
 +
\bnookdevs\.com\b
 +
\bnotepedia\.com\b
 +
\bnourishinternational\.org\b
 +
\bnowornevermedia\.org\b
 +
\bnpcwireless\.com\b
 +
\bnswiki\.net\b
 +
\bntrack\.com\b
 +
\bnukethedawn\.com\b
 +
\bnycespanol\.com\b
 +
\bnytechwiki\.com\b
 +
\bobeliks\.org\b
 +
\bocf\.berkeley\b
 +
\bogenlazeren\.com\b
 +
\bohada\.de\b
 +
\boldfauquier\.com\b
 +
\bomni-medical\.co\.uk\b
 +
\boneswarm\.org\b
 +
\bonlinewritingtips\.com\b
 +
\bonmycommute\.com\.au\b
 +
\bopenbioprojects\.net\b
 +
\bopendatamanchester\.org\b
 +
\bopenfoamworkshop\.org\b
 +
\bopenmoko\.org\b
 +
\bopenphysio\.co\.za\b
 +
\bopensurf\.it\b
 +
\bopentissue\.org\b
 +
\borg\.do\b
 +
\borg\.ua\b
 +
\boscarnaija\.com\b
 +
\boscworldwide\.com\b
 +
\boss\.tw\b
 +
\bourbank\.in\b
 +
\bourtoowong\.com\b
 +
\bovidion\.org\b
 +
\bp4o\.net\b
 +
\bpakies\.tk\b
 +
\bpaldo\.org\b
 +
\bpangeanetworks\.net\b
 +
\bparaglidingbg\.com\b
 +
\bpassionclips\.org\b
 +
\bpatillo\.org\b
 +
\bpaulpayne\.us\b
 +
\bpavlovo-posad\.ru\b
 +
\bpawletcc\.org\b
 +
\bpaxcess\.com\b
 +
\bpcatguide\.com\b
 +
\bpdaxrom\.org\b
 +
\bpdfedit\.cz\b
 +
\bpeace-education\.ca\b
 +
\bpeakinternet\.com\b
 +
\bpenisenlargement-guide\.net\b
 +
\bpentabarf\.org\b
 +
\bperfume-coupons\.org\b
 +
\bpersonalgenomicsinstitute\.org\b
 +
\bpghroots\.com\b
 +
\bphonefanz\.com\b
 +
\bphracy\.org\b
 +
\bpickupage\.com\b
 +
\bpilloha\.com\b
 +
\bpirate-party\.us\b
 +
\bpirategalaxy\.info\b
 +
\bplanetmosh\.com\b
 +
\bpoddelusion\.co.uk\b
 +
\bpoiuinitiative\.com\b
 +
\bpokemonro\.net\b
 +
\bpokerproacademy\.com\b
 +
\bportlandswing\.org\b
 +
\bportlapedia\.com\b
 +
\bppd08\.ucd\.ie\b
 +
\bprakash\.tv\b
 +
\bprimariamedias\.ro\b
 +
\bproactol-advice\.net\b
 +
\bprojectloop\.org\b
 +
\bpropertyreturns\.co\.nz\b
 +
\bprzystanharlow\.com\b\bhardlyfind\.com\b
 +
\bps4wiki\.com\b
 +
\bpublicpatent\.org\b
 +
\bpunjabpedia\.com\b
 +
\bpuslapiai\.lt\b
 +
\bqosonline\.se\b
 +
\bquiltsnow\.com\b
 +
\bracetracker2011\.com\b
 +
\bradio-chat\.com\b
 +
\bragorg\b
 +
\braisengine\.com\b
 +
\brajputboyz\.in\b
 +
\brapdict\.org\b
 +
\bratstramps\.com\b
 +
\brcjprimer\.com\b
 +
\brdtn\.ru\b
 +
\breachtg\.com\b
 +
\breadmylibs\.com\b
 +
\brearsync\.com\b
 +
\brebornpanenky\.cz\b
 +
\bredecletica\.com\b
 +
\bregcure2009\.com\b
 +
\brelief1001\.org\b
 +
\bresourcepositive\.com\b
 +
\brevenant\.nablasoft\.com\b
 +
\brichiefranklin\.net\b
 +
\bridersunited\.org\b
 +
\bridicipedia\.com\b
 +
\brobwspage2\.com\b
 +
\brocketcarrental\.com\b
 +
\brockyfans\.com\b
 +
\bromanian-philosophy\.ro\b
 +
\bromfordraiders\.co.uk\b
 +
\bruckups\.com\b
 +
\bsacredmusicproject\.com\b
 +
\bsammirox\.com\b
 +
\bsanctussoft\.com\b
 +
\bsanduskyregister\.com\b
 +
\bsanjosepesquera\.com\b
 +
\bsantafe\.edu\b
 +
\bsavannahcoupon\.com\b
 +
\bsc-navi\.ru\b
 +
\bscattersunshine\.net\b
 +
\bschachfreunde-sasbach\.org\b
 +
\bschekkerman\.net\b
 +
\bschool63\.hdd2\.ru\b
 +
\bsciforums\.com\b
 +
\bscopedia\.net\b
 +
\bscouthub\.org\b
 +
\bscripturalpedia\.com\b
 +
\bseachtop\.com\b
 +
\bsecubuntu\.org\b
 +
\bsehayazilim\.com\b
 +
\bsemiprobcs\.com\b
 +
\bservethehive\.info\b
 +
\bsexforum\.dk\b
 +
\bsfartistwatch\.com\b
 +
\bsgtsupply\.com\b
 +
\bshacknet\.nu\b
 +
\bshareinvest\.ru\b
 +
\bsheriffmonitor\.com\b
 +
\bshishawiki\.com\b
 +
\bshoppingfranklin\.com\b
 +
\bshortmakers\.com\b
 +
\bsidepodcastwiki\.com\b
 +
\bsignforcover\.com\b
 +
\bsilagra100\.org\b
 +
\bsinginst\.it\b
 +
\bsite11\.com\b
 +
\bsite50\.net\b
 +
\bsiteslocate\.com\b
 +
\bsitesworlds\.com\b
 +
\bsixthextinction\.se\b
 +
\bskill-gamers\.nl\b
 +
\bskyfightershangar\.com\b
 +
\bslateblog\.de\b
 +
\bsljenovacrisis\.com\b
 +
\bsnlon\.cn\b
 +
\bsocialengineeringdb\.org\b
 +
\bsocialize\.x10\b
 +
\bsohbetnaz\.com\b
 +
\bsosdancn\.org\b
 +
\bsouthbeachdietphase1\.info\b
 +
\bsparcspaces\.org\b
 +
\bspeed-biker\.com\b
 +
\bspritesserver\.nl\b
 +
\bsquamouscellcarcinomainfo\.com\b
 +
\bsquatspace\.com\b
 +
\bsqueebs\.net\b
 +
\bsrudut\.com\b
 +
\bsstudley\.com\b
 +
\bstarfishandspider\.com\b
 +
\bstarsearchtool\.com\b
 +
\bstatusim\.info\b
 +
\bstevooo\.webzdarma\.cz\b
 +
\bstpmwiki\.com\b
 +
\bstricq\.com:8468\b
 +
\bstringcat\.com\b
 +
\bstroompunt\.nl\b
 +
\bstylesum\.com\b
 +
\bsubaciaus\.projektas\.lt\b
 +
\bsulekha\.com\b
 +
\bsuper-turbo\.net\b
 +
\bsupernaturalwiki\.com\b
 +
\bsut\.ac\b
 +
\bsweetdreams\.three-words\b
 +
\bswisscomics\.ch\b
 +
\bsyncleus\.com\b
 +
\btalktimmins\.com\b
 +
\btasawwuf\.nl\b
 +
\btbengineeringdesign\.com\b
 +
\bteamgeckoproductions\.co.uk\b
 +
\bteaminterrobang\.net\b
 +
\btechnicalzen\.com\b
 +
\bteenzclub\.tk\b
 +
\btemplate-builder\.com\b
 +
\bterraformgame\.com\b
 +
\btessgerritsen\.com\b
 +
\bthcc\.or\b
 +
\btheaquapedia\.com\b
 +
\btheatreaspen\.org\b
 +
\bthebecwar\.com\b
 +
\bthebestfixedratebonds\.com\b
 +
\bthecaliforniatheatre\.com\b
 +
\bthecloudsociety\.com\b
 +
\bthecreditcardcalculator\.com\b
 +
\bthedirsite\.com\b
 +
\bthegallbladdersymptoms\.net\b
 +
\bthehiatusherniasymptoms\.com\b
 +
\bthehivsymptomsinmen\.com\b
 +
\bthejoin\.org\b
 +
\bthelowerabexercises\.com\b
 +
\bthemangusta\.com\b
 +
\bthememphiswewant\.com\b
 +
\bthephotostudent\.com\b
 +
\bthepiggybackrider\.com\b
 +
\bthepleasantonwiki\.com\b
 +
\bthestomachcancersymptoms\.com\b
 +
\btheteacherstoolbox\.org\b
 +
\bthewaterlooway\.com\b
 +
\btic-tac-totality\.net\b
 +
\btitaniumhalo\.com\b
 +
\btoplongdistancerelationshipadvice\.com\b
 +
\btoptopdir\.com\b
 +
\btotalhealthcare\.com\b
 +
\btrainsforgta\.net\b
 +
\btraxus\.bungie\.org\b
 +
\btrebicsky\.net\b
 +
\btrenggalek\.net\b
 +
\btriadassociates\.com\b
 +
\btriagedesign\.co\.uk\b
 +
\btriptionary\.org\b
 +
\btruecodeproxy\.com\b
 +
\btrustmetrics\.dreamhosters\b
 +
\btrybestwaytoloseweight\.com\b
 +
\btsuixu\.com\b
 +
\btuek-klongthom\.com\b
 +
\btuequipopesado\.net\b
 +
\btusnadcyclingteam\.com\b
 +
\btuwien\.ac\b
 +
\btuxfamily\.org\b
 +
\btwckaulitz\.com\b
 +
\btwiterperu\.com\b
 +
\btwoforks\.org\b
 +
\bualeadership\.org\b
 +
\bucmerced\.edu\b
 +
\buivote\.com\b
 +
\bulcc\.ac\b
 +
\bulrich-voelkel\.de\b
 +
\bunbreakablejourney\.com\b
 +
\buniv-tlse1\.fr\b
 +
\burbancomm\.org\b
 +
\bus\.com\b
 +
\busc\.edu\b
 +
\busegroup\.de\b
 +
\bututo\.org\b
 +
\bv1aggi\.it\b
 +
\bvampirediaries24\.pl\b
 +
\bvbseo\.com\b
 +
\bvernotgallery\.com\b
 +
\bversion-next\.net\b
 +
\bvictoriaslupsk\.pl\b
 +
\bviennafolkclub\.org\b
 +
\bviesearch\.com\b
 +
\bvimukti\.com\b
 +
\bvirca\.hu\b
 +
\bvisionuvce\.in\b
 +
\bvistabusinesswomen\.com\b
 +
\bvmoov\.in\b
 +
\bvoreshjemvoresklima\.dk\b
 +
\bvoresklima\.dk\b
 +
\bvotewrap\.com\b
 +
\bwalkthroughs4u\.co.uk\b
 +
\bwarwickrss\.com\b
 +
\bwashlawdiscipline\.com\b
 +
\bwayoftherede\.com\b
 +
\bweboldala\.net\b
 +
\bwereproxy\.com\b
 +
\bwestexwiki\.com\b
 +
\bwewillsavetheworld\.org\b
 +
\bwhatwouldroymerrittdo\.com\b
 +
\bwickidevel\.com\b
 +
\bwidesearchengine\.com\b
 +
\bwiki-projects\.org\b
 +
\bwiki\.hitdice\b
 +
\bwiki\.sundtek\.de\b
 +
\bwikibreedia\.org\b
 +
\bwikichan\.net\b
 +
\bwikifee\.com\b
 +
\bwikifirepedia\.org\b
 +
\bwikifutbol\.es\b
 +
\bwikimir\.org\b
 +
\bwikipenisa\.com\b
 +
\bwikirule\.org\b
 +
\bwikiw\.com\b
 +
\bwikquepedia\.com\b
 +
\bwindowscleanuputility\.net\b
 +
\bwired\.net\b
 +
\bwiserworldweb\.com\b
 +
\bwist\.uni-linz\b
 +
\bwmskalna\.ndi\.net\.pl\b
 +
\bwnc\.com\b
 +
\bwonderzi\bhardlyfind\.com\b
 +
\bwordoftogethertude\.gaming\.multiplay\.co\.uk\b
 +
\bworld-rivera\.ru\b
 +
\bworshipinhd\.com\b
 +
\bwplug\.org\b
 +
\bwrappingfaq\.com\b
 +
\bwww3\.huntersi\.pl\b
 +
\bxbox360achievements\.org\b
 +
\bxceleo\.org\b
 +
\bxcellulite\.com\b
 +
\bxenu\.ca\b
 +
\bxkcd\.com\b
 +
\bxtremerec\.com\b
 +
\byadohere\.com\b
 +
\byahbook\.info\b
 +
\byoga-dlya-vas\.ru\b
 +
\byourinsomniaguide\.com\b
 +
\bzabezpeceno\.cz\b
 +
\bzenwalk\.org\b
 +
\bzimagnet\.com\b
 +
\bzodttd\.com\b
 +
\bzonguldakalperen\.com\b
 +
\bzoomwiki\.org\b
 +
#</pre> <!-- leave this line exactly as it is -->

Revision as of 08:00, 28 October 2011

# External URLs matching this list will be blocked when added to a page.
# This list affects only this wiki; refer also to the global blacklist.
# For documentation see http://www.mediawiki.org/wiki/Extension:SpamBlacklist

#

# Syntax is as follows:
#   * Everything from a "#" character to the end of the line is a comment
#   * Every non-blank line is a regex fragment which will only match hosts inside URLs
\b123diet-guide\.com\b
\b29\.75\b
\b32astolf\.se\b
\b40kforums\.nl\b
\b74\.200\.89\.183\b
\b7pk2\.net\b
\bThebestfixedratebonds\.com\b
\ba1aprecision\.com\b
\baaamortgagecorp\.com\b
\baaumc\.org\b
\babehorror\.com\b
\baboutpaleodiet\.org\b
\bacatcm\.com\b
\bacceptsearch\.com\b
\baccountingadvice\.co.uk\b
\bacmclub\.upj\.pitt\.edu\b
\badempiere\.lv\b
\bafdcom\b
\bagent-paranoia\.com\b
\bajans07\.com\b
\bakiksurabaya\.com\b
\bakkp\.pl\b
\baktualweb\.eu\b
\balejandroribo\.com\b
\ballforresult\.com\b
\ballhomesearch\.com\b
\baltervista\.org\b
\baltpornwiki\.com\b
\bambx\.com\b
\bamericangirlscouts\.org\b
\bamydiamond\.org\b
\banahataenergy\.com\b
\bancoreonlus\.org\b
\banimalsciencemonitor\.com\b
\banphuneighbors\.org\b
\banxietysos\.net\b
\bappcheer\.com\b
\bappropedia\.org\b
\barchivesmc\.com\b
\barcticacoustics\.com\b
\bardevcamp\.org\b
\barenacs\.alfalink\.ro\b
\barmadahq\.com\b
\baromatherapywales\.org\b
\barrowdetroit\.com\b
\bart4kids\.ru\b
\baskdriver\.com\b
\baskthemodularguru\.com\b
\bassociationsocialmedia\.com\b
\baustfamilytree\.com\b
\bavalanchecreative\.org\b
\baviawiki\.com\b
\bawarefinance\.com\b
\bb4rk\.net\b
\bballotpedia\.biz\b
\bballotpedia\.com\b
\bbanansearch\.com\b
\bbarbershopwiki\.com\b
\bbarcamppune\.org\b
\bbarelymanagerial\.com\b
\bbarnabar\.hu\b
\bbatuananon\.org\b
\bbeardyboy\.com\b
\bbeatniksoftware\.com\b
\bbellinghamlarp\.org\b
\bbestentrypoint\.com\b
\bbestsmartfind\.com\b
\bbeta\.buckeyestateblog\b
\bbiglight\.com\b
\bbigtopsale\.com\b
\bbillstron\.com\b
\bbilomagnet\.com\b
\bbinarydom\.com\b
\bbiostor\.org\b
\bbitcoinmoney\.com\b
\bbitsmasher\.com\b
\bbiztards\.biz\b
\bblackberryfaq\.com\b
\bblazersnjeans\.com\b
\bblink182\.sk\b
\bblogbasters\.com\b
\bbloggersnet\.net\b
\bboinc-wiki\.info\b
\bborndancecompany\.com\b
\bbrewwiki\.com\b
\bbrick-builder\.com\b
\bbro\.pp\.ru\b
\bbrucecooperforkansas\.com\b
\bbrucewhealton\.com\b
\bbrugameros\.com\b
\bbuddhafart\.com\b
\bburan\.org\b
\bbusinessklubben\.com\b
\bbuyproteinpowder\.org\b
\bbuyukkaristiran\.com\b
\bc2cprocurement\.com\.au\b
\bcaaglop\.org\b
\bcabaretafterdark\.com\b
\bcalad\.com\b
\bcalarenys\.cat\b
\bcaliforniabirthcertificatesonline\.com\b
\bcalypsonians\.com\b
\bcampaignfoundations\.com\b
\bcanadasails\.ca\b
\bcanamrocs\.com\b
\bcanarybyday\.net\b
\bcandyshophydro\.com\b
\bcapne\.net\b
\bcardonationtaxdeductiontips\.com\b
\bcareykohl\.com\b
\bcarolinamotorcyclerides\.com\b
\bcas\.mcmaster\b
\bcaseorganic\.com\b
\bccn\.ucla\.edu\b
\bcdinsight\.com\b
\bcenarionguard\.com\b
\bcensormon\.net\b
\bcerebralhealth\.com\b
\bchaoticevildesign\.com\b
\bcheckhowtoloseweightfast\.com\b
\bcherryuk\.com\b
\bchicagohospitals\.info\b
\bchicksonballs\.com\b
\bchoralpedia\.org\b
\bchristianspeakernetwork\.com\b
\bchristopherprest\.com\b
\bchristwalkcafe\.com\b
\bchuckivy\.com\b
\bcinportal\.com\b
\bcivilekanemzetert\.hu\b
\bclassifiedadults\.co.uk\b
\bclaws-mail\.org\b
\bclipcubes\.com\b
\bclub-auto-entrepreneurs\.fr\b
\bcm\.utexas\b
\bco\.in\b
\bco\.za\b
\bcohomebrewers\.org\b
\bcohwiki\.com\b
\bcoinfactswiki\.com\b
\bcoliberia\.org\b
\bcoloradofaithandfreedom\.com\b
\bcompetitive\.si\b
\bconceptwiki\.org\b
\bconnectintegratedmarketing\.com\b
\bcontelligent\.com\b
\bcontinentaloutdoor\.webmania\b
\bcorporateespionage\.com\b
\bcouchware\.ca\b
\bcpoeaudit\.com\b
\bcralbaxi\.it\b
\bcrestonosec\.com\b
\bcultcoders\.net\b
\bcumafakili\.org\b
\bcurrencyexchangeforum\.co\.uk\b
\bcyclesofrevolution\.com\b
\bcz\.cc\b
\bdage\.fr\b
\bdajnowski\.net\b
\bdalbeck\.net\b
\bdallasbhlt\.org\b
\bdancesportwiki\.com\b
\bdarksecretinterracialsex\.com\b
\bdatewiki\.org\b
\bdavidcox\.id\b
\bdawnloadonline\.com\b
\bdbzrpg\.net\b
\bdc495\.com\b
\bdealerbluesrockband\.com\b
\bdebagkimya\.com\b
\bdeducers\.com\b
\bdefragcomputerfree\.org\b
\bdeshiweb\.com\b
\bdetailedlook\.com\b
\bdev\.refreshreload\.net\b
\bdeveloperdocumentation\.com\b
\bdickiepedia\.org\b
\bdieselbenz\.info\b
\bdieselcaronline\.co\.uk\b
\bdirtbikingbc\.com\b
\bdirtteams\.com\b
\bdiscoverthefaith\.org\b
\bditusbusinessapplications\.com\b
\bdjdecks\.be\b
\bdmrevolution\.com\b
\bdnianola\.org\b
\bdogboston\.com\b
\bdolphinsoftwareuk\.com\b
\bdominicsayers\.com\b
\bdongvinhson\.net\b
\bdrinksu\.net\b
\bdrneeta\.com\b
\bdroidnutz\.com\b
\bdsbmatrix\.com\b
\bdslruniversity\.com\b
\beagleoutsider\.com\b
\bearth-inferno\.com\b
\bebooksvisa\.com\b
\beee-lab\.com\b
\begcreations\.com\b
\begnerdata\.no\b
\beha\.ee\b
\beieinohio\.org\b
\belectroniccigarette2k\.com\b
\belectroniccigarettetavern\.com\b
\belektroniktasarim\.net\b
\belenaoctavia\.es\b
\belitewits\.com\b
\bembeddedethernet\.com\b
\bencounterpro\.org\b
\bendgoalmarketing\.com\b
\bengineering\.wustl\b
\beoeband\.net\b
\bepcinternet\.com\.\b
\besecuritys\.com\b
\besperanto\.rxfly\.net\b
\bethics-compliance\.eu\b
\beventualstudios\.com\b
\beverythingistheworst\.com\b
\bexcedone\.com\b
\bexperidia\.org\b
\bfablab\.is\b
\bfabprojects\.org\b
\bfaceious\.com\b
\bfarmingfriends\.com\b
\bfckeditor\.net\b
\bfenerbahcekibris\.org\b
\bfilemakercentral\.com\b
\bfind24hs\.com\b
\bfindfavour\.com\b
\bfindinform\.com\b
\bfindthisall\.com\b
\bfindyourselfworthy\.com\b
\bfinearts\.yorku\b
\bfirstletters\.com\b
\bfishingslang\.com\b
\bfitagain\.net\b
\bfitnesstr\.net\b
\bflexiblesurvival\.com\b
\bfordream2008\.com\b
\bforex-automatic-trading-systems\.com\b
\bforexlatino\.org\b
\bfork-out\.com\b
\bformandoencivicayetica\.com\b
\bforo\.soyemprendedor\.com\b
\bfortheloveofdolls\.com\b
\bfortspro\.ru\b
\bforum\.arenyestratosferic\.info\b
\bforum\.browsergameindex\.de\b
\bforum\.fishing-pro\.ru\b
\bforum\.livehellp\.fr\b
\bforum\.mrfochs\.com\b
\bforums\.screwedbythegov\.com\b
\bforums\.wordpress\b
\bfreebuks\.com\b
\bfreeheber\.com\b
\bfreeminded\.com\b
\bfreesharing\.org\b
\bfusionnews\.net\b
\bfuture-instruments\.net\b
\bgaelengreen\.com\b
\bgamervisa\.com\b
\bgatemush\.com\b
\bgb\.net\b
\bgdfr\.info\b
\bgdscei\.com\b
\bgeexbox\.org\b
\bgenevaunconventional\.com\b
\bgeospot\.pt\b
\bgetxyz\.com\b
\bgiving-circles\.org\b
\bglobalibrary\.com\b
\bglobalthinktank\.net\b
\bglutenfreenb\.com\b
\bgodsearchs\.com\b
\bgoldannex\.com\b
\bgoogle-reseach\.com\b
\bgoozleology\.com\b
\bgottacatch\.com\b
\bgreatfound\.com\b
\bgreedinc\.com\b
\bgreetingcarduniverse\.com\b
\bgregsopinion\.com\b
\bgridserver\.com\b
\bgsmfora\.pl\b
\bguggenheim-bilbao\.es\b
\bgunstroker\.com\b
\bgurubites\.com\b
\bhabitatsteele-wasecaarea\.org\b
\bhableet\.org\b
\bhablife\.org\b
\bhaccam\.com\b
\bhackid\.org\b
\bhahabook\.co\b
\bhaiticonnections\.com\b
\bhardlyfind\.com\b
\bhawkgov\.com\b
\bhealthinsurancecolorado\.net\b
\bhellenistai\.com\b
\bhenryhank\.com\b
\bhercafe\.net\b
\bhexten\.net\b
\bhimaone\.com\b
\bhiphopcatalunya\.com\b
\bhiristechnologies\.com\b
\bhistoria-uk\.com\b
\bhistory\.eecssh\.com\b
\bhistoryhaven\.com\b
\bhollywise\.org\b
\bhomeinsurance-info\.com\b
\bhomeseer\.com\b
\bhow2gainweightfast\.org\b
\bhq\.usace\b
\bhybridfitness\.com\b
\bhyorinmaru\.com\b
\biaba\.biz\b
\biamadamhart\.com\b
\biampaid\.com\b
\bicce\.com\b
\biconcurso\.com\b
\bidioteca\.org\b
\bieeesp-blr\.org\b
\bienpl\.com\b
\biffa\.org\b
\billuminati\.li\b
\biluzjon\.slupsk\.pl\b
\bimage\.ntua\b
\bimersa\.org\b
\bindependentmovement\.us\b
\bindonesiansubculture\.com\b
\binfiscale\.org\b
\binfologix\.co\.uk\b
\binformatics\.mayo\.edu\b
\binfoshop\.org\b
\bingathome\.com\b
\binline\.chuguev\.net\b
\binnovationscotland\.com\b
\binsurancequotes-blog\.net\b
\bintelar\.ru\b
\binternet-freedom\.info\b
\binyong\.tk\b
\bipadsuomi\.com\b
\bironeagles\.net\b
\birothwellg\.com\b
\bislamyafirqa\.com\b
\bita\.x10\b
\bitinerisastrium\.com\b
\bitpath\.ru\b
\bitravelishop\.com\b
\bjapemete\.tk\b
\bjavaandjivecoffeehouse\.com\b
\bjbtours\.co\.za\b
\bjeffreybutt\.com\b
\bjenpedia\.org\b
\bjeuxintereni\.org\b
\bjewishmontessori\.info\b
\bjiaohuifurniture\.tk\b
\bjoelheer\.ch\b
\bjoojoobe\.com\b
\bjr-webhost\.net\b
\bjunior\.inf\.br\b
\bjurnaldepariu\.com\b
\bjzlconstruction\.com\b
\bk5n\.us\b
\bkantauri\.com\b
\bkaznetmedia\.kz\b
\bkeenix\.net\b
\bkhelite\.com\b
\bkickassanime\.org\b
\bkickyousquareinthetaint\.com\b
\bkillerinktattoo\.de\b
\bkingscastle\.ca\b
\bklonopinguide\.net\b
\bknights-of-light\.ru\b
\bknittingcenter\.com\b
\bknowledgeprosperity\.com\b
\bknownelement\.com\b
\bkok3-wiki\.de\b
\bkonnect-pr\.com\b
\bkotanyi\.lt\b
\bkoxuz\.eu\b
\bkroha\.semya-na-5\.ru\b
\bkts-hosting\.de\b
\bkulinarne-przepisy\.com\b
\bkumotrader\.com\b
\bkunpuu\.net\b
\bkwikwai\.com\b
\bla-vraie-chypre\.infos\b
\blaconic\.aecom\.yu\.edu\b
\blalekent\.com\b
\blancebraud\.com\b
\blandjugend-weiler\.de\b
\blandlordwiki\.info\b
\blanzarotedigital\.com\b
\blapatrulladebares\.com\b
\blehmanbrotherbankruptcy\.com\b
\blesincongrus\.info\b
\bleviscopperjeans\.com\b
\blevitraguide\.net\b
\blfs\.criminal-tm\.lv\b
\blifeaftersom\.com\b
\blifesolutionstoday\.com\b
\blimabike\.org\b
\blink-dead\.thd\.vg\b
\bliquiddemocracy\.net\b
\blistenhanced\.com\b
\blivemusicnightlife\.com\b
\blivepear\.com\b
\blivetvnow\.net\b
\bloekepedia\.org\b
\blookfriend\.com\b
\bloosemarbles\.com\b
\blose-tummy-fat-fast\.info\b
\bloserx\.com\b
\blost-hope\.net\bhardlyfind\.com\b
\blungcancersymptoms\.biz\b
\bm3cf\.com\b
\bmac-club\.co\.uk\b
\bmagnet4me\.com\b
\bmagyarkatolikusok\.co\.uk\b
\bmail\.sdtc\.ru\b
\bmakeyourproducts\.com\b
\bmanchestercityrevolution\.co.uk\b
\bmanxwiki\.com\b
\bmarijuana-wiki\.com\b
\bmarutiritz\.net\b
\bmashujaagroup\.com\b
\bmathforum\.org\b
\bmathtran\.org\b
\bmatricula-online\.eu\b
\bmbsb-online\.my\b
\bmcatdatprep\.com\b
\bmechaniac\.com\b
\bmediajobsearchcanada\.com\b
\bmedienkunst\.thedocks\b
\bmedsintegration\.com\b
\bmedsreconciliation\.com\b
\bmeineworld\.com\b
\bmelissatrainor\.com\b
\bmemography\.org\b
\bmercurycougarwiki\.net\b
\bmichigancrimelaws\.com\b
\bmidnightro\.hidden-nw\.com\b
\bmihost\.info\b
\bmijnooglaseren\.com\b
\bmikestowe\.com\b
\bmilfcontestrecreation\.typepad\.com\b
\bminilabo\.com\b
\bmitransparency\.com\b
\bmmastats\.net\b
\bmmfans\.net\b
\bmortalonlinedatabase\.com\b
\bmountkilimanjaroclimb\.com\b
\bmpst\.it\b
\bmrldportal\.com\b
\bmsremake\.com\b
\bmusichackday\.org\b
\bmy-ecoupons\.com\b
\bmyasdcommunity\.com\b
\bmychatuniverse\.com\b
\bmydotdot\.com\b
\bmydrugdir\.com\b
\bmyglobaldirs\.com\b
\bmylinkdirs\.com\b
\bmymicrosoftlife\.com\b
\bmysafety\.tk\b
\bmysearchends\.com\b
\bmysellers\.net\b
\bmystarsearch\.com\b
\bnaftalan\.hr\b
\bneighborsink\.com\b
\bnetdivvyexecutives\.com\b
\bnetwork-tutorials\.org\b
\bnewagevillage\.com\b
\bnewdream\.net\b
\bnewrecovery\.org\b
\bnewsfordummies\.org\b
\bnexialist\.org\b
\bnfist\.pt\b
\bnickzillalabs\.net\b
\bnigerianwiki\.com\b
\bnikosapi\.org\b
\bno2id-sheffield\.net\b
\bnonviolenceinternational\.net\b
\bnookdevs\.com\b
\bnotepedia\.com\b
\bnourishinternational\.org\b
\bnowornevermedia\.org\b
\bnpcwireless\.com\b
\bnswiki\.net\b
\bntrack\.com\b
\bnukethedawn\.com\b
\bnycespanol\.com\b
\bnytechwiki\.com\b
\bobeliks\.org\b
\bocf\.berkeley\b
\bogenlazeren\.com\b
\bohada\.de\b
\boldfauquier\.com\b
\bomni-medical\.co\.uk\b
\boneswarm\.org\b
\bonlinewritingtips\.com\b
\bonmycommute\.com\.au\b
\bopenbioprojects\.net\b
\bopendatamanchester\.org\b
\bopenfoamworkshop\.org\b
\bopenmoko\.org\b
\bopenphysio\.co\.za\b
\bopensurf\.it\b
\bopentissue\.org\b
\borg\.do\b
\borg\.ua\b
\boscarnaija\.com\b
\boscworldwide\.com\b
\boss\.tw\b
\bourbank\.in\b
\bourtoowong\.com\b
\bovidion\.org\b
\bp4o\.net\b
\bpakies\.tk\b
\bpaldo\.org\b
\bpangeanetworks\.net\b
\bparaglidingbg\.com\b
\bpassionclips\.org\b
\bpatillo\.org\b
\bpaulpayne\.us\b
\bpavlovo-posad\.ru\b
\bpawletcc\.org\b
\bpaxcess\.com\b
\bpcatguide\.com\b
\bpdaxrom\.org\b
\bpdfedit\.cz\b
\bpeace-education\.ca\b
\bpeakinternet\.com\b
\bpenisenlargement-guide\.net\b
\bpentabarf\.org\b
\bperfume-coupons\.org\b
\bpersonalgenomicsinstitute\.org\b
\bpghroots\.com\b
\bphonefanz\.com\b
\bphracy\.org\b
\bpickupage\.com\b
\bpilloha\.com\b
\bpirate-party\.us\b
\bpirategalaxy\.info\b
\bplanetmosh\.com\b
\bpoddelusion\.co.uk\b
\bpoiuinitiative\.com\b
\bpokemonro\.net\b
\bpokerproacademy\.com\b
\bportlandswing\.org\b
\bportlapedia\.com\b
\bppd08\.ucd\.ie\b
\bprakash\.tv\b
\bprimariamedias\.ro\b
\bproactol-advice\.net\b
\bprojectloop\.org\b
\bpropertyreturns\.co\.nz\b
\bprzystanharlow\.com\b\bhardlyfind\.com\b
\bps4wiki\.com\b
\bpublicpatent\.org\b
\bpunjabpedia\.com\b
\bpuslapiai\.lt\b
\bqosonline\.se\b
\bquiltsnow\.com\b
\bracetracker2011\.com\b
\bradio-chat\.com\b
\bragorg\b
\braisengine\.com\b
\brajputboyz\.in\b
\brapdict\.org\b
\bratstramps\.com\b
\brcjprimer\.com\b
\brdtn\.ru\b
\breachtg\.com\b
\breadmylibs\.com\b
\brearsync\.com\b
\brebornpanenky\.cz\b
\bredecletica\.com\b
\bregcure2009\.com\b
\brelief1001\.org\b
\bresourcepositive\.com\b
\brevenant\.nablasoft\.com\b
\brichiefranklin\.net\b
\bridersunited\.org\b
\bridicipedia\.com\b
\brobwspage2\.com\b
\brocketcarrental\.com\b
\brockyfans\.com\b
\bromanian-philosophy\.ro\b
\bromfordraiders\.co.uk\b
\bruckups\.com\b
\bsacredmusicproject\.com\b
\bsammirox\.com\b
\bsanctussoft\.com\b
\bsanduskyregister\.com\b
\bsanjosepesquera\.com\b
\bsantafe\.edu\b
\bsavannahcoupon\.com\b
\bsc-navi\.ru\b
\bscattersunshine\.net\b
\bschachfreunde-sasbach\.org\b
\bschekkerman\.net\b
\bschool63\.hdd2\.ru\b
\bsciforums\.com\b
\bscopedia\.net\b
\bscouthub\.org\b
\bscripturalpedia\.com\b
\bseachtop\.com\b
\bsecubuntu\.org\b
\bsehayazilim\.com\b
\bsemiprobcs\.com\b
\bservethehive\.info\b
\bsexforum\.dk\b
\bsfartistwatch\.com\b
\bsgtsupply\.com\b
\bshacknet\.nu\b
\bshareinvest\.ru\b
\bsheriffmonitor\.com\b
\bshishawiki\.com\b
\bshoppingfranklin\.com\b
\bshortmakers\.com\b
\bsidepodcastwiki\.com\b
\bsignforcover\.com\b
\bsilagra100\.org\b
\bsinginst\.it\b
\bsite11\.com\b
\bsite50\.net\b
\bsiteslocate\.com\b
\bsitesworlds\.com\b
\bsixthextinction\.se\b
\bskill-gamers\.nl\b
\bskyfightershangar\.com\b
\bslateblog\.de\b
\bsljenovacrisis\.com\b
\bsnlon\.cn\b
\bsocialengineeringdb\.org\b
\bsocialize\.x10\b
\bsohbetnaz\.com\b
\bsosdancn\.org\b
\bsouthbeachdietphase1\.info\b
\bsparcspaces\.org\b
\bspeed-biker\.com\b
\bspritesserver\.nl\b
\bsquamouscellcarcinomainfo\.com\b
\bsquatspace\.com\b
\bsqueebs\.net\b
\bsrudut\.com\b
\bsstudley\.com\b
\bstarfishandspider\.com\b
\bstarsearchtool\.com\b
\bstatusim\.info\b
\bstevooo\.webzdarma\.cz\b
\bstpmwiki\.com\b
\bstricq\.com:8468\b
\bstringcat\.com\b
\bstroompunt\.nl\b
\bstylesum\.com\b
\bsubaciaus\.projektas\.lt\b
\bsulekha\.com\b
\bsuper-turbo\.net\b
\bsupernaturalwiki\.com\b
\bsut\.ac\b
\bsweetdreams\.three-words\b
\bswisscomics\.ch\b
\bsyncleus\.com\b
\btalktimmins\.com\b
\btasawwuf\.nl\b
\btbengineeringdesign\.com\b
\bteamgeckoproductions\.co.uk\b
\bteaminterrobang\.net\b
\btechnicalzen\.com\b
\bteenzclub\.tk\b
\btemplate-builder\.com\b
\bterraformgame\.com\b
\btessgerritsen\.com\b
\bthcc\.or\b
\btheaquapedia\.com\b
\btheatreaspen\.org\b
\bthebecwar\.com\b
\bthebestfixedratebonds\.com\b
\bthecaliforniatheatre\.com\b
\bthecloudsociety\.com\b
\bthecreditcardcalculator\.com\b
\bthedirsite\.com\b
\bthegallbladdersymptoms\.net\b
\bthehiatusherniasymptoms\.com\b
\bthehivsymptomsinmen\.com\b
\bthejoin\.org\b
\bthelowerabexercises\.com\b
\bthemangusta\.com\b
\bthememphiswewant\.com\b
\bthephotostudent\.com\b
\bthepiggybackrider\.com\b
\bthepleasantonwiki\.com\b
\bthestomachcancersymptoms\.com\b
\btheteacherstoolbox\.org\b
\bthewaterlooway\.com\b
\btic-tac-totality\.net\b
\btitaniumhalo\.com\b
\btoplongdistancerelationshipadvice\.com\b
\btoptopdir\.com\b
\btotalhealthcare\.com\b
\btrainsforgta\.net\b
\btraxus\.bungie\.org\b
\btrebicsky\.net\b
\btrenggalek\.net\b
\btriadassociates\.com\b
\btriagedesign\.co\.uk\b
\btriptionary\.org\b
\btruecodeproxy\.com\b
\btrustmetrics\.dreamhosters\b
\btrybestwaytoloseweight\.com\b
\btsuixu\.com\b
\btuek-klongthom\.com\b
\btuequipopesado\.net\b
\btusnadcyclingteam\.com\b
\btuwien\.ac\b
\btuxfamily\.org\b
\btwckaulitz\.com\b
\btwiterperu\.com\b
\btwoforks\.org\b
\bualeadership\.org\b
\bucmerced\.edu\b
\buivote\.com\b
\bulcc\.ac\b
\bulrich-voelkel\.de\b
\bunbreakablejourney\.com\b
\buniv-tlse1\.fr\b
\burbancomm\.org\b
\bus\.com\b
\busc\.edu\b
\busegroup\.de\b
\bututo\.org\b
\bv1aggi\.it\b
\bvampirediaries24\.pl\b
\bvbseo\.com\b
\bvernotgallery\.com\b
\bversion-next\.net\b
\bvictoriaslupsk\.pl\b
\bviennafolkclub\.org\b
\bviesearch\.com\b
\bvimukti\.com\b
\bvirca\.hu\b
\bvisionuvce\.in\b
\bvistabusinesswomen\.com\b
\bvmoov\.in\b
\bvoreshjemvoresklima\.dk\b
\bvoresklima\.dk\b
\bvotewrap\.com\b
\bwalkthroughs4u\.co.uk\b
\bwarwickrss\.com\b
\bwashlawdiscipline\.com\b
\bwayoftherede\.com\b
\bweboldala\.net\b
\bwereproxy\.com\b
\bwestexwiki\.com\b
\bwewillsavetheworld\.org\b
\bwhatwouldroymerrittdo\.com\b
\bwickidevel\.com\b
\bwidesearchengine\.com\b
\bwiki-projects\.org\b
\bwiki\.hitdice\b
\bwiki\.sundtek\.de\b
\bwikibreedia\.org\b
\bwikichan\.net\b
\bwikifee\.com\b
\bwikifirepedia\.org\b
\bwikifutbol\.es\b
\bwikimir\.org\b
\bwikipenisa\.com\b
\bwikirule\.org\b
\bwikiw\.com\b
\bwikquepedia\.com\b
\bwindowscleanuputility\.net\b
\bwired\.net\b
\bwiserworldweb\.com\b
\bwist\.uni-linz\b
\bwmskalna\.ndi\.net\.pl\b
\bwnc\.com\b
\bwonderzi\bhardlyfind\.com\b
\bwordoftogethertude\.gaming\.multiplay\.co\.uk\b
\bworld-rivera\.ru\b
\bworshipinhd\.com\b
\bwplug\.org\b
\bwrappingfaq\.com\b
\bwww3\.huntersi\.pl\b
\bxbox360achievements\.org\b
\bxceleo\.org\b
\bxcellulite\.com\b
\bxenu\.ca\b
\bxkcd\.com\b
\bxtremerec\.com\b
\byadohere\.com\b
\byahbook\.info\b
\byoga-dlya-vas\.ru\b
\byourinsomniaguide\.com\b
\bzabezpeceno\.cz\b
\bzenwalk\.org\b
\bzimagnet\.com\b
\bzodttd\.com\b
\bzonguldakalperen\.com\b
\bzoomwiki\.org\b
#