module TZInfo
  module Definitions
    module Asia
      module Riyadh87
        include TimezoneDefinition
        
        timezone 'Asia/Riyadh87' do |tz|
          tz.offset :o0, 11224, 0, :zzz
          tz.offset :o1, 11224, -200, :zzz
          tz.offset :o2, 11224, -230, :zzz
          tz.offset :o3, 11224, -255, :zzz
          tz.offset :o4, 11224, -285, :zzz
          tz.offset :o5, 11224, -310, :zzz
          tz.offset :o6, 11224, -340, :zzz
          tz.offset :o7, 11224, -365, :zzz
          tz.offset :o8, 11224, -390, :zzz
          tz.offset :o9, 11224, -415, :zzz
          tz.offset :o10, 11224, -440, :zzz
          tz.offset :o11, 11224, -465, :zzz
          tz.offset :o12, 11224, -490, :zzz
          tz.offset :o13, 11224, -510, :zzz
          tz.offset :o14, 11224, -535, :zzz
          tz.offset :o15, 11224, -555, :zzz
          tz.offset :o16, 11224, -575, :zzz
          tz.offset :o17, 11224, -595, :zzz
          tz.offset :o18, 11224, -615, :zzz
          tz.offset :o19, 11224, -635, :zzz
          tz.offset :o20, 11224, -655, :zzz
          tz.offset :o21, 11224, -670, :zzz
          tz.offset :o22, 11224, -690, :zzz
          tz.offset :o23, 11224, -705, :zzz
          tz.offset :o24, 11224, -720, :zzz
          tz.offset :o25, 11224, -735, :zzz
          tz.offset :o26, 11224, -750, :zzz
          tz.offset :o27, 11224, -760, :zzz
          tz.offset :o28, 11224, -775, :zzz
          tz.offset :o29, 11224, -785, :zzz
          tz.offset :o30, 11224, -795, :zzz
          tz.offset :o31, 11224, -805, :zzz
          tz.offset :o32, 11224, -815, :zzz
          tz.offset :o33, 11224, -820, :zzz
          tz.offset :o34, 11224, -830, :zzz
          tz.offset :o35, 11224, -835, :zzz
          tz.offset :o36, 11224, -840, :zzz
          tz.offset :o37, 11224, -845, :zzz
          tz.offset :o38, 11224, -850, :zzz
          tz.offset :o39, 11224, -855, :zzz
          tz.offset :o40, 11224, -825, :zzz
          tz.offset :o41, 11224, -810, :zzz
          tz.offset :o42, 11224, -800, :zzz
          tz.offset :o43, 11224, -790, :zzz
          tz.offset :o44, 11224, -780, :zzz
          tz.offset :o45, 11224, -770, :zzz
          tz.offset :o46, 11224, -740, :zzz
          tz.offset :o47, 11224, -725, :zzz
          tz.offset :o48, 11224, -715, :zzz
          tz.offset :o49, 11224, -700, :zzz
          tz.offset :o50, 11224, -685, :zzz
          tz.offset :o51, 11224, -675, :zzz
          tz.offset :o52, 11224, -660, :zzz
          tz.offset :o53, 11224, -645, :zzz
          tz.offset :o54, 11224, -630, :zzz
          tz.offset :o55, 11224, -580, :zzz
          tz.offset :o56, 11224, -565, :zzz
          tz.offset :o57, 11224, -550, :zzz
          tz.offset :o58, 11224, -530, :zzz
          tz.offset :o59, 11224, -515, :zzz
          tz.offset :o60, 11224, -495, :zzz
          tz.offset :o61, 11224, -480, :zzz
          tz.offset :o62, 11224, -460, :zzz
          tz.offset :o63, 11224, -445, :zzz
          tz.offset :o64, 11224, -425, :zzz
          tz.offset :o65, 11224, -410, :zzz
          tz.offset :o66, 11224, -370, :zzz
          tz.offset :o67, 11224, -355, :zzz
          tz.offset :o68, 11224, -335, :zzz
          tz.offset :o69, 11224, -315, :zzz
          tz.offset :o70, 11224, -300, :zzz
          tz.offset :o71, 11224, -280, :zzz
          tz.offset :o72, 11224, -265, :zzz
          tz.offset :o73, 11224, -245, :zzz
          tz.offset :o74, 11224, -225, :zzz
          tz.offset :o75, 11224, -210, :zzz
          tz.offset :o76, 11224, -190, :zzz
          tz.offset :o77, 11224, -175, :zzz
          tz.offset :o78, 11224, -155, :zzz
          tz.offset :o79, 11224, -140, :zzz
          tz.offset :o80, 11224, -125, :zzz
          tz.offset :o81, 11224, -105, :zzz
          tz.offset :o82, 11224, -90, :zzz
          tz.offset :o83, 11224, -75, :zzz
          tz.offset :o84, 11224, -55, :zzz
          tz.offset :o85, 11224, -40, :zzz
          tz.offset :o86, 11224, -25, :zzz
          tz.offset :o87, 11224, -10, :zzz
          tz.offset :o88, 11224, 5, :zzz
          tz.offset :o89, 11224, 15, :zzz
          tz.offset :o90, 11224, 30, :zzz
          tz.offset :o91, 11224, 45, :zzz
          tz.offset :o92, 11224, 55, :zzz
          tz.offset :o93, 11224, 70, :zzz
          tz.offset :o94, 11224, 80, :zzz
          tz.offset :o95, 11224, 95, :zzz
          tz.offset :o96, 11224, 105, :zzz
          tz.offset :o97, 11224, 115, :zzz
          tz.offset :o98, 11224, 125, :zzz
          tz.offset :o99, 11224, 135, :zzz
          tz.offset :o100, 11224, 145, :zzz
          tz.offset :o101, 11224, 155, :zzz
          tz.offset :o102, 11224, 165, :zzz
          tz.offset :o103, 11224, 170, :zzz
          tz.offset :o104, 11224, 180, :zzz
          tz.offset :o105, 11224, 185, :zzz
          tz.offset :o106, 11224, 190, :zzz
          tz.offset :o107, 11224, 195, :zzz
          tz.offset :o108, 11224, 200, :zzz
          tz.offset :o109, 11224, 205, :zzz
          tz.offset :o110, 11224, 210, :zzz
          tz.offset :o111, 11224, 215, :zzz
          tz.offset :o112, 11224, 220, :zzz
          tz.offset :o113, 11224, 150, :zzz
          tz.offset :o114, 11224, 140, :zzz
          tz.offset :o115, 11224, 130, :zzz
          tz.offset :o116, 11224, 120, :zzz
          tz.offset :o117, 11224, 110, :zzz
          tz.offset :o118, 11224, 100, :zzz
          tz.offset :o119, 11224, 90, :zzz
          tz.offset :o120, 11224, 20, :zzz
          tz.offset :o121, 11224, 10, :zzz
          tz.offset :o122, 11224, -5, :zzz
          tz.offset :o123, 11224, -15, :zzz
          tz.offset :o124, 11224, -30, :zzz
          tz.offset :o125, 11224, -45, :zzz
          tz.offset :o126, 11224, -70, :zzz
          tz.offset :o127, 11224, -80, :zzz
          tz.offset :o128, 11224, -95, :zzz
          tz.offset :o129, 11224, -110, :zzz
          tz.offset :o130, 11224, -120, :zzz
          tz.offset :o131, 11224, -135, :zzz
          tz.offset :o132, 11224, -145, :zzz
          tz.offset :o133, 11224, -160, :zzz
          tz.offset :o134, 11224, -170, :zzz
          tz.offset :o135, 11224, -185, :zzz
          tz.offset :o136, 11224, -195, :zzz
          tz.offset :o137, 11224, -220, :zzz
          tz.offset :o138, 11224, -275, :zzz
          tz.offset :o139, 11224, -295, :zzz
          tz.offset :o140, 11224, -305, :zzz
          tz.offset :o141, 11224, -320, :zzz
          tz.offset :o142, 11224, -330, :zzz
          tz.offset :o143, 11224, -345, :zzz
          tz.offset :o144, 11224, -350, :zzz
          tz.offset :o145, 11224, -360, :zzz
          tz.offset :o146, 11224, -375, :zzz
          tz.offset :o147, 11224, -380, :zzz
          tz.offset :o148, 11224, -385, :zzz
          tz.offset :o149, 11224, -325, :zzz
          tz.offset :o150, 11224, -250, :zzz
          tz.offset :o151, 11224, -240, :zzz
          tz.offset :o152, 11224, -180, :zzz
          tz.offset :o153, 11224, -165, :zzz
          tz.offset :o154, 11224, -150, :zzz
          tz.offset :o155, 11224, -100, :zzz
          tz.offset :o156, 11224, -85, :zzz
          tz.offset :o157, 11224, -65, :zzz
          tz.offset :o158, 11224, -50, :zzz
          tz.offset :o159, 11224, 25, :zzz
          tz.offset :o160, 11224, 65, :zzz
          tz.offset :o161, 11224, 85, :zzz
          tz.offset :o162, 11224, 230, :zzz
          tz.offset :o163, 11224, 255, :zzz
          tz.offset :o164, 11224, 275, :zzz
          tz.offset :o165, 11224, 295, :zzz
          tz.offset :o166, 11224, 315, :zzz
          tz.offset :o167, 11224, 340, :zzz
          tz.offset :o168, 11224, 360, :zzz
          tz.offset :o169, 11224, 380, :zzz
          tz.offset :o170, 11224, 405, :zzz
          tz.offset :o171, 11224, 425, :zzz
          tz.offset :o172, 11224, 445, :zzz
          tz.offset :o173, 11224, 465, :zzz
          tz.offset :o174, 11224, 485, :zzz
          tz.offset :o175, 11224, 505, :zzz
          tz.offset :o176, 11224, 530, :zzz
          tz.offset :o177, 11224, 550, :zzz
          tz.offset :o178, 11224, 570, :zzz
          tz.offset :o179, 11224, 590, :zzz
          tz.offset :o180, 11224, 610, :zzz
          tz.offset :o181, 11224, 625, :zzz
          tz.offset :o182, 11224, 645, :zzz
          tz.offset :o183, 11224, 665, :zzz
          tz.offset :o184, 11224, 685, :zzz
          tz.offset :o185, 11224, 700, :zzz
          tz.offset :o186, 11224, 720, :zzz
          tz.offset :o187, 11224, 735, :zzz
          tz.offset :o188, 11224, 755, :zzz
          tz.offset :o189, 11224, 770, :zzz
          tz.offset :o190, 11224, 785, :zzz
          tz.offset :o191, 11224, 800, :zzz
          tz.offset :o192, 11224, 815, :zzz
          tz.offset :o193, 11224, 830, :zzz
          tz.offset :o194, 11224, 845, :zzz
          tz.offset :o195, 11224, 855, :zzz
          tz.offset :o196, 11224, 870, :zzz
          tz.offset :o197, 11224, 880, :zzz
          tz.offset :o198, 11224, 895, :zzz
          tz.offset :o199, 11224, 905, :zzz
          tz.offset :o200, 11224, 915, :zzz
          tz.offset :o201, 11224, 925, :zzz
          tz.offset :o202, 11224, 935, :zzz
          tz.offset :o203, 11224, 940, :zzz
          tz.offset :o204, 11224, 950, :zzz
          tz.offset :o205, 11224, 955, :zzz
          tz.offset :o206, 11224, 965, :zzz
          tz.offset :o207, 11224, 970, :zzz
          tz.offset :o208, 11224, 975, :zzz
          tz.offset :o209, 11224, 980, :zzz
          tz.offset :o210, 11224, 985, :zzz
          tz.offset :o211, 11224, 960, :zzz
          tz.offset :o212, 11224, 945, :zzz
          tz.offset :o213, 11224, 930, :zzz
          tz.offset :o214, 11224, 920, :zzz
          tz.offset :o215, 11224, 910, :zzz
          tz.offset :o216, 11224, 885, :zzz
          tz.offset :o217, 11224, 840, :zzz
          tz.offset :o218, 11224, 825, :zzz
          tz.offset :o219, 11224, 810, :zzz
          tz.offset :o220, 11224, 790, :zzz
          tz.offset :o221, 11224, 715, :zzz
          tz.offset :o222, 11224, 690, :zzz
          tz.offset :o223, 11224, 670, :zzz
          tz.offset :o224, 11224, 650, :zzz
          tz.offset :o225, 11224, 600, :zzz
          tz.offset :o226, 11224, 575, :zzz
          tz.offset :o227, 11224, 525, :zzz
          tz.offset :o228, 11224, 500, :zzz
          tz.offset :o229, 11224, 475, :zzz
          tz.offset :o230, 11224, 450, :zzz
          tz.offset :o231, 11224, 420, :zzz
          tz.offset :o232, 11224, 395, :zzz
          tz.offset :o233, 11224, 365, :zzz
          tz.offset :o234, 11224, 335, :zzz
          tz.offset :o235, 11224, 310, :zzz
          tz.offset :o236, 11224, 280, :zzz
          tz.offset :o237, 11224, 250, :zzz
          tz.offset :o238, 11224, 160, :zzz
          tz.offset :o239, 11224, 40, :zzz
          tz.offset :o240, 11224, -20, :zzz
          
          tz.transition 1987, 1, :o1, 536489776
          tz.transition 1987, 1, :o2, 536576206
          tz.transition 1987, 1, :o3, 536662631
          tz.transition 1987, 1, :o4, 536749061
          tz.transition 1987, 1, :o5, 536835486
          tz.transition 1987, 1, :o6, 536921916
          tz.transition 1987, 1, :o7, 537008341
          tz.transition 1987, 1, :o8, 537094766
          tz.transition 1987, 1, :o9, 537181191
          tz.transition 1987, 1, :o10, 537267616
          tz.transition 1987, 1, :o11, 537354041
          tz.transition 1987, 1, :o12, 537440466
          tz.transition 1987, 1, :o13, 537526886
          tz.transition 1987, 1, :o14, 537613311
          tz.transition 1987, 1, :o15, 537699731
          tz.transition 1987, 1, :o16, 537786151
          tz.transition 1987, 1, :o17, 537872571
          tz.transition 1987, 1, :o18, 537958991
          tz.transition 1987, 1, :o19, 538045411
          tz.transition 1987, 1, :o20, 538131831
          tz.transition 1987, 1, :o21, 538218246
          tz.transition 1987, 1, :o22, 538304666
          tz.transition 1987, 1, :o23, 538391081
          tz.transition 1987, 1, :o24, 538477496
          tz.transition 1987, 1, :o25, 538563911
          tz.transition 1987, 1, :o26, 538650326
          tz.transition 1987, 1, :o27, 538736736
          tz.transition 1987, 1, :o28, 538823151
          tz.transition 1987, 1, :o29, 538909561
          tz.transition 1987, 1, :o30, 538995971
          tz.transition 1987, 1, :o31, 539082381
          tz.transition 1987, 2, :o32, 539168791
          tz.transition 1987, 2, :o33, 539255196
          tz.transition 1987, 2, :o34, 539341606
          tz.transition 1987, 2, :o35, 539428011
          tz.transition 1987, 2, :o36, 539514416
          tz.transition 1987, 2, :o37, 539600821
          tz.transition 1987, 2, :o38, 539687226
          tz.transition 1987, 2, :o39, 539860031
          tz.transition 1987, 2, :o38, 540378426
          tz.transition 1987, 2, :o37, 540551221
          tz.transition 1987, 2, :o36, 540637616
          tz.transition 1987, 2, :o35, 540724011
          tz.transition 1987, 2, :o34, 540810406
          tz.transition 1987, 2, :o40, 540896801
          tz.transition 1987, 2, :o32, 540983191
          tz.transition 1987, 2, :o41, 541069586
          tz.transition 1987, 2, :o42, 541155976
          tz.transition 1987, 2, :o43, 541242366
          tz.transition 1987, 2, :o44, 541328756
          tz.transition 1987, 2, :o45, 541415146
          tz.transition 1987, 2, :o27, 541501536
          tz.transition 1987, 3, :o26, 541587926
          tz.transition 1987, 3, :o46, 541674316
          tz.transition 1987, 3, :o47, 541760701
          tz.transition 1987, 3, :o48, 541847091
          tz.transition 1987, 3, :o49, 541933476
          tz.transition 1987, 3, :o50, 542019861
          tz.transition 1987, 3, :o51, 542106251
          tz.transition 1987, 3, :o52, 542192636
          tz.transition 1987, 3, :o53, 542279021
          tz.transition 1987, 3, :o54, 542365406
          tz.transition 1987, 3, :o18, 542451791
          tz.transition 1987, 3, :o17, 542538171
          tz.transition 1987, 3, :o55, 542624556
          tz.transition 1987, 3, :o56, 542710941
          tz.transition 1987, 3, :o57, 542797326
          tz.transition 1987, 3, :o58, 542883706
          tz.transition 1987, 3, :o59, 542970091
          tz.transition 1987, 3, :o60, 543056471
          tz.transition 1987, 3, :o61, 543142856
          tz.transition 1987, 3, :o62, 543229236
          tz.transition 1987, 3, :o63, 543315621
          tz.transition 1987, 3, :o64, 543402001
          tz.transition 1987, 3, :o65, 543488386
          tz.transition 1987, 3, :o8, 543574766
          tz.transition 1987, 3, :o66, 543661146
          tz.transition 1987, 3, :o67, 543747531
          tz.transition 1987, 3, :o68, 543833911
          tz.transition 1987, 3, :o69, 543920291
          tz.transition 1987, 3, :o70, 544006676
          tz.transition 1987, 3, :o71, 544093056
          tz.transition 1987, 3, :o72, 544179441
          tz.transition 1987, 4, :o73, 544265821
          tz.transition 1987, 4, :o74, 544352201
          tz.transition 1987, 4, :o75, 544438586
          tz.transition 1987, 4, :o76, 544524966
          tz.transition 1987, 4, :o77, 544611351
          tz.transition 1987, 4, :o78, 544697731
          tz.transition 1987, 4, :o79, 544784116
          tz.transition 1987, 4, :o80, 544870501
          tz.transition 1987, 4, :o81, 544956881
          tz.transition 1987, 4, :o82, 545043266
          tz.transition 1987, 4, :o83, 545129651
          tz.transition 1987, 4, :o84, 545216031
          tz.transition 1987, 4, :o85, 545302416
          tz.transition 1987, 4, :o86, 545388801
          tz.transition 1987, 4, :o87, 545475186
          tz.transition 1987, 4, :o88, 545561571
          tz.transition 1987, 4, :o89, 545647961
          tz.transition 1987, 4, :o90, 545734346
          tz.transition 1987, 4, :o91, 545820731
          tz.transition 1987, 4, :o92, 545907121
          tz.transition 1987, 4, :o93, 545993506
          tz.transition 1987, 4, :o94, 546079896
          tz.transition 1987, 4, :o95, 546166281
          tz.transition 1987, 4, :o96, 546252671
          tz.transition 1987, 4, :o97, 546339061
          tz.transition 1987, 4, :o98, 546425451
          tz.transition 1987, 4, :o99, 546511841
          tz.transition 1987, 4, :o100, 546598231
          tz.transition 1987, 4, :o101, 546684621
          tz.transition 1987, 4, :o102, 546771011
          tz.transition 1987, 5, :o103, 546857406
          tz.transition 1987, 5, :o104, 546943796
          tz.transition 1987, 5, :o105, 547030191
          tz.transition 1987, 5, :o106, 547116586
          tz.transition 1987, 5, :o107, 547202981
          tz.transition 1987, 5, :o108, 547289376
          tz.transition 1987, 5, :o109, 547375771
          tz.transition 1987, 5, :o110, 547462166
          tz.transition 1987, 5, :o111, 547548561
          tz.transition 1987, 5, :o112, 547721356
          tz.transition 1987, 5, :o111, 548412561
          tz.transition 1987, 5, :o110, 548585366
          tz.transition 1987, 5, :o109, 548671771
          tz.transition 1987, 5, :o108, 548758176
          tz.transition 1987, 5, :o107, 548844581
          tz.transition 1987, 5, :o106, 548930986
          tz.transition 1987, 5, :o105, 549017391
          tz.transition 1987, 5, :o104, 549103796
          tz.transition 1987, 5, :o103, 549190206
          tz.transition 1987, 5, :o102, 549276611
          tz.transition 1987, 5, :o101, 549363021
          tz.transition 1987, 5, :o113, 549449426
          tz.transition 1987, 6, :o114, 549535836
          tz.transition 1987, 6, :o115, 549622246
          tz.transition 1987, 6, :o116, 549708656
          tz.transition 1987, 6, :o117, 549795066
          tz.transition 1987, 6, :o118, 549881476
          tz.transition 1987, 6, :o119, 549967886
          tz.transition 1987, 6, :o94, 550054296
          tz.transition 1987, 6, :o93, 550140706
          tz.transition 1987, 6, :o92, 550227121
          tz.transition 1987, 6, :o91, 550313531
          tz.transition 1987, 6, :o90, 550399946
          tz.transition 1987, 6, :o120, 550486356
          tz.transition 1987, 6, :o121, 550572766
          tz.transition 1987, 6, :o122, 550659181
          tz.transition 1987, 6, :o123, 550745591
          tz.transition 1987, 6, :o124, 550832006
          tz.transition 1987, 6, :o125, 550918421
          tz.transition 1987, 6, :o84, 551004831
          tz.transition 1987, 6, :o126, 551091246
          tz.transition 1987, 6, :o127, 551177656
          tz.transition 1987, 6, :o128, 551264071
          tz.transition 1987, 6, :o129, 551350486
          tz.transition 1987, 6, :o130, 551436896
          tz.transition 1987, 6, :o131, 551523311
          tz.transition 1987, 6, :o132, 551609721
          tz.transition 1987, 6, :o133, 551696136
          tz.transition 1987, 6, :o134, 551782546
          tz.transition 1987, 6, :o135, 551868961
          tz.transition 1987, 6, :o136, 551955371
          tz.transition 1987, 6, :o75, 552041786
          tz.transition 1987, 7, :o137, 552128196
          tz.transition 1987, 7, :o2, 552214606
          tz.transition 1987, 7, :o73, 552301021
          tz.transition 1987, 7, :o3, 552387431
          tz.transition 1987, 7, :o72, 552473841
          tz.transition 1987, 7, :o138, 552560251
          tz.transition 1987, 7, :o4, 552646661
          tz.transition 1987, 7, :o139, 552733071
          tz.transition 1987, 7, :o140, 552819481
          tz.transition 1987, 7, :o69, 552905891
          tz.transition 1987, 7, :o141, 552992296
          tz.transition 1987, 7, :o142, 553078706
          tz.transition 1987, 7, :o6, 553165116
          tz.transition 1987, 7, :o143, 553251521
          tz.transition 1987, 7, :o144, 553337926
          tz.transition 1987, 7, :o145, 553424336
          tz.transition 1987, 7, :o7, 553510741
          tz.transition 1987, 7, :o66, 553597146
          tz.transition 1987, 7, :o146, 553683551
          tz.transition 1987, 7, :o147, 553856356
          tz.transition 1987, 7, :o148, 553942761
          tz.transition 1987, 7, :o8, 554201966
          tz.transition 1987, 7, :o148, 554547561
          tz.transition 1987, 8, :o147, 554806756
          tz.transition 1987, 8, :o146, 554893151
          tz.transition 1987, 8, :o66, 554979546
          tz.transition 1987, 8, :o7, 555065941
          tz.transition 1987, 8, :o145, 555152336
          tz.transition 1987, 8, :o67, 555238731
          tz.transition 1987, 8, :o144, 555325126
          tz.transition 1987, 8, :o6, 555411516
          tz.transition 1987, 8, :o68, 555497911
          tz.transition 1987, 8, :o149, 555584301
          tz.transition 1987, 8, :o69, 555670691
          tz.transition 1987, 8, :o140, 555757081
          tz.transition 1987, 8, :o139, 555843471
          tz.transition 1987, 8, :o4, 555929861
          tz.transition 1987, 8, :o138, 556016251
          tz.transition 1987, 8, :o72, 556102641
          tz.transition 1987, 8, :o150, 556189026
          tz.transition 1987, 8, :o151, 556275416
          tz.transition 1987, 8, :o74, 556361801
          tz.transition 1987, 8, :o75, 556448186
          tz.transition 1987, 8, :o136, 556534571
          tz.transition 1987, 8, :o152, 556620956
          tz.transition 1987, 8, :o153, 556707341
          tz.transition 1987, 8, :o154, 556793726
          tz.transition 1987, 8, :o131, 556880111
          tz.transition 1987, 8, :o130, 556966496
          tz.transition 1987, 8, :o155, 557052876
          tz.transition 1987, 8, :o156, 557139261
          tz.transition 1987, 8, :o157, 557225641
          tz.transition 1987, 8, :o158, 557312026
          tz.transition 1987, 8, :o124, 557398406
          tz.transition 1987, 9, :o87, 557484786
          tz.transition 1987, 9, :o121, 557571166
          tz.transition 1987, 9, :o159, 557657551
          tz.transition 1987, 9, :o91, 557743931
          tz.transition 1987, 9, :o160, 557830311
          tz.transition 1987, 9, :o161, 557916691
          tz.transition 1987, 9, :o96, 558003071
          tz.transition 1987, 9, :o98, 558089451
          tz.transition 1987, 9, :o113, 558175826
          tz.transition 1987, 9, :o103, 558262206
          tz.transition 1987, 9, :o106, 558348586
          tz.transition 1987, 9, :o110, 558434966
          tz.transition 1987, 9, :o162, 558521346
          tz.transition 1987, 9, :o163, 558607721
          tz.transition 1987, 9, :o164, 558694101
          tz.transition 1987, 9, :o165, 558780481
          tz.transition 1987, 9, :o166, 558866861
          tz.transition 1987, 9, :o167, 558953236
          tz.transition 1987, 9, :o168, 559039616
          tz.transition 1987, 9, :o169, 559125996
          tz.transition 1987, 9, :o170, 559212371
          tz.transition 1987, 9, :o171, 559298751
          tz.transition 1987, 9, :o172, 559385131
          tz.transition 1987, 9, :o173, 559471511
          tz.transition 1987, 9, :o174, 559557891
          tz.transition 1987, 9, :o175, 559644271
          tz.transition 1987, 9, :o176, 559730646
          tz.transition 1987, 9, :o177, 559817026
          tz.transition 1987, 9, :o178, 559903406
          tz.transition 1987, 9, :o179, 559989786
          tz.transition 1987, 10, :o180, 560076166
          tz.transition 1987, 10, :o181, 560162551
          tz.transition 1987, 10, :o182, 560248931
          tz.transition 1987, 10, :o183, 560335311
          tz.transition 1987, 10, :o184, 560421691
          tz.transition 1987, 10, :o185, 560508076
          tz.transition 1987, 10, :o186, 560594456
          tz.transition 1987, 10, :o187, 560680841
          tz.transition 1987, 10, :o188, 560767221
          tz.transition 1987, 10, :o189, 560853606
          tz.transition 1987, 10, :o190, 560939991
          tz.transition 1987, 10, :o191, 561026376
          tz.transition 1987, 10, :o192, 561112761
          tz.transition 1987, 10, :o193, 561199146
          tz.transition 1987, 10, :o194, 561285531
          tz.transition 1987, 10, :o195, 561371921
          tz.transition 1987, 10, :o196, 561458306
          tz.transition 1987, 10, :o197, 561544696
          tz.transition 1987, 10, :o198, 561631081
          tz.transition 1987, 10, :o199, 561717471
          tz.transition 1987, 10, :o200, 561803861
          tz.transition 1987, 10, :o201, 561890251
          tz.transition 1987, 10, :o202, 561976641
          tz.transition 1987, 10, :o203, 562063036
          tz.transition 1987, 10, :o204, 562149426
          tz.transition 1987, 10, :o205, 562235821
          tz.transition 1987, 10, :o206, 562322211
          tz.transition 1987, 10, :o207, 562408606
          tz.transition 1987, 10, :o208, 562495001
          tz.transition 1987, 10, :o209, 562667796
          tz.transition 1987, 11, :o210, 562840591
          tz.transition 1987, 11, :o209, 563186196
          tz.transition 1987, 11, :o208, 563359001
          tz.transition 1987, 11, :o207, 563445406
          tz.transition 1987, 11, :o206, 563531811
          tz.transition 1987, 11, :o211, 563618216
          tz.transition 1987, 11, :o205, 563704621
          tz.transition 1987, 11, :o212, 563791031
          tz.transition 1987, 11, :o203, 563877436
          tz.transition 1987, 11, :o213, 563963846
          tz.transition 1987, 11, :o214, 564050256
          tz.transition 1987, 11, :o215, 564136666
          tz.transition 1987, 11, :o198, 564223081
          tz.transition 1987, 11, :o216, 564309491
          tz.transition 1987, 11, :o196, 564395906
          tz.transition 1987, 11, :o195, 564482321
          tz.transition 1987, 11, :o217, 564568736
          tz.transition 1987, 11, :o218, 564655151
          tz.transition 1987, 11, :o219, 564741566
          tz.transition 1987, 11, :o220, 564827986
          tz.transition 1987, 11, :o189, 564914406
          tz.transition 1987, 11, :o188, 565000821
          tz.transition 1987, 11, :o187, 565087241
          tz.transition 1987, 11, :o221, 565173661
          tz.transition 1987, 11, :o222, 565260086
          tz.transition 1987, 12, :o223, 565346506
          tz.transition 1987, 12, :o224, 565432926
          tz.transition 1987, 12, :o181, 565519351
          tz.transition 1987, 12, :o225, 565605776
          tz.transition 1987, 12, :o226, 565692201
          tz.transition 1987, 12, :o177, 565778626
          tz.transition 1987, 12, :o227, 565865051
          tz.transition 1987, 12, :o228, 565951476
          tz.transition 1987, 12, :o229, 566037901
          tz.transition 1987, 12, :o230, 566124326
          tz.transition 1987, 12, :o231, 566210756
          tz.transition 1987, 12, :o232, 566297181
          tz.transition 1987, 12, :o233, 566383611
          tz.transition 1987, 12, :o234, 566470041
          tz.transition 1987, 12, :o235, 566556466
          tz.transition 1987, 12, :o236, 566642896
          tz.transition 1987, 12, :o237, 566729326
          tz.transition 1987, 12, :o112, 566815756
          tz.transition 1987, 12, :o106, 566902186
          tz.transition 1987, 12, :o238, 566988616
          tz.transition 1987, 12, :o115, 567075046
          tz.transition 1987, 12, :o118, 567161476
          tz.transition 1987, 12, :o93, 567247906
          tz.transition 1987, 12, :o239, 567334336
          tz.transition 1987, 12, :o121, 567420766
          tz.transition 1987, 12, :o240, 567507196
          tz.transition 1987, 12, :o125, 567593621
          tz.transition 1987, 12, :o83, 567680051
          tz.transition 1987, 12, :o81, 567766481
          tz.transition 1987, 12, :o131, 567852911
          tz.transition 1987, 12, :o153, 567939341
          tz.transition 1987, 12, :o0, 567982541
        end
      end
    end
  end
end
