Skip to content

Instantly share code, notes, and snippets.

@imaami
Created October 10, 2025 20:58
Show Gist options
  • Select an option

  • Save imaami/a371c3bbbc9119f067f3d531de928af0 to your computer and use it in GitHub Desktop.

Select an option

Save imaami/a371c3bbbc9119f067f3d531de928af0 to your computer and use it in GitHub Desktop.
De Bruijn sequences B(2,5) stuff
#!/usr/bin/python3
class B25():
data = (0x4653adf, 0x4653b5f, 0x4653eb7, 0x4653ed7, 0x46569df, 0x46569f7, 0x4656e9f, 0x4656fa7, 0x465769f, 0x4657da7, 0x465a9df, 0x465a9f7, 0x465ba9f, 0x465bea7, 0x465da9f, 0x465f6a7,
0x4674adf, 0x46752df, 0x467695f, 0x4676a5f, 0x467d2b7, 0x467d4b7, 0x467da57, 0x467da97, 0x46959df, 0x46959f7, 0x4695cfb, 0x4695d9f, 0x4695f3b, 0x4695f67, 0x469cafb, 0x469d95f,
0x469df2b, 0x469f2bb, 0x469f657, 0x469f72b, 0x46a59df, 0x46a59f7, 0x46a5cfb, 0x46a5d9f, 0x46a5f3b, 0x46a5f67, 0x46a72fb, 0x46a765f, 0x46a77cb, 0x46a7cbb, 0x46a7d97, 0x46a7dcb,
0x46b29df, 0x46b29f7, 0x46b94fb, 0x46bb29f, 0x46be53b, 0x46beca7, 0x46ca75f, 0x46ca7d7, 0x46cae9f, 0x46cafa7, 0x46cba9f, 0x46cbea7, 0x46ce95f, 0x46cea5f, 0x46cfa57, 0x46cfa97,
0x46e53eb, 0x46e7d2b, 0x46e7d4b, 0x46e959f, 0x46e9f2b, 0x46ea59f, 0x46ea7cb, 0x46eb29f, 0x46f94eb, 0x46f9d2b, 0x46f9d4b, 0x46fa567, 0x46fa72b, 0x46fa967, 0x46fa9cb, 0x46faca7,
0x4729afb, 0x4729beb, 0x472b7d3, 0x472be9b, 0x472bed3, 0x472df53, 0x472fa9b, 0x472fb53, 0x4734afb, 0x47352fb, 0x4737d2b, 0x4737d4b, 0x474acdf, 0x474adf3, 0x474af9b, 0x474cadf,
0x474d95f, 0x474df2b, 0x4752cdf, 0x4752df3, 0x4752f9b, 0x47532df, 0x475365f, 0x47537cb, 0x47594df, 0x475be53, 0x475f29b, 0x476535f, 0x476695f, 0x4766a5f, 0x47695f3, 0x476995f,
0x476a5f3, 0x476a65f, 0x476be53, 0x477ca6b, 0x477cad3, 0x477cb53, 0x477cd2b, 0x477cd4b, 0x47ca6bb, 0x47ca6eb, 0x47cadd3, 0x47cae9b, 0x47caed3, 0x47cb753, 0x47cba9b, 0x47cbb53,
0x47cd2bb, 0x47cd4bb, 0x47cdd2b, 0x47cdd4b, 0x47d2b37, 0x47d2b73, 0x47d2b9b, 0x47d32b7, 0x47d3657, 0x47d372b, 0x47d4b37, 0x47d4b73, 0x47d4b9b, 0x47d4cb7, 0x47d4d97, 0x47d4dcb,
0x47d6537, 0x47d6e53, 0x47d729b, 0x47d94d7, 0x47d9a57, 0x47d9a97, 0x47da573, 0x47da657, 0x47da973, 0x47da997, 0x47dae53, 0x47dca6b, 0x47dcad3, 0x47dcb53, 0x47dcd2b, 0x47dcd4b,
0x4a33adf, 0x4a33b5f, 0x4a33eb7, 0x4a33ed7, 0x4a359df, 0x4a359f7, 0x4a35cfb, 0x4a35d9f, 0x4a35f3b, 0x4a35f67, 0x4a3675f, 0x4a367d7, 0x4a373eb, 0x4a3759f, 0x4a37ceb, 0x4a37d67,
0x4a39afb, 0x4a39beb, 0x4a3acdf, 0x4a3adf3, 0x4a3af9b, 0x4a3b35f, 0x4a3b5f3, 0x4a3be6b, 0x4a3e6bb, 0x4a3e6eb, 0x4a3eb37, 0x4a3eb73, 0x4a3eb9b, 0x4a3ecd7, 0x4a3ed73, 0x4a3ee6b,
0x4ac6e7d, 0x4ac6f9d, 0x4ac737d, 0x4ac77cd, 0x4ac7cdd, 0x4ac7dcd, 0x4acd1df, 0x4acd1f7, 0x4acdc7d, 0x4acdd1f, 0x4acdf1d, 0x4acdf47, 0x4ace37d, 0x4ace8df, 0x4acef8d, 0x4acf8dd,
0x4acfa37, 0x4acfb8d, 0x4ad19df, 0x4ad19f7, 0x4ad1df3, 0x4ad1f73, 0x4adc67d, 0x4adcc7d, 0x4adcfa3, 0x4add19f, 0x4add1f3, 0x4adf19d, 0x4adf31d, 0x4adf3a3, 0x4adf467, 0x4adf473,
0x4ae33ed, 0x4ae367d, 0x4ae3ecd, 0x4ae63ed, 0x4ae68fb, 0x4ae6c7d, 0x4ae7d1b, 0x4ae7d8d, 0x4ae7da3, 0x4ae8d9f, 0x4ae8f9b, 0x4aec7cd, 0x4aecd1f, 0x4aecf8d, 0x4aed19f, 0x4aed1f3,
0x4af8ced, 0x4af8d9d, 0x4af8ecd, 0x4af98ed, 0x4af9a3b, 0x4af9b1d, 0x4af9d1b, 0x4af9d8d, 0x4af9da3, 0x4afa367, 0x4afa39b, 0x4afb1cd, 0x4afb347, 0x4afb38d, 0x4afb467, 0x4afb473,
0x4b1b9f5, 0x4b1be75, 0x4b1cdf5, 0x4b1df35, 0x4b1f375, 0x4b1f735, 0x4b351df, 0x4b351f7, 0x4b371f5, 0x4b3751f, 0x4b37c75, 0x4b37d47, 0x4b38df5, 0x4b3a8df, 0x4b3be35, 0x4b3e375,
0x4b3ea37, 0x4b3ee35, 0x4b519df, 0x4b519f7, 0x4b51df3, 0x4b51f73, 0x4b719f5, 0x4b731f5, 0x4b73ea3, 0x4b7519f, 0x4b751f3, 0x4b7c675, 0x4b7cc75, 0x4b7cea3, 0x4b7d467, 0x4b7d473,
0x4b8cfb5, 0x4b8d9f5, 0x4b8fb35, 0x4b98fb5, 0x4b9a8fb, 0x4b9b1f5, 0x4b9f51b, 0x4b9f635, 0x4b9f6a3, 0x4ba8d9f, 0x4ba8f9b, 0x4bb1f35, 0x4bb351f, 0x4bb3e35, 0x4bb519f, 0x4bb51f3,
0x4be33b5, 0x4be3675, 0x4be3b35, 0x4be63b5, 0x4be6a3b, 0x4be6c75, 0x4be751b, 0x4be7635, 0x4be76a3, 0x4bea367, 0x4bea39b, 0x4bec735, 0x4becd47, 0x4bece35, 0x4bed467, 0x4bed473,
0x4c72b7d, 0x4c72bed, 0x4c72df5, 0x4c72fb5, 0x4c75be5, 0x4c76be5, 0x4c77cad, 0x4c77cb5, 0x4c7cadd, 0x4c7caed, 0x4c7cb75, 0x4c7cbb5, 0x4c7d6e5, 0x4c7dae5, 0x4c7dcad, 0x4c7dcb5,
0x4ca3adf, 0x4ca3b5f, 0x4ca3eb7, 0x4ca3ed7, 0x4cad1df, 0x4cad1f7, 0x4cadc7d, 0x4cadd1f, 0x4cadf1d, 0x4cadf47, 0x4cae3ed, 0x4caed1f, 0x4caf8ed, 0x4cafb47, 0x4cb51df, 0x4cb51f7,
0x4cb71f5, 0x4cb751f, 0x4cb7c75, 0x4cb7d47, 0x4cb8fb5, 0x4cbb51f, 0x4cbe3b5, 0x4cbed47, 0x4d1cafb, 0x4d1d95f, 0x4d1df2b, 0x4d1f2bb, 0x4d1f657, 0x4d1f72b, 0x4d472fb, 0x4d4765f,
0x4d477cb, 0x4d47cbb, 0x4d47d97, 0x4d47dcb, 0x4d63be5, 0x4d63ee5, 0x4d651df, 0x4d651f7, 0x4d71f65, 0x4d728fb, 0x4d763e5, 0x4d7651f, 0x4d7c765, 0x4d7ca3b, 0x4d7d8e5, 0x4d7d947,
0x4d8e57d, 0x4d8e5f5, 0x4d8ebe5, 0x4d8f95d, 0x4d8f975, 0x4d8fae5, 0x4d9475f, 0x4d947d7, 0x4d95c7d, 0x4d95d1f, 0x4d95f1d, 0x4d95f47, 0x4d971f5, 0x4d9751f, 0x4d97c75, 0x4d97d47,
0x4dc7d65, 0x4dca3eb, 0x4dcac7d, 0x4dcb1f5, 0x4dd1f2b, 0x4dd47cb, 0x4dd63e5, 0x4dd651f, 0x4df1d65, 0x4df28eb, 0x4df2b1d, 0x4df2c75, 0x4df472b, 0x4df51cb, 0x4df58e5, 0x4df5947,
0x4e32b7d, 0x4e32bed, 0x4e32df5, 0x4e32fb5, 0x4e35f65, 0x4e3657d, 0x4e365f5, 0x4e37d65, 0x4e51afb, 0x4e51beb, 0x4e5637d, 0x4e56fa3, 0x4e57d1b, 0x4e57d8d, 0x4e57da3, 0x4e58df5,
0x4e5bea3, 0x4e5f51b, 0x4e5f635, 0x4e5f6a3, 0x4e8cadf, 0x4e8d95f, 0x4e8df2b, 0x4ea32df, 0x4ea365f, 0x4ea37cb, 0x4eb1be5, 0x4eb28df, 0x4eb7c65, 0x4eb7ca3, 0x4ebe365, 0x4ebe51b,
0x4ec6be5, 0x4eca35f, 0x4ecaf8d, 0x4ecbe35, 0x4ed195f, 0x4ed465f, 0x4ed7c65, 0x4ed7ca3, 0x4ef8cad, 0x4ef8cb5, 0x4ef8d65, 0x4ef946b, 0x4ef958d, 0x4ef95a3, 0x4ef9635, 0x4ef96a3,
0x4f8cadd, 0x4f8caed, 0x4f8cb75, 0x4f8cbb5, 0x4f8d765, 0x4f8d95d, 0x4f8d975, 0x4f8dd65, 0x4f946bb, 0x4f946eb, 0x4f958dd, 0x4f95ba3, 0x4f95d1b, 0x4f95d8d, 0x4f95da3, 0x4f96375,
0x4f96ea3, 0x4f9751b, 0x4f97635, 0x4f976a3, 0x4fa32b7, 0x4fa3657, 0x4fa372b, 0x4fa8cb7, 0x4fa8d97, 0x4fa8dcb, 0x4fac6e5, 0x4faca37, 0x4fadc65, 0x4fadca3, 0x4fae365, 0x4fae51b,
0x4fb1ae5, 0x4fb28d7, 0x4fb2b8d, 0x4fb2e35, 0x4fb4657, 0x4fb5197, 0x4fb5c65, 0x4fb5ca3, 0x4fb8cad, 0x4fb8cb5, 0x4fb8d65, 0x4fb946b, 0x4fb958d, 0x4fb95a3, 0x4fb9635, 0x4fb96a3,
0x5193adf, 0x5193b5f, 0x5193eb7, 0x5193ed7, 0x51ac9df, 0x51ac9f7, 0x51ae4fb, 0x51aec9f, 0x51af93b, 0x51afb27, 0x51b275f, 0x51b27d7, 0x51b93eb, 0x51bac9f, 0x51be4eb, 0x51beb27,
0x51c9afb, 0x51c9beb, 0x51d64df, 0x51d6f93, 0x51d7c9b, 0x51d935f, 0x51daf93, 0x51df26b, 0x51f26bb, 0x51f26eb, 0x51f5937, 0x51f5b93, 0x51f5c9b, 0x51f64d7, 0x51f6b93, 0x51f726b,
0x5233adf, 0x5233b5f, 0x5233eb7, 0x5233ed7, 0x52359df, 0x52359f7, 0x5235cfb, 0x5235d9f, 0x5235f3b, 0x5235f67, 0x523675f, 0x52367d7, 0x52373eb, 0x523759f, 0x5237ceb, 0x5237d67,
0x5239afb, 0x5239beb, 0x523acdf, 0x523adf3, 0x523af9b, 0x523b35f, 0x523b5f3, 0x523be6b, 0x523e6bb, 0x523e6eb, 0x523eb37, 0x523eb73, 0x523eb9b, 0x523ecd7, 0x523ed73, 0x523ee6b,
0x531d6f9, 0x531daf9, 0x531f5b9, 0x531f6b9, 0x5323adf, 0x5323b5f, 0x5323eb7, 0x5323ed7, 0x5358ef9, 0x5358fb9, 0x53591df, 0x53591f7, 0x535c7d9, 0x535c8fb, 0x535d8f9, 0x535d91f,
0x535f1d9, 0x535f23b, 0x535f639, 0x535f647, 0x5363af9, 0x5363eb9, 0x536475f, 0x53647d7, 0x5371f59, 0x53723eb, 0x53758f9, 0x537591f, 0x537c759, 0x537c8eb, 0x537d639, 0x537d647,
0x538d7d9, 0x538df59, 0x5391afb, 0x5391beb, 0x53ac6f9, 0x53ac8df, 0x53adf19, 0x53adf23, 0x53af8d9, 0x53af91b, 0x53b1af9, 0x53b235f, 0x53b5f19, 0x53b5f23, 0x53be359, 0x53be46b,
0x53e35d9, 0x53e3759, 0x53e46bb, 0x53e46eb, 0x53eb1b9, 0x53eb237, 0x53eb719, 0x53eb723, 0x53eb8d9, 0x53eb91b, 0x53ec6b9, 0x53ec8d7, 0x53ed719, 0x53ed723, 0x53ee359, 0x53ee46b,
0x5634ef9, 0x5634fb9, 0x563727d, 0x56373e9, 0x56374f9, 0x5637c9d, 0x5637ce9, 0x5637d39, 0x563937d, 0x5639be9, 0x563a6f9, 0x563be4d, 0x563be69, 0x563e4dd, 0x563e6e9, 0x563e9b9,
0x563ee4d, 0x563ee69, 0x56469df, 0x56469f7, 0x5646e9f, 0x5646fa7, 0x56474df, 0x5647d37, 0x564d1df, 0x564d1f7, 0x564dc7d, 0x564dd1f, 0x564df1d, 0x564df47, 0x564e37d, 0x564e8df,
0x564ef8d, 0x564f8dd, 0x564fa37, 0x564fb8d, 0x56691df, 0x56691f7, 0x566e3e9, 0x566e91f, 0x566f8e9, 0x566fa47, 0x5671be9, 0x56748df, 0x5677c69, 0x567c6e9, 0x567d237, 0x567dc69,
0x568c9df, 0x568c9f7, 0x568ef93, 0x568fb93, 0x56919df, 0x56919f7, 0x5691df3, 0x5691f73, 0x5698ef9, 0x5698fb9, 0x56991df, 0x56991f7, 0x569df19, 0x569df23, 0x569f719, 0x569f723,
0x56e327d, 0x56e33e9, 0x56e3e99, 0x56e47d3, 0x56e4c7d, 0x56e4fa3, 0x56e63e9, 0x56e7d23, 0x56e8c9f, 0x56e8f93, 0x56e919f, 0x56e91f3, 0x56e98f9, 0x56e991f, 0x56e9f19, 0x56e9f23,
0x56f8c9d, 0x56f8ce9, 0x56f8e99, 0x56f91d3, 0x56f931d, 0x56f93a3, 0x56f98e9, 0x56f9d23, 0x56fa327, 0x56fa393, 0x56fa467, 0x56fa473, 0x56fa639, 0x56fa647, 0x56fa719, 0x56fa723,
0x57193ed, 0x5719f69, 0x571a7d9, 0x571b27d, 0x571b3e9, 0x571f4d9, 0x571f64d, 0x571f669, 0x571f699, 0x57234fb, 0x5723e9b, 0x5723ed3, 0x57263ed, 0x57268fb, 0x5726c7d, 0x5727d1b,
0x5727d8d, 0x5727da3, 0x5731f69, 0x57348fb, 0x57363e9, 0x573e91b, 0x573ec69, 0x573ed23, 0x5746c9f, 0x5747c9b, 0x5748d9f, 0x5748f9b, 0x574d8f9, 0x574d91f, 0x574f8d9, 0x574f91b,
0x57634f9, 0x5763e4d, 0x5763e69, 0x576469f, 0x5764d1f, 0x5764f8d, 0x576691f, 0x5767c69, 0x5768c9f, 0x5768f93, 0x576919f, 0x57691f3, 0x57698f9, 0x576991f, 0x5769f19, 0x5769f23,
0x57c64ed, 0x57c6769, 0x57c69d9, 0x57c6c9d, 0x57c6ce9, 0x57c74d9, 0x57c764d, 0x57c7669, 0x57c7699, 0x57c8d3b, 0x57c8e9b, 0x57c8ed3, 0x57c98ed, 0x57c9a3b, 0x57c9b1d, 0x57c9d1b,
0x57c9d8d, 0x57c9da3, 0x57cc769, 0x57cd23b, 0x57cd8e9, 0x57ce91b, 0x57cec69, 0x57ced23, 0x57d1b27, 0x57d1c9b, 0x57d2367, 0x57d239b, 0x57d3639, 0x57d3647, 0x57d38d9, 0x57d391b,
0x57d8d39, 0x57d8e4d, 0x57d8e69, 0x57d91a7, 0x57d9347, 0x57d938d, 0x57d9a47, 0x57d9c69, 0x57da327, 0x57da393, 0x57da467, 0x57da473, 0x57da639, 0x57da647, 0x57da719, 0x57da723,
0x58d4ef9, 0x58d4fb9, 0x58dc9f5, 0x58dcfa9, 0x58dd4f9, 0x58df275, 0x58df3a9, 0x58df539, 0x58e4df5, 0x58e6fa9, 0x58ea6f9, 0x58ef935, 0x58ef9a9, 0x58f9375, 0x58f9ba9, 0x58fa9b9,
0x58fb935, 0x58fb9a9, 0x591a9df, 0x591a9f7, 0x591ba9f, 0x591bea7, 0x591d4df, 0x591f537, 0x59351df, 0x59351f7, 0x59371f5, 0x593751f, 0x5937c75, 0x5937d47, 0x5938df5, 0x593a8df,
0x593be35, 0x593e375, 0x593ea37, 0x593ee35, 0x59a91df, 0x59a91f7, 0x59b8fa9, 0x59ba91f, 0x59be3a9, 0x59bea47, 0x59c6fa9, 0x59d48df, 0x59df1a9, 0x59f1ba9, 0x59f5237, 0x59f71a9,
0x5a8c9df, 0x5a8c9f7, 0x5a8ef93, 0x5a8fb93, 0x5a919df, 0x5a919f7, 0x5a91df3, 0x5a91f73, 0x5a98ef9, 0x5a98fb9, 0x5a991df, 0x5a991f7, 0x5a9df19, 0x5a9df23, 0x5a9f719, 0x5a9f723,
0x5b8c9f5, 0x5b8cfa9, 0x5b8fa99, 0x5b91f53, 0x5b931f5, 0x5b93ea3, 0x5b98fa9, 0x5b9f523, 0x5ba8c9f, 0x5ba8f93, 0x5ba919f, 0x5ba91f3, 0x5ba98f9, 0x5ba991f, 0x5ba9f19, 0x5ba9f23,
0x5be3275, 0x5be33a9, 0x5be3a99, 0x5be4753, 0x5be4c75, 0x5be4ea3, 0x5be63a9, 0x5be7523, 0x5bea327, 0x5bea393, 0x5bea467, 0x5bea473, 0x5bea639, 0x5bea647, 0x5bea719, 0x5bea723,
0x5c64fb5, 0x5c67da9, 0x5c6a7d9, 0x5c6c9f5, 0x5c6cfa9, 0x5c7d4d9, 0x5c7d935, 0x5c7d9a9, 0x5c7da99, 0x5c8d4fb, 0x5c8fa9b, 0x5c8fb53, 0x5c98fb5, 0x5c9a8fb, 0x5c9b1f5, 0x5c9f51b,
0x5c9f635, 0x5c9f6a3, 0x5cc7da9, 0x5cd48fb, 0x5cd8fa9, 0x5cfa91b, 0x5cfb1a9, 0x5cfb523, 0x5d46c9f, 0x5d47c9b, 0x5d48d9f, 0x5d48f9b, 0x5d4d8f9, 0x5d4d91f, 0x5d4f8d9, 0x5d4f91b,
0x5d8d4f9, 0x5d8f935, 0x5d8f9a9, 0x5d91a9f, 0x5d9351f, 0x5d93e35, 0x5d9a91f, 0x5d9f1a9, 0x5da8c9f, 0x5da8f93, 0x5da919f, 0x5da91f3, 0x5da98f9, 0x5da991f, 0x5da9f19, 0x5da9f23,
0x5f193b5, 0x5f19da9, 0x5f1a9d9, 0x5f1b275, 0x5f1b3a9, 0x5f1d4d9, 0x5f1d935, 0x5f1d9a9, 0x5f1da99, 0x5f2353b, 0x5f23a9b, 0x5f23b53, 0x5f263b5, 0x5f26a3b, 0x5f26c75, 0x5f2751b,
0x5f27635, 0x5f276a3, 0x5f31da9, 0x5f3523b, 0x5f363a9, 0x5f3a91b, 0x5f3b1a9, 0x5f3b523, 0x5f51b27, 0x5f51c9b, 0x5f52367, 0x5f5239b, 0x5f53639, 0x5f53647, 0x5f538d9, 0x5f5391b,
0x5f63539, 0x5f63935, 0x5f639a9, 0x5f646a7, 0x5f64d47, 0x5f64e35, 0x5f66a47, 0x5f671a9, 0x5f6a327, 0x5f6a393, 0x5f6a467, 0x5f6a473, 0x5f6a639, 0x5f6a647, 0x5f6a719, 0x5f6a723,
0x6256e7d, 0x6256f9d, 0x62573ed, 0x6257ced, 0x625b9f5, 0x625be75, 0x625cfb5, 0x625f3b5, 0x6272b7d, 0x6272bed, 0x6272df5, 0x6272fb5, 0x6275be5, 0x6276be5, 0x6277cad, 0x6277cb5,
0x627cadd, 0x627caed, 0x627cb75, 0x627cbb5, 0x627d6e5, 0x627dae5, 0x627dcad, 0x627dcb5, 0x629d6f9, 0x629daf9, 0x629f5b9, 0x629f6b9, 0x62b4ef9, 0x62b4fb9, 0x62b727d, 0x62b73e9,
0x62b74f9, 0x62b7c9d, 0x62b7ce9, 0x62b7d39, 0x62b93ed, 0x62b9f69, 0x62bb4f9, 0x62be4ed, 0x62be769, 0x62bed39, 0x62d4ef9, 0x62d4fb9, 0x62dc9f5, 0x62dcfa9, 0x62dd4f9, 0x62df275,
0x62df3a9, 0x62df539, 0x62e4fb5, 0x62e7da9, 0x62ed4f9, 0x62f93b5, 0x62f9da9, 0x62fb539, 0x6453adf, 0x6453b5f, 0x6453eb7, 0x6453ed7, 0x64569df, 0x64569f7, 0x6456e9f, 0x6456fa7,
0x645769f, 0x6457da7, 0x645a9df, 0x645a9f7, 0x645ba9f, 0x645bea7, 0x645da9f, 0x645f6a7, 0x64e2b7d, 0x64e2bed, 0x64e2df5, 0x64e2fb5, 0x64e8adf, 0x64ea2df, 0x64eb7c5, 0x64ed15f,
0x64ed45f, 0x64ed7c5, 0x64ef8ad, 0x64ef8b5, 0x64f8add, 0x64f8aed, 0x64f8b75, 0x64f8bb5, 0x64fa2b7, 0x64fa8b7, 0x64fadc5, 0x64fb457, 0x64fb517, 0x64fb5c5, 0x64fb8ad, 0x64fb8b5,
0x6513adf, 0x6513b5f, 0x6513eb7, 0x6513ed7, 0x653adf1, 0x653b5f1, 0x653eb71, 0x653ed71, 0x65689df, 0x65689f7, 0x6569df1, 0x6569f71, 0x656e27d, 0x656e89f, 0x656e9f1, 0x656f89d,
0x656fa27, 0x656fa71, 0x65713ed, 0x657689f, 0x65769f1, 0x657c4ed, 0x657da27, 0x657da71, 0x65a89df, 0x65a89f7, 0x65a9df1, 0x65a9f71, 0x65b89f5, 0x65ba89f, 0x65ba9f1, 0x65be275,
0x65bea27, 0x65bea71, 0x65c4fb5, 0x65da89f, 0x65da9f1, 0x65f13b5, 0x65f6a27, 0x65f6a71, 0x6712b7d, 0x6712bed, 0x6712df5, 0x6712fb5, 0x6715be9, 0x6715f69, 0x6716fa9, 0x6717da9,
0x6744adf, 0x6748adf, 0x674adf1, 0x67512df, 0x67522df, 0x6752df1, 0x675be25, 0x675be29, 0x676895f, 0x676915f, 0x67695f1, 0x676a25f, 0x676a45f, 0x676a5f1, 0x676be25, 0x676be29,
0x677c4ad, 0x677c4b5, 0x677c569, 0x677c5a9, 0x67c4add, 0x67c4aed, 0x67c4b75, 0x67c4bb5, 0x67c56e9, 0x67c5769, 0x67c5ba9, 0x67c5da9, 0x67d12b7, 0x67d22b7, 0x67d2b71, 0x67d44b7,
0x67d48b7, 0x67d4b71, 0x67d6e25, 0x67d6e29, 0x67da257, 0x67da457, 0x67da571, 0x67da897, 0x67da917, 0x67da971, 0x67dae25, 0x67dae29, 0x67dc4ad, 0x67dc4b5, 0x67dc569, 0x67dc5a9,
0x68959df, 0x68959f7, 0x6895cfb, 0x6895d9f, 0x6895f3b, 0x6895f67, 0x689cafb, 0x689d95f, 0x689df2b, 0x689f2bb, 0x689f657, 0x689f72b, 0x68ac9df, 0x68ac9f7, 0x68ae4fb, 0x68aec9f,
0x68af93b, 0x68afb27, 0x69159df, 0x69159f7, 0x6915cfb, 0x6915d9f, 0x6915f3b, 0x6915f67, 0x6959df1, 0x6959f71, 0x695cfb1, 0x695d9f1, 0x695f3b1, 0x695f671, 0x69c57d9, 0x69c8afb,
0x69cafb1, 0x69d8af9, 0x69d915f, 0x69d95f1, 0x69df159, 0x69df22b, 0x69df2b1, 0x69f15d9, 0x69f22bb, 0x69f2bb1, 0x69f62b9, 0x69f6457, 0x69f6571, 0x69f7159, 0x69f722b, 0x69f72b1,
0x6a259df, 0x6a259f7, 0x6a25cfb, 0x6a25d9f, 0x6a25f3b, 0x6a25f67, 0x6a272fb, 0x6a2765f, 0x6a277cb, 0x6a27cbb, 0x6a27d97, 0x6a27dcb, 0x6a2c9df, 0x6a2c9f7, 0x6a2e4fb, 0x6a2ec9f,
0x6a2f93b, 0x6a2fb27, 0x6a459df, 0x6a459f7, 0x6a45cfb, 0x6a45d9f, 0x6a45f3b, 0x6a45f67, 0x6a59df1, 0x6a59f71, 0x6a5cfb1, 0x6a5d9f1, 0x6a5f3b1, 0x6a5f671, 0x6a717d9, 0x6a722fb,
0x6a72fb1, 0x6a762f9, 0x6a7645f, 0x6a765f1, 0x6a77c59, 0x6a77c8b, 0x6a77cb1, 0x6a7c5d9, 0x6a7c8bb, 0x6a7cbb1, 0x6a7d8b9, 0x6a7d917, 0x6a7d971, 0x6a7dc59, 0x6a7dc8b, 0x6a7dcb1,
0x6b13be5, 0x6b13ee5, 0x6b14ef9, 0x6b14fb9, 0x6b229df, 0x6b229f7, 0x6b277c5, 0x6b27dc5, 0x6b289df, 0x6b289f7, 0x6b29df1, 0x6b29f71, 0x6b3be25, 0x6b3be29, 0x6b3ee25, 0x6b3ee29,
0x6b89f65, 0x6b8a7d9, 0x6b914fb, 0x6b93ec5, 0x6b944fb, 0x6b94fb1, 0x6b9f625, 0x6b9f629, 0x6bb13e5, 0x6bb14f9, 0x6bb229f, 0x6bb27c5, 0x6bb289f, 0x6bb29f1, 0x6bb3e25, 0x6bb3e29,
0x6be2765, 0x6be29d9, 0x6be453b, 0x6be4ec5, 0x6be513b, 0x6be53b1, 0x6be7625, 0x6be7629, 0x6bec4e5, 0x6bec539, 0x6bec8a7, 0x6bec9c5, 0x6beca27, 0x6beca71, 0x6bece25, 0x6bece29,
0x6c4ae7d, 0x6c4af9d, 0x6c4b9f5, 0x6c4be75, 0x6c4e57d, 0x6c4e5f5, 0x6c4ebe5, 0x6c4f95d, 0x6c4f975, 0x6c4fae5, 0x6c53af9, 0x6c53eb9, 0x6c5727d, 0x6c573e9, 0x6c574f9, 0x6c57c9d,
0x6c57ce9, 0x6c57d39, 0x6c5c9f5, 0x6c5cfa9, 0x6c5d4f9, 0x6c5f275, 0x6c5f3a9, 0x6c5f539, 0x6c8a75f, 0x6c8a7d7, 0x6c8ae9f, 0x6c8afa7, 0x6c8ba9f, 0x6c8bea7, 0x6c9c57d, 0x6c9c5f5,
0x6c9d15f, 0x6c9d45f, 0x6c9d7c5, 0x6c9f15d, 0x6c9f175, 0x6c9f457, 0x6c9f517, 0x6c9f5c5, 0x6ca275f, 0x6ca27d7, 0x6ca75f1, 0x6ca7d71, 0x6cae27d, 0x6cae89f, 0x6cae9f1, 0x6caf89d,
0x6cafa27, 0x6cafa71, 0x6cb89f5, 0x6cba89f, 0x6cba9f1, 0x6cbe275, 0x6cbea27, 0x6cbea71, 0x6ce257d, 0x6ce25f5, 0x6ce2be9, 0x6ce2fa9, 0x6ce895f, 0x6ce915f, 0x6ce95f1, 0x6cea25f,
0x6cea45f, 0x6cea5f1, 0x6cebe25, 0x6cebe29, 0x6cf895d, 0x6cf8975, 0x6cf8ae9, 0x6cf8ba9, 0x6cfa257, 0x6cfa457, 0x6cfa571, 0x6cfa897, 0x6cfa917, 0x6cfa971, 0x6cfae25, 0x6cfae29,
0x6e2567d, 0x6e259f5, 0x6e27d65, 0x6e29f59, 0x6e2b27d, 0x6e2b3e9, 0x6e2c9f5, 0x6e2cfa9, 0x6e453eb, 0x6e4fa2b, 0x6e4fa8b, 0x6e4fac5, 0x6e513eb, 0x6e53eb1, 0x6e5627d, 0x6e589f5,
0x6e7d12b, 0x6e7d22b, 0x6e7d2b1, 0x6e7d44b, 0x6e7d48b, 0x6e7d4b1, 0x6e7d625, 0x6e7d629, 0x6e8959f, 0x6e89f2b, 0x6e8ac9f, 0x6e9159f, 0x6e959f1, 0x6e9f159, 0x6e9f22b, 0x6e9f2b1,
0x6ea259f, 0x6ea27cb, 0x6ea2c9f, 0x6ea459f, 0x6ea59f1, 0x6ea7c59, 0x6ea7c8b, 0x6ea7cb1, 0x6eb13e5, 0x6eb14f9, 0x6eb229f, 0x6eb27c5, 0x6eb289f, 0x6eb29f1, 0x6eb3e25, 0x6eb3e29,
0x6f8959d, 0x6f89675, 0x6f89d65, 0x6f8a759, 0x6f8ac9d, 0x6f8ace9, 0x6f8b275, 0x6f8b3a9, 0x6f914eb, 0x6f93a2b, 0x6f93a8b, 0x6f93ac5, 0x6f944eb, 0x6f94eb1, 0x6f9589d, 0x6f96275,
0x6f9d12b, 0x6f9d22b, 0x6f9d2b1, 0x6f9d44b, 0x6f9d48b, 0x6f9d4b1, 0x6f9d625, 0x6f9d629, 0x6fa2567, 0x6fa272b, 0x6fa2b27, 0x6fa4567, 0x6fa5671, 0x6fa7159, 0x6fa722b, 0x6fa72b1,
0x6fa8967, 0x6fa89cb, 0x6fa8b27, 0x6fa9167, 0x6fa9671, 0x6fa9c59, 0x6fa9c8b, 0x6fa9cb1, 0x6fac4e5, 0x6fac539, 0x6fac8a7, 0x6fac9c5, 0x6faca27, 0x6faca71, 0x6face25, 0x6face29,
0x712b37d, 0x712becd, 0x712cdf5, 0x712fb35, 0x7132b7d, 0x7132bed, 0x7132df5, 0x7132fb5, 0x7135f65, 0x713657d, 0x71365f5, 0x7137d65, 0x714d7d9, 0x714df59, 0x715937d, 0x7159be9,
0x715be99, 0x715f4d9, 0x715f64d, 0x715f669, 0x715f699, 0x7164df5, 0x7166fa9, 0x716fa99, 0x717d4d9, 0x717d935, 0x717d9a9, 0x717da99, 0x7229afb, 0x7229beb, 0x722b7d3, 0x722be9b,
0x722bed3, 0x722df53, 0x722fa9b, 0x722fb53, 0x7262b7d, 0x7262bed, 0x7262df5, 0x7262fb5, 0x7268afb, 0x726a2fb, 0x726bec5, 0x726c57d, 0x726c5f5, 0x726fa2b, 0x726fa8b, 0x726fac5,
0x7289afb, 0x7289beb, 0x729afb1, 0x729beb1, 0x72b137d, 0x72b7d13, 0x72b7d31, 0x72be89b, 0x72be9b1, 0x72bec4d, 0x72bed13, 0x72bed31, 0x72c4df5, 0x72df513, 0x72df531, 0x72fa89b,
0x72fa9b1, 0x72fb135, 0x72fb513, 0x72fb531, 0x7312b7d, 0x7312bed, 0x7312df5, 0x7312fb5, 0x7315be9, 0x7315f69, 0x7316fa9, 0x7317da9, 0x7344afb, 0x7348afb, 0x734afb1, 0x73512fb,
0x73522fb, 0x7352fb1, 0x735f625, 0x735f629, 0x736257d, 0x73625f5, 0x7362be9, 0x7362fa9, 0x737d12b, 0x737d22b, 0x737d2b1, 0x737d44b, 0x737d48b, 0x737d4b1, 0x737d625, 0x737d629,
0x744acdf, 0x744adf3, 0x744af9b, 0x744cadf, 0x744d95f, 0x744df2b, 0x74564df, 0x7456f93, 0x7457c9b, 0x748acdf, 0x748adf3, 0x748af9b, 0x74acdf1, 0x74adf31, 0x74af9b1, 0x74c56f9,
0x74c8adf, 0x74cadf1, 0x74d8af9, 0x74d915f, 0x74d95f1, 0x74df159, 0x74df22b, 0x74df2b1, 0x7512cdf, 0x7512df3, 0x7512f9b, 0x75132df, 0x751365f, 0x75137cb, 0x75164df, 0x7516f93,
0x7517c9b, 0x7522cdf, 0x7522df3, 0x7522f9b, 0x752cdf1, 0x752df31, 0x752f9b1, 0x75316f9, 0x75322df, 0x7532df1, 0x75362f9, 0x753645f, 0x75365f1, 0x7537c59, 0x7537c8b, 0x7537cb1,
0x7589be5, 0x758a6f9, 0x75914df, 0x75937c5, 0x75944df, 0x7594df1, 0x759be25, 0x759be29, 0x75be265, 0x75be299, 0x75be453, 0x75be4c5, 0x75be513, 0x75be531, 0x75be625, 0x75be629,
0x75f1365, 0x75f14d9, 0x75f229b, 0x75f26c5, 0x75f289b, 0x75f29b1, 0x75f3625, 0x75f3629, 0x76257cd, 0x7625f35, 0x7626be5, 0x7629af9, 0x762be4d, 0x762be69, 0x762f935, 0x762f9a9,
0x764535f, 0x764d15f, 0x764d45f, 0x764d7c5, 0x765135f, 0x76535f1, 0x7657c4d, 0x765f135, 0x766895f, 0x766915f, 0x76695f1, 0x766a25f, 0x766a45f, 0x766a5f1, 0x766be25, 0x766be29,
0x76895f3, 0x768995f, 0x768af93, 0x76915f3, 0x7695f31, 0x7698af9, 0x769915f, 0x76995f1, 0x76a25f3, 0x76a265f, 0x76a2f93, 0x76a45f3, 0x76a5f31, 0x76a62f9, 0x76a645f, 0x76a65f1,
0x76be265, 0x76be299, 0x76be453, 0x76be4c5, 0x76be513, 0x76be531, 0x76be625, 0x76be629, 0x77c4acd, 0x77c4b35, 0x77c4cad, 0x77c4cb5, 0x77c4d65, 0x77c5359, 0x77c564d, 0x77c5669,
0x77c5699, 0x77c5935, 0x77c59a9, 0x77c5a99, 0x77c8a6b, 0x77c8ad3, 0x77c8b53, 0x77c98ad, 0x77c98b5, 0x77c9a2b, 0x77c9a8b, 0x77c9ac5, 0x77ca26b, 0x77ca6b1, 0x77cac4d, 0x77cad13,
0x77cad31, 0x77cb135, 0x77cb513, 0x77cb531, 0x77cc4ad, 0x77cc4b5, 0x77cc569, 0x77cc5a9, 0x77cd12b, 0x77cd22b, 0x77cd2b1, 0x77cd44b, 0x77cd48b, 0x77cd4b1, 0x77cd625, 0x77cd629,
0x7c4acdd, 0x7c4aecd, 0x7c4b375, 0x7c4bb35, 0x7c4cadd, 0x7c4caed, 0x7c4cb75, 0x7c4cbb5, 0x7c4d765, 0x7c4d95d, 0x7c4d975, 0x7c4dd65, 0x7c535d9, 0x7c53759, 0x7c564dd, 0x7c566e9,
0x7c56e99, 0x7c574d9, 0x7c5764d, 0x7c57669, 0x7c57699, 0x7c59375, 0x7c59ba9, 0x7c5ba99, 0x7c5d4d9, 0x7c5d935, 0x7c5d9a9, 0x7c5da99, 0x7c8a6bb, 0x7c8a6eb, 0x7c8add3, 0x7c8ae9b,
0x7c8aed3, 0x7c8b753, 0x7c8ba9b, 0x7c8bb53, 0x7c98add, 0x7c98aed, 0x7c98b75, 0x7c98bb5, 0x7c9a2bb, 0x7c9a8bb, 0x7c9aec5, 0x7c9b15d, 0x7c9b175, 0x7c9ba2b, 0x7c9ba8b, 0x7c9bac5,
0x7ca26bb, 0x7ca26eb, 0x7ca6bb1, 0x7ca6eb1, 0x7cac4dd, 0x7cadd13, 0x7cadd31, 0x7cae89b, 0x7cae9b1, 0x7caec4d, 0x7caed13, 0x7caed31, 0x7cb1375, 0x7cb7513, 0x7cb7531, 0x7cba89b,
0x7cba9b1, 0x7cbb135, 0x7cbb513, 0x7cbb531, 0x7cc4add, 0x7cc4aed, 0x7cc4b75, 0x7cc4bb5, 0x7cc56e9, 0x7cc5769, 0x7cc5ba9, 0x7cc5da9, 0x7cd12bb, 0x7cd22bb, 0x7cd2bb1, 0x7cd44bb,
0x7cd48bb, 0x7cd4bb1, 0x7cd7625, 0x7cd7629, 0x7cd895d, 0x7cd8975, 0x7cd8ae9, 0x7cd8ba9, 0x7cdd12b, 0x7cdd22b, 0x7cdd2b1, 0x7cdd44b, 0x7cdd48b, 0x7cdd4b1, 0x7cdd625, 0x7cdd629,
0x7d12b37, 0x7d12b73, 0x7d12b9b, 0x7d132b7, 0x7d13657, 0x7d1372b, 0x7d15937, 0x7d15b93, 0x7d15c9b, 0x7d22b37, 0x7d22b73, 0x7d22b9b, 0x7d2b371, 0x7d2b731, 0x7d2b9b1, 0x7d315b9,
0x7d322b7, 0x7d32b71, 0x7d362b9, 0x7d36457, 0x7d36571, 0x7d37159, 0x7d3722b, 0x7d372b1, 0x7d44b37, 0x7d44b73, 0x7d44b9b, 0x7d44cb7, 0x7d44d97, 0x7d44dcb, 0x7d45937, 0x7d45b93,
0x7d45c9b, 0x7d48b37, 0x7d48b73, 0x7d48b9b, 0x7d4b371, 0x7d4b731, 0x7d4b9b1, 0x7d4c5b9, 0x7d4c8b7, 0x7d4cb71, 0x7d4d8b9, 0x7d4d917, 0x7d4d971, 0x7d4dc59, 0x7d4dc8b, 0x7d4dcb1,
0x7d626e5, 0x7d629b9, 0x7d64537, 0x7d64dc5, 0x7d65137, 0x7d65371, 0x7d66e25, 0x7d66e29, 0x7d6e265, 0x7d6e299, 0x7d6e453, 0x7d6e4c5, 0x7d6e513, 0x7d6e531, 0x7d6e625, 0x7d6e629,
0x7d71365, 0x7d714d9, 0x7d7229b, 0x7d726c5, 0x7d7289b, 0x7d729b1, 0x7d73625, 0x7d73629, 0x7d895cd, 0x7d89735, 0x7d89ae5, 0x7d8a6b9, 0x7d8ae4d, 0x7d8ae69, 0x7d8b935, 0x7d8b9a9,
0x7d914d7, 0x7d93457, 0x7d93517, 0x7d935c5, 0x7d944d7, 0x7d94d71, 0x7d95c4d, 0x7d97135, 0x7d9a257, 0x7d9a457, 0x7d9a571, 0x7d9a897, 0x7d9a917, 0x7d9a971, 0x7d9ae25, 0x7d9ae29,
0x7da2573, 0x7da2657, 0x7da2b93, 0x7da4573, 0x7da5731, 0x7da62b9, 0x7da6457, 0x7da6571, 0x7da8973, 0x7da8997, 0x7da8b93, 0x7da9173, 0x7da9731, 0x7da98b9, 0x7da9917, 0x7da9971,
0x7dae265, 0x7dae299, 0x7dae453, 0x7dae4c5, 0x7dae513, 0x7dae531, 0x7dae625, 0x7dae629, 0x7dc4acd, 0x7dc4b35, 0x7dc4cad, 0x7dc4cb5, 0x7dc4d65, 0x7dc5359, 0x7dc564d, 0x7dc5669,
0x7dc5699, 0x7dc5935, 0x7dc59a9, 0x7dc5a99, 0x7dc8a6b, 0x7dc8ad3, 0x7dc8b53, 0x7dc98ad, 0x7dc98b5, 0x7dc9a2b, 0x7dc9a8b, 0x7dc9ac5, 0x7dca26b, 0x7dca6b1, 0x7dcac4d, 0x7dcad13,
0x7dcad31, 0x7dcb135, 0x7dcb513, 0x7dcb531, 0x7dcc4ad, 0x7dcc4b5, 0x7dcc569, 0x7dcc5a9, 0x7dcd12b, 0x7dcd22b, 0x7dcd2b1, 0x7dcd44b, 0x7dcd48b, 0x7dcd4b1, 0x7dcd625, 0x7dcd629)
primes=(( 0,24), ( 0,27), ( 2, 0), ( 2,18), ( 3,11), ( 3,19), ( 4, 8),
( 4,17), ( 4,24), ( 4,31), ( 5, 2), ( 5, 4), ( 5, 6), ( 5,12),
( 5,16), ( 6, 0), ( 6,17), ( 6,29), ( 6,31), ( 7,11), ( 7,12),
( 7,25), ( 7,30), ( 8, 2), ( 8, 6), ( 8,16), ( 8,24), ( 9,10),
( 9,19), ( 9,21), ( 9,29), ( 10, 8), ( 10,12), ( 10,18), ( 10,22),
( 10,24), ( 11,11), ( 11,18), ( 12,16), ( 12,24), ( 12,25), ( 13,21),
( 13,23), ( 14,12), ( 14,15), ( 14,22), ( 14,27), ( 15, 2), ( 15, 6),
( 15,11), ( 15,16), ( 15,22), ( 15,28), ( 15,31), ( 16,11), ( 16,12),
( 16,17), ( 16,18), ( 17,12), ( 17,13), ( 17,24), ( 17,25), ( 17,27),
( 18, 6), ( 18,17), ( 18,21), ( 18,27), ( 19, 1), ( 19,15), ( 19,19),
( 19,27), ( 19,31), ( 20,21), ( 20,23), ( 21,14), ( 21,18), ( 21,23),
( 22, 6), ( 22, 9), ( 22,13), ( 22,23), ( 22,26), ( 22,31), ( 23, 2),
( 23,24), ( 24, 2), ( 24, 5), ( 24, 7), ( 24, 9), ( 24,27), ( 24,31),
( 25, 8), ( 25,12), ( 25,25), ( 25,28), ( 26, 8), ( 26,29), ( 27, 8),
( 27,12), ( 27,16), ( 27,26), ( 28, 6), ( 28,15), ( 28,17), ( 28,23),
( 29, 0), ( 29, 3), ( 29, 7), ( 29,17), ( 30,25), ( 31, 4), ( 31,14),
( 32, 0), ( 32,15), ( 32,20), ( 32,24), ( 32,25), ( 33,31), ( 34, 2),
( 34, 6), ( 34,14), ( 34,19), ( 34,22), ( 35, 8), ( 35,22), ( 35,31),
( 37, 2), ( 37, 9), ( 37,31), ( 38,15), ( 38,19), ( 38,23), ( 38,24),
( 38,30), ( 39, 3), ( 39,15), ( 39,19), ( 39,20), ( 40, 7), ( 40,14),
( 40,25), ( 40,27), ( 41, 2), ( 41,14), ( 41,28), ( 42,24), ( 42,27),
( 43, 9), ( 43,11), ( 43,15), ( 43,27), ( 43,28), ( 43,29), ( 44, 9),
( 44,10), ( 44,11), ( 44,12), ( 44,15), ( 44,19), ( 44,21), ( 44,26),
( 44,29), ( 45, 4), ( 45, 7), ( 45,20), ( 45,28), ( 46, 5), ( 46, 6),
( 46,11), ( 46,14), ( 46,16), ( 47, 5), ( 47, 6), ( 47,18), ( 47,20),
( 47,24), ( 48,20), ( 48,24), ( 48,25), ( 49,13), ( 49,18), ( 49,21),
( 50, 7), ( 50,12), ( 50,15), ( 50,26), ( 50,31), ( 51, 5), ( 51,14),
( 51,21), ( 52, 0), ( 52,13), ( 53, 0), ( 53, 3), ( 53, 4), ( 53, 8),
( 53,18), ( 53,19), ( 54, 6), ( 55, 8), ( 55,16), ( 55,17), ( 55,18),
( 55,25), ( 56, 8), ( 56,10), ( 56,15), ( 56,21), ( 56,30), ( 57, 9),
( 57,12), ( 57,28), ( 57,29), ( 58,29), ( 58,31), ( 59, 1), ( 59, 2),
( 59, 8), ( 59,14), ( 59,18), ( 59,28), ( 60,11), ( 60,20), ( 60,25),
( 61,12), ( 61,16), ( 61,19), ( 61,27), ( 61,29), ( 61,31), ( 62, 4),
( 62, 6), ( 62, 9), ( 62,13), ( 62,15), ( 62,19), ( 62,27), ( 63, 8),
( 63,14), ( 63,20), ( 63,30), ( 64, 8), ( 64, 9), ( 64,14), ( 64,22),
( 64,23), ( 64,24), ( 65,14), ( 65,20), ( 66,13), ( 66,16), ( 66,17),
( 66,23), ( 66,26), ( 67, 6), ( 67,17), ( 67,19), ( 67,21), ( 68, 7),
( 68, 9), ( 68,14), ( 70,15), ( 70,27), ( 70,31), ( 71,25), ( 71,28),
( 72,10), ( 72,18), ( 73, 0), ( 73, 1), ( 73,15), ( 73,17), ( 73,19),
( 73,24), ( 74,20), ( 74,25), ( 74,28), ( 75, 1), ( 75, 3), ( 75,15),
( 75,22), ( 76, 9), ( 76,23), ( 76,24), ( 77, 2), ( 77, 3), ( 77,27),
( 78, 2), ( 78, 6), ( 78,12), ( 78,14), ( 78,15), ( 78,18), ( 78,22),
( 78,25), ( 79,23), ( 80,14), ( 80,15), ( 80,21), ( 80,23), ( 80,24),
( 80,26), ( 81, 0), ( 81, 6), ( 81, 7), ( 81, 8), ( 81,10), ( 81,20),
( 81,31), ( 82, 0), ( 82, 4), ( 82, 5), ( 82, 6), ( 82,10), ( 82,16),
( 82,29), ( 82,30), ( 83, 2), ( 83, 7), ( 83, 8), ( 83,10), ( 83,31),
( 84, 1), ( 84, 4), ( 84,22), ( 84,25), ( 84,29), ( 85,11), ( 85,20),
( 86,10), ( 86,12), ( 86,13), ( 86,23), ( 86,24), ( 87,18), ( 87,21),
( 88, 0), ( 88,15), ( 88,30), ( 89, 2), ( 89,31), ( 90, 2), ( 90,18),
( 91, 3), ( 91, 6), ( 91,11), ( 91,14), ( 92, 7), ( 92,17), ( 92,20),
( 92,27), ( 92,29), ( 93, 1), ( 93, 2), ( 93,19), ( 94,22), ( 94,28),
( 94,31), ( 95,15), ( 95,17), ( 95,27), ( 95,30), ( 96,24), ( 96,28),
( 97, 2), ( 97,19), ( 98,15), ( 98,19), ( 99, 9), ( 99,11), ( 99,15),
( 99,27), ( 100, 3), ( 100,13), ( 100,15), ( 100,17), ( 101, 6), ( 101, 8),
( 101,13), ( 101,21), ( 101,30), ( 102, 9), ( 102,21), ( 102,27), ( 102,30),
( 102,31), ( 103, 4), ( 103,13), ( 103,26), ( 103,29), ( 104,30), ( 105, 7),
( 105,10), ( 105,11), ( 105,13), ( 105,15), ( 106, 6), ( 106,12), ( 106,18),
( 106,23), ( 106,29), ( 106,31), ( 107, 3), ( 107,17), ( 107,20), ( 108, 3),
( 108,16), ( 108,27), ( 109, 1), ( 109, 4), ( 109,13), ( 109,16), ( 109,22),
( 109,27), ( 109,29), ( 110,12), ( 110,14), ( 110,19), ( 110,25), ( 110,31),
( 111,15), ( 112,26), ( 112,27), ( 113, 6), ( 113, 7), ( 113,11), ( 113,14),
( 113,19), ( 113,22), ( 113,24), ( 114, 0), ( 114, 4), ( 114,10), ( 114,12),
( 114,15), ( 114,16), ( 114,21), ( 115, 0), ( 115,16), ( 115,23), ( 115,27),
( 115,29), ( 116,13), ( 116,20), ( 116,21), ( 117,10), ( 117,12), ( 117,22),
( 117,29), ( 117,31), ( 118, 2), ( 118, 5), ( 118,13), ( 118,17), ( 118,21),
( 118,24), ( 118,29), ( 119,10), ( 119,22), ( 119,28), ( 120,10), ( 120,28),
( 120,31), ( 121,13), ( 121,26), ( 121,27), ( 121,29), ( 122, 9), ( 122,17),
( 122,25), ( 122,31), ( 123,13), ( 123,26), ( 123,27), ( 123,29), ( 124, 2),
( 124, 3), ( 124,10), ( 124,18), ( 124,28), ( 125, 0), ( 125, 8), ( 125,21),
( 125,22), ( 125,25), ( 126,17), ( 126,31), ( 127, 1), ( 127, 3), ( 127,13),
( 127,18), ( 127,24), ( 128, 2), ( 128, 7), ( 128,11), ( 128,24), ( 128,28),
( 128,31), ( 129, 2), ( 129,11), ( 129,15), ( 129,23), ( 129,24), ( 129,25),
( 129,26), ( 130,10), ( 130,13), ( 130,21), ( 130,26), ( 130,31), ( 131, 1),
( 131, 5), ( 131,12), ( 131,20), ( 131,22), ( 131,23), ( 132, 0), ( 132,12),
( 132,25), ( 132,29), ( 133,18), ( 133,26), ( 134, 5), ( 134,15), ( 134,27),
( 134,28), ( 134,29), ( 135, 9), ( 135,10), ( 135,14), ( 137, 5), ( 137, 9),
( 137,18), ( 137,20), ( 138,11), ( 138,20), ( 139, 3), ( 139, 4), ( 139,14),
( 139,27), ( 139,29), ( 140, 8), ( 141, 4), ( 141, 6), ( 141,18), ( 141,21),
( 141,26), ( 141,28), ( 142, 8), ( 142,10), ( 142,30), ( 143, 4), ( 143, 7),
( 143, 8), ( 143,14), ( 144,15), ( 144,27), ( 145, 2), ( 145,12), ( 145,22),
( 145,25), ( 146, 3), ( 146, 5), ( 146,15), ( 146,27), ( 146,29), ( 147,10),
( 148,10), ( 148,12), ( 148,19), ( 148,21), ( 149,13), ( 149,15), ( 149,24),
( 149,27), ( 150,21), ( 150,27), ( 151,12), ( 152,12), ( 153, 2), ( 154, 5),
( 154,13), ( 154,15), ( 154,17), ( 154,23), ( 154,27), ( 155, 9), ( 155,13),
( 155,22), ( 155,24), ( 157,19), ( 157,31), ( 158, 8), ( 158,13), ( 158,14),
( 158,15), ( 158,30), ( 159, 9), ( 159,12), ( 159,15), ( 159,17), ( 159,21),
( 159,26), ( 160,16), ( 160,17), ( 160,21), ( 160,23), ( 160,25), ( 161, 4),
( 161,13), ( 161,20), ( 161,23), ( 162,14), ( 162,25), ( 163, 1), ( 163,21),
( 163,23), ( 164, 9), ( 164,11), ( 164,14), ( 164,22), ( 164,25), ( 165, 1),
( 165, 4), ( 165,17), ( 165,20), ( 165,31), ( 166, 8), ( 166,16), ( 166,19),
( 166,31), ( 167,16), ( 167,28), ( 168, 3), ( 168, 9), ( 168,13), ( 168,21),
( 168,26), ( 169, 2), ( 169, 5), ( 169, 7), ( 169,17), ( 169,21), ( 170, 1),
( 170, 4), ( 170, 5), ( 170,15), ( 170,20), ( 171, 1), ( 171,13), ( 171,14),
( 171,20), ( 171,24), ( 172, 0), ( 172, 3), ( 172, 7), ( 172,21), ( 172,31),
( 173, 1), ( 173, 9), ( 173,11), ( 173,12), ( 173,24), ( 173,26), ( 173,29),
( 173,31), ( 174,22), ( 175, 6), ( 176, 7), ( 176, 9), ( 176,12), ( 176,28),
( 177, 2), ( 177,20), ( 177,21), ( 177,27), ( 177,30), ( 177,31), ( 178, 4),
( 178,12), ( 178,18), ( 179, 5), ( 179,10), ( 179,11), ( 179,15), ( 179,16),
( 179,19), ( 179,21), ( 179,26), ( 180,10), ( 180,26), ( 181, 1), ( 181, 5),
( 182, 4), ( 182,10), ( 182,18), ( 182,20), ( 183, 0), ( 184,17), ( 185, 6),
( 185, 7), ( 185,10), ( 185,13), ( 185,15), ( 185,16), ( 185,23), ( 185,25),
( 185,28), ( 185,29), ( 186, 7), ( 186,17), ( 186,23), ( 187, 5), ( 187, 6),
( 187,22), ( 188, 2), ( 188,12), ( 189, 0), ( 189, 6), ( 189, 8), ( 189,10),
( 189,12), ( 190, 7), ( 190,19), ( 190,21), ( 191, 5), ( 191, 9), ( 191,15),
( 192,16), ( 192,24), ( 192,26), ( 193,10), ( 193,16), ( 194, 9), ( 194,12),
( 195, 1), ( 195, 9), ( 195,10), ( 195,14), ( 195,16), ( 195,17), ( 195,27),
( 196,16), ( 196,20), ( 197,15), ( 197,25), ( 197,30), ( 198,12), ( 198,20),
( 198,23), ( 199, 2), ( 199, 4), ( 199,10), ( 199,14), ( 199,24), ( 200, 3),
( 201,10), ( 201,15), ( 201,31), ( 202, 2), ( 202, 8), ( 202,10), ( 202,14),
( 202,30), ( 202,31), ( 203,29), ( 204, 0), ( 204,18), ( 204,26), ( 205, 2),
( 205, 4), ( 205,14), ( 205,25), ( 205,29), ( 206, 5), ( 206,15), ( 206,19),
( 206,21), ( 206,26), ( 206,28), ( 207, 9), ( 207,23), ( 208, 9), ( 208,21),
( 209, 6), ( 209,12), ( 210, 6), ( 210,10), ( 210,16), ( 211, 7), ( 211,26),
( 212, 6), ( 212, 8), ( 212,16), ( 212,30), ( 213, 4), ( 213, 7), ( 213, 9),
( 213,11), ( 213,13), ( 213,18), ( 213,19), ( 213,23), ( 213,26), ( 214, 0),
( 214, 9), ( 214,19), ( 214,20), ( 214,21), ( 214,30), ( 215, 0), ( 215, 4),
( 215,20), ( 215,25), ( 215,29), ( 216, 1), ( 216, 7), ( 216,14), ( 216,23),
( 216,31), ( 217, 2), ( 217,13), ( 217,25), ( 217,30), ( 218, 3), ( 218,24),
( 218,27), ( 219, 3), ( 219,11), ( 219,12), ( 219,25), ( 220, 4), ( 220,29),
( 221, 7), ( 221,12), ( 222, 0), ( 222, 2), ( 222, 4), ( 222, 7), ( 222,10),
( 222,13), ( 222,16), ( 222,31), ( 223, 4), ( 223, 7), ( 223, 8), ( 223,21),
( 223,23), ( 224,24), ( 224,27), ( 225, 6), ( 225,24), ( 226, 2), ( 226,22),
( 226,25), ( 226,30), ( 227, 7), ( 227,16), ( 227,19), ( 228, 0), ( 228, 9),
( 229, 0), ( 229,11), ( 229,12), ( 230, 7), ( 230,20), ( 231,12), ( 231,18),
( 231,20), ( 231,26), ( 231,30), ( 231,31), ( 232,14), ( 232,30), ( 233, 3),
( 233,20), ( 233,24), ( 234,13), ( 234,20), ( 234,23), ( 235, 5), ( 235,12),
( 235,23), ( 235,28), ( 235,30), ( 236, 0), ( 236,14), ( 236,30), ( 237, 4),
( 237,10), ( 237,16), ( 237,20), ( 237,31), ( 238, 5), ( 238,17), ( 238,23),
( 239,17), ( 239,19), ( 239,21), ( 239,23), ( 239,28), ( 239,31), ( 240, 4),
( 240, 6), ( 240, 8), ( 240,23), ( 240,26), ( 240,31), ( 241, 8), ( 241,10),
( 242, 4), ( 242,17), ( 242,19), ( 242,24), ( 242,26), ( 243, 6), ( 243,11),
( 243,14), ( 243,23), ( 243,26), ( 244, 4), ( 244,10), ( 244,16), ( 244,20),
( 245, 3), ( 245, 5), ( 245, 6), ( 245,19), ( 245,23), ( 246, 0), ( 246,19),
( 247, 3), ( 247,14), ( 247,19), ( 247,23), ( 248, 3), ( 248,11), ( 248,19),
( 248,20), ( 248,29), ( 248,30), ( 249,12), ( 249,14), ( 249,25), ( 250, 2),
( 251, 0), ( 251, 1), ( 251, 8), ( 251,12), ( 251,19), ( 252,17), ( 252,19),
( 252,23), ( 252,26), ( 252,27), ( 253, 9), ( 253,17), ( 253,19), ( 253,24),
( 254, 5), ( 254, 7), ( 254,27), ( 255, 8), ( 255,10), ( 255,18), ( 256, 6),
( 256, 7), ( 256,16), ( 256,22), ( 256,28), ( 257,11), ( 257,21), ( 258, 9),
( 258,10), ( 258,13), ( 258,14), ( 258,16), ( 258,23), ( 258,28), ( 259, 5),
( 259, 6), ( 259,20), ( 259,26), ( 260, 5), ( 260, 8), ( 260,29), ( 261,11),
( 262, 5), ( 262,10), ( 262,20), ( 263, 1), ( 263, 7), ( 263,25), ( 263,30),
( 263,31), ( 264,16), ( 264,17), ( 264,18), ( 265, 2), ( 265,13), ( 265,21),
( 266, 5), ( 266,15), ( 266,24), ( 266,28), ( 267, 9), ( 267,14), ( 267,19),
( 267,20), ( 267,24), ( 268,23), ( 269, 1), ( 269, 2), ( 269, 3), ( 269, 5),
( 269,10), ( 269,20), ( 269,24), ( 269,31), ( 270, 1), ( 270, 6), ( 270,18),
( 270,23), ( 270,28), ( 271, 1), ( 271, 4), ( 271, 6), ( 271, 8), ( 271, 9),
( 271,12), ( 271,16), ( 271,20), ( 271,23), ( 271,29), ( 272, 2), ( 272, 4),
( 272, 5), ( 273, 7), ( 273,15), ( 273,17), ( 273,21), ( 275, 6), ( 275,16),
( 275,17), ( 275,18), ( 275,20), ( 276, 5), ( 276, 9), ( 276,15), ( 276,23),
( 276,29), ( 277, 7), ( 277,12), ( 277,14), ( 278, 2), ( 278,10), ( 278,11),
( 278,15), ( 278,19), ( 278,30), ( 279,17), ( 279,29), ( 280, 3), ( 280, 6),
( 280,19), ( 280,27), ( 281, 3), ( 281, 9), ( 281,12), ( 281,26), ( 282, 9),
( 282,15), ( 282,17), ( 282,23), ( 282,24), ( 282,29), ( 282,31), ( 283, 2),
( 283,21), ( 283,23), ( 283,25), ( 283,31), ( 284, 2), ( 284, 4), ( 284,12),
( 284,18), ( 284,21), ( 284,25), ( 285, 2), ( 285, 4), ( 285, 6), ( 285, 8),
( 285,16), ( 285,20), ( 285,28), ( 285,29), ( 286,12), ( 286,18), ( 286,20),
( 287, 0), ( 287, 2), ( 287,30), ( 288,10), ( 288,14), ( 288,20), ( 289,22),
( 290, 5), ( 290, 6), ( 290,10), ( 290,17), ( 290,18), ( 290,26), ( 291, 1),
( 291, 9), ( 291,10), ( 291,22), ( 291,28), ( 292,10), ( 292,21), ( 292,22),
( 292,31), ( 293, 3), ( 293, 8), ( 293,16), ( 293,26), ( 293,29), ( 294, 0),
( 294,12), ( 294,14), ( 294,15), ( 294,21), ( 295, 6), ( 295,10), ( 295,11),
( 295,16), ( 295,26), ( 296, 3), ( 296, 5), ( 296,15), ( 296,18), ( 296,31),
( 297, 7), ( 297,10), ( 297,14), ( 297,18), ( 297,22), ( 297,28), ( 297,30),
( 298,23), ( 299, 2), ( 299, 5), ( 299, 6), ( 299, 8), ( 299,16), ( 299,18),
( 299,23), ( 299,28), ( 300,15), ( 300,18), ( 301,13), ( 301,17), ( 301,27),
( 302, 9), ( 302,18), ( 302,19), ( 302,29), ( 303, 0), ( 303, 2), ( 303, 4),
( 303, 6), ( 303,18), ( 303,30), ( 304, 0), ( 304, 8), ( 304,11), ( 304,12),
( 304,15), ( 304,27), ( 304,29), ( 305,11), ( 305,26), ( 306, 6), ( 306,12),
( 306,16), ( 306,28), ( 307, 0), ( 307,11), ( 307,15), ( 307,25), ( 308,13),
( 308,19), ( 309,20), ( 309,22), ( 309,23), ( 309,25), ( 310, 2), ( 310, 6),
( 310,10), ( 310,25), ( 311,10), ( 311,17), ( 312, 8), ( 312,12), ( 312,16),
( 312,20), ( 313, 7), ( 313, 8), ( 313,27), ( 314,10), ( 315, 3), ( 315,16),
( 315,18), ( 315,24), ( 316, 5), ( 316,12), ( 316,18), ( 316,28), ( 317,12),
( 317,16), ( 318,23), ( 319, 3), ( 319, 4), ( 319, 9), ( 319,15), ( 319,21),
( 319,23), ( 319,28), ( 320,18), ( 320,24), ( 320,28), ( 321, 8), ( 321,11),
( 321,16), ( 321,19), ( 322,10), ( 322,12), ( 322,16), ( 322,25), ( 323, 5),
( 323,12), ( 323,13), ( 323,20), ( 323,23), ( 323,24), ( 323,26), ( 324, 8),
( 324,10), ( 324,16), ( 324,18), ( 324,19), ( 324,25), ( 325, 0), ( 325,12),
( 325,17), ( 325,20), ( 325,29), ( 325,31), ( 326,10), ( 326,18), ( 326,28),
( 327, 5), ( 327, 7), ( 327,13), ( 327,15), ( 327,20), ( 327,22), ( 328,10),
( 328,11), ( 328,12), ( 328,19), ( 328,31), ( 329, 7), ( 329, 9), ( 329,24),
( 330, 4), ( 330, 7), ( 330,10), ( 330,12), ( 330,21), ( 330,24), ( 330,25),
( 330,29), ( 331, 3), ( 331, 4), ( 331,19), ( 331,30), ( 331,31), ( 332, 0),
( 332, 4), ( 332,14), ( 332,20), ( 332,23), ( 332,26), ( 333, 3), ( 333,11),
( 333,18), ( 333,19), ( 334,19), ( 337,17), ( 337,20), ( 337,23), ( 338,17),
( 339, 0), ( 339,12), ( 340,13), ( 341, 0), ( 341, 1), ( 341,18), ( 341,24),
( 341,28), ( 342, 5), ( 342,13), ( 343, 7), ( 343,27), ( 344, 1), ( 344, 2),
( 344, 3), ( 344,15), ( 344,25), ( 345, 0), ( 345,11), ( 345,19), ( 345,22),
( 345,30), ( 346, 8), ( 346,18), ( 346,21), ( 346,23), ( 346,28), ( 346,30),
( 347, 0), ( 347,14), ( 347,18), ( 347,29), ( 347,30), ( 348, 5), ( 348,10),
( 348,16), ( 349, 6), ( 349, 7), ( 349,11), ( 349,13), ( 350,14), ( 350,21),
( 350,22), ( 350,28), ( 351, 1), ( 351, 7), ( 351, 8), ( 351,14), ( 351,17),
( 351,20), ( 351,23), ( 351,26), ( 351,27), ( 352, 2), ( 352, 4), ( 352, 7),
( 352,31), ( 353, 2), ( 353,21), ( 354, 8), ( 355, 0), ( 355, 6), ( 355,16),
( 355,17), ( 356,13), ( 356,23), ( 357, 1), ( 357,13), ( 357,24), ( 357,26),
( 358, 8), ( 358,13), ( 358,25), ( 358,31), ( 359, 3), ( 359, 8), ( 359,11),
( 359,20), ( 359,27), ( 359,30), ( 361, 3), ( 361, 6), ( 361,21), ( 362,10),
( 362,11), ( 362,15), ( 362,21), ( 362,23), ( 363, 0), ( 363,15), ( 363,27),
( 364, 1), ( 364,16), ( 364,22), ( 364,29), ( 365,15), ( 365,22), ( 365,29),
( 366, 3), ( 366, 9), ( 366,22), ( 366,30), ( 367, 3), ( 367,30), ( 368, 5),
( 368, 9), ( 368,13), ( 368,20), ( 368,24), ( 368,29), ( 369, 4), ( 369, 6),
( 369,10), ( 369,12), ( 369,17), ( 369,18), ( 369,23), ( 370, 6), ( 370,13),
( 370,14), ( 370,19), ( 370,22), ( 371,15), ( 371,19), ( 372,14), ( 372,20),
( 372,26), ( 373, 6), ( 373,10), ( 373,19), ( 373,23), ( 373,29), ( 374, 0),
( 374,18), ( 374,21), ( 374,22), ( 375,16), ( 375,19), ( 375,26), ( 376, 7),
( 376, 9), ( 376,12), ( 376,20), ( 376,26), ( 376,29), ( 377, 1), ( 377,23),
( 377,29), ( 378,10), ( 378,16), ( 378,20), ( 378,25), ( 378,27), ( 379,12),
( 379,14), ( 379,26), ( 379,31), ( 381,15), ( 381,16), ( 381,19), ( 381,22),
( 381,27), ( 381,28), ( 383, 2), ( 383, 4), ( 383, 9), ( 383,12), ( 383,21),
( 384, 5), ( 384, 7), ( 384,10), ( 384,12), ( 384,14), ( 384,16), ( 384,19),
( 385, 6), ( 385,26), ( 385,29), ( 386,16), ( 387, 7), ( 387, 9), ( 387,12),
( 387,15), ( 388,12), ( 388,14), ( 388,22), ( 389, 5), ( 389,10), ( 389,23),
( 390, 1), ( 390, 2), ( 390,11), ( 390,23), ( 390,27), ( 391, 9), ( 391,28),
( 391,29), ( 392, 6), ( 392,12), ( 392,14), ( 392,25), ( 393, 8), ( 393, 9),
( 394, 3), ( 394, 5), ( 394, 7), ( 395,11), ( 396,24), ( 397, 3), ( 397, 7),
( 397,11), ( 397,19), ( 397,26), ( 397,28), ( 398,14), ( 398,25), ( 398,31),
( 399,12), ( 399,14), ( 399,15), ( 400,13), ( 400,25), ( 401, 2), ( 401,21),
( 402, 5), ( 402, 6), ( 402, 8), ( 402,22), ( 402,31), ( 403, 7), ( 403, 8),
( 403,15), ( 403,29), ( 404, 0), ( 404, 7), ( 404,10), ( 404,14), ( 404,22),
( 404,23), ( 404,31), ( 405, 5), ( 405,10), ( 405,15), ( 405,20), ( 405,23),
( 406, 7), ( 406, 9), ( 406,14), ( 406,15), ( 407,16), ( 407,25), ( 407,31),
( 408, 2), ( 408,12), ( 408,17), ( 408,20), ( 409, 2), ( 409, 9), ( 409,13),
( 409,30), ( 410, 5), ( 410, 7), ( 410,18), ( 411, 1), ( 411, 6), ( 411,14),
( 411,19), ( 411,25), ( 411,27), ( 411,28), ( 412, 5), ( 412,24), ( 413,10),
( 413,18), ( 413,28), ( 414,14), ( 414,22), ( 415, 8), ( 415,24), ( 416, 3),
( 416,17), ( 416,25), ( 417, 9), ( 417,13), ( 417,29), ( 418, 2), ( 418, 5),
( 418, 9), ( 418,11), ( 418,13), ( 418,27), ( 419, 0), ( 419, 8), ( 419,23),
( 419,25), ( 420, 1), ( 420, 6), ( 420, 7), ( 420,13), ( 421, 6), ( 421,18),
( 421,20), ( 421,30), ( 422, 4), ( 422, 6), ( 422,10), ( 422,18), ( 422,25),
( 423, 2), ( 423, 6), ( 423, 9), ( 423,11), ( 423,15), ( 424,25), ( 424,27),
( 424,29), ( 425,24), ( 425,27), ( 426,13), ( 426,26), ( 426,27), ( 427, 3),
( 427, 5), ( 427, 7), ( 427,14), ( 427,20), ( 427,22), ( 427,26), ( 427,27),
( 428, 2), ( 428, 6), ( 428,20), ( 429, 0), ( 429, 6), ( 429,21), ( 430, 6),
( 430,26), ( 431, 6), ( 431, 8), ( 431,27), ( 432, 0), ( 432, 6), ( 432,30),
( 433, 0), ( 433, 5), ( 433, 6), ( 433,29), ( 433,31), ( 434, 3), ( 434,12),
( 434,21), ( 435, 5), ( 435,22), ( 435,24), ( 435,31), ( 436, 6), ( 436,17),
( 436,18), ( 436,30), ( 437, 3), ( 437, 5), ( 437, 7), ( 437,18), ( 437,19),
( 437,24), ( 437,29), ( 438,13), ( 438,18), ( 438,23), ( 439,12), ( 440, 0),
( 440,12), ( 440,14), ( 440,23), ( 440,25), ( 441,14), ( 441,18), ( 441,30),
( 442, 8), ( 442,10), ( 442,14), ( 443, 7), ( 443,16), ( 443,26), ( 443,29),
( 443,31), ( 444, 1), ( 444,17), ( 445, 3), ( 445, 6), ( 445,17), ( 445,20),
( 446, 3), ( 446,20), ( 446,27), ( 447,12), ( 447,14), ( 447,17), ( 447,31),
( 448, 1), ( 448, 4), ( 448, 6), ( 448,10), ( 448,11), ( 449, 8), ( 449, 9),
( 449,16), ( 449,20), ( 449,25), ( 449,28), ( 450, 8), ( 450, 9), ( 450,10),
( 450,26), ( 451, 7), ( 451,21), ( 452, 9), ( 452,11), ( 452,16), ( 452,19),
( 452,24), ( 452,28), ( 453,10), ( 453,12), ( 453,20), ( 453,27), ( 453,31),
( 454,26), ( 454,28), ( 455,15), ( 455,16), ( 455,21), ( 455,22), ( 455,25),
( 455,28), ( 456, 1), ( 456, 4), ( 456,23), ( 456,27), ( 457,14), ( 457,18),
( 457,20), ( 457,26), ( 458, 7), ( 458,10), ( 458,14), ( 458,15), ( 458,17),
( 458,29), ( 459, 9), ( 459,19), ( 459,23), ( 460,18), ( 460,28), ( 460,29),
( 461,17), ( 461,31), ( 462,21), ( 462,25), ( 463,15), ( 463,22), ( 463,24),
( 463,27), ( 464, 0), ( 464, 3), ( 464, 7), ( 464, 8), ( 464,19), ( 464,24),
( 464,25), ( 465, 1), ( 465, 2), ( 465,14), ( 465,19), ( 465,21), ( 465,25),
( 466, 8), ( 466,16), ( 466,17), ( 466,27), ( 467, 0), ( 468, 2), ( 468, 7),
( 468,20), ( 469,17), ( 469,31), ( 470, 1), ( 470,10), ( 470,15), ( 470,27),
( 470,29), ( 471, 5), ( 471,10), ( 471,17), ( 471,20), ( 471,31), ( 472,12),
( 473,10), ( 473,24), ( 474,16), ( 474,22), ( 474,26), ( 475, 0), ( 475, 1),
( 475,20), ( 475,25), ( 475,28), ( 476,13), ( 476,16), ( 476,30), ( 477, 1),
( 477, 4), ( 477,23), ( 478, 3), ( 478, 5), ( 478, 9), ( 478,11), ( 478,15),
( 478,22), ( 478,23), ( 479, 2), ( 479,10), ( 480, 2), ( 480,21), ( 481,17),
( 481,25), ( 482, 8), ( 482,14), ( 482,16), ( 482,30), ( 483, 8), ( 484, 3),
( 484, 7), ( 484,27), ( 485, 4), ( 485,10), ( 485,12), ( 485,17), ( 485,18),
( 486, 6), ( 486,12), ( 486,14), ( 487, 2), ( 487, 7), ( 487,17), ( 487,26),
( 488,16), ( 488,17), ( 488,22), ( 488,28), ( 488,29), ( 489,19), ( 489,21),
( 489,24), ( 489,28), ( 489,29), ( 490, 5), ( 490, 9), ( 490,18), ( 491, 1),
( 491, 3), ( 491, 4), ( 491, 5), ( 491,17), ( 491,25), ( 491,28), ( 492, 2),
( 492, 5), ( 492,10), ( 492,21), ( 492,27), ( 492,29), ( 493,15), ( 493,24),
( 494, 1), ( 494,10), ( 494,16), ( 494,19), ( 494,30), ( 495,12), ( 495,30),
( 496, 8), ( 496, 9), ( 496,10), ( 496,15), ( 496,26), ( 496,29), ( 496,30),
( 497, 1), ( 497,26), ( 498, 9), ( 498,15), ( 498,24), ( 498,27), ( 499, 4),
( 499, 7), ( 499, 8), ( 499,14), ( 499,23), ( 500, 9), ( 500,28), ( 500,31),
( 501, 1), ( 501, 9), ( 501,12), ( 501,15), ( 501,21), ( 501,24), ( 501,26),
( 502, 1), ( 502, 4), ( 502, 6), ( 502,16), ( 502,28), ( 503, 0), ( 503,18),
( 504, 0), ( 504,12), ( 504,18), ( 504,25), ( 504,28), ( 505,21), ( 505,31),
( 506,10), ( 506,12), ( 506,21), ( 506,27), ( 507, 0), ( 507, 6), ( 507, 8),
( 507,17), ( 508, 3), ( 508,10), ( 508,11), ( 508,23), ( 508,26), ( 508,27),
( 509, 8), ( 509,11), ( 509,19), ( 509,22), ( 510, 1), ( 510, 2), ( 510, 8),
( 510,26), ( 510,30), ( 511, 0), ( 511, 8), ( 512, 7), ( 512,13), ( 512,19),
( 512,22), ( 513, 9), ( 513,12), ( 513,15), ( 513,29), ( 514,13), ( 514,21),
( 514,27), ( 514,29), ( 515, 0), ( 515, 7), ( 515, 9), ( 515,11), ( 515,17),
( 515,22), ( 516, 1), ( 516,24), ( 517, 4), ( 517,11), ( 517,12), ( 517,15),
( 517,20), ( 517,27), ( 518, 4), ( 518,14), ( 518,26), ( 519,18), ( 519,23),
( 520, 4), ( 520, 9), ( 521, 7), ( 521,10), ( 522, 2), ( 522,15), ( 522,20),
( 522,22), ( 522,28), ( 523,13), ( 523,23), ( 523,24), ( 524, 0), ( 524, 2),
( 525, 1), ( 525, 3), ( 525, 9), ( 525,13), ( 525,24), ( 526,15), ( 526,17),
( 526,19), ( 526,23), ( 526,24), ( 526,26), ( 526,27), ( 526,31), ( 527, 4),
( 527,14), ( 527,20), ( 527,22), ( 529, 1), ( 529, 3), ( 529,21), ( 529,22),
( 529,27), ( 530, 8), ( 531, 3), ( 531, 6), ( 531,12), ( 531,18), ( 531,21),
( 532, 5), ( 532,21), ( 532,24), ( 532,26), ( 532,30), ( 533,20), ( 533,29),
( 534,20), ( 535, 1), ( 535, 7), ( 535,14), ( 535,16), ( 535,22), ( 536,14),
( 536,17), ( 536,27), ( 537, 4), ( 537, 6), ( 537, 7), ( 537,14), ( 538, 1),
( 538, 3), ( 538,12), ( 538,25), ( 538,27), ( 538,28), ( 540, 7), ( 540,14),
( 540,21), ( 540,22), ( 540,25), ( 540,28), ( 540,31), ( 541, 3), ( 541,16),
( 541,23), ( 541,26), ( 542, 2), ( 542, 4), ( 542, 6), ( 542,12), ( 542,20),
( 542,22), ( 542,27), ( 543,19), ( 543,27), ( 543,31), ( 544, 5), ( 545, 5),
( 545, 7), ( 545,11), ( 546, 3), ( 546, 5), ( 546, 6), ( 546,11), ( 546,13),
( 546,19), ( 547, 3), ( 547, 5), ( 547,17), ( 548, 6), ( 548,25), ( 548,28),
( 548,31), ( 549, 9), ( 549,28), ( 549,30), ( 550, 3), ( 550,11), ( 551,14),
( 551,17), ( 551,19), ( 552, 4), ( 552,18), ( 552,31), ( 553,20), ( 554,12),
( 555, 0), ( 555,10), ( 555,12), ( 555,13), ( 555,17), ( 555,18), ( 555,23),
( 555,26), ( 556,13), ( 556,18), ( 556,19), ( 556,27), ( 557, 2), ( 557,20),
( 557,23), ( 557,25), ( 557,31), ( 558, 1), ( 558,14), ( 559, 0), ( 559, 4),
( 559,14), ( 559,22), ( 559,26), ( 560,10), ( 560,21), ( 561, 2), ( 561, 6),
( 561,18), ( 561,26), ( 562, 5), ( 562, 9), ( 562,19), ( 563,12), ( 563,14),
( 563,20), ( 565,14), ( 565,20), ( 566, 5), ( 566,11), ( 566,15), ( 566,19),
( 566,27), ( 567, 3), ( 567,13), ( 567,15), ( 567,19), ( 567,20), ( 568, 2),
( 568, 4), ( 568, 8), ( 568, 9), ( 568,22), ( 568,28), ( 569, 0), ( 569,10),
( 569,13), ( 569,18), ( 569,19), ( 569,21), ( 569,23), ( 570, 5), ( 570, 9),
( 570,20), ( 570,29), ( 571, 4), ( 571,15), ( 571,29), ( 571,31), ( 572, 3),
( 572,15), ( 572,28), ( 573, 1), ( 573, 3), ( 573,19), ( 573,22), ( 573,23),
( 573,27), ( 574,14), ( 574,29), ( 575, 1), ( 575, 7), ( 575,19), ( 576, 1),
( 576, 5), ( 576, 7), ( 576,17), ( 577,10), ( 577,11), ( 577,22), ( 578, 9),
( 578,16), ( 578,19), ( 578,20), ( 578,22), ( 579, 6), ( 579, 7), ( 579,14),
( 580, 7), ( 580,11), ( 580,15), ( 581,12), ( 581,18), ( 581,29), ( 582, 8),
( 582,16), ( 582,23), ( 582,28), ( 582,31), ( 583, 7), ( 583,19), ( 583,23),
( 583,30), ( 584,20), ( 585, 9), ( 585,13), ( 585,14), ( 585,19), ( 585,21),
( 585,29), ( 586, 2), ( 586,11), ( 586,31), ( 587,22), ( 588, 2), ( 588,26),
( 589, 6), ( 589,21), ( 590, 1), ( 590,15), ( 590,18), ( 590,19), ( 590,23),
( 590,29), ( 591, 0), ( 591,22), ( 592, 1), ( 592, 2), ( 592, 8), ( 592, 9),
( 592,13), ( 592,21), ( 594,31), ( 595, 4), ( 595,15), ( 595,18), ( 595,26),
( 596, 5), ( 596,14), ( 597,20), ( 597,24), ( 597,30), ( 598, 4), ( 598,18),
( 598,27), ( 599,24), ( 600, 0), ( 600,23), ( 601,16), ( 602,14), ( 602,21),
( 602,29), ( 603, 5), ( 603,10), ( 603,21), ( 604, 0), ( 604, 9), ( 604,11),
( 604,12), ( 604,14), ( 604,22), ( 604,28), ( 605,14), ( 605,22), ( 605,30),
( 606, 7), ( 606,19), ( 606,21), ( 606,24), ( 606,27), ( 607, 4), ( 607, 9),
( 608,11), ( 608,12), ( 608,27), ( 609, 1), ( 609,16), ( 609,18), ( 609,23),
( 610, 2), ( 610,21), ( 610,22), ( 610,25), ( 610,28), ( 611, 9), ( 611,16),
( 611,24), ( 611,29), ( 612, 2), ( 612, 4), ( 612,12), ( 612,22), ( 612,31),
( 613, 0), ( 613, 4), ( 613, 6), ( 613, 8), ( 614, 3), ( 614, 9), ( 615, 0),
( 615, 7), ( 615,13), ( 615,16), ( 615,22), ( 615,27), ( 615,29), ( 616,22),
( 617, 9), ( 617,17), ( 617,21), ( 618,15), ( 618,28), ( 619, 9), ( 619,27),
( 620, 0), ( 620,17), ( 620,22), ( 620,25), ( 620,28), ( 621, 6), ( 622, 2),
( 622, 5), ( 622,19), ( 622,21), ( 623,22), ( 623,25), ( 624, 0), ( 624, 1),
( 624, 2), ( 624,21), ( 625,19), ( 625,21), ( 625,23), ( 626,10), ( 626,23),
( 627, 8), ( 627,13), ( 627,18), ( 627,22), ( 628, 7), ( 629, 9), ( 629,24),
( 629,26), ( 629,28), ( 629,29), ( 630,12), ( 630,20), ( 631,20), ( 632, 8),
( 632,13), ( 632,18), ( 632,22), ( 632,24), ( 632,27), ( 633, 2), ( 633, 4),
( 633, 6), ( 633,20), ( 633,28), ( 634, 3), ( 634, 9), ( 634,16), ( 634,20),
( 634,28), ( 635,12), ( 635,17), ( 635,22), ( 636, 0), ( 636, 1), ( 636,21),
( 636,22), ( 637, 1), ( 637, 3), ( 637, 7), ( 637,17), ( 637,22), ( 637,24),
( 637,28), ( 638,11), ( 638,30), ( 639, 4), ( 639, 7), ( 639,15), ( 639,19),
( 639,21), ( 640, 9), ( 640,12), ( 640,13), ( 640,24), ( 641, 0), ( 641, 8),
( 641,28), ( 642, 0), ( 642, 7), ( 642,11), ( 642,14), ( 642,19), ( 642,23),
( 642,24), ( 642,31), ( 643, 9), ( 643,15), ( 643,17), ( 643,18), ( 643,21),
( 643,23), ( 644, 5), ( 644, 7), ( 644,12), ( 644,14), ( 644,29), ( 645, 8),
( 645,16), ( 645,18), ( 645,22), ( 646, 0), ( 646, 4), ( 646, 6), ( 646, 8),
( 646,18), ( 646,21), ( 647, 4), ( 647,10), ( 647,13), ( 647,20), ( 648, 0),
( 648, 7), ( 648,12), ( 648,16), ( 648,17), ( 648,20), ( 649, 5), ( 649, 9),
( 649,18), ( 649,21), ( 649,31), ( 650,11), ( 650,29), ( 651, 7), ( 651,11),
( 651,13), ( 651,24), ( 651,27), ( 651,28), ( 651,31), ( 652,10), ( 652,18),
( 652,21), ( 653, 1), ( 653,11), ( 653,19), ( 654, 0), ( 654, 6), ( 654,10),
( 654,15), ( 655, 0), ( 655, 7), ( 655, 8), ( 655,10), ( 655,25), ( 655,26),
( 656, 7), ( 656,12), ( 656,14), ( 656,26), ( 657, 5), ( 657, 6), ( 657, 7),
( 657,14), ( 657,23), ( 657,27), ( 657,31), ( 658,12), ( 658,18), ( 658,22),
( 658,28), ( 659,13), ( 659,23), ( 659,27), ( 660, 8), ( 660,10), ( 660,14),
( 661, 2), ( 661,19), ( 661,26), ( 663, 2), ( 663, 4), ( 663,19), ( 663,21),
( 663,26), ( 664, 2), ( 664,10), ( 664,14), ( 664,15), ( 664,18), ( 664,22),
( 664,29), ( 664,30), ( 665, 4), ( 665,11), ( 665,13), ( 665,15), ( 665,18),
( 666, 8), ( 666,12), ( 666,30), ( 667, 2), ( 667,20), ( 668, 1), ( 668, 3),
( 668, 5), ( 668,13), ( 668,15), ( 668,17), ( 668,21), ( 668,26), ( 669,11),
( 669,13), ( 669,17), ( 670, 7), ( 670,27), ( 671, 1), ( 671, 3), ( 671, 5),
( 671,13), ( 671,20), ( 671,27), ( 672, 0), ( 672, 7), ( 672,12), ( 672,31),
( 673, 1), ( 673, 2), ( 673,12), ( 673,22), ( 674, 0), ( 674, 2), ( 674,25),
( 675, 2), ( 675,12), ( 676, 5), ( 676,16), ( 676,21), ( 677,12), ( 678, 0),
( 678, 7), ( 679, 1), ( 679, 4), ( 679, 5), ( 679,17), ( 680, 6), ( 680,16),
( 680,18), ( 680,22), ( 681, 5), ( 681, 7), ( 681, 8), ( 681,24), ( 681,26),
( 682, 4), ( 682, 7), ( 682,14), ( 682,28), ( 683,10), ( 683,16), ( 684, 7),
( 684, 9), ( 684,13), ( 684,21), ( 684,26), ( 685, 1), ( 685, 7), ( 685, 8),
( 685,10), ( 685,17), ( 685,21), ( 685,24), ( 685,26), ( 686, 2), ( 686, 9),
( 686,27), ( 686,29), ( 686,30), ( 687,10), ( 687,22), ( 688, 5), ( 688,12),
( 688,22), ( 688,28), ( 689, 7), ( 689,19), ( 689,23), ( 690, 9), ( 690,15),
( 690,17), ( 690,23), ( 690,30), ( 691, 0), ( 691, 5), ( 691,14), ( 691,20),
( 692, 4), ( 692,12), ( 692,28), ( 693, 2), ( 693, 9), ( 693,10), ( 693,19),
( 693,22), ( 693,23), ( 693,29), ( 693,31), ( 694, 5), ( 694,16), ( 694,30),
( 695, 9), ( 695,13), ( 696, 6), ( 696,25), ( 697, 2), ( 697, 7), ( 697, 8),
( 697,14), ( 697,18), ( 697,24), ( 697,29), ( 698, 5), ( 698, 9), ( 698,11),
( 698,15), ( 698,19), ( 698,29), ( 699,30), ( 700,12), ( 700,15), ( 700,26),
( 700,27), ( 701, 3), ( 701, 7), ( 701,21), ( 701,24), ( 701,27), ( 702, 6),
( 702, 9), ( 703,16), ( 703,18), ( 703,22), ( 704, 6), ( 704,16), ( 704,25),
( 704,28), ( 705, 5), ( 705,12), ( 706, 7), ( 706,12), ( 706,13), ( 706,15),
( 706,16), ( 706,22), ( 706,29), ( 707, 2), ( 707, 4), ( 707,21), ( 708,23),
( 708,29), ( 709,23), ( 709,29), ( 710,12), ( 710,28), ( 711, 1), ( 711,11),
( 711,12), ( 711,21), ( 712, 4), ( 712,12), ( 712,14), ( 712,15), ( 712,18),
( 713, 5), ( 713, 7), ( 713,24), ( 714, 0), ( 714,16), ( 715,27), ( 716, 6),
( 716,14), ( 716,20), ( 716,22), ( 716,25), ( 716,27), ( 717, 1), ( 717,10),
( 717,13), ( 717,15), ( 717,30), ( 718, 6), ( 718, 7), ( 718,19), ( 719,13),
( 719,20), ( 719,21), ( 719,22), ( 719,27), ( 720, 6), ( 720, 9), ( 720,28),
( 721,27), ( 722,16), ( 722,22), ( 722,28), ( 723, 5), ( 723, 7), ( 723, 9),
( 723,13), ( 723,17), ( 724,22), ( 724,28), ( 724,29), ( 725,28), ( 726, 8),
( 726,13), ( 726,17), ( 727, 8), ( 727,20), ( 727,29), ( 728, 5), ( 728, 7),
( 729,21), ( 729,31), ( 730, 4), ( 730, 5), ( 730,11), ( 731,21), ( 732, 5),
( 732, 6), ( 732,11), ( 732,15), ( 732,19), ( 732,21), ( 733, 9), ( 733,30),
( 734,12), ( 734,16), ( 735, 1), ( 735, 2), ( 735,14), ( 735,18), ( 736, 6),
( 736, 7), ( 736,22), ( 736,31), ( 737, 5), ( 737,21), ( 737,29), ( 738,27),
( 739, 3), ( 739,11), ( 740, 0), ( 740, 3), ( 740,13), ( 740,15), ( 740,18),
( 740,19), ( 740,21), ( 741, 5), ( 741,15), ( 741,18), ( 741,26), ( 742, 7),
( 742,15), ( 742,26), ( 743,10), ( 743,21), ( 743,28), ( 743,31), ( 744,10),
( 744,16), ( 744,19), ( 744,20), ( 744,22), ( 744,27), ( 744,31), ( 745, 3),
( 745,24), ( 745,27), ( 746,13), ( 746,21), ( 746,23), ( 746,24), ( 747, 2),
( 747, 6), ( 747,10), ( 747,14), ( 747,18), ( 747,24), ( 747,25), ( 748, 3),
( 748, 7), ( 748,13), ( 748,18), ( 748,27), ( 749, 1), ( 749, 3), ( 749, 4),
( 749,24), ( 749,29), ( 750, 6), ( 750,11), ( 750,12), ( 750,14), ( 750,27),
( 751, 7), ( 751,23), ( 752,12), ( 752,30), ( 752,31), ( 753, 0), ( 753, 5),
( 753,12), ( 754,11), ( 755, 8), ( 755,10), ( 755,18), ( 756, 9), ( 756,16),
( 757, 2), ( 757, 5), ( 757,16), ( 757,20), ( 757,25), ( 758,10), ( 758,11),
( 758,12), ( 758,25), ( 758,28), ( 758,31), ( 759, 0), ( 759, 1), ( 759,21),
( 759,24), ( 760,21), ( 761, 2), ( 761, 4), ( 761, 7), ( 761, 9), ( 761,16),
( 762, 3), ( 762, 4), ( 762,10), ( 763, 1), ( 763, 5), ( 763,13), ( 763,19),
( 764, 2), ( 764,22), ( 765, 7), ( 765,12), ( 765,28), ( 766, 3), ( 766, 7),
( 766,10), ( 766,15), ( 767, 6), ( 767, 8), ( 767, 9), ( 767,30), ( 767,31),
( 768, 2), ( 768, 8), ( 768, 9), ( 768,12), ( 769, 6), ( 769,10), ( 769,19),
( 769,20), ( 769,22), ( 769,25), ( 770, 3), ( 770, 7), ( 770,18), ( 770,29),
( 771, 5), ( 771,10), ( 771,14), ( 771,17), ( 771,19), ( 771,21), ( 771,23),
( 772,19), ( 772,25), ( 773,21), ( 773,29), ( 774, 0), ( 774,16), ( 774,20),
( 774,25), ( 775,28), ( 776, 7), ( 776,11), ( 776,12), ( 776,24), ( 777, 0),
( 777, 4), ( 777, 8), ( 777, 9), ( 778, 5), ( 778,15), ( 778,18), ( 778,19),
( 778,20), ( 779,26), ( 779,29), ( 780, 7), ( 780,15), ( 780,24), ( 780,26),
( 781, 3), ( 781, 6), ( 781, 8), ( 781,17), ( 781,18), ( 781,22), ( 782,12),
( 782,20), ( 782,22), ( 782,28), ( 783, 6), ( 783,28), ( 784,27), ( 785, 4),
( 785, 8), ( 785,16), ( 785,20), ( 785,22), ( 785,30), ( 786, 6), ( 786, 9),
( 786,12), ( 787, 6), ( 787, 8), ( 787,16), ( 788, 4), ( 788,21), ( 789, 0),
( 789, 5), ( 789,15), ( 789,20), ( 789,24), ( 790, 0), ( 790,12), ( 790,20),
( 790,21), ( 790,25), ( 791, 3), ( 791, 5), ( 791,23), ( 791,26), ( 792,17),
( 793, 4), ( 793, 7), ( 793, 8), ( 793,11), ( 793,12), ( 793,20), ( 793,23),
( 793,25), ( 793,28), ( 793,29), ( 794, 1), ( 794, 2), ( 794, 7), ( 794,25),
( 794,28), ( 795,14), ( 795,24), ( 795,26), ( 795,27), ( 795,28), ( 796, 6),
( 796, 9), ( 796,21), ( 796,25), ( 796,30), ( 797, 4), ( 797, 5), ( 797, 8),
( 797,18), ( 798, 3), ( 798,13), ( 798,17), ( 798,21), ( 798,29), ( 799, 1),
( 799,21), ( 799,24), ( 800,13), ( 801, 0), ( 801, 5), ( 801,26), ( 801,29),
( 802,16), ( 803,17), ( 803,24), ( 803,29), ( 803,31), ( 804, 3), ( 804, 4),
( 804,26), ( 804,27), ( 804,29), ( 805, 1), ( 805, 3), ( 805,13), ( 805,23),
( 805,30), ( 806, 2), ( 806, 4), ( 806, 8), ( 806,12), ( 806,21), ( 806,29),
( 807, 2), ( 807,14), ( 807,28), ( 807,31), ( 808, 6), ( 808,10), ( 808,12),
( 808,18), ( 808,20), ( 809, 5), ( 809, 9), ( 809,17), ( 809,26), ( 809,28),
( 810, 8), ( 810, 9), ( 810,15), ( 810,24), ( 810,27), ( 811, 8), ( 811,12),
( 811,19), ( 812, 7), ( 812,21), ( 812,23), ( 812,25), ( 813, 0), ( 813,10),
( 813,18), ( 813,28), ( 813,30), ( 814, 1), ( 814, 8), ( 814,17), ( 814,28),
( 815, 1), ( 815, 3), ( 815,15), ( 816, 0), ( 816, 3), ( 816, 7), ( 816,24),
( 816,27), ( 817, 7), ( 817,15), ( 817,17), ( 818, 9), ( 818,30), ( 819,13),
( 819,14), ( 819,30), ( 820, 4), ( 820,11), ( 820,18), ( 820,20), ( 820,21),
( 820,22), ( 820,30), ( 820,31), ( 821, 6), ( 821, 9), ( 821,25), ( 821,28),
( 822, 2), ( 822, 8), ( 822, 9), ( 822,26), ( 823, 3), ( 823, 5), ( 823,27),
( 824,19), ( 824,20), ( 825, 1), ( 825, 7), ( 825, 9), ( 825,29), ( 826, 7),
( 826,17), ( 826,18), ( 826,25), ( 827,25), ( 828, 2), ( 828, 4), ( 828,14),
( 828,15), ( 828,18), ( 828,20), ( 829, 5), ( 829,18), ( 829,22), ( 830, 7),
( 830,24), ( 830,26), ( 830,29), ( 831,11), ( 831,13), ( 831,22), ( 831,26),
( 831,27), ( 832, 5), ( 832, 7), ( 832,14), ( 833, 3), ( 833,23), ( 833,24),
( 834, 8), ( 834,18), ( 834,19), ( 834,20), ( 835, 0), ( 835,12), ( 835,16),
( 835,19), ( 835,29), ( 837, 3), ( 837, 7), ( 837,21), ( 838, 4), ( 838, 6),
( 838, 8), ( 838, 9), ( 838,15), ( 838,17), ( 839, 7), ( 839,17), ( 839,26),
( 840, 9), ( 840,11), ( 840,13), ( 840,21), ( 840,26), ( 841, 0), ( 842, 9),
( 842,20), ( 842,22), ( 842,24), ( 842,27), ( 843, 4), ( 843, 7), ( 843,14),
( 843,23), ( 844,14), ( 844,18), ( 845, 7), ( 846, 5), ( 846,11), ( 846,20),
( 846,27), ( 847, 6), ( 847, 7), ( 847,14), ( 847,28), ( 848, 1), ( 848, 7),
( 848,11), ( 848,15), ( 848,17), ( 848,21), ( 849, 7), ( 849,24), ( 850, 1),
( 850, 4), ( 850,23), ( 851, 8), ( 851,10), ( 851,14), ( 851,28), ( 852, 1),
( 852, 6), ( 852,19), ( 852,27), ( 853, 8), ( 853,10), ( 853,12), ( 853,24),
( 854, 7), ( 854,19), ( 854,30), ( 855, 2), ( 855,14), ( 855,30), ( 856, 1),
( 856, 9), ( 856,11), ( 856,12), ( 857, 5), ( 857,17), ( 857,22), ( 858, 3),
( 858, 7), ( 858,20), ( 859, 6), ( 859, 9), ( 859,11), ( 860,18), ( 861,13),
( 861,25), ( 861,28), ( 862, 3), ( 862,19), ( 862,25), ( 863, 2), ( 863,16),
( 863,18), ( 864, 1), ( 864, 5), ( 864, 7), ( 864,11), ( 864,15), ( 864,19),
( 864,21), ( 864,23), ( 864,24), ( 864,27), ( 865,19), ( 865,21), ( 865,24),
( 865,26), ( 866, 6), ( 866,17), ( 866,19), ( 867,12), ( 867,24), ( 867,29),
( 868, 6), ( 868,12), ( 868,18), ( 868,30), ( 869, 5), ( 869, 6), ( 869, 9),
( 869,11), ( 869,19), ( 870, 0), ( 871, 2), ( 871,10), ( 871,11), ( 871,20),
( 871,26), ( 872, 5), ( 872,15), ( 872,23), ( 872,24), ( 872,27), ( 873,13),
( 873,19), ( 873,27), ( 874, 3), ( 874, 5), ( 874, 9), ( 874,11), ( 874,15),
( 874,18), ( 874,20), ( 875, 8), ( 875,10), ( 875,28), ( 876, 4), ( 876,10),
( 877, 4), ( 877, 8), ( 877,19), ( 877,25), ( 878,11), ( 878,21), ( 878,29),
( 879, 4), ( 879,11), ( 879,24), ( 879,28), ( 880, 6), ( 880, 7), ( 880,24),
( 881, 8), ( 881,12), ( 881,18), ( 881,20), ( 881,22), ( 881,23), ( 881,25),
( 881,27), ( 882,30), ( 883, 6), ( 883,15), ( 883,17), ( 883,24), ( 883,26),
( 884, 5), ( 884,10), ( 884,17), ( 884,19), ( 884,31), ( 885, 1), ( 885, 7),
( 885,14), ( 885,23), ( 885,28), ( 885,30), ( 886, 3), ( 886, 5), ( 886, 6),
( 886,20), ( 886,23), ( 886,28), ( 887, 3), ( 887, 7), ( 887, 8), ( 887,14),
( 887,18), ( 887,19), ( 887,22), ( 887,30), ( 888, 2), ( 888, 5), ( 888, 6),
( 888, 7), ( 888,29), ( 889, 4), ( 889, 8), ( 889,12), ( 889,16), ( 889,19),
( 889,23), ( 889,27), ( 889,30), ( 890, 0), ( 890,14), ( 891, 7), ( 891, 9),
( 891,16), ( 891,17), ( 891,21), ( 891,24), ( 891,29), ( 892,16), ( 892,23),
( 892,27), ( 892,29), ( 892,30), ( 892,31), ( 893, 1), ( 893,16), ( 893,20),
( 893,27), ( 893,30), ( 894,22), ( 894,26), ( 894,31), ( 895, 2), ( 895, 4),
( 895,17), ( 895,23), ( 895,26), ( 895,31), ( 896, 1), ( 896,15), ( 896,23),
( 896,26), ( 896,27), ( 896,29), ( 897,11), ( 897,27), ( 897,29), ( 898,11),
( 898,12), ( 898,17), ( 899, 9), ( 899,11), ( 899,13), ( 899,19), ( 899,29),
( 899,31), ( 900, 4), ( 900, 8), ( 900,10), ( 900,11), ( 900,18), ( 900,25),
( 900,28), ( 900,30), ( 901,12), ( 901,18), ( 902, 4), ( 902, 6), ( 902,13),
( 902,31), ( 903, 0), ( 903,14), ( 903,16), ( 904, 6), ( 904, 7), ( 904,14),
( 904,19), ( 904,23), ( 904,27), ( 905,11), ( 906, 1), ( 906, 7), ( 906,17),
( 906,19), ( 906,21), ( 906,22), ( 906,25), ( 907, 1), ( 907,13), ( 907,17),
( 907,19), ( 907,25), ( 907,26), ( 908, 3), ( 908, 6), ( 908, 9), ( 909,12),
( 909,15), ( 909,22), ( 910, 8), ( 911, 2), ( 911, 4), ( 911,12), ( 911,27),
( 912,14), ( 912,25), ( 913, 5), ( 913, 6), ( 913, 7), ( 913, 9), ( 913,16),
( 914, 3), ( 914, 4), ( 914, 9), ( 914,10), ( 914,11), ( 914,13), ( 915,14),
( 915,15), ( 915,24), ( 915,28), ( 916, 3), ( 916,15), ( 916,23), ( 916,27),
( 916,29), ( 917, 3), ( 917, 5), ( 918,19), ( 918,31), ( 919,13), ( 919,23),
( 919,26), ( 919,27), ( 919,29), ( 920, 4), ( 920,14), ( 920,18), ( 921, 5),
( 921,13), ( 921,15), ( 921,17), ( 922, 1), ( 922, 4), ( 922,14), ( 923, 4),
( 923,24), ( 924, 9), ( 924,14), ( 924,16), ( 924,22), ( 924,31), ( 925, 1),
( 925, 5), ( 925, 6), ( 925,15), ( 925,22), ( 925,26), ( 925,27), ( 925,29),
( 926, 6), ( 926, 7), ( 926, 8), ( 926,22), ( 926,23), ( 926,24), ( 927, 0),
( 927, 5), ( 927, 9), ( 927,19), ( 927,23), ( 927,24), ( 928, 3), ( 928,11),
( 928,23), ( 928,24), ( 928,27), ( 929, 1), ( 929, 3), ( 929,12), ( 930,14),
( 930,16), ( 930,18), ( 930,19), ( 930,25), ( 932, 2), ( 932, 6), ( 933,16),
( 933,19), ( 933,25), ( 933,30), ( 934,10), ( 934,21), ( 934,30), ( 935, 4),
( 935,27), ( 935,29), ( 935,31), ( 936, 1), ( 936,12), ( 936,15), ( 937, 4),
( 937, 7), ( 937,18), ( 937,20), ( 937,25), ( 937,28), ( 938, 3), ( 938,11),
( 938,14), ( 938,20), ( 939, 5), ( 940, 2), ( 940, 4), ( 940, 8), ( 940,10),
( 940,23), ( 941, 3), ( 941, 8), ( 941,10), ( 941,13), ( 941,14), ( 941,20),
( 941,27), ( 941,28), ( 942, 4), ( 942, 7), ( 942,21), ( 942,26), ( 942,27),
( 943, 3), ( 943, 5), ( 943,15), ( 943,19), ( 943,26), ( 944,11), ( 944,19),
( 944,21), ( 945, 5), ( 945,17), ( 946, 6), ( 946,26), ( 947, 5), ( 947,15),
( 947,18), ( 947,26), ( 947,27), ( 948, 2), ( 948,14), ( 948,16), ( 948,29),
( 949, 2), ( 949,17), ( 949,19), ( 949,24), ( 949,27), ( 950, 1), ( 950, 5),
( 950,27), ( 950,30), ( 951, 1), ( 951, 4), ( 951, 5), ( 951,27), ( 952, 0),
( 952,20), ( 953, 5), ( 953, 9), ( 953,10), ( 953,16), ( 953,23), ( 954, 5),
( 954, 6), ( 954, 8), ( 954,11), ( 954,27), ( 954,29), ( 955, 2), ( 955,12),
( 955,19), ( 955,25), ( 956, 1), ( 956,13), ( 956,26), ( 957, 0), ( 957, 6),
( 957,15), ( 957,18), ( 958,20), ( 959, 9), ( 959,17), ( 959,31), ( 960, 7),
( 960, 9), ( 961, 9), ( 961,24), ( 962, 1), ( 962, 8), ( 962,14), ( 962,18),
( 962,25), ( 962,30), ( 963, 4), ( 963, 9), ( 963,25), ( 963,27), ( 963,29),
( 964, 0), ( 964,12), ( 964,18), ( 965, 7), ( 965,18), ( 965,20), ( 965,23),
( 965,25), ( 965,31), ( 966, 3), ( 966,11), ( 966,24), ( 966,27), ( 967, 3),
( 967,27), ( 968, 1), ( 968, 2), ( 968, 4), ( 968,12), ( 968,14), ( 968,18),
( 968,19), ( 969, 5), ( 969,13), ( 969,17), ( 969,27), ( 970, 2), ( 970,28),
( 970,31), ( 971, 2), ( 971,13), ( 971,16), ( 971,28), ( 972, 6), ( 972, 8),
( 972,18), ( 972,20), ( 972,24), ( 972,29), ( 973, 0), ( 973, 7), ( 973, 9),
( 973,15), ( 973,21), ( 974, 0), ( 974, 5), ( 974,10), ( 974,15), ( 974,23),
( 974,30), ( 975, 5), ( 975,15), ( 975,29), ( 976,11), ( 976,14), ( 976,18),
( 976,23), ( 976,31), ( 977,11), ( 977,23), ( 977,29), ( 978,13), ( 978,17),
( 978,21), ( 978,22), ( 978,26), ( 979,11), ( 979,13), ( 979,17), ( 979,30),
( 980, 6), ( 980, 9), ( 980,13), ( 981,15), ( 981,20), ( 982, 6), ( 982,21),
( 983, 3), ( 983,16), ( 983,19), ( 984, 1), ( 984,14), ( 984,18), ( 985,17),
( 985,30), ( 986, 9), ( 986,11), ( 986,16), ( 986,22), ( 986,30), ( 987, 2),
( 987, 4), ( 987,19), ( 987,22), ( 987,25), ( 987,30), ( 988, 7), ( 988,23),
( 988,27), ( 989, 6), ( 989,29), ( 990, 8), ( 990,18), ( 990,22), ( 990,25),
( 990,28), ( 990,29), ( 991, 3), ( 991, 5), ( 991, 6), ( 991, 7), ( 991,20),
( 992, 7), ( 992,10), ( 992,12), ( 992,22), ( 992,26), ( 992,31), ( 993, 0),
( 993, 6), ( 993, 8), ( 993,13), ( 993,28), ( 994,12), ( 994,16), ( 994,18),
( 994,28), ( 994,29), ( 995, 8), ( 995,18), ( 996,19), ( 996,27), ( 996,31),
( 997, 2), ( 997,16), ( 997,22), ( 997,31), ( 998, 1), ( 998, 4), ( 998, 6),
( 998,16), ( 998,30), ( 999, 6), ( 999,20), ( 999,21), ( 999,24), (1000, 5),
(1000, 9), (1000,11), (1000,17), (1001, 6), (1001,14), (1001,18), (1001,22),
(1001,28), (1001,31), (1002, 4), (1002,12), (1002,14), (1002,19), (1002,31),
(1003,11), (1003,21), (1003,29), (1004, 3), (1004, 4), (1004, 6), (1004,12),
(1004,19), (1005,18), (1005,29), (1005,31), (1006, 5), (1006, 6), (1006, 7),
(1006, 8), (1006,13), (1006,15), (1006,18), (1006,21), (1006,22), (1006,23),
(1007, 2), (1007,14), (1007,31), (1008, 0), (1008, 2), (1008,22), (1008,23),
(1009, 4), (1009, 6), (1009,10), (1009,12), (1009,18), (1009,20), (1009,22),
(1009,24), (1010, 9), (1010,14), (1010,22), (1011, 5), (1011,10), (1011,19),
(1011,23), (1011,24), (1011,29), (1011,31), (1012, 6), (1012,16), (1012,17),
(1012,19), (1013, 0), (1013, 1), (1013, 9), (1014, 4), (1014, 7), (1014,20),
(1014,22), (1014,28), (1015, 4), (1015, 6), (1015,19), (1015,25), (1015,30),
(1016, 2), (1016, 3), (1016, 8), (1016,11), (1017, 6), (1017,14), (1017,22),
(1017,28), (1017,30), (1018, 3), (1018, 6), (1018,15), (1018,19), (1018,29),
(1019, 3), (1019,19), (1020,17), (1021, 4), (1022, 6), (1022,13), (1022,14),
(1022,17), (1022,18), (1022,20), (1022,27), (1023, 1), (1023, 4), (1023,14),
(1023,16), (1023,20), (1024,10), (1024,17), (1024,20), (1025,23), (1025,27),
(1025,31), (1026, 6), (1026,12), (1026,23), (1026,30), (1027, 3), (1027, 7),
(1027,10), (1027,15), (1027,18), (1027,25), (1027,31), (1028, 3), (1028,11),
(1028,13), (1028,15), (1028,23), (1028,28), (1028,31), (1029, 4), (1029, 5),
(1029, 6), (1029, 9), (1030, 0), (1030,11), (1030,31), (1031,15), (1031,22),
(1031,27), (1032, 4), (1032, 5), (1032,13), (1032,26), (1032,29), (1033, 0),
(1033, 1), (1033,10), (1033,24), (1033,29), (1034,21), (1034,30), (1035, 1),
(1035, 4), (1035,13), (1035,18), (1035,23), (1035,25), (1035,27), (1035,28),
(1036, 6), (1036,10), (1036,17), (1036,22), (1037, 9), (1037,12), (1037,14),
(1037,21), (1037,27), (1038,10), (1038,14), (1038,22), (1039, 5), (1039, 9),
(1039,11), (1039,18), (1039,29), (1040, 4), (1040, 9), (1040,10), (1040,22),
(1040,30), (1041, 2), (1041, 5), (1041,15), (1041,25), (1042, 0), (1042, 5),
(1042,12), (1042,13), (1042,21), (1042,29), (1043,28), (1044, 7), (1044,11),
(1044,14), (1044,29), (1045, 0), (1045,28), (1045,30), (1046,11), (1046,23),
(1047,23), (1048, 5), (1048,17), (1048,21), (1049, 8), (1049,10), (1049,11),
(1049,14), (1049,21), (1049,28), (1049,31), (1050, 2), (1050, 6), (1050,11),
(1050,14), (1050,18), (1050,20), (1050,29), (1051,21), (1051,26), (1051,27),
(1052, 0), (1052, 9), (1052,14), (1052,15), (1052,23), (1053, 8), (1053,20),
(1053,24), (1054,27), (1054,29), (1055, 1), (1055, 8), (1055,16), (1055,23),
(1055,24), (1056,14), (1056,15), (1056,19), (1056,23), (1056,26), (1057,10),
(1057,18), (1058, 6), (1058, 8), (1058,18), (1058,31), (1059, 4), (1059, 8),
(1059,22), (1060, 3), (1060,12), (1060,22), (1060,29), (1061, 1), (1061, 3),
(1061, 9), (1061,14), (1061,17), (1061,21), (1061,29), (1062, 8), (1062,11),
(1062,20), (1063, 3), (1063, 6), (1063,17), (1063,24), (1063,30), (1064, 2),
(1064, 4), (1064,10), (1064,12), (1064,14), (1064,22), (1064,28), (1065, 9),
(1065,11), (1065,21), (1065,27), (1066, 2), (1066, 5), (1066,14), (1066,24),
(1066,29), (1067,14), (1067,20), (1067,21), (1067,26), (1067,30), (1068, 4),
(1068, 5), (1068, 8), (1068,18), (1068,20), (1069, 1), (1069,10), (1069,14),
(1069,16), (1069,24), (1070, 2), (1070,31), (1071, 0), (1071, 3), (1071, 8),
(1071,21), (1072, 6), (1072,12), (1072,17), (1072,19), (1072,23), (1072,29),
(1073, 3), (1073, 8), (1073,15), (1073,17), (1073,19), (1074, 0), (1074,29),
(1075, 2), (1075, 6), (1076,22), (1076,27), (1076,31), (1077, 1), (1077, 2),
(1077, 6), (1077, 7), (1077,10), (1077,28), (1078,18), (1078,19), (1078,26),
(1078,29), (1078,31), (1079, 0), (1079, 4), (1079,14), (1079,16), (1080,12),
(1080,13), (1080,14), (1081, 1), (1081,25), (1081,29), (1082, 5), (1082,13),
(1082,18), (1082,21), (1084, 4), (1084, 7), (1084,30), (1085,21), (1085,24),
(1085,26), (1085,27), (1086,16), (1086,19), (1086,29), (1086,30), (1087, 0),
(1087, 2), (1087,11), (1087,14), (1087,25), (1087,27), (1088,17), (1088,21),
(1088,27), (1089, 3), (1089, 8), (1089,19), (1089,22), (1089,28), (1089,29),
(1090, 2), (1090,13), (1090,21), (1090,23), (1090,25), (1091, 4), (1091,17),
(1092, 3), (1092, 4), (1092, 5), (1092, 7), (1092,29), (1093, 0), (1093, 4),
(1093,10), (1093,12), (1094,14), (1094,23), (1095, 5), (1095,13), (1095,23),
(1095,25), (1095,31), (1096, 1), (1096,16), (1096,17), (1097, 3), (1097, 7),
(1097,25), (1097,31), (1098, 4), (1098, 8), (1098,22), (1098,28), (1099, 3),
(1099, 5), (1099,11), (1099,16), (1099,27), (1100, 3), (1101, 5), (1101,20),
(1101,28), (1101,31), (1102, 2), (1102, 3), (1102,13), (1102,16), (1102,27),
(1103, 1), (1103, 2), (1103, 6), (1103,17), (1103,19), (1103,20), (1103,30),
(1103,31), (1104, 3), (1104,14), (1104,16), (1104,23), (1104,25), (1104,27),
(1104,29), (1105,10), (1105,18), (1105,20), (1106, 2), (1106,14), (1106,24),
(1107, 4), (1107, 8), (1107,17), (1107,21), (1107,25), (1107,29), (1108, 4),
(1108,18), (1108,29), (1109, 4), (1109, 7), (1109, 9), (1109,16), (1109,29),
(1109,31), (1110, 0), (1110, 4), (1110, 5), (1110,12), (1111, 3), (1111, 4),
(1111,24), (1112,10), (1112,18), (1112,22), (1113, 1), (1113, 5), (1113,16),
(1113,29), (1114, 0), (1114, 4), (1114, 6), (1114,18), (1114,26), (1114,29),
(1115, 9), (1115,14), (1115,30), (1116, 2), (1116, 6), (1116, 7), (1117,25),
(1118, 0), (1118, 7), (1118,18), (1118,19), (1118,23), (1118,28), (1119,18),
(1119,26), (1119,28), (1120, 3), (1120,19), (1120,31), (1121, 2), (1121, 7),
(1121,22), (1121,24), (1121,30), (1122, 5), (1122, 6), (1122,11), (1122,22),
(1122,24), (1123, 1), (1123,19), (1123,29), (1123,31), (1124,14), (1124,17),
(1125, 3), (1125, 4), (1125, 7), (1125,17), (1126, 7), (1126,17), (1126,18),
(1126,19), (1126,21), (1126,31), (1127,12), (1127,22), (1128,15), (1128,16),
(1128,25), (1128,31), (1129, 6), (1129,10), (1129,18), (1130, 1), (1130,10),
(1130,16), (1130,18), (1131,13), (1131,22), (1132, 1), (1132, 9), (1132,17),
(1132,21), (1132,31), (1133, 3), (1133, 5), (1133,10), (1133,13), (1133,15),
(1133,27), (1133,30), (1134,18), (1134,20), (1134,25), (1136,14), (1136,22),
(1136,30), (1137, 3), (1137,17), (1137,25), (1138,24), (1139, 5), (1139, 6),
(1139,12), (1139,17), (1139,18), (1139,21), (1139,26), (1140, 0), (1140, 7),
(1140,17), (1140,21), (1140,25), (1140,27), (1140,29), (1141, 4), (1141,27),
(1141,31), (1142, 4), (1142,28), (1142,29), (1142,30), (1143, 6), (1143,10),
(1144,28), (1145,16), (1147, 8), (1147,10), (1147,12), (1147,15), (1147,16),
(1147,21), (1147,24), (1148, 4), (1148,10), (1148,12), (1149,24), (1149,25),
(1149,28), (1150,21), (1150,23), (1150,24), (1150,25), (1150,26), (1150,31),
(1151, 7), (1151,19), (1151,31), (1152, 5), (1152,30), (1153, 3), (1153, 6),
(1153, 8), (1153,10), (1153,12), (1153,16), (1154, 2), (1154, 9), (1154,18),
(1154,24), (1155, 1), (1155, 5), (1155,19), (1155,23), (1155,29), (1155,30),
(1156, 0), (1156,12), (1156,27), (1157,19), (1157,29), (1158, 5), (1158, 7),
(1158,12), (1158,13), (1158,18), (1159, 6), (1159, 8), (1159,11), (1159,17),
(1159,19), (1159,23), (1159,29), (1160,30), (1160,31), (1161,13), (1161,18),
(1161,31), (1162, 6), (1162,18), (1163, 8), (1163,22), (1164, 6), (1164,12),
(1164,24), (1165, 5), (1165,20), (1165,23), (1165,28), (1166, 0), (1166,11),
(1166,18), (1166,20), (1166,21), (1166,23), (1166,25), (1166,30), (1167,10),
(1167,19), (1167,29), (1168, 7), (1168,19), (1168,20), (1168,21), (1169, 1),
(1169, 7), (1169,15), (1171, 9), (1171,11), (1171,15), (1171,27), (1171,30),
(1172, 8), (1172,22), (1173,25), (1174, 0), (1174, 1), (1174,22), (1174,23),
(1174,29), (1175, 7), (1175,10), (1175,30), (1176, 6), (1176,19), (1176,22),
(1176,24), (1177, 5), (1177, 7), (1177, 8), (1177,15), (1177,23), (1177,29),
(1178, 1), (1178,28), (1179,17), (1179,29), (1180, 6), (1180,13), (1180,16),
(1180,25), (1180,27), (1181, 6), (1181,14), (1182, 1), (1182, 2), (1182,15),
(1182,28), (1183, 6), (1183,11), (1183,13), (1183,16), (1183,20), (1183,23),
(1183,29), (1184, 1), (1184, 3), (1184, 9), (1184,10), (1184,26), (1184,27),
(1185, 2), (1185, 5), (1185, 9), (1185,18), (1185,19), (1186,17), (1186,20),
(1186,21), (1187, 4), (1187, 8), (1187,11), (1187,16), (1187,19), (1188,11),
(1188,13), (1188,24), (1188,30), (1189, 6), (1189,14), (1189,21), (1189,22),
(1189,30), (1190, 2), (1190, 3), (1190, 6), (1190,12), (1190,26), (1190,30),
(1191,23), (1192,15), (1193, 4), (1193,12), (1193,14), (1193,18), (1193,22),
(1194,10), (1195,18), (1195,21), (1196,12), (1196,17), (1196,25), (1196,26),
(1197, 8), (1197,16), (1197,22), (1198, 2), (1198, 4), (1198, 8), (1198,12),
(1198,15), (1198,22), (1198,29), (1199,12), (1199,18), (1199,19), (1200, 4),
(1200,12), (1200,17), (1200,21), (1200,25), (1200,29), (1201, 9), (1201,11),
(1201,18), (1201,25), (1202, 2), (1202,14), (1202,29), (1202,30), (1203, 6),
(1203, 8), (1203,20), (1203,21), (1203,24), (1204, 3), (1204, 6), (1204,17),
(1204,23), (1204,31), (1205,11), (1205,28), (1205,29), (1206, 5), (1206,25),
(1206,29), (1207,11), (1207,16), (1207,18), (1207,30), (1208,31), (1209,24),
(1209,27), (1209,31), (1210, 0), (1210, 3), (1210, 7), (1210,10), (1210,13),
(1211, 4), (1211, 6), (1211,14), (1212, 0), (1212, 4), (1212,18), (1212,24),
(1212,31), (1213, 4), (1213,16), (1213,27), (1213,28), (1213,29), (1214,11),
(1214,22), (1215, 1), (1215, 7), (1215,10), (1215,20), (1215,21), (1215,27),
(1215,29), (1216,13), (1216,27), (1217, 2), (1217, 5), (1217, 8), (1217,11),
(1217,12), (1217,28), (1218, 2), (1218, 8), (1218,12), (1218,27), (1218,28),
(1218,29), (1219, 0), (1219, 2), (1219, 7), (1219, 8), (1219,10), (1219,12),
(1219,16), (1219,20), (1220, 0), (1220, 1), (1220,19), (1220,29), (1220,31),
(1221, 1), (1221, 7), (1221,23), (1221,24), (1221,29), (1222,20), (1222,25),
(1223,20), (1224, 0), (1224, 4), (1224, 8), (1224,13), (1224,15), (1224,17),
(1224,19), (1225, 6), (1225, 8), (1225,12), (1225,14), (1225,17), (1225,29),
(1226, 1), (1226, 3), (1226, 7), (1226, 9), (1226,14), (1226,22), (1227,15),
(1227,17), (1227,21), (1227,28), (1227,29), (1228, 0), (1228, 4), (1228,10),
(1228,26), (1229, 6), (1229,13), (1229,20), (1229,22), (1229,24), (1229,31),
(1230, 0), (1230, 4), (1230,24), (1230,31), (1231, 0), (1231,11), (1231,15),
(1231,16), (1231,19), (1231,25), (1231,27), (1231,28), (1232, 2), (1232, 5),
(1232, 6), (1232,17), (1232,25), (1232,29), (1233, 8), (1233,10), (1233,14),
(1234,10), (1234,15), (1234,16), (1234,23), (1234,27), (1234,29), (1234,30),
(1235, 5), (1235, 9), (1235,10), (1235,14), (1235,15), (1235,25), (1236, 3),
(1236,11), (1236,23), (1236,29), (1236,30), (1237,11), (1237,15), (1237,17),
(1237,23), (1237,29), (1238, 4), (1238, 8), (1238,14), (1238,22), (1238,30),
(1239, 6), (1239,10), (1239,14), (1239,22), (1240, 3), (1240, 6), (1240,14),
(1240,17), (1240,19), (1240,23), (1240,25), (1240,29), (1241,19), (1241,26),
(1241,29), (1242, 3), (1242, 6), (1242,16), (1242,27), (1242,28), (1242,29),
(1243,10), (1243,19), (1244, 0), (1244, 1), (1244,14), (1244,23), (1244,25),
(1244,30), (1245, 0), (1245, 5), (1245,20), (1245,25), (1246, 7), (1246,27),
(1246,28), (1246,30), (1247, 3), (1247,14), (1247,15), (1247,21), (1247,22),
(1248, 0), (1248, 3), (1248,13), (1248,29), (1249, 0), (1249,25), (1249,28),
(1250, 2), (1250, 6), (1250,11), (1250,19), (1250,28), (1251, 3), (1251, 6),
(1251, 9), (1251,11), (1251,19), (1251,23), (1251,27), (1251,28), (1252, 5),
(1252,10), (1252,13), (1252,23), (1252,26), (1253,16), (1253,21), (1253,23),
(1254, 3), (1254, 9), (1254,29), (1255,11), (1255,17), (1255,18), (1255,23),
(1255,27), (1256, 7), (1256,27), (1257, 8), (1257,17), (1257,20), (1257,24),
(1258, 1), (1258,17), (1258,21), (1258,26), (1258,31), (1259, 1), (1259, 5),
(1259, 8), (1259,10), (1259,12), (1259,29), (1260,11), (1260,24), (1261, 0),
(1261,14), (1261,23), (1261,24), (1261,25), (1262, 0), (1262, 2), (1262, 3),
(1262,20), (1263, 0), (1263, 8), (1263,10), (1263,14), (1263,22), (1264, 2),
(1264, 6), (1264,10), (1264,29), (1265, 7), (1265,29), (1266, 0), (1266,11),
(1266,25), (1267, 1), (1267, 9), (1267,26), (1267,31), (1268,10), (1268,24),
(1268,30), (1269, 6), (1269,18), (1270, 2), (1270,11), (1270,19), (1270,25),
(1270,26), (1271,19), (1271,26), (1271,29), (1272, 0), (1272, 8), (1272,11),
(1272,13), (1272,21), (1272,25), (1272,26), (1272,27), (1272,31), (1273, 2),
(1273, 3), (1273,23), (1273,28), (1273,31), (1274, 0), (1274, 2), (1274,10),
(1274,15), (1275, 2), (1275,20), (1275,28), (1276,13), (1276,14), (1276,21),
(1276,27), (1277,12), (1277,27), (1278,26), (1278,29), (1279, 2), (1279, 7),
(1279,12), (1280, 2), (1280, 6), (1280,10), (1280,27), (1281, 5), (1281,19),
(1282, 5), (1282,11), (1282,14), (1282,27), (1283, 2), (1283,28), (1284, 4),
(1284,20), (1284,22), (1285, 2), (1285,22), (1286,11), (1286,15), (1286,18),
(1286,19), (1286,21), (1286,29), (1287, 5), (1287,13), (1287,19), (1287,26),
(1287,27), (1287,31), (1288, 0), (1288,13), (1288,14), (1288,29), (1289, 0),
(1289, 3), (1289, 5), (1289,15), (1289,27), (1290, 2), (1290,16), (1290,28),
(1291, 4), (1291,13), (1292,12), (1292,13), (1292,15), (1292,21), (1293, 6),
(1293, 7), (1293,10), (1293,12), (1293,14), (1293,15), (1293,21), (1293,30),
(1294, 5), (1294, 6), (1294, 8), (1294,10), (1294,29), (1294,31), (1295,10),
(1295,30), (1296, 0), (1296,10), (1296,12), (1296,20), (1296,28), (1297, 9),
(1297,21), (1297,25), (1297,26), (1298, 6), (1298,12), (1298,31), (1299,22),
(1299,24), (1300, 0), (1300, 7), (1300,24), (1300,30), (1301, 8), (1301,15),
(1301,22), (1301,24), (1302, 0), (1302, 8), (1302,10), (1302,11), (1302,20),
(1302,24), (1302,30), (1303, 3), (1303, 7), (1303,15), (1303,18), (1303,31),
(1304,16), (1304,30), (1305,15), (1305,21), (1305,25), (1306,22), (1307, 0),
(1307, 6), (1307,13), (1307,17), (1307,18), (1307,21), (1307,24), (1307,27),
(1308, 6), (1308,28), (1308,31), (1309, 3), (1309,17), (1309,25), (1309,26),
(1310,14), (1310,31), (1311, 3), (1311,13), (1311,16), (1311,31), (1312, 1),
(1312, 8), (1312,18), (1312,23), (1313, 5), (1313,13), (1313,25), (1314, 3),
(1314, 7), (1314,11), (1314,12), (1314,13), (1314,17), (1315, 6), (1315,15),
(1315,18), (1315,22), (1315,24), (1315,28), (1316, 9), (1316,11), (1316,31),
(1317, 2), (1317, 4), (1317,11), (1317,17), (1317,20), (1317,27), (1318, 6),
(1318,17), (1318,18), (1318,27), (1318,28), (1319, 3), (1319, 7), (1319, 8),
(1319,24), (1319,26), (1319,29), (1320, 0), (1320,21), (1320,22), (1320,26),
(1320,29), (1320,30), (1321, 0), (1321,17), (1321,21), (1321,24), (1321,25),
(1321,31), (1322, 9), (1322,15), (1322,26), (1322,29), (1323, 0), (1323,10),
(1323,20), (1324, 3), (1324, 8), (1324,12), (1324,15), (1324,17), (1324,29),
(1324,31), (1325, 8), (1325,14), (1325,16), (1326, 6), (1326,19), (1326,22),
(1326,29), (1327, 9), (1327,12), (1327,15), (1327,18), (1327,20), (1328,25),
(1328,26), (1328,30), (1329, 4), (1329, 5), (1329,12), (1329,16), (1330,11),
(1330,20), (1330,29), (1331, 7), (1331,12), (1331,18), (1332, 4), (1332,12),
(1332,16), (1333,17), (1333,27), (1334,20), (1335,21), (1335,31), (1336, 2),
(1336, 7), (1337, 2), (1337,12), (1337,18), (1337,21), (1337,22), (1338,10),
(1338,17), (1338,21), (1338,28), (1339, 4), (1339, 5), (1339,11), (1339,17),
(1339,19), (1339,21), (1339,31), (1340, 1), (1340, 5), (1340, 6), (1340, 9),
(1340,18), (1341,14), (1341,18), (1341,20), (1341,24), (1342, 2), (1342,11),
(1342,12), (1342,14), (1342,16), (1342,20), (1342,28), (1343, 0), (1343, 5),
(1343,18), (1343,25), (1343,26), (1343,30), (1344, 7), (1344,18), (1344,23),
(1345, 9), (1345,11), (1345,13), (1345,25), (1346, 4), (1346,20), (1347, 0),
(1347, 9), (1347,11), (1347,17), (1347,27), (1348, 2), (1348, 5), (1348,11),
(1348,12), (1348,25), (1349, 1), (1349,12), (1349,22), (1349,24), (1349,25),
(1350, 2), (1350, 3), (1350, 9), (1350,11), (1350,19), (1350,24), (1351, 4),
(1351,14), (1351,22), (1351,24), (1352,13), (1352,18), (1352,20), (1352,23),
(1353, 5), (1353,11), (1353,13), (1353,14), (1353,15), (1353,17), (1353,26),
(1353,29), (1354,15), (1354,19), (1354,25), (1355, 6), (1355, 7), (1355,10),
(1355,11), (1355,28), (1356, 2), (1356, 4), (1356,11), (1356,14), (1356,20),
(1356,23), (1356,24), (1356,30), (1357, 3), (1357, 5), (1357, 6), (1357,17),
(1357,21), (1357,26), (1357,27), (1358, 0), (1358, 4), (1358, 9), (1358,10),
(1358,21), (1358,27), (1359, 2), (1359,20), (1359,24), (1360, 3), (1360,19),
(1360,27), (1360,28), (1360,29), (1361, 6), (1361, 7), (1361,16), (1361,28),
(1362, 4), (1362, 6), (1362,25), (1363,11), (1363,21), (1363,22), (1364, 6),
(1364, 8), (1364,11), (1364,21), (1364,27), (1365,10), (1365,14), (1365,24),
(1365,25), (1366, 6), (1366,18), (1366,19), (1366,23), (1367, 1), (1367, 2),
(1367, 6), (1367,11), (1368, 7), (1368,18), (1368,26), (1368,27), (1369, 1),
(1369,18), (1369,31), (1370,28), (1371, 7), (1371,13), (1371,21), (1371,22),
(1371,23), (1371,27), (1372, 0), (1372, 3), (1372, 7), (1372,31), (1373, 0),
(1373,21), (1374, 2), (1374, 3), (1374,26), (1375, 3), (1375,16), (1375,22),
(1376, 1), (1376, 6), (1376,30), (1377, 8), (1377,28), (1378, 1), (1378,24),
(1378,27), (1378,29), (1379, 0), (1379, 2), (1379, 8), (1379,24), (1380,10),
(1381,14), (1381,19), (1381,20), (1381,23), (1381,25), (1381,29), (1382, 4),
(1382, 6), (1382,11), (1382,15), (1382,18), (1382,21), (1382,25), (1382,26),
(1382,31), (1383, 4), (1383, 6), (1383,22), (1383,26), (1384, 5), (1384,15),
(1384,18), (1384,30), (1384,31), (1385,26), (1386, 3), (1386, 7), (1386,24),
(1387, 0), (1387, 4), (1387,10), (1387,28), (1388,12), (1388,14), (1388,16),
(1388,18), (1388,30), (1388,31), (1389,21), (1390, 4), (1390, 7), (1390,11),
(1390,15), (1391, 3), (1391, 8), (1392,12), (1392,23), (1392,26), (1393, 2),
(1393, 7), (1393,13), (1393,28), (1394, 9), (1394,10), (1394,11), (1394,15),
(1394,27), (1394,30), (1395, 3), (1395, 5), (1395,17), (1395,18), (1395,20),
(1395,23), (1395,24), (1396, 4), (1396,11), (1396,22), (1397, 3), (1397,16),
(1397,18), (1397,20), (1397,22), (1397,28), (1397,30), (1398, 1), (1398, 8),
(1398,10), (1399,19), (1399,28), (1399,30), (1400,21), (1400,26), (1400,27),
(1400,31), (1401, 0), (1401, 3), (1401, 7), (1401,22), (1401,28), (1402, 0),
(1402, 8), (1402,18), (1402,22), (1402,24), (1402,30), (1403, 9), (1403,17),
(1403,21), (1403,31), (1404, 5), (1404,31), (1405, 3), (1405, 8), (1405,22),
(1405,25), (1406, 9), (1406,17), (1406,22), (1406,26), (1406,28), (1407, 9),
(1407,19), (1407,21), (1407,25), (1407,31), (1408, 6), (1408, 7), (1408,20),
(1408,21), (1408,25), (1409, 3), (1409, 7), (1409,10), (1409,20), (1409,29),
(1409,30), (1410, 7), (1411,11), (1411,26), (1412, 0), (1412, 1), (1412, 4),
(1412,10), (1412,12), (1412,20), (1412,24), (1412,30), (1412,31), (1413, 3),
(1413,12), (1413,15), (1413,17), (1414, 5), (1414,13), (1415, 6), (1415, 8),
(1415, 9), (1415,19), (1415,20), (1415,27), (1416, 5), (1416, 7), (1416,22),
(1416,25), (1416,28), (1417, 8), (1417,11), (1417,21), (1418,11), (1418,13),
(1418,17), (1418,21), (1419, 2), (1419, 6), (1419,14), (1419,16), (1419,24),
(1419,29), (1420,12), (1420,17), (1421, 7), (1421,11), (1421,15), (1421,21),
(1421,22), (1421,25), (1422,13), (1422,26), (1422,28), (1423, 5), (1423, 7),
(1423,15), (1423,22), (1423,26), (1424, 2), (1424, 9), (1424,18), (1424,31),
(1425, 3), (1425,12), (1425,24), (1426, 3), (1426, 8), (1426,13), (1426,14),
(1426,24), (1427, 0), (1427,11), (1427,23), (1427,25), (1428, 5), (1428,12),
(1428,18), (1428,27), (1428,29), (1429,18), (1429,21), (1430, 0), (1430, 6),
(1430,10), (1430,14), (1430,23), (1430,24), (1431,11), (1431,18), (1432, 8),
(1432, 9), (1432,19), (1432,26), (1432,29), (1433, 2), (1433, 9), (1433,11),
(1433,12), (1433,16), (1433,20), (1433,22), (1434,15), (1434,21), (1434,24),
(1434,25), (1435,14), (1436, 8), (1436,19), (1436,26), (1437, 8), (1437, 9),
(1438, 0), (1438, 7), (1438,12), (1438,15), (1438,17), (1438,19), (1438,20),
(1439, 3), (1439,12), (1439,14), (1439,16), (1439,23), (1440, 3), (1440, 7),
(1440,15), (1440,17), (1440,21), (1440,23), (1440,25), (1440,29), (1441,30),
(1442, 1), (1442, 7), (1442,10), (1442,13), (1442,14), (1442,18), (1442,29),
(1443, 4), (1443, 9), (1443,23), (1444, 1), (1444, 2), (1445,13), (1446,11),
(1446,27), (1446,28), (1446,29), (1446,30), (1447,23), (1448, 7), (1448,30),
(1449,11), (1449,13), (1449,23), (1449,27), (1450, 6), (1450, 9), (1450,18),
(1450,22), (1451,12), (1451,27), (1451,29), (1452,11), (1452,22), (1452,29),
(1452,30), (1453,26), (1454,18), (1455, 0), (1455, 2), (1455, 7), (1455,15),
(1456, 0), (1456, 5), (1456, 6), (1456,12), (1456,16), (1456,24), (1456,28),
(1456,30), (1457,15), (1457,17), (1457,20), (1458, 5), (1458,13), (1458,21),
(1458,26), (1458,31), (1459,12), (1459,21), (1460, 6), (1460,10), (1460,12),
(1460,14), (1460,15), (1460,18), (1461, 0), (1461, 3), (1461,10), (1461,11),
(1461,12), (1461,14), (1461,30), (1462, 1), (1462, 7), (1462,13), (1462,17),
(1462,31), (1463, 9), (1463,25), (1464, 2), (1464, 6), (1465,17), (1465,28),
(1465,30), (1466, 6), (1466,16), (1466,24), (1466,31), (1467,10), (1467,24),
(1467,30), (1468, 0), (1468, 9), (1468,10), (1468,18), (1469,11), (1469,13),
(1469,25), (1469,26), (1469,29), (1470, 2), (1470,16), (1470,19), (1470,21),
(1470,23), (1470,29), (1471, 7), (1471,25), (1472, 5), (1472,24), (1472,28),
(1472,30), (1473,16), (1474, 1), (1474, 2), (1474,23), (1474,30), (1475, 4),
(1475,13), (1476, 2), (1476, 3), (1476,10), (1476,11), (1476,15), (1476,21),
(1476,25), (1476,26), (1476,28), (1477, 7), (1477,10), (1477,20), (1477,24),
(1478, 0), (1478, 6), (1478, 7), (1478,30), (1479, 0), (1479, 4), (1480, 2),
(1481, 1), (1481, 3), (1481, 9), (1481,10), (1481,16), (1481,19), (1482, 2),
(1482,23), (1482,24), (1482,25), (1482,26), (1483, 5), (1483, 8), (1483,12),
(1483,22), (1483,27), (1484,15), (1485, 9), (1485,14), (1485,24), (1485,29),
(1486, 6), (1486,26), (1486,31), (1487, 5), (1487, 7), (1487,12), (1487,15),
(1487,19), (1488, 5), (1488, 7), (1488,12), (1488,31), (1489, 2), (1489, 3),
(1489, 7), (1489,25), (1489,29), (1490, 3), (1490,16), (1490,18), (1491,10),
(1491,11), (1491,12), (1491,23), (1491,28), (1492, 8), (1492,13), (1492,18),
(1493,23), (1494, 1), (1494, 2), (1494,25), (1494,30), (1495, 0), (1495, 7),
(1495,11), (1496,25), (1497, 4), (1497,11), (1497,15), (1497,20), (1497,30),
(1498,23), (1498,25), (1499, 6), (1499,14), (1499,15), (1499,28), (1500, 4),
(1500,16), (1500,20), (1501, 3), (1501,11), (1501,17), (1502, 3), (1502,13),
(1502,18), (1502,25), (1502,30), (1503,24), (1503,30), (1503,31), (1504, 1),
(1504, 9), (1504,17), (1504,21), (1504,23), (1504,24), (1505, 2), (1505, 6),
(1505, 7), (1505, 8), (1505,20), (1506, 2), (1506,18), (1506,30), (1507, 0),
(1508, 1), (1508, 3), (1508,22), (1508,25), (1509,12), (1509,23), (1510, 2),
(1510, 4), (1510,14), (1510,19), (1510,21), (1511,15), (1511,17), (1511,23),
(1512,10), (1512,22), (1513, 0), (1513, 6), (1513, 7), (1513,26), (1513,27),
(1513,29), (1514,19), (1514,20), (1514,29), (1515, 2), (1515,12), (1515,23),
(1515,27), (1516, 5), (1516, 7), (1516,13), (1516,29), (1517,14), (1517,15),
(1517,20), (1517,24), (1518, 6), (1519, 2), (1519,10), (1519,12), (1519,18),
(1519,20), (1519,21), (1519,28), (1520, 3), (1520,15), (1520,17), (1520,23),
(1521, 2), (1521, 7), (1521,16), (1522,19), (1522,24), (1522,31), (1523,30),
(1524, 4), (1524, 6), (1524,10), (1524,11), (1524,24), (1525, 3), (1525,11),
(1525,17), (1525,31), (1526, 1), (1526, 2), (1526, 4), (1526,11), (1526,22),
(1526,25), (1526,26), (1527, 5), (1527,29), (1528,15), (1529, 5), (1530, 0),
(1530, 6), (1530, 8), (1530,14), (1530,16), (1530,18), (1530,24), (1531,24),
(1531,26), (1531,29), (1532,12), (1532,26), (1532,27), (1532,29), (1533, 4),
(1533, 9), (1533,10), (1533,20), (1533,25), (1533,30), (1534, 5), (1534,11),
(1534,12), (1534,18), (1534,31), (1535, 3), (1535,13), (1535,24), (1536, 1),
(1536, 7), (1536, 8), (1536,11), (1536,13), (1537,14), (1537,20), (1537,25),
(1538, 4), (1538, 6), (1538,22), (1539,13), (1539,21), (1540, 1), (1540, 6),
(1540,15), (1540,17), (1541, 5), (1541,15), (1541,20), (1542,10), (1542,15),
(1542,19), (1542,26), (1543, 2), (1543, 3), (1543, 6), (1543, 9), (1543,14),
(1543,25), (1543,30), (1544,12), (1544,22), (1544,26), (1545,10), (1546, 6),
(1546,31), (1547, 1), (1547,10), (1548, 9), (1548,21), (1548,25), (1548,29),
(1549, 7), (1549,12), (1550, 0), (1550,18), (1550,22), (1551, 1), (1551,12),
(1551,21), (1551,26), (1552,12), (1552,16), (1552,19), (1552,24), (1553, 6),
(1553, 8), (1553,10), (1553,18), (1553,27), (1554, 9), (1554,10), (1554,12),
(1555,17), (1555,25), (1555,28), (1556,25), (1556,30), (1557, 2), (1557, 3),
(1557, 9), (1557,19), (1557,29), (1558, 0), (1558, 3), (1558,17), (1558,30),
(1559, 9), (1559,18), (1559,20), (1560, 8), (1560,10), (1561,18), (1562,12),
(1562,14), (1562,23), (1562,26), (1563, 3), (1563, 7), (1563,25), (1564,12),
(1564,23), (1564,24), (1564,28), (1565,13), (1565,21), (1565,22), (1565,26),
(1566, 0), (1566,15), (1566,25), (1566,28), (1567,15), (1567,28), (1568, 5),
(1568,10), (1568,16), (1568,18), (1569, 2), (1569, 6), (1569, 8), (1569,10),
(1569,22), (1569,23), (1569,24), (1569,25), (1570,11), (1570,14), (1570,16),
(1570,22), (1571, 2), (1571, 9), (1571,15), (1571,26), (1572, 8), (1572,24),
(1573, 1), (1573, 2), (1573, 3), (1573, 7), (1573,11), (1573,21), (1573,23),
(1573,24), (1573,28), (1574, 0), (1574, 3), (1574,11), (1574,12), (1574,14),
(1574,15), (1574,26), (1574,31), (1575,17), (1575,21), (1575,30), (1576, 3),
(1576,15), (1576,18), (1576,19), (1576,20), (1576,21), (1577, 8), (1577,10),
(1577,17), (1577,30), (1578,12), (1578,23), (1578,31), (1579, 7), (1579,14),
(1579,20), (1579,22), (1579,27), (1579,28), (1580,23), (1580,24), (1581, 2),
(1581, 5), (1581, 7), (1581,10), (1581,12), (1581,13), (1581,17), (1581,20),
(1581,27), (1583, 2), (1583,15), (1584, 0), (1584,19), (1584,26), (1586, 0),
(1586, 1), (1586, 6), (1586,21), (1586,22), (1587,15), (1587,25), (1588,10),
(1588,12), (1588,13), (1588,18), (1588,24), (1589, 3), (1589,17), (1589,20),
(1589,24), (1589,26), (1589,31), (1590,11), (1590,18), (1591, 4), (1591, 5),
(1591,24), (1591,28), (1591,30), (1592, 3), (1592,13), (1592,16), (1592,17),
(1592,21), (1592,26), (1593, 0), (1593, 5), (1593,13), (1593,25), (1593,29),
(1594, 1), (1594, 2), (1595, 5), (1595, 6), (1595, 8), (1595,15), (1595,18),
(1595,24), (1595,25), (1596, 2), (1596, 3), (1596, 5), (1596, 9), (1596,28),
(1597, 9), (1597,11), (1597,15), (1597,20), (1597,25), (1597,26), (1597,29),
(1598, 9), (1598,15), (1599,23), (1599,25), (1599,27), (1600, 0), (1600, 9),
(1600,12), (1600,15), (1600,20), (1600,21), (1600,23), (1600,24), (1600,29),
(1601,25), (1602,18), (1602,20), (1603, 1), (1603,12), (1603,19), (1604, 7),
(1604, 8), (1604,22), (1604,28), (1604,31), (1605, 0), (1605, 5), (1605, 7),
(1605, 9), (1605,19), (1606, 3), (1606, 5), (1606, 9), (1606,31), (1607, 4),
(1607, 8), (1608,12), (1608,31), (1609, 8), (1609,17), (1609,25), (1610,18),
(1610,21), (1610,28), (1611, 1), (1611, 2), (1611, 4), (1611,12), (1611,28),
(1612, 2), (1612,15), (1612,17), (1613,28), (1614, 2), (1614, 6), (1614,22),
(1614,27), (1615,14), (1615,18), (1616, 0), (1616,14), (1616,17), (1616,26),
(1616,27), (1617,11), (1617,31), (1618, 1), (1618, 2), (1618,20), (1618,28),
(1618,30), (1620,27), (1621, 9), (1621,27), (1622,11), (1622,16), (1622,31),
(1623, 3), (1623,13), (1623,14), (1623,23), (1623,24), (1623,31), (1624, 6),
(1624,15), (1624,24), (1624,30), (1625, 2), (1625, 3), (1625,18), (1625,28),
(1625,29), (1625,31), (1626,11), (1626,12), (1626,25), (1626,31), (1627,21),
(1627,23), (1627,25), (1628,12), (1628,22), (1628,29), (1629, 5), (1629,22),
(1629,30), (1630, 5), (1630, 7), (1630,13), (1631, 0), (1631, 7), (1631,10),
(1631,20), (1631,23), (1631,24), (1631,25), (1632, 1), (1632, 7), (1632, 9),
(1632,10), (1632,17), (1632,26), (1633, 3), (1633, 4), (1633,12), (1633,29),
(1634, 6), (1634, 8), (1634,16), (1634,22), (1635,13), (1635,17), (1635,25),
(1635,31), (1636, 0), (1636, 8), (1636,12), (1636,22), (1636,24), (1637, 6),
(1637,12), (1637,18), (1637,19), (1637,30), (1638, 0), (1638, 2), (1638, 9),
(1638,10), (1638,12), (1638,15), (1638,22), (1638,24), (1640, 7), (1640, 8),
(1640,16), (1640,22), (1640,23), (1640,31), (1641, 8), (1641,18), (1642, 7),
(1642, 9), (1642,19), (1642,27), (1642,31), (1643, 0), (1643, 9), (1643,13),
(1643,16), (1643,17), (1644,19), (1645,20), (1646, 3), (1646,12), (1646,17),
(1646,21), (1647,14), (1648,10), (1648,13), (1649, 0), (1649,24), (1649,29),
(1650, 2), (1650,15), (1650,22), (1650,31), (1651, 9), (1651,27), (1652, 3),
(1652, 5), (1652, 9), (1652,11), (1652,12), (1652,29), (1653, 0), (1653, 3),
(1654, 5), (1654,11), (1654,18), (1654,19), (1654,31), (1655,25), (1655,26),
(1655,31), (1656, 2), (1656,22), (1656,25), (1657, 5), (1657, 9), (1657,15),
(1657,19), (1657,25), (1657,26), (1658, 1), (1659, 1), (1659, 8), (1659, 9),
(1659,13), (1659,18), (1659,22), (1659,23), (1660,10), (1660,11), (1660,17),
(1660,23), (1660,27), (1661, 0), (1661,25), (1661,30), (1661,31), (1662, 5),
(1662, 7), (1663, 2), (1663,11), (1663,19), (1663,24), (1663,26), (1664,16),
(1664,23), (1665, 2), (1665, 9), (1665,10), (1665,17), (1665,21), (1665,28),
(1665,31), (1666, 8), (1666,10), (1666,18), (1666,30), (1667, 2), (1667, 8),
(1667,10), (1667,12), (1667,18), (1668, 9), (1668,11), (1668,15), (1668,17),
(1668,26), (1668,28), (1669,18), (1669,23), (1669,28), (1669,30), (1670, 2),
(1670,14), (1670,20), (1671, 3), (1671, 5), (1671,13), (1671,26), (1672, 9),
(1672,17), (1672,18), (1672,26), (1673,27), (1674, 3), (1674, 5), (1674,14),
(1674,26), (1674,27), (1675,18), (1676, 6), (1676, 9), (1676,22), (1676,23),
(1677, 8), (1677,18), (1677,21), (1677,22), (1677,24), (1678, 0), (1678, 4),
(1678,12), (1678,28), (1679, 0), (1679,15), (1679,18), (1679,22), (1679,24),
(1679,30), (1680, 3), (1680, 4), (1680, 8), (1680, 9), (1680,10), (1680,13),
(1680,19), (1680,23), (1681, 8), (1681,14), (1682, 9), (1682,11), (1682,12),
(1682,13), (1682,31), (1683,22), (1683,30), (1684,19), (1684,20), (1684,30),
(1685, 5), (1685,15), (1685,21), (1685,28), (1685,31), (1686, 2), (1686,15),
(1686,16), (1686,28), (1687, 5), (1687, 9), (1687,21), (1687,31), (1688,16),
(1688,28), (1689, 5), (1689, 9), (1689,11), (1689,17), (1689,21), (1689,26),
(1690, 2), (1690,10), (1690,13), (1690,20), (1691, 2), (1691, 7), (1691, 9),
(1691,11), (1691,19), (1692, 5), (1692,12), (1692,25), (1692,26), (1693, 4),
(1693,12), (1693,24), (1693,29), (1693,30), (1694, 9), (1694,23), (1694,24),
(1694,31), (1695, 4), (1695,14), (1696, 4), (1696, 6), (1696, 7), (1696, 9),
(1696,14), (1696,21), (1696,31), (1697,21), (1697,23), (1698,25), (1698,26),
(1699, 1), (1699,14), (1699,28), (1700, 7), (1700, 8), (1700,10), (1700,29),
(1701, 9), (1701,13), (1702,17), (1703, 5), (1703, 6), (1704, 3), (1704,14),
(1704,15), (1704,16), (1704,19), (1704,20), (1705, 7), (1705,11), (1707,12),
(1707,18), (1707,27), (1707,28), (1708, 4), (1708, 5), (1708,14), (1708,15),
(1708,18), (1708,26), (1709, 1), (1709,14), (1709,19), (1709,21), (1710, 0),
(1710, 1), (1710, 5), (1710, 9), (1710,13), (1710,14), (1711,20), (1711,21),
(1711,27), (1712, 9), (1712,16), (1713, 1), (1713, 6), (1713,11), (1713,31),
(1714, 2), (1714,22), (1715, 6), (1715,25), (1715,26), (1715,27), (1716, 1),
(1716,17), (1716,30), (1717, 5), (1717, 6), (1717,28), (1718, 0), (1718, 9),
(1718,11), (1718,17), (1719, 2), (1719, 9), (1719,14), (1719,18), (1719,22),
(1719,27), (1719,29), (1720, 1), (1720, 5), (1720, 7), (1720,15), (1720,17),
(1720,19), (1720,20), (1720,29), (1720,30), (1720,31), (1721, 4), (1721,18),
(1721,31), (1722, 2), (1722, 6), (1722,14), (1722,16), (1723, 2), (1723,10),
(1723,16), (1723,22), (1723,24), (1724, 1), (1724, 4), (1724, 5), (1724, 7),
(1724,11), (1724,15), (1724,19), (1724,20), (1724,21), (1725, 6), (1725,19),
(1725,23), (1725,25), (1725,26), (1726,13), (1726,24), (1727, 7), (1727,12),
(1728,10), (1728,11), (1728,14), (1728,18), (1728,19), (1729, 5), (1729, 6),
(1729, 9), (1729,21), (1729,26), (1730,14), (1731, 1), (1731, 7), (1731,12),
(1731,25), (1731,31), (1732, 7), (1732,23), (1732,26), (1733,22), (1734, 8),
(1734,10), (1734,12), (1734,24), (1734,27), (1735, 9), (1735,14), (1736, 7),
(1736,15), (1736,16), (1736,19), (1736,27), (1737, 7), (1737,12), (1737,28),
(1737,31), (1738, 5), (1738, 9), (1738,25), (1739, 4), (1739, 9), (1739,12),
(1739,18), (1739,30), (1740,14), (1740,15), (1740,18), (1740,24), (1740,25),
(1740,28), (1740,31), (1741, 4), (1741, 8), (1741,13), (1741,16), (1741,22),
(1741,23), (1741,24), (1741,28), (1741,30), (1742, 3), (1742, 7), (1742, 8),
(1742,11), (1742,13), (1742,19), (1742,22), (1742,23), (1742,31), (1743,19),
(1743,21), (1743,22), (1743,23), (1743,25), (1744,16), (1744,22), (1744,26),
(1745,13), (1745,28), (1746, 5), (1746, 7), (1746,13), (1746,16), (1747, 0),
(1747, 2), (1747, 6), (1747, 9), (1747,19), (1748, 9), (1748,15), (1748,19),
(1748,24), (1749, 3), (1749,11), (1749,16), (1749,17), (1749,30), (1750, 7),
(1750, 8), (1750,13), (1750,30), (1751, 8), (1751, 9), (1751,11), (1751,21),
(1752, 2), (1752, 4), (1752, 5), (1752, 7), (1753, 9), (1753,19), (1753,21),
(1753,23), (1754, 4), (1754, 8), (1754,28), (1755, 0), (1755, 2), (1755, 4),
(1755, 9), (1755,25), (1755,27), (1755,28), (1755,29), (1756, 2), (1756, 4),
(1756, 5), (1756,19), (1756,27), (1757, 4), (1757, 9), (1757,11), (1757,16),
(1758, 5), (1758,10), (1758,27), (1759, 2), (1759, 7), (1760, 4), (1760, 8),
(1760,13), (1760,18), (1760,22), (1760,30), (1761, 1), (1761,10), (1761,18),
(1761,24), (1761,28), (1761,30), (1762, 9), (1762,10), (1762,11), (1762,18),
(1762,27), (1762,29), (1763, 1), (1763, 9), (1763,12), (1763,17), (1763,19),
(1763,21), (1763,31), (1764, 4), (1764,10), (1764,20), (1764,26), (1765, 6),
(1765,17), (1765,18), (1765,30), (1766, 8), (1766,13), (1766,15), (1766,30),
(1766,31), (1767, 5), (1767,14), (1767,19), (1767,23), (1767,27), (1768, 1),
(1768, 2), (1768,24), (1769, 5), (1769,11), (1769,18), (1770, 9), (1770,18),
(1770,24), (1771, 5), (1771,11), (1771,14), (1771,15), (1771,18), (1771,27),
(1771,30), (1772, 2), (1772, 4), (1772,17), (1772,24), (1773,11), (1773,14),
(1773,30), (1774, 2), (1774, 3), (1774, 5), (1774,25), (1774,29), (1775, 5),
(1775,26), (1775,29), (1775,31), (1776, 8), (1776,12), (1776,20), (1776,28),
(1777, 6), (1777, 8), (1777,10), (1777,15), (1777,16), (1777,18), (1777,20),
(1777,30), (1778, 4), (1778, 6), (1778,18), (1778,24), (1778,29), (1778,30),
(1779,19), (1779,25), (1779,27), (1780, 0), (1780, 1), (1780,10), (1780,13),
(1781, 0), (1781, 2), (1781, 9), (1781,28), (1782, 1), (1782, 7), (1782,13),
(1782,23), (1782,24), (1783, 2), (1783, 4), (1783, 9), (1783,23), (1783,24),
(1783,26), (1784, 1), (1784, 3), (1784,21), (1784,31), (1785, 8), (1785,12),
(1785,24), (1786, 4), (1786,14), (1786,28), (1786,30), (1787,14), (1787,29),
(1787,30), (1788, 0), (1788,15), (1788,16), (1788,17), (1788,23), (1788,26),
(1788,31), (1790, 1), (1790,16), (1790,29), (1791, 7), (1791,13), (1792, 6),
(1792,10), (1792,11), (1792,21), (1792,24), (1793, 7), (1793,15), (1793,26),
(1793,27), (1793,29), (1793,30), (1793,31), (1794,13), (1794,21), (1795,19),
(1796, 0), (1796, 6), (1796, 7), (1796,12), (1796,19), (1796,22), (1796,28),
(1797, 4), (1797, 5), (1797,23), (1798, 5), (1798, 8), (1798,29), (1799,12),
(1799,14), (1799,15), (1799,24), (1799,29), (1800, 4), (1800,11), (1800,12),
(1800,27), (1800,28), (1800,30), (1801,17), (1801,29), (1801,31), (1802,16),
(1803,24), (1803,26), (1803,28), (1804,11), (1804,15), (1804,24), (1804,29),
(1805, 0), (1805, 1), (1805, 4), (1805, 6), (1805,11), (1806,12), (1806,28),
(1807, 2), (1807,14), (1807,15), (1807,29), (1808,16), (1808,19), (1808,21),
(1808,28), (1808,30), (1809, 2), (1809, 4), (1809,19), (1809,29), (1809,30),
(1810, 0), (1810, 2), (1810, 5), (1810,12), (1810,22), (1810,24), (1811, 2),
(1811,11), (1811,25), (1812, 3), (1812, 7), (1812,12), (1812,18), (1812,21),
(1812,22), (1812,24), (1813, 6), (1813,21), (1814, 7), (1814,11), (1814,18),
(1814,21), (1815,13), (1815,15), (1815,23), (1815,25), (1816,15), (1816,18),
(1816,21), (1816,25), (1816,26), (1816,31), (1817, 1), (1817, 3), (1817, 4),
(1817,10), (1817,12), (1817,21), (1817,31), (1818, 8), (1818,21), (1818,30),
(1819, 8), (1819,13), (1819,14), (1819,30), (1820, 1), (1820, 5), (1820, 9),
(1820,13), (1820,17), (1820,26), (1820,29), (1821,15), (1821,25), (1822, 7),
(1822, 8), (1822, 9), (1822,18), (1823, 0), (1823,10), (1823,22), (1823,30),
(1824, 1), (1824, 7), (1824,13), (1824,27), (1824,29), (1825, 2), (1825, 3),
(1825, 7), (1825, 9), (1825,11), (1825,26), (1826, 1), (1826,10), (1826,13),
(1826,15), (1826,29), (1827,12), (1827,22), (1827,26), (1827,28), (1828, 1),
(1828, 7), (1828,25), (1828,27), (1829,12), (1829,14), (1829,16), (1829,30),
(1830, 6), (1830, 8), (1830,12), (1830,24), (1831, 4), (1832, 7), (1832,24),
(1833, 6), (1833,15), (1833,22), (1834,10), (1834,11), (1834,12), (1835, 5),
(1835, 7), (1835,11), (1835,14), (1835,15), (1835,22), (1835,26), (1835,29),
(1836, 6), (1836,12), (1837,19), (1838,25), (1838,29), (1839, 7), (1839,15),
(1839,18), (1839,25), (1839,27), (1840, 4), (1840, 7), (1840,20), (1840,24),
(1840,25), (1841,29), (1842,13), (1842,18), (1842,24), (1843, 0), (1843,12),
(1843,14), (1843,16), (1843,30), (1844,10), (1844,12), (1844,31), (1845, 6),
(1845,11), (1845,26), (1846, 6), (1846,24), (1848,12), (1848,19), (1848,22),
(1848,27), (1848,29), (1849,14), (1849,18), (1849,30), (1849,31), (1850, 0),
(1850, 5), (1850, 6), (1851,13), (1851,22), (1851,28), (1851,31), (1852,17),
(1853,15), (1853,19), (1853,24), (1853,28), (1854,27), (1855, 0), (1855, 4),
(1855, 8), (1855,10), (1855,11), (1855,20), (1855,22), (1855,24), (1855,31),
(1856, 7), (1856, 9), (1856,17), (1856,29), (1856,31), (1857, 7), (1857,22),
(1857,23), (1857,26), (1857,27), (1857,31), (1858, 0), (1858,11), (1858,16),
(1858,26), (1858,27), (1859,30), (1860,11), (1860,17), (1860,19), (1860,29),
(1860,30), (1861, 3), (1861, 6), (1861,14), (1861,18), (1861,19), (1861,24),
(1862, 2), (1862,12), (1862,13), (1863, 5), (1863,11), (1863,16), (1863,26),
(1863,27), (1863,29), (1864, 3), (1864,21), (1864,22), (1864,29), (1865, 1),
(1865, 4), (1865,14), (1865,20), (1865,26), (1865,30), (1865,31), (1866, 1),
(1866, 6), (1866,12), (1866,14), (1867, 0), (1867, 1), (1867, 2), (1867,10),
(1867,17), (1867,25), (1867,31), (1868, 2), (1868, 3), (1869, 9), (1869,18),
(1869,21), (1869,27), (1869,28), (1870, 7), (1870,10), (1870,13), (1870,18),
(1870,25), (1871,17), (1871,26), (1871,27), (1871,30), (1872, 0), (1872, 8),
(1872,16), (1872,20), (1873, 2), (1873,11), (1873,12), (1873,16), (1873,18),
(1873,29), (1874,17), (1874,24), (1874,25), (1874,31), (1875, 0), (1875, 3),
(1875,12), (1875,22), (1875,24), (1876, 8), (1877, 1), (1877,19), (1877,26),
(1878, 4), (1878, 8), (1878,16), (1878,25), (1878,26), (1879,12), (1879,13),
(1879,16), (1879,28), (1880, 1), (1880, 5), (1880,17), (1880,21), (1880,24),
(1880,30), (1881, 2), (1881, 9), (1882, 2), (1882,19), (1882,27), (1882,28),
(1882,30), (1883, 8), (1883,27), (1884, 8), (1884,12), (1884,18), (1884,23),
(1884,25), (1884,26), (1884,29), (1884,31), (1885, 6), (1885, 9), (1885,19),
(1885,21), (1885,23), (1885,25), (1886,14), (1886,22), (1887, 5), (1887,18),
(1887,19), (1888, 0), (1888, 3), (1888,12), (1888,20), (1889, 5), (1889,10),
(1889,26), (1890, 9), (1890,15), (1890,20), (1890,28), (1890,29), (1891, 4),
(1891, 8), (1891,10), (1891,19), (1891,20), (1891,22), (1891,27), (1891,28),
(1891,30), (1892, 1), (1892, 7), (1892,13), (1892,18), (1892,19), (1893, 8),
(1893,14), (1893,23), (1893,26), (1893,30), (1894,25), (1895, 0), (1895, 3),
(1895, 8), (1895,22), (1895,24), (1896, 9), (1896,16), (1896,17), (1896,19),
(1896,23), (1896,30), (1897,10), (1897,11), (1897,20), (1897,26), (1897,27),
(1898, 0), (1898,12), (1898,22), (1898,27), (1900, 9), (1900,15), (1901, 1),
(1901,31), (1902, 1), (1902,14), (1902,27), (1902,28), (1903, 1), (1903, 5),
(1903, 7), (1903,12), (1904, 7), (1904,11), (1904,16), (1904,19), (1904,20),
(1904,27), (1904,28), (1905, 8), (1905,10), (1905,15), (1905,30), (1905,31),
(1906, 5), (1906, 7), (1906,16), (1906,27), (1906,28), (1907, 0), (1907, 2),
(1907, 3), (1907, 5), (1907,13), (1907,18), (1907,29), (1908,13), (1908,30),
(1909, 0), (1909, 4), (1909,15), (1909,24), (1909,27), (1910, 2), (1910, 3),
(1910, 6), (1910,10), (1910,13), (1911, 2), (1911, 8), (1911,12), (1911,13),
(1911,27), (1911,30), (1912,21), (1912,23), (1912,25), (1912,26), (1913,21),
(1913,22), (1913,24), (1913,27), (1914, 6), (1914,12), (1914,14), (1914,20),
(1914,31), (1915, 0), (1915, 3), (1915,21), (1915,27), (1915,30), (1916, 2),
(1916, 5), (1916,13), (1916,17), (1917, 2), (1917, 9), (1917,16), (1917,17),
(1918, 2), (1918,15), (1918,20), (1919, 4), (1919, 5), (1919, 9), (1919,16),
(1919,26), (1919,31), (1920,14), (1920,18), (1921,24), (1921,26), (1921,30),
(1922,10), (1922,15), (1923,15), (1923,27), (1924, 8), (1924,13), (1924,22),
(1924,28), (1925,11), (1925,16), (1925,29), (1926, 1), (1926, 6), (1926,13),
(1926,26), (1927,12), (1927,18), (1927,22), (1928, 4), (1928, 5), (1928, 6),
(1928, 8), (1928,14), (1929,28), (1930, 0), (1930, 8), (1930,19), (1931,12),
(1931,19), (1931,30), (1932, 1), (1932, 3), (1932,13), (1932,18), (1932,20),
(1932,23), (1932,31), (1933,21), (1933,24), (1933,26), (1933,28), (1933,29),
(1934, 5), (1934, 9), (1934,14), (1934,30), (1935, 7), (1935,12), (1935,19),
(1935,28), (1936, 3), (1936,15), (1937, 9), (1937,24), (1937,27), (1938, 5),
(1938,12), (1938,18), (1938,20), (1939, 4), (1939,17), (1939,21), (1939,26),
(1939,29), (1939,31), (1940, 1), (1940, 6), (1940, 7), (1940,15), (1940,29),
(1941, 0), (1941,10), (1941,17), (1941,20), (1941,22), (1941,27), (1942,17),
(1942,29), (1943, 0), (1943, 6), (1943,12), (1943,15), (1944,19), (1944,24),
(1945, 8), (1945,18), (1945,28), (1946, 2), (1946, 3), (1946, 8), (1946,12),
(1946,14), (1946,17), (1946,19), (1946,26), (1946,30), (1947, 0), (1947, 6),
(1947,18), (1947,27), (1948, 9), (1948,21), (1950, 0), (1950, 3), (1950, 7),
(1950,10), (1951, 6), (1951,13), (1951,15), (1951,29), (1952, 5), (1952, 9),
(1952,23), (1952,24), (1953, 6), (1953,13), (1953,22), (1954,16), (1954,22),
(1954,24), (1955,21), (1955,23), (1955,26), (1956, 1), (1956, 9), (1956,17),
(1956,23), (1956,26), (1957,24), (1957,28), (1957,29), (1958,11), (1959,26),
(1960,19), (1960,22), (1961,12), (1961,22), (1961,28), (1962, 5), (1962, 7),
(1962, 8), (1962,17), (1962,31), (1963, 8), (1963,13), (1963,16), (1963,20),
(1963,30), (1964, 9), (1964,21), (1964,24), (1964,26), (1965, 1), (1965, 8),
(1965,11), (1965,14), (1966,20), (1966,22), (1967,15), (1967,22), (1967,29),
(1968, 9), (1968,30), (1969, 8), (1969,10), (1970,15), (1970,27), (1970,28),
(1971,12), (1971,22), (1972, 7), (1972, 8), (1972,12), (1972,13), (1972,28),
(1973, 5), (1973,18), (1973,27), (1973,31), (1974, 6), (1974, 8), (1974,22),
(1975, 5), (1975, 9), (1975,14), (1975,21), (1976, 8), (1976,10), (1976,18),
(1977, 4), (1977,19), (1978, 1), (1978,12), (1978,19), (1978,22), (1978,23),
(1979, 5), (1979, 7), (1979, 9), (1979,22), (1979,23), (1979,30), (1980, 6),
(1980,10), (1980,11), (1980,14), (1980,20), (1980,23), (1981,15), (1981,23),
(1981,24), (1982, 0), (1982, 3), (1982,11), (1982,14), (1982,18), (1982,21),
(1983, 5), (1983,11), (1983,17), (1984,10), (1984,17), (1984,18), (1984,27),
(1985, 2), (1985, 4), (1985, 9), (1985,10), (1985,13), (1985,24), (1986, 3),
(1986,10), (1986,18), (1986,30), (1986,31), (1987, 1), (1987, 3), (1987,13),
(1987,19), (1988,14), (1988,19), (1989,14), (1989,16), (1990, 1), (1990, 7),
(1990, 8), (1990,13), (1990,31), (1991, 8), (1991,10), (1991,17), (1991,20),
(1991,31), (1992,24), (1993,28), (1993,29), (1993,30), (1994,18), (1994,19),
(1994,22), (1994,24), (1994,28), (1995, 6), (1995, 7), (1995,20), (1995,23),
(1995,30), (1995,31), (1996, 5), (1996, 8), (1996, 9), (1996,21), (1996,31),
(1997, 7), (1997,16), (1997,23), (1997,28), (1997,31), (1998, 2), (1998, 5),
(1998,14), (1998,22), (1999, 2), (2000, 3), (2000, 4), (2000,22), (2000,27),
(2001, 1), (2001, 3), (2001, 5), (2001, 6), (2001, 7), (2001,25), (2002,21),
(2002,22), (2002,24), (2002,28), (2003, 7), (2003,31), (2004, 1), (2004,10),
(2004,13), (2004,15), (2004,26), (2004,27), (2004,31), (2005, 2), (2005, 6),
(2005,22), (2005,25), (2005,30), (2006, 6), (2006,15), (2006,17), (2006,23),
(2006,27), (2007, 2), (2007, 9), (2007,10), (2007,12), (2007,21), (2008, 9),
(2008,19), (2008,27), (2009,16), (2010, 5), (2010,10), (2010,25), (2011, 0),
(2011,14), (2011,16), (2011,18), (2012,13), (2012,16), (2012,22), (2012,29),
(2013, 1), (2013,13), (2013,21), (2013,29), (2014,15), (2014,18), (2014,20),
(2014,21), (2014,25), (2015,11), (2015,19), (2016, 1), (2016,11), (2016,21),
(2016,27), (2016,29), (2017, 8), (2017,12), (2017,13), (2017,17), (2017,29),
(2018, 9), (2018,12), (2018,14), (2018,30), (2019, 4), (2019,15), (2019,16),
(2020, 7), (2020, 8), (2020,10), (2020,11), (2020,19), (2020,21), (2020,23),
(2021,10), (2021,11), (2021,13), (2021,17), (2021,23), (2022, 6), (2022,14),
(2022,20), (2022,26), (2022,28), (2023, 9), (2023,10), (2023,14), (2023,28),
(2024, 7), (2024, 8), (2024, 9), (2024,11), (2024,16), (2024,21), (2024,25),
(2024,31), (2025, 2), (2025, 4), (2025,14), (2025,20), (2025,28), (2026, 8),
(2026,23), (2026,25), (2026,26), (2026,29), (2027, 5), (2027,18), (2027,22),
(2028, 8), (2028,20), (2028,31), (2029, 1), (2029,25), (2029,28), (2030, 6),
(2030,20), (2030,22), (2030,25), (2030,31), (2031, 5), (2031, 9), (2031,14),
(2031,22), (2031,24), (2032, 2), (2032,19), (2032,23), (2032,26), (2032,31),
(2033,11), (2033,12), (2033,15), (2033,27), (2034,12), (2034,13), (2034,30),
(2035, 3), (2035, 9), (2035,16), (2035,18), (2035,24), (2035,31), (2036, 2),
(2036, 4), (2036,20), (2036,21), (2036,30), (2037, 1), (2037, 5), (2037, 7),
(2037, 8), (2037,16), (2037,17), (2037,24), (2038, 2), (2038,12), (2038,22),
(2038,28), (2038,30), (2039,11), (2039,29), (2040,22), (2040,24), (2040,26),
(2041, 5), (2041, 6), (2041, 9), (2041,18), (2041,23), (2042,13), (2042,17),
(2042,20), (2042,21), (2042,26), (2042,27), (2043,10), (2043,17), (2043,18),
(2043,23), (2043,26), (2043,29), (2043,31), (2044, 5), (2044, 6), (2044,15),
(2045,15), (2045,24), (2045,30), (2046, 5), (2046, 7), (2046,10), (2046,16),
(2046,23), (2046,24), (2046,31), (2047,10), (2047,24), (2047,30))
if __name__ == '__main__':
print([('0000000'+hex(((x << 32) | x) >> y & 0xffffffff)[2:])[-8:] for x in B25.data for y in range(32)])
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment