-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy paththe_worm.pro
203 lines (195 loc) · 22.8 KB
/
the_worm.pro
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
%!bp -g "['the_worm.pro']"
%
% @author Manuel Ebert
% @system b-prolog
% The Worm
% -------------------
% So there you are. Your academic career as a cognitive scientist took a wrong
% turn somewhere, and now you wrote a virus with the ultimate goal of
% infecting the desktop computer of your arch rival, Jill Yates.
%
% However, security is rather tight these days, and most machines use
% firewalls, traces and other measures to keep out people like you.
% Fortunately you were able to acquire a reduced topology of the internet,
% given below.
%
% The virus can actively replicate itself and spread from one machine to
% another (so technically speaking, it is a worm), however the less security
% a system has, the quicker the virus can work. Furthermore, the virus can
% only infect a system whose security level is at most one level higher
% than that of the current host. Hence if the virus is currently on the
% machine "asahi" it can hop to "asimov" but not to "beet", however from
% "beet" it can hop to "asahi" (but not to "asimov", as they are not
% connected). The cost of one infection is hence the security level of the
% system to be affected.
%
% Your task is to implement a feasible heuristic for the route through the
% internet from your own machine, "asimov", to your rivals box, "jillyates".
% Use your implementation of a general search engine from last week and
% extend it to handel the strategies 'hill-climbing', 'greedy' and 'A*'
% to find the shortes route from "asimov" to "jillyates". Make sure the route
% is valid, i.e. you don't jump to systems whose security is more than one
% level above the security of the current system.
nodes([albertjansen,anthennig,asahi,asimov,aspasia,aurelia,aurora,beet,belisana,beryl,billschaefer,bolsche,bonini,bouguer,boyarchuk,cagney,carver,caseynicole,caussols,celsius,chabot,ciaurro,clasien,coelum,conniewalker,daisetsuzan,devine,dido,donaldpray,duras,efremiana,ehrenfreund,epetersen,excubitor,fallersleben,feijth,fredearly,fujiiekio,gasprinskij,gaussia,georgekaplan,gershberg,gersuind,gounelle,gunn,haffner,hanff,haruna,harutoriko,hortulana,ioannisiani,iphidamas,ishkov,jamesearly,jaroff,jasonelloyd,jillYates,jurijvega,kathydouglas,keats,kenwill,korczak,kudara,kurobe,leCreusot,leung,lorifini,luda,luisapla,macRobert,manjiro,maoyisheng,mariafelix,mauersberger,mcBride,mcHone,mcSween,meslier,michanikos,mila,mussorgskia,mutsumi,nakamura,nathaniel,neilpeart,nicole,ninnemann,norikura,ockeghem,ohmura,okabayashi,onnie,palamedes,panizon,patientia,peaker,peking,picha,pien,poe,polyakhova,prast,pribram,pugovkin,putzi,rambhia,repsolda,rhodope,ricci,rowling,rozenblyum,rubik,salzburg,samaschneid,sarahmarzen,satpaev,schrodinger,sergivanov,shane,shapleya,shchedrin,sherman,shunkai,sorin,starrfield,strekov,subirachs,sutton,swann,tRIUMF,tolstikov,ursula,valborg,vertinskij,vitja,vittorio,voss,wangdaheng,wendeline,wentworth,wertheimer,yamasakimakoto,yebes,yoneta,yucatan,yumiko,yurkanin,zelkowitz,zibiturtle]).
s :- nodes(X), allrows(X).
allrows([]).
allrows([H | T]) :-
nodes(X),
row(H,X),
allrows(T).
row(_, []):- write(' ; ').
row(Node, [H | T]) :-
node(Node,_,C),
(member(H,C) -> write(1) ; write(0)),
write(' '),
row(Node, T).
% node(Name, SecurityLevel, ConnectedNodes)
node(albertjansen,2,[beet, subirachs, harutoriko, gasprinskij, mcBride, voss]).
node(anthennig,2,[beet, efremiana, harutoriko, salzburg]).
node(asahi,3,[asimov, beet, subirachs, harutoriko, strekov, gasprinskij, mcBride]).
node(asimov,4,[macRobert, gounelle, wentworth, panizon, schrodinger, yucatan, aurora, fallersleben, shapleya, epetersen, polyakhova, vittorio]).
node(aspasia,2,[poe, neilpeart]).
node(aurelia,2,[beet, harutoriko]).
node(aurora,7,[macRobert, hortulana, gounelle, hanff, conniewalker, okabayashi, wentworth, shunkai, haffner, jamesearly, subirachs, panizon, sutton, caussols, feijth, ninnemann, vitja, chabot, strekov, satpaev, schrodinger, swann, luda, yucatan, tRIUMF, leung, manjiro, mauersberger, fallersleben, shapleya, asimov, epetersen, celsius, polyakhova, yoneta, onnie, vittorio]).
node(beet,7,[asahi, meslier, tolstikov, coelum, fujiiekio, mcHone, yumiko, palamedes, yurkanin, mutsumi, subirachs, efremiana, caussols, iphidamas, devine, gershberg, harutoriko, chabot, putzi, excubitor, strekov, satpaev, shane, aurelia, tRIUMF, luisapla, anthennig, norikura, ursula, gasprinskij, kudara, sorin, salzburg, mcBride, nicole, cagney, leCreusot, albertjansen, yoneta, pugovkin, carver, voss]).
node(belisana,1,[salzburg]).
node(beryl,6,[jasonelloyd, kathydouglas, repsolda, wendeline, lorifini, mutsumi, caussols, maoyisheng, iphidamas, keats, michanikos, satpaev, shane, tRIUMF, jaroff, sorin, ohmura, zibiturtle, nathaniel]).
node(billschaefer,1,[lorifini, wertheimer, zibiturtle]).
node(bolsche,2,[valborg]).
node(bonini,4,[macRobert, gounelle, yamasakimakoto, fallersleben, polyakhova, vittorio]).
node(bouguer,2,[lorifini, wertheimer, zibiturtle]).
node(boyarchuk,3,[gunn, panizon, nakamura, samaschneid, valborg, epetersen, polyakhova]).
node(cagney,3,[beet, yurkanin, mutsumi, subirachs, caussols, satpaev, tRIUMF, gasprinskij, sorin, salzburg, mcBride]).
node(carver,4,[beet, fujiiekio, yurkanin, efremiana, iphidamas, gershberg, harutoriko, putzi, shane, norikura, gasprinskij, salzburg, mcBride, nicole, leCreusot]).
node(caseynicole,1,[macRobert, gounelle, fallersleben, vittorio]).
node(caussols,6,[hortulana, duras, tolstikov, beet, beryl, kenwill, yurkanin, picha, mutsumi, haffner, jamesearly, subirachs, panizon, rozenblyum, mariafelix, sutton, neilpeart, maoyisheng, starrfield, mussorgskia, michanikos, chabot, strekov, prast, satpaev, sarahmarzen, tRIUMF, rambhia, aurora, gasprinskij, dido, sorin, mcBride, cagney, ohmura, haruna, yebes, nathaniel]).
node(celsius,2,[wentworth, panizon, vitja, luda, aurora, epetersen, polyakhova]).
node(chabot,6,[hortulana, duras, tolstikov, beet, kenwill, yurkanin, picha, mutsumi, haffner, jamesearly, subirachs, panizon, rozenblyum, mariafelix, sutton, caussols, neilpeart, feijth, mussorgskia, strekov, prast, satpaev, sarahmarzen, tRIUMF, luisapla, rambhia, leung, aurora, gasprinskij, sorin, mcBride, epetersen, ohmura, haruna, polyakhova, yoneta, yebes]).
node(ciaurro,4,[poe, rubik, neilpeart, kurobe]).
node(clasien,1,[valborg]).
node(coelum,3,[beet, yurkanin, subirachs, efremiana, harutoriko, strekov, gasprinskij, salzburg, mcBride, voss]).
node(conniewalker,3,[wentworth, subirachs, panizon, vitja, luda, aurora, shapleya, epetersen, polyakhova]).
node(daisetsuzan,1,[neilpeart]).
node(devine,1,[beet, salzburg]).
node(dido,1,[mutsumi, caussols, satpaev, tRIUMF, sorin]).
node(donaldpray,4,[pribram, lorifini, shchedrin, wertheimer, neilpeart, ohmura, zibiturtle, georgekaplan]).
node(duras,1,[caussols, neilpeart, chabot, satpaev, tRIUMF]).
node(efremiana,5,[meslier, coelum, beet, fujiiekio, mcHone, yumiko, yurkanin, subirachs, iphidamas, gershberg, harutoriko, putzi, shane, anthennig, norikura, gasprinskij, salzburg, mcBride, nicole, leCreusot, carver, voss]).
node(ehrenfreund,3,[poe, ockeghem, rubik, neilpeart, kurobe]).
node(epetersen,8,[gunn, macRobert, hortulana, jurijvega, gounelle, hanff, conniewalker, okabayashi, wentworth, palamedes, fredearly, haffner, jamesearly, subirachs, pien, panizon, nakamura, feijth, ninnemann, vitja, chabot, samaschneid, strekov, satpaev, schrodinger, luda, yucatan, tRIUMF, leung, manjiro, mauersberger, gersuind, aurora, gasprinskij, fallersleben, valborg, shapleya, boyarchuk, sherman, asimov, celsius, polyakhova, yoneta, onnie, vittorio]).
node(excubitor,3,[beet, subirachs, harutoriko, gasprinskij, valborg, mcBride, voss]).
node(fallersleben,7,[macRobert, hortulana, caseynicole, poe, gounelle, ioannisiani, bonini, ockeghem, okabayashi, wentworth, shunkai, haffner, panizon, rubik, mcSween, schrodinger, swann, mila, yucatan, mauersberger, aurora, yamasakimakoto, shapleya, asimov, epetersen, polyakhova, onnie, vittorio]).
node(feijth,3,[hortulana, jamesearly, subirachs, panizon, chabot, strekov, satpaev, tRIUMF, aurora, gasprinskij, epetersen, polyakhova, yoneta]).
node(fredearly,3,[gunn, nakamura, samaschneid, valborg, epetersen]).
node(fujiiekio,5,[beet, peaker, efremiana, iphidamas, gershberg, putzi, shane, norikura, salzburg, nicole, leCreusot, carver]).
node(gasprinskij,6,[hortulana, tolstikov, coelum, beet, gaussia, palamedes, yurkanin, mutsumi, jamesearly, subirachs, panizon, efremiana, caussols, feijth, harutoriko, chabot, excubitor, strekov, prast, satpaev, tRIUMF, luisapla, ursula, valborg, kudara, sorin, salzburg, mcBride, sherman, cagney, epetersen, asahi, albertjansen, yoneta, pugovkin, carver, voss]).
node(gaussia,1,[subirachs, tRIUMF, gasprinskij]).
node(georgekaplan,3,[donaldpray, neilpeart, mussorgskia, satpaev]).
node(gershberg,5,[beet, fujiiekio, efremiana, iphidamas, putzi, shane, norikura, salzburg, nicole, leCreusot, carver]).
node(gersuind,1,[valborg, epetersen]).
node(gounelle,6,[macRobert, hortulana, caseynicole, ioannisiani, bonini, ockeghem, okabayashi, wentworth, shunkai, haffner, panizon, mcSween, vitja, schrodinger, swann, luda, mila, yucatan, leung, mauersberger, aurora, yamasakimakoto, fallersleben, shapleya, asimov, epetersen, polyakhova, onnie, vittorio]).
node(gunn,4,[fredearly, nakamura, samaschneid, valborg, shapleya, boyarchuk, epetersen, polyakhova]).
node(haffner,4,[hortulana, gounelle, okabayashi, wentworth, jamesearly, subirachs, panizon, sutton, caussols, vitja, chabot, satpaev, schrodinger, tRIUMF, leung, aurora, fallersleben, epetersen, polyakhova, onnie, vittorio]).
node(hanff,2,[panizon, luda, aurora, epetersen, polyakhova]).
node(haruna,2,[tolstikov, mutsumi, subirachs, caussols, chabot, satpaev, tRIUMF, sorin]).
node(harutoriko,5,[coelum, beet, palamedes, yurkanin, subirachs, efremiana, excubitor, strekov, aurelia, tRIUMF, anthennig, gasprinskij, valborg, salzburg, mcBride, asahi, albertjansen, yoneta, carver, voss]).
node(hortulana,5,[tolstikov, gounelle, okabayashi, wentworth, mutsumi, haffner, jamesearly, subirachs, panizon, sutton, caussols, neilpeart, feijth, vitja, chabot, strekov, prast, satpaev, schrodinger, luda, tRIUMF, leung, aurora, gasprinskij, fallersleben, sorin, epetersen, polyakhova, yoneta, onnie, vittorio]).
node(ioannisiani,1,[macRobert, gounelle, fallersleben, vittorio]).
node(iphidamas,4,[jasonelloyd, beet, fujiiekio, beryl, efremiana, gershberg, michanikos, shane, salzburg, nicole, carver]).
node(ishkov,3,[valborg]).
node(jamesearly,4,[hortulana, tolstikov, wentworth, haffner, subirachs, panizon, caussols, feijth, vitja, chabot, strekov, satpaev, luda, tRIUMF, leung, aurora, gasprinskij, epetersen, polyakhova, yoneta]).
node(jaroff,3,[beryl, lorifini, michanikos, ohmura, zibiturtle]).
node(jasonelloyd,3,[beryl, iphidamas, michanikos, shane, salzburg]).
node(jillYates,3,[poe, neilpeart]).
node(jurijvega,3,[palamedes, subirachs, panizon, luda, valborg, epetersen, polyakhova, yoneta]).
node(kathydouglas,2,[beryl, mutsumi, maoyisheng, michanikos, satpaev, tRIUMF, sorin]).
node(keats,3,[beryl, lorifini, wertheimer, neilpeart, michanikos, ohmura, zibiturtle, nathaniel]).
node(kenwill,1,[caussols, neilpeart, chabot, satpaev, tRIUMF]).
node(korczak,1,[mutsumi, satpaev, tRIUMF, sorin]).
node(kudara,1,[beet, gasprinskij, mcBride]).
node(kurobe,4,[poe, ockeghem, rubik, neilpeart, mila, ciaurro, ehrenfreund]).
node(leCreusot,3,[beet, fujiiekio, efremiana, gershberg, salzburg, carver]).
node(leung,3,[hortulana, gounelle, wentworth, haffner, jamesearly, subirachs, panizon, vitja, chabot, satpaev, tRIUMF, aurora, epetersen, polyakhova]).
node(lorifini,6,[bouguer, donaldpray, beryl, wendeline, pribram, mutsumi, wertheimer, neilpeart, keats, michanikos, satpaev, billschaefer, jaroff, ohmura, zibiturtle, nathaniel]).
node(luda,4,[hortulana, jurijvega, gounelle, hanff, conniewalker, wentworth, jamesearly, subirachs, panizon, vitja, aurora, valborg, shapleya, epetersen, celsius, polyakhova, yoneta]).
node(luisapla,2,[beet, yurkanin, subirachs, chabot, strekov, satpaev, tRIUMF, gasprinskij, mcBride]).
node(macRobert,5,[caseynicole, gounelle, ioannisiani, bonini, ockeghem, okabayashi, wentworth, shunkai, panizon, schrodinger, aurora, yamasakimakoto, fallersleben, shapleya, asimov, epetersen, polyakhova, onnie, vittorio]).
node(manjiro,2,[panizon, aurora, epetersen, polyakhova]).
node(maoyisheng,4,[kathydouglas, beryl, mutsumi, caussols, michanikos, satpaev, tRIUMF, sorin, ohmura, zibiturtle, nathaniel]).
node(mariafelix,2,[mutsumi, caussols, chabot, satpaev, tRIUMF, sorin]).
node(mauersberger,1,[gounelle, aurora, fallersleben, epetersen, polyakhova, vittorio]).
node(mcBride,5,[tolstikov, coelum, beet, palamedes, yurkanin, mutsumi, subirachs, efremiana, caussols, harutoriko, chabot, excubitor, strekov, satpaev, tRIUMF, luisapla, gasprinskij, kudara, sorin, salzburg, cagney, asahi, albertjansen, yoneta, pugovkin, carver, voss]).
node(mcHone,1,[beet, efremiana, salzburg]).
node(mcSween,2,[gounelle, fallersleben, vittorio]).
node(meslier,2,[beet, efremiana, salzburg]).
node(michanikos,7,[jasonelloyd, kathydouglas, beryl, repsolda, wendeline, lorifini, mutsumi, caussols, wertheimer, maoyisheng, iphidamas, keats, satpaev, shane, tRIUMF, jaroff, sorin, ohmura, zibiturtle, nathaniel]).
node(mila,3,[poe, gounelle, ockeghem, rubik, neilpeart, kurobe, fallersleben, vittorio]).
node(mussorgskia,4,[mutsumi, rozenblyum, caussols, neilpeart, chabot, satpaev, sarahmarzen, tRIUMF, sorin, ohmura, georgekaplan, nathaniel]).
node(mutsumi,6,[hortulana, kathydouglas, tolstikov, beet, beryl, repsolda, yurkanin, picha, lorifini, subirachs, mariafelix, caussols, neilpeart, maoyisheng, starrfield, mussorgskia, michanikos, chabot, satpaev, tRIUMF, rambhia, korczak, ursula, gasprinskij, dido, sorin, mcBride, cagney, ohmura, zibiturtle, haruna, nathaniel]).
node(nakamura,4,[gunn, fredearly, samaschneid, valborg, boyarchuk, epetersen]).
node(nathaniel,4,[beryl, lorifini, mutsumi, caussols, wertheimer, neilpeart, maoyisheng, keats, mussorgskia, michanikos, satpaev, tRIUMF, sorin, ohmura, zibiturtle]).
node(neilpeart,8,[hortulana, duras, jillYates, poe, ricci, aspasia, donaldpray, ockeghem, sergivanov, kenwill, daisetsuzan, zelkowitz, pribram, lorifini, mutsumi, shchedrin, rozenblyum, rubik, caussols, wertheimer, kurobe, keats, mussorgskia, chabot, satpaev, sarahmarzen, mila, tRIUMF, vertinskij, ciaurro, sorin, ohmura, zibiturtle, georgekaplan, patientia, yebes, ehrenfreund, nathaniel]).
node(nicole,3,[beet, fujiiekio, efremiana, iphidamas, gershberg, shane, norikura, salzburg, carver]).
node(ninnemann,1,[panizon, aurora, epetersen, polyakhova]).
node(norikura,3,[beet, fujiiekio, efremiana, gershberg, putzi, salzburg, nicole, carver]).
node(ockeghem,4,[macRobert, poe, gounelle, rubik, neilpeart, kurobe, mila, fallersleben, vittorio, ehrenfreund]).
node(ohmura,5,[donaldpray, beryl, repsolda, lorifini, mutsumi, caussols, wertheimer, neilpeart, maoyisheng, keats, mussorgskia, michanikos, chabot, satpaev, tRIUMF, jaroff, sorin, zibiturtle, nathaniel]).
node(okabayashi,3,[macRobert, hortulana, gounelle, wentworth, haffner, aurora, fallersleben, epetersen, polyakhova, onnie, vittorio]).
node(onnie,3,[macRobert, hortulana, gounelle, okabayashi, wentworth, haffner, panizon, schrodinger, aurora, fallersleben, epetersen, polyakhova, vittorio]).
node(palamedes,4,[jurijvega, beet, subirachs, panizon, harutoriko, strekov, gasprinskij, valborg, mcBride, sherman, epetersen, yoneta, voss]).
node(panizon,6,[macRobert, hortulana, jurijvega, gounelle, hanff, conniewalker, wentworth, palamedes, haffner, jamesearly, subirachs, caussols, feijth, ninnemann, vitja, chabot, strekov, satpaev, schrodinger, luda, yucatan, tRIUMF, leung, manjiro, aurora, gasprinskij, fallersleben, valborg, shapleya, boyarchuk, asimov, epetersen, celsius, polyakhova, yoneta, onnie, vittorio]).
node(patientia,1,[neilpeart]).
node(peaker,1,[fujiiekio, salzburg]).
node(peking,1,[poe]).
node(picha,2,[yurkanin, mutsumi, caussols, chabot, satpaev, tRIUMF, sorin]).
node(pien,1,[epetersen, polyakhova]).
node(poe,6,[jillYates, aspasia, ockeghem, sergivanov, rubik, neilpeart, kurobe, rhodope, mila, ciaurro, fallersleben, rowling, vittorio, peking, ehrenfreund]).
node(polyakhova,8,[gunn, macRobert, hortulana, jurijvega, gounelle, bonini, hanff, conniewalker, okabayashi, wentworth, shunkai, haffner, jamesearly, subirachs, pien, panizon, feijth, ninnemann, vitja, chabot, strekov, satpaev, schrodinger, swann, luda, yucatan, tRIUMF, leung, manjiro, mauersberger, aurora, yamasakimakoto, fallersleben, valborg, shapleya, boyarchuk, asimov, epetersen, celsius, yoneta, onnie, vittorio]).
node(prast,2,[hortulana, subirachs, caussols, chabot, strekov, satpaev, tRIUMF, gasprinskij]).
node(pribram,3,[donaldpray, lorifini, neilpeart, zibiturtle]).
node(pugovkin,2,[beet, yurkanin, subirachs, satpaev, tRIUMF, gasprinskij, mcBride]).
node(putzi,3,[beet, fujiiekio, efremiana, gershberg, norikura, salzburg, carver]).
node(rambhia,1,[mutsumi, caussols, chabot, satpaev, tRIUMF, sorin]).
node(repsolda,2,[beryl, mutsumi, michanikos, ohmura]).
node(rhodope,1,[poe]).
node(ricci,1,[neilpeart]).
node(rowling,1,[poe]).
node(rozenblyum,3,[caussols, neilpeart, mussorgskia, chabot, satpaev, tRIUMF, sorin]).
node(rubik,4,[poe, ockeghem, neilpeart, kurobe, satpaev, mila, ciaurro, fallersleben, ehrenfreund]).
node(salzburg,8,[jasonelloyd, meslier, coelum, beet, fujiiekio, mcHone, yumiko, yurkanin, peaker, efremiana, iphidamas, devine, gershberg, harutoriko, putzi, belisana, shane, anthennig, norikura, gasprinskij, mcBride, nicole, cagney, leCreusot, carver, voss]).
node(samaschneid,5,[gunn, fredearly, nakamura, valborg, boyarchuk, epetersen]).
node(sarahmarzen,2,[caussols, neilpeart, mussorgskia, chabot, satpaev, tRIUMF]).
node(satpaev,7,[hortulana, duras, kathydouglas, tolstikov, beet, beryl, kenwill, yurkanin, picha, lorifini, mutsumi, haffner, jamesearly, subirachs, panizon, rozenblyum, rubik, mariafelix, sutton, caussols, neilpeart, feijth, maoyisheng, starrfield, mussorgskia, michanikos, chabot, strekov, prast, sarahmarzen, tRIUMF, luisapla, rambhia, korczak, leung, aurora, gasprinskij, dido, sorin, mcBride, cagney, epetersen, ohmura, zibiturtle, georgekaplan, haruna, polyakhova, pugovkin, yebes, nathaniel]).
node(schrodinger,3,[macRobert, hortulana, gounelle, wentworth, haffner, panizon, vitja, aurora, fallersleben, asimov, epetersen, polyakhova, onnie, vittorio]).
node(sergivanov,2,[poe, neilpeart]).
node(shane,4,[jasonelloyd, beet, fujiiekio, beryl, yurkanin, efremiana, iphidamas, gershberg, michanikos, salzburg, nicole, carver]).
node(shapleya,6,[gunn, macRobert, gounelle, conniewalker, wentworth, panizon, vitja, luda, yucatan, aurora, fallersleben, asimov, epetersen, polyakhova, vittorio]).
node(shchedrin,3,[donaldpray, neilpeart]).
node(sherman,2,[palamedes, subirachs, strekov, gasprinskij, epetersen, yoneta]).
node(shunkai,2,[macRobert, gounelle, wentworth, aurora, fallersleben, polyakhova, vittorio]).
node(sorin,6,[hortulana, kathydouglas, tolstikov, beet, beryl, yurkanin, picha, mutsumi, subirachs, rozenblyum, mariafelix, caussols, neilpeart, maoyisheng, starrfield, mussorgskia, michanikos, chabot, strekov, satpaev, tRIUMF, rambhia, korczak, ursula, gasprinskij, dido, mcBride, cagney, ohmura, zibiturtle, haruna, nathaniel]).
node(starrfield,1,[mutsumi, caussols, satpaev, tRIUMF, sorin]).
node(strekov,5,[hortulana, tolstikov, coelum, beet, palamedes, yurkanin, jamesearly, subirachs, panizon, caussols, feijth, harutoriko, vitja, chabot, prast, satpaev, tRIUMF, luisapla, aurora, gasprinskij, valborg, sorin, mcBride, sherman, epetersen, asahi, polyakhova, yoneta, voss]).
node(subirachs,6,[hortulana, tolstikov, jurijvega, coelum, beet, conniewalker, gaussia, palamedes, yurkanin, mutsumi, haffner, jamesearly, panizon, efremiana, caussols, feijth, harutoriko, vitja, chabot, excubitor, strekov, prast, satpaev, luda, tRIUMF, luisapla, leung, aurora, gasprinskij, valborg, sorin, mcBride, sherman, cagney, epetersen, haruna, asahi, polyakhova, albertjansen, yoneta, pugovkin, voss]).
node(sutton,2,[hortulana, haffner, caussols, chabot, satpaev, tRIUMF, aurora]).
node(swann,2,[gounelle, aurora, fallersleben, polyakhova, vittorio]).
node(tRIUMF,7,[hortulana, duras, kathydouglas, tolstikov, beet, gaussia, beryl, kenwill, yurkanin, picha, mutsumi, haffner, jamesearly, subirachs, panizon, rozenblyum, mariafelix, sutton, caussols, neilpeart, feijth, maoyisheng, starrfield, mussorgskia, harutoriko, michanikos, chabot, strekov, prast, satpaev, sarahmarzen, luisapla, rambhia, korczak, leung, ursula, aurora, gasprinskij, dido, sorin, mcBride, cagney, epetersen, ohmura, haruna, polyakhova, yoneta, pugovkin, yebes, nathaniel]).
node(tolstikov,4,[hortulana, beet, yurkanin, mutsumi, jamesearly, subirachs, caussols, chabot, strekov, satpaev, tRIUMF, gasprinskij, sorin, mcBride, haruna]).
node(ursula,2,[beet, yurkanin, mutsumi, tRIUMF, gasprinskij, sorin]).
node(valborg,6,[gunn, bolsche, jurijvega, ishkov, palamedes, fredearly, subirachs, panizon, nakamura, harutoriko, samaschneid, excubitor, strekov, luda, gersuind, gasprinskij, wangdaheng, boyarchuk, epetersen, clasien, polyakhova, yoneta, voss]).
node(vertinskij,1,[neilpeart]).
node(vitja,4,[hortulana, gounelle, conniewalker, wentworth, haffner, jamesearly, subirachs, panizon, strekov, schrodinger, luda, leung, aurora, shapleya, epetersen, celsius, polyakhova, yoneta, vittorio]).
node(vittorio,6,[macRobert, hortulana, caseynicole, poe, gounelle, ioannisiani, bonini, ockeghem, okabayashi, wentworth, shunkai, haffner, panizon, mcSween, vitja, schrodinger, swann, mila, yucatan, mauersberger, aurora, yamasakimakoto, fallersleben, shapleya, asimov, epetersen, polyakhova, onnie]).
node(voss,4,[coelum, beet, palamedes, yurkanin, subirachs, efremiana, harutoriko, excubitor, strekov, gasprinskij, valborg, salzburg, mcBride, albertjansen]).
node(wangdaheng,1,[valborg]).
node(wendeline,3,[beryl, lorifini, wertheimer, michanikos, zibiturtle]).
node(wentworth,7,[macRobert, hortulana, gounelle, conniewalker, okabayashi, shunkai, haffner, jamesearly, panizon, vitja, schrodinger, luda, yucatan, leung, aurora, fallersleben, shapleya, asimov, epetersen, celsius, polyakhova, onnie, vittorio]).
node(wertheimer,5,[bouguer, donaldpray, wendeline, lorifini, neilpeart, keats, michanikos, billschaefer, ohmura, zibiturtle, nathaniel]).
node(yamasakimakoto,4,[macRobert, gounelle, bonini, fallersleben, polyakhova, vittorio]).
node(yebes,2,[caussols, neilpeart, chabot, satpaev, tRIUMF]).
node(yoneta,4,[hortulana, jurijvega, beet, palamedes, jamesearly, subirachs, panizon, feijth, harutoriko, vitja, chabot, strekov, luda, tRIUMF, aurora, gasprinskij, valborg, mcBride, sherman, epetersen, polyakhova]).
node(yucatan,3,[gounelle, wentworth, panizon, aurora, fallersleben, shapleya, asimov, epetersen, polyakhova, vittorio]).
node(yumiko,1,[beet, efremiana, salzburg]).
node(yurkanin,5,[tolstikov, coelum, beet, picha, mutsumi, subirachs, efremiana, caussols, harutoriko, chabot, strekov, satpaev, shane, tRIUMF, luisapla, ursula, gasprinskij, sorin, salzburg, mcBride, cagney, pugovkin, carver, voss]).
node(zelkowitz,1,[neilpeart]).
node(zibiturtle,6,[bouguer, donaldpray, beryl, wendeline, pribram, lorifini, mutsumi, wertheimer, neilpeart, maoyisheng, keats, michanikos, satpaev, billschaefer, jaroff, sorin, ohmura, nathaniel]).