Difference between pages "Proof Hints" 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:
== Introduction ==
 
  
This document does NOT provide a way to avoid doing interactive proofs or pointing out the weakness of existing provers. Rather this document shows how to use information from doing interactive proofs to improve the clarity of models. As a consequence of these improvement, the obligations can be discharged automatically. We call these added information to the model "proof hints".
+
# 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.
This concept of "proof hints" already exists in the form of "witness" or "theorem" in Event-B. These useful features are designed not only to help with proving the correctness of the model but also to give more information about the particular model.
+
# For documentation see http://www.mediawiki.org/wiki/Extension:SpamBlacklist
 
+
#<!-- leave this line exactly as it is --> <pre>
The question is how we can decide which "features" are useful to have in the model. In principle we can go to the extreme and include the whole proof strategy into the model in order to be able to have it being discharged automatically. But this is undesirable since it will make the model difficult to understand. Having taken this into account we specify our criteria here for "proof hints".
+
# Syntax is as follows:
 
+
#  * Everything from a "#" character to the end of the line is a comment
1. It should help to understand the model better.
+
#  * Every non-blank line is a regex fragment which will only match hosts inside URLs
 
+
\b123diet-guide\.com\b
2. It should improve the automatic proving rate of the model.
+
\b29\.75\b
 
+
\b32astolf\.se\b
In fact, we regard the first criterion as more important whereas the second criterion can be considered as a bonus for improving the clarity of the model. Below are our proposal for two kinds of proof hints: [[Hypothesis Selection | hypothesis selection]] and proof by cases.
+
\b40kforums\.nl\b
 
+
\b74\.200\.89\.183\b
== Proof Hints ==
+
\b7pk2\.net\b
 
+
\bThebestfixedratebonds\.com\b
The presentation for each kind of proof hints is as follows:
+
\ba1aprecision\.com\b
 
+
\baaamortgagecorp\.com\b
1. '''Description''': A brief description of the proof hints with the situation where this can be helpful.
+
\baaumc\.org\b
 
+
\babehorror\.com\b
2. '''Example''': an example in Event-B is presented.
+
\baboutpaleodiet\.org\b
 
+
\bacatcm\.com\b
3. '''Work around''': we show a solution (rather a work-around) for the current RODIN Platform.
+
\bacceptsearch\.com\b
 
+
\baccountingadvice\.co.uk\b
=== Hypothesis Selection ===
+
\bacmclub\.upj\.pitt\.edu\b
'''Description''' In order to discharge the proof obligation, the developer just selects some hypotheses then invoke either AtelierB P0 or newPP restricted to finish these proofs. The solution is to (somehow) give "hints" to the Proof Obligation Generator (POG) to select these hypotheses automatically when generating the corresponding proof obligation.
+
\badempiere\.lv\b
 
+
\bafdcom\b
'''Example''' Consider the following Event-B model
+
\bagent-paranoia\.com\b
 
+
\bajans07\.com\b
[[Image:var-hypsel.png]]        [[Image:inv-hypsel.png]]
+
\bakiksurabaya\.com\b
 
+
\bakkp\.pl\b
[[Image:init-hypsel.png]]        [[Image:set-hypsel.png]]
+
\baktualweb\.eu\b
 
+
\balejandroribo\.com\b
Consider the proof obligation '''set/hypSel0_1/INV''' which states that the event '''set''' maintains invariant '''hypSel0_1''' (Here <math>\ldots</math> denotes the unselected hypotheses).
+
\ballforresult\.com\b
[[Image:set-hypSel0_1-INV.png]]
+
\ballhomesearch\.com\b
 
+
\baltervista\.org\b
Any provers works with only the selected hypotheses cannot discharge the above proof olbligation since the hypothesis <math>x \neq 0 \limp y \in \nat</math> is missing. The obligation with the appropriate hypothesis selection is as follows
+
\baltpornwiki\.com\b
[[Image:set-hypSel0_1-INV-sel.png]]
+
\bambx\.com\b
 
+
\bamericangirlscouts\.org\b
'''Workaround''' Currently, given and event '''evt''' and invariant '''inv''', the invariant preservation proof obligation '''evt/inv/INV''' generated with the following hypotheses automatically selected;
+
\bamydiamond\.org\b
 
+
\banahataenergy\.com\b
* The invariant '''inv'''
+
\bancoreonlus\.org\b
 
+
\banimalsciencemonitor\.com\b
* The guard of the event '''evt'''
+
\banphuneighbors\.org\b
 
+
\banxietysos\.net\b
In order to have the needed hypothesis selected automatically, we will add this hypothesis into the guard. Moreover, in order to avoid changing event's behaviour, we will mark this extra guard as a theorem. Apply this technique, the new event '''set''' is as follows
+
\bappcheer\.com\b
[[Image:new-set-hypsel.png]]
+
\bappropedia\.org\b
 
+
\barchivesmc\.com\b
Note that the extra (theorem) guard can be removed in the further refinement without generating any new proof obligation.
+
\barcticacoustics\.com\b
 
+
\bardevcamp\.org\b
=== Case distinction ===
+
\barenacs\.alfalink\.ro\b
'''Description''' In order to discharge a proof obligation, the developer makes a manual "proof by cases" based on some condition <math>P</math>. Afterwards, all branches of the proofs are discharged either by ML or AtelierB P0. The solution is to (somehow) give "hints" to the POG to generate different proof obligations for each case separately. ''Proof by cases'' is usually not applied automatically since this splits the proof tree which could lead to blows up in terms of the number of cases.
+
\barmadahq\.com\b
 
+
\baromatherapywales\.org\b
'''Example''' Consider the following Event-B model
+
\barrowdetroit\.com\b
 
+
\bart4kids\.ru\b
[[Image:casesplit.png]]
+
\baskdriver\.com\b
 
+
\baskthemodularguru\.com\b
Consider the proof obligation '''set/case0_1/INV''' (Here all hypotheses, including those hidden are shown)
+
\bassociationsocialmedia\.com\b
 
+
\baustfamilytree\.com\b
[[Image:set-case0_1-INV.png]]
+
\bavalanchecreative\.org\b
 
+
\baviawiki\.com\b
In order to finish the proof, a correct "proof by cases" is done to consider <math>a = 1</math> or <math>a \neq 1</math>.
+
\bawarefinance\.com\b
 
+
\bb4rk\.net\b
'''Workaround''' To capture the effect of doing '''proof by cases''', we split the original event '''set''' into two different events as follows
+
\bballotpedia\.biz\b
 
+
\bballotpedia\.com\b
[[Image:new-set-evts.png]]
+
\bbanansearch\.com\b
 
+
\bbarbershopwiki\.com\b
In the next refinement step, we can merge the above two new event to the original event as follows.
+
\bbarcamppune\.org\b
 
+
\bbarelymanagerial\.com\b
[[Image:merged-set.png]]
+
\bbarnabar\.hu\b
 
+
\bbatuananon\.org\b
[[Category:Proof]]
+
\bbeardyboy\.com\b
[[Category:Work in progress]]
+
\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
 +
#</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
#