/* Auto-generated C file to test GCC's ARM constant pool ranges */
#include <stdlib.h>
#include <stdio.h>

unsigned long
foo(double pi)
{
	register volatile unsigned long ul;
	register volatile double df;
	ul = 0xdff85225UL;
	df = pi * 0x17df4558f4135393ULL;
	ul = 0x42447766UL;
	df = pi * 0xda74889d76f5462aULL;
	ul = 0xb90aeea8UL;
	df = pi * 0x165a995436b4e517ULL;
	ul = 0xe005b09fUL;
	df = pi * 0xa29c7b958fbf1069ULL;
	ul = 0x6e1b46c4UL;
	df = pi * 0xb0b97244950bc5f2ULL;
	ul = 0xfa1a6b91UL;
	df = pi * 0xe97319487b2fb99cULL;
	ul = 0x29e7c6d3UL;
	df = pi * 0xff4a0d78ab5d372fULL;
	ul = 0x3bfeca96UL;
	df = pi * 0x66c2f1c532c29208ULL;
	ul = 0xeac99d44UL;
	df = pi * 0xffa79e35194398d8ULL;
	ul = 0x180ee9dcUL;
	df = pi * 0xb26a6ff62fc188c6ULL;
	ul = 0x3eda6e8bUL;
	df = pi * 0xae06bceed5f470aaULL;
	ul = 0xfcffdfb2UL;
	df = pi * 0x02ea67ac98697739ULL;
	ul = 0x1ab9fe65UL;
	df = pi * 0x4ffae7b4278489c3ULL;
	ul = 0xeb21b84dUL;
	df = pi * 0xc3e4a28acbccacecULL;
	ul = 0xfc0590e9UL;
	df = pi * 0xc5d7f6c53a3df615ULL;
	ul = 0x00d53dc9UL;
	df = pi * 0x113134dd5724b446ULL;
	ul = 0x36a8cf3cUL;
	df = pi * 0x3dccd5ee83e75c44ULL;
	ul = 0xdd242c85UL;
	df = pi * 0x236fbdd63a253fa7ULL;
	ul = 0x0c50cb24UL;
	df = pi * 0x2cf2b762b194c2b5ULL;
	ul = 0x58ad33d3UL;
	df = pi * 0x73e6bd8fd5279c5bULL;
	ul = 0xf6527a19UL;
	df = pi * 0x89edd5145e0af275ULL;
	ul = 0x07e3f829UL;
	df = pi * 0x60dcf0d23fd35c62ULL;
	ul = 0xeffe9faaUL;
	df = pi * 0xa5d086f5317d8d8eULL;
	ul = 0x3f774e8dUL;
	df = pi * 0x6a2022e04f95fd71ULL;
	ul = 0x0a1b8534UL;
	df = pi * 0x1dfc7209858ef6eaULL;
	ul = 0x66649ae6UL;
	df = pi * 0xccb8f4d7c7192c63ULL;
	ul = 0xbb452138UL;
	df = pi * 0xc1386600b5f8e3f5ULL;
	ul = 0x18cc1f0bUL;
	df = pi * 0xd9fba0fea7eb74e5ULL;
	ul = 0x87043666UL;
	df = pi * 0xfaef581361f1d1acULL;
	ul = 0xd016e988UL;
	df = pi * 0xa04d2d641fab22f2ULL;
	ul = 0x823981d2UL;
	df = pi * 0xf2ccadfeba906084ULL;
	ul = 0x0b506aa9UL;
	df = pi * 0x0a581eb837769311ULL;
	ul = 0x6c964061UL;
	df = pi * 0xe592d32e61822224ULL;
	ul = 0x0fd617daUL;
	df = pi * 0xc28c7d07a4cc8a2dULL;
	ul = 0x2fa92ff8UL;
	df = pi * 0x63a5dad33794aa9cULL;
	ul = 0xee39bb93UL;
	df = pi * 0xe881dd4a3dc185acULL;
	ul = 0xd6952d81UL;
	df = pi * 0x9697a583bde841ebULL;
	ul = 0xb0c82703UL;
	df = pi * 0xe0353de9e4713ed6ULL;
	ul = 0xd93cd657UL;
	df = pi * 0xc2d6dd6cd4331e3eULL;
	ul = 0xb554fa85UL;
	df = pi * 0xa66790e9a1ac98f9ULL;
	ul = 0x9a6bb0ddUL;
	df = pi * 0x0ce4c73f6d7f3dd6ULL;
	ul = 0x45afa9d6UL;
	df = pi * 0x9b4b762da63b6f32ULL;
	ul = 0x8a5b6699UL;
	df = pi * 0xf9349db9dafc98daULL;
	ul = 0x5a86a094UL;
	df = pi * 0xbf7274cfcfbdd59aULL;
	ul = 0xe4c4b18eUL;
	df = pi * 0xb52577cf87583904ULL;
	ul = 0x3b0953cfUL;
	df = pi * 0xf1a5ad0bf3837524ULL;
	ul = 0xb0528839UL;
	df = pi * 0x3b79b2a52c942cd7ULL;
	ul = 0x6a986514UL;
	df = pi * 0x53f04f0a20eeb860ULL;
	ul = 0x4f35b347UL;
	df = pi * 0x4c4b9efd19fa9b14ULL;
	ul = 0x456cc1c6UL;
	df = pi * 0x390a026db7b45fbfULL;
	ul = 0xb9044d54UL;
	df = pi * 0xaf279b4180353095ULL;
	ul = 0x601e082aUL;
	df = pi * 0xad4a8e614400e046ULL;
	ul = 0x99a6a91dUL;
	df = pi * 0xaa2ac2298d355b25ULL;
	ul = 0xef6770b7UL;
	df = pi * 0xd8b7654503cff06cULL;
	ul = 0x513cb2fcUL;
	df = pi * 0xe04548bc26657c17ULL;
	ul = 0x8b21669fUL;
	df = pi * 0x8ea2b60a4cef7a45ULL;
	ul = 0xadfcc778UL;
	df = pi * 0x6a448f46027c4a8bULL;
	ul = 0x550b4215UL;
	df = pi * 0xa97339e73537e2fbULL;
	ul = 0x401abb91UL;
	df = pi * 0xda278aa53dc4fb57ULL;
	ul = 0xfea3742bUL;
	df = pi * 0xb86ae08ee26af71cULL;
	ul = 0x25a95d6eUL;
	df = pi * 0x9f0a2fc083323d2cULL;
	ul = 0x2e9ad634UL;
	df = pi * 0x5b6a8f9beb609826ULL;
	ul = 0x72fc35d5UL;
	df = pi * 0xce16da5327c8e93bULL;
	ul = 0x48fce949UL;
	df = pi * 0x21704bf04945dc1eULL;
	ul = 0x96e7fa78UL;
	df = pi * 0x7fad46e4b7f46ef5ULL;
	ul = 0x9d694c1fUL;
	df = pi * 0x7409ed133c134ccdULL;
	ul = 0xb869c735UL;
	df = pi * 0x5c2bd10b22642cc7ULL;
	ul = 0x5a41b4d0UL;
	df = pi * 0x12674677f0dfddc5ULL;
	ul = 0x66d4e355UL;
	df = pi * 0x3f1b13b673e0a9b1ULL;
	ul = 0x57379c57UL;
	df = pi * 0x7a27d0d382bf6b03ULL;
	ul = 0x816eefecUL;
	df = pi * 0xe5d8d13318129f52ULL;
	ul = 0x30bc0e7cUL;
	df = pi * 0x48ee18228481f9a6ULL;
	ul = 0xa176df8aUL;
	df = pi * 0xfe6e4d43abfd7fdfULL;
	ul = 0x2d098635UL;
	df = pi * 0x798dfb006182cb2bULL;
	ul = 0xe8d3e7b9UL;
	df = pi * 0x7b6910e8870ce96cULL;
	ul = 0xa1cf4301UL;
	df = pi * 0x3b4cf237e83897d5ULL;
	ul = 0x15410adbUL;
	df = pi * 0xfdd326c48468de8cULL;
	ul = 0x74ed230bUL;
	df = pi * 0x15e39c3974850c9fULL;
	ul = 0x747270c6UL;
	df = pi * 0x3a071581de1fe36eULL;
	ul = 0xab9fd8c4UL;
	df = pi * 0x7901fffb114bf4efULL;
	ul = 0xa360a475UL;
	df = pi * 0x0aa2820150e49ae2ULL;
	ul = 0xce0c8600UL;
	df = pi * 0xce445074d7879415ULL;
	ul = 0xdf42e31aUL;
	df = pi * 0xabe14647823afe4dULL;
	ul = 0xa69a227cUL;
	df = pi * 0xc237f919bb27b08bULL;
	ul = 0x90d6d6f4UL;
	df = pi * 0x3e065d2ae87c3878ULL;
	ul = 0xd6be801bUL;
	df = pi * 0x051fba0d20e4a120ULL;
	ul = 0x44e75b5bUL;
	df = pi * 0x2d1aa944a195e879ULL;
	ul = 0xde5db096UL;
	df = pi * 0x2371234eb3352d30ULL;
	ul = 0xea8b8d8dUL;
	df = pi * 0x95b101735527c7fcULL;
	ul = 0x309de417UL;
	df = pi * 0x9e21f867332fde16ULL;
	ul = 0x0105fa06UL;
	df = pi * 0x8c3710a8c3dc527eULL;
	ul = 0x640b3d2eUL;
	df = pi * 0x6efe1275f60bf9ffULL;
	ul = 0xd177d04eUL;
	df = pi * 0x30806746722ad9b9ULL;
	ul = 0xcc770e13UL;
	df = pi * 0x0f369329bef85c5fULL;
	ul = 0x646ef0f0UL;
	df = pi * 0x67b03eab22517dccULL;
	ul = 0x8de47ed2UL;
	df = pi * 0xf487d9be890e29feULL;
	ul = 0xa193f4c9UL;
	df = pi * 0xabb30f673aef5603ULL;
	ul = 0x44b469dcUL;
	df = pi * 0x93acab3a4eb06ab6ULL;
	ul = 0xbaa05f79UL;
	df = pi * 0xe6eeb622ad1bc5bcULL;
	ul = 0x63b246d0UL;
	df = pi * 0xe9e28b629d8054cdULL;
	ul = 0x858eeba5UL;
	df = pi * 0x1ccc3c20db4d507aULL;
	ul = 0x68f91741UL;
	df = pi * 0x95ccc51d38a5b2e3ULL;
	ul = 0x4bc37cebUL;
	df = pi * 0x932a7f29e7a61d34ULL;
	ul = 0x95ec7ef6UL;
	df = pi * 0x4e4a89353f508222ULL;
	ul = 0xa5c63706UL;
	df = pi * 0x35940befd28529b6ULL;
	ul = 0x3330a52eUL;
	df = pi * 0x8bcb8f3a772cb87dULL;
	ul = 0x5c1f2635UL;
	df = pi * 0x7ce01c4ef08dd6fcULL;
	ul = 0x2434f5c1UL;
	df = pi * 0xa661e852a26389e7ULL;
	ul = 0xab5be239UL;
	df = pi * 0x5c29db64a7354b8eULL;
	ul = 0xbef6231dUL;
	df = pi * 0xc92bda38474de16fULL;
	ul = 0xd7a17de2UL;
	df = pi * 0x2895dfd5fa5b398cULL;
	ul = 0x62cc6e30UL;
	df = pi * 0x236976931e914c38ULL;
	ul = 0xb1f8be64UL;
	df = pi * 0x30f6268b757cf601ULL;
	ul = 0xa0f7390aUL;
	df = pi * 0x599a0421f8b82ef1ULL;
	ul = 0x83c1fd8fUL;
	df = pi * 0x00b3d0e1b51e8b74ULL;
	ul = 0x48805f9fUL;
	df = pi * 0x58efef58959e8394ULL;
	ul = 0x66ecaf33UL;
	df = pi * 0x0d594f49fd7a7e2bULL;
	ul = 0x53e48b79UL;
	df = pi * 0xa400745bf68a9e80ULL;
	ul = 0x416bebccUL;
	df = pi * 0x5aabc57a7ed05403ULL;
	ul = 0xffef05c4UL;
	df = pi * 0x89e31fc049085eddULL;
	ul = 0x71a3964cUL;
	df = pi * 0xbe0479ed0478670eULL;
	ul = 0x1fd9dc40UL;
	df = pi * 0x5e433a00ac96d353ULL;
	ul = 0x2f4188a6UL;
	df = pi * 0x2c7f29afd7ddcfc9ULL;
	ul = 0xc6708296UL;
	df = pi * 0x1159fe16f331ca75ULL;
	ul = 0x4d07b724UL;
	df = pi * 0x1e0b02e9d37be1b5ULL;
	ul = 0xcbab1b93UL;
	df = pi * 0x0f6beb78201824eeULL;
	ul = 0xba88f7d2UL;
	df = pi * 0x9c8170a8d84287dbULL;
	ul = 0x2c3826c7UL;
	df = pi * 0xa6d585b820438d10ULL;
	ul = 0x74b14f58UL;
	df = pi * 0x0e947c0a1809db5eULL;
	ul = 0x1c9be41aUL;
	df = pi * 0xf9d77ed8129093feULL;
	ul = 0x886e1744UL;
	df = pi * 0x448ddd74de63faf4ULL;
	ul = 0xf47bce83UL;
	df = pi * 0xa22e33cd32dbf38eULL;
	ul = 0xb875cd91UL;
	df = pi * 0x9c7a5e1ceb9f5492ULL;
	ul = 0x32c3bccbUL;
	df = pi * 0x4f561516cb332311ULL;
	ul = 0xd2ba6b69UL;
	df = pi * 0xafdff44f6955f38eULL;
	ul = 0x946d39eeUL;
	df = pi * 0x1903cf6b1c43ddd1ULL;
	ul = 0x85670784UL;
	df = pi * 0x39c1d3b3d0e1838bULL;
	ul = 0x9591b716UL;
	df = pi * 0xcc4d3647687ba0f2ULL;
	ul = 0x27b305e2UL;
	df = pi * 0xe7575069d4d0a754ULL;
	ul = 0x21510334UL;
	df = pi * 0xfc85f159c169f4ffULL;
	ul = 0x0b67bf8dUL;
	df = pi * 0x33f1b9686d9f0a65ULL;
	ul = 0xa40a3f86UL;
	df = pi * 0x993ef0f9e8385b12ULL;
	ul = 0x3b0796bdUL;
	df = pi * 0x7ab6bd33c28c5d53ULL;
	ul = 0xf6bdf6f7UL;
	df = pi * 0x390d1f753ef18df0ULL;
	ul = 0xce07f2f8UL;
	df = pi * 0x672c9d361bc6fc96ULL;
	ul = 0x28bdb730UL;
	df = pi * 0x6c7f8975ef055da9ULL;
	ul = 0x236915ccUL;
	df = pi * 0x8d59dea3539faf5fULL;
	ul = 0x6669afa4UL;
	df = pi * 0x4ce90b91da5db652ULL;
	ul = 0xd1c52307UL;
	df = pi * 0xedc4d67320334e86ULL;
	ul = 0x3429e9fdUL;
	df = pi * 0xa732a95de4662bb6ULL;
	ul = 0x27aaed89UL;
	df = pi * 0x94cf6f634ebcfbdbULL;
	ul = 0xcf575e14UL;
	df = pi * 0x787ffbfcc5af7d6fULL;
	ul = 0xbc1fbc6dUL;
	df = pi * 0xb26a9791132e8a8fULL;
	ul = 0xdb320edfUL;
	df = pi * 0xf4015ee6a4fe385aULL;
	ul = 0x88244b0cUL;
	df = pi * 0x1c6a0132bba80740ULL;
	ul = 0x3c00a307UL;
	df = pi * 0xdd22f466b4cea784ULL;
	ul = 0xa9e2735cUL;
	df = pi * 0xe258a6f866ae2b57ULL;
	ul = 0x7ee53fb4UL;
	df = pi * 0xcd54879efa888d4fULL;
	ul = 0x4dbccdb8UL;
	df = pi * 0x3a7aa9f1cb1dbac7ULL;
	ul = 0xcdf9a616UL;
	df = pi * 0x00aea62268a08f6dULL;
	ul = 0x3ab7ee44UL;
	df = pi * 0xa850d64977bdead9ULL;
	ul = 0xa12facafUL;
	df = pi * 0x088c5778bbe3dd85ULL;
	ul = 0x4a157fbaUL;
	df = pi * 0xd7f49cbd4b763ecaULL;
	ul = 0xc611708dUL;
	df = pi * 0xdcfeb059cf957a81ULL;
	ul = 0xe3088a9eUL;
	df = pi * 0xcddc4c851a39572dULL;
	ul = 0x5672e1cbUL;
	df = pi * 0xfe0d655939bf2031ULL;
	ul = 0x5604b15bUL;
	df = pi * 0x4e116ec1035ee764ULL;
	ul = 0xefacb6e4UL;
	df = pi * 0xa04611e10347aae6ULL;
	ul = 0x84b3a3e5UL;
	df = pi * 0xfb323c1069c88dc0ULL;
	ul = 0x978f770bUL;
	df = pi * 0x407d564923c93d37ULL;
	ul = 0x4bb26726UL;
	df = pi * 0xa56be84d057aec10ULL;
	ul = 0x259a5644UL;
	df = pi * 0x54d8afbd496ca4eaULL;
	ul = 0x0f88749cUL;
	df = pi * 0x878db6bca7e86296ULL;
	ul = 0xa6591073UL;
	df = pi * 0xf56e3d07402e4ef7ULL;
	ul = 0xe89793c5UL;
	df = pi * 0x0df14b43a0b5eb26ULL;
	ul = 0x8b3c5e5aUL;
	df = pi * 0x9bc0b378ce3462c1ULL;
	ul = 0xe38e21a0UL;
	df = pi * 0xc9c255d9f595b4a8ULL;
	ul = 0x14adc18aUL;
	df = pi * 0x078fccbbf8151be7ULL;
	ul = 0x021f9650UL;
	df = pi * 0x8af3a8619a1c3626ULL;
	ul = 0xdb5ddf63UL;
	df = pi * 0x59dde5e8dfc0602eULL;
	ul = 0x42a597e2UL;
	df = pi * 0x959054191e8cf10cULL;
	ul = 0x956e9663UL;
	df = pi * 0xbce6397c0494a886ULL;
	ul = 0x5d0b1384UL;
	df = pi * 0x6a39f8fdb6dd71e7ULL;
	ul = 0x7649b11dUL;
	df = pi * 0x87a10d6f85479aa0ULL;
	ul = 0xc2035f9cUL;
	df = pi * 0x8fb85c28ba866fa6ULL;
	ul = 0x09c875eeUL;
	df = pi * 0x985dda341d1c1f33ULL;
	ul = 0x34bd6fdaUL;
	df = pi * 0xf5ba07e2ceceec38ULL;
	ul = 0x98f5d190UL;
	df = pi * 0xbf5115f1eab084f9ULL;
	ul = 0xe63735c3UL;
	df = pi * 0x972ec2de5597bfcaULL;
	ul = 0xf7256da5UL;
	df = pi * 0x3f712adca9e72b88ULL;
	ul = 0xd58e7490UL;
	df = pi * 0x494a8a023df35de9ULL;
	ul = 0x5bccb045UL;
	df = pi * 0xc5a330fa86295de8ULL;
	ul = 0xa6b65cf2UL;
	df = pi * 0x331039cd504d5825ULL;
	ul = 0xa7d6a4a0UL;
	df = pi * 0x069e0b983d3241c3ULL;
	ul = 0x31b08593UL;
	df = pi * 0xa60e00765c207612ULL;
	ul = 0x3f24db1fUL;
	df = pi * 0xc2fdf58dedd7ccfbULL;
	ul = 0x88450d82UL;
	df = pi * 0x17413d12c9fcecccULL;
	ul = 0x9470dd07UL;
	df = pi * 0x5177e37b5103eeeeULL;
	ul = 0xdf0391d1UL;
	df = pi * 0x208d2ba492a85613ULL;
	ul = 0xf8b287bdUL;
	df = pi * 0x3f45a247b1b731a6ULL;
	ul = 0x477a72bcUL;
	df = pi * 0xb0d693ee2d30d132ULL;
	ul = 0xcdf14681UL;
	df = pi * 0x9637c2e27d610615ULL;
	ul = 0x0ce471d3UL;
	df = pi * 0x42fb1c57c593ebe2ULL;
	ul = 0xa82eb268UL;
	df = pi * 0x8aa1166f61f5eb51ULL;
	ul = 0x982de342UL;
	df = pi * 0xdf490211fba608c9ULL;
	ul = 0x0b95ed3cUL;
	df = pi * 0x7fc408a93c70b690ULL;
	ul = 0x7a8a1aeeUL;
	df = pi * 0xb14203b56cfd9b4bULL;
	ul = 0x73a96bd0UL;
	df = pi * 0xa88f2891523a90b4ULL;
	ul = 0x6bc34a29UL;
	df = pi * 0xdc9d5f38a998ad28ULL;
	ul = 0x2f6e3497UL;
	df = pi * 0xe74b8cfff19e7f99ULL;
	ul = 0xb8dfe27fUL;
	df = pi * 0x884ffe9f58e10828ULL;
	ul = 0xe2cd0c78UL;
	df = pi * 0x07335fa5e664ec6dULL;
	ul = 0xd66487ceUL;
	df = pi * 0x1c6e1ecb17b46acbULL;
	ul = 0xa042bd8fUL;
	df = pi * 0xc1cad9bc52c9a61eULL;
	ul = 0x39ca600cUL;
	df = pi * 0xc6316caa57b30aecULL;
	ul = 0x6bce34a4UL;
	df = pi * 0xda48ec801d5c9b5eULL;
	ul = 0x2de9cebfUL;
	df = pi * 0x8e85c0d8e2175700ULL;
	ul = 0xb3f633f2UL;
	df = pi * 0x5b68a56b737e1e79ULL;
	ul = 0xda4db293UL;
	df = pi * 0xb46e6ade8c2d80c9ULL;
	ul = 0xbdecdffeUL;
	df = pi * 0xb3acd56e4ab4cec4ULL;
	ul = 0xa4314b8cUL;
	df = pi * 0xff8f00f3e16467a8ULL;
	ul = 0x9dc874caUL;
	df = pi * 0xc446078d65d744c2ULL;
	ul = 0x66ac2eb9UL;
	df = pi * 0xd88011cb95a53ec9ULL;
	ul = 0x356711efUL;
	df = pi * 0x9dbbd9f2f967e79aULL;
	ul = 0x188a61adUL;
	df = pi * 0x51ab3d1109d86449ULL;
	ul = 0x043b3461UL;
	df = pi * 0x9ce3b157d4608430ULL;
	ul = 0xf73b4672UL;
	df = pi * 0x0a5a2bd3379b54feULL;
	ul = 0x3928ae5eUL;
	df = pi * 0x46701e2e6f11aa94ULL;
	ul = 0x7234b50aUL;
	df = pi * 0xc1c8549881c93561ULL;
	ul = 0xf172dda8UL;
	df = pi * 0x8393894f57a69e97ULL;
	ul = 0x6a3d98fbUL;
	df = pi * 0x3df5da9d14063466ULL;
	ul = 0x901bc49aUL;
	df = pi * 0xee3bf42afef0d336ULL;
	ul = 0x0eedf901UL;
	df = pi * 0x15324c179cee3633ULL;
	ul = 0xece4ad64UL;
	df = pi * 0xecc6befb9ba54828ULL;
	ul = 0x7e637a32UL;
	df = pi * 0xa9e87ede4d6643e5ULL;
	ul = 0xad8a9726UL;
	df = pi * 0x0b9cb320cfff0bc8ULL;
	ul = 0x43586723UL;
	df = pi * 0xd8936a5cd36b578bULL;
	ul = 0xcaeb2852UL;
	df = pi * 0xb50d04b284777ab7ULL;
	ul = 0x05c69d52UL;
	df = pi * 0x88cf8666df3f0971ULL;
	ul = 0x02ef2ad1UL;
	df = pi * 0x9528dd9fc3307584ULL;
	ul = 0xb40e8b45UL;
	df = pi * 0x81b756d60a33efe9ULL;
	ul = 0x1c2a25c6UL;
	df = pi * 0xdf2cbba8b6bd7ac8ULL;
	ul = 0x1218282cUL;
	df = pi * 0x86403e7f4b6f8379ULL;
	ul = 0xf85dea34UL;
	df = pi * 0xd7506e7d631e9df3ULL;
	ul = 0x673f63efUL;
	df = pi * 0xa1c862b2e2cde6cbULL;
	ul = 0x692ca922UL;
	df = pi * 0x41d75fd1792022b6ULL;
	ul = 0x020ca5a4UL;
	df = pi * 0x79b01163254fad17ULL;
	ul = 0x3b55a828UL;
	df = pi * 0x2eaf9261c774c5ebULL;
	ul = 0x8d7f0f71UL;
	df = pi * 0xa24d274650dd4e6aULL;
	ul = 0xbb50a3caUL;
	df = pi * 0x8143ddf2d53075bcULL;
	ul = 0x5777dad4UL;
	df = pi * 0xa1134eb2b48846a0ULL;
	ul = 0x63a562f9UL;
	df = pi * 0x324c43412a3ed5efULL;
	ul = 0x65f9653eUL;
	df = pi * 0x7c539a7bb45c7b56ULL;
	ul = 0x355b8ff3UL;
	df = pi * 0x68ac4c2760cd9d39ULL;
	ul = 0xacece64bUL;
	df = pi * 0xf0b2509995cb369aULL;
	ul = 0x72f5b782UL;
	df = pi * 0x02653fd0a978dc4cULL;
	ul = 0x235d6fd6UL;
	df = pi * 0xccedd95ce8fc483eULL;
	ul = 0x6000971fUL;
	df = pi * 0xdbfe3a8cdb670becULL;
	ul = 0x9bd853d7UL;
	df = pi * 0x1d6d4b407d37c2daULL;
	ul = 0x0f8ea156UL;
	df = pi * 0xcf701d9649de9890ULL;
	ul = 0x85e4f681UL;
	df = pi * 0x502a4f13381dfe69ULL;
	ul = 0x8d574d8bUL;
	df = pi * 0x4ba3f36970f1aa62ULL;
	ul = 0xf68280bfUL;
	df = pi * 0x7276ba59fda3ab6fULL;
	ul = 0xb3f42f34UL;
	df = pi * 0x1013ebedc0f6389bULL;
	ul = 0x190d0927UL;
	df = pi * 0x9ee94d818c45b1ceULL;
	ul = 0x8c5657b2UL;
	df = pi * 0xa7655c7f7216b8e8ULL;
	ul = 0x20d11cc8UL;
	df = pi * 0x1ff1f0fa00b73691ULL;
	ul = 0xfc71f12fUL;
	df = pi * 0xb090e63e0297292cULL;
	ul = 0x4be5961aUL;
	df = pi * 0xd1c952839bf631b7ULL;
	ul = 0x59cf52e7UL;
	df = pi * 0x7b2ab5b441404f9fULL;
	ul = 0x436e1706UL;
	df = pi * 0x34b46eb7dca12e09ULL;
	ul = 0x9333dcc0UL;
	df = pi * 0x19211d9ac94a3935ULL;
	ul = 0xdfbeb437UL;
	df = pi * 0x66ca3fa80c26c107ULL;
	ul = 0x72f1ab86UL;
	df = pi * 0xdd2f2785efac76cfULL;
	ul = 0xd657c0d5UL;
	df = pi * 0xa4299fb15308d214ULL;
	ul = 0x957ab51cUL;
	df = pi * 0x7635361c722f4b65ULL;
	ul = 0x98da27cfUL;
	df = pi * 0x3b47ef932c30e200ULL;
	ul = 0xe9340a89UL;
	df = pi * 0x11eefabf356c7b94ULL;
	ul = 0xd6343ddbUL;
	df = pi * 0x2a7ebea2ae2ce511ULL;
	ul = 0xa6f47690UL;
	df = pi * 0x35b78a8b175e0990ULL;
	ul = 0x06b40da5UL;
	df = pi * 0x74bc5ccfe101b804ULL;
	ul = 0x3cedf5ddUL;
	df = pi * 0x7def1ecd190da86aULL;
	ul = 0x75e967d1UL;
	df = pi * 0x0ce7cbb17213bb69ULL;
	ul = 0xda4aed10UL;
	df = pi * 0x35f702c81be4baafULL;
	ul = 0xbcd85988UL;
	df = pi * 0xeebd07051935e3d6ULL;
	ul = 0x0083aeb1UL;
	df = pi * 0x46b256a1e91e71bdULL;
	ul = 0xa578c106UL;
	df = pi * 0x7d443296cc610182ULL;
	ul = 0x01f23987UL;
	df = pi * 0x47867ca1c0f4db9eULL;
	ul = 0xbf056e94UL;
	df = pi * 0x2b7b26ec7a5adab9ULL;
	ul = 0x19e3b9b9UL;
	df = pi * 0xc9949a681e7ede1eULL;
	ul = 0x394b3102UL;
	df = pi * 0xab8fa62469cd9274ULL;
	ul = 0xd4d0afa3UL;
	df = pi * 0xa63167e171ebb01aULL;
	ul = 0x484cf3dbUL;
	df = pi * 0x74c568c700141ba5ULL;
	ul = 0x466f8d90UL;
	df = pi * 0x7eb95213641a96f8ULL;
	ul = 0x50fe0878UL;
	df = pi * 0x853737885c52499dULL;
	ul = 0x46f74d42UL;
	df = pi * 0xff90ddb55870d62aULL;
	ul = 0x54adeddaUL;
	df = pi * 0xf77c337d0044388bULL;
	ul = 0xc4df5370UL;
	df = pi * 0x5994024122d172d2ULL;
	ul = 0xb7fb4f3cUL;
	df = pi * 0x0f81cdd27d5f382bULL;
	ul = 0x0dbb5623UL;
	df = pi * 0x00115c8c0c1d7c9eULL;
	ul = 0x8fb58609UL;
	df = pi * 0xe164b1f92125eb9cULL;
	ul = 0x41efe4bbUL;
	df = pi * 0x97e6fa2ef960d74cULL;
	ul = 0x434b7da5UL;
	df = pi * 0x06690db69d4eacb7ULL;
	ul = 0x1b94981eUL;
	df = pi * 0x316bb1df682af827ULL;
	ul = 0x77067596UL;
	df = pi * 0x4a3f2bc0c3e61894ULL;
	ul = 0xb18ad8d8UL;
	df = pi * 0x9314cc13a4f5c7cdULL;
	ul = 0xdcd7e270UL;
	df = pi * 0x58570bd1af375ec3ULL;
	ul = 0x528f4da2UL;
	df = pi * 0x5bbbd14c1897312bULL;
	ul = 0x753f0132UL;
	df = pi * 0xa19215845b0030ccULL;
	ul = 0xeebd6384UL;
	df = pi * 0x33218dd4573ac7ddULL;
	ul = 0xa692657dUL;
	df = pi * 0xa664db2adce4ff67ULL;
	ul = 0xa690a801UL;
	df = pi * 0x16276a65aeb30355ULL;
	ul = 0x333ec136UL;
	df = pi * 0xa50e7d402890f237ULL;
	ul = 0x9f99bcedUL;
	df = pi * 0xfa62a7f1545e778dULL;
	ul = 0x367ba287UL;
	df = pi * 0xf7588d0cf453b6fdULL;
	ul = 0x0885b47fUL;
	df = pi * 0xebc60ac9d3e3d0c3ULL;
	ul = 0xcdf813f2UL;
	df = pi * 0xec6514d2f32c4b4dULL;
	ul = 0x4b7c4ca9UL;
	df = pi * 0x303490eb3e88ef3aULL;
	ul = 0x9c895ce3UL;
	df = pi * 0xe474cd1da62fcb2bULL;
	ul = 0xd13e1e6eUL;
	df = pi * 0x96418ab41408e813ULL;
	ul = 0x3ac991c8UL;
	df = pi * 0x4e6f6da69cad2859ULL;
	ul = 0xb422256cUL;
	df = pi * 0xba6d49fa71d2e2edULL;
	ul = 0x7c08134dUL;
	df = pi * 0xacd64e65797ab121ULL;
	ul = 0xff460daeUL;
	df = pi * 0xd5b0cd4c75b8ab49ULL;
	ul = 0x1286f929UL;
	df = pi * 0xecac857c11f31606ULL;
	ul = 0xb136aaffUL;
	df = pi * 0xa7b59a35ea3c7b84ULL;
	ul = 0x72614163UL;
	df = pi * 0xa7e9262e2fc897eaULL;
	ul = 0x903bdf10UL;
	df = pi * 0x635601d366143d3fULL;
	ul = 0x1cc4de04UL;
	df = pi * 0x04071f3edbe75b19ULL;
	ul = 0x86f03367UL;
	df = pi * 0xbd5c8d1add14fad3ULL;
	ul = 0x8fccc6fbUL;
	df = pi * 0x76f739e38df6b81eULL;
	ul = 0x7a835bb4UL;
	df = pi * 0x98b5f21b7ea0755bULL;
	ul = 0xbf1b5c30UL;
	df = pi * 0x0767293e91d7005bULL;
	ul = 0x251fd2c2UL;
	df = pi * 0x95b9c746bd686481ULL;
	ul = 0xffed851eUL;
	df = pi * 0x78271a337b5a431cULL;
	ul = 0xf7442fa1UL;
	df = pi * 0xce2a56c823c712c3ULL;
	ul = 0x025bd30bUL;
	df = pi * 0xb5beb08d956a0468ULL;
	ul = 0x7d802415UL;
	df = pi * 0xd11131aed443b2aaULL;
	ul = 0x0bedf8bdUL;
	df = pi * 0x354b0f9eea6d1b48ULL;
	ul = 0x5a780f5eUL;
	df = pi * 0x150ae9686d96b485ULL;
	ul = 0x227caff4UL;
	df = pi * 0x13fa6574783a3b2aULL;
	ul = 0x98010dfaUL;
	df = pi * 0xffb695c263c16701ULL;
	ul = 0x2358b4c2UL;
	df = pi * 0xc57ba42f55730ac0ULL;
	ul = 0xbce814a9UL;
	df = pi * 0x01550bdbd3cd1417ULL;
	ul = 0x0d998d4cUL;
	df = pi * 0xe718f52c719a86cfULL;
	ul = 0xef280677UL;
	df = pi * 0xfb0073ddfe439b61ULL;
	ul = 0x2ebd46d7UL;
	df = pi * 0xb00aec87e3798a8aULL;
	ul = 0xe3540c10UL;
	df = pi * 0x105fb1427f933a00ULL;
	ul = 0x33747e86UL;
	df = pi * 0x00dd5c6fa0400a31ULL;
	ul = 0x0cd39173UL;
	df = pi * 0x884d1d7d35c0d959ULL;
	ul = 0x74495dd2UL;
	df = pi * 0xa0f87edb4bb3002eULL;
	ul = 0xa2839b4aUL;
	df = pi * 0xd59095c8bf907d3eULL;
	ul = 0xd8cb0c72UL;
	df = pi * 0x77444eb83c76ea1fULL;
	ul = 0x8445b339UL;
	df = pi * 0x9cad6e977fbfb2d6ULL;
	ul = 0x694e3aadUL;
	df = pi * 0xf73956804be0dd5aULL;
	ul = 0x53fb16a9UL;
	df = pi * 0x6b0466b1f1c2ccd7ULL;
	ul = 0xc72bf2e3UL;
	df = pi * 0xdeb7f91c42479b3dULL;
	ul = 0x163f6946UL;
	df = pi * 0x989ef1811350506dULL;
	ul = 0xd3b33b5fUL;
	df = pi * 0x6dc08997e219835bULL;
	ul = 0x3b405e3fUL;
	df = pi * 0x633637949b499504ULL;
	ul = 0x83ee47e7UL;
	df = pi * 0x2d4bf60f73d4e3e1ULL;
	ul = 0x79142003UL;
	df = pi * 0xba66abc72aaecb0eULL;
	ul = 0x0966a982UL;
	df = pi * 0xbb20f43d2ba84800ULL;
	ul = 0x32b1806bUL;
	df = pi * 0x056b49869946c0f2ULL;
	ul = 0x122bbf94UL;
	df = pi * 0xeeb063809cbd5b53ULL;
	ul = 0x5fa45483UL;
	df = pi * 0x3df4a6b7b1dc8a1dULL;
	ul = 0x35e2ea7eUL;
	df = pi * 0x12f44e01b0fe8621ULL;
	ul = 0x60426faeUL;
	df = pi * 0xe8d01ab570385e11ULL;
	ul = 0xf77c4278UL;
	df = pi * 0xcc6f2bacec0b461cULL;
	ul = 0xae5e272dUL;
	df = pi * 0x5c017a8f6587ea18ULL;
	ul = 0xe605753cUL;
	df = pi * 0x062f6f9d313744b3ULL;
	ul = 0xac9fdca6UL;
	df = pi * 0xb9eedc67c9d900ceULL;
	ul = 0x58c327d6UL;
	df = pi * 0x4a051789816694a3ULL;
	ul = 0x4659c39bUL;
	df = pi * 0x1b808f533c40cd08ULL;
	ul = 0xd78aa107UL;
	df = pi * 0xfa3b57d8622b9588ULL;
	ul = 0xf0d1f0e5UL;
	df = pi * 0xbff430aedc0239b6ULL;
	ul = 0x11ab9d23UL;
	df = pi * 0xc3fe92c3c3496c8bULL;
	ul = 0x378f648dUL;
	df = pi * 0xe62110cde27022a2ULL;
	ul = 0x64646e21UL;
	df = pi * 0x0a25d8885b82f36eULL;
	ul = 0x591002f6UL;
	df = pi * 0x3eac2ebe352f04c8ULL;
	ul = 0x7b8f583cUL;
	df = pi * 0x49e5a301fdd5bb6cULL;
	ul = 0x16dd82d2UL;
	df = pi * 0x92bdae9ba9dadebdULL;
	ul = 0x1a480d0eUL;
	df = pi * 0x97add69eb2279834ULL;
	ul = 0x5876e669UL;
	df = pi * 0x6936982eda19d3c6ULL;
	ul = 0xb62db961UL;
	df = pi * 0x6ecea0c0c37b3861ULL;
	ul = 0x351c18a2UL;
	df = pi * 0x16b1af3318e6bf87ULL;
	ul = 0xe11a1893UL;
	df = pi * 0xdc91726e714c19eeULL;
	ul = 0xdc0f9618UL;
	df = pi * 0xf63a60a346e2d8a8ULL;
	ul = 0x33981827UL;
	df = pi * 0xd56f8b7bda4fe6ffULL;
	ul = 0x48393bf9UL;
	df = pi * 0xa4f63222ae5ef86cULL;
	ul = 0x86803311UL;
	df = pi * 0xf4d36a8477c1fa29ULL;
	ul = 0xed95e382UL;
	df = pi * 0xcf24351849b2881fULL;
	ul = 0xf47cd3c5UL;
	df = pi * 0x20f30245cb93e332ULL;
	ul = 0x91aca182UL;
	df = pi * 0x09d93738beabbae2ULL;
	ul = 0xc31db045UL;
	df = pi * 0x4e242d3039b26363ULL;
	ul = 0x3761beb0UL;
	df = pi * 0xfb98ee8f521ac0a3ULL;
	ul = 0x1bd1369aUL;
	df = pi * 0x42231c259cf939dcULL;
	ul = 0xe73eb005UL;
	df = pi * 0x8d2c77a9bf974b73ULL;
	ul = 0x9db30f33UL;
	df = pi * 0xc76e02c67a1cf6e4ULL;
	ul = 0x557cadf1UL;
	df = pi * 0xff28b0c854497a6dULL;
	ul = 0x92812fb0UL;
	df = pi * 0x1c4852ab3ae79b7cULL;
	ul = 0x5fb05ef3UL;
	df = pi * 0x2a0f8500bd31f644ULL;
	ul = 0x9aec8de4UL;
	df = pi * 0x1b6087faa488aa17ULL;
	ul = 0x5e6b8886UL;
	df = pi * 0x2f0b115ec6a58541ULL;
	ul = 0x5779fc5fUL;
	df = pi * 0x38bf24f68145fd24ULL;
	ul = 0xbbe624cbUL;
	df = pi * 0x6333ddcaff94214fULL;
	ul = 0x1b3565a4UL;
	df = pi * 0xc18032b61d515ce2ULL;
	ul = 0x8c8050b1UL;
	df = pi * 0x3917d94e555ec838ULL;
	ul = 0xf1f5bc18UL;
	df = pi * 0x8a8e64f306b753daULL;
	ul = 0x1ba72098UL;
	df = pi * 0x0be0b81c0381705aULL;
	ul = 0x4f8a6040UL;
	df = pi * 0x01b5723ad96fbda3ULL;
	ul = 0xff76fca1UL;
	df = pi * 0x8c6186c2d9eb931fULL;
	ul = 0x8786d5e6UL;
	df = pi * 0xbc05f7d71daa1aabULL;
	ul = 0x5d8ded0bUL;
	df = pi * 0x24129cf529823cacULL;
	ul = 0xad8acd65UL;
	df = pi * 0xa268ae58fb308898ULL;
	ul = 0x56a8ae77UL;
	df = pi * 0x3d4c3d2bad01c408ULL;
	ul = 0x2e0d6eb6UL;
	df = pi * 0x21b44d5fdeb6c205ULL;
	ul = 0x0906c0b8UL;
	df = pi * 0xff042c150af67cf5ULL;
	ul = 0xdeed876cUL;
	df = pi * 0x1fda6717c4d6df74ULL;
	ul = 0x64fb37aeUL;
	df = pi * 0x9abf4a929981f07bULL;
	ul = 0x3f2a31c0UL;
	df = pi * 0x48315ebc7d28274eULL;
	ul = 0x2bbfe2b4UL;
	df = pi * 0xc8696bd8509c237eULL;
	ul = 0xcc50d59cUL;
	df = pi * 0x434136d3679b7602ULL;
	ul = 0x9fc06782UL;
	df = pi * 0xa7d1b4b0857d8057ULL;
	ul = 0x3764c6a8UL;
	df = pi * 0xeb5538096acd649aULL;
	ul = 0x14c1b36cUL;
	df = pi * 0xe398ce2b4c0749b6ULL;
	ul = 0x7f3f960cUL;
	df = pi * 0xcea033e2ec44ed57ULL;
	ul = 0x4295de11UL;
	df = pi * 0x7e8727e9d9447b7aULL;
	ul = 0x54d75fc2UL;
	df = pi * 0x6fcaa59208d9db5cULL;
	ul = 0x3f698683UL;
	df = pi * 0xe7594fb5e078fbe4ULL;
	ul = 0x2da47d87UL;
	df = pi * 0x22cc377c06b1d993ULL;
	ul = 0xc31603b0UL;
	df = pi * 0xd9023ae7d647e340ULL;
	ul = 0xfe6df401UL;
	df = pi * 0xb43dee10f6fa5f5fULL;
	ul = 0xb8fa4173UL;
	df = pi * 0x8a0c5fe787aa0e39ULL;
	ul = 0x94430d11UL;
	df = pi * 0x1ed7ebbfc2ffa23aULL;
	ul = 0xe32ce6edUL;
	df = pi * 0x1ebb53b5ac21ea0bULL;
	ul = 0xed170d6aUL;
	df = pi * 0x0efa95226958d57bULL;
	ul = 0x8683155eUL;
	df = pi * 0x044c072e6da0e5a6ULL;
	ul = 0xb505040fUL;
	df = pi * 0x72959a37791f9637ULL;
	ul = 0xb882ce1eUL;
	df = pi * 0xa7a0fd646f98dfbaULL;
	ul = 0x4aab1dd1UL;
	df = pi * 0x539b00b1a31f6477ULL;
	ul = 0x4916a50fUL;
	df = pi * 0x94ed18b40d94ab41ULL;
	ul = 0x3c61ff47UL;
	df = pi * 0x1ef0c90dacd12bc1ULL;
	ul = 0xc502ad2fUL;
	df = pi * 0x1fbb7669876e071aULL;
	ul = 0x7493b280UL;
	df = pi * 0xf0618478aa8a0b4fULL;
	ul = 0x50a1fd62UL;
	df = pi * 0xd02b343cfe19a7bcULL;
	ul = 0xb4e0a8e1UL;
	df = pi * 0x435f1117349a8809ULL;
	ul = 0xfce5aa88UL;
	df = pi * 0xe2155f01ffbb6ef5ULL;
	ul = 0xd5c5e13cUL;
	df = pi * 0x744c19f772466f35ULL;
	ul = 0x858591a9UL;
	df = pi * 0x682c07906cb70617ULL;
	ul = 0x874da9f0UL;
	df = pi * 0xe10a1f730aa36499ULL;
	ul = 0xbf6635deUL;
	df = pi * 0x9911ed7f6744610cULL;
	ul = 0xb949feedUL;
	df = pi * 0x6f96d392671b6dd1ULL;
	ul = 0x4d424e02UL;
	df = pi * 0x55367f2b48ec70dfULL;
	ul = 0x951fe5fcUL;
	df = pi * 0xe7a530d8ac107e30ULL;
	ul = 0x0028f266UL;
	df = pi * 0xfed675b041af5d5cULL;
	ul = 0x7fceaeb8UL;
	df = pi * 0x8e5af68cf351816eULL;
	ul = 0x688d65b9UL;
	df = pi * 0x68ee741b2cde2b88ULL;
	ul = 0xa8b266efUL;
	df = pi * 0x50b515f2c55a6e7bULL;
	ul = 0xbf3aea3cUL;
	df = pi * 0xb3443f85ffd67f76ULL;
	ul = 0xc6f9800aUL;
	df = pi * 0x3af716f883fe1bd7ULL;
	ul = 0xc5843810UL;
	df = pi * 0x49c0f5734d4ef626ULL;
	ul = 0x723c25afUL;
	df = pi * 0xc1f9f82116298c2bULL;
	ul = 0x57cedf96UL;
	df = pi * 0xab9ea0a50cf225feULL;
	ul = 0xdeeb3d0aUL;
	df = pi * 0xa68e583ee30a5931ULL;
	ul = 0xefc6e709UL;
	df = pi * 0xfcfa98182bf2fc79ULL;
	ul = 0x4da36f10UL;
	df = pi * 0x672f1bc424989fcfULL;
	ul = 0xe461274eUL;
	df = pi * 0xc889c583e674b012ULL;
	ul = 0x36dfb13bUL;
	df = pi * 0x8eb4a06b8434ac1cULL;
	ul = 0x5736bd62UL;
	df = pi * 0x34542fcb6aef619aULL;
	ul = 0x53e59ec6UL;
	df = pi * 0xf0375934d076af01ULL;
	ul = 0xa3221cfdUL;
	df = pi * 0x391a1e6dd81dd8beULL;
	ul = 0xda62dca5UL;
	df = pi * 0xcea24437bad40acbULL;
	ul = 0x3d4c4930UL;
	df = pi * 0xc6e2ce1211c5e917ULL;
	ul = 0x40f3f6bfUL;
	df = pi * 0xead4c06bbd727ad3ULL;
	ul = 0x9332281aUL;
	df = pi * 0x8f71e232ebb85ea0ULL;
	ul = 0x56d4a46dUL;
	df = pi * 0x821ac4bbc655d3b0ULL;
	ul = 0x71a7fbffUL;
	df = pi * 0x0e4efc88e444c7f7ULL;
	ul = 0x087d8396UL;
	df = pi * 0x788d3ed58324f6b3ULL;
	ul = 0x70dd320fUL;
	df = pi * 0xe0615cc4b0372d18ULL;
	ul = 0x1cad38fdUL;
	df = pi * 0x962cbecea29248cdULL;
	ul = 0x10b3b228UL;
	df = pi * 0xf9b2a4bb8e1f415aULL;
	ul = 0x127728bdUL;
	df = pi * 0xa62c4801ae96d6ecULL;
	ul = 0xd4ebe37eUL;
	df = pi * 0x9280659cc0b378c7ULL;
	ul = 0x84b474b1UL;
	df = pi * 0xb53fe6f8a8992466ULL;
	ul = 0x0941ce4aUL;
	df = pi * 0x6be7db97107e26a8ULL;
	ul = 0x1d7920d0UL;
	df = pi * 0xc1f5d9525045aa62ULL;
	ul = 0xb6138934UL;
	df = pi * 0x1719813a5998be87ULL;
	ul = 0x0d4ca85dUL;
	df = pi * 0xbcb292e5379d611fULL;
	ul = 0xa06a50a5UL;
	df = pi * 0xa303a6ea9992a26dULL;
	ul = 0xf7ace6c9UL;
	df = pi * 0x4ba4cd4a273a2656ULL;
	ul = 0x4c3a634aUL;
	df = pi * 0x2d8a87ec8210dbbaULL;
	ul = 0x8bbe07ceUL;
	df = pi * 0xbef4f2d275f28869ULL;
	ul = 0x844c78c7UL;
	df = pi * 0xf7d53833b1ef8f6dULL;
	ul = 0x3f9b153fUL;
	df = pi * 0x874b635bc4318710ULL;
	ul = 0x2e23e13aUL;
	df = pi * 0x4e73c3d27144d3c9ULL;
	ul = 0xe087c034UL;
	df = pi * 0x8e736a6ca4bd8b5dULL;
	ul = 0x4bbd3fbaUL;
	df = pi * 0xeb9466a0a5e4d059ULL;
	ul = 0x7e45195fUL;
	df = pi * 0xcaf25af7564e6309ULL;
	ul = 0x6e729b92UL;
	df = pi * 0x8c2488ccceb28bdcULL;
	ul = 0xe186af57UL;
	df = pi * 0x3f164c2cd89016fbULL;
	ul = 0x17ae6a71UL;
	df = pi * 0xf6eff4537ddcb59dULL;
	ul = 0x78a71960UL;
	df = pi * 0x95dc7229599c3fceULL;
	ul = 0x2a2acba3UL;
	df = pi * 0x38ce1c88f9b7768bULL;
	ul = 0x1083548aUL;
	df = pi * 0xf0d57f09d1a7d057ULL;
	ul = 0x9be8e2afUL;
	df = pi * 0x69378f4be6dcf8f9ULL;
	ul = 0x6d9b3db9UL;
	df = pi * 0x68d34763d921ed5eULL;
	ul = 0x3f5d9791UL;
	df = pi * 0xaedbbda059f12af3ULL;
	ul = 0x7c9f6631UL;
	df = pi * 0xacc76322d32b5f89ULL;
	ul = 0x4a8d1f23UL;
	df = pi * 0xa2121cfddaed2af3ULL;
	ul = 0x4ce649eeUL;
	df = pi * 0x05323d8fa0623f71ULL;
	ul = 0x236b7e6eUL;
	df = pi * 0x8e1ce3b470656a6dULL;
	ul = 0x1f694123UL;
	df = pi * 0xa51c800de09665ebULL;
	ul = 0x561d388dUL;
	df = pi * 0x988f78e08e2625c9ULL;
	ul = 0x74a94a0bUL;
	df = pi * 0x524069c279d72a4bULL;
	ul = 0xc0c4f7d3UL;
	df = pi * 0x32982b255919b041ULL;
	ul = 0x933b914dUL;
	df = pi * 0xa7842879c01a928aULL;
	ul = 0x08263463UL;
	df = pi * 0x58a9252698d9bbedULL;
	ul = 0x5032ae3cUL;
	df = pi * 0x879af8117ce9b13eULL;
	ul = 0x6bc9b11aUL;
	df = pi * 0x9b9750da304bd323ULL;
	ul = 0x085cc42cUL;
	df = pi * 0xff58af63b57723bcULL;
	ul = 0x2818e70fUL;
	df = pi * 0x00b8c7ce0ae43e91ULL;
	ul = 0xb265c274UL;
	df = pi * 0xcf5cd0f2a79f0429ULL;
	ul = 0x68ebddd1UL;
	df = pi * 0x386dd87a34ba22a1ULL;
	ul = 0x953a5c10UL;
	df = pi * 0x81ea2b9cff820394ULL;
	ul = 0xba3132f6UL;
	df = pi * 0x5006cb2e71f87277ULL;
	ul = 0x1a9e5f36UL;
	df = pi * 0x54cd7678a77d5d75ULL;
	ul = 0x1494828fUL;
	df = pi * 0xeb2397a1e3541978ULL;
	ul = 0x8b9b0966UL;
	df = pi * 0x22e2baae68efe9b1ULL;
	ul = 0xff1c6316UL;
	df = pi * 0x4ec5310c79bbcd1eULL;
	ul = 0x42971b38UL;
	df = pi * 0x190cf9d432eb3c92ULL;
	ul = 0x9569ebfbUL;
	df = pi * 0xd4ddb5fe4dc7f604ULL;
	ul = 0x92836c14UL;
	df = pi * 0x22dae6ba443541a6ULL;
	ul = 0xb61488f8UL;
	df = pi * 0x88a8dd45feea7e12ULL;
	ul = 0xb5b49f10UL;
	df = pi * 0x655afd2dc5e821c7ULL;
	ul = 0x48083e8cUL;
	df = pi * 0x0a43eb376e91cf26ULL;
	ul = 0xb2243651UL;
	df = pi * 0x6e35cd978b29e9d5ULL;
	ul = 0xcbbd8daeUL;
	df = pi * 0xb9e447bdadebbd83ULL;
	ul = 0xc1ac0e67UL;
	df = pi * 0xa5d03b1614b4ee95ULL;
	ul = 0xf67b2636UL;
	df = pi * 0x8e9cfd6cdb79b838ULL;
	ul = 0x6cad5062UL;
	df = pi * 0x092b514e11c89abfULL;
	ul = 0xb0ebc812UL;
	df = pi * 0xcc303096eb6cf69eULL;
	ul = 0x8f75e2b4UL;
	df = pi * 0xeafcb3f13138dbceULL;
	ul = 0x9fecb4ebUL;
	df = pi * 0x33803e00065dcdeaULL;
	ul = 0x62336751UL;
	df = pi * 0x52d2335d4b1df354ULL;
	ul = 0xea7775a1UL;
	df = pi * 0x4a75e0a7dd4f57a3ULL;
	ul = 0x836b42ffUL;
	df = pi * 0x3de981d900d6f88eULL;
	ul = 0x89339fe8UL;
	df = pi * 0x00f3caf3309b4847ULL;
	ul = 0xc6c6ccb8UL;
	df = pi * 0x6cdb78ece2e30e6dULL;
	ul = 0x1a7ecbd4UL;
	df = pi * 0xdb614c8eaa2f0a75ULL;
	ul = 0x712c8433UL;
	df = pi * 0xedb4a1951a98ddfbULL;
	ul = 0x573f56cfUL;
	df = pi * 0x2be4228b91dd7d9cULL;
	ul = 0x357d03a6UL;
	df = pi * 0x656f32a06076b773ULL;
	ul = 0x732d8aeaUL;
	df = pi * 0x36f99eaee9e53882ULL;
	ul = 0xabf66760UL;
	df = pi * 0x49575fc2270d159aULL;
	ul = 0xd4c132c4UL;
	df = pi * 0x426198b932c705e6ULL;
	ul = 0x8b278dcdUL;
	df = pi * 0x2f3ff8aba284defbULL;
	ul = 0x1f2d126fUL;
	df = pi * 0x4a0cb87a69687b04ULL;
	ul = 0xaa44123aUL;
	df = pi * 0x2c0572f6554f63f4ULL;
	ul = 0x9021d8d0UL;
	df = pi * 0x60f10cf48b2bc551ULL;
	ul = 0x2b34c76dUL;
	df = pi * 0xb92414e4e829f85bULL;
	ul = 0xcf83c37dUL;
	df = pi * 0x8ecdbdfbad6909e0ULL;
	ul = 0x78aa70bdUL;
	df = pi * 0x4f8731a2657e9872ULL;
	ul = 0x121d21acUL;
	df = pi * 0x1afe3619f459e8efULL;
	ul = 0x57aa1995UL;
	df = pi * 0x893ccf68a50a9790ULL;
	ul = 0x14e673a3UL;
	df = pi * 0x885212afca5b68d5ULL;
	ul = 0xf413b13cUL;
	df = pi * 0xac5acb061d24ce91ULL;
	ul = 0x623cf19bUL;
	df = pi * 0x0aa0fdea385d80b1ULL;
	ul = 0xc6d42c91UL;
	df = pi * 0xe2b0927af88fe3c2ULL;
	ul = 0xc5462610UL;
	df = pi * 0x02ff9efdb326c7f6ULL;
	ul = 0x138b0c2cUL;
	df = pi * 0xfc8c85a64915f8bfULL;
	ul = 0xae734706UL;
	df = pi * 0x8a708ff83665b552ULL;
	ul = 0x9d58a564UL;
	df = pi * 0x44707b3f9252015dULL;
	ul = 0x91b978d2UL;
	df = pi * 0x7775918ef1a362eeULL;
	ul = 0x1fc9c11bUL;
	df = pi * 0x1cc46c52425b89eaULL;
	ul = 0xadcd3c7dUL;
	df = pi * 0x6157f0c8492cb19dULL;
	ul = 0x503880f6UL;
	df = pi * 0x867a879249432ebeULL;
	ul = 0x22ae0d8fUL;
	df = pi * 0xdfd9e017d66e480bULL;
	ul = 0xa0bcc993UL;
	df = pi * 0x109a2daebaeec943ULL;
	ul = 0x571eeabcUL;
	df = pi * 0x14d94bb545bdc781ULL;
	ul = 0xf96abfbcUL;
	df = pi * 0x5e9d17829c5a8902ULL;
	ul = 0x72b9da49UL;
	df = pi * 0xf22db2e47d5baedeULL;
	ul = 0x2b028c68UL;
	df = pi * 0x217c94be2cd358a8ULL;
	ul = 0x9a296171UL;
	df = pi * 0x75cb96bf12afbd0aULL;
	ul = 0x8cc5e73dUL;
	df = pi * 0xb5bed6a3b67d69caULL;
	ul = 0x33242253UL;
	df = pi * 0xb51001e463f3bc31ULL;
	ul = 0x962a0c45UL;
	df = pi * 0xf0bf88a3ddb83ae9ULL;
	ul = 0x9f9a1056UL;
	df = pi * 0x45a8d3aa6343a325ULL;
	ul = 0x49e297bfUL;
	df = pi * 0xdde59e99823fbae1ULL;
	ul = 0xb10cf179UL;
	df = pi * 0x292d80ce6868b2e0ULL;
	ul = 0xea265d5cUL;
	df = pi * 0x550801e24681cfcbULL;
	ul = 0x9346c9e5UL;
	df = pi * 0x622522a4f2352536ULL;
	ul = 0xf7fe95f0UL;
	df = pi * 0x7fc27edefdbaac60ULL;
	ul = 0x8863d3aaUL;
	df = pi * 0x870bb81e2fcefa86ULL;
	ul = 0x7d116577UL;
	df = pi * 0xeb275cf2c2e1e769ULL;
	ul = 0x7f4f8d7eUL;
	df = pi * 0x634cb61eab4b256bULL;
	ul = 0xe9c12c82UL;
	df = pi * 0xea092142e96c7205ULL;
	ul = 0x9e1328caUL;
	df = pi * 0x48c5063f21ea9e96ULL;
	ul = 0xa50cc346UL;
	df = pi * 0xc86ba842f949ba7aULL;
	ul = 0xc2e2a0e2UL;
	df = pi * 0x1c90b87f4db16dfbULL;
	ul = 0x50a8bfa0UL;
	df = pi * 0xc7d5fe8dde8171b6ULL;
	ul = 0xf578fddfUL;
	df = pi * 0x1f71f458c4a01adfULL;
	ul = 0x55536beaUL;
	df = pi * 0xc4c48f1b1a313f9aULL;
	ul = 0xe3f6a68cUL;
	df = pi * 0xbc90fdedda53bee3ULL;
	ul = 0x7491bd27UL;
	df = pi * 0xe3d1f5264a23fc2eULL;
	ul = 0x072942e9UL;
	df = pi * 0x8976109d50c64574ULL;
	ul = 0x42fa526bUL;
	df = pi * 0xce971b5146bafee0ULL;
	ul = 0xc0624b05UL;
	df = pi * 0x2dab6dd191edf663ULL;
	ul = 0x86aee0e9UL;
	df = pi * 0x0a1fdb987c214f92ULL;
	ul = 0x3ff89c3dUL;
	df = pi * 0x14b70c6548172ea7ULL;
	ul = 0x5d866569UL;
	df = pi * 0x3c2a867ea2d28c7aULL;
	ul = 0x644de1f8UL;
	df = pi * 0xecca512cf410d8caULL;
	ul = 0x9227b2b7UL;
	df = pi * 0xec529cba3e586e96ULL;
	ul = 0xd2d4da5cUL;
	df = pi * 0x7e275a288454d27aULL;
	ul = 0xe53e69bcUL;
	df = pi * 0xfb922eff006c7091ULL;
	ul = 0x5adc5315UL;
	df = pi * 0x25d894c086349bb4ULL;
	ul = 0x8320a74eUL;
	df = pi * 0xc979ec9888b6a6b6ULL;
	ul = 0x572cc036UL;
	df = pi * 0xbc9b02e91f786f5cULL;
	ul = 0xc012ec99UL;
	df = pi * 0xdc71c81fd1d249ecULL;
	ul = 0x398953f5UL;
	df = pi * 0x4247582bf3e0d7ddULL;
	ul = 0x445b68d3UL;
	df = pi * 0x90faf36ede24e0e2ULL;
	ul = 0xc52cd356UL;
	df = pi * 0xa2fe2644adc60fb5ULL;
	ul = 0x2a19f6f2UL;
	df = pi * 0x6e58f155ae5cad28ULL;
	ul = 0x2abddbf1UL;
	df = pi * 0xbc438924c0bdaa90ULL;
	ul = 0x2b42fe2dUL;
	df = pi * 0x25f8cf05da19aa5aULL;
	ul = 0x36d56b54UL;
	df = pi * 0xd041f48c0c5a75bbULL;
	ul = 0x8e41ed9cUL;
	df = pi * 0x9d8cf299a97cd30bULL;
	ul = 0x3df0e3c7UL;
	df = pi * 0x49ade39e2dab93c8ULL;
	ul = 0x510576a5UL;
	df = pi * 0x5feb7ab668eaa268ULL;
	ul = 0x8324d5f6UL;
	df = pi * 0xcb549a11bd3c5423ULL;
	ul = 0x01b5f310UL;
	df = pi * 0xf1dcf515eb2eba70ULL;
	ul = 0x3dc28d8bUL;
	df = pi * 0xae6cc9abafc78801ULL;
	ul = 0xef9d1b7cUL;
	df = pi * 0x4e8dad499df6ea18ULL;
	ul = 0x9324ade5UL;
	df = pi * 0x0e23776830ae0d35ULL;
	ul = 0x7d5dcd41UL;
	df = pi * 0xd1a9e9006d796595ULL;
	ul = 0x6d9dbcdaUL;
	df = pi * 0xb7f1f2c8866ab892ULL;
	ul = 0xfc88942dUL;
	df = pi * 0x5fd165b836ab81cdULL;
	ul = 0x8239ddfaUL;
	df = pi * 0xdd32b1f974fe3ec1ULL;
	ul = 0x86013a8cUL;
	df = pi * 0xa5bf955b071bd745ULL;
	ul = 0x0ac57a52UL;
	df = pi * 0xfbb192a48d97bf66ULL;
	ul = 0x18539165UL;
	df = pi * 0x957dce8e95da9fdcULL;
	ul = 0xb9320fe9UL;
	df = pi * 0xf2f18df487bec26cULL;
	ul = 0x537ec919UL;
	df = pi * 0x9b6fdc3eefb61a40ULL;
	ul = 0x1ea30a23UL;
	df = pi * 0x9755cc7cda1f610cULL;
	ul = 0x85ff10b5UL;
	df = pi * 0x7b99d7ce59378b12ULL;
	ul = 0xa25eac24UL;
	df = pi * 0x4080311ebcb45fe0ULL;
	ul = 0x0489ab8eUL;
	df = pi * 0xa956593080a468fdULL;
	ul = 0x037e36e3UL;
	df = pi * 0x4ce305e1b5361cd0ULL;
	ul = 0x863959d9UL;
	df = pi * 0xc52db2b858e8d250ULL;
	ul = 0x1af7b74bUL;
	df = pi * 0x01175ab106d9da4dULL;
	ul = 0xfb970460UL;
	df = pi * 0x1fafc5dc7a4fa09cULL;
	ul = 0xc7622f08UL;
	df = pi * 0x3d79a75f07bb9e74ULL;
	ul = 0xd79ebf9bUL;
	df = pi * 0x59707509d6a061d9ULL;
	ul = 0xe615bbafUL;
	df = pi * 0x09e6f8a27586f248ULL;
	ul = 0x154b245bUL;
	df = pi * 0xf516dea84e101e54ULL;
	ul = 0x8a9ed032UL;
	df = pi * 0xb96ab7deccbbf933ULL;
	ul = 0xaf745a1fUL;
	df = pi * 0x6841c65cdb2d3a3aULL;
	ul = 0x5eadd5b9UL;
	df = pi * 0xc4bec001956481c1ULL;
	ul = 0x232ccd56UL;
	df = pi * 0x25d6ced44e7512ccULL;
	ul = 0xcaa398f4UL;
	df = pi * 0x5a7209e1ab79af21ULL;
	ul = 0x2f03a7c8UL;
	df = pi * 0x540bcbd8acad5fe2ULL;
	ul = 0xee8281baUL;
	df = pi * 0xca90cd254714f528ULL;
	ul = 0x53d50493UL;
	df = pi * 0xc224c427d5caf33eULL;
	ul = 0xeeabf84dUL;
	df = pi * 0x3bbeff20d2b33e01ULL;
	ul = 0x981044d8UL;
	df = pi * 0xe7d6a5f9c3a16d87ULL;
	ul = 0xeae5487cUL;
	df = pi * 0x9c087a26889c3203ULL;
	ul = 0x9e9a216bUL;
	df = pi * 0x7690f0f93d1d5dbcULL;
	ul = 0x62fa123dUL;
	df = pi * 0xbe09ed1ee86ffe06ULL;
	ul = 0x4c9513e1UL;
	df = pi * 0x7b427a70e6f1aa6aULL;
	ul = 0xb2772035UL;
	df = pi * 0xdbe15d4b781a9183ULL;
	ul = 0xdb66af89UL;
	df = pi * 0x34117fcef279ccd5ULL;
	ul = 0xe9c40372UL;
	df = pi * 0x7d1cc18f4cfeb21cULL;
	ul = 0xa8a5482cUL;
	df = pi * 0x82058a870faef59fULL;
	ul = 0xf6a09b59UL;
	df = pi * 0x7218f88623fa8276ULL;
	ul = 0xb72a4ed7UL;
	df = pi * 0x43f0ca1393bd2ae1ULL;
	ul = 0x69911c16UL;
	df = pi * 0x68a02592ffe3c9fdULL;
	ul = 0x890c8d58UL;
	df = pi * 0x386b2ba80db1710aULL;
	ul = 0x990459b1UL;
	df = pi * 0xa32f008538af55f9ULL;
	ul = 0x8d90e437UL;
	df = pi * 0x2320eb979f6c591dULL;
	ul = 0x598752d4UL;
	df = pi * 0x42cf4dfb9aabe2baULL;
	ul = 0x63c6b756UL;
	df = pi * 0x7a3b17f1be8d6a8cULL;
	ul = 0xb0c61f5fUL;
	df = pi * 0xbe4f0a6c127e5da4ULL;
	ul = 0x166ae381UL;
	df = pi * 0xa9ff9c0b142fa9a8ULL;
	return ul;
}

main()
{
	foo(3.14159265358979323);
	exit(0);
}