% enrolled(Student,School,Units).
% Student is enrolled for Units at School

enrolled(student10,ucb,2).
enrolled(student18,ucsd,4).
enrolled(student20,ucsd,3).
enrolled(student35,ucsd,4).
enrolled(student44,ucsd,1).
enrolled(student47,ucsd,2).
enrolled(student60,ucsd,3).
enrolled(student78,ucb,1).
enrolled(student87,ucsd,3).
enrolled(student101,ucb,1).
enrolled(student107,ucsd,2).
enrolled(student111,ucsd,4).
enrolled(student131,ucsd,2).
enrolled(student161,ucsd,1).
enrolled(student186,ucsd,3).
enrolled(student187,ucb,4).
enrolled(student206,ucsd,4).
enrolled(student212,ucb,4).
enrolled(student218,ucsd,4).
enrolled(student221,ucb,4).
enrolled(student240,ucb,2).
enrolled(student245,ucsd,2).
enrolled(student258,ucsd,1).
enrolled(student268,ucsd,4).
enrolled(student287,ucsd,1).
enrolled(student289,ucb,1).
enrolled(student290,ucsd,3).
enrolled(student292,ucsd,1).
enrolled(student298,ucb,3).
enrolled(student299,ucsd,3).
enrolled(student343,ucsd,4).
enrolled(student348,ucsd,4).
enrolled(student363,ucb,2).
enrolled(student374,ucsd,2).
enrolled(student379,ucb,1).
enrolled(student413,ucb,4).
enrolled(student457,ucsd,3).
enrolled(student463,ucsd,3).
enrolled(student483,ucsd,3).
enrolled(student487,ucsd,4).
enrolled(student501,ucb,4).
enrolled(student513,ucsd,4).
enrolled(student514,ucsd,2).
enrolled(student518,ucsd,4).
enrolled(student525,ucb,3).
enrolled(student528,ucsd,3).
enrolled(student532,ucb,1).
enrolled(student535,ucsd,4).
enrolled(student551,ucb,4).
enrolled(student552,ucsd,1).
enrolled(student564,ucsd,1).
enrolled(student571,ucsd,2).
enrolled(student574,ucb,3).
enrolled(student604,ucsd,4).
enrolled(student623,ucsd,3).
enrolled(student675,ucsd,2).
enrolled(student722,ucsd,2).
enrolled(student726,ucsd,2).
enrolled(student737,ucsd,1).
enrolled(student756,ucb,2).
enrolled(student777,ucb,4).
enrolled(student791,ucsd,1).
enrolled(student796,ucsd,2).
enrolled(student810,ucsd,4).
enrolled(student816,ucb,1).
enrolled(student822,ucb,2).
enrolled(student829,ucsd,1).
enrolled(student844,ucsd,3).
enrolled(student845,ucsd,1).
enrolled(student851,ucb,3).
enrolled(student860,ucb,1).
enrolled(student876,ucsd,2).
enrolled(student900,ucsd,2).
enrolled(student912,ucb,4).
enrolled(student919,ucb,3).
enrolled(student925,ucb,1).
enrolled(student929,ucsd,4).
enrolled(student931,ucsd,3).
enrolled(student938,ucsd,2).
enrolled(student939,ucb,3).
enrolled(student954,ucsd,3).
enrolled(student960,ucb,1).
enrolled(student961,ucsd,2).
enrolled(student978,ucb,1).
enrolled(student982,ucb,4).
enrolled(student991,ucsd,2).
enrolled(student6,ucsd,3).
enrolled(student8,ucsd,4).
enrolled(student17,ucsd,1).
enrolled(student21,ucsd,3).
enrolled(student28,ucb,3).
enrolled(student31,ucsd,4).
enrolled(student32,ucsd,5).
enrolled(student41,ucsd,2).
enrolled(student43,ucb,3).
enrolled(student52,ucsd,3).
enrolled(student59,ucb,6).
enrolled(student62,ucb,6).
enrolled(student64,ucb,4).
enrolled(student68,ucb,1).
enrolled(student69,ucsd,3).
enrolled(student75,ucsd,4).
enrolled(student90,ucb,5).
enrolled(student91,ucsd,4).
enrolled(student92,ucb,4).
enrolled(student95,ucsd,4).
enrolled(student104,ucb,2).
enrolled(student109,ucsd,6).
enrolled(student114,ucb,4).
enrolled(student120,ucsd,2).
enrolled(student122,ucsd,1).
enrolled(student130,ucb,2).
enrolled(student142,ucsd,4).
enrolled(student147,ucsd,2).
enrolled(student150,ucsd,3).
enrolled(student154,ucb,1).
enrolled(student156,ucsd,3).
enrolled(student159,ucb,4).
enrolled(student162,ucb,5).
enrolled(student169,ucsd,2).
enrolled(student179,ucsd,5).
enrolled(student189,ucb,3).
enrolled(student193,ucsd,6).
enrolled(student213,ucsd,5).
enrolled(student214,ucsd,5).
enrolled(student225,ucsd,4).
enrolled(student227,ucb,6).
enrolled(student232,ucb,6).
enrolled(student233,ucsd,2).
enrolled(student241,ucb,3).
enrolled(student242,ucsd,3).
enrolled(student250,ucsd,5).
enrolled(student253,ucb,1).
enrolled(student255,ucsd,1).
enrolled(student263,ucsd,2).
enrolled(student267,ucsd,2).
enrolled(student271,ucsd,5).
enrolled(student275,ucsd,6).
enrolled(student279,ucsd,6).
enrolled(student301,ucsd,4).
enrolled(student308,ucsd,5).
enrolled(student309,ucsd,3).
enrolled(student314,ucsd,5).
enrolled(student316,ucsd,6).
enrolled(student339,ucb,3).
enrolled(student350,ucb,4).
enrolled(student359,ucsd,1).
enrolled(student367,ucsd,2).
enrolled(student369,ucsd,2).
enrolled(student370,ucb,4).
enrolled(student376,ucsd,6).
enrolled(student382,ucb,1).
enrolled(student385,ucb,6).
enrolled(student391,ucsd,4).
enrolled(student396,ucb,1).
enrolled(student399,ucsd,1).
enrolled(student403,ucsd,6).
enrolled(student411,ucb,3).
enrolled(student415,ucsd,1).
enrolled(student421,ucb,3).
enrolled(student440,ucsd,6).
enrolled(student441,ucsd,1).
enrolled(student450,ucsd,1).
enrolled(student470,ucsd,1).
enrolled(student472,ucsd,6).
enrolled(student477,ucsd,5).
enrolled(student481,ucsd,3).
enrolled(student486,ucsd,4).
enrolled(student497,ucsd,4).
enrolled(student498,ucsd,4).
enrolled(student500,ucb,4).
enrolled(student502,ucsd,3).
enrolled(student505,ucsd,5).
enrolled(student523,ucsd,2).
enrolled(student530,ucsd,6).
enrolled(student533,ucsd,4).
enrolled(student538,ucsd,6).
enrolled(student555,ucb,4).
enrolled(student576,ucsd,1).
enrolled(student578,ucb,4).
enrolled(student583,ucsd,1).
enrolled(student584,ucsd,6).
enrolled(student590,ucsd,4).
enrolled(student595,ucb,4).
enrolled(student598,ucb,5).
enrolled(student602,ucb,3).
enrolled(student605,ucsd,4).
enrolled(student606,ucsd,6).
enrolled(student609,ucsd,3).
enrolled(student612,ucsd,1).
enrolled(student615,ucsd,3).
enrolled(student619,ucb,6).
enrolled(student624,ucb,3).
enrolled(student628,ucb,1).
enrolled(student629,ucsd,1).
enrolled(student650,ucsd,5).
enrolled(student658,ucb,3).
enrolled(student670,ucsd,3).
enrolled(student678,ucsd,1).
enrolled(student680,ucsd,1).
enrolled(student682,ucb,5).
enrolled(student690,ucb,1).
enrolled(student698,ucsd,6).
enrolled(student702,ucb,4).
enrolled(student710,ucb,5).
enrolled(student723,ucb,1).
enrolled(student735,ucsd,6).
enrolled(student738,ucsd,5).
enrolled(student740,ucsd,2).
enrolled(student744,ucb,4).
enrolled(student753,ucsd,3).
enrolled(student769,ucsd,5).
enrolled(student773,ucsd,5).
enrolled(student778,ucsd,1).
enrolled(student785,ucsd,4).
enrolled(student787,ucsd,2).
enrolled(student792,ucsd,3).
enrolled(student798,ucb,3).
enrolled(student804,ucb,4).
enrolled(student812,ucsd,2).
enrolled(student825,ucsd,3).
enrolled(student832,ucsd,3).
enrolled(student835,ucb,6).
enrolled(student836,ucsd,6).
enrolled(student838,ucsd,2).
enrolled(student840,ucsd,5).
enrolled(student842,ucb,6).
enrolled(student850,ucsd,5).
enrolled(student858,ucb,2).
enrolled(student863,ucsd,5).
enrolled(student864,ucsd,1).
enrolled(student871,ucb,2).
enrolled(student879,ucb,3).
enrolled(student888,ucb,3).
enrolled(student890,ucb,6).
enrolled(student895,ucsd,1).
enrolled(student916,ucb,2).
enrolled(student923,ucsd,4).
enrolled(student924,ucsd,1).
enrolled(student927,ucsd,3).
enrolled(student936,ucb,6).
enrolled(student942,ucb,3).
enrolled(student946,ucsd,6).
enrolled(student948,ucsd,3).
enrolled(student953,ucsd,1).
enrolled(student959,ucb,3).
enrolled(student969,ucb,1).
enrolled(student975,ucsd,4).
enrolled(student983,ucsd,5).
enrolled(student984,ucsd,3).
enrolled(student992,ucsd,1).
enrolled(student993,ucb,6).
enrolled(student998,ucb,1).
enrolled(student1000,ucsd,5).
enrolled(student995,ucsd,3).
enrolled(student1000,occ,9).
enrolled(student999,smc,4).
enrolled(student998,smc,1).
enrolled(student997,occ,10).
enrolled(student996,smc,11).
enrolled(student995,uci,9).
enrolled(student994,uci,9).
enrolled(student992,smc,11).
enrolled(student991,occ,4).
enrolled(student990,smc,10).
enrolled(student989,ucla,12).
enrolled(student987,occ,12).
enrolled(student986,ucla,3).
enrolled(student985,ucla,1).
enrolled(student984,smc,8).
enrolled(student983,ucla,13).
enrolled(student982,smc,4).
enrolled(student981,occ,10).
enrolled(student980,ucla,8).
enrolled(student979,smc,7).
enrolled(student978,smc,7).
enrolled(student977,uci,11).
enrolled(student976,occ,11).
enrolled(student975,occ,2).
enrolled(student974,ucla,3).
enrolled(student973,ucla,1).
enrolled(student972,uci,10).
enrolled(student971,occ,2).
enrolled(student970,ucla,10).
enrolled(student969,uci,8).
enrolled(student968,smc,12).
enrolled(student967,uci,12).
enrolled(student966,uci,2).
enrolled(student965,ucla,3).
enrolled(student964,smc,11).
enrolled(student963,uci,11).
enrolled(student962,ucla,10).
enrolled(student961,uci,9).
enrolled(student960,smc,2).
enrolled(student959,ucla,12).
enrolled(student958,smc,6).
enrolled(student956,uci,5).
enrolled(student955,uci,12).
enrolled(student954,uci,4).
enrolled(student953,uci,7).
enrolled(student952,uci,2).
enrolled(student951,smc,3).
enrolled(student950,smc,7).
enrolled(student949,ucla,12).
enrolled(student948,occ,1).
enrolled(student947,smc,9).
enrolled(student946,uci,1).
enrolled(student945,uci,12).
enrolled(student944,ucla,2).
enrolled(student943,occ,7).
enrolled(student942,uci,4).
enrolled(student940,ucla,12).
enrolled(student938,occ,11).
enrolled(student937,smc,1).
enrolled(student936,uci,9).
enrolled(student935,ucla,7).
enrolled(student934,ucla,2).
enrolled(student933,smc,1).
enrolled(student932,ucla,4).
enrolled(student931,smc,2).
enrolled(student930,occ,11).
enrolled(student928,smc,8).
enrolled(student927,uci,12).
enrolled(student926,uci,9).
enrolled(student925,occ,10).
enrolled(student924,smc,5).
enrolled(student923,uci,10).
enrolled(student922,uci,4).
enrolled(student921,smc,2).
enrolled(student920,uci,12).
enrolled(student919,occ,4).
enrolled(student918,occ,11).
enrolled(student917,occ,6).
enrolled(student915,occ,2).
enrolled(student914,smc,4).
enrolled(student913,occ,8).
enrolled(student911,smc,10).
enrolled(student910,uci,12).
enrolled(student909,ucla,8).
enrolled(student908,ucla,11).
enrolled(student907,occ,7).
enrolled(student906,occ,8).
enrolled(student905,occ,13).
enrolled(student904,smc,11).
enrolled(student902,smc,4).
enrolled(student901,ucla,10).
enrolled(student900,uci,3).
enrolled(student899,uci,4).
enrolled(student898,smc,7).
enrolled(student897,smc,12).
enrolled(student896,ucla,10).
enrolled(student895,ucla,12).
enrolled(student894,smc,15).
enrolled(student893,smc,9).
enrolled(student892,occ,6).
enrolled(student891,ucla,5).
enrolled(student890,occ,10).
enrolled(student888,ucla,6).
enrolled(student887,uci,8).
enrolled(student886,smc,11).
enrolled(student885,occ,7).
enrolled(student884,occ,9).
enrolled(student883,smc,10).
enrolled(student882,smc,9).
enrolled(student881,ucla,10).
enrolled(student880,ucla,11).
enrolled(student879,smc,8).
enrolled(student878,ucla,1).
enrolled(student877,smc,10).
enrolled(student876,uci,4).
enrolled(student875,uci,2).
enrolled(student874,uci,7).
enrolled(student873,uci,9).
enrolled(student872,ucla,11).
enrolled(student871,smc,12).
enrolled(student870,uci,13).
enrolled(student869,smc,4).
enrolled(student868,uci,6).
enrolled(student867,occ,12).
enrolled(student866,ucla,6).
enrolled(student865,smc,6).
enrolled(student864,uci,9).
enrolled(student863,occ,8).
enrolled(student862,uci,1).
enrolled(student861,smc,2).
enrolled(student860,ucla,6).
enrolled(student859,occ,10).
enrolled(student858,uci,1).
enrolled(student857,occ,2).
enrolled(student856,smc,12).
enrolled(student855,ucla,9).
enrolled(student854,uci,2).
enrolled(student853,smc,6).
enrolled(student852,occ,10).
enrolled(student851,uci,5).
enrolled(student850,occ,12).
enrolled(student849,ucla,12).
enrolled(student848,uci,9).
enrolled(student847,uci,6).
enrolled(student846,occ,10).
enrolled(student845,uci,7).
enrolled(student844,ucla,7).
enrolled(student843,occ,3).
enrolled(student842,occ,15).
enrolled(student841,uci,9).
enrolled(student840,uci,11).
enrolled(student839,smc,10).
enrolled(student838,smc,2).
enrolled(student837,uci,3).
enrolled(student836,uci,2).
enrolled(student835,smc,2).
enrolled(student834,ucla,3).
enrolled(student833,ucla,6).
enrolled(student832,smc,14).
enrolled(student831,smc,11).
enrolled(student830,ucla,12).
enrolled(student829,uci,3).
enrolled(student828,ucla,5).
enrolled(student827,ucla,10).
enrolled(student826,ucla,5).
enrolled(student825,uci,9).
enrolled(student824,smc,7).
enrolled(student823,smc,1).
enrolled(student822,uci,4).
enrolled(student821,uci,11).
enrolled(student820,smc,10).
enrolled(student819,occ,10).
enrolled(student818,smc,1).
enrolled(student817,smc,4).
enrolled(student816,ucla,1).
enrolled(student814,smc,7).
enrolled(student813,ucla,7).
enrolled(student812,smc,2).
enrolled(student811,occ,3).
enrolled(student810,occ,1).
enrolled(student809,occ,11).
enrolled(student808,smc,10).
enrolled(student807,uci,3).
enrolled(student806,ucla,12).
enrolled(student805,occ,1).
enrolled(student803,smc,10).
enrolled(student802,smc,7).
enrolled(student801,occ,4).
enrolled(student800,occ,12).
enrolled(student798,occ,11).
enrolled(student797,uci,7).
enrolled(student796,smc,9).
enrolled(student795,smc,4).
enrolled(student794,ucla,10).
enrolled(student792,ucla,15).
enrolled(student791,occ,11).
enrolled(student790,smc,6).
enrolled(student789,uci,2).
enrolled(student788,uci,11).
enrolled(student787,ucla,8).
enrolled(student786,smc,1).
enrolled(student785,uci,9).
enrolled(student784,ucla,1).
enrolled(student783,occ,9).
enrolled(student782,ucla,5).
enrolled(student781,occ,7).
enrolled(student780,ucla,1).
enrolled(student779,occ,7).
enrolled(student778,occ,12).
enrolled(student777,occ,2).
enrolled(student776,uci,9).
enrolled(student775,ucla,6).
enrolled(student774,smc,11).
enrolled(student773,smc,9).
enrolled(student772,smc,4).
enrolled(student770,ucla,6).
enrolled(student769,ucla,10).
enrolled(student768,ucla,11).
enrolled(student767,ucla,1).
enrolled(student766,occ,3).
enrolled(student765,occ,11).
enrolled(student764,ucla,9).
enrolled(student763,smc,5).
enrolled(student762,uci,12).
enrolled(student761,uci,13).
enrolled(student760,smc,2).
enrolled(student759,occ,11).
enrolled(student758,occ,2).
enrolled(student757,uci,11).
enrolled(student755,uci,7).
enrolled(student753,occ,15).
enrolled(student752,ucla,1).
enrolled(student751,occ,8).
enrolled(student750,occ,7).
enrolled(student749,uci,6).
enrolled(student748,ucla,6).
enrolled(student747,ucla,2).
enrolled(student746,uci,6).
enrolled(student745,ucla,10).
enrolled(student744,uci,7).
enrolled(student743,smc,11).
enrolled(student742,uci,9).
enrolled(student741,occ,6).
enrolled(student740,ucla,10).
enrolled(student739,ucla,10).
enrolled(student738,smc,12).
enrolled(student737,ucla,10).
enrolled(student736,occ,1).
enrolled(student735,ucla,11).
enrolled(student734,occ,4).
enrolled(student733,uci,4).
enrolled(student732,occ,11).
enrolled(student731,ucla,2).
enrolled(student730,occ,9).
enrolled(student729,occ,10).
enrolled(student727,smc,15).
enrolled(student726,ucla,3).
enrolled(student725,occ,4).
enrolled(student724,occ,7).
enrolled(student723,occ,12).
enrolled(student722,uci,3).
enrolled(student721,occ,10).
enrolled(student720,smc,2).
enrolled(student719,ucla,10).
enrolled(student718,uci,9).
enrolled(student717,uci,12).
enrolled(student716,occ,10).
enrolled(student715,smc,1).
enrolled(student714,smc,2).
enrolled(student713,smc,5).
enrolled(student712,smc,5).
enrolled(student711,ucla,11).
enrolled(student710,occ,10).
enrolled(student709,ucla,12).
enrolled(student708,ucla,6).
enrolled(student707,uci,8).
enrolled(student706,occ,8).
enrolled(student705,uci,12).
enrolled(student704,ucla,3).
enrolled(student703,smc,10).
enrolled(student702,occ,9).
enrolled(student701,uci,11).
enrolled(student700,uci,15).
enrolled(student699,uci,2).
enrolled(student698,ucla,14).
enrolled(student697,uci,1).
enrolled(student696,smc,11).
enrolled(student695,uci,2).
enrolled(student694,ucla,3).
enrolled(student693,occ,2).
enrolled(student692,ucla,9).
enrolled(student691,smc,9).
enrolled(student690,uci,11).
enrolled(student689,ucla,14).
enrolled(student688,ucla,8).
enrolled(student686,ucla,7).
enrolled(student685,ucla,9).
enrolled(student684,smc,9).
enrolled(student683,ucla,10).
enrolled(student682,occ,10).
enrolled(student681,smc,5).
enrolled(student680,smc,1).
enrolled(student679,smc,8).
enrolled(student678,uci,6).
enrolled(student677,smc,10).
enrolled(student676,uci,3).
enrolled(student675,occ,3).
enrolled(student674,smc,10).
enrolled(student673,smc,7).
enrolled(student672,smc,7).
enrolled(student671,ucla,4).
enrolled(student670,uci,9).
enrolled(student669,uci,4).
enrolled(student668,occ,7).
enrolled(student667,smc,10).
enrolled(student666,occ,8).
enrolled(student665,occ,12).
enrolled(student663,occ,5).
enrolled(student662,smc,3).
enrolled(student661,occ,4).
enrolled(student660,ucla,5).
enrolled(student659,occ,1).
enrolled(student658,ucla,6).
enrolled(student657,occ,3).
enrolled(student656,ucla,9).
enrolled(student655,smc,11).
enrolled(student653,smc,6).
enrolled(student652,ucla,5).
enrolled(student651,uci,11).
enrolled(student650,occ,3).
enrolled(student649,ucla,6).
enrolled(student648,ucla,5).
enrolled(student647,ucla,12).
enrolled(student646,ucla,10).
enrolled(student645,smc,5).
enrolled(student644,occ,5).
enrolled(student643,uci,4).
enrolled(student642,uci,9).
enrolled(student641,uci,9).
enrolled(student640,smc,7).
enrolled(student639,occ,8).
enrolled(student638,smc,12).
enrolled(student637,ucla,5).
enrolled(student636,ucla,1).
enrolled(student635,smc,15).
enrolled(student634,uci,12).
enrolled(student633,uci,2).
enrolled(student632,occ,13).
enrolled(student631,uci,8).
enrolled(student630,uci,1).
enrolled(student629,uci,12).
enrolled(student627,smc,9).
enrolled(student626,occ,14).
enrolled(student625,occ,11).
enrolled(student624,uci,6).
enrolled(student623,smc,3).
enrolled(student622,ucla,3).
enrolled(student621,occ,8).
enrolled(student620,occ,13).
enrolled(student619,smc,12).
enrolled(student618,occ,5).
enrolled(student617,ucla,9).
enrolled(student616,occ,10).
enrolled(student615,smc,3).
enrolled(student614,occ,12).
enrolled(student613,smc,8).
enrolled(student612,ucla,7).
enrolled(student611,uci,1).
enrolled(student610,occ,9).
enrolled(student609,occ,6).
enrolled(student608,uci,12).
enrolled(student607,ucla,9).
enrolled(student606,smc,6).
enrolled(student605,occ,1).
enrolled(student604,occ,4).
enrolled(student602,ucla,4).
enrolled(student601,uci,4).
enrolled(student600,ucla,12).
enrolled(student599,occ,15).
enrolled(student598,ucla,11).
enrolled(student597,occ,9).
enrolled(student596,ucla,10).
enrolled(student595,occ,9).
enrolled(student594,ucla,9).
enrolled(student593,uci,1).
enrolled(student592,occ,10).
enrolled(student591,uci,11).
enrolled(student590,smc,9).
enrolled(student589,occ,4).
enrolled(student588,uci,10).
enrolled(student587,occ,11).
enrolled(student586,smc,1).
enrolled(student585,occ,14).
enrolled(student584,ucla,3).
enrolled(student583,ucla,10).
enrolled(student582,smc,10).
enrolled(student581,smc,8).
enrolled(student580,uci,9).
enrolled(student579,occ,12).
enrolled(student578,smc,7).
enrolled(student577,ucla,11).
enrolled(student576,uci,12).
enrolled(student575,smc,11).
enrolled(student574,occ,6).
enrolled(student573,occ,12).
enrolled(student572,occ,11).
enrolled(student571,smc,2).
enrolled(student570,occ,10).
enrolled(student569,occ,6).
enrolled(student568,ucla,5).
enrolled(student567,occ,10).
enrolled(student566,uci,3).
enrolled(student565,occ,1).
enrolled(student564,ucla,1).
enrolled(student563,smc,10).
enrolled(student561,ucla,5).
enrolled(student560,smc,8).
enrolled(student559,occ,3).
enrolled(student557,ucla,3).
enrolled(student556,ucla,11).
enrolled(student555,uci,12).
enrolled(student554,occ,12).
enrolled(student553,uci,14).
enrolled(student552,ucla,8).
enrolled(student551,ucla,6).
enrolled(student550,occ,12).
enrolled(student549,ucla,6).
enrolled(student548,smc,2).
enrolled(student547,smc,6).
enrolled(student546,ucla,1).
enrolled(student545,uci,7).
enrolled(student544,occ,6).
enrolled(student543,occ,4).
enrolled(student542,uci,4).
enrolled(student541,smc,11).
enrolled(student540,smc,8).
enrolled(student539,smc,12).
enrolled(student538,uci,6).
enrolled(student537,uci,7).
enrolled(student536,smc,10).
enrolled(student535,smc,2).
enrolled(student534,ucla,7).
enrolled(student533,occ,6).
enrolled(student532,occ,6).
enrolled(student531,ucla,11).
enrolled(student530,occ,9).
enrolled(student529,uci,8).
enrolled(student528,smc,9).
enrolled(student527,smc,1).
enrolled(student526,occ,4).
enrolled(student525,smc,10).
enrolled(student523,ucla,2).
enrolled(student522,uci,3).
enrolled(student521,smc,2).
enrolled(student520,uci,3).
enrolled(student519,uci,13).
enrolled(student518,smc,7).
enrolled(student517,smc,12).
enrolled(student516,uci,9).
enrolled(student515,occ,9).
enrolled(student514,occ,10).
enrolled(student513,occ,2).
enrolled(student512,uci,5).
enrolled(student511,smc,12).
enrolled(student510,ucla,10).
enrolled(student509,ucla,6).
enrolled(student508,ucla,11).
enrolled(student507,ucla,1).
enrolled(student506,ucla,4).
enrolled(student505,ucla,2).
enrolled(student504,occ,2).
enrolled(student503,occ,8).
enrolled(student502,ucla,6).
enrolled(student501,ucla,7).
enrolled(student500,smc,8).
enrolled(student499,uci,1).
enrolled(student498,ucla,10).
enrolled(student497,ucla,9).
enrolled(student495,ucla,1).
enrolled(student494,uci,4).
enrolled(student493,occ,3).
enrolled(student492,occ,12).
enrolled(student491,uci,9).
enrolled(student490,uci,10).
enrolled(student488,occ,13).
enrolled(student487,occ,3).
enrolled(student486,smc,14).
enrolled(student485,occ,5).
enrolled(student484,occ,9).
enrolled(student482,occ,7).
enrolled(student481,ucla,2).
enrolled(student480,ucla,6).
enrolled(student479,ucla,12).
enrolled(student478,smc,5).
enrolled(student476,ucla,10).
enrolled(student475,ucla,9).
enrolled(student474,uci,3).
enrolled(student473,ucla,8).
enrolled(student472,smc,2).
enrolled(student471,ucla,5).
enrolled(student470,uci,6).
enrolled(student469,ucla,1).
enrolled(student468,smc,14).
enrolled(student467,smc,3).
enrolled(student466,uci,5).
enrolled(student465,occ,12).
enrolled(student463,occ,1).
enrolled(student462,uci,4).
enrolled(student461,uci,5).
enrolled(student460,smc,1).
enrolled(student459,occ,12).
enrolled(student458,occ,3).
enrolled(student457,uci,8).
enrolled(student456,smc,4).
enrolled(student455,uci,4).
enrolled(student454,ucla,3).
enrolled(student453,uci,7).
enrolled(student452,occ,3).
enrolled(student451,occ,8).
enrolled(student450,occ,5).
enrolled(student449,smc,5).
enrolled(student448,ucla,9).
enrolled(student447,ucla,7).
enrolled(student446,smc,10).
enrolled(student445,uci,6).
enrolled(student444,smc,7).
enrolled(student442,ucla,7).
enrolled(student441,occ,12).
enrolled(student440,ucla,9).
enrolled(student439,ucla,10).
enrolled(student438,smc,8).
enrolled(student437,smc,2).
enrolled(student436,occ,7).
enrolled(student435,occ,6).
enrolled(student433,occ,4).
enrolled(student432,ucla,9).
enrolled(student430,uci,9).
enrolled(student429,ucla,12).
enrolled(student428,uci,6).
enrolled(student427,ucla,5).
enrolled(student426,ucla,2).
enrolled(student425,occ,11).
enrolled(student424,uci,7).
enrolled(student423,uci,10).
enrolled(student422,smc,12).
enrolled(student421,occ,6).
enrolled(student420,smc,6).
enrolled(student419,ucla,5).
enrolled(student418,uci,5).
enrolled(student417,smc,10).
enrolled(student416,uci,9).
enrolled(student415,occ,5).
enrolled(student414,uci,9).
enrolled(student413,uci,3).
enrolled(student412,uci,1).
enrolled(student411,occ,12).
enrolled(student410,occ,9).
enrolled(student409,smc,4).
enrolled(student408,occ,6).
enrolled(student407,uci,12).
enrolled(student406,ucla,4).
enrolled(student405,occ,11).
enrolled(student404,uci,9).
enrolled(student403,smc,7).
enrolled(student402,ucla,11).
enrolled(student401,uci,15).
enrolled(student400,occ,7).
enrolled(student399,occ,8).
enrolled(student398,uci,11).
enrolled(student397,uci,8).
enrolled(student396,smc,7).
enrolled(student395,smc,10).
enrolled(student394,smc,4).
enrolled(student393,ucla,9).
enrolled(student392,occ,8).
enrolled(student391,smc,6).
enrolled(student390,occ,4).
enrolled(student389,uci,6).
enrolled(student388,ucla,8).
enrolled(student387,uci,3).
enrolled(student386,occ,9).
enrolled(student385,uci,5).
enrolled(student384,smc,12).
enrolled(student383,smc,5).
enrolled(student382,uci,4).
enrolled(student381,occ,10).
enrolled(student380,uci,11).
enrolled(student379,ucla,3).
enrolled(student378,occ,11).
enrolled(student377,occ,2).
enrolled(student375,ucla,7).
enrolled(student374,ucla,7).
enrolled(student373,uci,9).
enrolled(student372,uci,1).
enrolled(student371,ucla,10).
enrolled(student370,occ,8).
enrolled(student369,uci,12).
enrolled(student368,smc,4).
enrolled(student367,occ,1).
enrolled(student366,uci,5).
enrolled(student365,ucla,5).
enrolled(student364,smc,3).
enrolled(student363,smc,7).
enrolled(student362,ucla,4).
enrolled(student361,smc,5).
enrolled(student360,smc,11).
enrolled(student359,smc,12).
enrolled(student358,smc,4).
enrolled(student357,uci,9).
enrolled(student356,smc,3).
enrolled(student354,occ,13).
enrolled(student353,ucla,2).
enrolled(student352,uci,10).
enrolled(student351,ucla,9).
enrolled(student350,occ,3).
enrolled(student349,smc,3).
enrolled(student348,uci,5).
enrolled(student347,smc,12).
enrolled(student346,occ,12).
enrolled(student345,uci,5).
enrolled(student344,uci,10).
enrolled(student343,uci,3).
enrolled(student342,ucla,12).
enrolled(student341,ucla,2).
enrolled(student340,occ,12).
enrolled(student339,occ,10).
enrolled(student338,uci,7).
enrolled(student337,uci,4).
enrolled(student336,uci,12).
enrolled(student335,occ,2).
enrolled(student334,occ,7).
enrolled(student333,uci,12).
enrolled(student332,ucla,1).
enrolled(student331,ucla,11).
enrolled(student330,occ,8).
enrolled(student329,uci,3).
enrolled(student328,occ,9).
enrolled(student327,occ,2).
enrolled(student326,ucla,5).
enrolled(student325,occ,3).
enrolled(student324,ucla,4).
enrolled(student323,ucla,9).
enrolled(student322,uci,8).
enrolled(student320,uci,4).
enrolled(student319,occ,1).
enrolled(student318,uci,4).
enrolled(student317,smc,1).
enrolled(student316,smc,10).
enrolled(student315,uci,14).
enrolled(student314,smc,9).
enrolled(student312,smc,5).
enrolled(student311,uci,4).
enrolled(student310,occ,3).
enrolled(student309,ucla,12).
enrolled(student308,ucla,9).
enrolled(student307,smc,8).
enrolled(student306,occ,10).
enrolled(student305,occ,10).
enrolled(student304,smc,7).
enrolled(student303,ucla,9).
enrolled(student302,uci,4).
enrolled(student301,uci,2).
enrolled(student300,uci,3).
enrolled(student299,occ,9).
enrolled(student298,uci,10).
enrolled(student297,ucla,1).
enrolled(student296,smc,9).
enrolled(student295,occ,7).
enrolled(student294,uci,10).
enrolled(student293,occ,12).
enrolled(student290,ucla,9).
enrolled(student289,occ,7).
enrolled(student288,occ,11).
enrolled(student286,uci,9).
enrolled(student285,ucla,4).
enrolled(student284,occ,10).
enrolled(student283,uci,10).
enrolled(student282,uci,4).
enrolled(student281,ucla,5).
enrolled(student280,ucla,11).
enrolled(student279,ucla,5).
enrolled(student278,ucla,2).
enrolled(student277,occ,4).
enrolled(student276,occ,4).
enrolled(student275,occ,3).
enrolled(student274,uci,8).
enrolled(student273,uci,10).
enrolled(student272,uci,7).
enrolled(student271,smc,12).
enrolled(student270,occ,10).
enrolled(student269,smc,1).
enrolled(student268,smc,2).
enrolled(student267,occ,9).
enrolled(student266,occ,5).
enrolled(student265,uci,4).
enrolled(student264,ucla,9).
enrolled(student263,ucla,9).
enrolled(student262,uci,3).
enrolled(student261,occ,8).
enrolled(student260,ucla,7).
enrolled(student257,occ,12).
enrolled(student256,occ,5).
enrolled(student255,occ,8).
enrolled(student254,smc,8).
enrolled(student253,occ,3).
enrolled(student252,smc,4).
enrolled(student250,occ,10).
enrolled(student249,smc,10).
enrolled(student248,occ,2).
enrolled(student247,ucla,4).
enrolled(student246,uci,6).
enrolled(student245,ucla,1).
enrolled(student244,occ,8).
enrolled(student243,smc,8).
enrolled(student242,ucla,9).
enrolled(student241,smc,12).
enrolled(student240,smc,5).
enrolled(student239,ucla,8).
enrolled(student238,smc,7).
enrolled(student237,uci,8).
enrolled(student236,occ,3).
enrolled(student235,uci,7).
enrolled(student234,uci,8).
enrolled(student233,uci,8).
enrolled(student232,ucla,10).
enrolled(student231,smc,11).
enrolled(student230,ucla,11).
enrolled(student229,occ,15).
enrolled(student228,ucla,12).
enrolled(student227,occ,14).
enrolled(student226,smc,9).
enrolled(student225,occ,8).
enrolled(student224,occ,8).
enrolled(student223,uci,7).
enrolled(student222,smc,15).
enrolled(student221,occ,4).
enrolled(student220,occ,6).
enrolled(student219,uci,8).
enrolled(student218,ucla,3).
enrolled(student217,uci,10).
enrolled(student216,smc,6).
enrolled(student215,smc,3).
enrolled(student214,smc,15).
enrolled(student213,ucla,12).
enrolled(student211,uci,15).
enrolled(student210,ucla,14).
enrolled(student209,uci,12).
enrolled(student208,smc,14).
enrolled(student207,occ,11).
enrolled(student204,occ,3).
enrolled(student203,ucla,11).
enrolled(student202,ucla,4).
enrolled(student201,occ,2).
enrolled(student200,smc,10).
enrolled(student199,ucla,10).
enrolled(student198,uci,6).
enrolled(student197,uci,6).
enrolled(student196,ucla,10).
enrolled(student195,ucla,11).
enrolled(student194,ucla,3).
enrolled(student193,smc,12).
enrolled(student192,occ,3).
enrolled(student191,ucla,2).
enrolled(student190,ucla,3).
enrolled(student189,uci,3).
enrolled(student188,smc,9).
enrolled(student186,uci,2).
enrolled(student185,uci,7).
enrolled(student184,occ,6).
enrolled(student183,occ,10).
enrolled(student182,uci,3).
enrolled(student181,uci,11).
enrolled(student180,smc,3).
enrolled(student179,occ,5).
enrolled(student178,ucla,12).
enrolled(student177,smc,4).
enrolled(student176,occ,9).
enrolled(student175,uci,15).
enrolled(student174,occ,13).
enrolled(student173,ucla,11).
enrolled(student172,smc,9).
enrolled(student171,smc,12).
enrolled(student170,uci,10).
enrolled(student169,ucla,4).
enrolled(student168,occ,3).
enrolled(student167,occ,10).
enrolled(student165,uci,10).
enrolled(student164,uci,12).
enrolled(student163,uci,14).
enrolled(student162,smc,2).
enrolled(student161,smc,2).
enrolled(student160,uci,4).
enrolled(student158,smc,10).
enrolled(student157,occ,8).
enrolled(student155,ucla,8).
enrolled(student154,ucla,7).
enrolled(student153,ucla,3).
enrolled(student152,uci,12).
enrolled(student151,ucla,10).
enrolled(student150,uci,11).
enrolled(student149,smc,10).
enrolled(student148,occ,10).
enrolled(student147,smc,4).
enrolled(student146,ucla,8).
enrolled(student145,occ,5).
enrolled(student144,ucla,5).
enrolled(student143,smc,9).
enrolled(student142,uci,8).
enrolled(student141,smc,8).
enrolled(student140,occ,12).
enrolled(student139,uci,10).
enrolled(student138,uci,9).
enrolled(student137,ucla,5).
enrolled(student136,smc,6).
enrolled(student135,uci,12).
enrolled(student134,smc,8).
enrolled(student133,smc,13).
enrolled(student131,uci,5).
enrolled(student130,ucla,11).
enrolled(student129,smc,9).
enrolled(student128,ucla,13).
enrolled(student127,ucla,7).
enrolled(student126,uci,10).
enrolled(student125,smc,2).
enrolled(student123,occ,2).
enrolled(student122,smc,6).
enrolled(student120,ucla,3).
enrolled(student119,smc,6).
enrolled(student118,ucla,5).
enrolled(student117,smc,7).
enrolled(student116,ucla,11).
enrolled(student115,smc,8).
enrolled(student112,ucla,10).
enrolled(student111,uci,3).
enrolled(student110,ucla,3).
enrolled(student109,occ,11).
enrolled(student108,smc,7).
enrolled(student107,uci,8).
enrolled(student106,smc,12).
enrolled(student104,smc,4).
enrolled(student103,ucla,3).
enrolled(student102,uci,3).
enrolled(student101,ucla,7).
enrolled(student100,ucla,8).
enrolled(student99,occ,9).
enrolled(student98,uci,5).
enrolled(student97,ucla,6).
enrolled(student96,occ,8).
enrolled(student95,uci,10).
enrolled(student94,smc,5).
enrolled(student93,occ,11).
enrolled(student91,occ,5).
enrolled(student90,smc,12).
enrolled(student89,occ,5).
enrolled(student88,ucla,9).
enrolled(student87,occ,2).
enrolled(student86,occ,6).
enrolled(student85,uci,7).
enrolled(student84,uci,6).
enrolled(student83,ucla,5).
enrolled(student82,smc,9).
enrolled(student81,ucla,11).
enrolled(student80,occ,11).
enrolled(student79,smc,9).
enrolled(student78,smc,2).
enrolled(student77,uci,9).
enrolled(student76,smc,1).
enrolled(student75,occ,8).
enrolled(student74,uci,3).
enrolled(student73,occ,10).
enrolled(student72,occ,14).
enrolled(student71,uci,7).
enrolled(student70,smc,8).
enrolled(student69,ucla,2).
enrolled(student68,ucla,10).
enrolled(student67,uci,2).
enrolled(student66,occ,10).
enrolled(student64,ucla,4).
enrolled(student63,smc,8).
enrolled(student62,ucla,3).
enrolled(student61,ucla,8).
enrolled(student60,ucla,9).
enrolled(student59,uci,15).
enrolled(student58,ucla,4).
enrolled(student57,occ,4).
enrolled(student55,occ,10).
enrolled(student54,uci,3).
enrolled(student53,smc,2).
enrolled(student52,occ,12).
enrolled(student51,smc,5).
enrolled(student50,ucla,11).
enrolled(student49,occ,11).
enrolled(student48,occ,1).
enrolled(student47,occ,3).
enrolled(student46,ucla,10).
enrolled(student45,ucla,10).
enrolled(student44,uci,1).
enrolled(student43,occ,10).
enrolled(student42,smc,15).
enrolled(student41,uci,3).
enrolled(student40,uci,11).
enrolled(student39,uci,6).
enrolled(student38,ucla,11).
enrolled(student37,ucla,9).
enrolled(student36,ucla,11).
enrolled(student35,ucla,3).
enrolled(student34,ucla,8).
enrolled(student33,smc,11).
enrolled(student32,occ,12).
enrolled(student31,uci,11).
enrolled(student30,occ,7).
enrolled(student29,occ,4).
enrolled(student28,ucla,11).
enrolled(student27,smc,1).
enrolled(student26,smc,5).
enrolled(student25,occ,10).
enrolled(student24,ucla,10).
enrolled(student23,smc,12).
enrolled(student22,occ,5).
enrolled(student21,uci,9).
enrolled(student20,ucla,2).
enrolled(student19,occ,9).
enrolled(student18,smc,5).
enrolled(student17,uci,9).
enrolled(student16,occ,2).
enrolled(student15,uci,7).
enrolled(student14,occ,2).
enrolled(student13,smc,5).
enrolled(student12,ucla,12).
enrolled(student11,uci,4).
enrolled(student10,smc,1).
enrolled(student9,occ,2).
enrolled(student8,smc,7).
enrolled(student6,smc,12).
enrolled(student5,smc,5).
enrolled(student4,uci,6).
enrolled(student3,occ,1).
enrolled(student2,uci,11).
enrolled(student1,occ,11).