/******************************************************************************/
/* */
/* OUTPUT X VALUES FOR PRIME PAIRS */
/* 04/07/10 (dkc) */
/* */
/* This C program determines if n and n+2 are primes. */
/* */
/******************************************************************************/
#include <math.h>
#include <stdio.h>
#include "table.h"
int flag=0; // form flag
unsigned int input[5160]={ // x values
0x00000001, 0x80000005, 0x00000004, 0x80000005, 0x00000018,
0x80000005, 0x8000001b, 0x00000008, 0x8000000c, 0x00000018,
0x80000009, 0x800000db, 0x0000000b, 0x8000001b, 0x00000018,
0x8000000f, 0x0000006c, 0x8000000c, 0x8000003a, 0x00000018,
0x8000001b, 0x0000003b, 0x80000012, 0x800000db, 0x00000018,
0x8000002b, 0x0000002d, 0x8000001b, 0x00000119, 0x80000013,
0x80000051, 0x00000027, 0x80000026, 0x0000006c, 0x8000001b,
0x800000db, 0x00000024, 0x8000003a, 0x00000049, 0x80000023,
0x00000363, 0x8000001b, 0x80000062, 0x0000003b, 0x80000030,
0x000000af, 0x80000021, 0x800000db, 0x00000032, 0x80000046,
0x0000006c, 0x8000002b, 0x800017ff, 0x0000002d, 0x8000006f,
0x00000050, 0x8000003a, 0x00000119, 0x80000028, 0x800000db,
0x00000042, 0x80000051, 0x00000094, 0x80000033, 0x800003ec,
0x0000003b, 0x80000079, 0x0000006c, 0x80000042, 0x000001cf,
0x8000002e, 0x800000db, 0x00000055, 0x80000059, 0x000000cc,
0x8000003a, 0x8000027d, 0x00000049, 0x80000081, 0x00000089,
0x8000004a, 0x00000363, 0x80000034, 0x800000db, 0x0000006c,
0x80000062, 0x00000119, 0x80000040, 0x800001f6, 0x00000058,
0x80000088, 0x000000af, 0x80000051, 0x00000973, 0x8000003a,
0x800000db, 0x00000082, 0x80000068, 0x00000184, 0x80000046,
0x800001b1, 0x0000006c, 0x8000008e, 0x000000dc, 0x80000056,
0x800017ff, 0x0000005a, 0x800000db, 0x0000009e, 0x8000006f,
0x0000022e, 0x8000004b, 0x80000186, 0x0000007e, 0x80000093,
0x00000119, 0x8000005c, 0x80000645, 0x0000006c, 0x800000db,
0x000000bf, 0x80000074, 0x00000363, 0x80000051, 0x80000169,
0x00000094, 0x80000098, 0x00000164, 0x80000062, 0x800003ec,
0x0000007b, 0x800000db, 0x000000e7, 0x80000079, 0x00000619,
0x80000055, 0x80000154, 0x000000af, 0x8000009c, 0x000001cf,
0x80000066, 0x800002fb, 0x0000008d, 0x800000db, 0x00000119,
0x8000007d, 0x000012fe, 0x80000059, 0x80000145, 0x000000cc,
0x8000009f, 0x00000268, 0x8000006a, 0x8000027d, 0x000000a2,
0x800000db, 0x00000153, 0x80000081, 0x800017ff, 0x00000089,
0x80000139, 0x000000ee, 0x800000a2, 0x00000363, 0x8000006f,
0x8000022c, 0x000000ba, 0x800000db, 0x0000019f, 0x80000085,
0x8000081f, 0x0000009a, 0x8000012f, 0x00000119, 0x800000a5,
0x00000520, 0x80000072, 0x800001f6, 0x000000d5, 0x800000db,
0x00000204, 0x80000088, 0x80000529, 0x000000af, 0x80000127,
0x00000148, 0x800000a7, 0x00000973, 0x80000075, 0x800001ce,
0x000000f3, 0x800000db, 0x0000028f, 0x8000008b, 0x800003ec,
0x000000c3, 0x80000120, 0x00000184, 0x800000a9, 0x00002432,
0x80000079, 0x800001b1, 0x00000119, 0x800000db, 0x00000363,
0x8000008e, 0x80000338, 0x000000dc, 0x8000011a, 0x000001cf,
0x800000ab, 0x800017ff, 0x000000b7, 0x80000198, 0x00000140,
0x800000db, 0x000004aa, 0x80000091, 0x800002c8, 0x000000f7,
0x80000115, 0x0000022e, 0x800000ad, 0x8000099e, 0x000000cc,
0x80000186, 0x00000171, 0x800000db, 0x00000721, 0x80000093,
0x8000027d, 0x00000119, 0x80000111, 0x000002ac, 0x800000af,
0x80000645, 0x000000e2, 0x80000176, 0x000001ab, 0x800000db,
0x00000d9a, 0x80000095, 0x80000242, 0x0000013a, 0x8000010d,
0x00000363, 0x800000b0, 0x800004c2, 0x000000fa, 0x80000169,
0x000001f3, 0x800000db, 0x00004c80, 0x80000098, 0x80000217,
0x00000164, 0x8000010a, 0x00000464, 0x800000b1, 0x800003ec,
0x00000119, 0x8000015e, 0x0000024d, 0x800000db, 0x800017ff,
0x000000e7, 0x800001f6, 0x00000194, 0x80000107, 0x00000619,
0x800000b3, 0x8000035c, 0x00000136, 0x80000154, 0x000002c1,
0x800000db, 0x80000adb, 0x000000fd, 0x800001d9, 0x000001cf,
0x80000105, 0x00000973, 0x800000b4, 0x800002fb, 0x0000015a,
0x8000014c, 0x00000363, 0x800000db, 0x8000073d, 0x00000119,
0x800001c3, 0x00000212, 0x80000102, 0x000012fe, 0x800000b5,
0x800002b2, 0x00000184, 0x80000145, 0x00000437, 0x800000db,
0x8000058a, 0x00000133, 0x800001b1, 0x00000268, 0x80000100,
0x0001197a, 0x800000b6, 0x8000027d, 0x000001b2, 0x8000013e,
0x00000580, 0x800000db, 0x8000048d, 0x00000153, 0x8000019f,
0x000002d2, 0x800000fe, 0x800017ff, 0x00000119, 0x8000024f,
0x000001ea, 0x80000139, 0x000007ab, 0x800000db, 0x800003ec,
0x00000176, 0x80000191, 0x00000363, 0x800000fc, 0x80000be5,
0x00000130, 0x8000022c, 0x0000022e, 0x80000133, 0x00000c18,
0x800000db, 0x80000374, 0x0000019f, 0x80000186, 0x00000417,
0x800000fb, 0x8000081f, 0x0000014c, 0x8000020e, 0x0000027d,
0x8000012f, 0x00001a21, 0x800000db, 0x8000031d, 0x000001cf,
0x8000017a, 0x00000520, 0x800000f9, 0x80000645, 0x0000016c,
0x800001f6, 0x000002df, 0x8000012a, 0x80013ca7, 0x0000012e,
0x800002db, 0x00000204, 0x80000171, 0x000006b3, 0x800000f8,
0x80000529, 0x0000018f, 0x800001e0, 0x00000363, 0x80000127,
0x800017ff, 0x00000148, 0x800002a6, 0x00000243, 0x80000169,
0x00000973, 0x800000f7, 0x8000046d, 0x000001b7, 0x800001ce,
0x000003ff, 0x80000123, 0x80000cc8, 0x00000164, 0x8000027d,
0x0000028f, 0x80000161, 0x00000f3a, 0x800000f5, 0x800003ec,
0x000001e5, 0x800001be, 0x000004db, 0x80000120, 0x800008e6,
0x00000184, 0x80000257, 0x000002ea, 0x8000015a, 0x00002432,
0x800000f4, 0x80000385, 0x00000219, 0x800001b1, 0x00000619,
0x8000011d, 0x800006ec, 0x000001a6, 0x80000238, 0x00000363,
0x80000154, 0x80007acb, 0x0000015d, 0x80000338, 0x00000256,
0x800001a3, 0x00000801, 0x8000011a, 0x800005b9, 0x000001cf,
0x8000021f, 0x000003ec, 0x8000014e, 0x800017ff, 0x00000179,
0x800002fb, 0x0000029e, 0x80000198, 0x00000b63, 0x80000118,
0x800004eb, 0x000001fa, 0x80000208, 0x000004aa, 0x80000149,
0x80000d8b, 0x00000198, 0x800002c8, 0x000002f4, 0x8000018e,
0x000012fe, 0x80000115, 0x80000457, 0x0000022e, 0x800001f6,
0x000005aa, 0x80000145, 0x8000099e, 0x000001ba, 0x8000029e,
0x00000363, 0x80000186, 0x0000333f, 0x80000113, 0x800003ec,
0x00000268, 0x800001e4, 0x00000721, 0x80000140, 0x80000789,
0x000001e1, 0x8000027d, 0x000003dd, 0x8000017d, 0x80005360,
0x0000018c, 0x80000391, 0x000002ac, 0x800001d4, 0x00000973,
0x8000013c, 0x80000645, 0x0000020c, 0x8000025c, 0x00000482,
0x80000176, 0x800017ff, 0x000001ab, 0x8000034c, 0x000002fc,
0x800001c7, 0x00000d9a, 0x80000139, 0x80000563, 0x0000023e,
0x80000242, 0x0000055b, 0x8000016f, 0x80000e35, 0x000001cf,
0x80000313, 0x00000363, 0x800001bb, 0x0000177b, 0x80000135,
0x800004c2, 0x00000276, 0x8000022c, 0x00000686, 0x80000169,
0x80000a42, 0x000001f3, 0x800002e3, 0x000003d1, 0x800001b1,
0x00004c80, 0x80000131, 0x80000447, 0x000002b7, 0x80000217,
0x0000083b, 0x80000163, 0x8000081f, 0x0000021d, 0x800002bb,
0x00000464, 0x800001a5, 0x8000426b, 0x000001bd, 0x800003ec,
0x00000302, 0x80000205, 0x00000af9, 0x8000015e, 0x800006c2,
0x0000024d, 0x80000298, 0x00000520, 0x8000019c, 0x800017ff,
0x000001de, 0x8000039b, 0x00000363, 0x800001f6, 0x00001018,
0x80000158, 0x800005d5, 0x00000283, 0x8000027d, 0x00000619,
0x80000194, 0x80000ecb, 0x00000204, 0x8000035c, 0x000003c7,
0x800001e6, 0x00001d12, 0x80000154, 0x80000529, 0x000002c1,
0x80000260, 0x0000076e, 0x8000018c, 0x80000adb, 0x0000022e,
0x80000327, 0x0000044b, 0x800001d9, 0x00007f20, 0x8000014f,
0x800004a3, 0x00000308, 0x80000249, 0x00000973, 0x80000186,
0x800008a5, 0x0000025b, 0x800002fb, 0x000004ef, 0x800001ce,
0x800038fa, 0x000001ee, 0x8000043c, 0x00000363, 0x80000234,
0x00000cad, 0x8000017e, 0x8000073d, 0x0000028f, 0x800002d3,
0x000005c2, 0x800001c3, 0x800017ff, 0x00000212, 0x800003ec,
0x000003bf, 0x80000222, 0x000012fe, 0x80000178, 0x80000645,
0x000002ca, 0x800002b2, 0x000006db, 0x800001b9, 0x80000f4f,
0x0000023a, 0x800003a2, 0x00000437, 0x80000211, 0x00002432,
0x80000173, 0x8000058a, 0x0000030d, 0x80000294, 0x00000865,
0x800001b1, 0x80000b64, 0x00000268, 0x80000369, 0x000004c8,
0x80000202, 0x0001197a, 0x8000016d, 0x800004fc, 0x00000363,
0x8000027d, 0x00000ab4, 0x800001a7, 0x80000924, 0x00000299,
0x80000338, 0x00000580, 0x800001f6, 0x800032f7, 0x00000220,
0x8000048d, 0x000003b8, 0x80000263, 0x00000e8e, 0x8000019f,
0x800007af, 0x000002d2, 0x8000030d, 0x0000066c, 0x800001e8,
0x800017ff, 0x00000247, 0x80000432, 0x00000425, 0x8000024f,
0x00001643, 0x80000198, 0x800006a9, 0x00000312, 0x800002e8,
0x000007ab, 0x800001dd, 0x80000fc5, 0x00000272, 0x800003ec,
0x000004aa, 0x8000023c, 0x00002d6e, 0x80000191, 0x800005e7,
0x00000363, 0x800002c8, 0x00000973, 0x800001d2, 0x80000be5,
0x000002a2, 0x800003a9, 0x0000054a, 0x8000022c, 0x8037eb7d,
0x0000022e, 0x80000552, 0x000003b2, 0x800002ab, 0x00000c18,
0x800001c9, 0x8000099e, 0x000002d9, 0x80000374, 0x00000619,
0x8000021c, 0x80002ecc, 0x00000252, 0x800004db, 0x00000417,
0x80000291, 0x000010a2, 0x800001c0, 0x8000081f, 0x00000316,
0x80000345, 0x00000721, 0x8000020e, 0x800017ff, 0x0000027d,
0x8000047b, 0x0000048e, 0x8000027d, 0x00001a21, 0x800001b7,
0x8000070c, 0x00000363, 0x8000031d, 0x00000885, 0x80000201,
0x8000102f, 0x000002ac, 0x8000042b, 0x00000520, 0x80000266,
0x00003a18, 0x800001b1, 0x80000645, 0x000003ac, 0x800002fb,
0x00000a83, 0x800001f6, 0x80000c59, 0x000002df, 0x800003ec,
0x000005d1, 0x80000253, 0x80013ca7, 0x0000025d, 0x800005a4,
0x00000409, 0x800002db, 0x00000d9a, 0x800001ea, 0x80000a0c,
0x00000319, 0x800003ae, 0x000006b3, 0x80000242, 0x80002bbe,
0x00000286, 0x80000529, 0x00000477, 0x800002be, 0x000012fe,
0x800001e0, 0x80000883, 0x00000363, 0x8000037c, 0x000007da,
0x80000232, 0x800017ff, 0x000002b3, 0x800004c2, 0x000004f9,
0x800002a6, 0x00001ead, 0x800001d6, 0x8000076a, 0x000003a7,
0x80000351, 0x00000973, 0x80000224, 0x8000108f, 0x000002e5,
0x8000046d, 0x00000598, 0x8000028f, 0x00004c80, 0x800001ce,
0x80000698, 0x000003ff, 0x8000032b, 0x00000bae, 0x80000217,
0x80000cc8, 0x0000031d, 0x80000425, 0x0000065c, 0x8000027d,
0x8000abaf, 0x0000028f, 0x800005f4, 0x00000464, 0x80000309,
0x00000f3a, 0x8000020a, 0x80000a76, 0x00000363, 0x800003ec,
0x00000756, 0x80000267, 0x80002967, 0x000002ba, 0x80000571,
0x000004db, 0x800002eb, 0x0000158f, 0x800001ff, 0x800008e6,
0x000003a3, 0x800003b2, 0x0000089e, 0x80000257, 0x800017ff,
0x000002ea, 0x80000506, 0x00000569, 0x800002d0, 0x00002432,
0x800001f6, 0x800007c5, 0x000003f4, 0x80000385, 0x00000a5f,
0x80000247, 0x800010e6, 0x00000320, 0x800004ac, 0x00000619,
0x800002b7, 0x00006957, 0x800001eb, 0x800006ec, 0x00000452,
0x8000035c, 0x00000cee, 0x80000238, 0x80000d2c, 0x00000363,
0x80000461, 0x000006ed, 0x800002a1, 0x80007acb, 0x000002c1,
0x80000645, 0x000004bf, 0x80000338, 0x00001101, 0x8000022c,
0x80000adb, 0x0000039f, 0x80000420, 0x00000801, 0x8000028d,
0x8000278e, 0x000002ef, 0x800005b9, 0x00000540, 0x80000317,
0x0000187f, 0x8000021f, 0x80000943, 0x000003ec, 0x800003ec,
0x00000973, 0x8000027d, 0x800017ff, 0x00000322, 0x80000548,
0x000005db, 0x800002fb, 0x00002ad8, 0x80000213, 0x8000081f,
0x00000443, 0x800003b6, 0x00000b63, 0x80000269, 0x80001135,
0x00000363, 0x800004eb, 0x00000698, 0x800002df, 0x00009dac,
0x80000208, 0x8000073d, 0x000004aa, 0x8000038b, 0x00000e45,
0x80000259, 0x80000d8b, 0x0000039c, 0x8000049b, 0x00000783,
0x800002c8, 0x80006225, 0x000002f4, 0x8000068b, 0x00000520,
0x80000364, 0x000012fe, 0x8000024b, 0x80000b37, 0x000003e4,
0x80000457, 0x000008b2, 0x800002b2, 0x8000260f, 0x00000325,
0x800005fd, 0x000005aa, 0x80000342, 0x00001bd7, 0x8000023d,
0x8000099e, 0x00000437, 0x8000041c, 0x00000a43, 0x8000029e,
0x800017ff, 0x00000363, 0x8000058a, 0x00000651, 0x80000323,
0x0000333f, 0x80000231, 0x8000086f, 0x00000494, 0x800003ec,
0x00000c73, 0x8000028b, 0x8000117d, 0x00000399, 0x80000529,
0x00000721, 0x80000307, 0x0001197a, 0x80000225, 0x80000789,
0x00000500, 0x800003b9, 0x00000fb7, 0x8000027d, 0x80000de2,
0x000003dd, 0x800004d4, 0x00000820, 0x800002ed, 0x80005360,
0x00000327, 0x800006d3, 0x00000580, 0x80000391, 0x0000151a,
0x8000026a, 0x80000b8f, 0x0000042a, 0x8000048d, 0x00000973,
0x800002d6, 0x800024d3, 0x00000363, 0x80000645, 0x00000619,
0x8000036c, 0x00001faf, 0x8000025c, 0x800009f0, 0x00000482,
0x8000044e, 0x00000b27, 0x800002c0, 0x800017ff, 0x00000396,
0x800005c8, 0x000006cb, 0x8000034c, 0x00003e03, 0x8000024f,
0x800008be, 0x000004e6, 0x80000418, 0x00000d9a, 0x800002ad,
0x800011bf, 0x000003d7, 0x80000563, 0x000007ab, 0x8000032d,
0x0003a44e, 0x80000242, 0x800007d3, 0x0000055b, 0x800003ec,
0x00001145, 0x8000029b, 0x80000e35, 0x0000041f, 0x8000050c,
0x000008c2, 0x80000313, 0x80004976, 0x00000363, 0x80000719,
0x000005e3, 0x800003bc, 0x0000177b, 0x8000028a, 0x80000be5,
0x00000471, 0x800004c2, 0x00000a2d, 0x800002fb, 0x800023c9,
0x00000394, 0x80000682, 0x00000686, 0x80000396, 0x00002432,
0x8000027d, 0x80000a42, 0x000004cf, 0x80000480, 0x00000c18,
0x800002e3, 0x800017ff, 0x000003d1, 0x80000605, 0x00000749,
0x80000374, 0x00004c80, 0x8000026c, 0x8000090b, 0x0000053a,
0x80000447, 0x00000ecc, 0x800002ce, 0x800011fc, 0x00000417,
0x8000059c, 0x0000083b, 0x80000354, 0x80036321, 0x00000363,
0x8000081f, 0x000005b7, 0x80000415, 0x000012fe, 0x800002bb,
0x80000e81, 0x00000464, 0x80000542, 0x00000973, 0x80000338,
0x8000426b, 0x00000391, 0x8000075d, 0x00000649, 0x800003ec,
0x00001a21, 0x800002a9, 0x80000c33, 0x000004ba, 0x800004f4,
0x00000af9, 0x8000031d, 0x800022e7, 0x000003cc, 0x800006c2,
0x000006f7, 0x800003bf, 0x00002963, 0x80000298, 0x80000a8f,
0x00000520, 0x800004b1, 0x00000d13, 0x80000305, 0x800017ff,
0x0000040d, 0x80000645, 0x000007cb, 0x8000039b, 0x000060a5,
0x80000289, 0x80000955, 0x00000590, 0x80000475, 0x00001018,
0x800002ef, 0x80001235, 0x00000456, 0x800005d5, 0x000008d0,
0x80000379, 0x80013ca7, 0x0000038f, 0x80000861, 0x00000619,
0x80000441, 0x000014c7, 0x800002db, 0x80000ecb, 0x000004aa,
0x80000577, 0x00000a1b, 0x8000035c, 0x80003d17, 0x000003c7,
0x8000079e, 0x000006b3, 0x80000412, 0x00001d12, 0x800002c8,
0x80000c7e, 0x00000505, 0x80000529, 0x00000bcd, 0x80000340,
0x80002224, 0x00000405, 0x800006ff, 0x0000076e, 0x800003ec,
0x00002fa1, 0x800002b6, 0x80000adb, 0x0000056f, 0x800004e1,
0x00000e1e, 0x80000327, 0x800017ff, 0x0000044b, 0x8000067b,
0x00000851, 0x800003c1, 0x00007f20, 0x800002a6, 0x8000099e,
0x000005e9, 0x800004a3, 0x00001179, 0x8000030f, 0x80001269,
0x00000497, 0x8000060b, 0x00000973, 0x8000039f, 0x8000c8db,
0x000003c3, 0x800008a5, 0x00000677, 0x8000046d, 0x000016c5,
0x800002fb, 0x80000f0e, 0x000004ef, 0x800005ab, 0x00000ad3,
0x8000037f, 0x800038fa, 0x000003ff, 0x800007de, 0x00000721,
0x8000043c, 0x00002061, 0x800002e6, 0x80000cc8, 0x00000551,
0x80000558, 0x00000cad, 0x80000362, 0x8000217a, 0x00000440,
0x8000073d, 0x000007e7, 0x8000040f, 0x00003732, 0x800002d3,
0x80000b20, 0x000005c2, 0x80000510, 0x00000f3a, 0x80000348,
0x800017ff, 0x00000488, 0x800006b4, 0x000008db, 0x800003ec,
0x0000b21b, 0x800002c2, 0x800009e0, 0x00000643, 0x800004d0,
0x000012fe, 0x8000032f, 0x8000129a, 0x000004db, 0x80000645,
0x00000a0c, 0x800003c3, 0x800096ba, 0x000003f7, 0x800008e6,
0x000006db, 0x80000497, 0x000018f2, 0x80000318, 0x80000f4f,
0x00000536, 0x800005de, 0x00000b92, 0x800003a2, 0x800035a8,
0x00000437, 0x8000081f, 0x0000078d, 0x80000464, 0x00002432,
0x80000304, 0x80000d0a, 0x0000059e, 0x8000058a, 0x00000d9a,
0x80000385, 0x800020e4, 0x0000047b, 0x80000775, 0x00000865,
0x80000436, 0x0000408d, 0x800002f0, 0x80000b64, 0x00000619,
0x8000053e, 0x00001063, 0x80000369, 0x800017ff, 0x000004c8,
0x800006ec, 0x00000973, 0x8000040d, 0x0001197a, 0x800002de,
0x80000a21, 0x0000069f, 0x800004fc, 0x0000148b, 0x8000034f,
0x800012c8, 0x00000520, 0x80000675, 0x00000ab4, 0x800003ec,
0x80007acb, 0x0000042d, 0x80000924, 0x00000741, 0x800004c2,
0x00001b55, 0x80000338, 0x80000f8b, 0x00000580, 0x80000610,
0x00000c5a, 0x800003c5, 0x800032f7, 0x0000046e, 0x80000857,
0x00000801, 0x8000048d, 0x00002873, 0x80000321, 0x80000d4b,
0x000005ed, 0x800005b9, 0x00000e8e, 0x800003a5, 0x80002060,
0x000004b7, 0x800007af, 0x000008e5, 0x8000045d, 0x00004c80,
0x8000030d, 0x80000ba4, 0x0000066c, 0x8000056b, 0x000011a1,
0x80000389, 0x800017ff, 0x00000508, 0x80000721, 0x00000a00,
0x80000432, 0x000257a0, 0x800002fb, 0x80000a61, 0x000006fe,
0x80000529, 0x00001643, 0x8000036e, 0x800012f2, 0x00000563,
0x800006a9, 0x00000b63, 0x8000040b, 0x800068d9, 0x00000464,
0x80000960, 0x000007ab, 0x800004eb, 0x00001df7, 0x80000355,
0x80000fc5, 0x000005c9, 0x80000645, 0x00000d2a, 0x800003ec,
0x800030b2, 0x000004aa, 0x80000891, 0x00000875, 0x800004b4,
0x00002d6e, 0x8000033e, 0x80000d8b, 0x0000063e, 0x800005e7,
0x00000f90, 0x800003c6, 0x80001fea, 0x000004f4, 0x800007e5,
0x00000973, 0x80000483, 0x00005bf8, 0x80000329, 0x80000be5,
0x000006c4, 0x80000597, 0x000012fe, 0x800003a9, 0x800017ff,
0x0000054a, 0x80000755, 0x00000a99, 0x80000457, 0x8037eb7d,
0x00000458, 0x80000a9e, 0x0000075f, 0x80000552, 0x0000181b,
0x8000038d, 0x8000131a, 0x000005aa, 0x800006da, 0x00000c18,
0x8000042e, 0x80005c72, 0x0000049a, 0x8000099e, 0x00000815,
0x80000513, 0x000020e3, 0x80000374, 0x80000ffb, 0x00000619,
0x80000670, 0x00000e05, 0x80000409, 0x80002ecc, 0x000004e2,
0x800008c9, 0x000008ee, 0x800004db, 0x0000333f, 0x8000035c,
0x80000dc5, 0x00000691, 0x80000614, 0x000010a2, 0x800003ec,
0x80001f80, 0x00000533, 0x8000081f, 0x000009f5, 0x800004a8,
0x0000713a, 0x80000345, 0x80000c1f, 0x00000721, 0x800005c3,
0x0000145c, 0x800003c8, 0x800017ff, 0x0000058c, 0x80000789,
0x00000b38, 0x8000047b, 0x80025544, 0x0000048e, 0x80000adb,
0x000007c3, 0x8000057b, 0x00001a21, 0x800003ab, 0x8000133f,
0x000005f1, 0x8000070c, 0x00000cd2, 0x80000451, 0x80005360,
0x000004d2, 0x800009d4, 0x00000885, 0x8000053b, 0x00002432,
0x80000391, 0x8000102f, 0x00000663, 0x8000069f, 0x00000ee9,
0x8000042b, 0x80002d26, 0x00000520, 0x80000900, 0x00000973,
0x80000501, 0x00003a18, 0x80000378, 0x80000dfd, 0x000006e5,
0x80000645, 0x000011c2, 0x80000408, 0x80001f21, 0x00000572,
0x80000850, 0x00000a83, 0x800004cd, 0x0000900b, 0x80000361,
0x80000c59, 0x0000077b, 0x800005ed, 0x000015dc, 0x800003ec,
0x800017ff, 0x000005d1, 0x800007bb, 0x00000bdd, 0x8000049e,
0x80013ca7, 0x000004c3, 0x80000b11, 0x00000829, 0x800005a4,
0x00001c4a, 0x800003c9, 0x80001362, 0x0000063a, 0x8000073d,
0x00000d9a, 0x80000473, 0x80004c5d, 0x0000050b, 0x80000a0c,
0x000008f6, 0x80000563, 0x000027cb, 0x800003ae, 0x8000105f,
0x000006b3, 0x800006cd, 0x00000fd9, 0x8000044c, 0x80002bbe,
0x0000055b, 0x80000935, 0x000009eb, 0x80000529, 0x00004253,
0x80000394, 0x80000e35, 0x0000073b, 0x8000066d, 0x000012fe,
0x80000428, 0x80001eca, 0x000005b3, 0x80000883, 0x00000b16,
0x800004f1, 0x0000c0bd, 0x8000037c, 0x80000c90, 0x000007da,
0x80000617, 0x0000177b, 0x80000406, 0x800017ff, 0x00000619,
0x800007eb, 0x00000c89, 0x800004c2, 0x8000dc3c, 0x000004f9,
0x80000b48, 0x00000891, 0x800005cc, 0x00001ead, 0x800003ec,
0x80001383, 0x00000686, 0x8000076a, 0x00000e63, 0x80000495,
0x800046da, 0x00000544, 0x80000a42, 0x00000973, 0x8000058a,
0x00002beb, 0x800003ca, 0x8000108f, 0x00000703, 0x800006fa,
0x000010d5, 0x8000046d, 0x80002a7d, 0x00000598, 0x80000969,
0x00000a70, 0x8000054c, 0x00004c80, 0x800003b0, 0x80000e68,
0x00000793, 0x80000698, 0x00001437, 0x80000447, 0x80001e7b,
0x000005f4, 0x800008b4, 0x00000bae, 0x80000515, 0x0001197a,
0x80000397, 0x80000cc8, 0x0000083b, 0x80000645, 0x00001932,
0x80000425, 0x800017ff, 0x0000065c, 0x8000081f, 0x00000d3b,
0x800004e3, 0x8000abaf, 0x00000530, 0x80000b7e, 0x000008fd,
0x800005f4, 0x00002146, 0x80000405, 0x800013a2, 0x000006d1,
0x80000798, 0x00000f3a, 0x800004b6, 0x8000426b, 0x00000580,
0x80000a76, 0x000009e3, 0x800005af, 0x0000309d, 0x800003ec,
0x800010ba, 0x00000756, 0x80000725, 0x000011dd, 0x8000048d,
0x80002967, 0x000005d6, 0x8000099e, 0x00000af9, 0x80000571,
0x0000590c, 0x800003cc, 0x80000e99, 0x000007ed, 0x800006c2,
0x0000158f, 0x80000466, 0x80001e33, 0x00000637, 0x800008e6,
0x00000c4b, 0x80000538, 0x0001ebf0, 0x800003b2, 0x80000cf9,
0x0000089e, 0x80000669, 0x00001b0e, 0x80000443, 0x800017ff,
0x000006a4, 0x8000084a, 0x00000df3, 0x80000506, 0x80008e54,
0x00000569, 0x80000bb1, 0x00000973, 0x8000061a, 0x00002432,
0x80000422, 0x800013c0, 0x00000721, 0x800007c5, 0x00001018,
0x800004d7, 0x80003eb2, 0x000005ba, 0x80000aa7, 0x00000a5f,
0x800005d5, 0x00003603, 0x80000404, 0x800010e6, 0x000007ab,
0x80000750, 0x000012fe, 0x800004ac, 0x8000286b, 0x00000619,
0x800009cc, 0x00000b85, 0x80000594, 0x00006957, 0x800003ec,
0x80000ecb, 0x00000849, 0x800006ec, 0x000016fa, 0x80000485,
0x80001df0, 0x0000067b, 0x80000914, 0x00000cee, 0x8000055b,
0x00066be9, 0x800003cd, 0x80000d2c, 0x00000903, 0x80000691,
0x00001d12, 0x80000461, 0x800017ff, 0x000006ed, 0x80000877,
0x00000eb3, 0x80000529, 0x80007acb, 0x000005a1, 0x80000be5,
0x000009dc, 0x80000645, 0x00002750, 0x8000043f, 0x800013dc,
0x0000076e, 0x800007f0, 0x00001101, 0x800004f7, 0x80003b99,
0x000005f7, 0x80000adb, 0x00000ade, 0x800005f9, 0x00003c47,
0x80000420, 0x8000110d, 0x00000801, 0x8000077b, 0x00001418,
0x800004cb, 0x8000278e, 0x00000656, 0x800009fc, 0x00000c18,
0x800005b9, 0x00007f20, 0x80000403, 0x80000ef7, 0x000008a8,
0x80000713, 0x0000187f, 0x800004a3, 0x80001db3, 0x000006c0,
0x80000943, 0x00000d9a, 0x8000057d, 0x80055fee, 0x0000058a,
0x80000d5b, 0x00000973, 0x800006b8, 0x00001f39, 0x8000047e,
0x800017ff, 0x00000737, 0x800008a5, 0x00000f7b, 0x80000548,
0x80006cad, 0x000005db, 0x80000c13, 0x00000a50, 0x80000666,
0x00002ad8, 0x8000045b, 0x800013f6, 0x000007be, 0x8000081f,
0x000011f3, 0x80000517, 0x800038fa, 0x00000634, 0x80000b08,
0x00000b63, 0x8000061d, 0x000043a3, 0x8000043c, 0x80001135,
0x00000857, 0x800007a4, 0x0000154d, 0x800004eb, 0x800026c3,
0x00000698, 0x80000a2a, 0x00000cad, 0x800005db, 0x00009dac,
0x8000041d, 0x80000f23, 0x00000908, 0x8000073d, 0x00001a21,
0x800004c2, 0x80001d7a, 0x00000706, 0x8000096f, 0x00000e45,
0x8000059f, 0x8001f8e3, 0x000005c2, 0x80000d8b, 0x000009d6,
0x800006de, 0x00002194, 0x8000049b, 0x800017ff, 0x00000783,
0x800008cf, 0x0000104b, 0x80000568, 0x80006225, 0x00000619,
0x80000c42, 0x00000ac7, 0x8000068b, 0x00002ec7, 0x80000477,
0x8000140f, 0x00000810, 0x80000845, 0x000012fe, 0x80000537,
0x800036ad, 0x00000673, 0x80000b37, 0x00000be8, 0x80000645,
0x00004c80, 0x80000457, 0x80001159, 0x000008b2, 0x800007cc,
0x00001694, 0x80000509, 0x8000260f, 0x000006db, 0x80000a57,
0x00000d47, 0x800005fd, 0x0000cbbb, 0x80000438, 0x80000f4f,
0x00000973, 0x80000762, 0x00001bd7, 0x800004de, 0x80001d46,
0x0000074e, 0x8000099e, 0x00000efa, 0x800005c0, 0x80013ca7,
0x000005f9, 0x80000db6, 0x00000a43, 0x80000704, 0x00002432,
0x800004b7, 0x800017ff, 0x000007d0, 0x800008fa, 0x00001124,
0x8000058a, 0x800059e9, 0x00000651, 0x80000c6f, 0x00000b42,
0x800006af, 0x0000333f, 0x80000493, 0x80001427, 0x00000865,
0x8000086f, 0x000013ff, 0x80000556, 0x800034b1, 0x000006b3,
0x80000b64, 0x00000c73, 0x80000664, 0x0000570c, 0x80000471,
0x8000117d, 0x0000090d, 0x800007f4, 0x000017ee, 0x80000529,
0x80002568, 0x00000721, 0x80000a83, 0x00000de7, 0x8000061f,
0x0001197a, 0x80000452, 0x80000f77, 0x000009d0, 0x80000789,
0x00001db0, 0x800004fc, 0x80001d15, 0x00000797, 0x800009c6,
0x00000fb7, 0x800005e1, 0x8000ea0c, 0x00000632, 0x80000de2,
0x00000ab4, 0x80000729, 0x000026f1, 0x800004d4, 0x800017ff,
0x00000820, 0x80000924, 0x00001207, 0x800005a8, 0x80005360,
0x0000068d, 0x80000c9b, 0x00000bc0, 0x800006d3, 0x0000383f,
0x800004af, 0x8000143e, 0x000008ba, 0x80000897, 0x0000151a,
0x80000574, 0x800032f7, 0x000006f3, 0x80000b8f, 0x00000d02,
0x80000686, 0x00006435, 0x8000048d, 0x8000119e, 0x00000973,
0x8000081f, 0x0000195c, 0x80000544, 0x800024d3, 0x00000763,
0x80000aae, 0x00000e8e, 0x80000645, 0x0001b6ac, 0x8000046d,
0x80000f9e, 0x00000a37, 0x800007af, 0x00001faf, 0x80000518,
0x80001ce8, 0x000007e1, 0x800009f0, 0x00001079, 0x80000601,
0x8000bbdf, 0x0000066c, 0x80000e0b, 0x00000b27, 0x8000074d,
0x00002a05, 0x800004f0, 0x800017ff, 0x00000870, 0x8000094c,
0x000012fe, 0x800005c8, 0x80004df1, 0x000006cb, 0x80000cc8,
0x00000c41, 0x800006f6, 0x00003e03, 0x800004ca, 0x80001454,
0x00000911, 0x800008be, 0x00001643, 0x80000593, 0x80003166,
0x00000734, 0x80000bb9, 0x00000d9a, 0x800006a9, 0x000074e9,
0x800004a7, 0x800011bf, 0x000009cb, 0x80000841, 0x00001ae1,
0x80000563, 0x80002447, 0x000007ab, 0x80000adb, 0x00000f3a,
0x80000662, 0x0003a44e, 0x80000486, 0x80000fc5, 0x00000aa1,
0x800007d3, 0x000021d3, 0x80000535, 0x80001cbd, 0x0000082d,
0x80000a19, 0x00001145, 0x80000621, 0x80009e54, 0x000006a6,
0x80000e35, 0x00000b9c, 0x80000771, 0x00002d6e, 0x8000050c,
0x800017ff, 0x000008c2, 0x80000974, 0x000013ea, 0x800005e7,
0x80004976, 0x00000709, 0x80000cef, 0x00000cc7, 0x80000719,
0x000044a6, 0x800004e5, 0x80001468, 0x00000973, 0x800008e6,
0x0000177b, 0x800005b0, 0x80003005, 0x00000777, 0x80000be5,
0x00000e2e, 0x800006ca, 0x00008acf, 0x800004c2, 0x800011de,
0x00000a2d, 0x80000867, 0x00001c7e, 0x8000057f, 0x800023c9,
0x000007f1, 0x80000b01, 0x00000fe9, 0x80000682, 0x8037eb7d,
0x00000686, 0x80000fe9, 0x00000b0e, 0x800007f7, 0x00002432,
0x80000552, 0x80001c95, 0x0000087a, 0x80000a42, 0x00001217,
0x80000645, 0x800089cd, 0x000006e2, 0x80000e5b, 0x00000c18,
0x80000794, 0x0000312d, 0x80000529, 0x800017ff, 0x00000915,
0x8000099e, 0x000014ec, 0x80000605, 0x800045a5, 0x00000749,
0x80000d17, 0x00000d50, 0x8000073d, 0x00004c80, 0x800004ff,
0x8000147c, 0x000009c6, 0x8000090b, 0x000018c0, 0x800005ce,
0x80002ecc, 0x000007bb, 0x80000c0b, 0x00000ecc, 0x800006ec,
0x0000a8c8, 0x800004db, 0x800011fc, 0x00000a91, 0x8000088c,
0x00001e37, 0x8000059c, 0x80002352, 0x0000083b, 0x80000b29,
0x000010a2, 0x800006a2, 0x80036321, 0x000006be, 0x8000100c,
0x00000b7d, 0x8000081f, 0x000026a6, 0x8000056d, 0x80001c70,
0x000008c9, 0x80000a68, 0x000012fe, 0x80000660, 0x80007acb,
0x00000721, 0x80000e81, 0x00000c92, 0x800007b7, 0x0000355f,
0x80000542, 0x800017ff, 0x00000973, 0x800009c1, 0x000015fb,
0x80000623, 0x8000426b, 0x00000789, 0x80000d3e, 0x00000ddd,
0x8000075d, 0x00005598, 0x8000051a, 0x8000148f, 0x00000a23,
0x80000930, 0x00001a21, 0x800005eb, 0x80002daa, 0x00000801,
0x80000c33, 0x00000f6e, 0x8000070c, 0x0000d44b, 0x800004f4,
0x80001218, 0x00000af9, 0x800008b0, 0x0000200e, 0x800005b9,
0x800022e7, 0x00000885, 0x80000b50, 0x00001160, 0x800006c2,
0x8001ca3b, 0x000006f7, 0x8000102f, 0x00000bef, 0x8000083e,
0x00002963, 0x8000058a, 0x80001c4d, 0x00000919, 0x80000a8f,
0x000013d8, 0x8000067e, 0x80006f26, 0x0000075b, 0x80000ea5,
0x00000d13, 0x800007d9, 0x00003a18, 0x8000055c, 0x800017ff,
0x000009c2, 0x800009e7, 0x00001716, 0x80000645, 0x80003f8e,
0x000007cb, 0x80000d64, 0x00000e6f, 0x8000077d, 0x000060a5,
0x80000534, 0x800014a1, 0x00000a83, 0x80000955, 0x00001b8a,
0x80000608, 0x80002ca6, 0x00000846, 0x80000c59, 0x00001018,
0x8000072b, 0x0001197a, 0x8000050e, 0x80001235, 0x00000b63,
0x800008d3, 0x00002206, 0x800005d5, 0x80002281, 0x000008d0,
0x80000b76, 0x00001225, 0x800006e0, 0x80013ca7, 0x00000732,
0x8000104f, 0x00000c64, 0x80000861, 0x00002c5c, 0x800005a4,
0x80001c2c, 0x00000973, 0x80000ab4, 0x000014c7, 0x8000069c,
0x80006603, 0x0000079a, 0x80000ecb, 0x00000d9a, 0x800007fa,
0x00003f65, 0x80000577, 0x800017ff, 0x00000a1b, 0x80000a0c,
0x00001840, 0x8000065e, 0x80003d17, 0x0000080d, 0x80000d8b,
0x00000f05, 0x8000079e, 0x00006e24, 0x8000054d, 0x800014b2,
0x00000ae4, 0x80000978, 0x00001d12, 0x80000624, 0x80002bbe,
0x0000088d, 0x80000c7e, 0x000010c4, 0x8000074b, 0x000196e6,
0x80000529, 0x8000124f, 0x00000bcd, 0x800008f6, 0x00002432,
0x800005ef, 0x80002224, 0x0000091c, 0x80000b9b, 0x000012fe,
0x800006ff, 0x8000f463, 0x0000076e, 0x8000106f, 0x00000cdc,
0x80000883, 0x00002fa1, 0x800005bf, 0x80001c0d, 0x000009be,
0x80000adb, 0x000015c0, 0x800006ba, 0x80005e9a, 0x000007da,
0x80000eec, 0x00000e1e, 0x8000081f, 0x00004573, 0x80000591,
0x800017ff, 0x00000a75, 0x80000a2f, 0x00001979, 0x8000067b,
0x80003ae5, 0x00000851, 0x80000dad, 0x00000f9f, 0x800007be,
0x00007f20, 0x80000567, 0x800014c3, 0x00000b48, 0x8000099e,
0x00001ead, 0x80000645, 0x80002ae2, 0x000008d5, 0x80000ca2,
0x00001179, 0x8000076a, 0x0002c4c9, 0x80000540, 0x80001269,
0x00000c3b, 0x80000918, 0x0000266a, 0x8000060b, 0x800021cb,
0x00000973, 0x80000bbf, 0x000013c8, 0x8000071d, 0x8000c8db,
0x000007ab, 0x8000108f, 0x00000d57, 0x800008a5, 0x0000333f,
0x800005d9, 0x80001bef, 0x00000a13, 0x80000afc, 0x000016c5,
0x800006d7, 0x8000587a, 0x00000819, 0x80000f0e, 0x00000ea8,
0x8000083c, 0x00004c80, 0x800005ab, 0x800017ff, 0x00000ad3,
0x80000a52, 0x00001ac2, 0x80000698, 0x800038fa, 0x00000895,
0x80000dd0, 0x0000103f, 0x800007de, 0x000094e2, 0x80000580,
0x800014d3, 0x00000bae, 0x800009be, 0x00002061, 0x8000065c,
0x80002a1b, 0x0000091f, 0x80000cc8, 0x00001232, 0x80000789,
0x0009793a, 0x80000558, 0x80001281, 0x00000cad, 0x8000093a,
0x000028dd, 0x80000626, 0x8000217a, 0x000009bb, 0x80000be5,
0x000014a6, 0x8000073d, 0x8000abaf, 0x000007e7, 0x800010ab,
0x00000dd6, 0x800008c4, 0x00003732, 0x800005f4, 0x80001bd3,
0x00000a6a, 0x80000b20, 0x000017d4, 0x800006f4, 0x80005360,
0x0000085b, 0x80000f2e, 0x00000f3a, 0x8000085b, 0x0000547d,
0x800005c5, 0x800017ff, 0x00000b31, 0x80000a76, 0x00001c1c,
0x800006b4, 0x80003736, 0x000008db, 0x80000df2, 0x000010e3,
0x800007fc, 0x0000b21b, 0x80000599, 0x800014e2, 0x00000c18,
0x800009e0, 0x00002232, 0x80000678, 0x80002967, 0x00000973,
0x80000ce8, 0x000012fe, 0x800007a6, 0x8007379e, 0x000007b8,
0x8000129a, 0x00000d1f, 0x8000095b, 0x00002b85, 0x80000645,
0x8000212c, 0x00000a0c, 0x80000c05, 0x0000158f, 0x80000758,
0x800096ba, 0x00000825, 0x800010c8, 0x00000e57, 0x800008e6,
0x00003b9a, 0x8000060d, 0x80001bb9, 0x00000ac2, 0x80000b41,
0x000018f2, 0x80000711, 0x80004ef0, 0x0000089e, 0x80000f4f,
0x00000fcb, 0x8000087b, 0x00005dfd, 0x800005de, 0x800017ff,
0x00000b92, 0x80000a97, 0x00001d8a, 0x800006cf, 0x800035a8,
0x00000922, 0x80000e13, 0x0000118d, 0x8000081f, 0x0000db27,
0x800005b2, 0x800014f0, 0x00000c80, 0x80000a00, 0x00002432,
0x80000693, 0x800028ba, 0x000009b7, 0x80000d0a, 0x000013bb,
0x800007c5, 0x8002b051, 0x000007f3, 0x800012b1, 0x00000d9a,
0x8000097b, 0x00002e66, 0x8000065b, 0x800020e4, 0x00000a5f,
0x80000c27, 0x0000167d, 0x80000775, 0x800086f8, 0x00000865,
0x800010e6, 0x00000edd, 0x80000904, 0x0000408d, 0x80000627,
0x80001ba0, 0x00000b1c, 0x80000b64, 0x00001a21, 0x8000072d,
0x80004b27, 0x000008e0, 0x80000f6c, 0x00001063, 0x80000899,
0x00006957, 0x800005f7, 0x800017ff, 0x00000bf4, 0x80000ab8,
0x00001f0d, 0x800006ec, 0x8000343b, 0x00000973, 0x80000e35,
0x0000123d, 0x80000839, 0x0001197a, 0x800005ca, 0x800014ff,
0x00000cee, 0x80000a21, 0x00002637, 0x800006ad, 0x8000281d,
0x00000a05, 0x80000d2c, 0x0000148b, 0x800007e1, 0x8001ae15,
0x00000830, 0x800012c8, 0x00000e0f, 0x8000099e, 0x00003189,
0x80000675, 0x8000209f, 0x00000ab4, 0x80000c48, 0x0000177b,
0x80000792, 0x80007acb, 0x000008a4, 0x80001100, 0x00000f66,
0x80000924, 0x0000461a, 0x80000645, 0x80001b88, 0x00000b78,
0x80000b84, 0x00001b55, 0x80000749, 0x800047da, 0x00000925,
0x80000f8b, 0x00001101, 0x800008b8, 0x0000770b, 0x80000610,
0x800017ff, 0x00000c5a, 0x80000adb, 0x000020a6, 0x80000706,
0x800032f7, 0x000009b5, 0x80000e53, 0x000012fe, 0x80000857,
0x000181cb, 0x800005e2, 0x8000150c, 0x00000d5d, 0x80000a42,
0x00002873, 0x800006c8, 0x8000278e, 0x00000a55, 0x80000d4b,
0x00001561, 0x800007fe, 0x80013ca7, 0x0000086d, 0x800012dc,
0x00000e8e, 0x800009ba, 0x000034f8, 0x8000068f, 0x80002060,
0x00000b09, 0x80000c68, 0x0000187f, 0x800007af, 0x800070e2,
0x000008e5, 0x8000111a, 0x00000ff2, 0x80000943, 0x00004c80,
0x8000065a, 0x80001b71, 0x00000bd6, 0x80000ba4, 0x00001c9d,
0x80000764, 0x800044f4, 0x00000973, 0x80000fa7, 0x000011a1,
0x800008d6, 0x0000880a, 0x80000628, 0x800017ff, 0x00000cc0,
0x80000af8, 0x00002257, 0x80000721, 0x800031c4, 0x00000a00,
0x80000e71, 0x000013af, 0x80000874, 0x000257a0, 0x800005fa,
0x80001519, 0x00000dcf, 0x80000a61, 0x00002ad8, 0x800006e2,
0x80002703, 0x00000aa5, 0x80000d6a, 0x00001643, 0x8000081f,
0x8000fc6b, 0x000008ab, 0x800012f2, 0x00000f0c, 0x800009d9,
0x000038bc, 0x800006a9, 0x80002022, 0x00000b63, 0x80000c88,
0x0000198e, 0x800007ca, 0x800068d9, 0x00000927, 0x80001135,
0x00001083, 0x80000960, 0x0000539f, 0x80000673, 0x80001b5b,
0x00000c36, 0x80000bc4, 0x00001df7, 0x8000077f, 0x8000426b,
0x000009b2, 0x80000fc5, 0x00001247, 0x800008f3, 0x00009dac,
0x80000645, 0x800017ff, 0x00000d2a, 0x80000b17, 0x00002432,
0x8000073d, 0x800030b2, 0x00000a4b, 0x80000e8f, 0x00001471,
0x80000891, 0x0004ffd2, 0x80000612, 0x80001526, 0x00000e45,
0x80000a7f, 0x00002d6e, 0x800006fc, 0x80002684, 0x00000af9,
0x80000d8b, 0x00001728, 0x80000837, 0x8000d368, 0x000008ea,
0x80001306, 0x00000f90, 0x800009f7, 0x00003ce4, 0x800006c2,
0x80001fea, 0x00000bba, 0x80000ca7, 0x00001aab, 0x800007e5,
0x80006225, 0x00000973, 0x8000114c, 0x00001118, 0x8000097e,
0x00005bf8, 0x8000068b, 0x80001b47, 0x00000c98, 0x80000be5,
0x00001f62, 0x8000079a, 0x80004017, 0x000009fa, 0x80000fdf,
0x000012fe, 0x80000910, 0x0000b9f5, 0x80000659, 0x800017ff,
0x00000d9a, 0x80000b37, 0x0000260d, 0x80000755, 0x80002fb2,
0x00000a99, 0x80000ead, 0x0000153a, 0x800008ad, 0x8037eb7d,
0x000008b2, 0x80001532, 0x00000ebc, 0x80000a9e, 0x00003032,
0x80000715, 0x8000260f, 0x00000b4b, 0x80000da7, 0x0000181b,
0x80000853, 0x8000b6df, 0x00000929, 0x8000131a, 0x00001018,
0x80000a15, 0x00004180, 0x800006da, 0x80001fb3, 0x00000c18,
0x80000cc8, 0x00001bd7, 0x80000800, 0x80005c72, 0x000009af,
0x80001164, 0x000011b2, 0x8000099e, 0x000065b1, 0x800006a3,
0x80001b33, 0x00000cfc, 0x80000c01, 0x000020e3, 0x800007b5,
0x80003e08, 0x00000a43, 0x80000ffb, 0x000013a4, 0x8000092d,
0x0000e0c4, 0x80000670, 0x800017ff, 0x00000e05, 0x80000b54,
0x00002817, 0x8000076f, 0x80002ecc, 0x00000ae8, 0x80000ecb,
0x0000160b, 0x800008c9, 0x8004664b, 0x000008ee, 0x8000153e,
0x00000f3a, 0x80000abb, 0x0000333f, 0x8000072e, 0x8000259d,
0x00000ba1, 0x80000dc5, 0x00001915, 0x8000086f, 0x8000a1df,
0x00000973, 0x8000132c, 0x000010a2, 0x80000a32, 0x000046a4,
0x800006f3, 0x80001f80, 0x00000c73, 0x80000ce3, 0x00001d12,
0x8000081f, 0x8000578e, 0x000009f5, 0x8000117d, 0x00001250,
0x800009b8, 0x0000713a, 0x800006bb, 0x80001b20, 0x00000d62,
0x80000c1f, 0x00002277, 0x800007cf, 0x80003c2c, 0x00000a8d,
0x80001014, 0x0000145c, 0x80000949, 0x0001197a, 0x80000688,
0x800017ff, 0x00000e75, 0x80000b72, 0x00002a44, 0x80000789,
0x80002dee, 0x00000b38, 0x80000ee5, 0x000016e3, 0x800008e6,
0x80025544, 0x0000092b, 0x80001549, 0x00000fb7, 0x80000adb,
0x0000367e, 0x80000747, 0x80002534, 0x00000bf8, 0x80000de2,
0x00001a21, 0x80000889, 0x800091c5, 0x000009ad, 0x8000133f,
0x0000112f, 0x80000a4f, 0x00004c80, 0x8000070c, 0x80001f4e,
0x00000cd2, 0x80000d00, 0x00001e55, 0x80000835, 0x80005360,
0x00000a3b, 0x80001193, 0x000012fe, 0x800009d4, 0x00007f20,
0x800006d3, 0x80001b0e, 0x00000dca, 0x80000c3c, 0x00002432,
0x800007e8, 0x80003a7c, 0x00000ad9, 0x8000102f, 0x0000151a,
0x80000965, 0x000172c0, 0x8000069f, 0x800017ff, 0x00000ee9,
0x80000b8f, 0x00002c99, 0x800007a1, 0x80002d26, 0x00000b8a,
0x80000f00, 0x000017c3, 0x80000900, 0x80019b41, 0x00000973,
0x80001554, 0x00001037, 0x80000af5, 0x00003a18, 0x80000760,
0x800024d3, 0x00000c51, 0x80000dfd, 0x00001b2c, 0x800008a5,
0x80008509, 0x000009f0, 0x80001350, 0x000011c2, 0x80000a6b,
0x000052ec, 0x80000723, 0x80001f21, 0x00000d33, 0x80000d1d,
0x00001faf, 0x80000850, 0x80004f9f, 0x00000a83, 0x800011a9,
0x0000139b, 0x800009f0, 0x0000900b, 0x800006ec, 0x80001afd,
0x00000e35, 0x80000c59, 0x000025e9, 0x80000802, 0x800038fa,
0x00000b27, 0x80001047, 0x000015dc, 0x80000980, 0x000216c3,
0x800006b6, 0x800017ff, 0x00000f5f, 0x80000bab, 0x00002f19,
0x800007bb, 0x80002c69, 0x00000bdd, 0x80000f1a, 0x000018ac,
0x8000091a, 0x80013ca7, 0x000009ab, 0x8000155f, 0x000010bc,
0x80000b11, 0x00003e03, 0x80000778, 0x80002473, 0x00000cad,
0x80000e18, 0x00001c4a, 0x800008be, 0x80007acb, 0x00000a34,
0x80001362, 0x00001258, 0x80000a87, 0x00005a58, 0x8000073d,
0x80001ef3, 0x00000d9a, 0x80000d39, 0x00002116, 0x80000869,
0x80004c5d, 0x00000acb, 0x800011bf, 0x00001448, 0x80000a0c,
0x0000a54a, 0x80000702, 0x80001aec, 0x00000ea2, 0x80000c74,
0x000027cb, 0x8000081f, 0x8000378b, 0x00000b74, 0x8000105f,
0x000016a6, 0x8000099e, 0x0003a44e, 0x800006cd, 0x800017ff,
0x00000fd9, 0x80000bc7, 0x000031ca, 0x800007d3, 0x80002bbe,
0x00000c32, 0x80000f34, 0x0000199e, 0x80000935, 0x800102d6,
0x000009eb, 0x80001569, 0x00001145, 0x80000b2d, 0x00004253,
0x80000790, 0x8000241b, 0x00000d08, 0x80000e35, 0x00001d73,
0x800008d8, 0x8000722a, 0x00000a79, 0x80001372, 0x000012fe,
0x80000aa3, 0x000062e0, 0x80000752, 0x80001eca, 0x00000dfb,
0x80000d54, 0x00002292, 0x80000883, 0x80004976, 0x00000b16,
0x800011d3, 0x000014fa, 0x80000a26, 0x0000c0bd, 0x80000719,
0x80001adc, 0x00000f12, 0x80000c90, 0x000029c9, 0x80000834,
0x80003641, 0x00000bc4, 0x80001076, 0x0000177b, 0x800009b6,
0x000cd705, 0x800006e3, 0x800017ff, 0x00001055, 0x80000be5,
0x000034b1, 0x800007eb, 0x80002b16, 0x00000c89, 0x80000f4f,
0x00001a9a, 0x8000094f, 0x8000dc3c, 0x00000a2d, 0x80001573,
0x000011d0, 0x80000b48, 0x00004718, 0x800007a8, 0x800023c9,
0x00000d66, 0x80000e4e, 0x00001ead, 0x800008f1, 0x80006afb,
0x00000abf, 0x80001383, 0x00001392, 0x80000abd, 0x00006cc9,
0x8000076a, 0x80001ea1, 0x00000e63, 0x80000d6f, 0x00002432,
0x8000089b, 0x800046da, 0x00000b63, 0x800011e8, 0x000015b2,
0x80000a42, 0x0000e573, 0x8000072f, 0x80001acd, 0x00000f84,
0x80000cab, 0x00002beb, 0x8000084c, 0x80003510, 0x00000c18,
0x8000108f, 0x00001851, 0x800009d0, 0x8008ee1b, 0x000009e7,
0x800017ff, 0x000010d5, 0x80000bfe, 0x000037d5, 0x80000803,
0x80002a7d, 0x00000ce0, 0x80000f66, 0x00001ba0, 0x80000969,
0x8000c07d, 0x00000a70, 0x8000157c, 0x0000125f, 0x80000b64,
0x00004c80, 0x800007bf, 0x80002378, 0x00000dc6, 0x80000e68,
0x00001ff0, 0x8000090b, 0x800064db, 0x00000b06, 0x80001392,
0x00001437, 0x80000adb, 0x0000786f, 0x80000781, 0x80001e7b,
0x00000ecc, 0x80000d8b, 0x000025ca, 0x800008b4, 0x80004480,
0x00000bae, 0x800011fc, 0x00001670, 0x80000a5b, 0x0001197a,
0x80000746, 0x80001abe, 0x00000ff9, 0x80000cc8, 0x00002e2f,
0x80000865, 0x800033f6, 0x00000c68, 0x800010a4, 0x00001932,
0x800009e9, 0x80036321, 0x00000a26, 0x800017ff, 0x00001157,
0x80000c18, 0x00003b3e, 0x8000081f, 0x800029eb, 0x00000d3b,
0x80000f7e, 0x00001cb0, 0x80000982, 0x8000abaf, 0x00000ab4,
0x80001586, 0x000012fe, 0x80000b7e, 0x00005259, 0x800007d7,
0x8000232d, 0x00000e28, 0x80000e81, 0x00002146, 0x80000924,
0x80005f92, 0x00000b4e, 0x800013a2, 0x000014df, 0x80000af2,
0x00008653, 0x80000798, 0x80001e55, 0x00000f3a, 0x80000da3,
0x00002788, 0x800008cc, 0x8000426b, 0x00000bfb, 0x8000120f,
0x00001735, 0x80000a76, 0x0001677e, 0x8000075d, 0x80001ab0,
0x00001070, 0x80000cdf, 0x0000309d, 0x8000087c, 0x800032f7,
0x00000cbc, 0x800010ba, 0x00001a21, 0x80000a03, 0x80021ded,
0x00000a67, 0x800017ff, 0x000011dd, 0x80000c33, 0x00003ef5,
0x80000833, 0x80002967, 0x00000d9a, 0x80000f96, 0x00001dcd,
0x8000099e, 0x80009b5b, 0x00000af9, 0x8000158f, 0x0000138a,
0x80000b97, 0x0000590c, 0x800007ee, 0x800022e7, 0x00000e8e,
0x80000e99, 0x000022ab, 0x8000093c, 0x80005af7, 0x00000b98,
0x800013b1, 0x0000158f, 0x80000b0c, 0x0000972e, 0x800007af,
0x80001e33, 0x00000fa6, 0x80000dbc, 0x00002963, 0x800008e6,
0x80004074, 0x00000c4b, 0x80001222, 0x00001800, 0x80000a8f,
0x0001ebf0, 0x80000772, 0x80001aa3, 0x000010eb, 0x80000cf9,
0x0000333f, 0x80000894, 0x800031fe, 0x00000d13, 0x800010cf,
0x00001b0e, 0x80000a1c, 0x80018dc7, 0x00000aa8, 0x800017ff,
0x00001266, 0x80000c4c, 0x00004305, 0x8000084a, 0x800028e3,
0x00000df3, 0x80000fad, 0x00001ef5, 0x800009b4, 0x80008e54,
0x00000b3d, 0x80001598, 0x00001426, 0x80000bb1, 0x000060a5,
0x80000804, 0x800022a1, 0x00000ef2, 0x80000eb1, 0x00002432,
0x80000955, 0x800056ea, 0x00000be3, 0x800013c0, 0x00001643,
0x80000b25, 0x0000ac0d, 0x800007c5, 0x80001e10, 0x00001018,
0x80000dd5, 0x00002b55, 0x800008fc, 0x80003eb2, 0x00000c9b,
0x80001235, 0x000018d2, 0x80000aa7, 0x0002fbf7, 0x80000789,
0x80001a95, 0x00001168, 0x80000d12, 0x00003603, 0x800008ab,
0x8000311b, 0x00000d69, 0x800010e6, 0x00001c08, 0x80000a34,
0x80013ca7, 0x00000aea, 0x800017ff, 0x000012fe, 0x80000c65,
0x0000477b, 0x80000861, 0x8000286b, 0x00000e52, 0x80000fc5,
0x0000202b, 0x800009cc, 0x800083a0, 0x00000b85, 0x800015a0,
0x000014c7, 0x80000bca, 0x00006957, 0x8000081f, 0x80002260,
0x00000f5a, 0x80000ecb, 0x000025af, 0x8000096c, 0x80005360,
0x00000c2f, 0x800013cd, 0x000016fa, 0x80000b3e, 0x0000c694,
0x800007da, 0x80001df0, 0x00001089, 0x80000ded, 0x00002d6e,
0x80000914, 0x80003d17, 0x00000cee, 0x80001246, 0x000019ab,
0x80000ac0, 0x00066be9, 0x8000079e, 0x80001a89, 0x000011e8,
0x80000d2c, 0x00003904, 0x800008c2, 0x80003048, 0x00000dc3,
0x800010f9, 0x00001d12, 0x80000a4d, 0x80010816, 0x00000b2e,
0x800017ff, 0x00001383, 0x80000c7e, 0x00004c80, 0x80000877,
0x800027f8, 0x00000eb3, 0x80000fda, 0x0000216e, 0x800009e4,
0x80007acb, 0x00000bcd, 0x800015a8, 0x0000156b, 0x80000be5,
0x00007357, 0x80000831, 0x80002224, 0x00000fc5, 0x80000ee0,
0x00002750, 0x80000983, 0x8000501f, 0x00000c7c, 0x800013dc,
0x000017b8, 0x80000b57, 0x0000e96a, 0x800007f0, 0x80001dd0,
0x00001101, 0x80000e05, 0x00002fa1, 0x8000092b, 0x80003b99,
0x00000d41, 0x80001257, 0x00001a8c, 0x80000adb, 0x8037eb7d,
0x00000ade, 0x80001a7d, 0x0000126c, 0x80000d43, 0x00003c47,
0x800008d9, 0x80002f81, 0x00000e1e, 0x8000110d, 0x00001e1e,
0x80000a65, 0x8000e3a7, 0x00000b72, 0x800017ff, 0x00001418,
0x80000c96, 0x000051dd, 0x8000088d, 0x8000278e, 0x00000f16,
0x80000fef, 0x000022c0, 0x800009fc, 0x80007326, 0x00000c18,
0x800015b0, 0x00001615, 0x80000bfb, 0x00007f20, 0x80000847,
0x800021e7, 0x00001032, 0x80000ef7, 0x00002906, 0x8000099e,
0x80004d3f, 0x00000ccb, 0x800013e9, 0x0000187f, 0x80000b6f,
0x0001197a, 0x80000805, 0x80001db3, 0x00001179, 0x80000e1c,
0x000031f9, 0x80000943, 0x80003a38, 0x00000d9a, 0x80001269,
0x00001b76, 0x80000af0, 0x80055fee, 0x00000b1f, 0x80001a71,
0x000012fe, 0x80000d5b, 0x00003fcc, 0x800008f0, 0x80002ecc,
0x00000e79, 0x80001120, 0x00001f39, 0x80000a7d, 0x8000c8db,
0x00000bb7, 0x800017ff, 0x000014b0, 0x80000cae, 0x000057f4,
0x800008a5, 0x80002724, 0x00000f7b, 0x80001005, 0x00002432,
0x80000a13, 0x80006cad, 0x00000c60, 0x800015b8, 0x000016c5,
0x80000c13, 0x00008cf0, 0x8000085d, 0x800021ae, 0x000010a2,
0x80000f0e, 0x00002ad8, 0x800009b2, 0x80004aa6, 0x00000d1b,
0x800013f6, 0x00001948, 0x80000b87, 0x00015ebf, 0x8000081f,
0x80001d95, 0x000011f3, 0x80000e35, 0x0000347d, 0x80000959,
0x800038fa, 0x00000dec, 0x80001279, 0x00001c67, 0x80000b08,
0x8002dd64, 0x00000b63, 0x80001a65, 0x0000137d, 0x80000d72,
0x000043a3, 0x80000906, 0x80002e18, 0x00000ed7, 0x80001135,
0x00002061, 0x80000a94, 0x8000b439, 0x00000bfe, 0x800017ff,
0x0000154d, 0x80000cc8, 0x00005ec8, 0x800008b9, 0x800026c3,
0x00000fe2, 0x80001019, 0x00002597, 0x80000a2a, 0x8000670a,
0x00000cad, 0x800015c0, 0x0000177b, 0x80000c2a, 0x00009dac,
0x80000872, 0x8000217a, 0x00001112, 0x80000f23, 0x00002cbf,
0x800009c9, 0x8000484b, 0x00000d6c, 0x80001402, 0x00001a21,
0x80000b9e, 0x0001cd68, 0x80000830, 0x80001d7a, 0x00001271,
0x80000e4a, 0x00003732, 0x8000096f, 0x800037c5, 0x00000e45,
0x80001289, 0x00001d62, 0x80000b20, 0x8001f8e3, 0x00000ba4,
0x80001a5b, 0x0000140b, 0x80000d8b, 0x000047d1, 0x8000091c,
0x80002d73, 0x00000f3a, 0x80001146, 0x00002194, 0x80000aab,
0x8000a3ec, 0x00000c45, 0x800017ff, 0x000015ee, 0x80000cdd,
0x00006681, 0x800008cf, 0x80002665, 0x0000104b, 0x8000102f,
0x0000271d, 0x80000a42, 0x80006225, 0x00000cf8, 0x800015c7,
0x00001831, 0x80000c42, 0x0000b21b, 0x80000888, 0x80002144,
0x00001186, 0x80000f38, 0x00002ec7, 0x800009e0, 0x80004626,
0x00000dbf, 0x8000140f, 0x00001af4, 0x80000bb5, 0x000298de,
0x80000845, 0x80001d5f, 0x000012fe, 0x80000e60, 0x00003a18,
0x80000985, 0x800036ad, 0x00000e9e, 0x8000129a, 0x00001e67,
0x80000b37, 0x800183a6, 0x00000be8, 0x80001a50, 0x0000149c,
0x80000da0, 0x00004c80, 0x80000932, 0x80002cd8, 0x00000f99,
0x80001159, 0x000022d4, 0x80000ac2, 0x800096ba, 0x00000c8e,
0x800017ff, 0x00001694, 0x80000cf3, 0x00006f4d, 0x800008e6,
0x8000260f, 0x000010b6, 0x80001042, 0x000028b6, 0x80000a57,
0x80005dc5, 0x00000d47, 0x800015ce, 0x000018f2, 0x80000c59,
0x0000cbbb, 0x8000089d, 0x80002113, 0x000011fd, 0x80000f4f,
0x000030ed, 0x800009f5, 0x8000442f, 0x00000e14, 0x8000141b,
0x00001bd7, 0x80000bcc, 0x00048a1f, 0x8000085a, 0x80001d46,
0x00001377, 0x80000e76, 0x00003d2f, 0x8000099e, 0x800035a8,
0x00000efa, 0x800012a9, 0x00001f76, 0x80000b4d, 0x80013ca7,
0x00000c2d, 0x80001a46, 0x00001531, 0x80000db6, 0x00005174,
0x80000947, 0x80002c45, 0x00000ffd, 0x8000116a, 0x00002432,
0x80000adb, 0x80008bc2, 0x00000cd8, 0x800017ff, 0x0000173e,
0x80000d0a, 0x0000796a, 0x800008fa, 0x800025b8, 0x00001124,
0x80001055, 0x00002a66, 0x80000a6d, 0x800059e9, 0x00000d9a,
0x800015d5, 0x000019b6, 0x80000c6f, 0x0000ecd0, 0x800008b1,
0x800020e4, 0x00001276, 0x80000f62, 0x0000333f, 0x80000a0c,
0x8000426b, 0x00000e69, 0x80001427, 0x00001cbe, 0x80000be5,
0x00109266, 0x8000086f, 0x80001d2c, 0x000013ff, 0x80000e8b,
0x0000408d, 0x800009b1, 0x800034b1, 0x00000f57, 0x800012b8,
0x0000208f, 0x80000b64, 0x80010c74, 0x00000c73, 0x80001a3c,
0x000015ca, 0x80000dcb, 0x0000570c, 0x8000095c, 0x80002bbe,
0x00001063, 0x8000117d, 0x00002582, 0x80000aee, 0x8000828d,
0x00000d23, 0x800017ff, 0x000017ee, 0x80000d20, 0x00008529,
0x8000090f, 0x80002568, 0x00001194, 0x80001068, 0x00002c2c,
0x80000a83, 0x80005671, 0x00000de7, 0x800015dc, 0x00001a82,
0x80000c85, 0x0001197a, 0x800008c6, 0x800020b5, 0x000012fe,
0x80000f77, 0x000035a5, 0x80000a21, 0x800040b7, 0x00000ec1,
0x80001432, 0x00001db0, 0x80000bf9, 0x800a86c7, 0x00000c18,
0x80001d15, 0x0000148b, 0x80000ea0, 0x0000442b, 0x800009c6,
0x800033c9, 0x00000fb7, 0x800012c8, 0x000021b4, 0x80000b79,
0x8000ea0c, 0x00000cba, 0x80001a32, 0x00001668, 0x80000de2,
0x00005d40, 0x80000971, 0x80002b35, 0x000010ca, 0x8000118d,
0x000026f1, 0x80000b04, 0x80007acb, 0x00000d6f, 0x800017ff,
0x000018a1, 0x80000d35, 0x000092fa, 0x80000924, 0x8000251a,
0x00001207, 0x8000107b, 0x00002e0b, 0x80000a99, 0x80005360,
0x00000e38, 0x800015e3, 0x00001b55, 0x80000c9b, 0x000157c2,
0x800008da, 0x80002089, 0x00001372, 0x80000f8b, 0x0000383f,
0x80000a36, 0x80003f2d, 0x00000f19, 0x8000143e, 0x00001ead,
0x80000c0e, 0x800410ee, 0x00000c5a, 0x80001cfd, 0x0000151a,
0x80000eb5, 0x0000481c, 0x800009db, 0x800032f7, 0x00001018,
0x800012d5, 0x000022e5, 0x80000b8f, 0x8000d017, 0x00000d02,
0x80001a29, 0x00001709, 0x80000df6, 0x00006435, 0x80000986,
0x80002ab8, 0x00001134, 0x8000119e, 0x00002873, 0x80000b1a,
0x800073ed, 0x00000dbd, 0x800017ff, 0x0000195c, 0x80000d4b,
0x0000a375, 0x80000938, 0x800024d3, 0x0000127b, 0x8000108f,
0x00003006, 0x80000aae, 0x80005080, 0x00000e8e, 0x800015e9,
0x00001c2d, 0x80000cb0, 0x0001b6ac, 0x800008ef, 0x80002060,
0x000013f4, 0x80000f9e, 0x00003b05, 0x80000a4b, 0x80003dc0,
0x00000f74, 0x80001448, 0x00001faf, 0x80000c24, 0x80028bfb,
0x00000c9d, 0x80001ce8, 0x000015aa, 0x80000ecb, 0x00004c80,
0x800009f0, 0x80003225, 0x00001079, 0x800012e3, 0x00002432,
0x80000ba4, 0x8000bbdf, 0x00000d4b, 0x80001a20, 0x000017af,
0x80000e0b, 0x00006c05, 0x8000099e, 0x80002a41, 0x000011a1,
0x800011ae, 0x00002a05, 0x80000b2f, 0x80006e06, 0x00000e0b,
0x800017ff, 0x00001a21, 0x80000d60, 0x0000b776, 0x8000094c,
0x8000248a, 0x000012fe, 0x8000109f, 0x0000321e, 0x80000ac3,
0x80004df1, 0x00000ee1, 0x800015ef, 0x00001d12, 0x80000cc8,
0x000257a0, 0x80000903, 0x80002036, 0x00001479, 0x80000fb1,
0x00003e03, 0x80000a61, 0x80003c6c, 0x00000fd0, 0x80001454,
0x000020ba, 0x80000c39, 0x8001de38, 0x00000ce3, 0x80001cd1,
0x00001643, 0x80000edd, 0x0000511a, 0x80000a04, 0x80003166,
0x000010dd, 0x800012f2, 0x0000256f, 0x80000bb9, 0x8000abaf,
0x00000d9a, 0x80001a17, 0x0000185a, 0x80000e1f, 0x000074e9,
0x800009af, 0x800029cf, 0x0000120f, 0x800011bf, 0x00002bab,
0x80000b44, 0x800068d9, 0x00000e5b, 0x800017ff, 0x00001ae1,
0x80000d74, 0x0000d03f, 0x80000960, 0x80002447, 0x0000136d,
0x800010b1, 0x00003456, 0x80000adb, 0x80004b98, 0x00000f3a,
0x800015f5, 0x00001df7, 0x80000cda, 0x0003a44e, 0x80000916,
0x8000200f, 0x00001501, 0x80000fc5, 0x00004132, 0x80000a76,
0x80003b30, 0x0000102e, 0x8000145e, 0x000021d3, 0x80000c4e,
0x80017bc3, 0x00000d2a, 0x80001cbd, 0x000016da, 0x80000ef0,
0x00005642, 0x80000a19, 0x800030b2, 0x00001145, 0x800012ff,
0x000026c9, 0x80000bce, 0x80009e54, 0x00000de1, 0x80001a0e,
0x0000190a, 0x80000e35, 0x00007f20, 0x800009c3, 0x80002967,
0x0000127f, 0x800011ce, 0x00002d6e, 0x80000b58, 0x8000643a,
0x00000ead, 0x800017ff, 0x00001bac, 0x80000d8b, 0x0000efc3,
0x80000974, 0x80002405, 0x000013ea, 0x800010c2, 0x000036b1,
0x80000aed, 0x80004976, 0x00000f90, 0x800015fb, 0x00001ee6,
0x80000cef, 0x0007e90d, 0x8000092a, 0x80001fea, 0x0000158f,
0x80000fd6, 0x000044a6, 0x80000a89, 0x80003a08, 0x0000108d,
0x80001468, 0x000022f4, 0x80000c63, 0x80013ca7, 0x00000d71,
0x80001ca8, 0x0000177b, 0x80000f04, 0x00005bf8, 0x80000a2d,
0x80003005, 0x000011ac, 0x8000130c, 0x00002833, 0x80000be5,
0x80009334, 0x00000e2e, 0x80001a06, 0x000019be, 0x80000e47,
0x00008acf, 0x800009d7, 0x800028fc, 0x000012fe, 0x800011de,
0x00002f3d, 0x80000b6d, 0x8000601e, 0x00000eff, 0x800017ff,
0x00001c7e, 0x80000d9d, 0x0001197a, 0x80000987, 0x800023c9,
0x00001469, 0x800010d3, 0x00003933, 0x80000b01, 0x80004777,
0x00000fe9, 0x80001601, 0x00001fdf, 0x80000d03, 0x8037eb7d,
0x00000d0a, 0x80001fc4, 0x0000161c, 0x80000fe9, 0x0000485e,
0x80000a9e, 0x800038fa, 0x000010ef, 0x80001472, 0x00002432,
0x80000c77, 0x80011027, 0x00000dba, 0x80001c95, 0x0000181b,
0x80000f16, 0x00006244, 0x80000a42, 0x80002f61, 0x00001217,
0x8000131a, 0x000029ad, 0x80000bf7, 0x800089cd, 0x00000e7c,
0x800019fe, 0x00001a78, 0x80000e5b, 0x00009884, 0x800009eb,
0x80002899, 0x00001368, 0x800011ec, 0x0000312d, 0x80000b81,
0x80005c72, 0x00000f54, 0x800017ff, 0x00001d57, 0x80000db1,
0x0001520c, 0x8000099e, 0x8000238b, 0x000014ec, 0x800010e6,
0x00003bdf, 0x80000b15, 0x800045a5, 0x00001044, 0x80001607,
0x000020e3, 0x80000d17, 0x80065004, 0x00000d50, 0x80001fa1,
0x000016ae, 0x80000ffb, 0x00004c80, 0x80000ab1, 0x800037ee,
0x00001152, 0x8000147c, 0x0000255e, 0x80000c8b, 0x8000ef8b,
0x00000e05, 0x80001c82, 0x000018c0, 0x80000f29, 0x00006957,
0x80000a54, 0x80002ecc, 0x00001283, 0x80001326, 0x00002b3a,
0x80000c0b, 0x800081b6, 0x00000ecc, 0x800019f6, 0x00001b38,
0x80000e6e, 0x0000a8c8, 0x800009fe, 0x8000283b, 0x000013e0,
0x800011fc, 0x0000333f, 0x80000b95, 0x80005919, 0x00000fa9,
0x800017ff, 0x00001e37, 0x80000dc5, 0x0001a4f8, 0x800009ae,
0x80002352, 0x00001571, 0x800010f5, 0x00003eba, 0x80000b29,
0x800043f3, 0x000010a2, 0x8000160c, 0x000021ed, 0x80000d2c,
0x80036321, 0x00000d9a, 0x80001f80, 0x00001744, 0x8000100c,
0x000050cb, 0x80000ac4, 0x800036fa, 0x000011b7, 0x80001485,
0x000026a6, 0x80000c9f, 0x8000d681, 0x00000e4f, 0x80001c70,
0x0000196b, 0x80000f3b, 0x0000713a, 0x80000a68, 0x80002e34,
0x000012fe, 0x80001332, 0x00002cd9, 0x80000c1f, 0x80007acb,
0x00000f1c, 0x800019ef, 0x00001bfd, 0x80000e81, 0x0000bc50,
0x80000a12, 0x800027e1, 0x0000145c, 0x8000120a, 0x0000355f,
0x80000ba9, 0x80005614, 0x00001000, 0x800017ff, 0x00001f1e,
0x80000dd7, 0x00022931, 0x800009c1, 0x8000231a, 0x000015fb,
0x80001105, 0x000041c9, 0x80000b3c, 0x8000426b, 0x00001101,
0x80001612, 0x00002302, 0x80000d3e, 0x80025544, 0x00000ddd,
0x80001f5e, 0x000017df, 0x8000101d, 0x00005598, 0x80000adb,
0x80003613, 0x0000121e, 0x8000148f, 0x000027fb, 0x80000cb2,
0x8000c2ad, 0x00000e9b, 0x80001c5e, 0x00001a21, 0x80000f4f,
0x00007a24, 0x80000a7b, 0x80002daa, 0x00001364, 0x8000133f,
0x00002e8e, 0x80000c33, 0x80007490, 0x00000f6e, 0x800019e7,
0x00001cc8, 0x80000e93, 0x0000d44b, 0x80000a25, 0x8000278e,
0x000014d8, 0x80001218, 0x000037a6, 0x80000bbc, 0x80005360,
0x00001059, 0x800017ff, 0x0000200e, 0x80000dea, 0x00031d45,
0x800009d4, 0x800022e7, 0x00001686, 0x80001114, 0x00004511,
0x80000b50, 0x800040ea, 0x00001160, 0x80001617, 0x00002432,
0x80000d51, 0x8001ca3b, 0x00000e25, 0x80001f3e, 0x0000187f,
0x8000102f, 0x00005ad7, 0x80000aeb, 0x80003539, 0x00001287,
0x80001497, 0x00002963, 0x80000cc8, 0x8000b295, 0x00000ee9,
0x80001c4d, 0x00001acf, 0x80000f5f, 0x00008451, 0x80000a8f,
0x80002d26, 0x000013d8, 0x8000134a, 0x00003058, 0x80000c45,
0x80006f26, 0x00000fc1, 0x800019e0, 0x00001d9a, 0x80000ea5,
0x0000f257, 0x80000a37, 0x80002738, 0x00001558, 0x80001226,
0x00003a18, 0x80000bcf, 0x800050cd, 0x000010b3, 0x800017ff,
0x00002105, 0x80000dfd, 0x00057736, 0x800009e7, 0x800022b1,
0x00001716, 0x80001124, 0x00004898, 0x80000b64, 0x80003f8e,
0x000011c2, 0x8000161c, 0x0000254e, 0x80000d64, 0x80017572,
0x00000e6f, 0x80001f21, 0x0000191f, 0x8000103e, 0x000060a5,
0x80000afe, 0x8000346c, 0x000012fe, 0x800014a1, 0x00002ad8,
0x80000cd8, 0x8000a542, 0x00000f3a, 0x80001c3c, 0x00001b8a,
0x80000f70, 0x0000900b, 0x80000aa1, 0x80002ca6, 0x0000144e,
0x80001356, 0x0000323b, 0x80000c59, 0x80006a52, 0x00001018,
0x800019d9, 0x00001e72, 0x80000eb7, 0x0001197a, 0x80000a4a,
0x800026e9, 0x000015dc, 0x80001235, 0x00003ca6, 0x80000be5,
0x80004e7c, 0x0000110f, 0x800017ff, 0x00002206, 0x80000e0f,
0x0014bb7d, 0x800009f9, 0x80002281, 0x000017a9, 0x80001135,
0x00004c80, 0x80000b76, 0x80003e46, 0x00001225, 0x80001621,
0x00002686, 0x80000d76, 0x80013ca7, 0x00000eb9, 0x80001f01,
0x000019c6, 0x8000104f, 0x00006705, 0x80000b11, 0x800033a9,
0x00001360, 0x800014a9, 0x00002c5c, 0x80000ceb, 0x80009a0c,
0x00000f87, 0x80001c2c, 0x00001c4a, 0x80000f82, 0x00009dac,
0x80000ab4, 0x80002c2d, 0x000014c7, 0x80001362, 0x00003437,
0x80000c6b, 0x80006603, 0x0000106c, 0x800019d2, 0x00001f52,
0x80000ecb, 0x00014d4a, 0x80000a5c, 0x8000269c, 0x00001662,
0x80001241, 0x00003f65, 0x80000bf5, 0x80004c5d, 0x0000116c,
0x800017ff, 0x0000230f, 0x80000e21, 0x800c0495, 0x00000e45,
0x80002250, 0x00001840, 0x80001142, 0x00005086, 0x80000b88,
0x80003d17, 0x0000128a, 0x80001626, 0x000027cb, 0x80000d8b,
0x80011351, 0x00000f05, 0x80001ee5, 0x00001a71, 0x8000105f,
0x00006e24, 0x80000b24, 0x800032f7, 0x000013d0, 0x800014b2,
0x00002df3, 0x80000cfd, 0x8000907c, 0x00000fd9, 0x80001c1c,
0x00001d12, 0x80000f92, 0x0000ad9e, 0x80000ac6, 0x80002bbe,
0x00001541, 0x8000136d, 0x00003650, 0x80000c7e, 0x80006225,
0x000010c4, 0x800019cc, 0x00002038, 0x80000eda, 0x000196e6,
0x80000a6f, 0x80002653, 0x000016eb, 0x8000124f, 0x00004253,
0x80000c08, 0x80004a60, 0x000011cb, 0x800017ff, 0x00002432,
0x80000e35, 0x8004ba79, 0x00000e8e, 0x80002224, 0x000018da,
0x80001151, 0x00005500, 0x80000b9b, 0x80003bf3, 0x000012fe,
0x8000162b, 0x0000291b, 0x80000d9b, 0x8000f463, 0x00000f51,
0x80001eca, 0x00001b21, 0x8000106f, 0x00007617, 0x80000b37,
0x80003241, 0x00001441, 0x800014ba, 0x00002fa1, 0x80000d10,
0x8000883b, 0x0000102b, 0x80001c0d, 0x00001dd8, 0x80000fa3,
0x0000c0bd, 0x80000adb, 0x80002b4b, 0x000015c0, 0x80001378,
0x00003886, 0x80000c90, 0x80005e9a, 0x0000111d, 0x800019c5,
0x00002126, 0x80000eec, 0x000206a2, 0x80000a81, 0x8000260f,
0x0000177b, 0x8000125c, 0x00004573, 0x80000c1a, 0x8000488b,
0x0000122b, 0x800017ff, 0x00002541, 0x80000e45, 0x8002f84a,
0x00000ed5, 0x800021f5, 0x00001979, 0x8000115f, 0x000059e0,
0x80000bad, 0x80003ae5, 0x0000135d, 0x80001630, 0x00002a7b,
0x80000dad, 0x8000dc3c, 0x00000f9f, 0x80001ead, 0x00001bd7,
0x8000107e, 0x00007f20, 0x80000b48, 0x8000319a, 0x000014b5,
0x800014c3, 0x0000315f, 0x80000d22, 0x80008108, 0x0000107f,
0x80001bfd, 0x00001ead, 0x80000fb3, 0x0000d7e3, 0x80000aea,
0x80002ae2, 0x00001643, 0x80001383, 0x00003ade, 0x80000ca2,
0x80005b65, 0x00001179, 0x800019bf, 0x0000221c, 0x80000efc,
0x0002c4c9, 0x80000a92, 0x800025c8, 0x00001807, 0x80001269,
0x000048cc, 0x80000c2c, 0x800046da, 0x0000128e, 0x800017ff,
0x0000266a, 0x80000e56, 0x80022dbd, 0x00000f1e, 0x800021cb,
0x00001a21, 0x8000116e, 0x00005f35, 0x80000bbf, 0x800039e4,
0x000013c8, 0x80001634, 0x00002beb, 0x80000dbe, 0x8000c8db,
0x00000fee, 0x80001e93, 0x00001c8f, 0x8000108f, 0x0000893b,
0x80000b5a, 0x800030fc, 0x0000152c, 0x800014ca, 0x0000333f,
0x80000d33, 0x80007acb, 0x000010d5, 0x80001bef, 0x00001f81,
0x80000fc5, 0x0000f49e, 0x80000afc, 0x80002a7d, 0x000016c5,
0x8000138d, 0x00003d5a, 0x80000cb4, 0x8000587a, 0x000011d4,
0x800019b9, 0x0000231b, 0x80000f0e, 0x00044fef, 0x80000aa4,
0x80002587, 0x0000189b, 0x80001275, 0x00004c80, 0x80000c3e,
0x80004541, 0x000012fe, 0x800017ff, 0x0000279d, 0x80000e68,
0x8001ba93, 0x00000f69, 0x800021a0, 0x00001ac2, 0x8000117d,
0x00006511, 0x80000bd1, 0x800038fa, 0x00001437, 0x80001639,
0x00002d6e, 0x80000dd0, 0x8000b8e7, 0x0000103f, 0x80001e7b,
0x00001d4e, 0x8000109c, 0x000094e2, 0x80000b6c, 0x80003065,
0x000015a5, 0x800014d3, 0x00003525, 0x80000d45, 0x80007516,
0x0000112b, 0x80001be1, 0x00002061, 0x80000fd3, 0x0001197a,
0x80000b0d, 0x80002a1b, 0x0000174a, 0x80001397, 0x00003ffd,
0x80000cc8, 0x800055ca, 0x00001232, 0x800019b3, 0x00002432,
0x80000f1d, 0x0009793a, 0x80000ab6, 0x80002548, 0x00001932,
0x80001281, 0x0000504a, 0x80000c4f, 0x800043c5, 0x00001359,
0x800017ff, 0x000028dd, 0x80000e78, 0x80017046, 0x00000fb7,
0x8000217a, 0x00001b6c, 0x80001189, 0x00006b88, 0x80000be5,
0x8000380e, 0x000014a6, 0x8000163d, 0x00002ef9, 0x80000de2,
0x8000abaf, 0x00001090, 0x80001e61, 0x00001e12, 0x800010ab,
0x0000a255, 0x80000b7e, 0x80002fd4, 0x00001620, 0x800014da,
0x00003732, 0x80000d56, 0x80007014, 0x00001183, 0x80001bd3,
0x00002146, 0x80000fe3, 0x00014944, 0x80000b20, 0x800029bd,
0x000017d4, 0x800013a2, 0x000042cb, 0x80000cd7, 0x80005360,
0x00001291, 0x800019ad, 0x00002534, 0x80000f2e, 0x8037eb7d,
0x00000f3a, 0x8000250b, 0x000019cc, 0x8000128d, 0x0000547d,
0x80000c61, 0x8000426b, 0x000013c1, 0x800017ff, 0x00002a29,
0x80000e89, 0x80013ca7, 0x00001003, 0x80002151, 0x00001c1c,
0x80001197, 0x000072b4, 0x80000bf4, 0x80003736, 0x0000151a,
0x80001641, 0x0000309d, 0x80000df2, 0x8000a05c, 0x000010e3,
0x80001e49, 0x00001edd, 0x800010ba, 0x0000b21b, 0x80000b8f,
0x80002f4b, 0x0000169f, 0x800014e2, 0x00003954, 0x80000d67,
0x80006b94, 0x000011dd, 0x80001bc5, 0x00002232, 0x80000ff2,
0x00018b59, 0x80000b30, 0x80002967, 0x00001860, 0x800013ac,
0x000045c9, 0x80000ce8, 0x8000510b, 0x000012fe, 0x800019a8,
0x0000264f, 0x80000f3e, 0x8007379e, 0x00000f81, 0x800024d3,
0x00001a6a, 0x8000129a, 0x0000590c, 0x80000c72, 0x80004112,
0x0000142b, 0x800017ff, 0x00002b85, 0x80000e99, 0x8001160f,
0x00001051, 0x8000212c, 0x00001cd0, 0x800011a4, 0x00007ab3,
0x80000c05, 0x80003668, 0x0000158f, 0x80001646, 0x00003252,
0x80000e02, 0x800096ba, 0x00001137, 0x80001e33, 0x00001faf,
0x800010c8, 0x0000c4b4, 0x80000ba0, 0x80002ecc, 0x00001720,
0x800014e9, 0x00003b9a, 0x80000d78, 0x80006785, 0x00001237,
0x80001bb9, 0x00002326, 0x80001001, 0x0001ebf0, 0x80000b41,
0x8000290d, 0x000018f2, 0x800013b5, 0x000048fb, 0x80000cf9,
0x80004ef0, 0x00001356, 0x800019a2, 0x00002774, 0x80000f4f,
0x8003e5d4, 0x00000fcb, 0x80002498, 0x00001b0e, 0x800012a5,
0x00005dfd, 0x80000c83, 0x80003fd8, 0x00001497, 0x800017ff,
0x00002ced, 0x80000ea9, 0x8000f89f, 0x000010a2, 0x80002106,
0x00001d8a, 0x800011b1, 0x000083ae, 0x80000c16, 0x800035a8,
0x00001603, 0x8000164a, 0x0000341e, 0x80000e13, 0x80008e54,
0x0000118d, 0x80001e1b, 0x00002083, 0x800010d6, 0x0000db27,
0x80000bb1, 0x80002e49, 0x000017a4, 0x800014f0, 0x00003e03,
0x80000d8b, 0x800063d5, 0x00001294, 0x80001bac, 0x00002432,
0x80001010, 0x0002861f, 0x80000b52, 0x800028ba, 0x00001984,
0x800013c0, 0x00004c80, 0x80000d0a, 0x80004cf9, 0x000013bb,
0x8000199d, 0x000028a4, 0x80000f5d, 0x8002b051, 0x00001018,
0x80002461, 0x00001bb3, 0x800012b1, 0x00006362, 0x80000c94,
0x80003eb2, 0x00001505, 0x800017ff, 0x00002e66, 0x80000eb9,
0x8000e14b, 0x000010f1, 0x800020e4, 0x00001e48, 0x800011bf,
0x00008dd4, 0x80000c27, 0x800034eb, 0x0000167d, 0x8000164e,
0x00003603, 0x80000e23, 0x800086f8, 0x000011e4, 0x80001e05,
0x00002161, 0x800010e6, 0x0000f6a5, 0x80000bc1, 0x80002dd0,
0x0000182a, 0x800014f7, 0x0000408d, 0x80000d99, 0x80006079,
0x000012fe, 0x80001ba0, 0x00002528, 0x8000101f, 0x0003a44e,
0x80000b64, 0x8000286b, 0x00001a21, 0x800013c9, 0x00005013,
0x80000d1a, 0x80004b27, 0x00001421, 0x80001997, 0x000029e0,
0x80000f6c, 0x80021006, 0x00001063, 0x8000242c, 0x00001c5e,
0x800012bb, 0x00006957, 0x80000ca5, 0x80003d99, 0x00001576,
0x800017ff, 0x00002fee, 0x80000ecb, 0x8000ce5a, 0x00001145,
0x800020c0, 0x00001f0d, 0x800011cb, 0x00009965, 0x80000c37,
0x8000343b, 0x000016fa, 0x80001652, 0x000037fc, 0x80000e35,
0x80008079, 0x0000123d, 0x80001df0, 0x00002244, 0x800010f2,
0x0001197a, 0x80000bd2, 0x80002d5c, 0x000018b4, 0x800014ff,
0x0000433b, 0x80000daa, 0x80005d65, 0x00001353, 0x80001b93,
0x00002637, 0x8000102f, 0x00066be9, 0x80000b73, 0x8000281d,
0x00001ab5, 0x800013d2, 0x00005407, 0x80000d2c, 0x80004976,
0x0000148b, 0x80001992, 0x00002b28, 0x80000f7b, 0x8001ae15,
0x000010b0, 0x800023f9, 0x00001d12, 0x800012c8, 0x00006fd2,
0x80000cb5, 0x80003c91, 0x000015e8, 0x800017ff, 0x00003189,
0x80000ed8, 0x8000beab, 0x00001197, 0x8000209f, 0x00001fd6,
0x800011d7, 0x0000a6b3, 0x80000c48, 0x80003391, 0x0000177b,
0x80001656, 0x00003a18, 0x80000e43, 0x80007acb, 0x00001296,
0x80001dda, 0x00002330, 0x80001100, 0x000145d1, 0x80000be5,
0x80002ced, 0x00001941, 0x80001505, 0x0000461a, 0x80000dba,
0x80005a92, 0x000013b4, 0x80001b88, 0x00002750, 0x8000103c,
0x00196656, 0x80000b84, 0x800027d2, 0x00001b55, 0x800013dc,
0x0000584a, 0x80000d3b, 0x800047da, 0x000014f4, 0x8000198d,
0x00002c7d, 0x80000f8b, 0x80016bf6, 0x00001101, 0x800023c9,
0x00001dc2, 0x800012d1, 0x0000770b, 0x80000cc8, 0x80003b99,
0x0000165d, 0x800017ff, 0x0000333f, 0x80000ee8, 0x8000b177,
0x000011ec, 0x8000207e, 0x000020a6, 0x800011e3, 0x0000b629,
0x80000c59, 0x800032f7, 0x000017f9, 0x80001659, 0x00003c47,
0x80000e53, 0x80007588, 0x000012fe, 0x80001dc6, 0x00002432,
0x8000110d, 0x000181cb, 0x80000bf3, 0x80002c82, 0x000019d1,
0x8000150c, 0x00004925, 0x80000dc9, 0x800057f7, 0x00001418,
0x80001b7c, 0x00002873, 0x8000104a, 0x800d6a15, 0x00001073,
0x8000278e, 0x00001bf6, 0x800013e4, 0x00005ce7, 0x80000d4b,
0x8000465a, 0x00001561, 0x80001988, 0x00002de0, 0x80000f99,
0x80013ca7, 0x0000114f, 0x80002397, 0x00001e7a, 0x800012dc,
0x00007f20, 0x80000cd5, 0x80003aa9, 0x000016d5, 0x800017ff,
0x000034f8, 0x80000ef7, 0x8000a633, 0x00001242, 0x80002060,
0x0000217a, 0x800011ef, 0x0000c85b, 0x80000c68, 0x80003256,
0x0000187f, 0x8000165d, 0x00003e96, 0x80000e62, 0x800070e2,
0x00001350, 0x80001db3, 0x0000251e, 0x8000111a, 0x0001d685,
0x80000c03, 0x80002c1c, 0x00001a65, 0x80001512, 0x00004c80,
0x80000dd9, 0x8000558e, 0x0000147d, 0x80001b71, 0x0000299d,
0x80001058, 0x80055fee, 0x000010bf, 0x80002745, 0x00001c9d,
0x800013ed, 0x000061ea, 0x80000d5b, 0x800044f4, 0x000015cf,
0x80001983, 0x00002f52, 0x80000fa7, 0x80011875, 0x000011a1,
0x80002368, 0x00001f39, 0x800012e7, 0x0000880a, 0x80000ce5,
0x800039c8, 0x0000174e, 0x800017ff, 0x000036cd, 0x80000f06,
0x80009c79, 0x00001299, 0x80002040, 0x00002257, 0x800011fc,
0x0000de13, 0x80000c78, 0x800031c4, 0x00001904, 0x80001661,
0x00004109, 0x80000e71, 0x80006cad, 0x000013af, 0x80001d9f,
0x00002621, 0x80001126, 0x000257a0, 0x80000c13, 0x80002bbe,
0x00001afc, 0x80001519, 0x00004fe3, 0x80000de9, 0x80005360,
0x000014e4, 0x80001b66, 0x00002ad8, 0x80001065, 0x80036321,
0x0000110c, 0x80002703, 0x00001d47, 0x800013f6, 0x0000675f,
0x80000d6a, 0x800043a0, 0x00001643, 0x8000197f, 0x000030d4,
0x80000fb5, 0x8000fc6b, 0x000011f3, 0x8000233b, 0x00001ffc,
0x800012f2, 0x00009224, 0x80000cf5, 0x800038fa, 0x000017ca,
0x800017ff, 0x000038bc, 0x80000f14, 0x800093fd, 0x000012fe,
0x80002022, 0x00002339, 0x80001207, 0x0000f875, 0x80000c88,
0x80003136, 0x0000198e, 0x80001664, 0x000043a3, 0x80000e81,
0x800068d9, 0x0000140f, 0x80001d8c, 0x0000272c, 0x80001135};
int main () {
unsigned int i,j,k;
int temp,temp1;
FILE *Outfp;
Outfp = fopen("out14d.dat","w");
for (i=0; i<5160; i++) {
j=i+1; // n
for (k=0; k<1228; k++) { // check if n, n+2 are primes
if ((table[k]==j)&&(table[k+1]==(j+2)))
goto askip;
if (table[k]>j)
goto bskip;
}
goto bskip;
askip:
if (flag==1) { // check if 12 divides n+7
if ((j+7)!=((j+7)/12)*12)
continue;
}
else {
if ((j+7)==((j+7)/12)*12)
continue;
}
if ((input[i]&0x80000000)!=0) { // unpack sign
temp=(int)(input[i]&0x7fffffff);
temp=-temp;
}
else
temp=input[i];
if ((input[i+2]&0x80000000)!=0) { // unpack sign
temp1=(int)(input[i+2]&0x7fffffff);
temp1=-temp1;
}
else
temp1=input[i+2];
fprintf(Outfp,"%d, %d, %d \n",j,temp,temp1);
printf("n=%d, x=%d, y=%d \n",j,temp,temp1);
bskip:
j=0;
}
fclose(Outfp);
return(0);
}