module TZInfo
  module Definitions
    module Asia
      module Riyadh88
        include TimezoneDefinition
        
        timezone 'Asia/Riyadh88' do |tz|
          tz.offset :o0, 11224, 0, :zzz
          tz.offset :o1, 11224, -195, :zzz
          tz.offset :o2, 11224, -220, :zzz
          tz.offset :o3, 11224, -250, :zzz
          tz.offset :o4, 11224, -280, :zzz
          tz.offset :o5, 11224, -305, :zzz
          tz.offset :o6, 11224, -330, :zzz
          tz.offset :o7, 11224, -360, :zzz
          tz.offset :o8, 11224, -385, :zzz
          tz.offset :o9, 11224, -410, :zzz
          tz.offset :o10, 11224, -435, :zzz
          tz.offset :o11, 11224, -460, :zzz
          tz.offset :o12, 11224, -485, :zzz
          tz.offset :o13, 11224, -505, :zzz
          tz.offset :o14, 11224, -530, :zzz
          tz.offset :o15, 11224, -550, :zzz
          tz.offset :o16, 11224, -570, :zzz
          tz.offset :o17, 11224, -590, :zzz
          tz.offset :o18, 11224, -610, :zzz
          tz.offset :o19, 11224, -630, :zzz
          tz.offset :o20, 11224, -650, :zzz
          tz.offset :o21, 11224, -665, :zzz
          tz.offset :o22, 11224, -685, :zzz
          tz.offset :o23, 11224, -700, :zzz
          tz.offset :o24, 11224, -715, :zzz
          tz.offset :o25, 11224, -730, :zzz
          tz.offset :o26, 11224, -745, :zzz
          tz.offset :o27, 11224, -760, :zzz
          tz.offset :o28, 11224, -770, :zzz
          tz.offset :o29, 11224, -780, :zzz
          tz.offset :o30, 11224, -790, :zzz
          tz.offset :o31, 11224, -800, :zzz
          tz.offset :o32, 11224, -810, :zzz
          tz.offset :o33, 11224, -820, :zzz
          tz.offset :o34, 11224, -825, :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, -830, :zzz
          tz.offset :o41, 11224, -795, :zzz
          tz.offset :o42, 11224, -785, :zzz
          tz.offset :o43, 11224, -775, :zzz
          tz.offset :o44, 11224, -765, :zzz
          tz.offset :o45, 11224, -750, :zzz
          tz.offset :o46, 11224, -740, :zzz
          tz.offset :o47, 11224, -705, :zzz
          tz.offset :o48, 11224, -690, :zzz
          tz.offset :o49, 11224, -675, :zzz
          tz.offset :o50, 11224, -660, :zzz
          tz.offset :o51, 11224, -645, :zzz
          tz.offset :o52, 11224, -615, :zzz
          tz.offset :o53, 11224, -600, :zzz
          tz.offset :o54, 11224, -585, :zzz
          tz.offset :o55, 11224, -535, :zzz
          tz.offset :o56, 11224, -520, :zzz
          tz.offset :o57, 11224, -500, :zzz
          tz.offset :o58, 11224, -465, :zzz
          tz.offset :o59, 11224, -450, :zzz
          tz.offset :o60, 11224, -430, :zzz
          tz.offset :o61, 11224, -395, :zzz
          tz.offset :o62, 11224, -375, :zzz
          tz.offset :o63, 11224, -340, :zzz
          tz.offset :o64, 11224, -320, :zzz
          tz.offset :o65, 11224, -285, :zzz
          tz.offset :o66, 11224, -265, :zzz
          tz.offset :o67, 11224, -230, :zzz
          tz.offset :o68, 11224, -215, :zzz
          tz.offset :o69, 11224, -180, :zzz
          tz.offset :o70, 11224, -160, :zzz
          tz.offset :o71, 11224, -145, :zzz
          tz.offset :o72, 11224, -125, :zzz
          tz.offset :o73, 11224, -110, :zzz
          tz.offset :o74, 11224, -95, :zzz
          tz.offset :o75, 11224, -75, :zzz
          tz.offset :o76, 11224, -60, :zzz
          tz.offset :o77, 11224, -45, :zzz
          tz.offset :o78, 11224, -30, :zzz
          tz.offset :o79, 11224, -15, :zzz
          tz.offset :o80, 11224, 15, :zzz
          tz.offset :o81, 11224, 30, :zzz
          tz.offset :o82, 11224, 40, :zzz
          tz.offset :o83, 11224, 55, :zzz
          tz.offset :o84, 11224, 65, :zzz
          tz.offset :o85, 11224, 80, :zzz
          tz.offset :o86, 11224, 90, :zzz
          tz.offset :o87, 11224, 105, :zzz
          tz.offset :o88, 11224, 115, :zzz
          tz.offset :o89, 11224, 125, :zzz
          tz.offset :o90, 11224, 135, :zzz
          tz.offset :o91, 11224, 145, :zzz
          tz.offset :o92, 11224, 150, :zzz
          tz.offset :o93, 11224, 160, :zzz
          tz.offset :o94, 11224, 170, :zzz
          tz.offset :o95, 11224, 175, :zzz
          tz.offset :o96, 11224, 185, :zzz
          tz.offset :o97, 11224, 190, :zzz
          tz.offset :o98, 11224, 195, :zzz
          tz.offset :o99, 11224, 200, :zzz
          tz.offset :o100, 11224, 205, :zzz
          tz.offset :o101, 11224, 210, :zzz
          tz.offset :o102, 11224, 215, :zzz
          tz.offset :o103, 11224, 220, :zzz
          tz.offset :o104, 11224, 180, :zzz
          tz.offset :o105, 11224, 165, :zzz
          tz.offset :o106, 11224, 140, :zzz
          tz.offset :o107, 11224, 130, :zzz
          tz.offset :o108, 11224, 70, :zzz
          tz.offset :o109, 11224, 60, :zzz
          tz.offset :o110, 11224, 45, :zzz
          tz.offset :o111, 11224, 35, :zzz
          tz.offset :o112, 11224, 25, :zzz
          tz.offset :o113, 11224, 10, :zzz
          tz.offset :o114, 11224, -25, :zzz
          tz.offset :o115, 11224, -40, :zzz
          tz.offset :o116, 11224, -55, :zzz
          tz.offset :o117, 11224, -65, :zzz
          tz.offset :o118, 11224, -80, :zzz
          tz.offset :o119, 11224, -90, :zzz
          tz.offset :o120, 11224, -105, :zzz
          tz.offset :o121, 11224, -120, :zzz
          tz.offset :o122, 11224, -130, :zzz
          tz.offset :o123, 11224, -155, :zzz
          tz.offset :o124, 11224, -170, :zzz
          tz.offset :o125, 11224, -205, :zzz
          tz.offset :o126, 11224, -240, :zzz
          tz.offset :o127, 11224, -275, :zzz
          tz.offset :o128, 11224, -295, :zzz
          tz.offset :o129, 11224, -310, :zzz
          tz.offset :o130, 11224, -335, :zzz
          tz.offset :o131, 11224, -345, :zzz
          tz.offset :o132, 11224, -350, :zzz
          tz.offset :o133, 11224, -355, :zzz
          tz.offset :o134, 11224, -365, :zzz
          tz.offset :o135, 11224, -370, :zzz
          tz.offset :o136, 11224, -380, :zzz
          tz.offset :o137, 11224, -390, :zzz
          tz.offset :o138, 11224, -325, :zzz
          tz.offset :o139, 11224, -300, :zzz
          tz.offset :o140, 11224, -290, :zzz
          tz.offset :o141, 11224, -255, :zzz
          tz.offset :o142, 11224, -200, :zzz
          tz.offset :o143, 11224, -185, :zzz
          tz.offset :o144, 11224, -140, :zzz
          tz.offset :o145, 11224, -70, :zzz
          tz.offset :o146, 11224, -50, :zzz
          tz.offset :o147, 11224, -35, :zzz
          tz.offset :o148, 11224, 5, :zzz
          tz.offset :o149, 11224, 100, :zzz
          tz.offset :o150, 11224, 120, :zzz
          tz.offset :o151, 11224, 225, :zzz
          tz.offset :o152, 11224, 250, :zzz
          tz.offset :o153, 11224, 270, :zzz
          tz.offset :o154, 11224, 290, :zzz
          tz.offset :o155, 11224, 310, :zzz
          tz.offset :o156, 11224, 335, :zzz
          tz.offset :o157, 11224, 355, :zzz
          tz.offset :o158, 11224, 375, :zzz
          tz.offset :o159, 11224, 395, :zzz
          tz.offset :o160, 11224, 420, :zzz
          tz.offset :o161, 11224, 440, :zzz
          tz.offset :o162, 11224, 460, :zzz
          tz.offset :o163, 11224, 480, :zzz
          tz.offset :o164, 11224, 500, :zzz
          tz.offset :o165, 11224, 525, :zzz
          tz.offset :o166, 11224, 545, :zzz
          tz.offset :o167, 11224, 565, :zzz
          tz.offset :o168, 11224, 585, :zzz
          tz.offset :o169, 11224, 605, :zzz
          tz.offset :o170, 11224, 625, :zzz
          tz.offset :o171, 11224, 640, :zzz
          tz.offset :o172, 11224, 660, :zzz
          tz.offset :o173, 11224, 680, :zzz
          tz.offset :o174, 11224, 695, :zzz
          tz.offset :o175, 11224, 715, :zzz
          tz.offset :o176, 11224, 730, :zzz
          tz.offset :o177, 11224, 750, :zzz
          tz.offset :o178, 11224, 765, :zzz
          tz.offset :o179, 11224, 780, :zzz
          tz.offset :o180, 11224, 795, :zzz
          tz.offset :o181, 11224, 810, :zzz
          tz.offset :o182, 11224, 825, :zzz
          tz.offset :o183, 11224, 840, :zzz
          tz.offset :o184, 11224, 855, :zzz
          tz.offset :o185, 11224, 865, :zzz
          tz.offset :o186, 11224, 880, :zzz
          tz.offset :o187, 11224, 890, :zzz
          tz.offset :o188, 11224, 900, :zzz
          tz.offset :o189, 11224, 915, :zzz
          tz.offset :o190, 11224, 920, :zzz
          tz.offset :o191, 11224, 930, :zzz
          tz.offset :o192, 11224, 940, :zzz
          tz.offset :o193, 11224, 950, :zzz
          tz.offset :o194, 11224, 955, :zzz
          tz.offset :o195, 11224, 960, :zzz
          tz.offset :o196, 11224, 965, :zzz
          tz.offset :o197, 11224, 970, :zzz
          tz.offset :o198, 11224, 975, :zzz
          tz.offset :o199, 11224, 980, :zzz
          tz.offset :o200, 11224, 985, :zzz
          tz.offset :o201, 11224, 910, :zzz
          tz.offset :o202, 11224, 885, :zzz
          tz.offset :o203, 11224, 875, :zzz
          tz.offset :o204, 11224, 860, :zzz
          tz.offset :o205, 11224, 845, :zzz
          tz.offset :o206, 11224, 830, :zzz
          tz.offset :o207, 11224, 775, :zzz
          tz.offset :o208, 11224, 760, :zzz
          tz.offset :o209, 11224, 740, :zzz
          tz.offset :o210, 11224, 720, :zzz
          tz.offset :o211, 11224, 675, :zzz
          tz.offset :o212, 11224, 655, :zzz
          tz.offset :o213, 11224, 630, :zzz
          tz.offset :o214, 11224, 560, :zzz
          tz.offset :o215, 11224, 535, :zzz
          tz.offset :o216, 11224, 505, :zzz
          tz.offset :o217, 11224, 455, :zzz
          tz.offset :o218, 11224, 425, :zzz
          tz.offset :o219, 11224, 400, :zzz
          tz.offset :o220, 11224, 370, :zzz
          tz.offset :o221, 11224, 345, :zzz
          tz.offset :o222, 11224, 315, :zzz
          tz.offset :o223, 11224, 285, :zzz
          tz.offset :o224, 11224, 255, :zzz
          tz.offset :o225, 11224, 110, :zzz
          tz.offset :o226, 11224, 50, :zzz
          tz.offset :o227, 11224, 20, :zzz
          tz.offset :o228, 11224, -10, :zzz
          tz.offset :o229, 11224, -100, :zzz
          
          tz.transition 1988, 1, :o1, 568025771
          tz.transition 1988, 1, :o2, 568112196
          tz.transition 1988, 1, :o3, 568198626
          tz.transition 1988, 1, :o4, 568285056
          tz.transition 1988, 1, :o5, 568371481
          tz.transition 1988, 1, :o6, 568457906
          tz.transition 1988, 1, :o7, 568544336
          tz.transition 1988, 1, :o8, 568630761
          tz.transition 1988, 1, :o9, 568717186
          tz.transition 1988, 1, :o10, 568803611
          tz.transition 1988, 1, :o11, 568890036
          tz.transition 1988, 1, :o12, 568976461
          tz.transition 1988, 1, :o13, 569062881
          tz.transition 1988, 1, :o14, 569149306
          tz.transition 1988, 1, :o15, 569235726
          tz.transition 1988, 1, :o16, 569322146
          tz.transition 1988, 1, :o17, 569408566
          tz.transition 1988, 1, :o18, 569494986
          tz.transition 1988, 1, :o19, 569581406
          tz.transition 1988, 1, :o20, 569667826
          tz.transition 1988, 1, :o21, 569754241
          tz.transition 1988, 1, :o22, 569840661
          tz.transition 1988, 1, :o23, 569927076
          tz.transition 1988, 1, :o24, 570013491
          tz.transition 1988, 1, :o25, 570099906
          tz.transition 1988, 1, :o26, 570186321
          tz.transition 1988, 1, :o27, 570272736
          tz.transition 1988, 1, :o28, 570359146
          tz.transition 1988, 1, :o29, 570445556
          tz.transition 1988, 1, :o30, 570531966
          tz.transition 1988, 1, :o31, 570618376
          tz.transition 1988, 2, :o32, 570704786
          tz.transition 1988, 2, :o33, 570791196
          tz.transition 1988, 2, :o34, 570877601
          tz.transition 1988, 2, :o35, 570964011
          tz.transition 1988, 2, :o36, 571050416
          tz.transition 1988, 2, :o37, 571136821
          tz.transition 1988, 2, :o38, 571223226
          tz.transition 1988, 2, :o39, 571396031
          tz.transition 1988, 2, :o38, 571914426
          tz.transition 1988, 2, :o37, 572087221
          tz.transition 1988, 2, :o36, 572173616
          tz.transition 1988, 2, :o35, 572260011
          tz.transition 1988, 2, :o40, 572346406
          tz.transition 1988, 2, :o34, 572432801
          tz.transition 1988, 2, :o33, 572519196
          tz.transition 1988, 2, :o32, 572605586
          tz.transition 1988, 2, :o31, 572691976
          tz.transition 1988, 2, :o41, 572778371
          tz.transition 1988, 2, :o42, 572864761
          tz.transition 1988, 2, :o43, 572951151
          tz.transition 1988, 2, :o44, 573037541
          tz.transition 1988, 2, :o45, 573123926
          tz.transition 1988, 3, :o46, 573210316
          tz.transition 1988, 3, :o25, 573296706
          tz.transition 1988, 3, :o24, 573383091
          tz.transition 1988, 3, :o47, 573469481
          tz.transition 1988, 3, :o48, 573555866
          tz.transition 1988, 3, :o49, 573642251
          tz.transition 1988, 3, :o50, 573728636
          tz.transition 1988, 3, :o51, 573815021
          tz.transition 1988, 3, :o19, 573901406
          tz.transition 1988, 3, :o52, 573987791
          tz.transition 1988, 3, :o53, 574074176
          tz.transition 1988, 3, :o54, 574160561
          tz.transition 1988, 3, :o16, 574246946
          tz.transition 1988, 3, :o15, 574333326
          tz.transition 1988, 3, :o55, 574419711
          tz.transition 1988, 3, :o56, 574506096
          tz.transition 1988, 3, :o57, 574592476
          tz.transition 1988, 3, :o12, 574678861
          tz.transition 1988, 3, :o58, 574765241
          tz.transition 1988, 3, :o59, 574851626
          tz.transition 1988, 3, :o60, 574938006
          tz.transition 1988, 3, :o9, 575024386
          tz.transition 1988, 3, :o61, 575110771
          tz.transition 1988, 3, :o62, 575197151
          tz.transition 1988, 3, :o7, 575283536
          tz.transition 1988, 3, :o63, 575369916
          tz.transition 1988, 3, :o64, 575456296
          tz.transition 1988, 3, :o5, 575542681
          tz.transition 1988, 3, :o65, 575629061
          tz.transition 1988, 3, :o66, 575715441
          tz.transition 1988, 3, :o3, 575801826
          tz.transition 1988, 4, :o67, 575888206
          tz.transition 1988, 4, :o68, 575974591
          tz.transition 1988, 4, :o1, 576060971
          tz.transition 1988, 4, :o69, 576147356
          tz.transition 1988, 4, :o70, 576233736
          tz.transition 1988, 4, :o71, 576320121
          tz.transition 1988, 4, :o72, 576406501
          tz.transition 1988, 4, :o73, 576492886
          tz.transition 1988, 4, :o74, 576579271
          tz.transition 1988, 4, :o75, 576665651
          tz.transition 1988, 4, :o76, 576752036
          tz.transition 1988, 4, :o77, 576838421
          tz.transition 1988, 4, :o78, 576924806
          tz.transition 1988, 4, :o79, 577011191
          tz.transition 1988, 4, :o0, 577097576
          tz.transition 1988, 4, :o80, 577183961
          tz.transition 1988, 4, :o81, 577270346
          tz.transition 1988, 4, :o82, 577356736
          tz.transition 1988, 4, :o83, 577443121
          tz.transition 1988, 4, :o84, 577529511
          tz.transition 1988, 4, :o85, 577615896
          tz.transition 1988, 4, :o86, 577702286
          tz.transition 1988, 4, :o87, 577788671
          tz.transition 1988, 4, :o88, 577875061
          tz.transition 1988, 4, :o89, 577961451
          tz.transition 1988, 4, :o90, 578047841
          tz.transition 1988, 4, :o91, 578134231
          tz.transition 1988, 4, :o92, 578220626
          tz.transition 1988, 4, :o93, 578307016
          tz.transition 1988, 4, :o94, 578393406
          tz.transition 1988, 5, :o95, 578479801
          tz.transition 1988, 5, :o96, 578566191
          tz.transition 1988, 5, :o97, 578652586
          tz.transition 1988, 5, :o98, 578738981
          tz.transition 1988, 5, :o99, 578825376
          tz.transition 1988, 5, :o100, 578911771
          tz.transition 1988, 5, :o101, 578998166
          tz.transition 1988, 5, :o102, 579084561
          tz.transition 1988, 5, :o103, 579257356
          tz.transition 1988, 5, :o102, 579948561
          tz.transition 1988, 5, :o101, 580121366
          tz.transition 1988, 5, :o100, 580207771
          tz.transition 1988, 5, :o99, 580294176
          tz.transition 1988, 5, :o98, 580380581
          tz.transition 1988, 5, :o97, 580466986
          tz.transition 1988, 5, :o96, 580553391
          tz.transition 1988, 5, :o104, 580639796
          tz.transition 1988, 5, :o95, 580726201
          tz.transition 1988, 5, :o105, 580812611
          tz.transition 1988, 5, :o93, 580899016
          tz.transition 1988, 5, :o92, 580985426
          tz.transition 1988, 5, :o106, 581071836
          tz.transition 1988, 6, :o107, 581158246
          tz.transition 1988, 6, :o89, 581244651
          tz.transition 1988, 6, :o88, 581331061
          tz.transition 1988, 6, :o87, 581417471
          tz.transition 1988, 6, :o86, 581503886
          tz.transition 1988, 6, :o85, 581590296
          tz.transition 1988, 6, :o108, 581676706
          tz.transition 1988, 6, :o109, 581763116
          tz.transition 1988, 6, :o110, 581849531
          tz.transition 1988, 6, :o111, 581935941
          tz.transition 1988, 6, :o112, 582022351
          tz.transition 1988, 6, :o113, 582108766
          tz.transition 1988, 6, :o0, 582195176
          tz.transition 1988, 6, :o79, 582281591
          tz.transition 1988, 6, :o114, 582368001
          tz.transition 1988, 6, :o115, 582454416
          tz.transition 1988, 6, :o116, 582540831
          tz.transition 1988, 6, :o117, 582627241
          tz.transition 1988, 6, :o118, 582713656
          tz.transition 1988, 6, :o119, 582800066
          tz.transition 1988, 6, :o120, 582886481
          tz.transition 1988, 6, :o121, 582972896
          tz.transition 1988, 6, :o122, 583059306
          tz.transition 1988, 6, :o71, 583145721
          tz.transition 1988, 6, :o123, 583232131
          tz.transition 1988, 6, :o124, 583318546
          tz.transition 1988, 6, :o69, 583404956
          tz.transition 1988, 6, :o1, 583491371
          tz.transition 1988, 6, :o125, 583577781
          tz.transition 1988, 6, :o2, 583664196
          tz.transition 1988, 7, :o67, 583750606
          tz.transition 1988, 7, :o126, 583837016
          tz.transition 1988, 7, :o3, 583923426
          tz.transition 1988, 7, :o66, 584009841
          tz.transition 1988, 7, :o127, 584096251
          tz.transition 1988, 7, :o65, 584182661
          tz.transition 1988, 7, :o128, 584269071
          tz.transition 1988, 7, :o5, 584355481
          tz.transition 1988, 7, :o129, 584441886
          tz.transition 1988, 7, :o64, 584528296
          tz.transition 1988, 7, :o6, 584614706
          tz.transition 1988, 7, :o130, 584701111
          tz.transition 1988, 7, :o131, 584787521
          tz.transition 1988, 7, :o132, 584873926
          tz.transition 1988, 7, :o133, 584960331
          tz.transition 1988, 7, :o7, 585046736
          tz.transition 1988, 7, :o134, 585133141
          tz.transition 1988, 7, :o135, 585219546
          tz.transition 1988, 7, :o62, 585305951
          tz.transition 1988, 7, :o136, 585392356
          tz.transition 1988, 7, :o8, 585478761
          tz.transition 1988, 7, :o137, 585737966
          tz.transition 1988, 7, :o8, 586169961
          tz.transition 1988, 7, :o136, 586342756
          tz.transition 1988, 8, :o62, 586429151
          tz.transition 1988, 8, :o135, 586601946
          tz.transition 1988, 8, :o134, 586688341
          tz.transition 1988, 8, :o133, 586774731
          tz.transition 1988, 8, :o132, 586861126
          tz.transition 1988, 8, :o131, 586947521
          tz.transition 1988, 8, :o130, 587033911
          tz.transition 1988, 8, :o138, 587120301
          tz.transition 1988, 8, :o64, 587206696
          tz.transition 1988, 8, :o129, 587293086
          tz.transition 1988, 8, :o139, 587379476
          tz.transition 1988, 8, :o140, 587465866
          tz.transition 1988, 8, :o127, 587552251
          tz.transition 1988, 8, :o66, 587638641
          tz.transition 1988, 8, :o141, 587725031
          tz.transition 1988, 8, :o126, 587811416
          tz.transition 1988, 8, :o67, 587897806
          tz.transition 1988, 8, :o68, 587984191
          tz.transition 1988, 8, :o142, 588070576
          tz.transition 1988, 8, :o143, 588156961
          tz.transition 1988, 8, :o124, 588243346
          tz.transition 1988, 8, :o123, 588329731
          tz.transition 1988, 8, :o144, 588416116
          tz.transition 1988, 8, :o121, 588502496
          tz.transition 1988, 8, :o120, 588588881
          tz.transition 1988, 8, :o119, 588675266
          tz.transition 1988, 8, :o145, 588761646
          tz.transition 1988, 8, :o146, 588848026
          tz.transition 1988, 8, :o147, 588934411
          tz.transition 1988, 8, :o79, 589020791
          tz.transition 1988, 9, :o148, 589107171
          tz.transition 1988, 9, :o112, 589193551
          tz.transition 1988, 9, :o82, 589279936
          tz.transition 1988, 9, :o109, 589366316
          tz.transition 1988, 9, :o85, 589452696
          tz.transition 1988, 9, :o149, 589539076
          tz.transition 1988, 9, :o150, 589625456
          tz.transition 1988, 9, :o91, 589711831
          tz.transition 1988, 9, :o105, 589798211
          tz.transition 1988, 9, :o96, 589884591
          tz.transition 1988, 9, :o100, 589970971
          tz.transition 1988, 9, :o151, 590057351
          tz.transition 1988, 9, :o152, 590143726
          tz.transition 1988, 9, :o153, 590230106
          tz.transition 1988, 9, :o154, 590316486
          tz.transition 1988, 9, :o155, 590402866
          tz.transition 1988, 9, :o156, 590489241
          tz.transition 1988, 9, :o157, 590575621
          tz.transition 1988, 9, :o158, 590662001
          tz.transition 1988, 9, :o159, 590748381
          tz.transition 1988, 9, :o160, 590834756
          tz.transition 1988, 9, :o161, 590921136
          tz.transition 1988, 9, :o162, 591007516
          tz.transition 1988, 9, :o163, 591093896
          tz.transition 1988, 9, :o164, 591180276
          tz.transition 1988, 9, :o165, 591266651
          tz.transition 1988, 9, :o166, 591353031
          tz.transition 1988, 9, :o167, 591439411
          tz.transition 1988, 9, :o168, 591525791
          tz.transition 1988, 9, :o169, 591612171
          tz.transition 1988, 10, :o170, 591698551
          tz.transition 1988, 10, :o171, 591784936
          tz.transition 1988, 10, :o172, 591871316
          tz.transition 1988, 10, :o173, 591957696
          tz.transition 1988, 10, :o174, 592044081
          tz.transition 1988, 10, :o175, 592130461
          tz.transition 1988, 10, :o176, 592216846
          tz.transition 1988, 10, :o177, 592303226
          tz.transition 1988, 10, :o178, 592389611
          tz.transition 1988, 10, :o179, 592475996
          tz.transition 1988, 10, :o180, 592562381
          tz.transition 1988, 10, :o181, 592648766
          tz.transition 1988, 10, :o182, 592735151
          tz.transition 1988, 10, :o183, 592821536
          tz.transition 1988, 10, :o184, 592907921
          tz.transition 1988, 10, :o185, 592994311
          tz.transition 1988, 10, :o186, 593080696
          tz.transition 1988, 10, :o187, 593167086
          tz.transition 1988, 10, :o188, 593253476
          tz.transition 1988, 10, :o189, 593339861
          tz.transition 1988, 10, :o190, 593426256
          tz.transition 1988, 10, :o191, 593512646
          tz.transition 1988, 10, :o192, 593599036
          tz.transition 1988, 10, :o193, 593685426
          tz.transition 1988, 10, :o194, 593771821
          tz.transition 1988, 10, :o195, 593858216
          tz.transition 1988, 10, :o196, 593944611
          tz.transition 1988, 10, :o197, 594031006
          tz.transition 1988, 10, :o198, 594117401
          tz.transition 1988, 10, :o199, 594203796
          tz.transition 1988, 11, :o200, 594376591
          tz.transition 1988, 11, :o199, 594722196
          tz.transition 1988, 11, :o198, 594895001
          tz.transition 1988, 11, :o197, 595067806
          tz.transition 1988, 11, :o195, 595154216
          tz.transition 1988, 11, :o194, 595240621
          tz.transition 1988, 11, :o193, 595327026
          tz.transition 1988, 11, :o192, 595413436
          tz.transition 1988, 11, :o191, 595499846
          tz.transition 1988, 11, :o190, 595586256
          tz.transition 1988, 11, :o201, 595672666
          tz.transition 1988, 11, :o188, 595759076
          tz.transition 1988, 11, :o202, 595845491
          tz.transition 1988, 11, :o203, 595931901
          tz.transition 1988, 11, :o204, 596018316
          tz.transition 1988, 11, :o205, 596104731
          tz.transition 1988, 11, :o206, 596191146
          tz.transition 1988, 11, :o181, 596277566
          tz.transition 1988, 11, :o180, 596363981
          tz.transition 1988, 11, :o207, 596450401
          tz.transition 1988, 11, :o208, 596536816
          tz.transition 1988, 11, :o209, 596623236
          tz.transition 1988, 11, :o210, 596709656
          tz.transition 1988, 11, :o174, 596796081
          tz.transition 1988, 11, :o211, 596882501
          tz.transition 1988, 12, :o212, 596968921
          tz.transition 1988, 12, :o213, 597055346
          tz.transition 1988, 12, :o169, 597141771
          tz.transition 1988, 12, :o168, 597228191
          tz.transition 1988, 12, :o214, 597314616
          tz.transition 1988, 12, :o215, 597401041
          tz.transition 1988, 12, :o216, 597487471
          tz.transition 1988, 12, :o163, 597573896
          tz.transition 1988, 12, :o217, 597660321
          tz.transition 1988, 12, :o218, 597746751
          tz.transition 1988, 12, :o219, 597833176
          tz.transition 1988, 12, :o220, 597919606
          tz.transition 1988, 12, :o221, 598006031
          tz.transition 1988, 12, :o222, 598092461
          tz.transition 1988, 12, :o223, 598178891
          tz.transition 1988, 12, :o224, 598265321
          tz.transition 1988, 12, :o151, 598351751
          tz.transition 1988, 12, :o99, 598438176
          tz.transition 1988, 12, :o94, 598524606
          tz.transition 1988, 12, :o106, 598611036
          tz.transition 1988, 12, :o225, 598697466
          tz.transition 1988, 12, :o85, 598783896
          tz.transition 1988, 12, :o226, 598870326
          tz.transition 1988, 12, :o227, 598956756
          tz.transition 1988, 12, :o228, 599043186
          tz.transition 1988, 12, :o115, 599129616
          tz.transition 1988, 12, :o145, 599216046
          tz.transition 1988, 12, :o229, 599302476
          tz.transition 1988, 12, :o122, 599388906
          tz.transition 1988, 12, :o123, 599475331
          tz.transition 1988, 12, :o143, 599561761
          tz.transition 1988, 12, :o0, 599604961
        end
      end
    end
  end
end
