 
updateSDE( stop_enter_leave, '1p_all', 40000, 41000 ) :-
assertz( happensAtIE( stop_enter(75, bus, 0040003, early), 40004) ),
assertz( happensAtIE( stop_leave(75, bus, 0040003, scheduled), 40005) ),
assertz( happensAtIE( stop_enter(75, bus, 0040013, scheduled), 40014) ),
assertz( happensAtIE( stop_leave(75, bus, 0040013, late), 40016) ),
assertz( happensAtIE( stop_enter(76, bus, 0040024, early), 40022) ),
assertz( happensAtIE( stop_leave(76, bus, 0040024, scheduled), 40025) ),
assertz( happensAtIE( stop_enter(77, bus, 0040026, late), 40026) ),
assertz( happensAtIE( stop_leave(77, bus, 0040026, late), 40027) ),
assertz( happensAtIE( stop_enter(78, bus, 0040038, late), 40035) ),
assertz( happensAtIE( stop_leave(78, bus, 0040038, early), 40036) ),
assertz( happensAtIE( stop_enter(79, bus, 0040046, early), 40047) ),
assertz( happensAtIE( stop_leave(79, bus, 0040046, late), 40048) ),
assertz( happensAtIE( stop_enter(79, bus, 0040055, late), 40055) ),
assertz( happensAtIE( stop_leave(79, bus, 0040055, late), 40057) ),
assertz( happensAtIE( stop_enter(80, bus, 0040059, early), 40059) ),
assertz( happensAtIE( stop_leave(80, bus, 0040059, early), 40061) ),
assertz( happensAtIE( stop_enter(81, bus, 0040071, early), 40068) ),
assertz( happensAtIE( stop_leave(81, bus, 0040071, late), 40073) ),
assertz( happensAtIE( stop_enter(82, bus, 0040075, scheduled), 40080) ),
assertz( happensAtIE( stop_leave(82, bus, 0040075, scheduled), 40081) ),
assertz( happensAtIE( stop_enter(83, bus, 0040082, scheduled), 40083) ),
assertz( happensAtIE( stop_leave(83, bus, 0040082, late), 40088) ),
assertz( happensAtIE( stop_enter(83, bus, 0040090, scheduled), 40091) ),
assertz( happensAtIE( stop_leave(83, bus, 0040090, late), 40092) ),
assertz( happensAtIE( stop_enter(84, bus, 0040102, late), 40099) ),
assertz( happensAtIE( stop_leave(84, bus, 0040102, early), 40104) ),
assertz( happensAtIE( stop_enter(85, bus, 0040112, early), 40112) ),
assertz( happensAtIE( stop_leave(85, bus, 0040112, scheduled), 40113) ),
assertz( happensAtIE( stop_enter(86, bus, 0040116, scheduled), 40116) ),
assertz( happensAtIE( stop_leave(86, bus, 0040116, scheduled), 40118) ),
assertz( happensAtIE( stop_enter(87, bus, 0040127, early), 40125) ),
assertz( happensAtIE( stop_leave(87, bus, 0040127, early), 40127) ),
assertz( happensAtIE( stop_enter(87, bus, 0040134, early), 40136) ),
assertz( happensAtIE( stop_leave(87, bus, 0040134, scheduled), 40137) ),
assertz( happensAtIE( stop_enter(88, bus, 0040143, early), 40143) ),
assertz( happensAtIE( stop_leave(88, bus, 0040143, late), 40145) ),
assertz( happensAtIE( stop_enter(89, bus, 0040146, early), 40147) ),
assertz( happensAtIE( stop_leave(89, bus, 0040146, early), 40148) ),
assertz( happensAtIE( stop_enter(90, bus, 0040158, early), 40158) ),
assertz( happensAtIE( stop_leave(90, bus, 0040158, early), 40161) ),
assertz( happensAtIE( stop_enter(91, bus, 0040163, early), 40167) ),
assertz( happensAtIE( stop_leave(91, bus, 0040163, early), 40169) ),
assertz( happensAtIE( stop_enter(91, bus, 0040172, scheduled), 40172) ),
assertz( happensAtIE( stop_leave(91, bus, 0040172, scheduled), 40173) ),
assertz( happensAtIE( stop_enter(92, bus, 0040180, late), 40180) ),
assertz( happensAtIE( stop_leave(92, bus, 0040180, late), 40182) ),
assertz( happensAtIE( stop_enter(93, bus, 0040190, scheduled), 40187) ),
assertz( happensAtIE( stop_leave(93, bus, 0040190, scheduled), 40192) ),
assertz( happensAtIE( stop_enter(94, bus, 0040194, late), 40199) ),
assertz( happensAtIE( stop_leave(94, bus, 0040194, early), 40201) ),
assertz( happensAtIE( stop_enter(95, bus, 0040204, early), 40204) ),
assertz( happensAtIE( stop_leave(95, bus, 0040204, late), 40205) ),
assertz( happensAtIE( stop_enter(95, bus, 0040212, scheduled), 40212) ),
assertz( happensAtIE( stop_leave(95, bus, 0040212, early), 40215) ),
assertz( happensAtIE( stop_enter(96, bus, 0040224, scheduled), 40224) ),
assertz( happensAtIE( stop_leave(96, bus, 0040224, early), 40225) ),
assertz( happensAtIE( stop_enter(97, bus, 0040228, late), 40229) ),
assertz( happensAtIE( stop_leave(97, bus, 0040228, early), 40230) ),
assertz( happensAtIE( stop_enter(98, bus, 0040237, late), 40235) ),
assertz( happensAtIE( stop_leave(98, bus, 0040237, late), 40239) ),
assertz( happensAtIE( stop_enter(99, bus, 0040247, early), 40247) ),
assertz( happensAtIE( stop_leave(99, bus, 0040247, early), 40249) ),
assertz( happensAtIE( stop_enter(99, bus, 0040250, early), 40255) ),
assertz( happensAtIE( stop_leave(99, bus, 0040250, late), 40257) ),
assertz( happensAtIE( stop_enter(100, bus, 0040260, early), 40261) ),
assertz( happensAtIE( stop_leave(100, bus, 0040260, late), 40263) ),
assertz( happensAtIE( stop_enter(101, bus, 0040269, scheduled), 40269) ),
assertz( happensAtIE( stop_leave(101, bus, 0040269, late), 40272) ),
assertz( happensAtIE( stop_enter(102, bus, 0040274, late), 40279) ),
assertz( happensAtIE( stop_leave(102, bus, 0040274, early), 40280) ),
assertz( happensAtIE( stop_enter(103, bus, 0040287, scheduled), 40284) ),
assertz( happensAtIE( stop_leave(103, bus, 0040287, late), 40285) ),
assertz( happensAtIE( stop_enter(103, bus, 0040292, scheduled), 40292) ),
assertz( happensAtIE( stop_leave(103, bus, 0040292, scheduled), 40295) ),
assertz( happensAtIE( stop_enter(104, bus, 0040304, scheduled), 40301) ),
assertz( happensAtIE( stop_leave(104, bus, 0040304, late), 40305) ),
assertz( happensAtIE( stop_enter(105, bus, 0040307, late), 40308) ),
assertz( happensAtIE( stop_leave(105, bus, 0040307, scheduled), 40310) ),
assertz( happensAtIE( stop_enter(106, bus, 0040319, scheduled), 40317) ),
assertz( happensAtIE( stop_leave(106, bus, 0040319, early), 40319) ),
assertz( happensAtIE( stop_enter(107, bus, 0040329, scheduled), 40328) ),
assertz( happensAtIE( stop_leave(107, bus, 0040329, scheduled), 40329) ),
assertz( happensAtIE( stop_enter(107, bus, 0040337, early), 40330) ),
assertz( happensAtIE( stop_leave(107, bus, 0040337, late), 40332) ),
assertz( happensAtIE( stop_enter(108, bus, 0040338, scheduled), 40339) ),
assertz( happensAtIE( stop_leave(108, bus, 0040338, scheduled), 40340) ),
assertz( happensAtIE( stop_enter(109, bus, 0040350, early), 40350) ),
assertz( happensAtIE( stop_leave(109, bus, 0040350, early), 40352) ),
assertz( happensAtIE( stop_enter(110, bus, 0040355, late), 40359) ),
assertz( happensAtIE( stop_leave(110, bus, 0040355, scheduled), 40361) ),
assertz( happensAtIE( stop_enter(111, bus, 0040364, scheduled), 40363) ),
assertz( happensAtIE( stop_leave(111, bus, 0040364, scheduled), 40364) ),
assertz( happensAtIE( stop_enter(111, bus, 0040372, late), 40372) ),
assertz( happensAtIE( stop_leave(111, bus, 0040372, scheduled), 40374) ),
assertz( happensAtIE( stop_enter(112, bus, 0040384, scheduled), 40381) ),
assertz( happensAtIE( stop_leave(112, bus, 0040384, late), 40385) ),
assertz( happensAtIE( stop_enter(113, bus, 0040387, scheduled), 40392) ),
assertz( happensAtIE( stop_leave(113, bus, 0040387, scheduled), 40393) ),
assertz( happensAtIE( stop_enter(114, bus, 0040396, scheduled), 40397) ),
assertz( happensAtIE( stop_leave(114, bus, 0040396, early), 40398) ),
assertz( happensAtIE( stop_enter(115, bus, 0040404, early), 40405) ),
assertz( happensAtIE( stop_leave(115, bus, 0040404, late), 40407) ),
assertz( happensAtIE( stop_enter(115, bus, 0040416, early), 40413) ),
assertz( happensAtIE( stop_leave(115, bus, 0040416, early), 40417) ),
assertz( happensAtIE( stop_enter(116, bus, 0040420, scheduled), 40418) ),
assertz( happensAtIE( stop_leave(116, bus, 0040420, early), 40421) ),
assertz( happensAtIE( stop_enter(117, bus, 0040429, late), 40429) ),
assertz( happensAtIE( stop_leave(117, bus, 0040429, late), 40431) ),
assertz( happensAtIE( stop_enter(118, bus, 0040441, scheduled), 40434) ),
assertz( happensAtIE( stop_leave(118, bus, 0040441, early), 40439) ),
assertz( happensAtIE( stop_enter(119, bus, 0040447, scheduled), 40447) ),
assertz( happensAtIE( stop_leave(119, bus, 0040447, scheduled), 40449) ),
assertz( happensAtIE( stop_enter(119, bus, 0040451, scheduled), 40456) ),
assertz( happensAtIE( stop_leave(119, bus, 0040451, early), 40457) ),
assertz( happensAtIE( stop_enter(120, bus, 0040464, early), 40461) ),
assertz( happensAtIE( stop_leave(120, bus, 0040464, early), 40463) ),
assertz( happensAtIE( stop_enter(121, bus, 0040473, scheduled), 40466) ),
assertz( happensAtIE( stop_leave(121, bus, 0040473, scheduled), 40471) ),
assertz( happensAtIE( stop_enter(122, bus, 0040474, scheduled), 40474) ),
assertz( happensAtIE( stop_leave(122, bus, 0040474, late), 40475) ),
assertz( happensAtIE( stop_enter(123, bus, 0040486, scheduled), 40483) ),
assertz( happensAtIE( stop_leave(123, bus, 0040486, late), 40488) ),
assertz( happensAtIE( stop_enter(123, bus, 0040494, early), 40494) ),
assertz( happensAtIE( stop_leave(123, bus, 0040494, early), 40496) ),
assertz( happensAtIE( stop_enter(124, bus, 0040505, early), 40498) ),
assertz( happensAtIE( stop_leave(124, bus, 0040505, scheduled), 40499) ),
assertz( happensAtIE( stop_enter(125, bus, 0040510, scheduled), 40507) ),
assertz( happensAtIE( stop_leave(125, bus, 0040510, late), 40508) ),
assertz( happensAtIE( stop_enter(126, bus, 0040518, late), 40518) ),
assertz( happensAtIE( stop_leave(126, bus, 0040518, early), 40520) ),
assertz( happensAtIE( stop_enter(127, bus, 0040525, late), 40525) ),
assertz( happensAtIE( stop_leave(127, bus, 0040525, late), 40528) ),
assertz( happensAtIE( stop_enter(127, bus, 0040530, scheduled), 40535) ),
assertz( happensAtIE( stop_leave(127, bus, 0040530, scheduled), 40536) ),
assertz( happensAtIE( stop_enter(128, bus, 0040540, late), 40541) ),
assertz( happensAtIE( stop_leave(128, bus, 0040540, scheduled), 40543) ),
assertz( happensAtIE( stop_enter(129, bus, 0040552, scheduled), 40549) ),
assertz( happensAtIE( stop_leave(129, bus, 0040552, scheduled), 40551) ),
assertz( happensAtIE( stop_enter(130, bus, 0040554, late), 40554) ),
assertz( happensAtIE( stop_leave(130, bus, 0040554, late), 40559) ),
assertz( happensAtIE( stop_enter(131, bus, 0040562, early), 40564) ),
assertz( happensAtIE( stop_leave(131, bus, 0040562, scheduled), 40565) ),
assertz( happensAtIE( stop_enter(131, bus, 0040572, early), 40572) ),
assertz( happensAtIE( stop_leave(131, bus, 0040572, early), 40574) ),
assertz( happensAtIE( stop_enter(132, bus, 0040582, late), 40580) ),
assertz( happensAtIE( stop_leave(132, bus, 0040582, scheduled), 40584) ),
assertz( happensAtIE( stop_enter(133, bus, 0040586, scheduled), 40591) ),
assertz( happensAtIE( stop_leave(133, bus, 0040586, scheduled), 40593) ),
assertz( happensAtIE( stop_enter(134, bus, 0040597, late), 40597) ),
assertz( happensAtIE( stop_leave(134, bus, 0040597, early), 40599) ),
assertz( happensAtIE( stop_enter(135, bus, 0040605, late), 40604) ),
assertz( happensAtIE( stop_leave(135, bus, 0040605, early), 40607) ),
assertz( happensAtIE( stop_enter(135, bus, 0040617, early), 40614) ),
assertz( happensAtIE( stop_leave(135, bus, 0040617, early), 40615) ),
assertz( happensAtIE( stop_enter(136, bus, 0040620, scheduled), 40620) ),
assertz( happensAtIE( stop_leave(136, bus, 0040620, late), 40622) ),
assertz( happensAtIE( stop_enter(137, bus, 0040632, late), 40629) ),
assertz( happensAtIE( stop_leave(137, bus, 0040632, early), 40630) ),
assertz( happensAtIE( stop_enter(138, bus, 0040639, early), 40639) ),
assertz( happensAtIE( stop_leave(138, bus, 0040639, scheduled), 40640) ),
assertz( happensAtIE( stop_enter(139, bus, 0040648, early), 40647) ),
assertz( happensAtIE( stop_leave(139, bus, 0040648, scheduled), 40649) ),
assertz( happensAtIE( stop_enter(139, bus, 0040657, scheduled), 40650) ),
assertz( happensAtIE( stop_leave(139, bus, 0040657, early), 40651) ),
assertz( happensAtIE( stop_enter(140, bus, 0040661, scheduled), 40661) ),
assertz( happensAtIE( stop_leave(140, bus, 0040661, late), 40664) ),
assertz( happensAtIE( stop_enter(141, bus, 0040673, scheduled), 40670) ),
assertz( happensAtIE( stop_leave(141, bus, 0040673, scheduled), 40673) ),
assertz( happensAtIE( stop_enter(142, bus, 0040675, late), 40676) ),
assertz( happensAtIE( stop_leave(142, bus, 0040675, scheduled), 40677) ),
assertz( happensAtIE( stop_enter(143, bus, 0040683, late), 40684) ),
assertz( happensAtIE( stop_leave(143, bus, 0040683, late), 40686) ),
assertz( happensAtIE( stop_enter(143, bus, 0040696, early), 40693) ),
assertz( happensAtIE( stop_leave(143, bus, 0040696, early), 40697) ),
assertz( happensAtIE( stop_enter(144, bus, 0040705, scheduled), 40698) ),
assertz( happensAtIE( stop_leave(144, bus, 0040705, late), 40699) ),
assertz( happensAtIE( stop_enter(145, bus, 0040710, late), 40707) ),
assertz( happensAtIE( stop_leave(145, bus, 0040710, early), 40711) ),
assertz( happensAtIE( stop_enter(146, bus, 0040718, early), 40719) ),
assertz( happensAtIE( stop_leave(146, bus, 0040718, late), 40721) ),
assertz( happensAtIE( stop_enter(147, bus, 0040723, late), 40728) ),
assertz( happensAtIE( stop_leave(147, bus, 0040723, early), 40729) ),
assertz( happensAtIE( stop_enter(147, bus, 0040732, late), 40733) ),
assertz( happensAtIE( stop_leave(147, bus, 0040732, late), 40734) ),
assertz( happensAtIE( stop_enter(148, bus, 0040738, early), 40739) ),
assertz( happensAtIE( stop_leave(148, bus, 0040738, late), 40740) ),
assertz( happensAtIE( stop_enter(149, bus, 0040750, early), 40750) ),
assertz( happensAtIE( stop_leave(149, bus, 0040750, scheduled), 40753) ),
assertz( happensAtIE( stop_enter(150, bus, 0040754, scheduled), 40759) ),
assertz( happensAtIE( stop_leave(150, bus, 0040754, early), 40761) ),
assertz( happensAtIE( stop_enter(151, bus, 0040765, late), 40765) ),
assertz( happensAtIE( stop_leave(151, bus, 0040765, early), 40767) ),
assertz( happensAtIE( stop_enter(151, bus, 0040773, early), 40773) ),
assertz( happensAtIE( stop_leave(151, bus, 0040773, early), 40775) ),
assertz( happensAtIE( stop_enter(152, bus, 0040784, early), 40784) ),
assertz( happensAtIE( stop_leave(152, bus, 0040784, scheduled), 40785) ),
assertz( happensAtIE( stop_enter(153, bus, 0040786, early), 40789) ),
assertz( happensAtIE( stop_leave(153, bus, 0040786, late), 40790) ),
assertz( happensAtIE( stop_enter(154, bus, 0040795, early), 40796) ),
assertz( happensAtIE( stop_leave(154, bus, 0040795, early), 40798) ),
assertz( happensAtIE( stop_enter(155, bus, 0040808, scheduled), 40807) ),
assertz( happensAtIE( stop_leave(155, bus, 0040808, late), 40809) ),
assertz( happensAtIE( stop_enter(155, bus, 0040817, scheduled), 40810) ),
assertz( happensAtIE( stop_leave(155, bus, 0040817, late), 40813) ),
assertz( happensAtIE( stop_enter(156, bus, 0040821, late), 40820) ),
assertz( happensAtIE( stop_leave(156, bus, 0040821, early), 40823) ),
assertz( happensAtIE( stop_enter(157, bus, 0040832, late), 40832) ),
assertz( happensAtIE( stop_leave(157, bus, 0040832, early), 40833) ),
assertz( happensAtIE( stop_enter(158, bus, 0040841, early), 40834) ),
assertz( happensAtIE( stop_leave(158, bus, 0040841, early), 40835) ),
assertz( happensAtIE( stop_enter(159, bus, 0040848, early), 40848) ),
assertz( happensAtIE( stop_leave(159, bus, 0040848, late), 40849) ),
assertz( happensAtIE( stop_enter(159, bus, 0040854, late), 40854) ),
assertz( happensAtIE( stop_leave(159, bus, 0040854, early), 40856) ),
assertz( happensAtIE( stop_enter(160, bus, 0040858, early), 40858) ),
assertz( happensAtIE( stop_leave(160, bus, 0040858, scheduled), 40860) ),
assertz( happensAtIE( stop_enter(161, bus, 0040870, scheduled), 40867) ),
assertz( happensAtIE( stop_leave(161, bus, 0040870, late), 40868) ),
assertz( happensAtIE( stop_enter(162, bus, 0040879, scheduled), 40879) ),
assertz( happensAtIE( stop_leave(162, bus, 0040879, early), 40880) ),
assertz( happensAtIE( stop_enter(163, bus, 0040888, late), 40882) ),
assertz( happensAtIE( stop_leave(163, bus, 0040888, scheduled), 40889) ),
assertz( happensAtIE( stop_enter(163, bus, 0040890, late), 40894) ),
assertz( happensAtIE( stop_leave(163, bus, 0040890, early), 40895) ),
assertz( happensAtIE( stop_enter(164, bus, 0040901, scheduled), 40900) ),
assertz( happensAtIE( stop_leave(164, bus, 0040901, scheduled), 40903) ),
assertz( happensAtIE( stop_enter(165, bus, 0040912, scheduled), 40910) ),
assertz( happensAtIE( stop_leave(165, bus, 0040912, late), 40912) ),
assertz( happensAtIE( stop_enter(166, bus, 0040914, scheduled), 40914) ),
assertz( happensAtIE( stop_leave(166, bus, 0040914, early), 40920) ),
assertz( happensAtIE( stop_enter(167, bus, 0040923, scheduled), 40924) ),
assertz( happensAtIE( stop_leave(167, bus, 0040923, early), 40925) ),
assertz( happensAtIE( stop_enter(167, bus, 0040932, late), 40932) ),
assertz( happensAtIE( stop_leave(167, bus, 0040932, scheduled), 40934) ),
assertz( happensAtIE( stop_enter(168, bus, 0040944, scheduled), 40942) ),
assertz( happensAtIE( stop_leave(168, bus, 0040944, late), 40945) ),
assertz( happensAtIE( stop_enter(169, bus, 0040946, scheduled), 40946) ),
assertz( happensAtIE( stop_leave(169, bus, 0040946, late), 40947) ),
assertz( happensAtIE( stop_enter(170, bus, 0040958, scheduled), 40955) ),
assertz( happensAtIE( stop_leave(170, bus, 0040958, early), 40956) ),
assertz( happensAtIE( stop_enter(171, bus, 0040967, early), 40967) ),
assertz( happensAtIE( stop_leave(171, bus, 0040967, late), 40968) ),
assertz( happensAtIE( stop_enter(171, bus, 0040976, late), 40973) ),
assertz( happensAtIE( stop_leave(171, bus, 0040976, early), 40977) ),
assertz( happensAtIE( stop_enter(172, bus, 0040985, late), 40982) ),
assertz( happensAtIE( stop_leave(172, bus, 0040985, early), 40985) ),
assertz( happensAtIE( stop_enter(173, bus, 0040988, late), 40986) ),
assertz( happensAtIE( stop_leave(173, bus, 0040988, scheduled), 40988) ),
assertz( happensAtIE( stop_enter(174, bus, 0040995, late), 40995) ),
assertz( happensAtIE( stop_leave(174, bus, 0040995, late), 40997) ).
