 
updateSDE( stop_enter_leave, '1p_all', 8000, 9000 ) :-
assertz( happensAtIE( stop_enter(75, bus, 008005, early), 8002) ),
assertz( happensAtIE( stop_leave(75, bus, 008005, late), 8006) ),
assertz( happensAtIE( stop_enter(75, bus, 008015, early), 8015) ),
assertz( happensAtIE( stop_leave(75, bus, 008015, early), 8016) ),
assertz( happensAtIE( stop_enter(76, bus, 008024, scheduled), 8024) ),
assertz( happensAtIE( stop_leave(76, bus, 008024, scheduled), 8025) ),
assertz( happensAtIE( stop_enter(77, bus, 008027, scheduled), 8032) ),
assertz( happensAtIE( stop_leave(77, bus, 008027, scheduled), 8033) ),
assertz( happensAtIE( stop_enter(78, bus, 008038, early), 8038) ),
assertz( happensAtIE( stop_leave(78, bus, 008038, early), 8041) ),
assertz( happensAtIE( stop_enter(79, bus, 008042, scheduled), 8043) ),
assertz( happensAtIE( stop_leave(79, bus, 008042, early), 8046) ),
assertz( happensAtIE( stop_enter(79, bus, 008057, late), 8050) ),
assertz( happensAtIE( stop_leave(79, bus, 008057, scheduled), 8057) ),
assertz( happensAtIE( stop_enter(80, bus, 008060, late), 8058) ),
assertz( happensAtIE( stop_leave(80, bus, 008060, scheduled), 8062) ),
assertz( happensAtIE( stop_enter(81, bus, 008070, early), 8070) ),
assertz( happensAtIE( stop_leave(81, bus, 008070, early), 8072) ),
assertz( happensAtIE( stop_enter(82, bus, 008074, scheduled), 8079) ),
assertz( happensAtIE( stop_leave(82, bus, 008074, scheduled), 8081) ),
assertz( happensAtIE( stop_enter(83, bus, 008084, early), 8085) ),
assertz( happensAtIE( stop_leave(83, bus, 008084, early), 8086) ),
assertz( happensAtIE( stop_enter(83, bus, 008093, early), 8093) ),
assertz( happensAtIE( stop_leave(83, bus, 008093, early), 8096) ),
assertz( happensAtIE( stop_enter(84, bus, 008103, early), 8100) ),
assertz( happensAtIE( stop_leave(84, bus, 008103, scheduled), 8104) ),
assertz( happensAtIE( stop_enter(85, bus, 008112, scheduled), 8112) ),
assertz( happensAtIE( stop_leave(85, bus, 008112, scheduled), 8113) ),
assertz( happensAtIE( stop_enter(86, bus, 008117, scheduled), 8117) ),
assertz( happensAtIE( stop_leave(86, bus, 008117, scheduled), 8119) ),
assertz( happensAtIE( stop_enter(87, bus, 008125, late), 8125) ),
assertz( happensAtIE( stop_leave(87, bus, 008125, early), 8128) ),
assertz( happensAtIE( stop_enter(87, bus, 008137, early), 8130) ),
assertz( happensAtIE( stop_leave(87, bus, 008137, early), 8131) ),
assertz( happensAtIE( stop_enter(88, bus, 008139, early), 8139) ),
assertz( happensAtIE( stop_leave(88, bus, 008139, late), 8143) ),
assertz( happensAtIE( stop_enter(89, bus, 008151, early), 8151) ),
assertz( happensAtIE( stop_leave(89, bus, 008151, scheduled), 8153) ),
assertz( happensAtIE( stop_enter(90, bus, 008161, early), 8158) ),
assertz( happensAtIE( stop_leave(90, bus, 008161, late), 8160) ),
assertz( happensAtIE( stop_enter(91, bus, 008162, scheduled), 8162) ),
assertz( happensAtIE( stop_leave(91, bus, 008162, scheduled), 8168) ),
assertz( happensAtIE( stop_enter(91, bus, 008171, early), 8172) ),
assertz( happensAtIE( stop_leave(91, bus, 008171, early), 8174) ),
assertz( happensAtIE( stop_enter(92, bus, 008180, early), 8180) ),
assertz( happensAtIE( stop_leave(92, bus, 008180, scheduled), 8184) ),
assertz( happensAtIE( stop_enter(93, bus, 008192, scheduled), 8192) ),
assertz( happensAtIE( stop_leave(93, bus, 008192, late), 8193) ),
assertz( happensAtIE( stop_enter(94, bus, 008196, late), 8194) ),
assertz( happensAtIE( stop_leave(94, bus, 008196, scheduled), 8198) ),
assertz( happensAtIE( stop_enter(95, bus, 008206, late), 8206) ),
assertz( happensAtIE( stop_leave(95, bus, 008206, late), 8208) ),
assertz( happensAtIE( stop_enter(95, bus, 008216, early), 8214) ),
assertz( happensAtIE( stop_leave(95, bus, 008216, late), 8216) ),
assertz( happensAtIE( stop_enter(96, bus, 008218, early), 8218) ),
assertz( happensAtIE( stop_leave(96, bus, 008218, early), 8223) ),
assertz( happensAtIE( stop_enter(97, bus, 008226, late), 8227) ),
assertz( happensAtIE( stop_leave(97, bus, 008226, late), 8228) ),
assertz( happensAtIE( stop_enter(98, bus, 008235, early), 8235) ),
assertz( happensAtIE( stop_leave(98, bus, 008235, early), 8237) ),
assertz( happensAtIE( stop_enter(99, bus, 008248, scheduled), 8245) ),
assertz( happensAtIE( stop_leave(99, bus, 008248, early), 8249) ),
assertz( happensAtIE( stop_enter(99, bus, 008257, early), 8256) ),
assertz( happensAtIE( stop_leave(99, bus, 008257, late), 8257) ),
assertz( happensAtIE( stop_enter(100, bus, 008261, scheduled), 8261) ),
assertz( happensAtIE( stop_leave(100, bus, 008261, late), 8263) ),
assertz( happensAtIE( stop_enter(101, bus, 008273, late), 8272) ),
assertz( happensAtIE( stop_leave(101, bus, 008273, early), 8273) ),
assertz( happensAtIE( stop_enter(102, bus, 008281, late), 8275) ),
assertz( happensAtIE( stop_leave(102, bus, 008281, late), 8276) ),
assertz( happensAtIE( stop_enter(103, bus, 008283, scheduled), 8283) ),
assertz( happensAtIE( stop_leave(103, bus, 008283, scheduled), 8285) ),
assertz( happensAtIE( stop_enter(103, bus, 008295, late), 8292) ),
assertz( happensAtIE( stop_leave(103, bus, 008295, late), 8296) ),
assertz( happensAtIE( stop_enter(104, bus, 008304, early), 8304) ),
assertz( happensAtIE( stop_leave(104, bus, 008304, early), 8305) ),
assertz( happensAtIE( stop_enter(105, bus, 008308, scheduled), 8306) ),
assertz( happensAtIE( stop_leave(105, bus, 008308, early), 8310) ),
assertz( happensAtIE( stop_enter(106, bus, 008316, late), 8315) ),
assertz( happensAtIE( stop_leave(106, bus, 008316, early), 8318) ),
assertz( happensAtIE( stop_enter(107, bus, 008327, early), 8327) ),
assertz( happensAtIE( stop_leave(107, bus, 008327, late), 8328) ),
assertz( happensAtIE( stop_enter(107, bus, 008336, early), 8330) ),
assertz( happensAtIE( stop_leave(107, bus, 008336, scheduled), 8337) ),
assertz( happensAtIE( stop_enter(108, bus, 008338, early), 8338) ),
assertz( happensAtIE( stop_leave(108, bus, 008338, scheduled), 8339) ),
assertz( happensAtIE( stop_enter(109, bus, 008350, scheduled), 8347) ),
assertz( happensAtIE( stop_leave(109, bus, 008350, early), 8351) ),
assertz( happensAtIE( stop_enter(110, bus, 008359, early), 8359) ),
assertz( happensAtIE( stop_leave(110, bus, 008359, late), 8361) ),
assertz( happensAtIE( stop_enter(111, bus, 008363, scheduled), 8368) ),
assertz( happensAtIE( stop_leave(111, bus, 008363, late), 8369) ),
assertz( happensAtIE( stop_enter(111, bus, 008372, scheduled), 8372) ),
assertz( happensAtIE( stop_leave(111, bus, 008372, early), 8373) ),
assertz( happensAtIE( stop_enter(112, bus, 008380, scheduled), 8380) ),
assertz( happensAtIE( stop_leave(112, bus, 008380, scheduled), 8382) ),
assertz( happensAtIE( stop_enter(113, bus, 008392, late), 8392) ),
assertz( happensAtIE( stop_leave(113, bus, 008392, scheduled), 8393) ),
assertz( happensAtIE( stop_enter(114, bus, 008396, scheduled), 8400) ),
assertz( happensAtIE( stop_leave(114, bus, 008396, early), 8401) ),
assertz( happensAtIE( stop_enter(115, bus, 008406, early), 8406) ),
assertz( happensAtIE( stop_leave(115, bus, 008406, early), 8409) ),
assertz( happensAtIE( stop_enter(115, bus, 008411, early), 8416) ),
assertz( happensAtIE( stop_leave(115, bus, 008411, early), 8417) ),
assertz( happensAtIE( stop_enter(116, bus, 008420, early), 8420) ),
assertz( happensAtIE( stop_leave(116, bus, 008420, late), 8425) ),
assertz( happensAtIE( stop_enter(117, bus, 008428, late), 8429) ),
assertz( happensAtIE( stop_leave(117, bus, 008428, early), 8431) ),
assertz( happensAtIE( stop_enter(118, bus, 008437, late), 8437) ),
assertz( happensAtIE( stop_leave(118, bus, 008437, late), 8440) ),
assertz( happensAtIE( stop_enter(119, bus, 008442, early), 8447) ),
assertz( happensAtIE( stop_leave(119, bus, 008442, early), 8448) ),
assertz( happensAtIE( stop_enter(119, bus, 008452, early), 8453) ),
assertz( happensAtIE( stop_leave(119, bus, 008452, scheduled), 8455) ),
assertz( happensAtIE( stop_enter(120, bus, 008465, late), 8462) ),
assertz( happensAtIE( stop_leave(120, bus, 008465, early), 8464) ),
assertz( happensAtIE( stop_enter(121, bus, 008466, early), 8467) ),
assertz( happensAtIE( stop_leave(121, bus, 008466, early), 8470) ),
assertz( happensAtIE( stop_enter(122, bus, 008481, scheduled), 8480) ),
assertz( happensAtIE( stop_leave(122, bus, 008481, late), 8481) ),
assertz( happensAtIE( stop_enter(123, bus, 008484, early), 8484) ),
assertz( happensAtIE( stop_leave(123, bus, 008484, late), 8486) ),
assertz( happensAtIE( stop_enter(123, bus, 008496, late), 8493) ),
assertz( happensAtIE( stop_leave(123, bus, 008496, late), 8497) ),
assertz( happensAtIE( stop_enter(124, bus, 008500, late), 8498) ),
assertz( happensAtIE( stop_leave(124, bus, 008500, early), 8505) ),
assertz( happensAtIE( stop_enter(125, bus, 008507, scheduled), 8512) ),
assertz( happensAtIE( stop_leave(125, bus, 008507, late), 8513) ),
assertz( happensAtIE( stop_enter(126, bus, 008516, late), 8517) ),
assertz( happensAtIE( stop_leave(126, bus, 008516, early), 8519) ),
assertz( happensAtIE( stop_enter(127, bus, 008525, late), 8525) ),
assertz( happensAtIE( stop_leave(127, bus, 008525, late), 8528) ),
assertz( happensAtIE( stop_enter(127, bus, 008530, late), 8535) ),
assertz( happensAtIE( stop_leave(127, bus, 008530, late), 8536) ),
assertz( happensAtIE( stop_enter(128, bus, 008540, early), 8541) ),
assertz( happensAtIE( stop_leave(128, bus, 008540, early), 8543) ),
assertz( happensAtIE( stop_enter(129, bus, 008553, late), 8550) ),
assertz( happensAtIE( stop_leave(129, bus, 008553, early), 8551) ),
assertz( happensAtIE( stop_enter(130, bus, 008560, early), 8560) ),
assertz( happensAtIE( stop_leave(130, bus, 008560, early), 8561) ),
assertz( happensAtIE( stop_enter(131, bus, 008569, scheduled), 8562) ),
assertz( happensAtIE( stop_leave(131, bus, 008569, late), 8564) ),
assertz( happensAtIE( stop_enter(131, bus, 008572, late), 8572) ),
assertz( happensAtIE( stop_leave(131, bus, 008572, scheduled), 8574) ),
assertz( happensAtIE( stop_enter(132, bus, 008584, late), 8581) ),
assertz( happensAtIE( stop_leave(132, bus, 008584, scheduled), 8585) ),
assertz( happensAtIE( stop_enter(133, bus, 008593, scheduled), 8586) ),
assertz( happensAtIE( stop_leave(133, bus, 008593, early), 8587) ),
assertz( happensAtIE( stop_enter(134, bus, 008597, scheduled), 8595) ),
assertz( happensAtIE( stop_leave(134, bus, 008597, late), 8596) ),
assertz( happensAtIE( stop_enter(135, bus, 008607, late), 8607) ),
assertz( happensAtIE( stop_leave(135, bus, 008607, scheduled), 8608) ),
assertz( happensAtIE( stop_enter(135, bus, 008614, scheduled), 8614) ),
assertz( happensAtIE( stop_leave(135, bus, 008614, early), 8616) ),
assertz( happensAtIE( stop_enter(136, bus, 008618, early), 8623) ),
assertz( happensAtIE( stop_leave(136, bus, 008618, scheduled), 8625) ),
assertz( happensAtIE( stop_enter(137, bus, 008629, early), 8629) ),
assertz( happensAtIE( stop_leave(137, bus, 008629, scheduled), 8631) ),
assertz( happensAtIE( stop_enter(138, bus, 008637, late), 8637) ),
assertz( happensAtIE( stop_leave(138, bus, 008637, early), 8639) ),
assertz( happensAtIE( stop_enter(139, bus, 008649, scheduled), 8646) ),
assertz( happensAtIE( stop_leave(139, bus, 008649, late), 8647) ),
assertz( happensAtIE( stop_enter(139, bus, 008653, scheduled), 8652) ),
assertz( happensAtIE( stop_leave(139, bus, 008653, late), 8655) ),
assertz( happensAtIE( stop_enter(140, bus, 008662, late), 8660) ),
assertz( happensAtIE( stop_leave(140, bus, 008662, early), 8661) ),
assertz( happensAtIE( stop_enter(141, bus, 008672, early), 8672) ),
assertz( happensAtIE( stop_leave(141, bus, 008672, early), 8673) ),
assertz( happensAtIE( stop_enter(142, bus, 008680, scheduled), 8674) ),
assertz( happensAtIE( stop_leave(142, bus, 008680, scheduled), 8681) ),
assertz( happensAtIE( stop_enter(143, bus, 008684, scheduled), 8682) ),
assertz( happensAtIE( stop_leave(143, bus, 008684, early), 8686) ),
assertz( happensAtIE( stop_enter(143, bus, 008693, late), 8694) ),
assertz( happensAtIE( stop_leave(143, bus, 008693, early), 8696) ),
assertz( happensAtIE( stop_enter(144, bus, 008698, late), 8702) ),
assertz( happensAtIE( stop_leave(144, bus, 008698, late), 8705) ),
assertz( happensAtIE( stop_enter(145, bus, 008709, late), 8708) ),
assertz( happensAtIE( stop_leave(145, bus, 008709, late), 8713) ),
assertz( happensAtIE( stop_enter(146, bus, 008715, early), 8716) ),
assertz( happensAtIE( stop_leave(146, bus, 008715, late), 8718) ),
assertz( happensAtIE( stop_enter(147, bus, 008725, scheduled), 8724) ),
assertz( happensAtIE( stop_leave(147, bus, 008725, late), 8727) ),
assertz( happensAtIE( stop_enter(147, bus, 008737, early), 8734) ),
assertz( happensAtIE( stop_leave(147, bus, 008737, early), 8735) ),
assertz( happensAtIE( stop_enter(148, bus, 008740, late), 8740) ),
assertz( happensAtIE( stop_leave(148, bus, 008740, late), 8742) ),
assertz( happensAtIE( stop_enter(149, bus, 008752, early), 8749) ),
assertz( happensAtIE( stop_leave(149, bus, 008752, early), 8751) ),
assertz( happensAtIE( stop_enter(150, bus, 008761, scheduled), 8754) ),
assertz( happensAtIE( stop_leave(150, bus, 008761, early), 8760) ),
assertz( happensAtIE( stop_enter(151, bus, 008763, scheduled), 8764) ),
assertz( happensAtIE( stop_leave(151, bus, 008763, scheduled), 8767) ),
assertz( happensAtIE( stop_enter(151, bus, 008770, scheduled), 8771) ),
assertz( happensAtIE( stop_leave(151, bus, 008770, early), 8772) ),
assertz( happensAtIE( stop_enter(152, bus, 008782, early), 8779) ),
assertz( happensAtIE( stop_leave(152, bus, 008782, scheduled), 8783) ),
assertz( happensAtIE( stop_enter(153, bus, 008791, scheduled), 8791) ),
assertz( happensAtIE( stop_leave(153, bus, 008791, early), 8793) ),
assertz( happensAtIE( stop_enter(154, bus, 008795, late), 8800) ),
assertz( happensAtIE( stop_leave(154, bus, 008795, early), 8801) ),
assertz( happensAtIE( stop_enter(155, bus, 008806, late), 8806) ),
assertz( happensAtIE( stop_leave(155, bus, 008806, scheduled), 8809) ),
assertz( happensAtIE( stop_enter(155, bus, 008811, late), 8816) ),
assertz( happensAtIE( stop_leave(155, bus, 008811, late), 8817) ),
assertz( happensAtIE( stop_enter(156, bus, 008818, scheduled), 8819) ),
assertz( happensAtIE( stop_leave(156, bus, 008818, early), 8824) ),
assertz( happensAtIE( stop_enter(157, bus, 008827, early), 8828) ),
assertz( happensAtIE( stop_leave(157, bus, 008827, scheduled), 8830) ),
assertz( happensAtIE( stop_enter(158, bus, 008836, early), 8837) ),
assertz( happensAtIE( stop_leave(158, bus, 008836, late), 8839) ),
assertz( happensAtIE( stop_enter(159, bus, 008849, early), 8846) ),
assertz( happensAtIE( stop_leave(159, bus, 008849, late), 8849) ),
assertz( happensAtIE( stop_enter(159, bus, 008853, early), 8850) ),
assertz( happensAtIE( stop_leave(159, bus, 008853, scheduled), 8854) ),
assertz( happensAtIE( stop_enter(160, bus, 008862, scheduled), 8862) ),
assertz( happensAtIE( stop_leave(160, bus, 008862, late), 8865) ),
assertz( happensAtIE( stop_enter(161, bus, 008867, scheduled), 8871) ),
assertz( happensAtIE( stop_leave(161, bus, 008867, scheduled), 8872) ),
assertz( happensAtIE( stop_enter(162, bus, 008874, early), 8874) ),
assertz( happensAtIE( stop_leave(162, bus, 008874, late), 8880) ),
assertz( happensAtIE( stop_enter(163, bus, 008882, early), 8883) ),
assertz( happensAtIE( stop_leave(163, bus, 008882, late), 8884) ),
assertz( happensAtIE( stop_enter(163, bus, 008892, scheduled), 8892) ),
assertz( happensAtIE( stop_leave(163, bus, 008892, scheduled), 8894) ),
assertz( happensAtIE( stop_enter(164, bus, 008904, early), 8901) ),
assertz( happensAtIE( stop_leave(164, bus, 008904, late), 8905) ),
assertz( happensAtIE( stop_enter(165, bus, 008908, early), 8906) ),
assertz( happensAtIE( stop_leave(165, bus, 008908, early), 8909) ),
assertz( happensAtIE( stop_enter(166, bus, 008917, scheduled), 8917) ),
assertz( happensAtIE( stop_leave(166, bus, 008917, late), 8920) ),
assertz( happensAtIE( stop_enter(167, bus, 008929, scheduled), 8927) ),
assertz( happensAtIE( stop_leave(167, bus, 008929, late), 8928) ),
assertz( happensAtIE( stop_enter(167, bus, 008937, scheduled), 8936) ),
assertz( happensAtIE( stop_leave(167, bus, 008937, late), 8937) ),
assertz( happensAtIE( stop_enter(168, bus, 008945, scheduled), 8939) ),
assertz( happensAtIE( stop_leave(168, bus, 008945, early), 8940) ),
assertz( happensAtIE( stop_enter(169, bus, 008947, early), 8947) ),
assertz( happensAtIE( stop_leave(169, bus, 008947, scheduled), 8949) ),
assertz( happensAtIE( stop_enter(170, bus, 008959, scheduled), 8956) ),
assertz( happensAtIE( stop_leave(170, bus, 008959, scheduled), 8961) ),
assertz( happensAtIE( stop_enter(171, bus, 008969, scheduled), 8968) ),
assertz( happensAtIE( stop_leave(171, bus, 008969, late), 8969) ),
assertz( happensAtIE( stop_enter(171, bus, 008972, scheduled), 8973) ),
assertz( happensAtIE( stop_leave(171, bus, 008972, late), 8975) ),
assertz( happensAtIE( stop_enter(172, bus, 008979, scheduled), 8980) ),
assertz( happensAtIE( stop_leave(172, bus, 008979, scheduled), 8982) ),
assertz( happensAtIE( stop_enter(173, bus, 008992, scheduled), 8989) ),
assertz( happensAtIE( stop_leave(173, bus, 008992, scheduled), 8993) ),
assertz( happensAtIE( stop_enter(174, bus, 008999, late), 8994) ),
assertz( happensAtIE( stop_leave(174, bus, 008999, late), 8996) ).
