Welcome to the GBF Test Portal

This was built to track decompiler and CFG progress.

Decompiler Output

function public.getTimeOffset(z#0)
{
    lit#3 = 43200;
    lit#4 = "Pacific/Wallis";
    lit#5 = 43200;
    lit#6 = "Pacific/Wake";
    lit#7 = 46800;
    lit#8 = "Pacific/Tongatapu";
    lit#9 = 43200;
    lit#10 = "Pacific/Tarawa";
    lit#11 = -36000;
    lit#12 = "Pacific/Tahiti";
    lit#13 = 36000;
    lit#14 = "Pacific/Saipan";
    lit#15 = -36000;
    lit#16 = "Pacific/Rarotonga";
    lit#17 = 36000;
    lit#18 = "Pacific/Port Moresby";
    lit#19 = 39600;
    lit#20 = "Pacific/Pohnpei";
    lit#21 = -28800;
    lit#22 = "Pacific/Pitcairn";
    lit#23 = 32400;
    lit#24 = "Pacific/Palau";
    lit#25 = -39600;
    lit#26 = "Pacific/Pago Pago";
    lit#27 = 39600;
    lit#28 = "Pacific/Noumea";
    lit#29 = 39600;
    lit#30 = "Pacific/Norfolk";
    lit#31 = -39600;
    lit#32 = "Pacific/Niue";
    lit#33 = 43200;
    lit#34 = "Pacific/Nauru";
    lit#35 = -39600;
    lit#36 = "Pacific/Midway";
    lit#37 = -34200;
    lit#38 = "Pacific/Marquesas";
    lit#39 = 43200;
    lit#40 = "Pacific/Majuro";
    lit#41 = 43200;
    lit#42 = "Pacific/Kwajalein";
    lit#43 = 39600;
    lit#44 = "Pacific/Kosrae";
    lit#45 = 50400;
    lit#46 = "Pacific/Kiritimati";
    lit#47 = -36000;
    lit#48 = "Pacific/Honolulu";
    lit#49 = 36000;
    lit#50 = "Pacific/Guam";
    lit#51 = 39600;
    lit#52 = "Pacific/Guadalcanal";
    lit#53 = -32400;
    lit#54 = "Pacific/Gambier";
    lit#55 = -21600;
    lit#56 = "Pacific/Galapagos";
    lit#57 = 43200;
    lit#58 = "Pacific/Funafuti";
    lit#59 = 43200;
    lit#60 = "Pacific/Fiji";
    lit#61 = 46800;
    lit#62 = "Pacific/Fakaofo";
    lit#63 = 46800;
    lit#64 = "Pacific/Enderbury";
    lit#65 = 39600;
    lit#66 = "Pacific/Efate";
    lit#67 = -21600;
    lit#68 = "Pacific/Easter";
    lit#69 = 36000;
    lit#70 = "Pacific/Chuuk";
    lit#71 = 45900;
    lit#72 = "Pacific/Chatham";
    lit#73 = 39600;
    lit#74 = "Pacific/Bougainville";
    lit#75 = 43200;
    lit#76 = "Pacific/Auckland";
    lit#77 = 46800;
    lit#78 = "Pacific/Apia";
    lit#79 = 14400;
    lit#80 = "Indian/Reunion";
    lit#81 = 10800;
    lit#82 = "Indian/Mayotte";
    lit#83 = 14400;
    lit#84 = "Indian/Mauritius";
    lit#85 = 18000;
    lit#86 = "Indian/Maldives";
    lit#87 = 14400;
    lit#88 = "Indian/Mahe";
    lit#89 = 18000;
    lit#90 = "Indian/Kerguelen";
    lit#91 = 10800;
    lit#92 = "Indian/Comoro";
    lit#93 = 23400;
    lit#94 = "Indian/Cocos";
    lit#95 = 25200;
    lit#96 = "Indian/Christmas";
    lit#97 = 21600;
    lit#98 = "Indian/Chagos";
    lit#99 = 10800;
    lit#100 = "Indian/Antananarivo";
    lit#101 = 7200;
    lit#102 = "Europe/Zurich";
    lit#103 = 10800;
    lit#104 = "Europe/Zaporozhye";
    lit#105 = 7200;
    lit#106 = "Europe/Zagreb";
    lit#107 = 7200;
    lit#108 = "Europe/Warsaw";
    lit#109 = 10800;
    lit#110 = "Europe/Volgograd";
    lit#111 = 10800;
    lit#112 = "Europe/Vilnius";
    lit#113 = 7200;
    lit#114 = "Europe/Vienna";
    lit#115 = 7200;
    lit#116 = "Europe/Vatican";
    lit#117 = 7200;
    lit#118 = "Europe/Vaduz";
    lit#119 = 10800;
    lit#120 = "Europe/Uzhgorod";
    lit#121 = 14400;
    lit#122 = "Europe/Ulyanovsk";
    lit#123 = 7200;
    lit#124 = "Europe/Tirane";
    lit#125 = 10800;
    lit#126 = "Europe/Tallinn";
    lit#127 = 7200;
    lit#128 = "Europe/Stockholm";
    lit#129 = 10800;
    lit#130 = "Europe/Sofia";
    lit#131 = 7200;
    lit#132 = "Europe/Skopje";
    lit#133 = 10800;
    lit#134 = "Europe/Simferopol";
    lit#135 = 14400;
    lit#136 = "Europe/Saratov";
    lit#137 = 7200;
    lit#138 = "Europe/Sarajevo";
    lit#139 = 7200;
    lit#140 = "Europe/San Marino";
    lit#141 = 14400;
    lit#142 = "Europe/Samara";
    lit#143 = 7200;
    lit#144 = "Europe/Rome";
    lit#145 = 10800;
    lit#146 = "Europe/Riga";
    lit#147 = 7200;
    lit#148 = "Europe/Prague";
    lit#149 = 7200;
    lit#150 = "Europe/Podgorica";
    lit#151 = 7200;
    lit#152 = "Europe/Paris";
    lit#153 = 7200;
    lit#154 = "Europe/Oslo";
    lit#155 = 10800;
    lit#156 = "Europe/Moscow";
    lit#157 = 7200;
    lit#158 = "Europe/Monaco";
    lit#159 = 10800;
    lit#160 = "Europe/Minsk";
    lit#161 = 10800;
    lit#162 = "Europe/Mariehamn";
    lit#163 = 7200;
    lit#164 = "Europe/Malta";
    lit#165 = 7200;
    lit#166 = "Europe/Madrid";
    lit#167 = 7200;
    lit#168 = "Europe/Luxembourg";
    lit#169 = 3600;
    lit#170 = "Europe/London";
    lit#171 = 7200;
    lit#172 = "Europe/Ljubljana";
    lit#173 = 3600;
    lit#174 = "Europe/Lisbon";
    lit#175 = 10800;
    lit#176 = "Europe/Kirov";
    lit#177 = 10800;
    lit#178 = "Europe/Kiev";
    lit#179 = 7200;
    lit#180 = "Europe/Kaliningrad";
    lit#181 = 3600;
    lit#182 = "Europe/Jersey";
    lit#183 = 10800;
    lit#184 = "Europe/Istanbul";
    lit#185 = 3600;
    lit#186 = "Europe/Isle of Man";
    lit#187 = 10800;
    lit#188 = "Europe/Helsinki";
    lit#189 = 3600;
    lit#190 = "Europe/Guernsey";
    lit#191 = 7200;
    lit#192 = "Europe/Gibraltar";
    lit#193 = 3600;
    lit#194 = "Europe/Dublin";
    lit#195 = 7200;
    lit#196 = "Europe/Copenhagen";
    lit#197 = 10800;
    lit#198 = "Europe/Chisinau";
    lit#199 = 7200;
    lit#200 = "Europe/Busingen";
    lit#201 = 7200;
    lit#202 = "Europe/Budapest";
    lit#203 = 10800;
    lit#204 = "Europe/Bucharest";
    lit#205 = 7200;
    lit#206 = "Europe/Brussels";
    lit#207 = 7200;
    lit#208 = "Europe/Bratislava";
    lit#209 = 7200;
    lit#210 = "Europe/Berlin";
    lit#211 = 7200;
    lit#212 = "Europe/Belgrade";
    lit#213 = 10800;
    lit#214 = "Europe/Athens";
    lit#215 = 14400;
    lit#216 = "Europe/Astrakhan";
    lit#217 = 7200;
    lit#218 = "Europe/Andorra";
    lit#219 = 7200;
    lit#220 = "Europe/Amsterdam";
    lit#221 = 36000;
    lit#222 = "Australia/Sydney";
    lit#223 = 28800;
    lit#224 = "Australia/Perth";
    lit#225 = 36000;
    lit#226 = "Australia/Melbourne";
    lit#227 = 37800;
    lit#228 = "Australia/Lord Howe";
    lit#229 = 36000;
    lit#230 = "Australia/Lindeman";
    lit#231 = 36000;
    lit#232 = "Australia/Hobart";
    lit#233 = 31500;
    lit#234 = "Australia/Eucla";
    lit#235 = 34200;
    lit#236 = "Australia/Darwin";
    lit#237 = 36000;
    lit#238 = "Australia/Currie";
    lit#239 = 34200;
    lit#240 = "Australia/Broken Hill";
    lit#241 = 36000;
    lit#242 = "Australia/Brisbane";
    lit#243 = 34200;
    lit#244 = "Australia/Adelaide";
    lit#245 = -10800;
    lit#246 = "Atlantic/Stanley";
    lit#247 = -7200;
    lit#248 = "Atlantic/South Georgia";
    lit#249 = 3600;
    lit#250 = "Atlantic/Madeira";
    lit#251 = 3600;
    lit#252 = "Atlantic/Faroe";
    lit#253 = -3600;
    lit#254 = "Atlantic/Cape Verde";
    lit#255 = 3600;
    lit#256 = "Atlantic/Canary";
    lit#257 = -10800;
    lit#258 = "Atlantic/Bermuda";
    lit#259 = 14400;
    lit#260 = "Asia/Yerevan";
    lit#261 = 18000;
    lit#262 = "Asia/Yekaterinburg";
    lit#263 = 23400;
    lit#264 = "Asia/Yangon";
    lit#265 = 32400;
    lit#266 = "Asia/Yakutsk";
    lit#267 = 36000;
    lit#268 = "Asia/Vladivostok";
    lit#269 = 25200;
    lit#270 = "Asia/Vientiane";
    lit#271 = 36000;
    lit#272 = "Asia/Ust-Nera";
    lit#273 = 21600;
    lit#274 = "Asia/Urumqi";
    lit#275 = 28800;
    lit#276 = "Asia/Ulaanbaatar";
    lit#277 = 25200;
    lit#278 = "Asia/Tomsk";
    lit#279 = 32400;
    lit#280 = "Asia/Tokyo";
    lit#281 = 21600;
    lit#282 = "Asia/Thimphu";
    lit#283 = 16200;
    lit#284 = "Asia/Tehran";
    lit#285 = 14400;
    lit#286 = "Asia/Tbilisi";
    lit#287 = 18000;
    lit#288 = "Asia/Tashkent";
    lit#289 = 28800;
    lit#290 = "Asia/Taipei";
    lit#291 = 39600;
    lit#292 = "Asia/Srednekolymsk";
    lit#293 = 28800;
    lit#294 = "Asia/Singapore";
    lit#295 = 28800;
    lit#296 = "Asia/Shanghai";
    lit#297 = 32400;
    lit#298 = "Asia/Seoul";
    lit#299 = 18000;
    lit#300 = "Asia/Samarkand";
    lit#301 = 39600;
    lit#302 = "Asia/Sakhalin";
    lit#303 = 10800;
    lit#304 = "Asia/Riyadh";
    lit#305 = 21600;
    lit#306 = "Asia/Qyzylorda";
    lit#307 = 10800;
    lit#308 = "Asia/Qatar";
    lit#309 = 30600;
    lit#310 = "Asia/Pyongyang";
    lit#311 = 25200;
    lit#312 = "Asia/Pontianak";
    lit#313 = 25200;
    lit#314 = "Asia/Phnom Penh";
    lit#315 = 18000;
    lit#316 = "Asia/Oral";
    lit#317 = 21600;
    lit#318 = "Asia/Omsk";
    lit#319 = 25200;
    lit#320 = "Asia/Novosibirsk";
    lit#321 = 25200;
    lit#322 = "Asia/Novokuznetsk";
    lit#323 = 10800;
    lit#324 = "Asia/Nicosia";
    lit#325 = 14400;
    lit#326 = "Asia/Muscat";
    lit#327 = 28800;
    lit#328 = "Asia/Manila";
    lit#329 = 28800;
    lit#330 = "Asia/Makassar";
    lit#331 = 39600;
    lit#332 = "Asia/Magadan";
    lit#333 = 28800;
    lit#334 = "Asia/Macau";
    lit#335 = 10800;
    lit#336 = "Asia/Kuwait";
    lit#337 = 28800;
    lit#338 = "Asia/Kuching";
    lit#339 = 28800;
    lit#340 = "Asia/Kuala Lumpur";
    lit#341 = 25200;
    lit#342 = "Asia/Krasnoyarsk";
    lit#343 = 19800;
    lit#344 = "Asia/Kolkata";
    lit#345 = 32400;
    lit#346 = "Asia/Khandyga";
    lit#347 = 20700;
    lit#348 = "Asia/Kathmandu";
    lit#349 = 18000;
    lit#350 = "Asia/Karachi";
    lit#351 = 43200;
    lit#352 = "Asia/Kamchatka";
    lit#353 = 16200;
    lit#354 = "Asia/Kabul";
    lit#355 = 10800;
    lit#356 = "Asia/Jerusalem";
    lit#357 = 32400;
    lit#358 = "Asia/Jayapura";
    lit#359 = 25200;
    lit#360 = "Asia/Jakarta";
    lit#361 = 28800;
    lit#362 = "Asia/Irkutsk";
    lit#363 = 25200;
    lit#364 = "Asia/Hovd";
    lit#365 = 28800;
    lit#366 = "Asia/Hong Kong";
    lit#367 = 25200;
    lit#368 = "Asia/Ho Chi Minh";
    lit#369 = 10800;
    lit#370 = "Asia/Hebron";
    lit#371 = 10800;
    lit#372 = "Asia/Gaza";
    lit#373 = 10800;
    lit#374 = "Asia/Famagusta";
    lit#375 = 18000;
    lit#376 = "Asia/Dushanbe";
    lit#377 = 14400;
    lit#378 = "Asia/Dubai";
    lit#379 = 32400;
    lit#380 = "Asia/Dili";
    lit#381 = 21600;
    lit#382 = "Asia/Dhaka";
    lit#383 = 10800;
    lit#384 = "Asia/Damascus";
    lit#385 = 19800;
    lit#386 = "Asia/Colombo";
    lit#387 = 28800;
    lit#388 = "Asia/Choibalsan";
    lit#389 = 32400;
    lit#390 = "Asia/Chita";
    lit#391 = 28800;
    lit#392 = "Asia/Brunei";
    lit#393 = 21600;
    lit#394 = "Asia/Bishkek";
    lit#395 = 10800;
    lit#396 = "Asia/Beirut";
    lit#397 = 25200;
    lit#398 = "Asia/Barnaul";
    lit#399 = 25200;
    lit#400 = "Asia/Bangkok";
    lit#401 = 14400;
    lit#402 = "Asia/Baku";
    lit#403 = 10800;
    lit#404 = "Asia/Bahrain";
    lit#405 = 10800;
    lit#406 = "Asia/Baghdad";
    lit#407 = 18000;
    lit#408 = "Asia/Atyrau";
    lit#409 = 18000;
    lit#410 = "Asia/Ashgabat";
    lit#411 = 18000;
    lit#412 = "Asia/Aqtobe";
    lit#413 = 18000;
    lit#414 = "Asia/Aqtau";
    lit#415 = 43200;
    lit#416 = "Asia/Anadyr";
    lit#417 = 10800;
    lit#418 = "Asia/Amman";
    lit#419 = 21600;
    lit#420 = "Asia/Almaty";
    lit#421 = 10800;
    lit#422 = "Asia/Aden";
    lit#423 = 7200;
    lit#424 = "Arctic/Longyearbyen";
    lit#425 = 21600;
    lit#426 = "Antarctica/Vostok";
    lit#427 = 7200;
    lit#428 = "Antarctica/Troll";
    lit#429 = 10800;
    lit#430 = "Antarctica/Syowa";
    lit#431 = -10800;
    lit#432 = "Antarctica/Rothera";
    lit#433 = -10800;
    lit#434 = "Antarctica/Palmer";
    lit#435 = 43200;
    lit#436 = "Antarctica/McMurdo";
    lit#437 = 18000;
    lit#438 = "Antarctica/Mawson";
    lit#439 = 39600;
    lit#440 = "Antarctica/Macquarie";
    lit#441 = 36000;
    lit#442 = "Antarctica/DumontDUrville";
    lit#443 = 25200;
    lit#444 = "Antarctica/Davis";
    lit#445 = 39600;
    lit#446 = "Antarctica/Casey";
    lit#447 = -21600;
    lit#448 = "America/Yellowknife";
    lit#449 = -28800;
    lit#450 = "America/Yakutat";
    lit#451 = -18000;
    lit#452 = "America/Winnipeg";
    lit#453 = -25200;
    lit#454 = "America/Whitehorse";
    lit#455 = -25200;
    lit#456 = "America/Vancouver";
    lit#457 = -14400;
    lit#458 = "America/Tortola";
    lit#459 = -14400;
    lit#460 = "America/Toronto";
    lit#461 = -25200;
    lit#462 = "America/Tijuana";
    lit#463 = -14400;
    lit#464 = "America/Thunder Bay";
    lit#465 = -10800;
    lit#466 = "America/Thule";
    lit#467 = -21600;
    lit#468 = "America/Tegucigalpa";
    lit#469 = -21600;
    lit#470 = "America/Swift Current";
    lit#471 = -14400;
    lit#472 = "America/St Vincent";
    lit#473 = -14400;
    lit#474 = "America/St Thomas";
    lit#475 = -14400;
    lit#476 = "America/St Lucia";
    lit#477 = -14400;
    lit#478 = "America/St Kitts";
    lit#479 = -9000;
    lit#480 = "America/St Johns";
    lit#481 = -14400;
    lit#482 = "America/St Barthelemy";
    lit#483 = -28800;
    lit#484 = "America/Sitka";
    lit#485 = -10800;
    lit#486 = "America/Sao Paulo";
    lit#487 = -14400;
    lit#488 = "America/Santo Domingo";
    lit#489 = -14400;
    lit#490 = "America/Santiago";
    lit#491 = -10800;
    lit#492 = "America/Santarem";
    lit#493 = -18000;
    lit#494 = "America/Rio Branco";
    lit#495 = -18000;
    lit#496 = "America/Resolute";
    lit#497 = -21600;
    lit#498 = "America/Regina";
    lit#499 = -10800;
    lit#500 = "America/Recife";
    lit#501 = -18000;
    lit#502 = "America/Rankin Inlet";
    lit#503 = -18000;
    lit#504 = "America/Rainy River";
    lit#505 = -10800;
    lit#506 = "America/Punta Arenas";
    lit#507 = -14400;
    lit#508 = "America/Puerto Rico";
    lit#509 = -14400;
    lit#510 = "America/Porto Velho";
    lit#511 = -14400;
    lit#512 = "America/Port of Spain";
    lit#513 = -14400;
    lit#514 = "America/Port-au-Prince";
    lit#515 = -25200;
    lit#516 = "America/Phoenix";
    lit#517 = -10800;
    lit#518 = "America/Paramaribo";
    lit#519 = -14400;
    lit#520 = "America/Pangnirtung";
    lit#521 = -18000;
    lit#522 = "America/Panama";
    lit#523 = -21600;
    lit#524 = "America/Ojinaga";
    lit#525 = -18000;
    lit#526 = "America/North Dakota/New Salem";
    lit#527 = -18000;
    lit#528 = "America/North Dakota/Center";
    lit#529 = -18000;
    lit#530 = "America/North Dakota/Beulah";
    lit#531 = -7200;
    lit#532 = "America/Noronha";
    lit#533 = -28800;
    lit#534 = "America/Nome";
    lit#535 = -14400;
    lit#536 = "America/Nipigon";
    lit#537 = -14400;
    lit#538 = "America/New York";
    lit#539 = -14400;
    lit#540 = "America/Nassau";
    lit#541 = -14400;
    lit#542 = "America/Montserrat";
    lit#543 = -10800;
    lit#544 = "America/Montevideo";
    lit#545 = -18000;
    lit#546 = "America/Monterrey";
    lit#547 = -10800;
    lit#548 = "America/Moncton";
    lit#549 = -7200;
    lit#550 = "America/Miquelon";
    lit#551 = -18000;
    lit#552 = "America/Mexico City";
    lit#553 = -28800;
    lit#554 = "America/Metlakatla";
    lit#555 = -18000;
    lit#556 = "America/Merida";
    lit#557 = -18000;
    lit#558 = "America/Menominee";
    lit#559 = -21600;
    lit#560 = "America/Mazatlan";
    lit#561 = -18000;
    lit#562 = "America/Matamoros";
    lit#563 = -14400;
    lit#564 = "America/Martinique";
    lit#565 = -14400;
    lit#566 = "America/Marigot";
    lit#567 = -14400;
    lit#568 = "America/Manaus";
    lit#569 = -21600;
    lit#570 = "America/Managua";
    lit#571 = -10800;
    lit#572 = "America/Maceio";
    lit#573 = -14400;
    lit#574 = "America/Lower Princes";
    lit#575 = -25200;
    lit#576 = "America/Los Angeles";
    lit#577 = -18000;
    lit#578 = "America/Lima";
    lit#579 = -14400;
    lit#580 = "America/La Paz";
    lit#581 = -14400;
    lit#582 = "America/Kralendijk";
    lit#583 = -14400;
    lit#584 = "America/Kentucky/Monticello";
    lit#585 = -14400;
    lit#586 = "America/Kentucky/Louisville";
    lit#587 = -28800;
    lit#588 = "America/Juneau";
    lit#589 = -18000;
    lit#590 = "America/Jamaica";
    lit#591 = -14400;
    lit#592 = "America/Iqaluit";
    lit#593 = -21600;
    lit#594 = "America/Inuvik";
    lit#595 = -14400;
    lit#596 = "America/Indiana/Winamac";
    lit#597 = -14400;
    lit#598 = "America/Indiana/Vincennes";
    lit#599 = -14400;
    lit#600 = "America/Indiana/Vevay";
    lit#601 = -18000;
    lit#602 = "America/Indiana/Tell City";
    lit#603 = -14400;
    lit#604 = "America/Indiana/Petersburg";
    lit#605 = -14400;
    lit#606 = "America/Indiana/Marengo";
    lit#607 = -18000;
    lit#608 = "America/Indiana/Knox";
    lit#609 = -14400;
    lit#610 = "America/Indiana/Indianapolis";
    lit#611 = -25200;
    lit#612 = "America/Hermosillo";
    lit#613 = -14400;
    lit#614 = "America/Havana";
    lit#615 = -10800;
    lit#616 = "America/Halifax";
    lit#617 = -14400;
    lit#618 = "America/Guyana";
    lit#619 = -18000;
    lit#620 = "America/Guayaquil";
    lit#621 = -21600;
    lit#622 = "America/Guatemala";
    lit#623 = -14400;
    lit#624 = "America/Guadeloupe";
    lit#625 = -14400;
    lit#626 = "America/Grenada";
    lit#627 = -14400;
    lit#628 = "America/Grand Turk";
    lit#629 = -10800;
    lit#630 = "America/Goose Bay";
    lit#631 = -7200;
    lit#632 = "America/Godthab";
    lit#633 = -10800;
    lit#634 = "America/Glace Bay";
    lit#635 = -10800;
    lit#636 = "America/Fortaleza";
    lit#637 = -25200;
    lit#638 = "America/Fort Nelson";
    lit#639 = -21600;
    lit#640 = "America/El Salvador";
    lit#641 = -18000;
    lit#642 = "America/Eirunepe";
    lit#643 = -21600;
    lit#644 = "America/Edmonton";
    lit#645 = -14400;
    lit#646 = "America/Dominica";
    lit#647 = -14400;
    lit#648 = "America/Detroit";
    lit#649 = -21600;
    lit#650 = "America/Denver";
    lit#651 = -25200;
    lit#652 = "America/Dawson Creek";
    lit#653 = -25200;
    lit#654 = "America/Dawson";
    lit#655 = -14400;
    lit#656 = "America/Curacao";
    lit#657 = -14400;
    lit#658 = "America/Cuiaba";
    lit#659 = -25200;
    lit#660 = "America/Creston";
    lit#661 = -21600;
    lit#662 = "America/Costa Rica";
    lit#663 = -21600;
    lit#664 = "America/Chihuahua";
    lit#665 = -18000;
    lit#666 = "America/Chicago";
    lit#667 = -18000;
    lit#668 = "America/Cayman";
    lit#669 = -10800;
    lit#670 = "America/Cayenne";
    lit#671 = -14400;
    lit#672 = "America/Caracas";
    lit#673 = -18000;
    lit#674 = "America/Cancun";
    lit#675 = -14400;
    lit#676 = "America/Campo Grande";
    lit#677 = -21600;
    lit#678 = "America/Cambridge Bay";
    lit#679 = -21600;
    lit#680 = "America/Boise";
    lit#681 = -18000;
    lit#682 = "America/Bogota";
    lit#683 = -14400;
    lit#684 = "America/Boa Vista";
    lit#685 = -14400;
    lit#686 = "America/Blanc-Sablon";
    lit#687 = -21600;
    lit#688 = "America/Belize";
    lit#689 = -10800;
    lit#690 = "America/Belem";
    lit#691 = -14400;
    lit#692 = "America/Barbados";
    lit#693 = -18000;
    lit#694 = "America/Bahia Banderas";
    lit#695 = -10800;
    lit#696 = "America/Bahia";
    lit#697 = -18000;
    lit#698 = "America/Atikokan";
    lit#699 = -14400;
    lit#700 = "America/Asuncion";
    lit#701 = -14400;
    lit#702 = "America/Aruba";
    lit#703 = -10800;
    lit#704 = "America/Argentina/Ushuaia";
    lit#705 = -10800;
    lit#706 = "America/Argentina/Tucuman";
    lit#707 = -10800;
    lit#708 = "America/Argentina/San Luis";
    lit#709 = -10800;
    lit#710 = "America/Argentina/San Juan";
    lit#711 = -10800;
    lit#712 = "America/Argentina/Salta";
    lit#713 = -10800;
    lit#714 = "America/Argentina/Rio Gallegos";
    lit#715 = -10800;
    lit#716 = "America/Argentina/Mendoza";
    lit#717 = -10800;
    lit#718 = "America/Argentina/La Rioja";
    lit#719 = -10800;
    lit#720 = "America/Argentina/Jujuy";
    lit#721 = -10800;
    lit#722 = "America/Argentina/Cordoba";
    lit#723 = -10800;
    lit#724 = "America/Argentina/Catamarca";
    lit#725 = -10800;
    lit#726 = "America/Argentina/Buenos Aires";
    lit#727 = -10800;
    lit#728 = "America/Araguaina";
    lit#729 = -14400;
    lit#730 = "America/Antigua";
    lit#731 = -14400;
    lit#732 = "America/Anguilla";
    lit#733 = -28800;
    lit#734 = "America/Anchorage";
    lit#735 = -32400;
    lit#736 = "America/Adak";
    lit#737 = 7200;
    lit#738 = "Africa/Windhoek";
    lit#739 = 3600;
    lit#740 = "Africa/Tunis";
    lit#741 = 7200;
    lit#742 = "Africa/Tripoli";
    lit#743 = 3600;
    lit#744 = "Africa/Porto-Novo";
    lit#745 = 3600;
    lit#746 = "Africa/Niamey";
    lit#747 = 3600;
    lit#748 = "Africa/Ndjamena";
    lit#749 = 10800;
    lit#750 = "Africa/Nairobi";
    lit#751 = 10800;
    lit#752 = "Africa/Mogadishu";
    lit#753 = 7200;
    lit#754 = "Africa/Mbabane";
    lit#755 = 7200;
    lit#756 = "Africa/Maseru";
    lit#757 = 7200;
    lit#758 = "Africa/Maputo";
    lit#759 = 3600;
    lit#760 = "Africa/Malabo";
    lit#761 = 7200;
    lit#762 = "Africa/Lusaka";
    lit#763 = 7200;
    lit#764 = "Africa/Lubumbashi";
    lit#765 = 3600;
    lit#766 = "Africa/Luanda";
    lit#767 = 3600;
    lit#768 = "Africa/Libreville";
    lit#769 = 3600;
    lit#770 = "Africa/Lagos";
    lit#771 = 3600;
    lit#772 = "Africa/Kinshasa";
    lit#773 = 7200;
    lit#774 = "Africa/Kigali";
    lit#775 = 7200;
    lit#776 = "Africa/Khartoum";
    lit#777 = 10800;
    lit#778 = "Africa/Kampala";
    lit#779 = 10800;
    lit#780 = "Africa/Juba";
    lit#781 = 7200;
    lit#782 = "Africa/Johannesburg";
    lit#783 = 7200;
    lit#784 = "Africa/Harare";
    lit#785 = 7200;
    lit#786 = "Africa/Gaborone";
    lit#787 = 3600;
    lit#788 = "Africa/El Aaiun";
    lit#789 = 3600;
    lit#790 = "Africa/Douala";
    lit#791 = 10800;
    lit#792 = "Africa/Djibouti";
    lit#793 = 10800;
    lit#794 = "Africa/Dar es Salaam";
    lit#795 = 7200;
    lit#796 = "Africa/Ceuta";
    lit#797 = 3600;
    lit#798 = "Africa/Casablanca";
    lit#799 = 7200;
    lit#800 = "Africa/Cairo";
    lit#801 = 7200;
    lit#802 = "Africa/Bujumbura";
    lit#803 = 3600;
    lit#804 = "Africa/Brazzaville";
    lit#805 = 7200;
    lit#806 = "Africa/Blantyre";
    lit#807 = 3600;
    lit#808 = "Africa/Bangui";
    lit#809 = 10800;
    lit#810 = "Africa/Asmara";
    lit#811 = 3600;
    lit#812 = "Africa/Algiers";
    lit#813 = 10800;
    lit#814 = "Africa/Addis Ababa";
    temp.data = {lit#814, lit#813, lit#812, lit#811, lit#810, lit#809, lit#808, lit#807, lit#806, lit#805, lit#804, lit#803, lit#802, lit#801, lit#800, lit#799, lit#798, lit#797, lit#796, lit#795, lit#794, lit#793, lit#792, lit#791, lit#790, lit#789, lit#788, lit#787, lit#786, lit#785, lit#784, lit#783, lit#782, lit#781, lit#780, lit#779, lit#778, lit#777, lit#776, lit#775, lit#774, lit#773, lit#772, lit#771, lit#770, lit#769, lit#768, lit#767, lit#766, lit#765, lit#764, lit#763, lit#762, lit#761, lit#760, lit#759, lit#758, lit#757, lit#756, lit#755, lit#754, lit#753, lit#752, lit#751, lit#750, lit#749, lit#748, lit#747, lit#746, lit#745, lit#744, lit#743, lit#742, lit#741, lit#740, lit#739, lit#738, lit#737, lit#736, lit#735, lit#734, lit#733, lit#732, lit#731, lit#730, lit#729, lit#728, lit#727, lit#726, lit#725, lit#724, lit#723, lit#722, lit#721, lit#720, lit#719, lit#718, lit#717, lit#716, lit#715, lit#714, lit#713, lit#712, lit#711, lit#710, lit#709, lit#708, lit#707, lit#706, lit#705, lit#704, lit#703, lit#702, lit#701, lit#700, lit#699, lit#698, lit#697, lit#696, lit#695, lit#694, lit#693, lit#692, lit#691, lit#690, lit#689, lit#688, lit#687, lit#686, lit#685, lit#684, lit#683, lit#682, lit#681, lit#680, lit#679, lit#678, lit#677, lit#676, lit#675, lit#674, lit#673, lit#672, lit#671, lit#670, lit#669, lit#668, lit#667, lit#666, lit#665, lit#664, lit#663, lit#662, lit#661, lit#660, lit#659, lit#658, lit#657, lit#656, lit#655, lit#654, lit#653, lit#652, lit#651, lit#650, lit#649, lit#648, lit#647, lit#646, lit#645, lit#644, lit#643, lit#642, lit#641, lit#640, lit#639, lit#638, lit#637, lit#636, lit#635, lit#634, lit#633, lit#632, lit#631, lit#630, lit#629, lit#628, lit#627, lit#626, lit#625, lit#624, lit#623, lit#622, lit#621, lit#620, lit#619, lit#618, lit#617, lit#616, lit#615, lit#614, lit#613, lit#612, lit#611, lit#610, lit#609, lit#608, lit#607, lit#606, lit#605, lit#604, lit#603, lit#602, lit#601, lit#600, lit#599, lit#598, lit#597, lit#596, lit#595, lit#594, lit#593, lit#592, lit#591, lit#590, lit#589, lit#588, lit#587, lit#586, lit#585, lit#584, lit#583, lit#582, lit#581, lit#580, lit#579, lit#578, lit#577, lit#576, lit#575, lit#574, lit#573, lit#572, lit#571, lit#570, lit#569, lit#568, lit#567, lit#566, lit#565, lit#564, lit#563, lit#562, lit#561, lit#560, lit#559, lit#558, lit#557, lit#556, lit#555, lit#554, lit#553, lit#552, lit#551, lit#550, lit#549, lit#548, lit#547, lit#546, lit#545, lit#544, lit#543, lit#542, lit#541, lit#540, lit#539, lit#538, lit#537, lit#536, lit#535, lit#534, lit#533, lit#532, lit#531, lit#530, lit#529, lit#528, lit#527, lit#526, lit#525, lit#524, lit#523, lit#522, lit#521, lit#520, lit#519, lit#518, lit#517, lit#516, lit#515, lit#514, lit#513, lit#512, lit#511, lit#510, lit#509, lit#508, lit#507, lit#506, lit#505, lit#504, lit#503, lit#502, lit#501, lit#500, lit#499, lit#498, lit#497, lit#496, lit#495, lit#494, lit#493, lit#492, lit#491, lit#490, lit#489, lit#488, lit#487, lit#486, lit#485, lit#484, lit#483, lit#482, lit#481, lit#480, lit#479, lit#478, lit#477, lit#476, lit#475, lit#474, lit#473, lit#472, lit#471, lit#470, lit#469, lit#468, lit#467, lit#466, lit#465, lit#464, lit#463, lit#462, lit#461, lit#460, lit#459, lit#458, lit#457, lit#456, lit#455, lit#454, lit#453, lit#452, lit#451, lit#450, lit#449, lit#448, lit#447, lit#446, lit#445, lit#444, lit#443, lit#442, lit#441, lit#440, lit#439, lit#438, lit#437, lit#436, lit#435, lit#434, lit#433, lit#432, lit#431, lit#430, lit#429, lit#428, lit#427, lit#426, lit#425, lit#424, lit#423, lit#422, lit#421, lit#420, lit#419, lit#418, lit#417, lit#416, lit#415, lit#414, lit#413, lit#412, lit#411, lit#410, lit#409, lit#408, lit#407, lit#406, lit#405, lit#404, lit#403, lit#402, lit#401, lit#400, lit#399, lit#398, lit#397, lit#396, lit#395, lit#394, lit#393, lit#392, lit#391, lit#390, lit#389, lit#388, lit#387, lit#386, lit#385, lit#384, lit#383, lit#382, lit#381, lit#380, lit#379, lit#378, lit#377, lit#376, lit#375, lit#374, lit#373, lit#372, lit#371, lit#370, lit#369, lit#368, lit#367, lit#366, lit#365, lit#364, lit#363, lit#362, lit#361, lit#360, lit#359, lit#358, lit#357, lit#356, lit#355, lit#354, lit#353, lit#352, lit#351, lit#350, lit#349, lit#348, lit#347, lit#346, lit#345, lit#344, lit#343, lit#342, lit#341, lit#340, lit#339, lit#338, lit#337, lit#336, lit#335, lit#334, lit#333, lit#332, lit#331, lit#330, lit#329, lit#328, lit#327, lit#326, lit#325, lit#324, lit#323, lit#322, lit#321, lit#320, lit#319, lit#318, lit#317, lit#316, lit#315, lit#314, lit#313, lit#312, lit#311, lit#310, lit#309, lit#308, lit#307, lit#306, lit#305, lit#304, lit#303, lit#302, lit#301, lit#300, lit#299, lit#298, lit#297, lit#296, lit#295, lit#294, lit#293, lit#292, lit#291, lit#290, lit#289, lit#288, lit#287, lit#286, lit#285, lit#284, lit#283, lit#282, lit#281, lit#280, lit#279, lit#278, lit#277, lit#276, lit#275, lit#274, lit#273, lit#272, lit#271, lit#270, lit#269, lit#268, lit#267, lit#266, lit#265, lit#264, lit#263, lit#262, lit#261, lit#260, lit#259, lit#258, lit#257, lit#256, lit#255, lit#254, lit#253, lit#252, lit#251, lit#250, lit#249, lit#248, lit#247, lit#246, lit#245, lit#244, lit#243, lit#242, lit#241, lit#240, lit#239, lit#238, lit#237, lit#236, lit#235, lit#234, lit#233, lit#232, lit#231, lit#230, lit#229, lit#228, lit#227, lit#226, lit#225, lit#224, lit#223, lit#222, lit#221, lit#220, lit#219, lit#218, lit#217, lit#216, lit#215, lit#214, lit#213, lit#212, lit#211, lit#210, lit#209, lit#208, lit#207, lit#206, lit#205, lit#204, lit#203, lit#202, lit#201, lit#200, lit#199, lit#198, lit#197, lit#196, lit#195, lit#194, lit#193, lit#192, lit#191, lit#190, lit#189, lit#188, lit#187, lit#186, lit#185, lit#184, lit#183, lit#182, lit#181, lit#180, lit#179, lit#178, lit#177, lit#176, lit#175, lit#174, lit#173, lit#172, lit#171, lit#170, lit#169, lit#168, lit#167, lit#166, lit#165, lit#164, lit#163, lit#162, lit#161, lit#160, lit#159, lit#158, lit#157, lit#156, lit#155, lit#154, lit#153, lit#152, lit#151, lit#150, lit#149, lit#148, lit#147, lit#146, lit#145, lit#144, lit#143, lit#142, lit#141, lit#140, lit#139, lit#138, lit#137, lit#136, lit#135, lit#134, lit#133, lit#132, lit#131, lit#130, lit#129, lit#128, lit#127, lit#126, lit#125, lit#124, lit#123, lit#122, lit#121, lit#120, lit#119, lit#118, lit#117, lit#116, lit#115, lit#114, lit#113, lit#112, lit#111, lit#110, lit#109, lit#108, lit#107, lit#106, lit#105, lit#104, lit#103, lit#102, lit#101, lit#100, lit#99, lit#98, lit#97, lit#96, lit#95, lit#94, lit#93, lit#92, lit#91, lit#90, lit#89, lit#88, lit#87, lit#86, lit#85, lit#84, lit#83, lit#82, lit#81, lit#80, lit#79, lit#78, lit#77, lit#76, lit#75, lit#74, lit#73, lit#72, lit#71, lit#70, lit#69, lit#68, lit#67, lit#66, lit#65, lit#64, lit#63, lit#62, lit#61, lit#60, lit#59, lit#58, lit#57, lit#56, lit#55, lit#54, lit#53, lit#52, lit#51, lit#50, lit#49, lit#48, lit#47, lit#46, lit#45, lit#44, lit#43, lit#42, lit#41, lit#40, lit#39, lit#38, lit#37, lit#36, lit#35, lit#34, lit#33, lit#32, lit#31, lit#30, lit#29, lit#28, lit#27, lit#26, lit#25, lit#24, lit#23, lit#22, lit#21, lit#20, lit#19, lit#18, lit#17, lit#16, lit#15, lit#14, lit#13, lit#12, lit#11, lit#10, lit#9, lit#8, lit#7, lit#6, lit#5, lit#4, lit#3};
    lit#815 = "getlist";
    // RegionId(1)
    if (z#0 == lit#815) 
    {
        return temp.data;
    }
    // RegionId(2)
    else
    {
        builtin_fn_call#817 = temp.data.index(z#0);
        temp.ind = builtin_fn_call#817;
        fn_call#820 = determineClientTimeOffset#819();
        temp.coff = fn_call#820;
        lit#822 = 0;
        // RegionId(2)
        // RegionId(3)
        if (temp.coff != lit#822) 
        {
            lit#823 = true;
        }
        // RegionId(4)
        else
        {
            lit#824 = false;
        }
        phi<idx=1, regions=()> = phi<idx=0, regions=()>;
        // RegionId(5)
        // RegionId(6)
        if (temp.dst) 
        {
            lit#825 = -3600;
        }
        // RegionId(7)
        else
        {
            lit#826 = 0;
        }
        phi<idx=2, regions=()> = phi<idx=1, regions=()> + phi<idx=0, regions=()>;
        lit#827 = -1;
        // RegionId(8)
        // RegionId(9)
        if (temp.ind == lit#827) 
        {
            lit#828 = 0;
        }
        // RegionId(10)
        else
        {
            lit#829 = 1;
        }
        return phi<idx=1, regions=()> + phi<idx=0, regions=()>;
    }
}