1
2
3professor_ability(p0,h).
4professor_ability(p1,h).
5professor_ability(p2,m).
6professor_ability(p3,m).
7professor_ability(p4,h).
8professor_ability(p5,h).
9professor_ability(p6,l).
10professor_ability(p7,l).
11professor_ability(p8,m).
12professor_ability(p9,h).
13professor_ability(p10,m).
14professor_ability(p11,h).
15professor_ability(p12,h).
16professor_ability(p13,m).
17professor_ability(p14,m).
18professor_ability(p15,m).
19professor_ability(p16,m).
20professor_ability(p17,m).
21professor_ability(p18,l).
22professor_ability(p19,h).
23professor_ability(p20,h).
24professor_ability(p21,h).
25professor_ability(p22,m).
26professor_ability(p23,m).
27professor_ability(p24,l).
28professor_ability(p25,m).
29professor_ability(p26,h).
30professor_ability(p27,h).
31professor_ability(p28,h).
32professor_ability(p29,m).
33professor_ability(p30,m).
34professor_ability(p31,h).
35
36
37course_difficulty(c0,h).
38course_difficulty(c1,m).
39course_difficulty(c2,l).
40course_difficulty(c3,m).
41course_difficulty(c4,m).
42course_difficulty(c5,l).
43course_difficulty(c6,m).
44course_difficulty(c7,h).
45course_difficulty(c8,h).
46course_difficulty(c9,l).
47course_difficulty(c10,m).
48course_difficulty(c11,m).
49course_difficulty(c12,m).
50course_difficulty(c13,h).
51course_difficulty(c14,m).
52course_difficulty(c15,h).
53course_difficulty(c16,l).
54course_difficulty(c17,h).
55course_difficulty(c18,m).
56course_difficulty(c19,l).
57course_difficulty(c20,m).
58course_difficulty(c21,h).
59course_difficulty(c22,m).
60course_difficulty(c23,m).
61course_difficulty(c24,h).
62course_difficulty(c25,m).
63course_difficulty(c26,l).
64course_difficulty(c27,h).
65course_difficulty(c28,m).
66course_difficulty(c29,m).
67course_difficulty(c30,m).
68course_difficulty(c31,m).
69course_difficulty(c32,l).
70course_difficulty(c33,m).
71course_difficulty(c34,l).
72course_difficulty(c35,h).
73course_difficulty(c36,h).
74course_difficulty(c37,m).
75course_difficulty(c38,m).
76course_difficulty(c39,m).
77course_difficulty(c40,h).
78course_difficulty(c41,m).
79course_difficulty(c42,h).
80course_difficulty(c43,m).
81course_difficulty(c44,m).
82course_difficulty(c45,m).
83course_difficulty(c46,m).
84course_difficulty(c47,m).
85course_difficulty(c48,m).
86course_difficulty(c49,l).
87course_difficulty(c50,m).
88course_difficulty(c51,h).
89course_difficulty(c52,h).
90course_difficulty(c53,h).
91course_difficulty(c54,m).
92course_difficulty(c55,h).
93course_difficulty(c56,m).
94course_difficulty(c57,m).
95course_difficulty(c58,h).
96course_difficulty(c59,m).
97course_difficulty(c60,h).
98course_difficulty(c61,m).
99course_difficulty(c62,l).
100course_difficulty(c63,l).
101
102
103student_intelligence(s0,l).
104student_intelligence(s1,l).
105student_intelligence(s2,h).
106student_intelligence(s3,h).
107student_intelligence(s4,h).
108student_intelligence(s5,h).
109student_intelligence(s6,m).
110student_intelligence(s7,h).
111student_intelligence(s8,h).
112student_intelligence(s9,m).
113student_intelligence(s10,m).
114student_intelligence(s11,m).
115student_intelligence(s12,h).
116student_intelligence(s13,h).
117student_intelligence(s14,h).
118student_intelligence(s15,m).
119student_intelligence(s16,h).
120student_intelligence(s17,m).
121student_intelligence(s18,m).
122student_intelligence(s19,h).
123student_intelligence(s20,m).
124student_intelligence(s21,h).
125student_intelligence(s22,h).
126student_intelligence(s23,h).
127student_intelligence(s24,m).
128student_intelligence(s25,h).
129student_intelligence(s26,m).
130student_intelligence(s27,m).
131student_intelligence(s28,m).
132student_intelligence(s29,m).
133student_intelligence(s30,h).
134student_intelligence(s31,m).
135student_intelligence(s32,m).
136student_intelligence(s33,h).
137student_intelligence(s34,l).
138student_intelligence(s35,m).
139student_intelligence(s36,l).
140student_intelligence(s37,m).
141student_intelligence(s38,h).
142student_intelligence(s39,h).
143student_intelligence(s40,h).
144student_intelligence(s41,m).
145student_intelligence(s42,m).
146student_intelligence(s43,h).
147student_intelligence(s44,h).
148student_intelligence(s45,h).
149student_intelligence(s46,l).
150student_intelligence(s47,h).
151student_intelligence(s48,m).
152student_intelligence(s49,m).
153student_intelligence(s50,h).
154student_intelligence(s51,m).
155student_intelligence(s52,m).
156student_intelligence(s53,m).
157student_intelligence(s54,h).
158student_intelligence(s55,h).
159student_intelligence(s56,l).
160student_intelligence(s57,m).
161student_intelligence(s58,h).
162student_intelligence(s59,m).
163student_intelligence(s60,m).
164student_intelligence(s61,h).
165student_intelligence(s62,m).
166student_intelligence(s63,h).
167student_intelligence(s64,l).
168student_intelligence(s65,m).
169student_intelligence(s66,h).
170student_intelligence(s67,m).
171student_intelligence(s68,h).
172student_intelligence(s69,h).
173student_intelligence(s70,l).
174student_intelligence(s71,m).
175student_intelligence(s72,h).
176student_intelligence(s73,m).
177student_intelligence(s74,h).
178student_intelligence(s75,h).
179student_intelligence(s76,h).
180student_intelligence(s77,h).
181student_intelligence(s78,h).
182student_intelligence(s79,m).
183student_intelligence(s80,m).
184student_intelligence(s81,l).
185student_intelligence(s82,h).
186student_intelligence(s83,h).
187student_intelligence(s84,m).
188student_intelligence(s85,h).
189student_intelligence(s86,m).
190student_intelligence(s87,h).
191student_intelligence(s88,h).
192student_intelligence(s89,m).
193student_intelligence(s90,h).
194student_intelligence(s91,m).
195student_intelligence(s92,h).
196student_intelligence(s93,l).
197student_intelligence(s94,l).
198student_intelligence(s95,h).
199student_intelligence(s96,m).
200student_intelligence(s97,h).
201student_intelligence(s98,h).
202student_intelligence(s99,l).
203student_intelligence(s100,h).
204student_intelligence(s101,h).
205student_intelligence(s102,m).
206student_intelligence(s103,h).
207student_intelligence(s104,l).
208student_intelligence(s105,m).
209student_intelligence(s106,h).
210student_intelligence(s107,l).
211student_intelligence(s108,m).
212student_intelligence(s109,m).
213student_intelligence(s110,m).
214student_intelligence(s111,h).
215student_intelligence(s112,m).
216student_intelligence(s113,h).
217student_intelligence(s114,m).
218student_intelligence(s115,h).
219student_intelligence(s116,m).
220student_intelligence(s117,m).
221student_intelligence(s118,m).
222student_intelligence(s119,h).
223student_intelligence(s120,h).
224student_intelligence(s121,h).
225student_intelligence(s122,m).
226student_intelligence(s123,m).
227student_intelligence(s124,h).
228student_intelligence(s125,m).
229student_intelligence(s126,m).
230student_intelligence(s127,m).
231student_intelligence(s128,m).
232student_intelligence(s129,h).
233student_intelligence(s130,m).
234student_intelligence(s131,h).
235student_intelligence(s132,h).
236student_intelligence(s133,h).
237student_intelligence(s134,h).
238student_intelligence(s135,h).
239student_intelligence(s136,m).
240student_intelligence(s137,m).
241student_intelligence(s138,l).
242student_intelligence(s139,h).
243student_intelligence(s140,h).
244student_intelligence(s141,m).
245student_intelligence(s142,m).
246student_intelligence(s143,h).
247student_intelligence(s144,h).
248student_intelligence(s145,h).
249student_intelligence(s146,m).
250student_intelligence(s147,m).
251student_intelligence(s148,m).
252student_intelligence(s149,h).
253student_intelligence(s150,l).
254student_intelligence(s151,h).
255student_intelligence(s152,h).
256student_intelligence(s153,m).
257student_intelligence(s154,m).
258student_intelligence(s155,h).
259student_intelligence(s156,m).
260student_intelligence(s157,m).
261student_intelligence(s158,h).
262student_intelligence(s159,h).
263student_intelligence(s160,m).
264student_intelligence(s161,m).
265student_intelligence(s162,h).
266student_intelligence(s163,m).
267student_intelligence(s164,m).
268student_intelligence(s165,m).
269student_intelligence(s166,m).
270student_intelligence(s167,h).
271student_intelligence(s168,h).
272student_intelligence(s169,m).
273student_intelligence(s170,m).
274student_intelligence(s171,m).
275student_intelligence(s172,h).
276student_intelligence(s173,h).
277student_intelligence(s174,h).
278student_intelligence(s175,m).
279student_intelligence(s176,m).
280student_intelligence(s177,m).
281student_intelligence(s178,h).
282student_intelligence(s179,m).
283student_intelligence(s180,m).
284student_intelligence(s181,h).
285student_intelligence(s182,m).
286student_intelligence(s183,h).
287student_intelligence(s184,h).
288student_intelligence(s185,m).
289student_intelligence(s186,m).
290student_intelligence(s187,m).
291student_intelligence(s188,h).
292student_intelligence(s189,m).
293student_intelligence(s190,h).
294student_intelligence(s191,l).
295student_intelligence(s192,h).
296student_intelligence(s193,m).
297student_intelligence(s194,m).
298student_intelligence(s195,m).
299student_intelligence(s196,h).
300student_intelligence(s197,h).
301student_intelligence(s198,h).
302student_intelligence(s199,m).
303student_intelligence(s200,h).
304student_intelligence(s201,l).
305student_intelligence(s202,h).
306student_intelligence(s203,m).
307student_intelligence(s204,h).
308student_intelligence(s205,h).
309student_intelligence(s206,h).
310student_intelligence(s207,h).
311student_intelligence(s208,m).
312student_intelligence(s209,h).
313student_intelligence(s210,m).
314student_intelligence(s211,m).
315student_intelligence(s212,m).
316student_intelligence(s213,h).
317student_intelligence(s214,h).
318student_intelligence(s215,m).
319student_intelligence(s216,h).
320student_intelligence(s217,m).
321student_intelligence(s218,h).
322student_intelligence(s219,h).
323student_intelligence(s220,h).
324student_intelligence(s221,h).
325student_intelligence(s222,h).
326student_intelligence(s223,m).
327student_intelligence(s224,l).
328student_intelligence(s225,l).
329student_intelligence(s226,m).
330student_intelligence(s227,h).
331student_intelligence(s228,h).
332student_intelligence(s229,m).
333student_intelligence(s230,m).
334student_intelligence(s231,h).
335student_intelligence(s232,m).
336student_intelligence(s233,h).
337student_intelligence(s234,l).
338student_intelligence(s235,h).
339student_intelligence(s236,h).
340student_intelligence(s237,h).
341student_intelligence(s238,h).
342student_intelligence(s239,h).
343student_intelligence(s240,h).
344student_intelligence(s241,m).
345student_intelligence(s242,l).
346student_intelligence(s243,h).
347student_intelligence(s244,h).
348student_intelligence(s245,l).
349student_intelligence(s246,m).
350student_intelligence(s247,h).
351student_intelligence(s248,m).
352student_intelligence(s249,h).
353student_intelligence(s250,m).
354student_intelligence(s251,h).
355student_intelligence(s252,m).
356student_intelligence(s253,m).
357student_intelligence(s254,m).
358student_intelligence(s255,m).
359
360
361professor_popularity(p0,h).
362professor_popularity(p1,h).
363professor_popularity(p2,l).
364professor_popularity(p3,h).
365professor_popularity(p4,h).
366professor_popularity(p5,h).
367professor_popularity(p6,l).
368professor_popularity(p7,l).
369professor_popularity(p8,m).
370professor_popularity(p9,h).
371professor_popularity(p10,l).
372professor_popularity(p11,h).
373professor_popularity(p12,h).
374professor_popularity(p13,l).
375professor_popularity(p14,m).
376professor_popularity(p15,h).
377professor_popularity(p16,m).
378professor_popularity(p17,h).
379professor_popularity(p18,l).
380professor_popularity(p19,h).
381professor_popularity(p20,h).
382professor_popularity(p21,h).
383professor_popularity(p22,h).
384professor_popularity(p23,l).
385professor_popularity(p24,l).
386professor_popularity(p25,l).
387professor_popularity(p26,m).
388professor_popularity(p27,h).
389professor_popularity(p28,h).
390professor_popularity(p29,l).
391professor_popularity(p30,m).
392professor_popularity(p31,h).
393
394
395registration_grade(r0,a).
396registration_grade(r1,c).
397registration_grade(r2,c).
398registration_grade(r3,c).
399registration_grade(r4,c).
400registration_grade(r5,c).
401registration_grade(r6,a).
402registration_grade(r7,a).
403registration_grade(r8,b).
404registration_grade(r9,a).
405registration_grade(r10,a).
406registration_grade(r11,a).
407registration_grade(r12,a).
408registration_grade(r13,a).
409registration_grade(r14,b).
410registration_grade(r15,b).
411registration_grade(r16,a).
412registration_grade(r17,b).
413registration_grade(r18,c).
414registration_grade(r19,c).
415registration_grade(r20,c).
416registration_grade(r21,a).
417registration_grade(r22,a).
418registration_grade(r23,b).
419registration_grade(r24,b).
420registration_grade(r25,a).
421registration_grade(r26,a).
422registration_grade(r27,b).
423registration_grade(r28,c).
424registration_grade(r29,b).
425registration_grade(r30,c).
426registration_grade(r31,b).
427registration_grade(r32,c).
428registration_grade(r33,a).
429registration_grade(r34,c).
430registration_grade(r35,c).
431registration_grade(r36,a).
432registration_grade(r37,a).
433registration_grade(r38,c).
434registration_grade(r39,a).
435registration_grade(r40,a).
436registration_grade(r41,c).
437registration_grade(r42,b).
438registration_grade(r43,a).
439registration_grade(r44,a).
440registration_grade(r45,a).
441registration_grade(r46,a).
442registration_grade(r47,b).
443registration_grade(r48,b).
444registration_grade(r49,b).
445registration_grade(r50,b).
446registration_grade(r51,b).
447registration_grade(r52,b).
448registration_grade(r53,a).
449registration_grade(r54,b).
450registration_grade(r55,a).
451registration_grade(r56,c).
452registration_grade(r57,c).
453registration_grade(r58,a).
454registration_grade(r59,c).
455registration_grade(r60,a).
456registration_grade(r61,a).
457registration_grade(r62,a).
458registration_grade(r63,b).
459registration_grade(r64,b).
460registration_grade(r65,b).
461registration_grade(r66,b).
462registration_grade(r67,b).
463registration_grade(r68,a).
464registration_grade(r69,b).
465registration_grade(r70,c).
466registration_grade(r71,b).
467registration_grade(r72,a).
468registration_grade(r73,b).
469registration_grade(r74,a).
470registration_grade(r75,b).
471registration_grade(r76,c).
472registration_grade(r77,a).
473registration_grade(r78,b).
474registration_grade(r79,a).
475registration_grade(r80,b).
476registration_grade(r81,b).
477registration_grade(r82,a).
478registration_grade(r83,a).
479registration_grade(r84,c).
480registration_grade(r85,b).
481registration_grade(r86,b).
482registration_grade(r87,b).
483registration_grade(r88,c).
484registration_grade(r89,c).
485registration_grade(r90,c).
486registration_grade(r91,a).
487registration_grade(r92,d).
488registration_grade(r93,b).
489registration_grade(r94,c).
490registration_grade(r95,b).
491registration_grade(r96,a).
492registration_grade(r97,a).
493registration_grade(r98,b).
494registration_grade(r99,b).
495registration_grade(r100,a).
496registration_grade(r101,a).
497registration_grade(r102,a).
498registration_grade(r103,b).
499registration_grade(r104,b).
500registration_grade(r105,c).
501registration_grade(r106,b).
502registration_grade(r107,b).
503registration_grade(r108,b).
504registration_grade(r109,b).
505registration_grade(r110,a).
506registration_grade(r111,a).
507registration_grade(r112,a).
508registration_grade(r113,c).
509registration_grade(r114,c).
510registration_grade(r115,d).
511registration_grade(r116,b).
512registration_grade(r117,c).
513registration_grade(r118,a).
514registration_grade(r119,b).
515registration_grade(r120,b).
516registration_grade(r121,c).
517registration_grade(r122,b).
518registration_grade(r123,a).
519registration_grade(r124,a).
520registration_grade(r125,b).
521registration_grade(r126,b).
522registration_grade(r127,b).
523registration_grade(r128,a).
524registration_grade(r129,c).
525registration_grade(r130,a).
526registration_grade(r131,a).
527registration_grade(r132,b).
528registration_grade(r133,a).
529registration_grade(r134,a).
530registration_grade(r135,b).
531registration_grade(r136,a).
532registration_grade(r137,b).
533registration_grade(r138,a).
534registration_grade(r139,a).
535registration_grade(r140,a).
536registration_grade(r141,b).
537registration_grade(r142,b).
538registration_grade(r143,b).
539registration_grade(r144,c).
540registration_grade(r145,b).
541registration_grade(r146,a).
542registration_grade(r147,a).
543registration_grade(r148,a).
544registration_grade(r149,a).
545registration_grade(r150,b).
546registration_grade(r151,a).
547registration_grade(r152,a).
548registration_grade(r153,b).
549registration_grade(r154,a).
550registration_grade(r155,c).
551registration_grade(r156,b).
552registration_grade(r157,b).
553registration_grade(r158,c).
554registration_grade(r159,b).
555registration_grade(r160,a).
556registration_grade(r161,a).
557registration_grade(r162,b).
558registration_grade(r163,a).
559registration_grade(r164,b).
560registration_grade(r165,b).
561registration_grade(r166,c).
562registration_grade(r167,a).
563registration_grade(r168,a).
564registration_grade(r169,a).
565registration_grade(r170,a).
566registration_grade(r171,a).
567registration_grade(r172,c).
568registration_grade(r173,b).
569registration_grade(r174,a).
570registration_grade(r175,b).
571registration_grade(r176,b).
572registration_grade(r177,c).
573registration_grade(r178,b).
574registration_grade(r179,d).
575registration_grade(r180,c).
576registration_grade(r181,a).
577registration_grade(r182,b).
578registration_grade(r183,a).
579registration_grade(r184,a).
580registration_grade(r185,b).
581registration_grade(r186,c).
582registration_grade(r187,a).
583registration_grade(r188,a).
584registration_grade(r189,a).
585registration_grade(r190,a).
586registration_grade(r191,b).
587registration_grade(r192,b).
588registration_grade(r193,c).
589registration_grade(r194,b).
590registration_grade(r195,c).
591registration_grade(r196,b).
592registration_grade(r197,a).
593registration_grade(r198,a).
594registration_grade(r199,b).
595registration_grade(r200,b).
596registration_grade(r201,c).
597registration_grade(r202,a).
598registration_grade(r203,a).
599registration_grade(r204,b).
600registration_grade(r205,a).
601registration_grade(r206,a).
602registration_grade(r207,a).
603registration_grade(r208,c).
604registration_grade(r209,b).
605registration_grade(r210,a).
606registration_grade(r211,d).
607registration_grade(r212,b).
608registration_grade(r213,b).
609registration_grade(r214,a).
610registration_grade(r215,a).
611registration_grade(r216,b).
612registration_grade(r217,a).
613registration_grade(r218,b).
614registration_grade(r219,a).
615registration_grade(r220,a).
616registration_grade(r221,b).
617registration_grade(r222,c).
618registration_grade(r223,a).
619registration_grade(r224,b).
620registration_grade(r225,b).
621registration_grade(r226,d).
622registration_grade(r227,b).
623registration_grade(r228,c).
624registration_grade(r229,b).
625registration_grade(r230,a).
626registration_grade(r231,c).
627registration_grade(r232,a).
628registration_grade(r233,b).
629registration_grade(r234,b).
630registration_grade(r235,c).
631registration_grade(r236,b).
632registration_grade(r237,c).
633registration_grade(r238,d).
634registration_grade(r239,b).
635registration_grade(r240,b).
636registration_grade(r241,a).
637registration_grade(r242,b).
638registration_grade(r243,a).
639registration_grade(r244,b).
640registration_grade(r245,a).
641registration_grade(r246,b).
642registration_grade(r247,c).
643registration_grade(r248,b).
644registration_grade(r249,a).
645registration_grade(r250,a).
646registration_grade(r251,a).
647registration_grade(r252,b).
648registration_grade(r253,a).
649registration_grade(r254,b).
650registration_grade(r255,a).
651registration_grade(r256,a).
652registration_grade(r257,b).
653registration_grade(r258,a).
654registration_grade(r259,a).
655registration_grade(r260,b).
656registration_grade(r261,a).
657registration_grade(r262,a).
658registration_grade(r263,a).
659registration_grade(r264,c).
660registration_grade(r265,a).
661registration_grade(r266,a).
662registration_grade(r267,a).
663registration_grade(r268,c).
664registration_grade(r269,a).
665registration_grade(r270,c).
666registration_grade(r271,b).
667registration_grade(r272,c).
668registration_grade(r273,b).
669registration_grade(r274,c).
670registration_grade(r275,a).
671registration_grade(r276,a).
672registration_grade(r277,a).
673registration_grade(r278,a).
674registration_grade(r279,a).
675registration_grade(r280,b).
676registration_grade(r281,b).
677registration_grade(r282,d).
678registration_grade(r283,a).
679registration_grade(r284,b).
680registration_grade(r285,b).
681registration_grade(r286,a).
682registration_grade(r287,b).
683registration_grade(r288,b).
684registration_grade(r289,d).
685registration_grade(r290,b).
686registration_grade(r291,c).
687registration_grade(r292,b).
688registration_grade(r293,a).
689registration_grade(r294,a).
690registration_grade(r295,a).
691registration_grade(r296,b).
692registration_grade(r297,a).
693registration_grade(r298,a).
694registration_grade(r299,a).
695registration_grade(r300,b).
696registration_grade(r301,b).
697registration_grade(r302,b).
698registration_grade(r303,a).
699registration_grade(r304,a).
700registration_grade(r305,b).
701registration_grade(r306,b).
702registration_grade(r307,c).
703registration_grade(r308,c).
704registration_grade(r309,c).
705registration_grade(r310,a).
706registration_grade(r311,a).
707registration_grade(r312,a).
708registration_grade(r313,a).
709registration_grade(r314,c).
710registration_grade(r315,c).
711registration_grade(r316,c).
712registration_grade(r317,c).
713registration_grade(r318,c).
714registration_grade(r319,c).
715registration_grade(r320,b).
716registration_grade(r321,b).
717registration_grade(r322,a).
718registration_grade(r323,c).
719registration_grade(r324,b).
720registration_grade(r325,b).
721registration_grade(r326,a).
722registration_grade(r327,c).
723registration_grade(r328,b).
724registration_grade(r329,a).
725registration_grade(r330,b).
726registration_grade(r331,a).
727registration_grade(r332,a).
728registration_grade(r333,a).
729registration_grade(r334,c).
730registration_grade(r335,d).
731registration_grade(r336,b).
732registration_grade(r337,b).
733registration_grade(r338,b).
734registration_grade(r339,a).
735registration_grade(r340,b).
736registration_grade(r341,b).
737registration_grade(r342,b).
738registration_grade(r343,a).
739registration_grade(r344,c).
740registration_grade(r345,b).
741registration_grade(r346,b).
742registration_grade(r347,b).
743registration_grade(r348,a).
744registration_grade(r349,a).
745registration_grade(r350,b).
746registration_grade(r351,b).
747registration_grade(r352,d).
748registration_grade(r353,c).
749registration_grade(r354,c).
750registration_grade(r355,c).
751registration_grade(r356,b).
752registration_grade(r357,b).
753registration_grade(r358,a).
754registration_grade(r359,a).
755registration_grade(r360,a).
756registration_grade(r361,b).
757registration_grade(r362,c).
758registration_grade(r363,c).
759registration_grade(r364,b).
760registration_grade(r365,b).
761registration_grade(r366,b).
762registration_grade(r367,b).
763registration_grade(r368,a).
764registration_grade(r369,c).
765registration_grade(r370,b).
766registration_grade(r371,a).
767registration_grade(r372,a).
768registration_grade(r373,a).
769registration_grade(r374,b).
770registration_grade(r375,b).
771registration_grade(r376,a).
772registration_grade(r377,a).
773registration_grade(r378,a).
774registration_grade(r379,c).
775registration_grade(r380,a).
776registration_grade(r381,c).
777registration_grade(r382,a).
778registration_grade(r383,a).
779registration_grade(r384,b).
780registration_grade(r385,b).
781registration_grade(r386,d).
782registration_grade(r387,a).
783registration_grade(r388,a).
784registration_grade(r389,a).
785registration_grade(r390,a).
786registration_grade(r391,b).
787registration_grade(r392,b).
788registration_grade(r393,b).
789registration_grade(r394,c).
790registration_grade(r395,b).
791registration_grade(r396,b).
792registration_grade(r397,a).
793registration_grade(r398,b).
794registration_grade(r399,c).
795registration_grade(r400,a).
796registration_grade(r401,c).
797registration_grade(r402,a).
798registration_grade(r403,a).
799registration_grade(r404,a).
800registration_grade(r405,a).
801registration_grade(r406,a).
802registration_grade(r407,b).
803registration_grade(r408,a).
804registration_grade(r409,a).
805registration_grade(r410,b).
806registration_grade(r411,b).
807registration_grade(r412,a).
808registration_grade(r413,a).
809registration_grade(r414,a).
810registration_grade(r415,b).
811registration_grade(r416,b).
812registration_grade(r417,d).
813registration_grade(r418,a).
814registration_grade(r419,a).
815registration_grade(r420,a).
816registration_grade(r421,c).
817registration_grade(r422,b).
818registration_grade(r423,b).
819registration_grade(r424,a).
820registration_grade(r425,b).
821registration_grade(r426,c).
822registration_grade(r427,c).
823registration_grade(r428,c).
824registration_grade(r429,c).
825registration_grade(r430,b).
826registration_grade(r431,d).
827registration_grade(r432,c).
828registration_grade(r433,a).
829registration_grade(r434,a).
830registration_grade(r435,c).
831registration_grade(r436,a).
832registration_grade(r437,c).
833registration_grade(r438,b).
834registration_grade(r439,b).
835registration_grade(r440,c).
836registration_grade(r441,a).
837registration_grade(r442,c).
838registration_grade(r443,a).
839registration_grade(r444,a).
840registration_grade(r445,a).
841registration_grade(r446,a).
842registration_grade(r447,d).
843registration_grade(r448,c).
844registration_grade(r449,b).
845registration_grade(r450,a).
846registration_grade(r451,a).
847registration_grade(r452,b).
848registration_grade(r453,d).
849registration_grade(r454,d).
850registration_grade(r455,c).
851registration_grade(r456,c).
852registration_grade(r457,a).
853registration_grade(r458,b).
854registration_grade(r459,b).
855registration_grade(r460,a).
856registration_grade(r461,b).
857registration_grade(r462,a).
858registration_grade(r463,d).
859registration_grade(r464,a).
860registration_grade(r465,a).
861registration_grade(r466,b).
862registration_grade(r467,b).
863registration_grade(r468,a).
864registration_grade(r469,a).
865registration_grade(r470,c).
866registration_grade(r471,b).
867registration_grade(r472,a).
868registration_grade(r473,c).
869registration_grade(r474,b).
870registration_grade(r475,a).
871registration_grade(r476,c).
872registration_grade(r477,b).
873registration_grade(r478,a).
874registration_grade(r479,b).
875registration_grade(r480,a).
876registration_grade(r481,b).
877registration_grade(r482,b).
878registration_grade(r483,a).
879registration_grade(r484,a).
880registration_grade(r485,a).
881registration_grade(r486,a).
882registration_grade(r487,a).
883registration_grade(r488,a).
884registration_grade(r489,b).
885registration_grade(r490,c).
886registration_grade(r491,c).
887registration_grade(r492,b).
888registration_grade(r493,a).
889registration_grade(r494,b).
890registration_grade(r495,b).
891registration_grade(r496,a).
892registration_grade(r497,c).
893registration_grade(r498,b).
894registration_grade(r499,c).
895registration_grade(r500,b).
896registration_grade(r501,a).
897registration_grade(r502,a).
898registration_grade(r503,c).
899registration_grade(r504,b).
900registration_grade(r505,c).
901registration_grade(r506,c).
902registration_grade(r507,a).
903registration_grade(r508,c).
904registration_grade(r509,b).
905registration_grade(r510,a).
906registration_grade(r511,c).
907registration_grade(r512,b).
908registration_grade(r513,b).
909registration_grade(r514,c).
910registration_grade(r515,c).
911registration_grade(r516,a).
912registration_grade(r517,b).
913registration_grade(r518,a).
914registration_grade(r519,a).
915registration_grade(r520,b).
916registration_grade(r521,a).
917registration_grade(r522,b).
918registration_grade(r523,a).
919registration_grade(r524,b).
920registration_grade(r525,c).
921registration_grade(r526,c).
922registration_grade(r527,c).
923registration_grade(r528,a).
924registration_grade(r529,b).
925registration_grade(r530,a).
926registration_grade(r531,b).
927registration_grade(r532,a).
928registration_grade(r533,a).
929registration_grade(r534,b).
930registration_grade(r535,c).
931registration_grade(r536,a).
932registration_grade(r537,a).
933registration_grade(r538,a).
934registration_grade(r539,b).
935registration_grade(r540,b).
936registration_grade(r541,c).
937registration_grade(r542,a).
938registration_grade(r543,a).
939registration_grade(r544,b).
940registration_grade(r545,a).
941registration_grade(r546,b).
942registration_grade(r547,c).
943registration_grade(r548,c).
944registration_grade(r549,b).
945registration_grade(r550,a).
946registration_grade(r551,a).
947registration_grade(r552,c).
948registration_grade(r553,b).
949registration_grade(r554,b).
950registration_grade(r555,b).
951registration_grade(r556,a).
952registration_grade(r557,a).
953registration_grade(r558,a).
954registration_grade(r559,b).
955registration_grade(r560,b).
956registration_grade(r561,a).
957registration_grade(r562,a).
958registration_grade(r563,a).
959registration_grade(r564,b).
960registration_grade(r565,d).
961registration_grade(r566,c).
962registration_grade(r567,a).
963registration_grade(r568,a).
964registration_grade(r569,a).
965registration_grade(r570,c).
966registration_grade(r571,c).
967registration_grade(r572,b).
968registration_grade(r573,a).
969registration_grade(r574,c).
970registration_grade(r575,a).
971registration_grade(r576,a).
972registration_grade(r577,a).
973registration_grade(r578,b).
974registration_grade(r579,a).
975registration_grade(r580,b).
976registration_grade(r581,a).
977registration_grade(r582,a).
978registration_grade(r583,a).
979registration_grade(r584,a).
980registration_grade(r585,c).
981registration_grade(r586,b).
982registration_grade(r587,c).
983registration_grade(r588,c).
984registration_grade(r589,c).
985registration_grade(r590,b).
986registration_grade(r591,c).
987registration_grade(r592,b).
988registration_grade(r593,b).
989registration_grade(r594,c).
990registration_grade(r595,b).
991registration_grade(r596,a).
992registration_grade(r597,a).
993registration_grade(r598,a).
994registration_grade(r599,a).
995registration_grade(r600,a).
996registration_grade(r601,b).
997registration_grade(r602,a).
998registration_grade(r603,d).
999registration_grade(r604,c).
1000registration_grade(r605,a).
1001registration_grade(r606,a).
1002registration_grade(r607,b).
1003registration_grade(r608,a).
1004registration_grade(r609,b).
1005registration_grade(r610,a).
1006registration_grade(r611,a).
1007registration_grade(r612,c).
1008registration_grade(r613,a).
1009registration_grade(r614,d).
1010registration_grade(r615,b).
1011registration_grade(r616,a).
1012registration_grade(r617,a).
1013registration_grade(r618,b).
1014registration_grade(r619,a).
1015registration_grade(r620,a).
1016registration_grade(r621,a).
1017registration_grade(r622,b).
1018registration_grade(r623,b).
1019registration_grade(r624,a).
1020registration_grade(r625,c).
1021registration_grade(r626,a).
1022registration_grade(r627,b).
1023registration_grade(r628,a).
1024registration_grade(r629,b).
1025registration_grade(r630,c).
1026registration_grade(r631,a).
1027registration_grade(r632,a).
1028registration_grade(r633,b).
1029registration_grade(r634,b).
1030registration_grade(r635,b).
1031registration_grade(r636,d).
1032registration_grade(r637,c).
1033registration_grade(r638,a).
1034registration_grade(r639,b).
1035registration_grade(r640,c).
1036registration_grade(r641,c).
1037registration_grade(r642,c).
1038registration_grade(r643,a).
1039registration_grade(r644,a).
1040registration_grade(r645,b).
1041registration_grade(r646,b).
1042registration_grade(r647,b).
1043registration_grade(r648,a).
1044registration_grade(r649,b).
1045registration_grade(r650,c).
1046registration_grade(r651,b).
1047registration_grade(r652,b).
1048registration_grade(r653,b).
1049registration_grade(r654,b).
1050registration_grade(r655,a).
1051registration_grade(r656,b).
1052registration_grade(r657,a).
1053registration_grade(r658,a).
1054registration_grade(r659,a).
1055registration_grade(r660,a).
1056registration_grade(r661,c).
1057registration_grade(r662,a).
1058registration_grade(r663,a).
1059registration_grade(r664,c).
1060registration_grade(r665,a).
1061registration_grade(r666,b).
1062registration_grade(r667,b).
1063registration_grade(r668,d).
1064registration_grade(r669,b).
1065registration_grade(r670,a).
1066registration_grade(r671,c).
1067registration_grade(r672,c).
1068registration_grade(r673,a).
1069registration_grade(r674,a).
1070registration_grade(r675,b).
1071registration_grade(r676,a).
1072registration_grade(r677,a).
1073registration_grade(r678,a).
1074registration_grade(r679,a).
1075registration_grade(r680,c).
1076registration_grade(r681,b).
1077registration_grade(r682,a).
1078registration_grade(r683,b).
1079registration_grade(r684,b).
1080registration_grade(r685,a).
1081registration_grade(r686,b).
1082registration_grade(r687,a).
1083registration_grade(r688,c).
1084registration_grade(r689,b).
1085registration_grade(r690,a).
1086registration_grade(r691,c).
1087registration_grade(r692,a).
1088registration_grade(r693,b).
1089registration_grade(r694,a).
1090registration_grade(r695,a).
1091registration_grade(r696,a).
1092registration_grade(r697,c).
1093registration_grade(r698,b).
1094registration_grade(r699,a).
1095registration_grade(r700,a).
1096registration_grade(r701,a).
1097registration_grade(r702,a).
1098registration_grade(r703,c).
1099registration_grade(r704,c).
1100registration_grade(r705,b).
1101registration_grade(r706,b).
1102registration_grade(r707,a).
1103registration_grade(r708,b).
1104registration_grade(r709,b).
1105registration_grade(r710,b).
1106registration_grade(r711,b).
1107registration_grade(r712,c).
1108registration_grade(r713,a).
1109registration_grade(r714,b).
1110registration_grade(r715,a).
1111registration_grade(r716,a).
1112registration_grade(r717,a).
1113registration_grade(r718,a).
1114registration_grade(r719,c).
1115registration_grade(r720,a).
1116registration_grade(r721,b).
1117registration_grade(r722,b).
1118registration_grade(r723,b).
1119registration_grade(r724,a).
1120registration_grade(r725,c).
1121registration_grade(r726,a).
1122registration_grade(r727,a).
1123registration_grade(r728,b).
1124registration_grade(r729,b).
1125registration_grade(r730,c).
1126registration_grade(r731,a).
1127registration_grade(r732,a).
1128registration_grade(r733,a).
1129registration_grade(r734,b).
1130registration_grade(r735,b).
1131registration_grade(r736,a).
1132registration_grade(r737,b).
1133registration_grade(r738,b).
1134registration_grade(r739,a).
1135registration_grade(r740,a).
1136registration_grade(r741,a).
1137registration_grade(r742,d).
1138registration_grade(r743,d).
1139registration_grade(r744,a).
1140registration_grade(r745,b).
1141registration_grade(r746,a).
1142registration_grade(r747,a).
1143registration_grade(r748,b).
1144registration_grade(r749,c).
1145registration_grade(r750,a).
1146registration_grade(r751,c).
1147registration_grade(r752,b).
1148registration_grade(r753,c).
1149registration_grade(r754,c).
1150registration_grade(r755,c).
1151registration_grade(r756,b).
1152registration_grade(r757,c).
1153registration_grade(r758,b).
1154registration_grade(r759,b).
1155registration_grade(r760,a).
1156registration_grade(r761,a).
1157registration_grade(r762,b).
1158registration_grade(r763,a).
1159registration_grade(r764,a).
1160registration_grade(r765,a).
1161registration_grade(r766,c).
1162registration_grade(r767,c).
1163registration_grade(r768,c).
1164registration_grade(r769,c).
1165registration_grade(r770,b).
1166registration_grade(r771,b).
1167registration_grade(r772,a).
1168registration_grade(r773,b).
1169registration_grade(r774,b).
1170registration_grade(r775,a).
1171registration_grade(r776,a).
1172registration_grade(r777,c).
1173registration_grade(r778,c).
1174registration_grade(r779,b).
1175registration_grade(r780,a).
1176registration_grade(r781,b).
1177registration_grade(r782,a).
1178registration_grade(r783,c).
1179registration_grade(r784,c).
1180registration_grade(r785,c).
1181registration_grade(r786,c).
1182registration_grade(r787,a).
1183registration_grade(r788,a).
1184registration_grade(r789,c).
1185registration_grade(r790,b).
1186registration_grade(r791,b).
1187registration_grade(r792,a).
1188registration_grade(r793,a).
1189registration_grade(r794,b).
1190registration_grade(r795,a).
1191registration_grade(r796,a).
1192registration_grade(r797,a).
1193registration_grade(r798,b).
1194registration_grade(r799,c).
1195registration_grade(r800,b).
1196registration_grade(r801,b).
1197registration_grade(r802,a).
1198registration_grade(r803,b).
1199registration_grade(r804,a).
1200registration_grade(r805,b).
1201registration_grade(r806,a).
1202registration_grade(r807,a).
1203registration_grade(r808,b).
1204registration_grade(r809,c).
1205registration_grade(r810,b).
1206registration_grade(r811,d).
1207registration_grade(r812,c).
1208registration_grade(r813,c).
1209registration_grade(r814,c).
1210registration_grade(r815,c).
1211registration_grade(r816,b).
1212registration_grade(r817,a).
1213registration_grade(r818,b).
1214registration_grade(r819,b).
1215registration_grade(r820,d).
1216registration_grade(r821,b).
1217registration_grade(r822,a).
1218registration_grade(r823,a).
1219registration_grade(r824,c).
1220registration_grade(r825,b).
1221registration_grade(r826,b).
1222registration_grade(r827,c).
1223registration_grade(r828,b).
1224registration_grade(r829,b).
1225registration_grade(r830,a).
1226registration_grade(r831,a).
1227registration_grade(r832,b).
1228registration_grade(r833,b).
1229registration_grade(r834,b).
1230registration_grade(r835,a).
1231registration_grade(r836,a).
1232registration_grade(r837,c).
1233registration_grade(r838,c).
1234registration_grade(r839,b).
1235registration_grade(r840,b).
1236registration_grade(r841,a).
1237registration_grade(r842,a).
1238registration_grade(r843,b).
1239registration_grade(r844,a).
1240registration_grade(r845,c).
1241registration_grade(r846,b).
1242registration_grade(r847,b).
1243registration_grade(r848,c).
1244registration_grade(r849,b).
1245registration_grade(r850,b).
1246registration_grade(r851,b).
1247registration_grade(r852,c).
1248registration_grade(r853,b).
1249registration_grade(r854,c).
1250registration_grade(r855,d).
1251registration_grade(r856,c).
1252
1253registration_satisfaction(r0,h).
1254registration_satisfaction(r1,l).
1255registration_satisfaction(r2,h).
1256registration_satisfaction(r3,m).
1257registration_satisfaction(r4,h).
1258registration_satisfaction(r5,h).
1259registration_satisfaction(r6,h).
1260registration_satisfaction(r7,h).
1261registration_satisfaction(r8,l).
1262registration_satisfaction(r9,h).
1263registration_satisfaction(r10,h).
1264registration_satisfaction(r11,h).
1265registration_satisfaction(r12,h).
1266registration_satisfaction(r13,h).
1267registration_satisfaction(r14,m).
1268registration_satisfaction(r15,h).
1269registration_satisfaction(r16,h).
1270registration_satisfaction(r17,l).
1271registration_satisfaction(r18,l).
1272registration_satisfaction(r19,m).
1273registration_satisfaction(r20,h).
1274registration_satisfaction(r21,h).
1275registration_satisfaction(r22,h).
1276registration_satisfaction(r23,m).
1277registration_satisfaction(r24,h).
1278registration_satisfaction(r25,h).
1279registration_satisfaction(r26,h).
1280registration_satisfaction(r27,h).
1281registration_satisfaction(r28,h).
1282registration_satisfaction(r29,h).
1283registration_satisfaction(r30,l).
1284registration_satisfaction(r31,h).
1285registration_satisfaction(r32,m).
1286registration_satisfaction(r33,h).
1287registration_satisfaction(r34,h).
1288registration_satisfaction(r35,h).
1289registration_satisfaction(r36,m).
1290registration_satisfaction(r37,h).
1291registration_satisfaction(r38,h).
1292registration_satisfaction(r39,h).
1293registration_satisfaction(r40,h).
1294registration_satisfaction(r41,h).
1295registration_satisfaction(r42,l).
1296registration_satisfaction(r43,h).
1297registration_satisfaction(r44,h).
1298registration_satisfaction(r45,h).
1299registration_satisfaction(r46,m).
1300registration_satisfaction(r47,h).
1301registration_satisfaction(r48,h).
1302registration_satisfaction(r49,h).
1303registration_satisfaction(r50,h).
1304registration_satisfaction(r51,h).
1305registration_satisfaction(r52,h).
1306registration_satisfaction(r53,h).
1307registration_satisfaction(r54,h).
1308registration_satisfaction(r55,h).
1309registration_satisfaction(r56,l).
1310registration_satisfaction(r57,h).
1311registration_satisfaction(r58,h).
1312registration_satisfaction(r59,l).
1313registration_satisfaction(r60,h).
1314registration_satisfaction(r61,h).
1315registration_satisfaction(r62,h).
1316registration_satisfaction(r63,h).
1317registration_satisfaction(r64,h).
1318registration_satisfaction(r65,h).
1319registration_satisfaction(r66,h).
1320registration_satisfaction(r67,m).
1321registration_satisfaction(r68,h).
1322registration_satisfaction(r69,m).
1323registration_satisfaction(r70,h).
1324registration_satisfaction(r71,h).
1325registration_satisfaction(r72,l).
1326registration_satisfaction(r73,h).
1327registration_satisfaction(r74,h).
1328registration_satisfaction(r75,h).
1329registration_satisfaction(r76,h).
1330registration_satisfaction(r77,h).
1331registration_satisfaction(r78,m).
1332registration_satisfaction(r79,h).
1333registration_satisfaction(r80,h).
1334registration_satisfaction(r81,h).
1335registration_satisfaction(r82,l).
1336registration_satisfaction(r83,m).
1337registration_satisfaction(r84,m).
1338registration_satisfaction(r85,h).
1339registration_satisfaction(r86,m).
1340registration_satisfaction(r87,m).
1341registration_satisfaction(r88,h).
1342registration_satisfaction(r89,h).
1343registration_satisfaction(r90,m).
1344registration_satisfaction(r91,h).
1345registration_satisfaction(r92,l).
1346registration_satisfaction(r93,h).
1347registration_satisfaction(r94,l).
1348registration_satisfaction(r95,h).
1349registration_satisfaction(r96,h).
1350registration_satisfaction(r97,h).
1351registration_satisfaction(r98,h).
1352registration_satisfaction(r99,h).
1353registration_satisfaction(r100,h).
1354registration_satisfaction(r101,h).
1355registration_satisfaction(r102,h).
1356registration_satisfaction(r103,h).
1357registration_satisfaction(r104,h).
1358registration_satisfaction(r105,l).
1359registration_satisfaction(r106,h).
1360registration_satisfaction(r107,l).
1361registration_satisfaction(r108,l).
1362registration_satisfaction(r109,h).
1363registration_satisfaction(r110,h).
1364registration_satisfaction(r111,h).
1365registration_satisfaction(r112,h).
1366registration_satisfaction(r113,h).
1367registration_satisfaction(r114,m).
1368registration_satisfaction(r115,l).
1369registration_satisfaction(r116,h).
1370registration_satisfaction(r117,h).
1371registration_satisfaction(r118,h).
1372registration_satisfaction(r119,h).
1373registration_satisfaction(r120,l).
1374registration_satisfaction(r121,h).
1375registration_satisfaction(r122,h).
1376registration_satisfaction(r123,l).
1377registration_satisfaction(r124,h).
1378registration_satisfaction(r125,m).
1379registration_satisfaction(r126,h).
1380registration_satisfaction(r127,h).
1381registration_satisfaction(r128,h).
1382registration_satisfaction(r129,h).
1383registration_satisfaction(r130,h).
1384registration_satisfaction(r131,h).
1385registration_satisfaction(r132,m).
1386registration_satisfaction(r133,h).
1387registration_satisfaction(r134,m).
1388registration_satisfaction(r135,h).
1389registration_satisfaction(r136,h).
1390registration_satisfaction(r137,h).
1391registration_satisfaction(r138,h).
1392registration_satisfaction(r139,h).
1393registration_satisfaction(r140,h).
1394registration_satisfaction(r141,l).
1395registration_satisfaction(r142,h).
1396registration_satisfaction(r143,h).
1397registration_satisfaction(r144,h).
1398registration_satisfaction(r145,l).
1399registration_satisfaction(r146,h).
1400registration_satisfaction(r147,l).
1401registration_satisfaction(r148,m).
1402registration_satisfaction(r149,h).
1403registration_satisfaction(r150,h).
1404registration_satisfaction(r151,h).
1405registration_satisfaction(r152,h).
1406registration_satisfaction(r153,h).
1407registration_satisfaction(r154,m).
1408registration_satisfaction(r155,m).
1409registration_satisfaction(r156,h).
1410registration_satisfaction(r157,m).
1411registration_satisfaction(r158,l).
1412registration_satisfaction(r159,m).
1413registration_satisfaction(r160,h).
1414registration_satisfaction(r161,h).
1415registration_satisfaction(r162,m).
1416registration_satisfaction(r163,h).
1417registration_satisfaction(r164,m).
1418registration_satisfaction(r165,m).
1419registration_satisfaction(r166,l).
1420registration_satisfaction(r167,h).
1421registration_satisfaction(r168,h).
1422registration_satisfaction(r169,h).
1423registration_satisfaction(r170,h).
1424registration_satisfaction(r171,h).
1425registration_satisfaction(r172,h).
1426registration_satisfaction(r173,h).
1427registration_satisfaction(r174,h).
1428registration_satisfaction(r175,h).
1429registration_satisfaction(r176,h).
1430registration_satisfaction(r177,h).
1431registration_satisfaction(r178,h).
1432registration_satisfaction(r179,l).
1433registration_satisfaction(r180,h).
1434registration_satisfaction(r181,m).
1435registration_satisfaction(r182,h).
1436registration_satisfaction(r183,l).
1437registration_satisfaction(r184,h).
1438registration_satisfaction(r185,h).
1439registration_satisfaction(r186,h).
1440registration_satisfaction(r187,h).
1441registration_satisfaction(r188,m).
1442registration_satisfaction(r189,h).
1443registration_satisfaction(r190,h).
1444registration_satisfaction(r191,h).
1445registration_satisfaction(r192,m).
1446registration_satisfaction(r193,h).
1447registration_satisfaction(r194,h).
1448registration_satisfaction(r195,h).
1449registration_satisfaction(r196,h).
1450registration_satisfaction(r197,h).
1451registration_satisfaction(r198,h).
1452registration_satisfaction(r199,h).
1453registration_satisfaction(r200,m).
1454registration_satisfaction(r201,h).
1455registration_satisfaction(r202,h).
1456registration_satisfaction(r203,h).
1457registration_satisfaction(r204,h).
1458registration_satisfaction(r205,h).
1459registration_satisfaction(r206,h).
1460registration_satisfaction(r207,h).
1461registration_satisfaction(r208,h).
1462registration_satisfaction(r209,h).
1463registration_satisfaction(r210,h).
1464registration_satisfaction(r211,m).
1465registration_satisfaction(r212,h).
1466registration_satisfaction(r213,h).
1467registration_satisfaction(r214,h).
1468registration_satisfaction(r215,h).
1469registration_satisfaction(r216,h).
1470registration_satisfaction(r217,h).
1471registration_satisfaction(r218,m).
1472registration_satisfaction(r219,h).
1473registration_satisfaction(r220,h).
1474registration_satisfaction(r221,m).
1475registration_satisfaction(r222,l).
1476registration_satisfaction(r223,h).
1477registration_satisfaction(r224,h).
1478registration_satisfaction(r225,l).
1479registration_satisfaction(r226,l).
1480registration_satisfaction(r227,h).
1481registration_satisfaction(r228,l).
1482registration_satisfaction(r229,l).
1483registration_satisfaction(r230,h).
1484registration_satisfaction(r231,l).
1485registration_satisfaction(r232,h).
1486registration_satisfaction(r233,m).
1487registration_satisfaction(r234,l).
1488registration_satisfaction(r235,h).
1489registration_satisfaction(r236,l).
1490registration_satisfaction(r237,m).
1491registration_satisfaction(r238,m).
1492registration_satisfaction(r239,m).
1493registration_satisfaction(r240,h).
1494registration_satisfaction(r241,h).
1495registration_satisfaction(r242,m).
1496registration_satisfaction(r243,h).
1497registration_satisfaction(r244,m).
1498registration_satisfaction(r245,h).
1499registration_satisfaction(r246,h).
1500registration_satisfaction(r247,l).
1501registration_satisfaction(r248,l).
1502registration_satisfaction(r249,h).
1503registration_satisfaction(r250,h).
1504registration_satisfaction(r251,h).
1505registration_satisfaction(r252,h).
1506registration_satisfaction(r253,h).
1507registration_satisfaction(r254,h).
1508registration_satisfaction(r255,h).
1509registration_satisfaction(r256,h).
1510registration_satisfaction(r257,m).
1511registration_satisfaction(r258,h).
1512registration_satisfaction(r259,h).
1513registration_satisfaction(r260,h).
1514registration_satisfaction(r261,h).
1515registration_satisfaction(r262,h).
1516registration_satisfaction(r263,m).
1517registration_satisfaction(r264,h).
1518registration_satisfaction(r265,h).
1519registration_satisfaction(r266,l).
1520registration_satisfaction(r267,h).
1521registration_satisfaction(r268,l).
1522registration_satisfaction(r269,h).
1523registration_satisfaction(r270,l).
1524registration_satisfaction(r271,h).
1525registration_satisfaction(r272,l).
1526registration_satisfaction(r273,h).
1527registration_satisfaction(r274,h).
1528registration_satisfaction(r275,h).
1529registration_satisfaction(r276,h).
1530registration_satisfaction(r277,h).
1531registration_satisfaction(r278,h).
1532registration_satisfaction(r279,h).
1533registration_satisfaction(r280,h).
1534registration_satisfaction(r281,m).
1535registration_satisfaction(r282,h).
1536registration_satisfaction(r283,h).
1537registration_satisfaction(r284,m).
1538registration_satisfaction(r285,m).
1539registration_satisfaction(r286,h).
1540registration_satisfaction(r287,h).
1541registration_satisfaction(r288,h).
1542registration_satisfaction(r289,l).
1543registration_satisfaction(r290,m).
1544registration_satisfaction(r291,h).
1545registration_satisfaction(r292,m).
1546registration_satisfaction(r293,h).
1547registration_satisfaction(r294,h).
1548registration_satisfaction(r295,m).
1549registration_satisfaction(r296,l).
1550registration_satisfaction(r297,h).
1551registration_satisfaction(r298,h).
1552registration_satisfaction(r299,h).
1553registration_satisfaction(r300,l).
1554registration_satisfaction(r301,h).
1555registration_satisfaction(r302,m).
1556registration_satisfaction(r303,h).
1557registration_satisfaction(r304,h).
1558registration_satisfaction(r305,l).
1559registration_satisfaction(r306,h).
1560registration_satisfaction(r307,l).
1561registration_satisfaction(r308,l).
1562registration_satisfaction(r309,m).
1563registration_satisfaction(r310,h).
1564registration_satisfaction(r311,l).
1565registration_satisfaction(r312,h).
1566registration_satisfaction(r313,h).
1567registration_satisfaction(r314,h).
1568registration_satisfaction(r315,h).
1569registration_satisfaction(r316,l).
1570registration_satisfaction(r317,l).
1571registration_satisfaction(r318,h).
1572registration_satisfaction(r319,m).
1573registration_satisfaction(r320,h).
1574registration_satisfaction(r321,l).
1575registration_satisfaction(r322,h).
1576registration_satisfaction(r323,l).
1577registration_satisfaction(r324,h).
1578registration_satisfaction(r325,h).
1579registration_satisfaction(r326,h).
1580registration_satisfaction(r327,m).
1581registration_satisfaction(r328,h).
1582registration_satisfaction(r329,h).
1583registration_satisfaction(r330,l).
1584registration_satisfaction(r331,h).
1585registration_satisfaction(r332,l).
1586registration_satisfaction(r333,h).
1587registration_satisfaction(r334,h).
1588registration_satisfaction(r335,h).
1589registration_satisfaction(r336,m).
1590registration_satisfaction(r337,h).
1591registration_satisfaction(r338,h).
1592registration_satisfaction(r339,h).
1593registration_satisfaction(r340,h).
1594registration_satisfaction(r341,l).
1595registration_satisfaction(r342,h).
1596registration_satisfaction(r343,h).
1597registration_satisfaction(r344,h).
1598registration_satisfaction(r345,m).
1599registration_satisfaction(r346,h).
1600registration_satisfaction(r347,m).
1601registration_satisfaction(r348,m).
1602registration_satisfaction(r349,h).
1603registration_satisfaction(r350,m).
1604registration_satisfaction(r351,h).
1605registration_satisfaction(r352,l).
1606registration_satisfaction(r353,h).
1607registration_satisfaction(r354,h).
1608registration_satisfaction(r355,h).
1609registration_satisfaction(r356,m).
1610registration_satisfaction(r357,m).
1611registration_satisfaction(r358,h).
1612registration_satisfaction(r359,l).
1613registration_satisfaction(r360,h).
1614registration_satisfaction(r361,m).
1615registration_satisfaction(r362,h).
1616registration_satisfaction(r363,l).
1617registration_satisfaction(r364,h).
1618registration_satisfaction(r365,m).
1619registration_satisfaction(r366,h).
1620registration_satisfaction(r367,h).
1621registration_satisfaction(r368,h).
1622registration_satisfaction(r369,h).
1623registration_satisfaction(r370,h).
1624registration_satisfaction(r371,h).
1625registration_satisfaction(r372,h).
1626registration_satisfaction(r373,h).
1627registration_satisfaction(r374,l).
1628registration_satisfaction(r375,h).
1629registration_satisfaction(r376,m).
1630registration_satisfaction(r377,h).
1631registration_satisfaction(r378,h).
1632registration_satisfaction(r379,h).
1633registration_satisfaction(r380,h).
1634registration_satisfaction(r381,m).
1635registration_satisfaction(r382,h).
1636registration_satisfaction(r383,h).
1637registration_satisfaction(r384,m).
1638registration_satisfaction(r385,m).
1639registration_satisfaction(r386,l).
1640registration_satisfaction(r387,h).
1641registration_satisfaction(r388,h).
1642registration_satisfaction(r389,h).
1643registration_satisfaction(r390,h).
1644registration_satisfaction(r391,l).
1645registration_satisfaction(r392,h).
1646registration_satisfaction(r393,h).
1647registration_satisfaction(r394,h).
1648registration_satisfaction(r395,h).
1649registration_satisfaction(r396,h).
1650registration_satisfaction(r397,h).
1651registration_satisfaction(r398,l).
1652registration_satisfaction(r399,h).
1653registration_satisfaction(r400,h).
1654registration_satisfaction(r401,l).
1655registration_satisfaction(r402,h).
1656registration_satisfaction(r403,h).
1657registration_satisfaction(r404,h).
1658registration_satisfaction(r405,h).
1659registration_satisfaction(r406,h).
1660registration_satisfaction(r407,h).
1661registration_satisfaction(r408,h).
1662registration_satisfaction(r409,h).
1663registration_satisfaction(r410,h).
1664registration_satisfaction(r411,l).
1665registration_satisfaction(r412,h).
1666registration_satisfaction(r413,l).
1667registration_satisfaction(r414,h).
1668registration_satisfaction(r415,m).
1669registration_satisfaction(r416,h).
1670registration_satisfaction(r417,h).
1671registration_satisfaction(r418,h).
1672registration_satisfaction(r419,h).
1673registration_satisfaction(r420,h).
1674registration_satisfaction(r421,h).
1675registration_satisfaction(r422,m).
1676registration_satisfaction(r423,h).
1677registration_satisfaction(r424,h).
1678registration_satisfaction(r425,h).
1679registration_satisfaction(r426,l).
1680registration_satisfaction(r427,h).
1681registration_satisfaction(r428,h).
1682registration_satisfaction(r429,h).
1683registration_satisfaction(r430,l).
1684registration_satisfaction(r431,m).
1685registration_satisfaction(r432,h).
1686registration_satisfaction(r433,h).
1687registration_satisfaction(r434,h).
1688registration_satisfaction(r435,m).
1689registration_satisfaction(r436,h).
1690registration_satisfaction(r437,h).
1691registration_satisfaction(r438,l).
1692registration_satisfaction(r439,h).
1693registration_satisfaction(r440,h).
1694registration_satisfaction(r441,h).
1695registration_satisfaction(r442,m).
1696registration_satisfaction(r443,h).
1697registration_satisfaction(r444,h).
1698registration_satisfaction(r445,h).
1699registration_satisfaction(r446,h).
1700registration_satisfaction(r447,m).
1701registration_satisfaction(r448,l).
1702registration_satisfaction(r449,h).
1703registration_satisfaction(r450,h).
1704registration_satisfaction(r451,h).
1705registration_satisfaction(r452,h).
1706registration_satisfaction(r453,h).
1707registration_satisfaction(r454,l).
1708registration_satisfaction(r455,m).
1709registration_satisfaction(r456,h).
1710registration_satisfaction(r457,h).
1711registration_satisfaction(r458,m).
1712registration_satisfaction(r459,m).
1713registration_satisfaction(r460,l).
1714registration_satisfaction(r461,h).
1715registration_satisfaction(r462,h).
1716registration_satisfaction(r463,l).
1717registration_satisfaction(r464,h).
1718registration_satisfaction(r465,h).
1719registration_satisfaction(r466,l).
1720registration_satisfaction(r467,h).
1721registration_satisfaction(r468,h).
1722registration_satisfaction(r469,h).
1723registration_satisfaction(r470,h).
1724registration_satisfaction(r471,h).
1725registration_satisfaction(r472,h).
1726registration_satisfaction(r473,l).
1727registration_satisfaction(r474,m).
1728registration_satisfaction(r475,h).
1729registration_satisfaction(r476,l).
1730registration_satisfaction(r477,m).
1731registration_satisfaction(r478,h).
1732registration_satisfaction(r479,l).
1733registration_satisfaction(r480,h).
1734registration_satisfaction(r481,m).
1735registration_satisfaction(r482,h).
1736registration_satisfaction(r483,h).
1737registration_satisfaction(r484,m).
1738registration_satisfaction(r485,h).
1739registration_satisfaction(r486,h).
1740registration_satisfaction(r487,h).
1741registration_satisfaction(r488,l).
1742registration_satisfaction(r489,m).
1743registration_satisfaction(r490,m).
1744registration_satisfaction(r491,l).
1745registration_satisfaction(r492,h).
1746registration_satisfaction(r493,h).
1747registration_satisfaction(r494,m).
1748registration_satisfaction(r495,h).
1749registration_satisfaction(r496,h).
1750registration_satisfaction(r497,h).
1751registration_satisfaction(r498,l).
1752registration_satisfaction(r499,h).
1753registration_satisfaction(r500,m).
1754registration_satisfaction(r501,h).
1755registration_satisfaction(r502,h).
1756registration_satisfaction(r503,l).
1757registration_satisfaction(r504,m).
1758registration_satisfaction(r505,h).
1759registration_satisfaction(r506,h).
1760registration_satisfaction(r507,h).
1761registration_satisfaction(r508,l).
1762registration_satisfaction(r509,m).
1763registration_satisfaction(r510,h).
1764registration_satisfaction(r511,l).
1765registration_satisfaction(r512,h).
1766registration_satisfaction(r513,h).
1767registration_satisfaction(r514,h).
1768registration_satisfaction(r515,l).
1769registration_satisfaction(r516,h).
1770registration_satisfaction(r517,m).
1771registration_satisfaction(r518,h).
1772registration_satisfaction(r519,h).
1773registration_satisfaction(r520,h).
1774registration_satisfaction(r521,h).
1775registration_satisfaction(r522,h).
1776registration_satisfaction(r523,h).
1777registration_satisfaction(r524,h).
1778registration_satisfaction(r525,l).
1779registration_satisfaction(r526,h).
1780registration_satisfaction(r527,l).
1781registration_satisfaction(r528,h).
1782registration_satisfaction(r529,h).
1783registration_satisfaction(r530,h).
1784registration_satisfaction(r531,m).
1785registration_satisfaction(r532,h).
1786registration_satisfaction(r533,h).
1787registration_satisfaction(r534,l).
1788registration_satisfaction(r535,m).
1789registration_satisfaction(r536,h).
1790registration_satisfaction(r537,h).
1791registration_satisfaction(r538,h).
1792registration_satisfaction(r539,h).
1793registration_satisfaction(r540,m).
1794registration_satisfaction(r541,h).
1795registration_satisfaction(r542,h).
1796registration_satisfaction(r543,h).
1797registration_satisfaction(r544,h).
1798registration_satisfaction(r545,h).
1799registration_satisfaction(r546,h).
1800registration_satisfaction(r547,l).
1801registration_satisfaction(r548,h).
1802registration_satisfaction(r549,h).
1803registration_satisfaction(r550,h).
1804registration_satisfaction(r551,h).
1805registration_satisfaction(r552,m).
1806registration_satisfaction(r553,m).
1807registration_satisfaction(r554,l).
1808registration_satisfaction(r555,m).
1809registration_satisfaction(r556,h).
1810registration_satisfaction(r557,h).
1811registration_satisfaction(r558,h).
1812registration_satisfaction(r559,h).
1813registration_satisfaction(r560,h).
1814registration_satisfaction(r561,h).
1815registration_satisfaction(r562,h).
1816registration_satisfaction(r563,m).
1817registration_satisfaction(r564,h).
1818registration_satisfaction(r565,l).
1819registration_satisfaction(r566,l).
1820registration_satisfaction(r567,h).
1821registration_satisfaction(r568,h).
1822registration_satisfaction(r569,h).
1823registration_satisfaction(r570,h).
1824registration_satisfaction(r571,l).
1825registration_satisfaction(r572,m).
1826registration_satisfaction(r573,h).
1827registration_satisfaction(r574,m).
1828registration_satisfaction(r575,h).
1829registration_satisfaction(r576,h).
1830registration_satisfaction(r577,h).
1831registration_satisfaction(r578,l).
1832registration_satisfaction(r579,h).
1833registration_satisfaction(r580,m).
1834registration_satisfaction(r581,h).
1835registration_satisfaction(r582,h).
1836registration_satisfaction(r583,h).
1837registration_satisfaction(r584,h).
1838registration_satisfaction(r585,h).
1839registration_satisfaction(r586,m).
1840registration_satisfaction(r587,m).
1841registration_satisfaction(r588,l).
1842registration_satisfaction(r589,l).
1843registration_satisfaction(r590,h).
1844registration_satisfaction(r591,h).
1845registration_satisfaction(r592,h).
1846registration_satisfaction(r593,h).
1847registration_satisfaction(r594,l).
1848registration_satisfaction(r595,m).
1849registration_satisfaction(r596,h).
1850registration_satisfaction(r597,h).
1851registration_satisfaction(r598,h).
1852registration_satisfaction(r599,h).
1853registration_satisfaction(r600,m).
1854registration_satisfaction(r601,m).
1855registration_satisfaction(r602,h).
1856registration_satisfaction(r603,h).
1857registration_satisfaction(r604,l).
1858registration_satisfaction(r605,h).
1859registration_satisfaction(r606,h).
1860registration_satisfaction(r607,l).
1861registration_satisfaction(r608,h).
1862registration_satisfaction(r609,h).
1863registration_satisfaction(r610,h).
1864registration_satisfaction(r611,h).
1865registration_satisfaction(r612,l).
1866registration_satisfaction(r613,h).
1867registration_satisfaction(r614,m).
1868registration_satisfaction(r615,l).
1869registration_satisfaction(r616,h).
1870registration_satisfaction(r617,h).
1871registration_satisfaction(r618,h).
1872registration_satisfaction(r619,h).
1873registration_satisfaction(r620,h).
1874registration_satisfaction(r621,h).
1875registration_satisfaction(r622,h).
1876registration_satisfaction(r623,l).
1877registration_satisfaction(r624,m).
1878registration_satisfaction(r625,l).
1879registration_satisfaction(r626,h).
1880registration_satisfaction(r627,h).
1881registration_satisfaction(r628,h).
1882registration_satisfaction(r629,h).
1883registration_satisfaction(r630,h).
1884registration_satisfaction(r631,h).
1885registration_satisfaction(r632,h).
1886registration_satisfaction(r633,h).
1887registration_satisfaction(r634,h).
1888registration_satisfaction(r635,m).
1889registration_satisfaction(r636,l).
1890registration_satisfaction(r637,m).
1891registration_satisfaction(r638,h).
1892registration_satisfaction(r639,h).
1893registration_satisfaction(r640,h).
1894registration_satisfaction(r641,h).
1895registration_satisfaction(r642,h).
1896registration_satisfaction(r643,h).
1897registration_satisfaction(r644,h).
1898registration_satisfaction(r645,h).
1899registration_satisfaction(r646,h).
1900registration_satisfaction(r647,h).
1901registration_satisfaction(r648,h).
1902registration_satisfaction(r649,h).
1903registration_satisfaction(r650,h).
1904registration_satisfaction(r651,h).
1905registration_satisfaction(r652,m).
1906registration_satisfaction(r653,l).
1907registration_satisfaction(r654,h).
1908registration_satisfaction(r655,h).
1909registration_satisfaction(r656,m).
1910registration_satisfaction(r657,h).
1911registration_satisfaction(r658,h).
1912registration_satisfaction(r659,h).
1913registration_satisfaction(r660,h).
1914registration_satisfaction(r661,h).
1915registration_satisfaction(r662,h).
1916registration_satisfaction(r663,h).
1917registration_satisfaction(r664,l).
1918registration_satisfaction(r665,h).
1919registration_satisfaction(r666,l).
1920registration_satisfaction(r667,h).
1921registration_satisfaction(r668,l).
1922registration_satisfaction(r669,h).
1923registration_satisfaction(r670,h).
1924registration_satisfaction(r671,h).
1925registration_satisfaction(r672,l).
1926registration_satisfaction(r673,l).
1927registration_satisfaction(r674,h).
1928registration_satisfaction(r675,l).
1929registration_satisfaction(r676,h).
1930registration_satisfaction(r677,h).
1931registration_satisfaction(r678,h).
1932registration_satisfaction(r679,h).
1933registration_satisfaction(r680,m).
1934registration_satisfaction(r681,h).
1935registration_satisfaction(r682,h).
1936registration_satisfaction(r683,h).
1937registration_satisfaction(r684,m).
1938registration_satisfaction(r685,h).
1939registration_satisfaction(r686,h).
1940registration_satisfaction(r687,l).
1941registration_satisfaction(r688,h).
1942registration_satisfaction(r689,m).
1943registration_satisfaction(r690,h).
1944registration_satisfaction(r691,h).
1945registration_satisfaction(r692,h).
1946registration_satisfaction(r693,h).
1947registration_satisfaction(r694,h).
1948registration_satisfaction(r695,h).
1949registration_satisfaction(r696,h).
1950registration_satisfaction(r697,m).
1951registration_satisfaction(r698,h).
1952registration_satisfaction(r699,h).
1953registration_satisfaction(r700,h).
1954registration_satisfaction(r701,h).
1955registration_satisfaction(r702,h).
1956registration_satisfaction(r703,l).
1957registration_satisfaction(r704,l).
1958registration_satisfaction(r705,l).
1959registration_satisfaction(r706,m).
1960registration_satisfaction(r707,h).
1961registration_satisfaction(r708,l).
1962registration_satisfaction(r709,m).
1963registration_satisfaction(r710,l).
1964registration_satisfaction(r711,h).
1965registration_satisfaction(r712,h).
1966registration_satisfaction(r713,h).
1967registration_satisfaction(r714,m).
1968registration_satisfaction(r715,h).
1969registration_satisfaction(r716,h).
1970registration_satisfaction(r717,h).
1971registration_satisfaction(r718,l).
1972registration_satisfaction(r719,l).
1973registration_satisfaction(r720,h).
1974registration_satisfaction(r721,h).
1975registration_satisfaction(r722,h).
1976registration_satisfaction(r723,h).
1977registration_satisfaction(r724,h).
1978registration_satisfaction(r725,h).
1979registration_satisfaction(r726,h).
1980registration_satisfaction(r727,h).
1981registration_satisfaction(r728,m).
1982registration_satisfaction(r729,h).
1983registration_satisfaction(r730,h).
1984registration_satisfaction(r731,h).
1985registration_satisfaction(r732,h).
1986registration_satisfaction(r733,h).
1987registration_satisfaction(r734,h).
1988registration_satisfaction(r735,h).
1989registration_satisfaction(r736,h).
1990registration_satisfaction(r737,h).
1991registration_satisfaction(r738,h).
1992registration_satisfaction(r739,h).
1993registration_satisfaction(r740,h).
1994registration_satisfaction(r741,h).
1995registration_satisfaction(r742,h).
1996registration_satisfaction(r743,h).
1997registration_satisfaction(r744,h).
1998registration_satisfaction(r745,m).
1999registration_satisfaction(r746,h).
2000registration_satisfaction(r747,h).
2001registration_satisfaction(r748,h).
2002registration_satisfaction(r749,m).
2003registration_satisfaction(r750,h).
2004registration_satisfaction(r751,h).
2005registration_satisfaction(r752,m).
2006registration_satisfaction(r753,m).
2007registration_satisfaction(r754,h).
2008registration_satisfaction(r755,l).
2009registration_satisfaction(r756,h).
2010registration_satisfaction(r757,h).
2011registration_satisfaction(r758,h).
2012registration_satisfaction(r759,l).
2013registration_satisfaction(r760,h).
2014registration_satisfaction(r761,h).
2015registration_satisfaction(r762,m).
2016registration_satisfaction(r763,h).
2017registration_satisfaction(r764,h).
2018registration_satisfaction(r765,h).
2019registration_satisfaction(r766,h).
2020registration_satisfaction(r767,h).
2021registration_satisfaction(r768,l).
2022registration_satisfaction(r769,l).
2023registration_satisfaction(r770,m).
2024registration_satisfaction(r771,m).
2025registration_satisfaction(r772,h).
2026registration_satisfaction(r773,m).
2027registration_satisfaction(r774,h).
2028registration_satisfaction(r775,h).
2029registration_satisfaction(r776,h).
2030registration_satisfaction(r777,l).
2031registration_satisfaction(r778,h).
2032registration_satisfaction(r779,h).
2033registration_satisfaction(r780,h).
2034registration_satisfaction(r781,m).
2035registration_satisfaction(r782,m).
2036registration_satisfaction(r783,m).
2037registration_satisfaction(r784,l).
2038registration_satisfaction(r785,l).
2039registration_satisfaction(r786,h).
2040registration_satisfaction(r787,h).
2041registration_satisfaction(r788,h).
2042registration_satisfaction(r789,h).
2043registration_satisfaction(r790,h).
2044registration_satisfaction(r791,h).
2045registration_satisfaction(r792,h).
2046registration_satisfaction(r793,m).
2047registration_satisfaction(r794,l).
2048registration_satisfaction(r795,h).
2049registration_satisfaction(r796,h).
2050registration_satisfaction(r797,h).
2051registration_satisfaction(r798,m).
2052registration_satisfaction(r799,m).
2053registration_satisfaction(r800,m).
2054registration_satisfaction(r801,h).
2055registration_satisfaction(r802,h).
2056registration_satisfaction(r803,h).
2057registration_satisfaction(r804,h).
2058registration_satisfaction(r805,h).
2059registration_satisfaction(r806,h).
2060registration_satisfaction(r807,l).
2061registration_satisfaction(r808,m).
2062registration_satisfaction(r809,l).
2063registration_satisfaction(r810,h).
2064registration_satisfaction(r811,l).
2065registration_satisfaction(r812,h).
2066registration_satisfaction(r813,m).
2067registration_satisfaction(r814,l).
2068registration_satisfaction(r815,h).
2069registration_satisfaction(r816,h).
2070registration_satisfaction(r817,h).
2071registration_satisfaction(r818,l).
2072registration_satisfaction(r819,h).
2073registration_satisfaction(r820,h).
2074registration_satisfaction(r821,m).
2075registration_satisfaction(r822,m).
2076registration_satisfaction(r823,h).
2077registration_satisfaction(r824,m).
2078registration_satisfaction(r825,l).
2079registration_satisfaction(r826,l).
2080registration_satisfaction(r827,l).
2081registration_satisfaction(r828,m).
2082registration_satisfaction(r829,l).
2083registration_satisfaction(r830,h).
2084registration_satisfaction(r831,h).
2085registration_satisfaction(r832,m).
2086registration_satisfaction(r833,h).
2087registration_satisfaction(r834,h).
2088registration_satisfaction(r835,h).
2089registration_satisfaction(r836,h).
2090registration_satisfaction(r837,h).
2091registration_satisfaction(r838,l).
2092registration_satisfaction(r839,m).
2093registration_satisfaction(r840,m).
2094registration_satisfaction(r841,h).
2095registration_satisfaction(r842,h).
2096registration_satisfaction(r843,h).
2097registration_satisfaction(r844,h).
2098registration_satisfaction(r845,l).
2099registration_satisfaction(r846,l).
2100registration_satisfaction(r847,h).
2101registration_satisfaction(r848,l).
2102registration_satisfaction(r849,h).
2103registration_satisfaction(r850,h).
2104registration_satisfaction(r851,h).
2105registration_satisfaction(r852,h).
2106registration_satisfaction(r853,h).
2107registration_satisfaction(r854,m).
2108registration_satisfaction(r855,h).
2109registration_satisfaction(r856,l).
2110
2111
2112course_rating(c0,m).
2113course_rating(c1,l).
2114course_rating(c2,m).
2115course_rating(c3,h).
2116course_rating(c4,h).
2117course_rating(c5,m).
2118course_rating(c6,h).
2119course_rating(c7,h).
2120course_rating(c8,m).
2121course_rating(c9,m).
2122course_rating(c10,m).
2123course_rating(c11,h).
2124course_rating(c12,m).
2125course_rating(c13,h).
2126course_rating(c14,h).
2127course_rating(c15,m).
2128course_rating(c16,h).
2129course_rating(c17,m).
2130course_rating(c18,h).
2131course_rating(c19,h).
2132course_rating(c20,h).
2133course_rating(c21,m).
2134course_rating(c22,h).
2135course_rating(c23,h).
2136course_rating(c24,m).
2137course_rating(c25,h).
2138course_rating(c26,m).
2139course_rating(c27,h).
2140course_rating(c28,m).
2141course_rating(c29,m).
2142course_rating(c30,h).
2143course_rating(c31,h).
2144course_rating(c32,h).
2145course_rating(c33,m).
2146course_rating(c34,h).
2147course_rating(c35,m).
2148course_rating(c36,h).
2149course_rating(c37,m).
2150course_rating(c38,m).
2151course_rating(c39,h).
2152course_rating(c40,m).
2153course_rating(c41,m).
2154course_rating(c42,h).
2155course_rating(c43,h).
2156course_rating(c44,h).
2157course_rating(c45,h).
2158course_rating(c46,l).
2159course_rating(c47,h).
2160course_rating(c48,h).
2161course_rating(c49,m).
2162course_rating(c50,l).
2163course_rating(c51,m).
2164course_rating(c52,h).
2165course_rating(c53,l).
2166course_rating(c54,h).
2167course_rating(c55,h).
2168course_rating(c56,h).
2169course_rating(c57,h).
2170course_rating(c58,l).
2171course_rating(c59,h).
2172course_rating(c60,h).
2173course_rating(c61,h).
2174course_rating(c62,h).
2175course_rating(c63,h).
2176
2177
2178student_ranking(s0,b).
2179student_ranking(s1,c).
2180student_ranking(s2,a).
2181student_ranking(s3,a).
2182student_ranking(s4,a).
2183student_ranking(s5,b).
2184student_ranking(s6,c).
2185student_ranking(s7,a).
2186student_ranking(s8,a).
2187student_ranking(s9,c).
2188student_ranking(s10,b).
2189student_ranking(s11,b).
2190student_ranking(s12,b).
2191student_ranking(s13,b).
2192student_ranking(s14,a).
2193student_ranking(s15,c).
2194student_ranking(s16,b).
2195student_ranking(s17,c).
2196student_ranking(s18,b).
2197student_ranking(s19,a).
2198student_ranking(s20,b).
2199student_ranking(s21,b).
2200student_ranking(s22,b).
2201student_ranking(s23,b).
2202student_ranking(s24,a).
2203student_ranking(s25,a).
2204student_ranking(s26,b).
2205student_ranking(s27,c).
2206student_ranking(s28,b).
2207student_ranking(s29,b).
2208student_ranking(s30,a).
2209student_ranking(s31,b).
2210student_ranking(s32,b).
2211student_ranking(s33,a).
2212student_ranking(s34,c).
2213student_ranking(s35,b).
2214student_ranking(s36,b).
2215student_ranking(s37,b).
2216student_ranking(s38,a).
2217student_ranking(s39,a).
2218student_ranking(s40,a).
2219student_ranking(s41,b).
2220student_ranking(s42,b).
2221student_ranking(s43,a).
2222student_ranking(s44,a).
2223student_ranking(s45,a).
2224student_ranking(s46,c).
2225student_ranking(s47,a).
2226student_ranking(s48,b).
2227student_ranking(s49,b).
2228student_ranking(s50,a).
2229student_ranking(s51,b).
2230student_ranking(s52,c).
2231student_ranking(s53,b).
2232student_ranking(s54,b).
2233student_ranking(s55,a).
2234student_ranking(s56,b).
2235student_ranking(s57,b).
2236student_ranking(s58,a).
2237student_ranking(s59,b).
2238student_ranking(s60,a).
2239student_ranking(s61,b).
2240student_ranking(s62,b).
2241student_ranking(s63,a).
2242student_ranking(s64,b).
2243student_ranking(s65,b).
2244student_ranking(s66,b).
2245student_ranking(s67,c).
2246student_ranking(s68,b).
2247student_ranking(s69,b).
2248student_ranking(s70,c).
2249student_ranking(s71,c).
2250student_ranking(s72,a).
2251student_ranking(s73,b).
2252student_ranking(s74,a).
2253student_ranking(s75,b).
2254student_ranking(s76,b).
2255student_ranking(s77,a).
2256student_ranking(s78,b).
2257student_ranking(s79,b).
2258student_ranking(s80,b).
2259student_ranking(s81,b).
2260student_ranking(s82,a).
2261student_ranking(s83,a).
2262student_ranking(s84,b).
2263student_ranking(s85,a).
2264student_ranking(s86,c).
2265student_ranking(s87,a).
2266student_ranking(s88,a).
2267student_ranking(s89,b).
2268student_ranking(s90,a).
2269student_ranking(s91,c).
2270student_ranking(s92,a).
2271student_ranking(s93,c).
2272student_ranking(s94,c).
2273student_ranking(s95,b).
2274student_ranking(s96,b).
2275student_ranking(s97,b).
2276student_ranking(s98,a).
2277student_ranking(s99,b).
2278student_ranking(s100,b).
2279student_ranking(s101,b).
2280student_ranking(s102,a).
2281student_ranking(s103,a).
2282student_ranking(s104,c).
2283student_ranking(s105,b).
2284student_ranking(s106,a).
2285student_ranking(s107,c).
2286student_ranking(s108,b).
2287student_ranking(s109,b).
2288student_ranking(s110,b).
2289student_ranking(s111,a).
2290student_ranking(s112,b).
2291student_ranking(s113,b).
2292student_ranking(s114,c).
2293student_ranking(s115,a).
2294student_ranking(s116,b).
2295student_ranking(s117,b).
2296student_ranking(s118,b).
2297student_ranking(s119,a).
2298student_ranking(s120,a).
2299student_ranking(s121,a).
2300student_ranking(s122,a).
2301student_ranking(s123,c).
2302student_ranking(s124,a).
2303student_ranking(s125,b).
2304student_ranking(s126,b).
2305student_ranking(s127,c).
2306student_ranking(s128,c).
2307student_ranking(s129,b).
2308student_ranking(s130,b).
2309student_ranking(s131,b).
2310student_ranking(s132,a).
2311student_ranking(s133,c).
2312student_ranking(s134,a).
2313student_ranking(s135,c).
2314student_ranking(s136,b).
2315student_ranking(s137,b).
2316student_ranking(s138,b).
2317student_ranking(s139,a).
2318student_ranking(s140,b).
2319student_ranking(s141,b).
2320student_ranking(s142,b).
2321student_ranking(s143,c).
2322student_ranking(s144,a).
2323student_ranking(s145,a).
2324student_ranking(s146,c).
2325student_ranking(s147,b).
2326student_ranking(s148,c).
2327student_ranking(s149,b).
2328student_ranking(s150,c).
2329student_ranking(s151,b).
2330student_ranking(s152,a).
2331student_ranking(s153,c).
2332student_ranking(s154,a).
2333student_ranking(s155,b).
2334student_ranking(s156,b).
2335student_ranking(s157,b).
2336student_ranking(s158,a).
2337student_ranking(s159,b).
2338student_ranking(s160,a).
2339student_ranking(s161,b).
2340student_ranking(s162,a).
2341student_ranking(s163,b).
2342student_ranking(s164,b).
2343student_ranking(s165,b).
2344student_ranking(s166,b).
2345student_ranking(s167,b).
2346student_ranking(s168,a).
2347student_ranking(s169,c).
2348student_ranking(s170,b).
2349student_ranking(s171,b).
2350student_ranking(s172,a).
2351student_ranking(s173,a).
2352student_ranking(s174,a).
2353student_ranking(s175,c).
2354student_ranking(s176,b).
2355student_ranking(s177,b).
2356student_ranking(s178,a).
2357student_ranking(s179,a).
2358student_ranking(s180,b).
2359student_ranking(s181,a).
2360student_ranking(s182,b).
2361student_ranking(s183,a).
2362student_ranking(s184,a).
2363student_ranking(s185,b).
2364student_ranking(s186,b).
2365student_ranking(s187,b).
2366student_ranking(s188,a).
2367student_ranking(s189,c).
2368student_ranking(s190,b).
2369student_ranking(s191,c).
2370student_ranking(s192,a).
2371student_ranking(s193,b).
2372student_ranking(s194,b).
2373student_ranking(s195,c).
2374student_ranking(s196,a).
2375student_ranking(s197,a).
2376student_ranking(s198,b).
2377student_ranking(s199,b).
2378student_ranking(s200,b).
2379student_ranking(s201,b).
2380student_ranking(s202,a).
2381student_ranking(s203,b).
2382student_ranking(s204,b).
2383student_ranking(s205,b).
2384student_ranking(s206,b).
2385student_ranking(s207,a).
2386student_ranking(s208,b).
2387student_ranking(s209,a).
2388student_ranking(s210,c).
2389student_ranking(s211,b).
2390student_ranking(s212,a).
2391student_ranking(s213,a).
2392student_ranking(s214,b).
2393student_ranking(s215,b).
2394student_ranking(s216,b).
2395student_ranking(s217,b).
2396student_ranking(s218,a).
2397student_ranking(s219,b).
2398student_ranking(s220,a).
2399student_ranking(s221,c).
2400student_ranking(s222,a).
2401student_ranking(s223,b).
2402student_ranking(s224,c).
2403student_ranking(s225,c).
2404student_ranking(s226,a).
2405student_ranking(s227,a).
2406student_ranking(s228,b).
2407student_ranking(s229,c).
2408student_ranking(s230,b).
2409student_ranking(s231,a).
2410student_ranking(s232,c).
2411student_ranking(s233,b).
2412student_ranking(s234,c).
2413student_ranking(s235,b).
2414student_ranking(s236,b).
2415student_ranking(s237,a).
2416student_ranking(s238,a).
2417student_ranking(s239,b).
2418student_ranking(s240,a).
2419student_ranking(s241,b).
2420student_ranking(s242,c).
2421student_ranking(s243,b).
2422student_ranking(s244,c).
2423student_ranking(s245,b).
2424student_ranking(s246,b).
2425student_ranking(s247,b).
2426student_ranking(s248,b).
2427student_ranking(s249,b).
2428student_ranking(s250,c).
2429student_ranking(s251,a).
2430student_ranking(s252,b).
2431student_ranking(s253,b).
2432student_ranking(s254,b).
2433student_ranking(s255,c).
2434