XM-01/XM-01_CAN/X-CUBE-AI/App/model_data_params.c

960 lines
78 KiB
C
Raw Normal View History

2025-05-19 07:37:51 +00:00
/**
******************************************************************************
* @file model_data_params.c
* @author AST Embedded Analytics Research Platform
* @date 2025-05-20T15:23:57+0800
2025-05-19 07:37:51 +00:00
* @brief AI Tool Automatic Code Generator for Embedded NN computing
******************************************************************************
* Copyright (c) 2025 STMicroelectronics.
* All rights reserved.
*
* This software is licensed under terms that can be found in the LICENSE file
* in the root directory of this software component.
* If no LICENSE file comes with this software, it is provided AS-IS.
******************************************************************************
*/
#include "model_data_params.h"
/** Activations Section ****************************************************/
ai_handle g_model_activations_table[1 + 2] = {
AI_HANDLE_PTR(AI_MAGIC_MARKER),
AI_HANDLE_PTR(NULL),
AI_HANDLE_PTR(AI_MAGIC_MARKER),
};
/** Weights Section ********************************************************/
AI_ALIGNED(32)
const ai_u64 s_model_weights_array_u64[3672] = {
0xbcd4e684bfc7b9adU, 0x3fbc5e63bf72f469U, 0xbf8460fabf3c3f5aU, 0xbf95b5b5be8559dbU,
0xbff730ea3fab966eU, 0x3f196f173f0da50fU, 0x3f6b77b5bfdb419eU, 0xc00cdd6cbf13a0e4U,
0x3fbc36233fc4ba5dU, 0xbd8654f0bd5494d5U, 0xbeb423163f8fef26U, 0x3f4344083f811913U,
0xbfa754693f432324U, 0xbd1625ee3fa1786cU, 0xbffbbb64bfb2226aU, 0x3f3f4f503ec59c10U,
0x3fdf43673e7f169eU, 0x3fdb4781be145815U, 0xbf137aea3e6aa814U, 0x3fd321263e8865bcU,
0xbfb38c933cd82a84U, 0x3fa7134e3eb3b14cU, 0xbfbee2463f637380U, 0xbf0102823f6b0861U,
0xbd892f1a3f108e64U, 0x3fd7f916be52175aU, 0x3f8cf2ea3f36f07dU, 0x3e85365c3f9ec19eU,
0x3da599403e03d092U, 0x3d1ea5de3e88ef97U, 0xbf1667853f794666U, 0xbf9c870e3f7c40efU,
0xbf6ffd6a3feb39b2U, 0xbf82c1163ead14e5U, 0x40290086bf8f0b4dU, 0xbfa6a6ad3f34d3baU,
0xbefdaf0fbfb21c2bU, 0x3fae4fb03f852512U, 0xc000bad9bfd16b8dU, 0xbeb974d83fd0016dU,
0x404945c33ea1e654U, 0xc02e1edcbfc8f594U, 0x3f1f971ebf8d6114U, 0xbee99184400d603cU,
0x40207f59bfcc53e4U, 0xbe9d3a9c3e286355U, 0x3f551d4fbfc8745fU, 0x3ff2feafbef869e7U,
0x3faf11c13faaaf5dU, 0xc0091617bf21384bU, 0xbeefa362bf8806c6U, 0xbfec9cad40041318U,
0x3fd304d73fb68fe6U, 0xbfc67a743f7b18f2U, 0x3d320a0e3e6ce611U, 0xbe07f9173eae083cU,
0xbf17f367bf783a0aU, 0xbfdbf993bf8b220cU, 0xbe629b233f9786b4U, 0xbfcda9f9bf68509fU,
0xbfa5b0d7bf2043e3U, 0xbec54a753fbcf17dU, 0x3f81eb84bb05341cU, 0xc00e33413fec73b5U,
0x3f821e91be243d3dU, 0xc00197be3fd34547U, 0xc001d200402db0eaU, 0x3f5a3c383f1a3a85U,
0xbfa65f5bbeafde3eU, 0xbf49398fbf069cfeU, 0xbf272eefbeefc0aeU, 0x3f8d681bbf39a125U,
0x3f1037ca3fa234c8U, 0xbf134eddbfb09f74U, 0xbf8e05f7bf953933U, 0xbd58ece6bfb3067bU,
0xbef6dbac3f33fa96U, 0x3ed2ad0fbf94ef6bU, 0x3f9320d33f9aa304U, 0x3f97debebf16bf7bU,
0xbd5a864f3decb68eU, 0xbd97af883de0057dU, 0x3e04fe9d3dc60a5eU, 0xbcd197c63c449c77U,
0xbe20853a3d731a2fU, 0xbcd1286c3d860e40U, 0x3d9210fa3a6c40cbU, 0xbcee2964bd7383dcU,
0xbdb672f9bd86e1fcU, 0xbe147aec3ddbd8a8U, 0xbd7e5485bce2cb50U, 0x3e2768d43d63c9a0U,
0x3d2c8d8f3d102277U, 0x3dce631b3e182774U, 0x3dcee6fb3dcf8b8bU, 0x3c1ac0713dcb1c96U,
0xbc6e3afc3d72792dU, 0xbd564626bdcf2a43U, 0x3d853995be15b92eU, 0x3dc44495bce2d09cU,
0x3e07317abd23fa43U, 0xbdcda949be3c7aa1U, 0xbd85bf553e14a984U, 0x3d5db968bd1b011dU,
0xbbf8eefe3dbc893dU, 0xbd1391553dff3736U, 0x3bd2feec3c4ec040U, 0x3e365de13e0f92a3U,
0xbc91ecc5bda3d98aU, 0x3c2377d9bdc525e3U, 0xbdbb4d5c3d362df2U, 0x3cea2295bd71d611U,
0x3d448ece3c2fd601U, 0xbcd4719bbc9c5439U, 0x3d983b77bd2d572eU, 0xbdb22a00bd0e15f9U,
0xbd670579bdc9e45dU, 0x3dae7496bd434133U, 0x3d362ac73d363235U, 0xbd99712abd9dc164U,
0x3d9c7634bd7bf536U, 0xbca1b04b3d9128ccU, 0xbd3a51b4bc54af0dU, 0xbd0ad7c63cb0886cU,
0x3df489b03dba5afdU, 0xbc81518ebd90a666U, 0xbdf477263c95ffaeU, 0xbe010f4a3d598348U,
0x3de986453d73c2caU, 0xbcbde7c13dfa1b26U, 0x3dd91037bdf03a06U, 0xbdf808983dd5a7a4U,
0xbc41b0243dfc27ccU, 0xbbb2efbb3c852f02U, 0x3dc90c9dbd0ffb30U, 0xbdda6ac53d080eacU,
0x3c9113643dab3767U, 0xbe26a6a83ca826f0U, 0x3df4c466bd6e51fdU, 0xbd8408423d516a6eU,
0xbdefe56e3dec2987U, 0xbd5a00a8bca7369fU, 0xbdd504f43d3b5c5fU, 0xbbe7b7dfbdc38152U,
0x3af8939c3d8b60f5U, 0x3cb2c0ea3cc6c7a5U, 0x3d99436c3d663e76U, 0x3d963b853d77f03aU,
0xbc9770133cb057eeU, 0xbd547f09bd619478U, 0x3d80c1db3d6e96beU, 0x3e0d2f9cbbe8a70fU,
0x0U, 0x0U, 0x0U, 0x0U,
0x0U, 0x0U, 0x0U, 0x0U,
0xbf9f5419c0513c0bU, 0xbf8f82f0becc101cU, 0x401ec13440169959U, 0xbf723aefc0437c5cU,
0x3f3aa3d5bf0d6c29U, 0x3fb0560c3fdaa236U, 0xbeac907f40040887U, 0xbeadecc43ee163ccU,
0xbfb423debff0171eU, 0xc0698dce3f78cf47U, 0x3f846bf1c06848f4U, 0xbfa56326401045acU,
0x404cf3d23faf7495U, 0x40541571c071fe88U, 0x3fed55a0bfa4c008U, 0xbfa933213f218e2eU,
0x40046b4a3f402204U, 0x4049ba073f6738eeU, 0xbe741a43405375a5U, 0xbf486a393ff3a096U,
0x3f3e5c73bd3bc0dfU, 0x3fa51b0e4015ff76U, 0x3f9b7b5cc011dd3eU, 0xbed222b0bfb8ab03U,
0xbfa1d201c086c837U, 0xbf4f21d340153e02U, 0xc00b143bc084a2faU, 0xbf032a2fc086d2d3U,
0xbfe1cb1d3e2734a3U, 0x3eeaaec23eee8a2dU, 0xc043ba8540262506U, 0x3ece598ebeeef0cfU,
0xc01433943f93cef4U, 0x3ff035a6c03a1170U, 0x4043f4c7c01765adU, 0x403d96e43fbbb9ebU,
0x3f8581bf40176a80U, 0x3f871e7940367e42U, 0x3f6dd8ab4013e350U, 0x3f9b5969408f08a8U,
0x3fc4e0a53eafe025U, 0xc024d614bf64226aU, 0xbeaa8ee03fedc269U, 0x3e82f645ba1522cbU,
0x3e6516613f879611U, 0x3f399badbfe150abU, 0xbd1ed6c53fc4cae5U, 0xbf0298eb3f453665U,
0x3eb346e63da82a28U, 0x401c6dc840231fe6U, 0x3f71daf5c00bf345U, 0xbe896e00bf412cceU,
0xbf6ca80cbf688f43U, 0xbfa12e3ac04bdcaeU, 0xbee4aa883f00d349U, 0x3e88f39b3f490626U,
0xc02ae10d40080b35U, 0xbf499c23bf993db2U, 0x402e83b7bff3f452U, 0xc000dff1400d2f4dU,
0xc02d48163ff27580U, 0xbfa5b326bfd93bf3U, 0xbea1f9e73f3435d7U, 0xbe274dd63f91a42eU,
0xbebc2a69c000e2e9U, 0xc00a9faac075b089U, 0xbd19aa03bf4d9a0dU, 0xc03ad2d7bf5e3ebbU,
0x3fb48758bf8d2c99U, 0x3e53020abd4d712aU, 0x4076219ebe46a8aeU, 0x3f97cdba3fb504d9U,
0x405774053fc161baU, 0xbec8d0cdc09991c6U, 0x3fd59de24022754eU, 0xc02fdd4dc0455f67U,
0x401788023fb8bc54U, 0xbfa361ef3d9607cbU, 0xbe94ae413fe7de9cU, 0xc01b02d33ff918b7U,
0xc017bb5f3f6e7b01U, 0x4069f7cb3f0e0c55U, 0xbf3af6803f0b40f7U, 0x3fb66ba5bf815bd1U,
0xbf8103033fe214d0U, 0x3ec7fd3cbfe64c32U, 0x3f62c97c3ff19f55U, 0xbee149a53f97dcbfU,
0xbe99ad44c0251f8fU, 0xbf5f02a2c0047a2bU, 0x3f3c59a2be7ef783U, 0x3f03d4d13eda0890U,
0xbf1da9c5be77e12eU, 0xbdf566263ff8e31dU, 0xc010818a3f5ea891U, 0x4016b472c0322e52U,
0x3c9a77b13f8a7bebU, 0xbfe8a71cbda38494U, 0xbeaebe113f1009f8U, 0xbe6305023d24947aU,
0xbf30aa363d952bebU, 0xbe8cc10ebf095a47U, 0x3f5dbd4abe55e124U, 0x3c442938bfa734cfU,
0xbf67d73dbf847cd2U, 0xc01491763f6ccfcaU, 0x40a3ab27bf15268dU, 0x3e033aaa40199cbeU,
0xc03edaacbf5251daU, 0xbeae894a3ffedacbU, 0x4059bbb4bfe5c5fdU, 0xbf842d143fb098f2U,
0xbd4f97d23f401707U, 0x3ec65491c001cabfU, 0x3f80afe9becd844dU, 0xbf8ca892bf6a7a6cU,
0xbd0942133f8e912fU, 0xbfa509b240243717U, 0x3e0439e63e993253U, 0x3e474b893e479854U,
0xbfbd8b723f8593e4U, 0x4016e994bf9b88d5U, 0x4027c317c06a34c0U, 0xbf76427c3f97bdc6U,
0x3f850dd2bf955fdfU, 0x3eaf7e8ec05c9fb8U, 0xbd6aef37bf10a060U, 0x3f3162cf3f63ab4eU,
0x3b75ae803eb82874U, 0x3f11e483bedd113fU, 0x3f0d8f8fbf194422U, 0xbe4675e5bf203172U,
0x3f32618c3f256117U, 0x3f2c488dbec8dddfU, 0xbccbd0fc3e6ed56aU, 0xbf5142903e0c9e3dU,
0x3cc251bc3d91017bU, 0x3d6de73fbe153620U, 0xbdce894dbcf6b504U, 0xba21b237be296980U,
0xbd4a92fa3c1a0b52U, 0xbe1f8e383cfb0891U, 0x3d92c84fba0bd07aU, 0xbe185ac73c68d983U,
0xbc97766b3d836af7U, 0x3e1158c0bdafb9beU, 0xbc110335bd1b212aU, 0xbe27c0bc3df38bc5U,
0x3dc97369bdd80d9eU, 0x3d893383b8c219daU, 0x3dc968f9bcdde34eU, 0x3cd885d7bda029b7U,
0xbdf381d4bdf41117U, 0xbd34030cbd98bb7eU, 0x3e09138d3dc7f2fbU, 0x3e2065df3b5e06ceU,
0xbd8390e2bdb72201U, 0x3da4b3b1bdcab07cU, 0x3d45ded43c9e0be9U, 0x3d3110993b9b71d2U,
0xbcffe08e3daa9b22U, 0xbda069113d45b153U, 0xbd3e75dcbcbc12f9U, 0x3e165e46bc8887dcU,
0x3d944a5abd149203U, 0x3e25efbc3c0cd0efU, 0x3dba600dbdfd747aU, 0xbd77d034bdfb7c04U,
0x3da157233de8ff66U, 0xbdfffc633c4b88dfU, 0x3d0c78663c248667U, 0xbddcf72ebdbddd83U,
0xbc8386b83d85547aU, 0xbda435bcbd6d9bddU, 0xbe06b203be0e26d3U, 0x3c9c8d35bdcc6d87U,
0xb9e330f0bcf2b1ccU, 0xbdc4f8b1bdb38396U, 0xbc9151ba3ddf982eU, 0x3dc87cc23cee92beU,
0x3d8845093e06965fU, 0x3dd6221bbc8f3f7aU, 0x3dcf06283d8f1f88U, 0x3da9f68b3d7a7c32U,
0x3d64c6c03db1fcbaU, 0xbd0b9517bde05899U, 0xbdc60640bcb233b1U, 0xbcd1b6c93c341b39U,
0x3dd5454e3ccc86adU, 0x3dc3ac623deef80eU, 0x3d5d86823d818358U, 0xbd7046443c13309fU,
0xbc8223033d83773eU, 0x3dddff3dbc9eb397U, 0xbbd28f3c3bb04be6U, 0x3e09ac8dbd61519eU,
0x3e0e8019bcb1599aU, 0x3d42dcfe3dc8260eU, 0xbd4bf6023dd8a830U, 0xbd90617b3d1a771cU,
0xbd22bba2bdc97016U, 0xbc9aa7e53d10caefU, 0xbd4c1b4cbb923b5aU, 0xbd1f415b3cfbe9f8U,
0xbd88b7f6be020899U, 0x3d50915ebbab8dbcU, 0x3d10383fbdd7e178U, 0x3dcbd9e83dc4d3f0U,
0xc01e47b3bfc7a931U, 0xbfb12dda3e1afa04U, 0x3ef05bb3bfd0697dU, 0x3de380a03e0b88d6U,
0xbfe5ba693fb10389U, 0xbf279509be61f30eU, 0x40189dce3f98874eU, 0xbfde142d3e05b115U,
0x3fdf233a40223c76U, 0xc0354a764001710bU, 0x3f28f357bf14e193U, 0xbf8149973e8055e4U,
0xbf2d86043ea40432U, 0xbe3f5d42406390cdU, 0xc02943c13fc41d35U, 0x3efe7e1abf80105fU,
0xbfad45f23fd39e0eU, 0x3f8d1b6a3fb62f00U, 0x3e9b3f64402c6903U, 0x3f44f4a6c040b68eU,
0x3f9627633fa24d81U, 0xbde52554406909fbU, 0xc00226e33ede00e1U, 0x400866dd3f7322e9U,
0xbf94abb9be9edf36U, 0x3fb62afcbe45b555U, 0xbe84b0063fb30f31U, 0xbe91106940226b10U,
0x3fcb4331bf3d513eU, 0xbf4057fa3feb508cU, 0xbfc184cbbf53ca0bU, 0x3e86f020be43b42eU,
0x3f1e4c43406b99e5U, 0xbfa523983e9c272dU, 0xbfa409f8bfc187f5U, 0xbe8495c74011bccbU,
0x3fcd676f3f61ad38U, 0x3ff876603fdb46fbU, 0xbf6a4c513f47abf5U, 0x3faf83a33e09054eU,
0x3f438568bf96e80bU, 0xc01a915cbfa6f3d9U, 0x3cb2bed8bf04230dU, 0xbfbb3296c0006676U,
0xbf4b935a401fa406U, 0xbe7d059cc00d3ca4U, 0x3f78628cbeedcae5U, 0x3fa2e83b3e1712efU,
0x3f3521193fc904baU, 0xbf3209523ffc00caU, 0xbcc36e7cc0121743U, 0xbeb29bd9402e29ffU,
0x400916d33edf5e19U, 0xbff81619c04643a2U, 0xbfe7ff4bbc5d921aU, 0x402646d1bf69c05aU,
0x3f5fff40c003343fU, 0xbef75bb23f719973U, 0xbddd1c233e921009U, 0x3ffaa13e4012b5ddU,
0x3fb3ad883fee618cU, 0xbfdde03c40014c57U, 0xbf908f1b3e9c6c14U, 0xbf71b392beab6bf6U,
0xbf8e12cb3f32b342U, 0x3f945b70bef16fa5U, 0x3ef12a013f743948U, 0x3de3b789bb59d24bU,
0xbf4b1f6d3f574f18U, 0x3e4fc7413ff4d4c6U, 0x3ecb4f1c3ed2348fU, 0x400a9c1c3e8842c2U,
0xc0925155bea4e25fU, 0xbc898b91402f878cU, 0x3f40ca14c01358caU, 0xbf84bfcbc029ad79U,
0x3fd69396c06b2b0bU, 0x3eb5cbe34032701dU, 0x3fcebc62bec04c93U, 0xbfac6482bf9a85beU,
0xbf8e37d7c002f9e8U, 0xbf30c9bc3f1b0180U, 0xbc2c1dd4bfc7e25fU, 0xbf6e46f53ff001c6U,
0x3fdf44d7bfb910bfU, 0x3ea1eff83fe30268U, 0x3faa80893dc5e2b0U, 0xbfd8ce7b3f236e7aU,
0xbfa631aac019cad6U, 0x3f1e76aebead21d2U, 0x3ec6b0a7bffa65fcU, 0x3ea26221bf2a537aU,
0x3fa0c5553fc4bb41U, 0xbf7ed205c02a360fU, 0xc0009da6bea43549U, 0xbeb4059e3e8bc54dU,
0x400c8aa73f4b5fb5U, 0x3f78c6f4401dc59bU, 0xbf2fe61d401d3765U, 0x3fc067eac0350f11U,
0x404123fcbececa7bU, 0xc020a9423e670b20U, 0x3f54cac53f9350cdU, 0xbed51646bed53f76U,
0x3f3b9820beee314aU, 0xc00d11dfbe1ecb78U, 0x3d5af47dbf0bd184U, 0xbe7ea84e3ff6b7faU,
0x3f84d354bfaa1f52U, 0xbf11ab1d3fce0560U, 0x3ffb87d73f0a4a3dU, 0x400a9c903e2ad40bU,
0x3f70e5a2bfea83eeU, 0x3f07e22dbe8284f5U, 0xbf454da33f97f649U, 0x3e464599bf1621a7U,
0xbfebffdc3e0ce313U, 0xbf946eaa4034f0dbU, 0x3f1e9a7ebeccc099U, 0xc05d18f3bf096221U,
0x401fd9bec03d7036U, 0x404ed001bdea13b7U, 0xbeeac812405db490U, 0xc03afc4fbef47477U,
0x4006983dbf9057afU, 0xbf2c5e78bfee5b83U, 0xbf93866c3f00db1cU, 0x3f134b76bbae1e3fU,
0x3cab527cbe021b41U, 0xbf06e61a3da8712eU, 0x3f25e237bd86cd96U, 0xbe3cc0b33f337942U,
0xbf91b97abdc4b8deU, 0x3f41e584bf8bc76cU, 0xbf75ed4e3c1e37b8U, 0xbe4fa94ebee67cacU,
0x3d9dddabbdab6ac9U, 0xbca77aa63da95b1fU, 0x3db581a9bd8a23eeU, 0x3d1f88af3c6ad76cU,
0xbe05e5293d51f8d0U, 0xbd37d568be0731a9U, 0xbbdc8d0dbd91bb8eU, 0x3d35b207bdec297eU,
0x3d127ffc3c95fc3fU, 0xb9ebf99bbdde964bU, 0xbdec78b4bd6da223U, 0xbdbc7b53bd70bbf2U,
0xbd9190d73df1abe5U, 0xbc78256e3d9c90b1U, 0x3ce25304bdff8715U, 0x3d232dedbe2002baU,
0x3cd093a83d6efc1dU, 0xbdcc7882bcd5f93cU, 0xbd5d5a82bdf143a3U, 0x3dd1ae83be029860U,
0x3df4b0613d54d453U, 0xbd246e9fbd7ba08bU, 0x3e21d82e3e074c04U, 0xbd3b3f053deafe88U,
0x3dc545a03ddd83aaU, 0xbe19b58dbdd43898U, 0x3d3adf693d047225U, 0x3be59dc93e0610e0U,
0x3e14565b3dd4bed9U, 0x3d41b751bd85f9fcU, 0x3cda7462bc95fa1aU, 0x3d497ba03d3c69d0U,
0xbd44ce543d53222dU, 0x3baeaa75bd23ecc7U, 0xbd18fde73df3e419U, 0x3e19216a3d9509cbU,
0x3d84297e3dfb7eecU, 0xbc1c3a92bd4987b6U, 0xbddd333f3cfcd1c8U, 0x3db0e0733d11950cU,
0x3cc159e3baade7eeU, 0x3e0658f73db49a7fU, 0x3dc9196d3dc952f7U, 0x3d5ace03bcebf5fcU,
0x3c5e0d83bc00ec77U, 0x3df53d41be1fefbeU, 0x3ccb3aec3e0d6162U, 0xbd64e571bc1c59cdU,
0x3dcca7553e0aa9f6U, 0x3d9c773bbce83582U, 0x3d77a7ce3dc92921U, 0x3cd900b53d3d760bU,
0x3b0de2ee3d0aa9b0U, 0xbd679f9b3d8ba514U, 0x3d2782aebd41fba9U, 0x3da418e33d9961a1U,
0x3de9d36bbbe23ac6U, 0x3d5ae0433e210b8aU, 0xbda528653da3c193U, 0x3e012c4d3db08e6aU,
0xbd0a2fbf3ddfc46bU, 0xbd03b096bdd1a442U, 0x3d45db68bd3c7fbaU, 0x3dd4eb96be00ae73U,
0x3dc46741bd3c380eU, 0xbd931bb2bbfbc18eU, 0xbd2eb0dabd95e654U, 0x3d0d01e9be0b249fU,
0x3ca287033d7b826cU, 0xbca4dcf5bd4a72fbU, 0x3dafc7f33e12eff6U, 0x3d9924163d87ff30U,
0x3f69a69c3f0ed408U, 0xbf2a308bbf165146U, 0x3fb397963f59e13dU, 0x3f87a24dbf3ee92bU,
0xbf04e1df3f968763U, 0x3fa0ac6b3ea63734U, 0xbf02f4c8bdf97986U, 0x3f2bf400becd3b72U,
0xbd6fd9ebbf49d4caU, 0xc012128b3e966233U, 0x403a2450bf955ca0U, 0xbf73f9d9bf61fdadU,
0xbfe3e2493e145cf3U, 0xbf8525274016c221U, 0x3f2882323fed6d8fU, 0xbf6aab063f1e484fU,
0xc01f7ce8bf971d32U, 0x3fe12258be1e5466U, 0x3fcd863ebf69df74U, 0x3f9ab7c3bf1dd3dcU,
0x3f50e9e73ea9889aU, 0x3e747156c016bb6cU, 0xbd441f3540138865U, 0xbf2f18003f4fd301U,
0x3d93d1dabec2958eU, 0xbf96a6d6bfc5e78aU, 0xbfb64a7ebfae03e3U, 0x3f80df153f8fb6b6U,
0x3f5695c43f3773bcU, 0xbcb1bf8dc00bc101U, 0x3de5f89f3efe2fb5U, 0xbf96b8b8bf9d15a3U,
0x3f84ab82bff39560U, 0xbe25aea53f049ad0U, 0xbf20ee41c0297346U, 0xbf5620573fe2fbcbU,
0x3fb6b9abbf120eeeU, 0xbf2900f5bf251224U, 0xbefb4827bfd1eb85U, 0xbf65182fbfb8cfbbU,
0x3dc99de6be12bd72U, 0xbe1e82103ecbf935U, 0xbf0ef1ab3f8ce34cU, 0xbf43594fbd990d87U,
0x3eaaab2e3e85d914U, 0x3e8406753ec407b8U, 0x3ee2b33abeb5baeeU, 0x3d0e41083c79a9a1U,
0x3f9c09143f3a6914U, 0xbfa05c79bfbf01daU, 0x3edc69e640196f15U, 0xc01d5cc0bee23eb8U,
0xbfa1abaa3f0b0e15U, 0xbf298f19bfb643aaU, 0x3e87f255bca269dcU, 0xbfe8c91e3eae91c1U,
0xbf3ff7f3bf05a373U, 0x3f13afdcbf018f4cU, 0xbf2043483fb70cf5U, 0xbfb89125be0ed4f4U,
0x3f435defbf9bf946U, 0xbf1efc833fad12b3U, 0xbf4edd59bec03277U, 0x3f36d3a2bf41a575U,
0xc009a2a63f0af44cU, 0xbf8fc98740290a85U, 0xbf8bca6a3fee458eU, 0x4006fe56bdecdfdeU,
0x3ed550e4bf32c895U, 0xbee3d9643f88cfc7U, 0x3f569e88bfb55bdbU, 0x3e1effd63f9ba521U,
0xbfd257983fb38f40U, 0x3f550464c0153377U, 0xbfc8884b3fe161d7U, 0x3e24d4153fb1f7dbU,
0x3fc3322c3f4a344dU, 0xbf992d093fa57b77U, 0xbf6014e13de3325eU, 0x3fdd3def3f8f24bdU,
0xbd5b61e1bd63b1b2U, 0x3fb6c8e83f7a5787U, 0x3fa350703fc24f63U, 0x3f6ecfaa3f87ae63U,
0xbe85315dbfa742edU, 0x3f49d6833f0841d3U, 0xbdaff4fdbf229b3aU, 0xbf5a7b813ef87eccU,
0xbf9c2eed3ed7265aU, 0xc03686eb40341b2dU, 0xbec1696b3ea0e293U, 0x3fdc5eb83ee7c8cdU,
0x402dcbb73f4eab06U, 0xc024831fbf23f480U, 0xbf8e066ac02b6140U, 0x3fe1aff640148fc9U,
0x3f20659c3fb6667eU, 0xbe9f8715c0320a2bU, 0xbf34683840066dbdU, 0x3f8e11f83f3b6da5U,
0x3ec8c9c2be7f626bU, 0x3f8f24e4bffc602bU, 0xbf856401c02accf9U, 0x400ffcb33fe47264U,
0xbf540f2ebeb14d31U, 0xbf5e15383f8759cfU, 0xbfa84b833dd49293U, 0xc017cf6f400e83b1U,
0x3ff192bc3fb2502cU, 0xbf872f7bbff6555fU, 0x3f0984b7be39f7c0U, 0xbf7d542bbebdec2dU,
0xbf8af2c43f1717afU, 0xbfc20131bf6b689dU, 0x3fe763d1bf3a90c2U, 0xbf5379cc3fc0a282U,
0xbf88c0393eac45b9U, 0xbf5416bc3f8ae5cdU, 0xbf0d05093ec2d5b2U, 0xbf8233973f9147faU,
0x3f90b54abe47f8f8U, 0x3ea5d2a9c0500fc6U, 0xbf7a64b6bf44fac8U, 0xbedf9e3f3ef107d1U,
0xbfb5fd153e9d133cU, 0xbea1c879be9fe3fbU, 0x3e01c67a400149aeU, 0x3f81f859bf2efa5fU,
0xbef8cc39bf04ad3cU, 0xbf0ac726bf4c6c46U, 0x3e35798d3f40c201U, 0xbdc816403f9b72d4U,
0xbfb229773e306fa5U, 0x3e9914fc3da4adc0U, 0x3e259b543db20d7dU, 0xbf2a72c3bf2af1b4U,
0xbd9cd245bd6e7863U, 0xbd6c8463bd1a72ecU, 0x3cdb2f9bbd5375dcU, 0x3da53c3a3c1b7a18U,
0x3d8998263d1b8ca8U, 0x3ce430763dbde10eU, 0x3de14fa03d86ef56U, 0x3d94db00bc42457fU,
0xbd0734de3da9a5e1U, 0x3b2d72983d79e4f7U, 0x3d8530febcd1aac4U, 0xbc1fe0dd3d478f35U,
0x3d936b983db4c76eU, 0xbde869333dc86777U, 0x3cbcccb3bcbcad80U, 0xbde4acc5bd869f13U,
0x3d016863bd9b879bU, 0x3d916dd6bdb0b71fU, 0x3bb741a93d65a33aU, 0x3dd750303ce62bc1U,
0x3d8f89433c49d64fU, 0x3d043b4b3d95afb0U, 0x3ae2a0e43d667e91U, 0xbd13e3813d8aac33U,
0xbcda4cc13be17254U, 0x3c98a4b03d72f943U, 0xbc373cf7bd828340U, 0x3d9f2fd53d30ea17U,
0x3dcb85073e0250b0U, 0xbbcf188e3c817d67U, 0xbb0915c8bde7261bU, 0xbd67e2013d29764aU,
0xbd8089bf3ddee3d0U, 0xbb81dbd03db74a6bU, 0x3d306e8dbb29346eU, 0x3bc31354bafaca17U,
0x3e0ec6f7bddb49fdU, 0xbd3de65c3db00d17U, 0xbc84bc56bd60afffU, 0x3d4a561abcbeacb5U,
0x3d9914f1bdb8f4f4U, 0x3d8a6f103c83f057U, 0x3d8d6f6dbd1c9918U, 0xbdb9780d3d0d4369U,
0x3dbbe5893dce0858U, 0xbdcbcbc8bd6152b4U, 0x3dbe47fe3dc42c13U, 0x3d57919f3d9c566eU,
0x3d9d7d4dbdbb1adfU, 0xbd83d9933b98b72fU, 0xbd7a7a52bd89e2e9U, 0xbd78f8b1bd965e3cU,
0xbc487ad7bd87ef63U, 0x3d17f9c8bbd706cdU, 0xbca0d9f83c125883U, 0x3db8c8073c9135afU,
0x3d7dbc5d3d1fd560U, 0x3ddda7203d823d81U, 0x3d782c5e3dc2f989U, 0x3df8748c3cb458f7U,
0xbd786c5c3bbe78bdU, 0x3dbf0fd63cb782bcU, 0xbccf1f253dbaf322U, 0x3c7e0a05bd153b14U,
0x3dbf2efd3e01c9fdU, 0xbd17226a3d94b6ddU, 0xbcf1f79c3dfcbed6U, 0xbc75d5ac3dad2676U,
0xbc5f918fbb55b576U, 0xbc0daeaebd3cd41fU, 0x3cf2689d3da898e1U, 0x3dbe9ea63df7cc81U,
0xbebddabc3fcc0760U, 0x3ea0d4603f93cc1fU, 0xbe7ec79b3d46c2ceU, 0xbeab99cebdaa0718U,
0xbf8ae3e0bf65ed0fU, 0x3f24b6b43f9e1495U, 0xbf786e0cbfbd4bf6U, 0xbf684323be5feaddU,
0xbfa84c97bfa0fd77U, 0xbd7f0620bfbb9112U, 0xbde0c1133fcd352cU, 0xbdb5c69fbf6e87c6U,
0x3f9a0b5cbd9234d5U, 0xc0087f013b93b836U, 0xbef70a093e853f04U, 0xbe385c28bed308c3U,
0xc043ac5bbfdf4ae6U, 0x40611517bf0fbcd2U, 0xbeecd4313ffc5f9dU, 0x3ee667eebf96f8e3U,
0x404ad32b3f3c8433U, 0xbcdaa7633ff46984U, 0xbfa1a1b73f5fac42U, 0x3f2755e640143cc7U,
0xc02f99843fc8d0fbU, 0x3f938535401a252bU, 0xbe1c486b3db577faU, 0xbac617a63fd54143U,
0x400bea24bf473283U, 0x3f3709543fc39217U, 0xbf2fb4a540141a81U, 0x3fed629abf305e43U,
0xc086fca03d555658U, 0x40323d88c0031767U, 0x3d7b8b2ac0133688U, 0x3fa1dc243fa69046U,
0x3ea887763d26ad60U, 0x3ebe626f3f395f6dU, 0x401725063f6729e0U, 0x3f74acb340795c42U,
0xbdd0e29d3fa29c10U, 0x3fc8138a400394f3U, 0x3d3afaff3f5901b8U, 0x3d9aa2e6bf62e42fU,
0xbf76f02ebfd09c60U, 0x3f7be2233f85db49U, 0x3f5a420340495e6cU, 0xc011b73e3fd6dd47U,
0x4009d8ef3fd8cf15U, 0xc00c2f4bbf8cc879U, 0xbd4005074033567fU, 0x3f1fa8a03fdcaab4U,
0x3f80b424be216448U, 0x402512b93feee583U, 0x3fd3a9da3f00e202U, 0xbfadd2d1c00fdaf9U,
0x3ff0cca7bfa1365bU, 0xc062a450bf2294deU, 0xbd09f3653d46d756U, 0x3edf905e3fea00d9U,
0xc0586c04bf2dd66dU, 0xbd8e931240401638U, 0xc0034331bf7674deU, 0x403d926fbeea5d6fU,
0x40876057bfaeb070U, 0xbd7fd5443d9675feU, 0xbe1aca85bfe663e4U, 0x3ca6c733be8c8e08U,
0xbff05fad3e106fdbU, 0x3ebdbd92be9fe38eU, 0x3f49c08bbf1a1ba5U, 0xbfaa61d7c027ff31U,
0xc017ed803dca667cU, 0xbfcab9243f89f2f0U, 0xbe40aeb5bfb8ecf3U, 0xbf99748ebf8d3f4bU,
0xbed1251abfaabe40U, 0xc04ecbfb3d5c5231U, 0xbeef5b4abf424f16U, 0x3f99513d401cdec8U,
0xc022f3563f2d9c49U, 0x3e0393c1bfca0fbbU, 0xbc55b800c00ffb76U, 0x3ec5918f3faf8549U,
0x3f855fc03fbeadc8U, 0xbf53d360c0893743U, 0xbf9a4e3440155b6fU, 0x3fdb75eb3f462ad2U,
0x401819393e424166U, 0x3d38fe7f3f139d8eU, 0x3bee4fba400d9b7dU, 0xbeaec89bbe803686U,
0xbea3996fbdf714e8U, 0xbf54b7e23e625faaU, 0x3f0c14f7bfa827c9U, 0xbeccf1f03f196266U,
0xc050f5e1bfdf4608U, 0xc01c2d4fc0252f2cU, 0xbcc4eb0b3f3e4a24U, 0x3f14ee41be761bf0U,
0x3f44f86cc02180c6U, 0x3e88eb5ebfb58dffU, 0x3fc5efc3bfb11173U, 0x3fcce3bc3ed31928U,
0xbf237c9ebe0a7979U, 0xc06a67e73ffbc05eU, 0xbe6fcc443f791930U, 0x3ee7a4b83eceb446U,
0xbfbc5528be2aa1b8U, 0x3fe548603f06ed9fU, 0xbf8a2f2abf8b46a6U, 0xbf1929c7bf427640U,
0x3fe4ca5dbf8725aeU, 0x3fd4c13e3cf782b3U, 0xbd9cc898bfcde82dU, 0xbd86be8dbfab542aU,
0x3fb1a264beff6cf0U, 0x3f3dab9d3f91d12dU, 0x3fa4768b3fc85661U, 0x3f099b79c02b8f85U,
0xc03e0575bf7afc15U, 0x3fd5466d3f5ef6f0U, 0x3ef395923f214fe2U, 0x3f6ea33c3f01e7f9U,
0x3f90eed5bffc594fU, 0xbff54bf8be68d107U, 0xbe89b2b53fffdeceU, 0x3f7f218e40777b3cU,
0xbe00f7573f16c8c2U, 0xbed1fceabdbff768U, 0xbf074d503ec9b5dbU, 0xbef9b056bf2dad06U,
0xbe262db33eac3549U, 0xbf4dee1c3ecbac7aU, 0xbcd2891a3e6fac23U, 0xbf88f32a3d481642U,
0xbdc955323d376132U, 0xbab739133e9fefb8U, 0x3e3d75b8bebbbf8bU, 0x3ec159b73eaf7117U,
0x3e270ad7bd510f91U, 0x3cd078e13dcdf070U, 0x3d3ed5b6beda98eaU, 0xbe563ea7be5d020aU,
0x3d750224bdd5abe3U, 0xbd0bb8d03e964603U, 0xbde72fdfbe83426dU, 0x3ea402a13e80372aU,
0x3e768027be376c1aU, 0xbdb31e1e3d54a60aU, 0xbe9bd40c3e0f10daU, 0x3e8dc4bc3e262c49U,
0x3e9f2632be8fa17fU, 0x3e556e883eab8a7aU, 0xbe647088be3bd4d8U, 0x3e924443bdc0cf7cU,
0x3e888570bd1fac0bU, 0xbc6f866cbe4d59bcU, 0x3e00ebcd3e0b1338U, 0xbe6b67073d4c127aU,
0x3e9765543e3f11e3U, 0x3e35ca293d322bb6U, 0x3ed59e2f3e0ff919U, 0x3dcabe61bd0a2990U,
0x3edf5961bf05ae93U, 0xbc06b447be7d5040U, 0xbe5ca176bdfc4020U, 0xbe5bfc2c3e8d9adfU,
0x3efe78fa3e93661dU, 0x3d9b252bbdb1a786U, 0xbed8d3a6bd47175bU, 0x3dfc97f33e294d82U,
0x3e467cebbe0f60daU, 0xbeaad366be6a50c4U, 0x3eba39613dac9e4fU, 0xbdd71d943cdd2101U,
0xbdf2d6b03e55a7e4U, 0xbf10f9de3e0481d6U, 0x3ac3fc673e0bf63bU, 0x3ea0cf5b3dc313f3U,
0x3d77cd103cb153d5U, 0x3c13d15c3df432daU, 0xbe45fcf6be865c0dU, 0xbe017c1dbe8d3ee7U,
0x3ed12ee9be6846feU, 0xbd9d71423ed815c6U, 0xbbb9da913cfa5a3bU, 0xbeae89963e7200e7U,
0x3e3598e6be3ef751U, 0x3c85a0323e203872U, 0x3eba429abd73dd73U, 0xbe036dabbf117b8eU,
0xbd52a67f3e9ab3ffU, 0x3e33a9dc3e3a8515U, 0x3e591fa9be1bdfd2U, 0x3e22cc983e732c73U,
0x3ecba6e5be53af53U, 0x3db4fd3e3cafb38aU, 0x3dad033e3d8e6d2bU, 0x3e3d6f3d3d92c325U,
0xbf1784be3ea6badeU, 0xbf0f0c203f250dc7U, 0xbdb3d692be35c726U, 0x3f207a61bd01774cU,
0x3dbc0b633e2d009fU, 0xbe6aa901be2b370dU, 0x3d90f58e3cf2a6b3U, 0xbe139eccbf24272aU,
0x3e30a0613cab0c6aU, 0x3e9becfc3ec88a4cU, 0x3d9d928cbe8f1662U, 0xbe7b0c71bd2173b2U,
0x3bc4e7d73db8b922U, 0xbd4183c1bb50f712U, 0xbc22e77bbe9507b7U, 0xbdf1e1d73e85e226U,
0x3dde43ed3ea2ae05U, 0x3eb665323edff567U, 0xbd86eef23e212c12U, 0xbea9c01d3c712058U,
0x3e96e0d73e0eeb71U, 0x3dbc9f443e8d4f4eU, 0xbd5154e03ccde158U, 0xbefa75a8bda3a2b4U,
0x3d9b55f2be866961U, 0xbd91d0d43bf6a9bfU, 0x3ec461d3bd4b40daU, 0x3e4ac8e03eea25dbU,
0x3e63939c3eb15a35U, 0xbf03ecd53ea8691cU, 0xbe7532c0beb879abU, 0xbe01a940be1a4da2U,
0x3e788f543da4195fU, 0xbdcc8eaa3dd47944U, 0x3dcc22a93daea364U, 0xbe25d67c3e20e73aU,
0x3e8c1c24be157b11U, 0x3e76791abd894197U, 0x3da266b43d292de7U, 0x3ea9678d3e9625eeU,
0xbd2a8fd53d4d95beU, 0xbe7764ac3dbc0110U, 0x3d98d4fe3da67f22U, 0x3e7fc4493de4e152U,
0x3e0047603b84f80cU, 0xbba516d33d8ff1fdU, 0xbd9de4a0bee42e6fU, 0xbdd16f70bded0815U,
0xbc01a126bdbc4613U, 0xbd328cb03e878b0fU, 0x3e416865bed6f2f8U, 0x3eb0b3b53e94a1f3U,
0x3e497dfc3cc047b9U, 0xbd48fbb83dcec865U, 0x3e11062ebeefb7beU, 0xbe2415c8be750fc5U,
0x3e25d8533e838eabU, 0xbe7bacebbda74c22U, 0xbe7226763ea0e325U, 0xbdcdf3d73e49b3baU,
0xbf1e1aa8bee2978bU, 0x3e2c2f353f244f73U, 0x3f0ce4c93c5bb754U, 0x3e6f1c78be99164aU,
0xbc7ab98d3e2fbb21U, 0xbf0497b33d3a9a24U, 0x3dcb3ee03dc57e83U, 0x3e9d388e3e0587bcU,
0x3db2ba443d905236U, 0xbe15d3fc3e03c4e3U, 0xbe35f8a0bea3243aU, 0xb8a09bdbbe7339b2U,
0xbe5018223d34441dU, 0xbe5389f3bea0f656U, 0xbddf18ecbd81393aU, 0x3e9fb16d3e9ecebaU,
0x3e0781d3bdc02ffcU, 0x3cb1d0dfbdd91804U, 0xbeaa3b44bd8a417eU, 0xbe4b3bbbbdffaf1dU,
0x3e1fa48bbeedee76U, 0x3e628af5bea86c32U, 0xbe962a29bd629948U, 0xbecc8f813df9d090U,
0x3e48f154bea3c6d3U, 0x3e043c5ebe1d0b88U, 0x3f2862adbe304956U, 0x3e8476d2bd5faa22U,
0x3d850e553e177828U, 0xbd7c1c18bd7ace65U, 0x392d296d3dae5e36U, 0xbca61aef3e3dd4d8U,
0xbf081a773cd73463U, 0x3d1373623ed5ebfcU, 0x3c9f44b1be818b6eU, 0xbe5ca3433d1be1edU,
0xbd7574643e250f31U, 0xbee04c5b3e197eb4U, 0x3cfcfb3f3dbe928aU, 0x3ee636573e01c852U,
0x3e16e242bd6d8cdfU, 0xbd6df78b3e031309U, 0xbe5fc549be9dcc94U, 0xbe5f8323be8cc161U,
0x3d4ea4df3df808ebU, 0xbde1c1bf3c606ec0U, 0x3ccdc9b33d9b389aU, 0xbe7d65953e3cf6cbU,
0x3e8caacbbbe4fdf0U, 0x3ea5a22a3ca70a2eU, 0x3e9140bb3dab92daU, 0x3ef4f7b53ee53544U,
0x3de615713e2d458cU, 0xbdae62cf3d410b94U, 0x3cfdeb8cbd28b525U, 0x3d9c8e823ea6ae12U,
0xbe949d92bd016720U, 0x3ded64e83ebef33bU, 0x3c3b569fbe8efffdU, 0xbe9f43213d05728cU,
0x3e43d43b3d7fc829U, 0xbc5efbf43de0654eU, 0x3dd9d4dc3cb2bf9eU, 0xbd447eba3e6e15f5U,
0x3e6cf60cbe42e847U, 0x3e538b5dbe034d7aU, 0x3e1cf57a3d446980U, 0x3e85c3aa3e9338f7U,
0xbeaecb313da8925aU, 0xbe1848973db27480U, 0x3e3a59e93c868ddcU, 0x3e943f07be0ff17fU,
0xbe71b811be671b6cU, 0x3dc4ea0cbe336069U, 0xbeb44f68bf022572U, 0xbc9db9e5be1c9d30U,
0xbce4358c3e2065f7U, 0xbe3692093d7e01a3U, 0x3d3470493d1c4a49U, 0xbc6d06873e96cc15U,
0xbecba97e3d05323fU, 0xbc3a39693ee65cfeU, 0xbbc73d93bdd79ed7U, 0xbebd2ff83ccd9fafU,
0x3e8a22ac3e52c177U, 0xbe49b7863e0e7820U, 0xbed6a9febcaf1326U, 0xbe66b48abeb1176dU,
0xbe863c98bc3145dbU, 0x3e80ff30be9d5814U, 0x3dc86bf4bd8ba921U, 0xbdfacfc43e721d6fU,
0x3e4cffa23d84f036U, 0xbe4b375f3e51ee88U, 0x3dd20f49bc8c8654U, 0xbe1c22203e64144cU,
0x3e2471dcbda0449dU, 0x3e811baf3e57bb6fU, 0x3e0292fd3df792b1U, 0x3ec08de83dca54cfU,
0x3edf21873e24d4acU, 0xbe3cd9e53e55ab36U, 0x3e744d31bc150f59U, 0x3ede5602be34c993U,
0xbdc27644bdb70603U, 0xbe3062853d84fc2dU, 0xbec30c8cbe9040dbU, 0xbdf837f9bdf5cf5fU,
0xbd8f7c2fbe9912acU, 0xbe8d309f3e80acd3U, 0x3e3aa8933d248526U, 0xbecc1e763e39a057U,
0xbe805dff3e0d01f6U, 0x3f01fe843ec0ed50U, 0xbe20f51ebed89da3U, 0xbe22c752b9441b0dU,
0x3e9bb4f73d4510ffU, 0xbe3162e13e18bd3cU, 0x3e8a58b5bbfb2706U, 0x3e27609e3e277598U,
0x3e7dff42be81732cU, 0x3e38da9cbcca7a7aU, 0xbd8b2e32bdc8ae7bU, 0x3d3178003e32a7c8U,
0x3cbeb2df3eda5e1cU, 0xbe98a8533e4054e6U, 0xbf020b683e5294f5U, 0x3eadbeaa3d6edb6cU,
0xbedfd9a9be068547U, 0x3df8a1f2be02f07eU, 0xbdfba4bcbde4af7aU, 0xbd440d96be149b64U,
0xbf0d7d7dbe50b641U, 0xbf130b8cbec6a1d4U, 0x3e873b3fbea69b62U, 0xbfad5d3fbea01620U,
0xbe88d9d23ecbee74U, 0xbd8db72abf6a1a80U, 0x3e3ae2dabf879223U, 0xbea8df9dbd7adb5cU,
0x3f2781983e4afb5eU, 0x3dad304a3f0e33d2U, 0xbf9fb98e3e6b2e98U, 0xbf8280bdbe5f34d4U,
0xbc91125b3f870ebeU, 0xbf8fdec23f1963e6U, 0x3eb92ea2bc3df614U, 0x3ee84276bf4b559bU,
0xbd332c5cbd7160dfU, 0xbd086816bc05e22fU, 0x3d7c244ebd3a909dU, 0xbca1d8763d0ae4e6U,
0xbd29d1b53de44229U, 0x3d0df6463b8e165aU, 0xbb4cb3793da20e31U, 0xbd330dd13de67d1fU,
0x3c8cd0193d1719c1U, 0x3d22eebcbdaa0a46U, 0xbdd7a0c3bd10a29bU, 0xbb89f498bce1fba3U,
0x3af2c83abe079ddaU, 0x3d171f94bc1e89fcU, 0xbc7e0c693dae0f46U, 0x3d9a9560bd8dce6fU,
0x3d65e7033dd80579U, 0x3d4c48393de4086fU, 0x3db9bf14bca84e58U, 0x3d71b20ebd09405aU,
0x3d2fdd873dd9f95dU, 0x3c6718dc3d8e65e9U, 0x3d02d9233e0c8f5bU, 0x3dbdfb373de2f5b7U,
0xbd955d143d55a82eU, 0xbd73aa0b3dcfd4e5U, 0xbcba2e403d1c6981U, 0x3d0d23aabdd3c277U,
0x3dbff8603cf8bff8U, 0x3d51c9cfbd3c9228U, 0x3d59a4553d680775U, 0xbd0a5c3d3d78792aU,
0x3dbd474fbb78f3e4U, 0x3ddaee32bc84e96fU, 0x3cb296e83dc92a2dU, 0x3e042c2c3e13ef2bU,
0x3c538831bda5ba52U, 0xbd69054bbb765fc8U, 0x3ce1b30e3db36ca3U, 0x3d94824ebd111fe0U,
0xbdc585933d0a80e9U, 0xbd60a36dbcd28c96U, 0xbcb812fbbd8753cdU, 0x3cb812413d1fa104U,
0xbd146acabdc50b67U, 0xbd9e4835bd7cc00cU, 0xbddbb1ffbdb0cb27U, 0x3c9e9d553c688219U,
0xbdc63a29bdc3934bU, 0xbd9d6e20bd41396bU, 0x3d6191a23cadcba9U, 0xbb1e61ccbde03673U,
0xbda23d9dbd12dc84U, 0xbd630b76bcabc028U, 0x3d6c7ff63df9f055U, 0x3d9238643bc688f9U,
0x3d582c1e3c7cc0ceU, 0xbbcb90723db84bbcU, 0xbc45c152bc1f5d47U, 0xbcb23e8e3cdcdad2U,
0xbceda4d2bc8d5a12U, 0xbd50420cbd41e210U, 0xbccbfa6dbd708b63U, 0xbd54c617bd92a8d4U,
0xbd95e392bcfa76eeU, 0x3c30b87abb291363U, 0xbd325dc83c4b65f0U, 0x38c11648bdf812a1U,
0xbd6d1043bdb7bcb8U, 0xbdb719f0bc5ffa6aU, 0xbdb3893dbb0b7341U, 0xbb83b401bd6e156bU,
0xbf1d18903f174fdbU, 0x3fa5f256bf6116feU, 0x3d97d39a3f1c2990U, 0xbf0341b33f8798c6U,
0x3f9b635e3d56c018U, 0x3e29695fbedff0beU, 0xbc06148dbe92e4b2U, 0x3eae25a03f863935U,
0x3d973a17be2db704U, 0x3ea4ffb03ddfc38dU, 0x3e5db069bda31338U, 0x3f779f4abbf9bc7eU,
0x3e4b5aaabdaa7220U, 0xbd1cbe383f08f44eU, 0xbd70bf793d4bbd71U, 0x3e002cd6bed26a13U,
0x3f15b28f3e9f54ffU, 0xbf942233bdc772d0U, 0xbf43e100bf8f2dd9U, 0x3e3f00b13bbe6e0fU,
0x3e365cd03e7113ffU, 0x3f14ce513f25a87eU, 0xbeb2a773bf31a4ddU, 0x3e2bf2a63d90cbb7U,
0xbf3661fc3ea926adU, 0x3f39fdb3be926aacU, 0x3fc903003fccfc3aU, 0xbff18f1d3f9794d7U,
0x3f1728e9beb177b2U, 0x3e307a9d3eab1baeU, 0x3dab0eeabead5943U, 0xbf0fd62abe23ded5U,
0xbf0a57603f4fad28U, 0xc0092c1cbff6230dU, 0x3f92f0ca3de41b7aU, 0xbf9c01663a739d14U,
0x3fc44782be869f19U, 0x3d9345f6bfa00119U, 0x3f0214373fb9008fU, 0xbfc78eda3ed996a4U,
0x3db520643e40542fU, 0xbe32e9b73ecb7f04U, 0xbe08c52dbe7e1e01U, 0x3f938aadbe90c24bU,
0xbea5f3f83e1724a6U, 0xbf346827bd3c9c61U, 0xbea565a93e7d857aU, 0xbee430ab3f4d93e6U,
0xbef7d355be60d268U, 0x3f3fdffcbf8acc6cU, 0x3f9924743fababe0U, 0xc00bb3963f93e9d8U,
0x3e7d4586bed19707U, 0x3f68c58fbf80003dU, 0xbf0d1f923f731cefU, 0x3fa7ccdbbfa8c91aU,
0xbf202ad13eede26bU, 0x3fac89913ef8a1ccU, 0xbf1371133e28305fU, 0x3fd2e4e83ea4d29aU,
0x3da1da22bee0cc75U, 0xbed2d8dabd8879e5U, 0xbeb1b3913f8dd39bU, 0x3f78b8643f8dbd86U,
0x3e9cbc683d21f5b4U, 0x3e7b6661bef5c226U, 0xbeaded22bf0a2367U, 0x3e8d38b0bf7eaee6U,
0xbf97f254be4197e7U, 0x3ebb57e3bf6e44a4U, 0x3f31e9ee3ef432cfU, 0xbe0c43d03d2f9155U,
0xbe7aaed0bf8b99d4U, 0x3f56fbcdbf0989d9U, 0xbec33591be342269U, 0x3e9849c6bf654a9cU,
0xbfb209a8be7300bcU, 0xbfb8799540317d1aU, 0x3f0667f53fbd46e1U, 0x3e8420433f02be88U,
0x3f9877f9bed7a0fbU, 0x3e8becc0bf8000c3U, 0x3f658796400232d5U, 0xbf06503abf147607U,
0xbf8c98083eb7cf54U, 0xbf3064a54022d8dfU, 0xbf2f2c423f0e1260U, 0xbf65ff61bee9018fU,
0xbe9444aebf07201bU, 0xbf2ecccbbf950443U, 0xbfab5d8d3d41a376U, 0xbb5243303edc15ceU,
0x3ffdf272bd6ac54cU, 0x3f2deabc3d9a57b8U, 0x3db93fc5be17140cU, 0xbf28868cbeb2b7f0U,
0x3f41fb28bf32db26U, 0x3f4e18093f29b69dU, 0x3f7a7b423fd31437U, 0xbfc863303e0e7e8dU,
0xbf0f4e5b3e630a7dU, 0xbf43909ebf79a5a9U, 0xbcec02a93dc17bbcU, 0xbe92be9ebe7dd60dU,
0xbc5aa67bbda5bf37U, 0xbf6efeb0bf786143U, 0x3f277d7abe23a7bbU, 0x3f906ed03e510bdeU,
0x3f22de613d421734U, 0xbefc10413f48ba6eU, 0xbcc78f9a3e666a65U, 0x3ed06cc4bd9ef4e4U,
0xbf05dddd3f5fa45dU, 0x3f6209f7bf3cf96bU, 0xbd84aaeabf71d1f8U, 0x3fbed4cfbeed2280U,
0x3f971100c0028b7dU, 0xc003fb1cbf57e347U, 0xbef9bd13c02b6b72U, 0x4039d9f13ffd27e0U,
0x3ed15370bca0f1d1U, 0x3fd620a63f1c7628U, 0x3f219da1bebf12c0U, 0xbfc8bcd03e54a943U,
0xbf0e7550bd8345b5U, 0x3e546795bf33359eU, 0xbe393237bec3c413U, 0x3f11bff9bf4885aeU,
0x3f1a44fd3f94d6d9U, 0xc033cfa8bfccb79fU, 0xbf8455d73fafb1edU, 0x3f316d793e81eb60U,
0xbf06a7a3bea6ab19U, 0xbd90331b3f872497U, 0xbf13e99dbfa93361U, 0xbf9328a8be6ec156U,
0x3f13208f3df1c50cU, 0x3fbb61733ee4a745U, 0xbf031cd53f63c3dcU, 0xbf0144c73f7da6b3U,
0xbdc2c560be899bd8U, 0xbea22589bf27a473U, 0x3e625f78bf932006U, 0xbf860aa43d79d68dU,
0xbf05ab403ee83965U, 0xbf2b86df3f83a210U, 0x3ed862793f3b2b4fU, 0x3faecc96bf57cc19U,
0x3f1a953dbf158f18U, 0xbf5e80f3bfbab931U, 0xbe44117a3fa9e9d0U, 0xbf6e59e33f0786f6U,
0x3e9b7f54bea60fb1U, 0x3e6fbb2dbe6951a6U, 0x3f9a392cbebe0f10U, 0x3e3d977bbeb11b24U,
0xbecded7b3e91f5c6U, 0xbe31cdf73fd2932dU, 0x3dc1eca33f181b23U, 0x3f3d4ff2be38380aU,
0x3e29906cbf261b42U, 0xbf9e9758be950769U, 0x3dfc7dd9bfaaa2feU, 0x3fd02d37bea851c8U,
0x3fc2d1f0befff0e0U, 0xbe932adabf39f890U, 0xbdaca2bcbed86c30U, 0xbd78769f3eebb736U,
0x3de6dbf73fc3d862U, 0xbf7fe9c7bf0b09ddU, 0x4011e7c4c00e9f59U, 0xbfc045a63df8150fU,
0xbebb970b3e971bc8U, 0xbf8e89bfc010f648U, 0x3f8ef16dbfe50c90U, 0x3f8944bd3f4d11f2U,
0x3f6a2dcb3e665b62U, 0x3e2a1218bf11d0c4U, 0x3f895108bfb90707U, 0xbe8f9d05bf87fb4eU,
0xbf27b078bed64453U, 0xbfc3f0d23efe3322U, 0x3ea2c800bf55d9fdU, 0x3df08282bf1fa534U,
0xbcf73f84bc01a0a3U, 0x3e95e3a5bd9f4ab9U, 0x3de3d72d3d24bfe0U, 0xbec12ca6bd8f6622U,
0xbe036ee5bd3b6b51U, 0xbd5ea31f3ed1c9b5U, 0xbcd0b8313cd3fcfeU, 0xbd3dd4d33cce2494U,
0xbe3429e7be27eb12U, 0xbf10062b3fd0ff05U, 0x3e6f16dd3f9ec4a4U, 0xbf092d813f1124f0U,
0xc04582453ec408edU, 0x3f579aa73fcd11e1U, 0xbe67dc9a3f949a39U, 0xbe2748edbb22e01fU,
0xbeffd4dc3e47d4a4U, 0x3f343bef3e114aa5U, 0x3ce09f763f2d84dcU, 0xbec81b82bea41e4aU,
0xbf1456453e0feb99U, 0x3f02b45bbe8216fbU, 0xbd501a60bea30a6fU, 0xbe79d5c5beb783f3U,
0x3e3343983ed625beU, 0x3f7e4fe03f103de8U, 0xbfb120adbe6d2932U, 0x3e264a923d4927a8U,
0xbe0e338cbed69eb5U, 0xbe782137bf31ff6fU, 0xbed64e163edda377U, 0xbf142990bf904ed0U,
0x3e98a92ebf3f3942U, 0x3eea165cbe80103aU, 0x3f9d45073dd29ad5U, 0xbf6c51933f8203aeU,
0xbd706bd83e2955a5U, 0xbdc438c6bf04a639U, 0x3d2b2c8c3e5eda5cU, 0x3e04432c3d8db9ddU,
0x3ec294c4bf631718U, 0xbfd8b0f0c005b580U, 0x3e915a093f0f8992U, 0xbf1664363f12d50dU,
0xbf3bf1123ef5d55eU, 0x3f9844503f5f84a6U, 0xbec6f6c93faa9e3fU, 0xbfd963683ecbbf30U,
0xbe852e4a3e1750edU, 0x3ea5b0c23f4e505fU, 0x3fa766353fa7255cU, 0xbef7b4793e2d63e2U,
0xbefed4ed3e248c00U, 0x3ebd9a23bf186badU, 0xbd4bebde3f2768ebU, 0xbeb179c03efce64cU,
0xbf61b8cfbeb31beeU, 0x3febea863f17f3ecU, 0x3e1a1845bfff358fU, 0x3f67acc6bf19f985U,
0x3f23420b3dcc731bU, 0x3f8490a43d90455dU, 0xbe4671703f18f86bU, 0xbf7884753fd0cdedU,
0x3e06ded63e919767U, 0x3f99d1d13edd4780U, 0x3f802377bf503007U, 0x3f8977883dff0080U,
0xbd95d59abebcc8e3U, 0x3f2c3da33f4b5e9cU, 0xbe9218c0bba53d9eU, 0x3e0295edbc44785dU,
0xbea3d985bd77b13eU, 0xbe008b4e3faa98bbU, 0xbeb521fabee6fe85U, 0xbf24710abf846cddU,
0x3d69eccebf11fc4fU, 0x3ee887b6bf851e81U, 0xbe394f87bf8dbfebU, 0xbcb2cd783f972ae7U,
0xbf187f243dfc095bU, 0x3e2e49c0bfa1fd61U, 0x3f5207213e994011U, 0x3dd2cff13e091919U,
0xbe7dd7eebdc6ce9aU, 0xbf18844fbf320705U, 0xbf768438bf30585dU, 0xbe6088ca3eaf5cb9U,
0xbce1bc0abcfcec31U, 0xbcf8f707bd922c31U, 0xbd2d5aa6bacc2291U, 0x3d4267e53d0182f9U,
0x3ca942c63c16b091U, 0x3ca9617abc930092U, 0x3b5cda043c903118U, 0x3c5965aebba6bbecU,
0x3cbf7ac53c385247U, 0xbd498dd3bd6ad8e5U, 0xbd357e15bd97ec0eU, 0xbc38cc2dbcff1b1cU,
0xbd14cfc43c85dcc8U, 0xbdaf7e9cbc62f487U, 0xbd385fa0bc475d16U, 0x3b82ba523af9206eU,
0x3d33b3913cb5695dU, 0x3d1a36ad3ddc6275U, 0xbab632dabd3b0f8aU, 0xbd3b80643c594191U,
0xbc987403bcb316a3U, 0xbd8d8e59bd4a2365U, 0xbc384158bd370d30U, 0x3cad7cbe3c258f71U,
0xbc8fde50bc9753afU, 0xbd2502e33c20507cU, 0xbcb18e8bbcf81563U, 0x3d93cd7bbabc32fcU,
0x3d6b5bb33dbd49a8U, 0x3dadfbbc3c95b69fU, 0x3d0c60593d8a2c9eU, 0xbd48a8a73ce10e9eU,
0x3d553272bb77076aU, 0x3d5fd9ef3d0e16b1U, 0xbbf8dd143d191351U, 0x3d41b6293d73c85cU,
0x3c3b8dc83c42fad5U, 0x3cc734b839fc989aU, 0x3c9b966a3d3625ecU, 0x3d184d9b3cd7a014U,
0x3d23e1d33d23839bU, 0x3cfa45333d8828aeU, 0x3dad2e22bc475ee7U, 0x3d35da223b132d54U,
0x3d9066353d8e9858U, 0x3d65f5883dbb5f08U, 0x3d4f9f993db3e962U, 0x3d911a223d0b9ce5U,
0x3d6b1d893d795af1U, 0xbccfdd3d3d93a7b6U, 0xbbf057f4bbd4869fU, 0xbd6fe4893c9964c4U,
0x3d208382bd96a633U, 0xbd095643bca1df91U, 0xbd862fcdbd13d7caU, 0xbc515e62bcad2a3aU,
0xbd1d6ffabd528008U, 0x3cf7cd7b3cd91a6eU, 0xbc0cea1ebcb1a98fU, 0xbd1cd1803d2bfbc7U,
0x3caf9c013dbdf914U, 0xbd9a3b3d3d82512cU, 0xbd603e89bd356b4bU, 0x3cdeba3f3df8d86cU,
0x3dd228043dd1fecbU, 0x3d8181643d308375U, 0x3d5ed1c93d152e05U, 0x3ba4fccb3d190251U,
0x3cf778d23c39b427U, 0xbc8d8001bcf1e502U, 0xbd71afe8bc37acc3U, 0xbd5b276fbd9246fdU,
0x3d4094113c40c0f0U, 0xbc2ed5f13d8e3511U, 0x3c8d3b6e3c091053U, 0x3da952233d9f76e4U,
0xbcfc56203da8a9c0U, 0x3ce3972b3d01b9d2U, 0x3d483a4b3d62078eU, 0x3bf14ecb3da8c6c3U,
0x3d7555f43d531ab0U, 0x3972c234bd195eb8U, 0xbb77ea7b3d47de60U, 0x3d3e05993d074a18U,
0x3d7ee9e53ce11ea5U, 0x3c241d053d16d1daU, 0x3b1168bd3a3c44f5U, 0xbd3b057ebd13700aU,
0x3cc6c0a5bd794a32U, 0xbba72dbe3caa9004U, 0xbd3630c1bd8413a4U, 0xbc8344f9bd390df4U,
0xbd397625bc46c1c6U, 0xbabe5a323c9d809eU, 0x3d4f12d73b896c4fU, 0x3d3ef9cd3d41d64cU,
0x3d59098d3c540586U, 0x3c8727a53d42f896U, 0x3dacc2083d6abb25U, 0x3d4f81b43d5a2e8aU,
0x3c11453e3cf8f7afU, 0x3cdbab0ebd082396U, 0x3c14867f3d17fef6U, 0x3c0a301bbce3e187U,
0xbb0e53563c4e3901U, 0xba8c94bd3b12f1d5U, 0xbbe1d9613b383dc4U, 0xbaf4c695ba9492b2U,
0x3c8bd5d83bd4619cU, 0xbd2787853dbe6b18U, 0x3dc0fbfa3bf140aeU, 0xbcc2075cbd77a811U,
0xbd029123b9151cc3U, 0x3cbd7da33ca043a6U, 0x3c34d90fbb99cd5aU, 0xbcfb03ee3ce88e56U,
0x3b6aaf0e3cf33c2bU, 0x3d676ca13cbb1d46U, 0xbbaf4e8e3d8fe1f3U, 0x3c85612ebc716dbdU,
0xbcf8c096bd4ec5beU, 0xbc516563b9f311a5U, 0x3d3270603d2493b5U, 0x3b5a84243bde1159U,
0xbd2940563b46e82bU, 0x37565e90bbd32f00U, 0x3cb17cf83d9b80ddU, 0x3d8373d23cbe45daU,
0xbc01f2b53a5b58a4U, 0x3d2e76333ce2d3e7U, 0x3d3335f33d1d2044U, 0xb9a465f53d91f3ddU,
0xbc305db2bcbe7eb5U, 0xbd0eb8bf3bd4099cU, 0xbd5bfabebd6b7cc1U, 0xbd4e9f3c3d1e5dcbU,
0x3b1155aabc9fc7a0U, 0xbd5b1b75bcd9463dU, 0xbc0f498ebd8446d5U, 0xbc090c88bd98632cU,
0x3d5f1baebc6d7961U, 0xbd6bdb83bd883711U, 0x3cac3c7bbcdd89e0U, 0xbcc4feb3bc81b291U,
0x0U, 0x0U, 0x0U, 0x0U,
0x0U, 0x0U, 0x0U, 0x0U,
0x0U, 0x0U, 0x0U, 0x0U,
0x0U, 0x0U, 0x0U, 0x0U,
0x3e0b884bbebc413fU, 0xbeb4e38b3e51f6f9U, 0x3d6312383dca7727U, 0x3f0663583ff2a724U,
0xbd9a278dbec18305U, 0xbdef02c5bf5b7c41U, 0xbebe7d463e9eba0bU, 0x3d213da23f0bab1cU,
0xbf3522b6bf066be9U, 0x3d8deb3fbec56368U, 0x3dfd9ab2be05438cU, 0xbc1331b23ec54112U,
0xbc87e0023e299e7bU, 0x3d9379843d017fbbU, 0xbdc388a6bee27312U, 0xbe829ad53edf1dfeU,
0x3d7289bdbe21aeafU, 0xbcbc24d93e4c8913U, 0xbe81d76dbfaf7442U, 0xbe3491e33fe17058U,
0xbc912c493e9e3f29U, 0xbe23a07c400a8750U, 0xbe61b02a3eace4eaU, 0x3e744afcbf9f1ea2U,
0xbe18e189bf50ebc1U, 0xbe2fad683b60b76eU, 0xbe94e3d63eb919a5U, 0xbd64652d3d917785U,
0xbd96cbaa3ef65d94U, 0xbd72d795bec27187U, 0xbe99f3283f55f1c7U, 0xbc09f4353f0f38e1U,
0x3e1131e1bf4a50a8U, 0x3f9b8098bfc3429bU, 0xbe6173b3bfc7ce57U, 0x3ee4b0f1c00e111fU,
0xbf1490d9bfda1faaU, 0x3f29f7d4c02e62bdU, 0xc04c2d90bfe2e0adU, 0x3e01cb7ebefa754bU,
0x3e0d785f404910c9U, 0x3ee7f6653fb843e9U, 0x400293c23fd21785U, 0xbdd725773fccd6dbU,
0xbf407d20bfdbd4deU, 0x3fabc3563c8f2091U, 0x3ff533554027c888U, 0x3dd4d6123f5f4569U,
0xbe4799b33dfb6806U, 0xbf80cac93d502d7aU, 0x3ecb5c6bbf4430a7U, 0xbf936c713ed857c4U,
0xbf627e07be45496dU, 0x3f15e8804012f56aU, 0xbebfe1d5bee1fcbaU, 0x3ec41d17bf195eeeU,
0xbf68ef243fa4f886U, 0xbe4353e73e6eabb6U, 0x3fb878233eb25234U, 0x3d2b4e37be53cda5U,
0xbe6497b1bf0706afU, 0x3e93cb203e95a173U, 0x3e67ec4c3d0c32f2U, 0x3f1a69a1bace9691U,
0x3faec2eec0247e05U, 0xc01063b93fe53bc2U, 0x3e8186be3f0525e7U, 0xbf87e8c4401b44d7U,
0x401572bfbe11f804U, 0xbfba101bc0268261U, 0x3f1aac29bedf17beU, 0xbf86a827404a1e97U,
0xbf8591f83f6b9c8fU, 0x3e3211fa3c27369bU, 0xbf9c9c123f24cc45U, 0xbe80822d400a0109U,
0xbe02eba03ede601dU, 0xbf2ecdc6c00a2171U, 0x3f989063bf4c66b2U, 0x3ff933883f8b8995U,
0x3d348ebd3da9e8edU, 0xbe2aa142bd9b2e2fU, 0xbe3d41b03ec507a6U, 0x3e486067bf51e11cU,
0xbe3beee53d798517U, 0xbc0904d7be8cb593U, 0xbe2058853e3c11c8U, 0xbcf2d1cf3fab6514U,
0xbe884d0a3f1da183U, 0x3d42ce2d3e7b8be1U, 0x3ea02e78be45efa0U, 0xbb7cc8d4bd23cebdU,
0xbc9671b1be0a64d6U, 0xbc912660bdca9d7bU, 0x3da91584be246823U, 0x3d21260ebd35498bU,
0x3e9d338b3eadcfb9U, 0xbfd6893c3f65c911U, 0x3cfd1861bf3873feU, 0xbf4dae1b401ea864U,
0x3d9d5daf3f21297aU, 0x3d2f3d53c03084f5U, 0x3ef28e35bee3b5c0U, 0xbef2d045bda1d22aU,
0xbfb2e8a2bf492124U, 0xbe5e012cbfcdd69fU, 0x3fc341fb3e15d2c9U, 0xbe9f535a3e9d5cb5U,
0xbeac1d5b3fbf80ffU, 0x3e2ce9acbf89a441U, 0x3f77fece3a10efc6U, 0x3eccd5a83fc4c626U,
0xbcfc23ad3d7fc6bbU, 0xbea48df5bedac739U, 0x3e7619a3bf7f68feU, 0xbff1775340163e37U,
0xbed761d0bf55e867U, 0xbd85de28402da14fU, 0xbf3b2fc7bf5803acU, 0x3f2d063bc0208351U,
0xbfe7288cbf2a8a86U, 0xbce12eb73e061506U, 0xbe019d5a3cd82649U, 0x3d612f183e212d55U,
0xbe38e470bec786c1U, 0x3d933ae63d485cb9U, 0xbe165ac93e536d18U, 0xbc9db561bdd3edb6U,
0xbd389b543f008df6U, 0xbe6930ffbef3bcf3U, 0xbe4b41a13eacb494U, 0x3f0e9162bf6f0eacU,
0x3d9f38a23e3962d5U, 0x3e9b8702bf039ab3U, 0xbd42316abce864b9U, 0xbe69b07f4025f017U,
0xbf052d903f56f123U, 0xbd4c095a3e73a151U, 0x3ee07e3ebe90eea3U, 0xbb2565cfbe11bf0aU,
0xbdff24803dc93d57U, 0x3de5fb7a3ea7d6aeU, 0x3e0710fb3e4e34b4U, 0x3f01d1eebf0114c8U,
0xbe3f5a503ed4c135U, 0x3fea068ebe5c3beeU, 0x3e9aad24bfa9bbf4U, 0xbf2c145fbf2cdf05U,
0x3ec7824c3e88d77bU, 0xbe093bf83fdfdf17U, 0x3ee06b03bc81d9b9U, 0xbf1b6cc1bf9bd22cU,
0x3ffcc03b3f6a3abfU, 0x3e9c70173eb98909U, 0x3fde8d173f8a3b2cU, 0xbcdc957abef24084U,
0x3e637cf53f82d4ebU, 0xbeba50a73f55849cU, 0xbf5bf3d8bf43a2bdU, 0x3e45f3ca3f286699U,
0x3dfb16bf3eb4efccU, 0xbf52cb1fbe915169U, 0x3e83c05fbff75ab5U, 0x3ed2d3e5bf602990U,
0xbff15b89bc40a6bfU, 0xbd108cc9bf7db88cU, 0x3f35b6763e473d38U, 0x3d5002febef7933dU,
0xbfc10b413de5ec04U, 0x3e5ef5053e3b366aU, 0xbfa5958b3ebd59aaU, 0xbd8fe0873e785badU,
0xbea1c039bdc6a851U, 0xbea3f1bfbecfff2aU, 0x3e060f433faf6914U, 0xbecac2a63f9539e0U,
0xbd4a71ee3edec22dU, 0xbda59bdcbf06ffcbU, 0x3e26a1d63d7ba7c3U, 0x3f80589cbf5025d3U,
0xbef5a5263ef970f0U, 0x3f1e40ebbfefdb49U, 0xbf46cbc93eed236cU, 0xbf3fe291402c5ecdU,
0xbf06568a3f0ac1e3U, 0x3dc975003f02f1e9U, 0x3fd95669be17ef08U, 0xbc424dd63dcf9630U,
0xbedeb268beef73a7U, 0xbe8c33da3e46f161U, 0x3e49bb40be1d3e24U, 0x3eba9d2fbef6e31aU,
0xbd13b1c8bd80c50dU, 0x3e31412f3e1dbcc7U, 0x3d6f563dbf2ff08cU, 0xbebd38013f67c0a3U,
0x3c2367563e2f19c6U, 0x3d5736833fe64a77U, 0xbd5714b5bef05164U, 0xbe32c60dbfabfbd1U,
0x3ee6d67b3ea84b29U, 0x3bb21523bdad501fU, 0x3a918bd53eacc5b2U, 0x3bc8875237686fbcU,
0x3d8bfdef3da2a65aU, 0x3d6d1b7d3d86e627U, 0xbded51653f73bec4U, 0x3e2a76043c999a6fU,
0x3d9a8e2e3d848d55U, 0xbe1725fabc5a64b1U, 0xbe287f6a3ed592e5U, 0x3e70e787beb11bb7U,
0xbea1eca53df2004aU, 0x3d7e4efbbe5e1d19U, 0xbe45e69c3e2af99aU, 0xbe0575c73f834987U,
0xbe8516493f308a7aU, 0x3d92b2bb3eb1bcc0U, 0x3f288c35be88b36fU, 0xbb8f06f73d2679bbU,
0xbd00aa1cbe2a6053U, 0xbc05616bbc6a5410U, 0x3e10f18abe288cbaU, 0x3cf2962abd8df929U,
0x3dcbd4e7beb23a00U, 0xbdb09f633ddb8b0dU, 0x3cd788093eb3563cU, 0x3ecb967a3f849832U,
0x3f070b29bf00df78U, 0x3b91befbbf88c72aU, 0xbdcfa1993d5380b3U, 0x3dc51ad940208cf4U,
0x3d018712bf2d1835U, 0x3d82ca88beca8128U, 0x3e4efe7cbe745a4bU, 0x3ba4198f3f0b67c3U,
0x3e66f7ff3eccc615U, 0x3e9c47b63e8ede39U, 0xbf156183bf54ac73U, 0xbd9ba30abd965792U,
0xbe96555f3f84a660U, 0x3fac03d93ebf847eU, 0xbe3830f6bfdbbca9U, 0xbf69a45b3f92f153U,
0xbfd57c093f173dd2U, 0x3e1852353faf9041U, 0xbf3f7260be308345U, 0xbfdbf530bf70caf9U,
0xbedcce1f3e2228a7U, 0x3f21c01ebfa56528U, 0xbfd007a3be53750dU, 0x3e210661bf9b824aU,
0x3e0959a23eb8add5U, 0xbf7467dfbe1934aaU, 0xbf5c8b7a3faff064U, 0x3dd5729dbe350e86U,
0x3d78c6513dd5ba6dU, 0xbe389fb2bd6c846cU, 0xbe456e963eeda17dU, 0x3e9a7795bf7ad9a5U,
0xbea207aa3e0118caU, 0x3d06022dbe40e9b9U, 0xbe63c0473e5e5296U, 0xbdea66373fb9a329U,
0xbe950d973f278f8aU, 0x3d4434743eb08961U, 0x3ec877afbe6f9100U, 0xbbb08c07bd3ad251U,
0xbcc6fd20bdfbf947U, 0xbce765aebd8045f6U, 0x3db1ba30be50344fU, 0x3c11fe9bbd919ff7U,
0xbe737f353ed3835fU, 0xbdd46290bf75d634U, 0x3e996547bdf475a6U, 0x3e90a9ee3f700f4bU,
0x3f0b9ed03ea7f17bU, 0x3eb3ff7a3e7d7c11U, 0x3e7bb6cbbedaa45cU, 0xbe8e080d3fdee8b2U,
0xbdb74df03f28b5d5U, 0x3bc821ddbf1f2b5bU, 0x3f36eb423e686c21U, 0xbc4df4ed3d6c4a6dU,
0xbd658bfebf1eda0cU, 0xbe0c47a93d62989aU, 0x3ec2b3003e1c4143U, 0x3f5a5771bee04115U,
0xbe3c50963f85ae5dU, 0x3f1dbf52beed0d4bU, 0x3ea409c1bebfaf58U, 0xbf9d6bc13f42efe0U,
0xc03042eabe266dffU, 0x3eaa139b3fc8d9e6U, 0xbea779b8bf08d643U, 0xbf33d0d7bf6b1c9eU,
0xbf0a6db33ffe9b88U, 0x3f97209d3eae4315U, 0xbdc7608ebe03f221U, 0x3cb039fcbebc0ca4U,
0xbd9c91dd3ec995b6U, 0xbe4dc0c0bf5f5cbeU, 0x3e9909833f8d8abdU, 0x3f0e8295beb7129aU,
0x3adac48fbe14ead9U, 0x3e2a377a3c831e4cU, 0x3da0e549be689776U, 0x3e62a2313f9d1296U,
0xbd58c342be93b186U, 0xbdf36376bf6be400U, 0xbd8acbccbd34aaccU, 0x3c534f243fc4b177U,
0x3e428a41bf199c3bU, 0x3ca407683a9d20e4U, 0x3ef7a064be262551U, 0xbc0005ab3d586731U,
0xbcbe9ca4bd30d691U, 0xbcfb467a3d4e0cf0U, 0xbd017e1abe287977U, 0x3ba5c8023e532ec9U,
0x3de796c03d94755fU, 0xbe6a051bbd5b5beeU, 0xbe781b373e74cec3U, 0x3ec9636cbfb62f69U,
0xbe7fb2ab3e401317U, 0x3ccfcbdbbf273cacU, 0xbe9cc9b73e0de52aU, 0xbd8e62b83f7320fdU,
0xbe0519213f4cfe1fU, 0x3dde69413ee13c73U, 0x3f0d0cecbf0282edU, 0xbb75dfb0bd0c6835U,
0xbc634b67be1b73dfU, 0x3a68748abd1043e2U, 0x3de573e5beaad77eU, 0x3d0b2f3abe046815U,
0xbd0de3ccbe23774fU, 0x3d07491d3e22cf85U, 0x3d6ee64cbf503812U, 0xbf19fe0a3f9ff153U,
0xbd7248ef3e2854d0U, 0x3d0dcfba3fbf7f83U, 0xbe0fdc32bf1ee751U, 0xbdba44f9bfbafa0cU,
0x3ed20a983f03946fU, 0x3dec199abdd83630U, 0x3deaf4523f06109fU, 0x3c4d97903d045b95U,
0x3db8e16e3cf115a4U, 0x3de3f7993b1fcf52U, 0xbd1809bb3f4b5c75U, 0x3e3c46ee3e04959aU,
0x3d47c7d8be2c9e37U, 0x3e650d233d6d5b75U, 0x3d6cda70bdda9ffaU, 0x3ec9150e3f84dba4U,
0x3dcaf418be7bdd27U, 0xbd157d7abf50bbe6U, 0xbe2cda603cbecec9U, 0xbdab37f53f8a5e7fU,
0x3e19ad1cbf1d586dU, 0xbd0f9c2f3d039738U, 0x3f07430abe6391dcU, 0xbbf295e33e22cc1dU,
0xbc039a213d2f8886U, 0xbd34fdaf3d501ec6U, 0xbd124055beb7a41fU, 0xbd3baca63e20f350U,
0xbc9616e8bd933462U, 0x3e9a1006bc1a7b6cU, 0x3dcc49e2bf397405U, 0xbec0bbc3400443b3U,
0x3cee881fbd06b9b2U, 0x3c1f6c2b3f97f54bU, 0xbdfabc68bec94842U, 0xbdde2137bf9ff935U,
0x3f11ba973d995abbU, 0xbca82789bda5bb3fU, 0xbe3365203eb692f2U, 0x3befa7e43c9cbc05U,
0x3db2fd573d4373f4U, 0x3d47f1333e077e98U, 0xbe24f4903f8744ecU, 0x3e943376bdf8aebfU,
0x3d62a3063c212cf9U, 0x3e901ea8bcf7fabfU, 0x3e05e463bc7115faU, 0x3eaa9f393eb84493U,
0xbe1de5dbbe748210U, 0xbe5091a2bf57497eU, 0xbbca36593f1d98caU, 0x3dc852c040175f03U,
0xbe8c9148bf55276bU, 0xbe091c10be9fe8beU, 0xbef8fa33bea0ffacU, 0xbcd5c1533d3351a1U,
0xbe26d4eb3e41ce5cU, 0xbe7a3e3fbebe7e4fU, 0xbef1aeafbe4d0c11U, 0xbe1e0c8c3e918f85U,
0x3d18c6e1be036770U, 0x3e5f6ef5bbc83588U, 0x3d67774dbe8379b1U, 0x3ea6878a3fa67171U,
0xbad19b11be7cd4dfU, 0xbd82f90ebf781afeU, 0xbe2f303c3dbeacd3U, 0xbd0aa3163fa6d34fU,
0x3cb714a1bf253791U, 0x3c2aa44cbcd316ddU, 0x3ebdc1ffbe13dcb6U, 0xbbe6ff113d82eebdU,
0xbd2b0d3e3d8c69f1U, 0xbd3952f1bcb14a8aU, 0xbd58e9a5be873207U, 0xbc8fce0b3df33a08U,
0xbe8146083f623cacU, 0xbde936313f5fa195U, 0x3f9669ebc026e892U, 0xbead2f214066bd27U,
0x3fab955fbf19ec04U, 0xbfbb889f402759ddU, 0x3d8947d74008bd33U, 0x3fb660993f91ff90U,
0xbfd66b05c0143144U, 0xbf9bf6a8bfdcdea0U, 0x3fcab7bec01153f1U, 0x3f1d4ff33fa4c7f8U,
0x3f59c13f40081e90U, 0xbe42342a3f3bd1dcU, 0xbfd11ee13c324f42U, 0xbfbccc7d4006abafU,
0xbce7c4d73d2b4a2cU, 0x3ed3d9d53dabfb00U, 0x3ca18c8fbf5f0c45U, 0xbe8f05063f8b6db4U,
0x3e059b5c3e7bee42U, 0x3c9711db3fe6077bU, 0xbdf0f099bea1e187U, 0xbe488ba1bfaa5c29U,
0x3eb5d6be3ebba7dfU, 0x3d9bb74f3d868d77U, 0x3dfdacd03eb19a96U, 0xb9183260bc547d19U,
0x3c64d2f93dcaee50U, 0xbd6b4b9e3ce687b6U, 0xbe4ac7b83f86b502U, 0x3e4050a73da20415U,
0x3d511e633e5f4ca4U, 0xbd29ca2b3eba2c7aU, 0x3ce841c73f431024U, 0x3e5002b0bfc25d3aU,
0xbf034d233ec2c0a0U, 0x3d8a5195bf87ae46U, 0xbeedba223e949ee0U, 0xbe88fce13f2e3c2cU,
0xbd5054933faa97c7U, 0x3e1077423e93be2aU, 0x3f8f823d39a65ea6U, 0xbc1b7088bf09fe17U,
0xbe12b352bdf4be0fU, 0xbe221e993ed5722cU, 0x3e59bf31bcd6b028U, 0x3dd5bb443efe9573U,
0xbe488dc83efd1153U, 0x3ea26cf1bdb615ebU, 0x3eb176d13fcd08a4U, 0xbf1e4a56bf9fc71aU,
0xbed4452e3f8e4fccU, 0x3e909cf4bf7cf800U, 0xbf204aae3e7f63c5U, 0xbf830abd400ad1eeU,
0xbd98711f3e5e4367U, 0x3ec66eb33f6b4fe0U, 0x3fdafbb9bf6123dcU, 0xbc8ddff7bf13d069U,
0x3e16c641bf677a16U, 0xbe2c63173d3e2e86U, 0x3f3054343f011672U, 0x3fd4b2563e01862aU,
0x3d413aadbd2f59cdU, 0xbd4687f23e901f67U, 0xbd482c0cbea2ed42U, 0x3dfb7c283ea85dd6U,
0xbe9615d33eb7d97cU, 0x3dd29e963fa9c430U, 0xbdf05033beb70279U, 0xbe71e6c6be3ea6f5U,
0x3e8c1c7c3f9cd6ecU, 0x3bb3e6023ed3a530U, 0x3f28a028bdd3cfd3U, 0xb9eb3fc93df8257eU,
0x3c900480be16bbceU, 0x3da6a6ec3daebef1U, 0x3c60bde33f2ed161U, 0xbd16f2cc3c601954U,
0xbdba048cbe30b517U, 0xbd33fbd93e0849efU, 0x3db4e4bebec0a960U, 0xbea13b32402d2e60U,
0x3f38221ebe6ac206U, 0x3cca97a2c00f0a7eU, 0xbece97b9befb8e21U, 0xbd5b8819400ddd5dU,
0x3e76b33ebed34319U, 0xbd8398ec3df9592cU, 0x3eada799bf0df552U, 0xbb65cbb23d826cedU,
0x3da2b911bd73a936U, 0x3ced1ce0bda31eaeU, 0x3e48af593dfbb85aU, 0x3f08a4f83ce9bc33U,
0xbe91330fbca6de9eU, 0xbe5e30aebdbe9042U, 0xbe3128c5bef6d99aU, 0x3bcda3703e8d5b25U,
0xbf093d1fbefca34dU, 0xbe470c2f3f2fa9afU, 0xbe2529d5be985825U, 0x3dc91f93bed1cf4cU,
0xbf50d518be1ac3edU, 0xbea97195bc61fa60U, 0xbe456ffa3c85a0e8U, 0xbea1a7babe82aee5U,
0xbe5e2aeebe073361U, 0xbea0b43bbf8e05bbU, 0xbdbc47c23e4996e8U, 0xbf0fb2c8bef032bcU,
0x3d0a64513d157786U, 0x3bfcdea93c1aaed4U, 0x3ca3f9d53c7d0cb5U, 0x3c205bdd3c275df6U,
0x3d7e60b53c8b9407U, 0xbbd738383af6febaU, 0x3d2d00903be29c8bU, 0x3c9821dd3d178898U,
0x3d12b1a03c897d64U, 0x3d690a4d3db39438U, 0x3d5c21b23d5d5f8cU, 0x3d115a7a3d11fddcU,
0x3d8e45a93db12065U, 0xbd270a483d853a18U, 0xbd334b5fbcaee083U, 0xbba7c2e2bd023827U,
0xbbe3e65dbd30bc7eU, 0xbce561663c499a01U, 0x3d8e1a5a3dc1b931U, 0x3d6a95ae3cfbee8cU,
0x3d6622e13cfa96daU, 0x3d46d1833d7f012dU, 0xbc7c53f83cead4acU, 0x3b43935cbbcb6c73U,
0x3c0a95bcbc2bd007U, 0xbc01d6fa3c572bfbU, 0x3c0ee4e93b59fca6U, 0xbd73172cbda2765bU,
0xbc62327ebd698e92U, 0xbc67d5d7bcd98f4fU, 0xbd226f40bd0ea001U, 0x3d37ac04bd6895a8U,
0x3d6a72443ce0c716U, 0xbc3f7e563d5399ffU, 0x3d0529b03d04eb0bU, 0x3ce428543cad1ebfU,
0xbd981512bd5f3c3fU, 0x3c1f22dcbd433254U, 0xbd59f9163cfc3621U, 0xbd0f230f3cf0c88dU,
0x3d27113a3c435183U, 0x3cc5fe513d7cebe9U, 0x3d2518a33d634e21U, 0x3ccea7713d076110U,
0x3ca1cb833d44ecbeU, 0x3d15ce393d17ab33U, 0x3ce764b43cd0b861U, 0x3c7c8a0a3cd23409U,
0x3d236bea3da07e57U, 0xbbe731e53c57acebU, 0x3d9f81d1bc390bfaU, 0xbbdc2721bcab397cU,
0x3c793a4c3d118accU, 0x3d37060dbbf214c5U, 0xbc2a36583ba27cc8U, 0x3c0804e4bad25de7U,
0x3bbf0561bb07b663U, 0x3b4e0383bb9a59fcU, 0xbc2252d53b5cdb02U, 0x3a874eeabb88262fU,
0xbbc50ce1bc14eef3U, 0xbbbc00d6ba94a7aaU, 0xb70a5a413a863dd5U, 0xbce12118bc4ba911U,
0xbc6f1ebebcf0babeU, 0xbd1d68c4bd10014cU, 0xbcf73f18bc1aaf9aU, 0x3d336133bd114a2eU,
0x3d19466a3c260d6eU, 0x3cbb3a013d81831cU, 0x3d548fc93d3ebd4eU, 0x3ceb7c623caa9f4eU,
0x3a861c793b812aceU, 0xb992649f3a3e4f7bU, 0x3a3dd5d2bb836345U, 0xbac9a34fbacabb6fU,
0xbd01b152bb043fcaU, 0xbccafa20bd8526cbU, 0xbcfac496bd42c7dfU, 0xbd7ca88abcd39bffU,
0x3bd1db4c3b2b94b4U, 0xbc9569e0bd1c2c64U, 0xbd20269fbd88e438U, 0xbd420d06bcbe6f09U,
0xbd195bb8bc886d3bU, 0xbbcd43bcbd2c3fecU, 0xbca48759bc530a79U, 0x39b9240ebc0f3b54U,
0xbbc3bdb539745e2fU, 0xbc45b69bbbe415e5U, 0x3beaa2adbc479f84U, 0x3c4627aebbaa8db2U,
0x3bf7f525bb16561cU, 0x3c1e6d47bc39e144U, 0xbd0efd5f3c404810U, 0x3cfd5bf33c03c42aU,
0xbd02e0b5bd2b67c2U, 0x3c9948363cacd439U, 0x3bcd933dbbd25675U, 0x38847a51b9972f06U,
0xb9dd928ab9585781U, 0x3adcb71339a7a1bcU, 0x3a1883e4b86ea8e5U, 0xbc20a89db8b1c593U,
0xbbf6cfcfbcd35f1cU, 0xbcc42c22bc844c4bU, 0xbcddb4f7bc9ad694U, 0xbbc4c843bcb3288fU,
0x3ca329723c2aade1U, 0x3b1f9bfd3b566839U, 0xbbe93dd7bd3e2c0fU, 0xbd4c5c99bd177ec8U,
0x38956aa9bc8d23faU, 0xbb14105a3c18213dU, 0xbb91bbb63a173299U, 0xbb91359abc0dafa3U,
0xbba9aec9bb744fe3U, 0x3d5440833d8df5aaU, 0x3cecfc073d6ca258U, 0x3d3666663ca963e4U,
0x3d2f01d93d8a8613U, 0xbb0f56a03dad4c82U, 0xbd0151dbbd1541ddU, 0xbc391f803c643801U,
0xbc82ea9abc395926U, 0xbbee3f273b8cea93U, 0x39c2f1073ce04bf5U, 0xbd2978943c166769U,
0xbd27c845bcc44f49U, 0xbce458dbbd319d69U, 0xbd761067bd0c4d55U, 0xbcf7123dbd0884f0U,
0xbc5e9f1abbb35694U, 0xbcce51b9bb6bf611U, 0xbd333a99bbde8d43U, 0xbae31ec43b36df67U,
0x3b1621e03c39b277U, 0x3b5fff1ebc1ee88eU, 0x3ac5bd71bbf5a1abU, 0x3d25cabfbbd245d5U,
0x3ce0d1443d09d68cU, 0x3cacdb793c1a881bU, 0x3d53b84bbc1134b9U, 0x3c3fa3503c3340cbU,
0xb01753f0ab775cbfU, 0x33b8a5d5364d82faU, 0x3bca5c51ad141e78U, 0x39880ab7b7cca9c9U,
0xad13c74b39dec6e2U, 0xaa88794eb806194aU, 0xb8b08ca536a8276cU, 0xb67eea203af63484U,
0x2c49799d398e2996U, 0xa4ab6f172370fac6U, 0x26509ec63afe284eU, 0x338a0f4f351e2942U,
0x3b1d7b1133dd1eaeU, 0x3b9f7644b6723ba0U, 0xac9c36bfa5acdbd0U, 0x28e53dbbb65b5d39U,
0xbd1af042bd88999cU, 0x3e1582c7be956d1eU, 0xbab405a93e3c1a39U, 0x3e52110bbee03e77U,
0x3dbc7a3d3d1e29faU, 0xbc607cc73defd8d6U, 0x3ba1d7fcb98adcf4U, 0x3da9a0933b24b392U,
0xbc01fdde38099a48U, 0xbd598457bd5f6458U, 0x3c3a2460bdde4efcU, 0x3f7f570e3bf3d175U,
0xbe560356bc20de81U, 0xbc8a8c1c3e84841bU, 0xbdde899abb046d4eU, 0x3c9824ce39074353U,
0x3891eee0b5f9d5ddU, 0x3be24cce3c4a237fU, 0x32f56d64381fe8c9U, 0x3c5da9d0bc1cf3ebU,
0x399392853722d12dU, 0x385e7044381d1e1dU, 0x37876e86b8a833c8U, 0x3867831aba294644U,
0xb6f35b1f3b676380U, 0x35d45798badfe181U, 0xb71ae75235ab9f8bU, 0xba1e98c931291605U,
0xbb7a4f1b3b8dc9cfU, 0x3b46459a37d1fcd4U, 0x3b88d176b5a62554U, 0x3b374fabb43e6ff8U,
0xbdfaeb75bdee4df8U, 0xbe41a1643fd0719fU, 0xbcf80ac7bf289a1dU, 0xbf780fa53e78130dU,
0x3e842c7bbfa91af3U, 0x3e43be13be0eb6c3U, 0x39d31c7d39e33276U, 0xbe0084a43e16469eU,
0xbf06dd9f3b85279aU, 0xbdd884993b65b923U, 0x3de2979fbbabf53fU, 0x3f0be657ba22b1d5U,
0x3b9465a63e13ebe8U, 0xbe87fca3bfaf3041U, 0xbf51c9dfbd134a44U, 0x3e68dcca3bcce8a3U,
0xbbf7e3d4b9874529U, 0xb4b120eb344c1a21U, 0x2f45798b3491a917U, 0x370e173db8de4e3dU,
0x33b4e3da369571b8U, 0x3583e728b78a73e1U, 0xad87dc54a78bb681U, 0x3898ca60b69e132eU,
0x39a14c28b20ad605U, 0xac35096f3b5efc61U, 0x2ea033313b422114U, 0xb59ef84eb8abc92dU,
0x387a72bb3787027cU, 0xb993e9173050aed7U, 0xb547d628b019d20cU, 0x34f27a642da65bd7U,
0x3b895d903b36afabU, 0xb71685c73b3e77b1U, 0x35c1969a2f465413U, 0x35b14ba4b541be49U,
0x36aebfc82b9dee00U, 0x3518217730936204U, 0xb5399edb359171e0U, 0x36702ccfaaa7eb2fU,
0xb48054d0bb94f49fU, 0x2ba06f86af89d78eU, 0xba5835efba681495U, 0xb92028953806f76aU,
0x31455b9e2531b644U, 0xb6824da834959a4eU, 0xb722f0bf3c00eaf3U, 0x38a93c0b3ae5803fU,
0x3830ff5f354d83b5U, 0x3a7859a3b72b4fbeU, 0x3660408839400786U, 0x3cea459e3825508aU,
0x38e8a708b81c0d89U, 0x37e22bb3b51bda7fU, 0xb8509f533abef65dU, 0xb8c89e59352059b3U,
0xb614492cb896f535U, 0xb493ee8338274f0dU, 0xb602ee603636b7b4U, 0xbb9b448030c46092U,
0x3c26b3e73a90ecc5U, 0x37bb9a2a39089993U, 0xbb22f8a53680da12U, 0x34b97054b5b4153dU,
0xbb5f47bdbc043b38U, 0x30b2a2ddb3b47555U, 0x39d805caa1d265f6U, 0x318ca85c2c6e433cU,
0xb23c452db726f606U, 0x369e3e803836cb3aU, 0x2caad63ab88ebfc1U, 0x36975f428e58314cU,
0x381309f62f3f8dbdU, 0xbb8aa8089ddaade9U, 0xac2383d8b12c29f6U, 0xbb29dd0c38d73b9bU,
0xb9dee6d48c9bfe62U, 0x2fb1cb653936b4f1U, 0x29bfc46fba7aaa76U, 0x3851d5413ba9146cU,
0xbfa799073ea1fbcdU, 0x3e385c373f15283bU, 0x3bc474dac01d3f9cU, 0x3fd5c561bf1fc650U,
0xbfb61ce5bf9d9742U, 0x3e1fac5c3f151bfcU, 0xbeacb03cbd38185eU, 0x3ff9a92abfa71f97U,
0xbf2020d6bb876b3fU, 0xbe089810bfb19489U, 0x3f5f8db1bda7bb55U, 0xbea7c0443c18a552U,
0xbd696876bf53e5f1U, 0xbe82db21bf873656U, 0xbef90350bfaacd76U, 0xbea4e9a23d3b2d03U,
0xbabace8db936b932U, 0x394d8563b795b1f3U, 0xbae263b33c23f2e0U, 0xba57eedb38886ecbU,
0xbc2740d138d4771aU, 0xb8907073b8308398U, 0x37ad47bdbb28ad3eU, 0x3b79405a399090ebU,
0x38c348b935bb833eU, 0x368de95dbbdd0d46U, 0x3b6a232a3ba47e7cU, 0x3a009837b54539c1U,
0x3689242436f637aeU, 0x381adac7b8f7c44cU, 0xba1b823c3831c2cfU, 0x3b30d4d8366e3264U,
0x3a21e83335fde339U, 0xbadde44438b2adc9U, 0x345eef8a39f4f763U, 0x3d099206ba2accb9U,
0x3980a0bb38887688U, 0xb6c768c2370375f4U, 0x3c38c0a43c266b98U, 0xbc52df723803d4abU,
0x3d03f8e5afe72eaaU, 0x35f4cad3bc0f93e5U, 0x3b0303283959d1f5U, 0xbc9d7134b5ba26c3U,
0xb715aee7378fa315U, 0xb8ec213a39f735cdU, 0x381dfbd13a1959f6U, 0xb79ff7cab6250abaU,
0x39c7d3133a20043fU, 0xbe7693713934a469U, 0xbbe190cb3a5821c2U, 0x3c85cc4237583954U,
0x39ef2bc7b5acfc45U, 0x387fb979b93b6abbU, 0xbb82c9e83a423467U, 0x3b549833b7acf670U,
0xb9f9c8aeb785d992U, 0xb7cfd971b949d8b2U, 0xb948f4ed38158615U, 0x3c37da2b3aafde57U,
0xb912cce7b78b1d5fU, 0xb8e14e1d3b5ca150U, 0xba4c9bea37b7a7fcU, 0x383f040cb608c01cU,
0xba075fa03b960512U, 0xba189102b7cebba9U, 0xb3ebf7f8b87c766cU, 0xbdaa21e0b90fcd0aU,
0xbc49647bb6ce8a82U, 0xbb8799bcb6e2ab3aU, 0xb683c7823314a20aU, 0x35d3ccd5b68138d2U,
0xb5eb07a6b3e0c697U, 0x382d121d3801b9b6U, 0x36374ac7353372bcU, 0xbbee3777bbc86922U,
0xb5b1d88ab8191c7cU, 0x3632f86c3b61e37dU, 0xb75a3ebbb6e13e73U, 0x390fcbb7b785d935U,
0xb9e2a4a5281bb9caU, 0xb2070d2137653adbU, 0x2bb8fa1bbbed91d0U, 0xb645b1c93b890b5aU,
0x2aaee977b5df6b04U, 0x2d123f8abb6218a2U, 0x38584336b9a2debeU, 0xbbbf5b48b6acb2caU,
0xadcae305a1ccf344U, 0xb22305332e1535adU, 0x2530aeb4b3bd7e79U, 0x37960a8135719fd9U,
0xbba74df6b69ff8ddU, 0xbb60dbe33b3f7bd4U, 0xb60fcee63712e1e2U, 0x2e8c893bbb4de4c9U,
0x3aa972d438d3fa1cU, 0x3c02854abbc5a8a7U, 0x2deac634ba38beadU, 0xbd6277c7bb867262U,
0x3bd616663a4fab31U, 0x351886d036360941U, 0xbab79fad3a4be754U, 0x37b3f5da362cba52U,
0xbc9d61f236968268U, 0x35d322003a9a715dU, 0x30a65056b4ad785bU, 0xbba3a701baa87ea5U,
0x31bd6f0b2e936446U, 0xbb71e902b956bb81U, 0xb89c077fb3654551U, 0x373ca7ada95b53a9U,
0x3e09367b3f63104eU, 0xc0478d1fbf03197aU, 0x3e03cc1bc03b0215U, 0x3f834d04bf5c0b16U,
0xc055457cbec3ae18U, 0xbfc026cf400c49faU, 0x3d6587d3bcb94a5eU, 0x405282b1bf9fd411U,
0x3ea69f69bbd8c5caU, 0x3ee1d652c039c3cdU, 0x3f938f883d849a81U, 0x3ed003493cd90b6eU,
0xbe69fe51bf5c1eeeU, 0x3fde49173cd45715U, 0x3f9290c4be2277acU, 0xbf4e63a83ca4c084U,
0x3f94185abf0f92d9U, 0x3f5e869bc02e4edeU, 0xbdb0d3c7402fcc79U, 0xc00f43d1c08219c1U,
0x40048e883f86b835U, 0xbf7250313fd764edU, 0x3f1464b03da70649U, 0xc03590873f89819aU,
0x40015c553d3246ccU, 0xbed89b0e4012caf8U, 0xbed1a1913ed60195U, 0xbfac61dcbbc6034bU,
0xbe3239883d134ef9U, 0x3f94a81d403c41c4U, 0xbf83dd63bf2d816fU, 0x3fa99739bdbff88cU,
0x38b469a4af723cb8U, 0xbb89973fbbbe2a0cU, 0xbad69a82ab13021aU, 0xbb4333b231b08105U,
0x38ca68db3b27c37bU, 0xbb5a40b03abd3032U, 0xb8ace3ddb9324f4aU, 0x26ff6e71bb608951U,
0xbae8ed29a6700960U, 0x32807c9c3c05e3e6U, 0xb44fe7613b8028feU, 0x3342fc96b9957e61U,
0x3921cca83ba24654U, 0xaf0903c2afa8e307U, 0xb6e9465a3a6e6e13U, 0x3a5a096faa1d6320U,
0xb637bd053ad6503fU, 0x39f2ee883bad5973U, 0x3522f2daba965134U, 0xbac354743b876392U,
0xb9690462395a50c0U, 0x381f6e26b9a78241U, 0x375b0ba7364bd48fU, 0xb7a5ddb538a1c3a6U,
0x38b27e063506543dU, 0x37b3190a3802091dU, 0xb6392cd7b779feefU, 0x3ac8bdc5b3e0547eU,
0x3afc706c37b6a33eU, 0x35bab332b9917100U, 0xbbc4ccce376e4e5eU, 0xbabe88e4b39a46f1U,
0x3b80a47a3abceaedU, 0xbd0c117f3cb299dfU, 0x394bda513d36018bU, 0x3de96793bcfe2fe6U,
0xbc2aba763983a9c6U, 0x3b3790bb3c9802b7U, 0xbd00956cb8c3eb32U, 0x3d0022e2bb9695a0U,
0xbb3631edb8896418U, 0xbcf96649bb66159fU, 0x38de31953a36f4e4U, 0xbceb3ede3880caddU,
0xbb108719bbce5245U, 0xbbcaa947bbaa8063U, 0xbab0df49bc0d2827U, 0xbc4bed3f3846387cU,
0xbad0291da703ebb0U, 0x30e8b3c8ad04489aU, 0x2d56fa4dbbb49a74U, 0xb748ab682c14c3eeU,
0xaf0168502694b4fcU, 0xa46628f2b67bb910U, 0xbc0c1eaaae9c4a55U, 0xa2a9b80ebb67692fU,
0x3bbe2a5f8c8d2c54U, 0xa4525985b579ac38U, 0x2b1529922aa8aa7dU, 0x38c7ec80ae9bac8cU,
0x2e56376a3a1dd731U, 0x281a71042847b543U, 0x290e656021d942d6U, 0xb45d3239a1088cfaU,
0x2ef14455b311b298U, 0xb86230d2b6593c14U, 0x30dea822b4883324U, 0x3868de97b5b9d69eU,
0xb1eef232b611ccbeU, 0x28c46831b9197497U, 0x3ad08ce83a811476U, 0xb21ec650acccf971U,
0xae8989ecb57e8b87U, 0xbc105db0361d8493U, 0xbbf1574eb900f039U, 0xb0b773a9bb933ceeU,
0x3582c15d328f91feU, 0x31a4c81635234276U, 0xaf18a9d7adc8d622U, 0x281c24eea7b9fc80U,
0xbb1bfbf83892ac08U, 0x2bab5f513580df86U, 0xb1924e0928b47e4fU, 0xb4739dc82a9c37efU,
0xa9c77273ae604be8U, 0xa83413e0a7a76599U, 0xab6718f7a8e22ec1U, 0x3600ff8b3794d48dU,
0xbb0daba83bc6b853U, 0x38888248b79f0165U, 0x35696c2ba9ac7c36U, 0x2cb1a555b4693d96U,
0xb24a6b4fbb83ed6cU, 0x9eecaefbbbbc887dU, 0xb1079158b8d373dcU, 0x9ec4333bb191174aU,
0xb714a522b910b7b1U, 0xb7b3b017366a9620U, 0xb9d4312eb98070e5U, 0x38d8edf638a4d80bU,
0x3809733eac8893b7U, 0xbbcb698e37b68725U, 0x3567cac83250d7cfU, 0xb6009cf433803b3dU,
0xbbbddcb632a2c5a9U, 0x34b270703165ec53U, 0xb613fda3b4608d56U, 0xbaf18b5ba59fb120U,
0x3564dc6c25fafdf7U, 0x342aa0403adfbad1U, 0x34427e692ca99386U, 0xb6180da0b98d02bcU,
0x3b2ecfd5b71a678fU, 0x391064a03c50f906U, 0x35954ca6b95b86a3U, 0xbb22695f3982e66fU,
0xb9b88b4d379bc08dU, 0xbb5fa3233699eb09U, 0x36dff6f2b8c9ed0fU, 0xb7d9ee6f3a067a1fU,
0x39aa311abb583972U, 0x373e9cce37ff262bU, 0xb7265cb5b914c2c1U, 0x3c1a4b39b2d79442U,
0x3512306b3b8e19a3U, 0x36a3118cbc4cd36dU, 0x38d74565b737b2e0U, 0xb90f6f31b6f57dfbU,
0xb94c2781bbec9151U, 0xb8412c563a030a05U, 0xb9d6b6d7378884f3U, 0xbad2ef073a8aad5aU,
0xb7d8158aba3751a2U, 0x3b880fcf3bb364cfU, 0xb7178eb1bb062d88U, 0xb8c52efdba9a21e2U,
0xbb08e1573b89d6e9U, 0x3696b7fe3b9f8faeU, 0xb70910ff3afe6b48U, 0x38e7c018b42a21eaU,
0xb2fa7242ba5112e2U, 0xb76fa9793be89efdU, 0xb8e4ad8c37048b64U, 0xb660e0a231828580U,
0xb506dfb9b7b2beebU, 0xb91072323bf3a13bU, 0xb89d0eebb91efb30U, 0xb6ff2cb733729da1U,
0x3a778cd8bb704e97U, 0x3721e3a4b240f16aU, 0xb0194b81af913651U, 0x389c6fadb5155e32U,
0x33daddd8ba27512fU, 0xb2c7994630e0f017U, 0xb76b2c88b3f2f3c4U, 0x3c30785fbb81bb2bU,
0xb797f849b80f85e9U, 0x362aa3d0bba12732U, 0xb68ffc9cb1273b78U, 0x374e6d8e3883cdd5U,
0xb5fa01f93c154696U, 0x398a7bc3b85077e6U, 0xae6d131f33608ac1U, 0x3beaffbcb6d17a8dU,
0xb45b2750b5a8cd27U, 0xb63afa3b3509650cU, 0x3a48d754b1694f0eU, 0xb2d18359b4e046b2U,
0x3776538facd4662dU, 0x3610c190b9305443U, 0xba9b30a6b8aee59cU, 0x3a3d0405bba5e851U,
0x3296be02b61b1960U, 0xb7830c4db5604c9dU, 0x3b80d150bc51df3bU, 0x3456ed0aba5f3320U,
0xbfd91537bfa9f959U, 0xbec9b99140812791U, 0xbf3334eec0157fc6U, 0xc042bad1bddecbdeU,
0x3fc6a062bf5894eaU, 0x40099994bfa17a93U, 0x3e1efec63e0531d6U, 0xbf0acd0640014cdbU,
0xc049e8c73e15adbfU, 0xbf2fb8c8bdf589b1U, 0x3edb304bbf09e580U, 0x3d415b963bec1383U,
0x3d701abc4013755dU, 0xbf3348ddc07272cdU, 0xc01879b7bf432330U, 0x400200d5be260831U,
0x400a027a3f645696U, 0x4006fd65c021a84eU, 0xbe6e77c9404c80f8U, 0xbfbe29afc049ef43U,
0x3f03692b3fef5f87U, 0xbf14491d4010d3ceU, 0xbee9d4a73d121725U, 0xbfca33963f551a6fU,
0x3f8a809b3be2b647U, 0xbee9fdda3ff8f0e8U, 0xbee931ea3eced679U, 0x4003a7c3bc7c0b90U,
0x3f0ffb783daf9028U, 0xbf88f2aa406ec637U, 0xbf292008c0322623U, 0xbf04fbf2be289baeU,
0x3afa8a79bb85487bU, 0xbbf4ea6c38a16580U, 0x38475b4cb98258bbU, 0x3cf529b0bc3b76e4U,
0xba625e46ba4df47fU, 0xbb24a4493ac07fccU, 0xb87762a4b89cfd4bU, 0x3c13df8eba6c909eU,
0xb9c8618b34cce7bfU, 0xb903093ebaf77f32U, 0x39bebda2384b37ceU, 0xbcc815b7397a915fU,
0xbc7b35713a65c127U, 0xba78da363baacfe3U, 0xb92a69b0b93d4a17U, 0x3920d589386c397dU,
0x9d2b2931bb0f6f11U, 0x3adb23aeb17412b0U, 0x3a8a0db4b07b3c9bU, 0xb6daa608b1075624U,
0xb72bb361135ef1e6U, 0x9e8516b332a76ea9U, 0xb9bf29f73a2b922bU, 0xb37405b1b381be2eU,
0x2f7d471d35c7cb44U, 0xba5c6dc9bb4474b2U, 0x37b7e62917935682U, 0x3aa4dc1aba95d62fU,
0x34b522cf383d14f6U, 0x9e39c5cfba40bd6bU, 0xba6ecafc35935837U, 0xb00bcdfca529d666U,
0xbd4be7c0bd1e6c60U, 0xbd1b03b7bcbdac91U, 0xbdb94be0bd7d987bU, 0xbd3d40f9bd1dbd13U,
0x3c6ad62dbe10c081U, 0xbde84b58bd6bd3f4U, 0xbd07ece43c2bcf05U, 0xbdd98edcbcf3aa95U,
0xbd3cad26be233f7eU, 0x3d83237e3c86332fU, 0xbd0ed592bd352ccfU, 0xbd870b80bd5437a5U,
0x3b8fccf43c1b1ed5U, 0xbc80a5b2bc88bee7U, 0xbe57fad43e105d0cU, 0xbd45471f3ce8b71aU,
0xb99b1b06398e52a5U, 0x38520124b72b2f8fU, 0x39ba9d31b8758002U, 0x3945ca12b78f08e9U,
0x3bdcf9c2b7f81135U, 0x3b2e8b553b2c37d8U, 0x3b2ff884b8e1df35U, 0x3b54539a3b042858U,
0x3a80e7193ac02340U, 0xba052a14ba771fa1U, 0xbaa5113aba4af5c5U, 0xba590d43b98c5115U,
0xb88e0fff39d5d029U, 0xbce3e05bb904498bU, 0xbcce2f39bcad8978U, 0xbc21db68bc9d570dU,
0xbc90eb2abc8e5d15U, 0xbc5b7652bbc8f00aU, 0x39f1d18a388ff5bfU, 0x3a1bfa6eb8cd92a9U,
0x3ac427f5ba20aa11U, 0xb88ef679ba1425e3U, 0x3a041964b78ac20fU, 0xbacf34cb3973d512U,
0xb929a590baf08e53U, 0x3b2926f4ba1212d4U, 0xb9a308eb3b11b0b6U, 0x3b00c007b9ea275fU,
0x39e325403a661b0bU, 0x39f0ad1a3a9db8b5U, 0x398e980e38812f3eU, 0xb9c89edcb8cb4d90U,
0xb3d4c2ca37de51fcU, 0x37e19a8bb9a3ce22U, 0x381103e637d83bfbU, 0x377306dfb7b3b742U,
0x3d2ad6b63d91985eU, 0x3d6247493d4e8683U, 0x3d50996a3d57583aU, 0x3c9e48293d665bb2U,
0x39311a943d5960edU, 0xb9a5da103a10efc7U, 0x3a57205c39a081b3U, 0x399ba85039bb6fceU,
0x39d18a6d39320d16U, 0x3a68589a3a1d9d1dU, 0x3a068f0439ac78c9U, 0x38c14f6c393602d1U,
0x3a162ff539320254U, 0xb9435b3f390f7815U, 0x3a7503193a88ebb6U, 0x3b4373c13947158bU,
0x3a938d433b3e319eU, 0xba364e6e3a1b21efU, 0x38c34191b9a5ca2aU, 0xb756377d39870704U,
0x399878ef38cab8a9U, 0x3a08df9f39001c72U, 0xb3dbac80392abcd5U, 0xb3a9d19c3332a3aaU,
0x34263608375f5d8dU, 0xb1c2ec39b2142c7bU, 0xb40c34b936d04931U, 0x37b1427b3790ad00U,
0xb8889b08378f31beU, 0x37829ac237aee84aU, 0xb7a0178936533f76U, 0xbdbd8f54374132d3U,
0xbdf47386bdd2a1a9U, 0xbdb8ba2ebdc9c158U, 0xbde20136bd917af8U, 0xbdda8e26bdc1ea24U,
0xbdb2e0c5bdfb9d9aU, 0xbde756f6bdd3da99U, 0xbdba4921bda4b6abU, 0xbda7091abdc9cd2aU,
0x38146d4dbda4b106U, 0x38bf7146b9d18b0fU, 0xbad0a13c390e1569U, 0xb6da277d36ec7466U,
0x384ad459baa134aaU, 0x37d8ee5637019f3fU, 0x37cc61aa385cf163U, 0x389c218638748f49U,
0x37af21f536ce49cdU, 0x3b3b810c37ea750dU, 0x3b15dd0e3b2725beU, 0x3ae41a4f3b431188U,
0x39cd33383b4a09c2U, 0xbadf06c03acef1c0U, 0x38d4e1ceb97cd2bdU, 0x3960c0fcb622c2acU,
0xb94241ffb8306f52U, 0xb5c10afeb5e2fb2dU, 0x3814df3836b60d2dU, 0x3a7fe4a7b9ce4d17U,
0x38a47047ba4cba13U, 0x3917d4623a8b9fc1U, 0xb9c680beb9f0b4d9U, 0xb73314f738030d20U,
0x365a72fa35f549eeU, 0x36c223d53758c9cdU, 0xb6212a1136a7edabU, 0x3ab49e3db79428baU,
0x3b09e1e33b2aadabU, 0x3ab74733ba41f2d0U, 0x3aae4ae1b9ffabf6U, 0x39c69f333a853087U,
0xb805dd70b793c80aU, 0xb7fe3905b7e7e6bcU, 0xb91177d7b8cf33b6U, 0xb829ba2bb6cb3ec8U,
0xb9da46d6b76a3d30U, 0xb987d3aab9da8149U, 0xb9838370b94deb37U, 0xb8e823cbb6be1a15U,
0xb96c4465b95c96b8U, 0x366e1d7936c0d5eaU, 0x36293a7637ae3451U, 0x373be71436d4a285U,
0x36e9fa993694a93dU, 0x38a7b52c37afe9ffU, 0x366f8f49b7d4e7b1U, 0x3913cb1a382ab99eU,
0xb5bc73beb3a47eabU, 0x372eb1fe367eb896U, 0x3df58c943e1d0baaU, 0x3deff7683e1bd37aU,
0x3df5fa7d3dc81e31U, 0x3df23d773e000d38U, 0x3df0f5243e11de7bU, 0x3de3a9ea3da93e73U,
0x3daac0f33dec97b0U, 0x3db0751e3ddadd57U, 0x3d8a049b3d4888b9U, 0xba9d1f0fbac2b627U,
0xbaf7da2bbaea760bU, 0xbb2e2804bb9c34a1U, 0xbac14fb8bad93c42U, 0xb743130abafa340eU,
0x359aa5a9b78324feU, 0xb846b16137a5d31dU, 0x380b01d7b7a18378U, 0x368264ecb481d22cU,
0x3cd2cb9aba74e1edU, 0x3df7d9cfbcf6b258U, 0xbbd32fab3b4eb008U, 0x3ba006e83849b1caU,
0x3c61a6debef683caU, 0xb7ae97723a863e61U, 0x301ff569bb3945a1U, 0x3f09063f3b3b015dU,
0xb80bf663bf9de1a2U, 0x3d0c21b537f68380U, 0x348815602db860b1U, 0x3c441753a49ca3b7U,
0x3a3617b1354bdb1fU, 0x3b7700a33b90be79U, 0x3fb965bbbf21535bU, 0x38711accbc8bea59U,
0xbc92d240b8717460U, 0x3da6f69f3cb24c0fU, 0xb61b290cb47b0aefU, 0x32b001ccb6c918daU,
0x384064ee3f602f74U, 0xbbffa4833a371e5fU, 0x33705153b645bb24U, 0xbfe2e393b0dd4794U,
0xbab80a3a3f8e9ae4U, 0x3cba3649368e1e89U, 0x3a59ee6939d686e0U, 0x3a432fa3b1820169U,
0xb9822f0a377611d1U, 0xb664c3ceb515b808U, 0xbe11b11cbf8447e4U, 0x2fcc7fe43b36cc0dU,
0x3c75fb7a3791e71eU, 0x3d16774c3b3b6812U, 0xb12eb739398e131bU, 0xb5e3c3beb62dd456U,
0x392a1debbe5bb105U, 0xb900e138b8a657fbU, 0xb796c13038660c4fU, 0x3f0ff63c39466c84U,
0x37af9edebf946acdU, 0xbbbc4778bbcfccaeU, 0xad8e89102524f76eU, 0xb909dc293b25891fU,
0x3ba5fa9d36d58849U, 0xafb6a661ba984373U, 0x3fb1be0dbf41c4b8U, 0x3a7dbccc3b257f7dU,
0xbcc3e2b5b1de6f2dU, 0xbdc4fb63395f89e6U, 0x3c58fb2238074e20U, 0x35310a25bc2a5737U,
0x398b677d3f71c161U, 0xba70c2dc3c7cd87cU, 0x348220c33b5910e5U, 0xbfa798deb345865bU,
0x310a34ae3f5fd53cU, 0x3ca3227036c52809U, 0x31063e52bb120726U, 0xb99e5a452ab1cf4bU,
0xba0c22943921cb9fU, 0xb5061b4db2a2cc40U, 0xbf6857c73f31de88U, 0x332cf16fbc86dd2eU,
0xbcd0dd06ad9feebdU, 0x3df19db538215db2U, 0x34dab2ce2b16b5c4U, 0xba648b333b0d9910U,
0x391b93d2bee44e5cU, 0xb99e9f67ba2f0dc6U, 0x2cb562ef3c7fa567U, 0x3ef3870439a3cef6U,
0x38e10824bfa5fc34U, 0xbd36e8fe329a3cbcU, 0xb21e5af8353cb95bU, 0xb997650a3b6e3444U,
0x37fe3ae43744e1e3U, 0x37f0574ab2d15a72U, 0x3fc81275bee1ba78U, 0x3ad3eb6a3d36915bU,
0xbc0eab0a928b4ccdU, 0xbe4d8808b6d50c3dU, 0x35af3cf939c18ea5U, 0x2a4ca4e736193c44U,
0x390d2e38bd1a89f6U, 0xb90554b6382824acU, 0xb1777861b7fd5518U, 0x3ef8752ebac418d0U,
0xaa5a211e3dc28646U, 0x3844ed4ab6811044U, 0x2d05e41cb614ae2fU, 0x342c9aa33b7cc2f7U,
0xbb039807b5d30c9bU, 0xb09b07103b8bbd1cU, 0xbf250a60400cfe95U, 0x3b2b1ed5b9ce5a97U,
0xbb323f9f918115e7U, 0xbe96b73135995da6U, 0xabea41be278a87deU, 0xa61fd431370f27d7U,
0xb9c7d0be3e39c6dfU, 0x39083ee3b946a817U, 0x2c5365603792fca7U, 0x3f35b1aabb09cf7bU,
0xaa3620f43e9516e7U, 0xbb83b81e35f21aacU, 0xa9fa309f3b766b3aU, 0x39aaa309368b3a45U,
0xbad54f8d398d0501U, 0xbb190604b00b28ceU, 0xbeeb2b60400b76ccU, 0x2ead34973ae013adU,
0xbd97da04ba9fea5fU, 0x3dfb818d3824f105U, 0x3424b4702fa9f56eU, 0x31577643b76f8d79U,
0x396e94ae3f7cf98dU, 0xb9ca6e55bc7e60f7U, 0xb741735abb9cffd7U, 0xc0031dfbbab32a36U,
0x2d24877a3f5b7802U, 0x3a463f47bbae0a6cU, 0xb9892cacb984af14U, 0x3ae212242fdb8b65U,
0xbb25d0bf3afbacdeU, 0x2ec113e4375adfffU, 0xbf02389fbf863c03U, 0xb9bf63cb3c1beb21U,
0xbbd757379103c98dU, 0xbe24ba3ab667cd5fU, 0x3c026e783998c3ecU, 0x9f0865e0368f9d98U,
0x3c88e85d3bcdcf2dU, 0xb64a7f19b836a777U, 0x38cccf4db7790bb7U, 0x3f089e1037f62e14U,
0xb79a29d3bb4d4d10U, 0xbac8c99a3b627e47U, 0xaf7513b72747d79fU, 0x38845ed1b89702b4U,
0x3a9d70e03a6082faU, 0xb80ef8a9b06e3eefU, 0xbf264f5140043418U, 0xad9a1c0fbb55516bU,
0x3e0d8e92228fa7baU, 0x3d6e1b7fb8a9ef35U, 0xb6487ab22eaae5f1U, 0x2baba7f33bb82bf1U,
0x38f580603f48d45aU, 0xba305707b8f68048U, 0xbac130643832880dU, 0xbfe7751f3a9b699aU,
0x376ad1e63f5a9ac4U, 0x3c8eb2a336afdfa7U, 0xb8932b25b372287aU, 0x3563a4c032bc936aU,
0xba6587d2381cbf90U, 0xb15c3fb0b4b6347eU, 0xbe9bcc4abf893aeaU, 0x23d0bd583b214e7bU,
0x3be4ace63badccf2U, 0xbe815c073b0a982cU, 0x3842289037a33a56U, 0xb660705b37a260efU,
0xba1a1fd93e98403eU, 0x3944d82737c97910U, 0x1e8a2c733728a5caU, 0x3f271cc332b81160U,
0xba9ae83c3dde6088U, 0xb8ca371935fbd509U, 0xbb9b3335b9e0f4d5U, 0xbb05b69538a8ca7fU,
0xb915465f3823ba40U, 0xb64ac757345fbea4U, 0xbf041d22400bac35U, 0x319be5e839a8154bU,
0x3d06b4b7b9525af8U, 0xbe838a6ebb9ad97aU, 0xb1f4fe6423999a77U, 0x2bd26729ba99624eU,
0x3a8ba3bebe83ad33U, 0xb832e99239f34033U, 0xbb9ec5f138402ea4U, 0x3f73881e345bd56bU,
0xb5f93548bfbd48fbU, 0x3c2af2ba35328378U, 0xa978b3563b2d0ca6U, 0xb95bf90c13a49569U,
0xb7586c5ab902a2afU, 0x3975603fb65e9c3fU, 0x3f6140593fb8abe1U, 0x3ab4e92739fc4d8bU,
0x3dbf69c3b7e969a3U, 0x3e300d6fb804b4fdU, 0x339cb05026e2721bU, 0x33261ceab786b1e6U,
0x3a843acb3f185a08U, 0xb9d026b6b71ad45aU, 0x3201d03839168fa6U, 0xbfe9fb47bb91cdb9U,
0x399d448e3fcdbd7bU, 0x3c99ff9bbab06176U, 0x32523cf22d1447adU, 0xb7d6b59c2ec5a68bU,
0xba1517ce3c83e0aeU, 0x3c1282d2b8e1e225U, 0x3f0a40c9bf877b93U, 0x39305d71bd025cbaU,
0x3b9220f9b4089b11U, 0xbe7f27a6b5adaba0U, 0xb919d7f2b89e7080U, 0x38c32cb9352bdff4U,
0x39ad4f123d929251U, 0xbc2797b0b85bc7bfU, 0xba36bf99b8c747ecU, 0x3ecd5ed0b52b3f61U,
0x36f8a7123e3810c3U, 0x3a39911fb5c7dfbbU, 0x2f44c585b1490579U, 0xbc7d67753be84091U,
0xb9b3580039fe8f09U, 0xb212eedd33fe405aU, 0xbf178d2d40002f23U, 0x264268953b65bdb1U,
0x3d432c3b3325c1c1U, 0x3e3bd20bb8723ee8U, 0xba92d7b322f01567U, 0x3934b04737d9319fU,
0xb79246acbef4c24aU, 0xb8affc6fb7172925U, 0xb698e557b94d11bdU, 0x3f0f385eb80296a9U,
0x315bf8f3bfc7f497U, 0x3c3ad460b5fdc1f2U, 0xb3c03b263a5d0321U, 0xb70ed5053a71df9eU,
0x390465ccb7fc8fdeU, 0xbb898b36b799e88eU, 0x3f9295bfbf1a12adU, 0xba79c00e3aacae4aU,
0x3c49b739adb55973U, 0x3dd1c72db6bbec53U, 0xb194cc17280791a9U, 0x2ebd53dbbc0bd605U,
0x39a5bbd13ecbb390U, 0xb887155bba611ff8U, 0x326647eb3a8b5886U, 0xbf9dd230b4df7effU,
0xb4f71648be95affcU, 0x3c003baa36d471d1U, 0xb07bf6093b2d982bU, 0xbb4536f81a13a35fU,
0xbad048d3bb283a50U, 0xbac55043314dfbacU, 0x3f9d3d15bf9eaa56U, 0x2d713dc9bca2bcf5U,
0xbc506072a4f3817dU, 0xbe6c25e539064f30U, 0x3b0403783b065a3dU, 0xbb98670036302fd5U,
0x3ad6fc3abd9a5f22U, 0xb97b68c3384722a9U, 0xb9110235bb9fd2f5U, 0x3edd06ccb8a85fa6U,
0x39712cd2be402798U, 0xbbaeed18b5cb7ad7U, 0xb949bca22e809778U, 0x3b55a8f03b6bc52fU,
0xb9695c2c38b02054U, 0xb1d9008bb1344ddfU, 0xbf6a29074006458fU, 0x39addb09baddfdadU,
0x3ce4272d3b917251U, 0x3e500813b7654106U, 0xb10838dbb761491eU, 0xb8ae031cb782f3dcU,
0xb9a8245dbec8e3a2U, 0xbc1989c5b88414afU, 0x2b65219db8051543U, 0x3f1af372b40b75fdU,
0x38613fd1bfb9fda8U, 0xbd112c3c3baf8026U, 0x3a25f3fa3b62dd58U, 0xb8b106b53abd3428U,
0xbadce4063468ecadU, 0x3b29be7937c7f019U, 0x3fbbc22bbf2a1dd4U, 0x39c158183b89653dU,
0x3ccb1e35b83cadeaU, 0x3d345b6c36da09f4U, 0x3417594fa6ec0ecbU, 0x2a8560e5b75b137bU,
0x3877bac53f84319dU, 0xb781a08c37f97b39U, 0x32f7c2b2b8250964U, 0xc00240ccb216297cU,
0xba4faac83f24ef77U, 0x3d3e959636da0ba5U, 0xb8bb14ac2636844aU, 0x36b926b91f17455eU,
0xba6a8365bb47719eU, 0x30cb931ab923293bU, 0xbe9ccc30bf902f9fU, 0x2bd399adbc0266c0U,
0x3cc0a954bbac0d61U, 0x3e1678c9bc0ea62cU, 0xb3ad5495b94be351U, 0xacce01d737215f40U,
0xbb24baf3beab9bf4U, 0x3c24f6af3b13bcf8U, 0xa5b9690037be9cd3U, 0x3ef99f3bb2a72143U,
0x3a10b701bfb1cbbbU, 0x3c7305bbb52d4865U, 0xb4ab5cb9b8330c93U, 0x3b17c032ae99c426U,
0xbb81794db8e5cfefU, 0x30b6b2bc32a02c40U, 0x3fab7331bf16dc0eU, 0x2146b0e93c359192U,
0x3ce9d600b8496b7fU, 0xbe3befe7b7f51d84U, 0xb4d3a585b3922c6fU, 0x2fc6f6a938f77816U,
0x3ae6611e3e1741c1U, 0xbacae3a03d3354a4U, 0xb4371e47b791bd9fU, 0x3f0c4e2eb07d745dU,
0x3b7260b6bdeb923bU, 0xb9713a6fb65df17fU, 0xb6839f0031d019adU, 0x38a10a73a009aefcU,
0xbb8d612cbb99c2b8U, 0x3a62d64e35056edeU, 0xbf49eae14000dc0eU, 0x263dbb65bd4dfbfbU,
0xbccd6b69b621c153U, 0x3db436823ca41504U, 0x3b2b58bf31ea20afU, 0x3b9110f4b7e6558bU,
0x390d6ff13f67f4bfU, 0xbc6f088cb93074f3U, 0x9f25bf1e38161a8cU, 0xbfeefd9036d31d12U,
0x3bcdde8e3f864826U, 0x3c96954f36e09ac3U, 0xb8b42633ab0379dbU, 0xbc81d0493b49785eU,
0xba023f3537a15c43U, 0xb29da5d3b85451afU, 0xbdaf58fbbf96dc41U, 0x37d5cf533c3fff54U,
0x3c389d6db960afedU, 0x3e32258bb9ca8182U, 0x39afe74b3ad5f406U, 0xb786a6b034dc1243U,
0x3c98f7b6beaf6675U, 0x39314030bb04551bU, 0x24938d93ba78b9caU, 0x3efcf4b136ae4cadU,
0x2def484fbf913005U, 0xbc671c873b8eb6b4U, 0x31f17de3b5811947U, 0x3b81cad5170c693bU,
0xbac8fbdc3961bddcU, 0xb1f17c463182e38fU, 0x3fa45685bf1be56dU, 0x3589e1a33b97e1abU,
0x3d1809020c0aac7cU, 0x3dc4257837b6936bU, 0x2fce6a453b6316ccU, 0x32b580bab6d8071bU,
0x3bf6b8ca3f486779U, 0xb9a68746baf5640bU, 0x9d4e92de37e813c7U, 0xc0048b1b3b9e209aU,
0x36bf57483f92429fU, 0x3bf2d6e336d99d87U, 0xb31044f5b8eac5afU, 0x36df2b2d2ca4b3b6U,
0xb941c1763bbf2c7aU, 0xb28e00b4b656d33dU, 0xbdeac314bf9a86f1U, 0x94ec383fbaf26b95U,
0x3c92c704182519d1U, 0x3dd642513b8bfbe7U, 0xb4789c7234359723U, 0xb13792af34a6a562U,
0xb83b20d6beb266c6U, 0xbac48648393eeac7U, 0xa35d2308370554ccU, 0x3ee79d7ab8955a82U,
0x2b8dd1acbfb3b799U, 0x3c8f7c26b620ae4eU, 0xba466195272d4838U, 0x3a171f18bb7992e3U,
0x3a451141b99a0074U, 0x344ae26831d15eaeU, 0x3f97d39cbf0cdc10U, 0x9f239f98bbe09611U,
0x3b8ea91b0be724a3U, 0x3deb30c1b51732d0U, 0xb1940b4a30385d22U, 0x2fdf932e3409db2aU,
0x379107bebed201f1U, 0xb79f02f13a002d43U, 0x1d87b5513b50a77cU, 0x3f0501572c50fb7dU,
0x21d5ad03bfaacb79U, 0xba0fe3f0376075c7U, 0xbb222dcf2e7c7e16U, 0x3b18c7a2ad6694fbU,
0x399ac519b62b5d86U, 0xaaf460f02eec443eU, 0x3fd7c537bf349924U, 0xbabc0d443a4a1412U,
0x3bf3aaa9b6042844U, 0x3dddcfdd36087a99U, 0xbb345e3e322c78faU, 0x39a5132bbb83fedaU,
0xb9821d30be502008U, 0x3b17b3e2bbc46a6dU, 0xa13258b8ba95fa6aU, 0x3e78730733500042U,
0xb525ca98bf8f309dU, 0xbad15a8e36209e93U, 0x39fa6e7d3050f6f2U, 0x3bf7206ea596c12aU,
0x3c07d28a3473e738U, 0x3b9682eabad3f68fU, 0x3fc3369bbf291bd8U, 0x99f287003af08631U,
0xbca34a73ae096c00U, 0x3d574281b84d4c8dU, 0x34955509398b6882U, 0xbadc1280b6d147a5U,
0xb6e4a3c13f7ed99fU, 0xb98b6c1db8052ba4U, 0x3952f08537aa9b2cU, 0xbfda222830abae34U,
0x3af71b7e3fa961fcU, 0x3b3ebca2368c8cfaU, 0xb1fecbdbabb1fcfeU, 0x39ee3f043475161bU,
0xb9661c00378e67e5U, 0xaf41d9f43be6dde5U, 0x3f151b4ebfa83fe7U, 0x2d602210bb203d7bU,
0x3d2557613954f102U, 0xbe67253139c86d9dU, 0xbc4b14c3b7993b8aU, 0x317af7e1393cfa39U,
0x3ae92dea3f11a5b5U, 0xba9dd726bb67dc25U, 0x3a5f9f4cb98432c7U, 0x3f17f57b39543bafU,
0xb6b959eebd222ac1U, 0xbd45faafb943b9a1U, 0x3ab8a57f3a1e980aU, 0xbc3672c82fae2693U,
0xba0b3bf73a130132U, 0x3454b5a4378a363fU, 0xbf5ac0ed3ff4a3ebU, 0x2c435f763d6ef423U,
0xbb2da5c6b53d5f58U, 0xbea88bd3b92a293fU, 0x38ff58953a04ceb6U, 0x27f1174fba54a0caU,
0x3b65c4a33d7cad92U, 0xbb1d44883c09dd2eU, 0x2677d8f9b50ebadfU, 0x3f2af7a0ba03dbcbU,
0xa7e74272bf0f07a1U, 0xbaa2e41e3799ebcbU, 0x2d7c823b3953d174U, 0x35bcc779a3cfedf3U,
0xbab45fbbb8d59fc2U, 0x303c16f3bae665e2U, 0xbf91c6bc4002f962U, 0xa79b5fa13a9ea719U,
0xbc619c13ae4117ccU, 0xbc0f6a2b3b6d0f7aU, 0xbaafe83938b079c0U, 0x339ca2a1b63b6729U,
0x390ebc8e3f5ebcc9U, 0xbd68a9713ae4da46U, 0x341661c5380b44aeU, 0xbf72d5c63b2671b4U,
0x3d045b773f81f965U, 0xbcab321236a85400U, 0xbcb914ce366ba3aaU, 0xb7a400b8b8c4a70cU,
0x3a47a34238ccfdf4U, 0xb8c071013484b7b0U, 0xbf3e4dc73f8e04adU, 0x2739a529bb4620bcU,
0xbcdd2e0632a362d2U, 0x3e2976813b19be31U, 0xbb9852f93bae2311U, 0xb136641738282f86U,
0xb8466410beb7a9e5U, 0xb96f23a53d21f934U, 0x34163b36b938037dU, 0x3ef01e9738a301fcU,
0x380d9868bf928667U, 0xbd6dd1dc37924e02U, 0x397c244eb5b93044U, 0xb6115416b1f2b379U,
0xbb9a1b563b8e80a6U, 0x39d4f990b581bb65U, 0x3faa36c7beed4af9U, 0x2f7be2423d549d85U,
0x3da85bf4be2fa5f7U, 0xbe58f204bd3e64baU, 0xbef8270dbea156feU, 0x3d88be95bee0805eU,
0x3e01fd5ebecefcfdU, 0xbf27fa3cbecdb70eU, 0xbed49cf33d93fa3cU, 0xbe31bc60be243060U,
0xbe50be24bedb97deU, 0xbe7628e43d2a6b2dU, 0x3e2ef12cbec2888fU, 0x3e1b4882be0739bcU,
0xbe3248c4be698226U, 0x3e266e14bdff3e4eU, 0xbebf1399bed3e658U, 0xbe7c0011be905524U,
0xbd821111bdb4dee2U, 0xbceb950bbd33c7c4U, 0xba86b044bc82f86cU, 0x3d2759f53ca46bcdU,
0x3daeaf083d8a34ccU, 0x3e0341df3dd6579fU, 0x3e2b2adc3e1888ecU, 0x3e519f793e3aebc5U,
0xccb1555a2560b7c6U, 0x2d02faabea1bbe09U, 0x4b91152a5981a4acU, 0x68337ca7ab3a8627U,
0x27b7735a6a272b29U, 0x92654922287a9262U, 0x255ba6a999376b26U, 0xb1a9361137a861a1U,
0x4249878493494733U, 0x7488334334944393U, 0x8744485444949384U, 0x2845859984544949U,
0x5555555555555555U, 0x5555555555555555U, 0x6239a9a3925a5652U, 0x7699436553a33595U,
0x4674434747444647U, 0x6444574447477444U, 0x6555565555656465U, 0x4655656665555656U,
0x5774444748545658U, 0x6544676557477545U, 0x6555555555656565U, 0x5655656665555656U,
0x5238999392595653U, 0x7599436553933595U, 0x4348878484393734U, 0x8488344334844383U,
0x423a98a3a23a4743U, 0x84aa325333a33393U, 0x3567756666373736U, 0x7366363336666363U,
0x8644475444848384U, 0x3845858884444848U, 0x9634585454949384U, 0x3856849983644859U,
0x38a552384b334838U, 0x83535933383aa243U, 0x5447767474575554U, 0x6577445454744575U,
0x5555555565565555U, 0x6555555555655565U, 0xa943394433b392b3U, 0x1936959ba344393bU,
0xa73249443494a293U, 0x2a4395ab7554594aU, 0xa5278a7175d8b292U, 0x2b59c5b8b3942999U,
0x4457767574474645U, 0x6477454445755474U, 0x5456666565565555U, 0x6566555555655565U,
0x2138c8b4b32b2a46U, 0x85ce126224a342b2U, 0x733989a382686562U, 0x67a7537663933796U,
0x7753464545837475U, 0x3744857875455748U, 0x3893423939434848U, 0x7433593449399333U,
0x26d4502c3b125a2cU, 0xa1337b251e2cd132U, 0x3894413a3b32483bU, 0x73335a343b39b323U,
0x3d9994113dde3ec4U, 0x3e22dbc73e70d289U, 0x3dbfb83e3e3f7793U, 0x3e423367bd8b16deU,
0x3d2d622a3df4c966U, 0x3bea0e1e3d3a5197U, 0x3e30513c3e4eed7dU, 0x3e6c8a013e3dc756U,
0x3dd2b5b43db36fdeU, 0x3e0c30513e0dd2f6U, 0x3dd09821bc629654U, 0x3dfe90a03d4a3103U,
0x3d080dce3e0073afU, 0x3e2bb2853e2cae66U, 0x3e1f02073dca9b3cU, 0x3e2e5a193e26f746U,
0xbe9f3308beba9a40U, 0xbe53e372be8a8e6fU, 0xbde974bfbe25bc38U, 0xbc2fde49bd59e5e1U,
0x3da2aa463d26d03aU, 0x3e4a3d8b3e111e5eU, 0x3ea5bd813e75f70aU, 0x3ec6b2653ebb1b74U,
0x273596967252cabbU, 0xfd6c52676173b854U, 0x33646769765921faU, 0x25a53757ed7d39bbU,
0xa8ca46677bb38c00U, 0x4455ea9879845b56U, 0xbcf51d32bd12b414U, 0x3d485f7aU,
};
ai_handle g_model_weights_table[1 + 2] = {
AI_HANDLE_PTR(AI_MAGIC_MARKER),
AI_HANDLE_PTR(s_model_weights_array_u64),
AI_HANDLE_PTR(AI_MAGIC_MARKER),
};