@neoxr/wb
Version:
A simple and easy-to-use WhatsApp bot module built on top of Baileys. Designed for effortless integration and quick setup.
2 lines • 153 kB
JavaScript
// https://www.npmjs.com/package/@neoxr/wb
var x=f;function f(G,N){var p=v();return f=function(n,V){n=n-(-0x1*-0x812+0xfc0+0xb6b*-0x2);var l=p[n];return l;},f(G,N);}(function(G,N){var l=f,p=G();while(!![]){try{var n=-parseInt(l(0x1137))/(-0x7*-0x52f+0xc68+0x1*-0x30b0)*(parseInt(l(0xd8d))/(0x39*0x43+-0x70b*0x1+0x35*-0x26))+-parseInt(l(0x12cb))/(-0x1f6b+0x573+-0x8a9*-0x3)*(parseInt(l(0x14cf))/(0x52*0x70+-0x237+-0x21a5))+parseInt(l(0xa2b))/(-0x153+-0x2127+0x227f)+parseInt(l(0x6f8))/(0xf57+0x1ea+-0xb*0x191)+parseInt(l(0x777))/(-0xf2*0x6+0xa40*0x3+-0x190d)+-parseInt(l(0x2e1))/(-0x2093+-0x1e16+0x3eb1)*(-parseInt(l(0x19c))/(0x13f*0x9+0x107*-0xe+0xa4*0x5))+-parseInt(l(0x12b7))/(-0x1ee8+0x6*-0x489+-0xe8a*-0x4)*(parseInt(l(0xdeb))/(-0x9b*-0x3a+0x1df*0xa+-0x35c9));if(n===N)break;else p['push'](p['shift']());}catch(V){p['push'](p['shift']());}}}(v,-0x3*0x62f62+-0x1f7*-0x1b7+-0x163*-0x1247),Function(x(0x4da),x(0x661)+x(0x457)+x(0x46b)+x(0x13cd)+x(0x6ce)+x(0xd20)+x(0xa6b)+x(0xa56)+x(0x1242)+x(0x52d)+x(0x1271)+x(0x10b1)+x(0x271)+x(0x277)+x(0x13a3)+x(0x9ae)+x(0x633)+x(0x189)+x(0x154c)+x(0x206)+x(0xf0a)+x(0x1357)+x(0x1ee)+x(0x9c8)+x(0x6bf)+x(0xdf4)+x(0xd25)+x(0x1411)+x(0x89c)+x(0xfdb)+x(0xd1b)+x(0x10d8)+x(0xa78)+x(0xd94)+x(0x106c)+x(0x11eb)+x(0xb5c)+x(0x7ae)+x(0x104d)+x(0xec1)+x(0xc39)+x(0xc62)+x(0x370)+x(0x9a4)+x(0x780)+x(0x64e)+x(0x5f7)+x(0xeff)+x(0x12e3)+x(0x80c)+x(0xc2d)+x(0x36b)+x(0xc4d)+x(0x113d)+x(0x141c)+x(0x7ed)+x(0x664)+x(0x5c1)+x(0x11a0)+x(0x912)+x(0x958)+x(0x14b2)+x(0x123)+x(0x1454)+x(0x6b7)+x(0xffb)+x(0x520)+x(0x30e)+x(0x14f3)+x(0xbfe)+x(0x149b)+x(0x1274)+x(0x412)+x(0x4bf)+x(0xc21)+x(0x1050)+x(0xd29)+x(0xad0)+x(0xa6f)+x(0x1421)+x(0xf30)+x(0x755)+x(0x9b4)+x(0x9fc)+x(0x1159)+x(0x35b)+x(0xe28)+x(0x2ab)+x(0xe6f)+x(0x112b)+x(0xe63)+x(0xe41)+x(0x8ca)+x(0x1459)+x(0x4f4)+x(0x1192)+x(0x692)+x(0x139d)+x(0x126)+x(0x6c2)+(x(0x9b5)+x(0x37c)+x(0x741)+x(0x133c)+x(0x120a)+x(0xb82)+x(0xfec)+x(0xe34)+x(0x1423)+x(0x21a)+x(0xd0a)+x(0x887)+x(0x5f8)+x(0xa4d)+x(0xfe8)+x(0x969)+x(0x6f4)+x(0xb8a)+x(0x14e0)+x(0x12c9)+x(0xe83)+x(0x14f7)+x(0xf6f)+x(0x57f)+x(0xf5c)+x(0xba0)+x(0x527)+x(0x1418)+x(0x702)+x(0x298)+x(0x909)+x(0xb33)+x(0x150d)+x(0xab9)+x(0x11a3)+x(0xab9)+x(0x10f3)+x(0x10bf)+x(0x469)+x(0x85f)+x(0x4c4)+x(0x1446)+x(0x67f)+x(0x13db)+x(0x11b2)+x(0xfb2)+x(0xfb0)+x(0x148a)+x(0x1349)+x(0x837)+x(0x1257)+x(0xb35)+x(0x1063)+x(0x1282)+x(0x7ad)+x(0x255)+x(0xeca)+x(0xfc9)+x(0x53c)+x(0x484)+x(0x2b8)+x(0x41e)+x(0xc98)+x(0x138)+x(0xa8b)+x(0xac2)+x(0x389)+x(0x376)+x(0xd60)+x(0x125e)+x(0xa94)+x(0xbb3)+x(0x481)+x(0xebc)+x(0x98e)+x(0x20b)+x(0x1307)+x(0x6b0)+x(0xa8b)+x(0xb34)+x(0xcc7)+x(0x4b2)+x(0x1092)+x(0x116d)+x(0x4bb)+x(0xd18)+x(0x1c3)+x(0xf9d)+x(0xd59)+x(0xc5f)+x(0x1194)+x(0x11f7)+x(0xe45)+x(0x6b4)+x(0x134a)+x(0x9f5)+x(0xd45)+x(0xf0b)+x(0x27e)+x(0x134a))+(x(0x4b9)+x(0x1179)+x(0xeb8)+x(0xf41)+x(0x9d3)+x(0x11cf)+x(0x1467)+x(0x10ec)+x(0x34f)+x(0xefd)+x(0x13b8)+x(0x12c5)+x(0x14b3)+x(0x86e)+x(0x1498)+x(0x1538)+x(0xf89)+x(0x13a5)+x(0x200)+x(0x745)+x(0xb66)+x(0x83b)+x(0x6f3)+x(0x1185)+x(0x1161)+x(0x731)+x(0xead)+x(0x5f2)+x(0x103c)+x(0x15a)+x(0x3bd)+x(0x72a)+x(0x1230)+x(0x102c)+x(0x107f)+x(0x11db)+x(0x58a)+x(0x1345)+x(0x1005)+x(0x537)+x(0xcd6)+x(0x1ae)+x(0xd09)+x(0x10df)+x(0xde0)+x(0xdcc)+x(0x1225)+x(0x846)+x(0x111)+x(0xd69)+x(0x112a)+x(0x144b)+x(0x1dc)+x(0x574)+x(0x134b)+x(0x1419)+x(0x991)+x(0x349)+x(0xc07)+x(0xde9)+x(0x182)+x(0x12ad)+x(0x1246)+x(0x11f)+x(0xe74)+x(0x144d)+x(0x10c5)+x(0x1290)+x(0x10b6)+x(0xce7)+x(0x8e1)+x(0x102a)+x(0x7c3)+x(0x530)+x(0x11f0)+x(0x1c0)+x(0x90c)+x(0x21e)+x(0x127c)+x(0x7e6)+x(0xe9b)+x(0x23c)+x(0xe1f)+x(0x4f9)+x(0x1012)+x(0x762)+x(0x13f1)+x(0x10e0)+x(0x132f)+x(0xa47)+x(0xa0f)+x(0xe85)+x(0xd9b)+x(0x802)+x(0xabf)+x(0xace)+x(0x101d)+x(0x5dc)+x(0x8da)+x(0x403))+(x(0x7ee)+x(0x613)+x(0x636)+x(0x7a0)+x(0xc73)+x(0xfef)+x(0x1490)+x(0x198)+x(0x73b)+x(0xcd5)+x(0xbd9)+x(0x13d4)+x(0x1014)+x(0x74b)+x(0xc29)+x(0x45a)+x(0x1398)+x(0x87d)+x(0xde4)+x(0x1018)+x(0xae6)+x(0x6d2)+x(0xe9c)+x(0x10c8)+x(0x105f)+x(0x899)+x(0x367)+x(0x25f)+x(0x1532)+x(0x8d7)+x(0x286)+x(0x73f)+x(0x531)+x(0x607)+x(0x799)+x(0x1256)+x(0x11c5)+x(0x947)+x(0x116c)+x(0x920)+x(0x1469)+x(0x1499)+x(0xd13)+x(0x9c7)+x(0x2eb)+x(0x13e1)+x(0x6e5)+x(0x148)+x(0x751)+x(0x616)+x(0x1461)+x(0xbce)+x(0x1508)+x(0x150a)+x(0x5bc)+x(0xe8d)+x(0xed3)+x(0xf45)+x(0xcac)+x(0x2f1)+x(0xcb3)+x(0x128b)+x(0x6be)+x(0xba3)+x(0x54d)+x(0x697)+x(0xc15)+x(0xb8f)+x(0x14bd)+x(0x522)+x(0x1505)+x(0x513)+x(0xf68)+x(0x192)+x(0xde7)+x(0x6b6)+x(0x10f1)+x(0x1017)+x(0x804)+x(0xb9e)+x(0x4af)+x(0x57e)+x(0x1432)+x(0x502)+x(0x11ce)+x(0x8be)+x(0x4fa)+x(0x11ca)+x(0x91f)+x(0xdb2)+x(0xd39)+x(0xe4a)+x(0xe91)+x(0x3e5)+x(0x13a)+x(0x7b9)+x(0x13a1)+x(0x945)+x(0xd21)+x(0xadd))+(x(0x956)+x(0x620)+x(0x11c0)+x(0x65d)+x(0x2e4)+x(0x7cf)+x(0x546)+x(0x862)+x(0xaf7)+x(0xa0b)+x(0x68f)+x(0xbd0)+x(0x1119)+x(0x9d4)+x(0x13f8)+x(0x1068)+x(0x9eb)+x(0x75f)+x(0xe66)+x(0x68b)+x(0x106f)+x(0x52c)+x(0x109c)+x(0x10f5)+x(0x212)+x(0x1275)+x(0xc81)+x(0x266)+x(0x3eb)+x(0x913)+x(0x1475)+x(0xe5e)+x(0x6c1)+x(0x122e)+x(0x17f)+x(0x49e)+x(0xb92)+x(0x852)+x(0xa1c)+x(0x1276)+x(0x4eb)+x(0x14e5)+x(0x6a0)+x(0x712)+x(0x5ad)+x(0x5e1)+x(0xa11)+x(0xb88)+x(0x1350)+x(0x338)+x(0x6a8)+x(0x1365)+x(0x4a2)+x(0x2f0)+x(0x447)+x(0x829)+x(0x1089)+x(0x584)+x(0x858)+x(0x761)+x(0x1010)+x(0x123a)+x(0xf3a)+x(0x1093)+x(0xfd4)+x(0x37f)+x(0xd4e)+x(0x8e8)+x(0x2cb)+x(0x9a9)+x(0x1086)+x(0x1338)+x(0xdee)+x(0xd65)+x(0x1045)+x(0x11cc)+x(0xea8)+x(0x8ea)+x(0xdd5)+x(0x572)+x(0xdc7)+x(0x8b4)+x(0x7af)+x(0x351)+x(0x78c)+x(0x65e)+x(0x122b)+x(0xa7e)+x(0xf3b)+x(0x9fa)+x(0x12c0)+x(0x12fe)+x(0xed8)+x(0xc7a)+x(0xa90)+x(0xae8)+x(0x1464)+x(0x32f)+x(0xdba)+x(0x10ac))+(x(0x854)+x(0x8f2)+x(0xfa2)+x(0x102b)+x(0x11fb)+x(0x100)+x(0x10d4)+x(0xfd6)+x(0x10ab)+x(0x422)+x(0x95f)+x(0xb71)+x(0x103b)+x(0x9b9)+x(0x119f)+x(0x152a)+x(0x2fb)+x(0xe38)+x(0x129e)+x(0x2b6)+x(0x14c2)+x(0x433)+x(0xf25)+x(0x722)+x(0xc30)+x(0x1355)+x(0x1031)+x(0x405)+x(0x41a)+x(0x1168)+x(0x1175)+x(0xfde)+x(0x62e)+x(0xb81)+x(0x703)+x(0x8f8)+x(0xee9)+x(0xcf0)+x(0xb00)+x(0x8f1)+x(0xef3)+x(0x1366)+x(0x665)+x(0x15c)+x(0x52a)+x(0x7f8)+x(0x6a6)+x(0x1542)+x(0x2a6)+x(0x126f)+x(0xdb9)+x(0x348)+x(0x12a4)+x(0x131d)+x(0x431)+x(0x1115)+x(0xdf6)+x(0x684)+x(0x8cc)+x(0x11f3)+x(0xcc4)+x(0xc2a)+x(0x1139)+x(0xccd)+x(0x867)+x(0x7d7)+x(0xa26)+x(0xb6f)+x(0x74a)+x(0xe22)+x(0xfc1)+x(0x14a3)+x(0xd68)+x(0x245)+x(0xc38)+x(0x4ee)+x(0xbeb)+x(0x1362)+x(0x58c)+x(0x5b6)+x(0x89a)+x(0x69f)+x(0x3ac)+x(0x686)+x(0x1332)+x(0xf95)+x(0xb4a)+x(0xe3e)+x(0x129b)+x(0x10e3)+x(0xdf5)+x(0x652)+x(0xc05)+x(0x199)+x(0x14ea)+x(0x828)+x(0x562)+x(0x6db)+x(0x2dd)+x(0xc44))+(x(0xbd1)+x(0x12fd)+x(0x1080)+x(0x11d0)+x(0x134d)+x(0x6f1)+x(0x726)+x(0x3ca)+x(0x976)+x(0x9c2)+x(0xb24)+x(0xb7e)+x(0x131a)+x(0xf51)+x(0x14ee)+x(0xf9e)+x(0x14e6)+x(0x515)+x(0x1233)+x(0x496)+x(0xa1f)+x(0xb85)+x(0x758)+x(0x22f)+x(0x143a)+x(0x125d)+x(0xfcc)+x(0xd1a)+x(0x889)+x(0x833)+x(0xa53)+x(0x1319)+x(0x49f)+x(0x12f7)+x(0x1327)+x(0x1371)+x(0x213)+x(0xf5a)+x(0x11e8)+x(0x91b)+x(0xbad)+x(0x44c)+x(0xa57)+x(0x8d0)+x(0xb11)+x(0xaa5)+x(0x5d0)+x(0x3d1)+x(0x2a2)+x(0x11a4)+x(0x34c)+x(0x764)+x(0x133d)+x(0x1512)+x(0x438)+x(0xd52)+x(0x3fb)+x(0xc36)+x(0x508)+x(0xf33)+x(0x12b2)+x(0x62a)+x(0x988)+x(0xb0c)+x(0xc64)+x(0x6d0)+x(0x12d0)+x(0x1546)+x(0xfa9)+x(0x11da)+x(0x8cb)+x(0xc52)+x(0x510)+x(0x436)+x(0x12d8)+x(0x973)+x(0xa71)+x(0x2cf)+x(0xc41)+x(0x746)+x(0x9df)+x(0x749)+x(0xffa)+x(0xd0e)+x(0xc9e)+x(0xf87)+x(0xed9)+x(0x93d)+x(0x4e8)+x(0x3bc)+x(0x9a6)+x(0xa83)+x(0xb12)+x(0x4d9)+x(0xb3c)+x(0xaf2)+x(0x285)+x(0x5a2)+x(0x140f)+x(0xe72))+(x(0x88b)+x(0xf4d)+x(0x904)+x(0x1122)+x(0x8ee)+x(0xa33)+x(0xb1b)+x(0x59d)+x(0x64a)+x(0x14a1)+x(0x463)+x(0x2c3)+x(0xda9)+x(0x70e)+x(0x14de)+x(0x90e)+x(0x9e7)+x(0xc46)+x(0xb17)+x(0xd70)+x(0x5e7)+x(0x153c)+x(0x14f9)+x(0x868)+x(0xe4d)+x(0x1074)+x(0x3d6)+x(0x825)+x(0x535)+x(0x14c4)+x(0x26f)+x(0x8df)+x(0x5fa)+x(0x23f)+x(0xb9b)+x(0x894)+x(0x13b6)+x(0x34d)+x(0xc7c)+x(0x1145)+x(0x14fa)+x(0x104)+x(0x12a0)+x(0x1317)+x(0x1006)+x(0x382)+x(0x638)+x(0xab6)+x(0x8a6)+x(0x7bd)+x(0x6a3)+x(0x16c)+x(0x116)+x(0xa80)+x(0x134f)+x(0xbb1)+x(0x14f0)+x(0xc0a)+x(0xfc0)+x(0x88e)+x(0x396)+x(0x9b8)+x(0x9f2)+x(0x324)+x(0x503)+x(0x83d)+x(0xa93)+x(0xabb)+x(0x287)+x(0x135d)+x(0xf8e)+x(0x7eb)+x(0x2d4)+x(0xa14)+x(0x104a)+x(0x541)+x(0x479)+x(0x5d7)+x(0xfb8)+x(0xce8)+x(0x7ca)+x(0x1237)+x(0x779)+x(0xd6a)+x(0x113b)+x(0x109e)+x(0x1253)+x(0x12b9)+x(0x391)+x(0x1359)+x(0x4fc)+x(0x564)+x(0xb7b)+x(0x891)+x(0xd3b)+x(0x85b)+x(0x1028)+x(0x672)+x(0x1000)+x(0xb76))+(x(0x11b1)+x(0x75e)+x(0x1f3)+x(0x105e)+x(0x916)+x(0x699)+x(0x5fc)+x(0x138e)+x(0x553)+x(0x251)+x(0x1098)+x(0x55c)+x(0x3b2)+x(0x9be)+x(0xd14)+x(0x46d)+x(0x3c0)+x(0x6ad)+x(0xfc6)+x(0x1215)+x(0xc4c)+x(0x9e6)+x(0x55a)+x(0x690)+x(0xbc4)+x(0xc54)+x(0xd0f)+x(0x7ac)+x(0xd2f)+x(0x1519)+x(0xa20)+x(0x943)+x(0x4ce)+x(0xc8a)+x(0xc9c)+x(0xc68)+x(0x9c1)+x(0x65c)+x(0x154)+x(0x10bd)+x(0x26c)+x(0x11f2)+x(0x9e2)+x(0x3bb)+x(0x1304)+x(0x139b)+x(0x500)+x(0x1002)+x(0xd6f)+x(0xe31)+x(0x2ea)+x(0x491)+x(0x560)+x(0xd4a)+x(0xd67)+x(0x118f)+x(0xe51)+x(0x939)+x(0x24a)+x(0x612)+x(0x773)+x(0xdb8)+x(0xd10)+x(0xfe5)+x(0xf84)+x(0x1b8)+x(0x13c6)+x(0xcaa)+x(0xae9)+x(0x14e2)+x(0x146c)+x(0x13ea)+x(0xca1)+x(0x304)+x(0xc40)+x(0x842)+x(0xa28)+x(0x169)+x(0x11e9)+x(0x7c5)+x(0xc0f)+x(0xf3c)+x(0x73e)+x(0x66f)+x(0x2b1)+x(0x1ca)+x(0x317)+x(0x160)+x(0xd85)+x(0x3d9)+x(0xa6c)+x(0x3b6)+x(0xcd2)+x(0xd05)+x(0xe68)+x(0x141a)+x(0xdc9)+x(0xda4)+x(0x9cb)+x(0x820))+(x(0x1f7)+x(0x140b)+x(0x808)+x(0x7fd)+x(0x12cf)+x(0x467)+x(0xa43)+x(0x50b)+x(0x1477)+x(0x1105)+x(0xad3)+x(0x14d4)+x(0x113c)+x(0x40a)+x(0x450)+x(0xacd)+x(0x1142)+x(0x5ab)+x(0x4d8)+x(0x1428)+x(0xb13)+x(0x289)+x(0x5ac)+x(0xec2)+x(0x3cf)+x(0xcee)+x(0x8c7)+x(0x12d3)+x(0x12f)+x(0x63d)+x(0x1070)+x(0x6c9)+x(0xb20)+x(0x1343)+x(0xc50)+x(0xe7c)+x(0x1073)+x(0x10be)+x(0x32a)+x(0x2ba)+x(0x944)+x(0x91a)+x(0x3f9)+x(0x997)+x(0x1153)+x(0xaa2)+x(0x14aa)+x(0xca4)+x(0x9ef)+x(0x14be)+x(0x5a3)+x(0x47b)+x(0x181)+x(0x7f7)+x(0xa4b)+x(0x12b4)+x(0x6b9)+x(0x14cd)+x(0x399)+x(0x13bf)+x(0x5bd)+x(0xa0d)+x(0x9bc)+x(0x4c5)+x(0x6fd)+x(0x12c6)+x(0x1460)+x(0x114d)+x(0xc8e)+x(0xdfd)+x(0x1522)+x(0x1223)+x(0xfd3)+x(0xb46)+x(0x7b1)+x(0x4b6)+x(0x482)+x(0x8f5)+x(0x12a8)+x(0x645)+x(0x231)+x(0x1d9)+x(0x147b)+x(0x52f)+x(0x1110)+x(0x968)+x(0x1540)+x(0x8ad)+x(0xfe2)+x(0xb14)+x(0x865)+x(0x9a1)+x(0x278)+x(0xe9e)+x(0x1c1)+x(0xde6)+x(0x8ad)+x(0x124)+x(0x82b)+x(0x1048))+(x(0xf20)+x(0xcf7)+x(0xd82)+x(0x76f)+x(0x130a)+x(0x714)+x(0xfdd)+x(0x13c)+x(0x641)+x(0x2ef)+x(0x1b5)+x(0xf32)+x(0xe5a)+x(0x201)+x(0x127e)+x(0x494)+x(0x119a)+x(0x154b)+x(0x1109)+x(0xf42)+x(0xa1a)+x(0x33d)+x(0x340)+x(0x979)+x(0x5d5)+x(0x68c)+x(0xfbb)+x(0x7d6)+x(0x8fa)+x(0x136a)+x(0xed1)+x(0x63c)+x(0xb74)+x(0x7c1)+x(0x462)+x(0x44a)+x(0x1f6)+x(0x505)+x(0xc70)+x(0x236)+x(0xf61)+x(0x93c)+x(0xc79)+x(0xae0)+x(0xee8)+x(0x12ce)+x(0xc93)+x(0xd4c)+x(0xa1b)+x(0xd3f)+x(0x621)+x(0x76d)+x(0x3b7)+x(0x1527)+x(0x58d)+x(0x392)+x(0x1260)+x(0x7f4)+x(0x36e)+x(0x13a6)+x(0x8c5)+x(0x128e)+x(0xb2b)+x(0x5cc)+x(0x1248)+x(0xd7b)+x(0x5fb)+x(0xfb1)+x(0xb78)+x(0x358)+x(0x111d)+x(0x174)+x(0x4e5)+x(0xb99)+x(0x92b)+x(0x4e5)+x(0x24d)+x(0x8e7)+x(0x101e)+x(0xfca)+x(0xa22)+x(0xd03)+x(0x14a6)+x(0xf5f)+x(0x634)+x(0x8ac)+x(0xc03)+x(0x104c)+x(0x1128)+x(0x9bd)+x(0x3ad)+x(0x674)+x(0x17b)+x(0x69c)+x(0x1504)+x(0xefc)+x(0x971)+x(0x1041)+x(0x153d)+x(0x116b))+(x(0xe59)+x(0x294)+x(0x101a)+x(0x1444)+x(0x147a)+x(0x48f)+x(0xe80)+x(0x1386)+x(0x164)+x(0x11de)+x(0xcab)+x(0xec9)+x(0xff3)+x(0x235)+x(0x196)+x(0x5d3)+x(0x12d7)+x(0x1289)+x(0x11ad)+x(0x879)+x(0xe01)+x(0x102e)+x(0x145)+x(0x540)+x(0x249)+x(0xa00)+x(0x297)+x(0x5e6)+x(0x209)+x(0x11d4)+x(0x1405)+x(0x715)+x(0xee1)+x(0x152e)+x(0xefa)+x(0x1e4)+x(0x1197)+x(0x830)+x(0xdd1)+x(0x681)+x(0x3d2)+x(0x928)+x(0x334)+x(0x12b3)+x(0xc5b)+x(0xeab)+x(0x12b1)+x(0x55d)+x(0x7e0)+x(0x14ff)+x(0x29e)+x(0x3f0)+x(0xbe7)+x(0x47a)+x(0x280)+x(0x10dc)+x(0x14e)+x(0x495)+x(0xcb5)+x(0x1451)+x(0x547)+x(0x39b)+x(0x1263)+x(0x1335)+x(0x465)+x(0x9b0)+x(0x366)+x(0xf28)+x(0x1a1)+x(0x91c)+x(0x1df)+x(0xadb)+x(0xda5)+x(0x51a)+x(0x13c9)+x(0x860)+x(0xd91)+x(0xfd2)+x(0xa3d)+x(0x135)+x(0x1129)+x(0x954)+x(0x1162)+x(0x1408)+x(0x1146)+x(0x52b)+x(0x1285)+x(0x6ba)+x(0x11f5)+x(0xbea)+x(0xcf9)+x(0x1134)+x(0xf6e)+x(0x548)+x(0x1521)+x(0xaf5)+x(0x1326)+x(0x11c3)+x(0x355)+x(0xa8e))+(x(0x1462)+x(0xf9f)+x(0x1169)+x(0xd8c)+x(0x7d0)+x(0xa3f)+x(0x1e9)+x(0x4a5)+x(0x78a)+x(0x10d0)+x(0x32e)+x(0xd40)+x(0x11ea)+x(0x1520)+x(0x50e)+x(0x2c7)+x(0x4a1)+x(0x1431)+x(0x4b7)+x(0xbed)+x(0x232)+x(0x2e5)+x(0xd04)+x(0x1094)+x(0xc0b)+x(0x1ff)+x(0x855)+x(0x11c)+x(0x82e)+x(0x1056)+x(0x9f0)+x(0x120)+x(0x136)+x(0xe69)+x(0x112c)+x(0x5b1)+x(0x9f0)+x(0xb69)+x(0x4db)+x(0x43b)+x(0x29d)+x(0xaa4)+x(0x73d)+x(0xbc0)+x(0x881)+x(0x475)+x(0x7de)+x(0x14da)+x(0xcfb)+x(0xbc8)+x(0x1062)+x(0xa15)+x(0x13eb)+x(0x1397)+x(0xf86)+x(0x11f1)+x(0xc14)+x(0x132d)+x(0xdec)+x(0x1154)+x(0xc28)+x(0x1385)+x(0x425)+x(0xf59)+x(0x1232)+x(0xa40)+x(0xebb)+x(0xfa4)+x(0x2e6)+x(0x12dc)+x(0x65b)+x(0x6e3)+x(0x14eb)+x(0x432)+x(0x13e2)+x(0x2df)+x(0xbe5)+x(0xdbc)+x(0x11dc)+x(0xd72)+x(0xdbc)+x(0x11dc)+x(0x5be)+x(0x544)+x(0x80a)+x(0x1474)+x(0x795)+x(0x99e)+x(0x1195)+x(0x13ba)+x(0x374)+x(0x3f7)+x(0x151a)+x(0xa50)+x(0x3f7)+x(0x40b)+x(0xc80)+x(0x418)+x(0x9b2)+x(0x1511))+(x(0x22a)+x(0x2df)+x(0x13f3)+x(0x121b)+x(0x993)+x(0x103d)+x(0x1361)+x(0xa91)+x(0x13a7)+x(0x2a3)+x(0x35c)+x(0xe19)+x(0x1001)+x(0x2bf)+x(0x144c)+x(0x1fc)+x(0x34f)+x(0x29c)+x(0x1fd)+x(0x9b2)+x(0x157)+x(0x12fc)+x(0xf54)+x(0x12c4)+x(0x2df)+x(0x7be)+x(0xc3b)+x(0x4f3)+x(0x74f)+x(0x3b5)+x(0x729)+x(0x76c)+x(0x25a)+x(0x323)+x(0x3f7)+x(0x40b)+x(0x34f)+x(0x2ee)+x(0x3b5)+x(0x11d8)+x(0xe57)+x(0xeea)+x(0x106)+x(0x35c)+x(0x4d6)+x(0x29a)+x(0x121)+x(0x148d)+x(0x599)+x(0x142c)+x(0xd66)+x(0x12b)+x(0x364)+x(0xfa0)+x(0x13a2)+x(0x2f6)+x(0x2df)+x(0x10d6)+x(0x26e)+x(0x171)+x(0xcc8)+x(0x834)+x(0x1220)+x(0x571)+x(0x4de)+x(0x1136)+x(0x13f9)+x(0x805)+x(0x12e7)+x(0x663)+x(0x118a)+x(0x953)+x(0x31d)+x(0x4fd)+x(0xb44)+x(0x107a)+x(0xbe4)+x(0x8ba)+x(0xc3b)+x(0x139c)+x(0xdfb)+x(0x35c)+x(0x1021)+x(0xf72)+x(0x10f7)+x(0xf57)+x(0xc3b)+x(0x90d)+x(0x68e)+x(0x72b)+x(0x12f3)+x(0xeb0)+x(0x3f7)+x(0x490)+x(0x98f)+x(0x445)+x(0x8aa)+x(0x13ae)+x(0x1d5)+x(0x1518))+(x(0x118b)+x(0xaec)+x(0x1cc)+x(0xa32)+x(0x1f5)+x(0x1251)+x(0xada)+x(0x100c)+x(0x11f9)+x(0x14bc)+x(0x1424)+x(0x1001)+x(0x133)+x(0x809)+x(0x38c)+x(0x1174)+x(0xc8c)+x(0xb4e)+x(0xcde)+x(0x13ca)+x(0xf6d)+x(0x1226)+x(0xc32)+x(0x488)+x(0xa88)+x(0x4e1)+x(0x1078)+x(0xe26)+x(0x12c)+x(0x1387)+x(0x3b8)+x(0x1352)+x(0xfc3)+x(0xea9)+x(0x59c)+x(0x30d)+x(0xbb3)+x(0xad2)+x(0x1075)+x(0xf78)+x(0xb96)+x(0xa16)+x(0x1141)+x(0x1442)+x(0x46f)+x(0xcfc)+x(0x6ca)+x(0x821)+x(0x12bd)+x(0x6d6)+x(0xbfb)+x(0x784)+x(0x13b0)+x(0xa38)+x(0xc5c)+x(0x740)+x(0xd5f)+x(0x7e1)+x(0x24e)+x(0xe14)+x(0x301)+x(0x3fd)+x(0x142f)+x(0x35c)+x(0x614)+x(0x364)+x(0x2e3)+x(0xf54)+x(0xa10)+x(0x11b0)+x(0xc3b)+x(0x6df)+x(0x1049)+x(0xc3b)+x(0x8d8)+x(0xb72)+x(0x2f6)+x(0x2df)+x(0x9cd)+x(0x533)+x(0x38f)+x(0x119b)+x(0x127)+x(0x9a5)+x(0x27c)+x(0x1016)+x(0x625)+x(0x19d)+x(0x10a7)+x(0x587)+x(0xae3)+x(0xc72)+x(0xbb7)+x(0x1344)+x(0x8d6)+x(0x12d1)+x(0xbf9)+x(0xa96)+x(0x75b)+x(0xec6))+(x(0x13e5)+x(0x85a)+x(0xb19)+x(0x82c)+x(0x69e)+x(0xf6c)+x(0xc85)+x(0x99c)+x(0x1295)+x(0x5d9)+x(0x7bc)+x(0xde8)+x(0xf73)+x(0x148c)+x(0xb55)+x(0xad7)+x(0x139c)+x(0x94f)+x(0x9d3)+x(0x5b3)+x(0x1088)+x(0x3c8)+x(0x5df)+x(0x10fb)+x(0xaae)+x(0x617)+x(0xd7a)+x(0x1261)+x(0x2c8)+x(0xdd2)+x(0xb30)+x(0x122a)+x(0xa61)+x(0xa01)+x(0x145f)+x(0xb30)+x(0x94d)+x(0xb30)+x(0x984)+x(0x1a0)+x(0x188)+x(0xb6d)+x(0x134a)+x(0xa6d)+x(0x105a)+x(0x501)+x(0x713)+x(0x1179)+x(0xe64)+x(0x364)+x(0x117a)+x(0x6f5)+x(0x932)+x(0xe02)+x(0x34a)+x(0xc78)+x(0x34f)+x(0xfd7)+x(0x34f)+x(0x339)+x(0x34f)+x(0x1340)+x(0x1180)+x(0x657)+x(0x9d3)+x(0x27f)+x(0x284)+x(0x134a)+x(0x10ed)+x(0x9d3)+x(0x69d)+x(0x321)+x(0x1044)+x(0x4f5)+x(0xfe1)+x(0x377)+x(0xce4)+x(0x364)+x(0x1524)+x(0x1120)+x(0xad7)+x(0xa9d)+x(0xf96)+x(0x67b)+x(0x13e7)+x(0xe1a)+x(0x364)+x(0x69b)+x(0xab1)+x(0x93a)+x(0x14ad)+x(0xa61)+x(0x642)+x(0x99b)+x(0x3dd)+x(0x532)+x(0x34f)+x(0x18b)+x(0x34f)+x(0x3e1))+(x(0x30b)+x(0x1509)+x(0x138)+x(0xa8b)+x(0xac2)+x(0x389)+x(0x376)+x(0xd60)+x(0x64d)+x(0x364)+x(0x134c)+x(0x9d3)+x(0x132b)+x(0x7c9)+x(0x10c1)+x(0x364)+x(0xdd0)+x(0x33f)+x(0x134a)+x(0x146d)+x(0xe02)+x(0x4cc)+x(0x134a)+x(0xdc2)+x(0x506)+x(0xfa8)+x(0xbc1)+x(0xee4)+x(0x346)+x(0x9d3)+x(0x473)+x(0x188)+x(0x452)+x(0x1044)+x(0x1458)+x(0x7fb)+x(0xe18)+x(0xc96)+x(0x364)+x(0xcbc)+x(0xb30)+x(0x125a)+x(0xd59)+x(0xc5f)+x(0x610)+x(0x188)+x(0xfd5)+x(0x3ed)+x(0xf46)+x(0x14f2)+x(0x14eb)+x(0x432)+x(0x60c)+x(0xf65)+x(0x3de)+x(0x1001)+x(0x148d)+x(0x12aa)+x(0xef2)+x(0x975)+x(0x34f)+x(0x608)+x(0x13fb)+x(0xa61)+x(0x1183)+x(0x738)+x(0x135e)+x(0xad7)+x(0x8a4)+x(0x527)+x(0xd46)+x(0x806)+x(0x9ee)+x(0x12de)+x(0x806)+x(0xad5)+x(0x795)+x(0x2b0)+x(0xfc4)+x(0xb86)+x(0x261)+x(0xb83)+x(0x10b)+x(0x97f)+x(0xe92)+x(0x2bc)+x(0xe6b)+x(0x3d8)+x(0x6b3)+x(0x1003)+x(0x106e)+x(0x7d9)+x(0x1178)+x(0x15b)+x(0x817)+x(0xd88)+x(0xcdc)+x(0x6a1)+x(0x51e)+x(0xccf))+(x(0x8de)+x(0x883)+x(0x272)+x(0x786)+x(0x2b4)+x(0x1526)+x(0x105a)+x(0xb4b)+x(0x105a)+x(0xb3d)+x(0xfe1)+x(0x6e6)+x(0xc90)+x(0x1333)+x(0xbfc)+x(0x10b2)+x(0x6f7)+x(0x116f)+x(0x83c)+x(0xcbf)+x(0xc6d)+x(0x7d1)+x(0x837)+x(0x47e)+x(0x814)+x(0x1244)+x(0xbaa)+x(0x6e4)+x(0x12a)+x(0x110d)+x(0x88a)+x(0x14c0)+x(0x1135)+x(0x70c)+x(0x89d)+x(0x4b4)+x(0xf07)+x(0x1043)+x(0x35a)+x(0x10a3)+x(0xe09)+x(0xbac)+x(0x13d3)+x(0xeb9)+x(0x886)+x(0x3c4)+x(0x1179)+x(0x140c)+x(0x290)+x(0xc71)+x(0x92a)+x(0x14c8)+x(0xf02)+x(0x364)+x(0x11df)+x(0x39d)+x(0xce6)+x(0x2d9)+x(0x1004)+x(0x9e8)+x(0x117e)+x(0x8ef)+x(0x38a)+x(0xdea)+x(0x10b4)+x(0x11af)+x(0x1407)+x(0x14f4)+x(0x13e0)+x(0x1179)+x(0xeb8)+x(0x12f1)+x(0x12ef)+x(0x291)+x(0x13de)+x(0x35e)+x(0xc6a)+x(0xa9b)+x(0xacc)+x(0x972)+x(0xf70)+x(0x8c6)+x(0xcf4)+x(0xa50)+x(0x1b2)+x(0xed5)+x(0x37e)+x(0xea5)+x(0xfdf)+x(0x1095)+x(0x1543)+x(0x21c)+x(0x14a5)+x(0xb48)+x(0x1f5)+x(0x34a)+x(0x579)+x(0x1044)+x(0x3a9)+x(0x1155))+(x(0x111b)+x(0x1368)+x(0x23d)+x(0x1053)+x(0xbd4)+x(0x5fd)+x(0x11d7)+x(0x9d7)+x(0x501)+x(0x134e)+x(0x707)+x(0x30b)+x(0x623)+x(0x501)+x(0xe1e)+x(0x1184)+x(0x134e)+x(0x710)+x(0x9d3)+x(0x933)+x(0x106d)+x(0xfab)+x(0x432)+x(0xea1)+x(0xb30)+x(0xdc8)+x(0xbcd)+x(0x134a)+x(0x5ef)+x(0xfe1)+x(0x3a6)+x(0x30b)+x(0xef4)+x(0x576)+x(0x9d3)+x(0x177)+x(0xa61)+x(0x11ae)+x(0xa61)+x(0x1351)+x(0x721)+x(0x34f)+x(0x910)+x(0xab1)+x(0xdbf)+x(0xfb2)+x(0xb30)+x(0xb4f)+x(0x30b)+x(0x202)+x(0x20a)+x(0xb7f)+x(0x137c)+x(0x1e3)+x(0x4a8)+x(0xa61)+x(0x12a5)+x(0x1001)+x(0xec0)+x(0x383)+x(0x31e)+x(0x364)+x(0x1401)+x(0xb55)+x(0xad7)+x(0xb1f)+x(0x134a)+x(0xfb9)+x(0xc8d)+x(0x106d)+x(0xfab)+x(0xff2)+x(0x34f)+x(0x118d)+x(0xb30)+x(0xba1)+x(0x30b)+x(0x132a)+x(0x9d3)+x(0x146f)+x(0xdfe)+x(0x1329)+x(0xf47)+x(0xe7a)+x(0x2f3)+x(0x46e)+x(0x345)+x(0x34f)+x(0x4a0)+x(0x9d3)+x(0xb91)+x(0x7c9)+x(0x10c1)+x(0x364)+x(0x12d9)+x(0x33f)+x(0x134a)+x(0x1176)+x(0x1456)+x(0x813))+(x(0x9d3)+x(0x955)+x(0x383)+x(0x1231)+x(0x383)+x(0xf24)+x(0xfee)+x(0xa61)+x(0x4ac)+x(0x188)+x(0x452)+x(0x34f)+x(0xb05)+x(0xa61)+x(0x71c)+x(0xced)+x(0x898)+x(0x6c5)+x(0xf40)+x(0x908)+x(0x8ef)+x(0x38a)+x(0xbbe)+x(0x490)+x(0x606)+x(0x175)+x(0xb25)+x(0xa61)+x(0x8e9)+x(0x364)+x(0x9de)+x(0x1187)+x(0xa61)+x(0x1183)+x(0xdac)+x(0x98b)+x(0x13b8)+x(0x12c5)+x(0x14b3)+x(0xc87)+x(0x373)+x(0x30b)+x(0x65f)+x(0x2f6)+x(0x3de)+x(0x1001)+x(0x92e)+x(0xad1)+x(0x901)+x(0xa85)+x(0xb6c)+x(0xf8c)+x(0x142)+x(0x139e)+x(0x14c7)+x(0xcde)+x(0x629)+x(0x1147)+x(0x925)+x(0x114a)+x(0xfcb)+x(0xe3b)+x(0x1179)+x(0x2c4)+x(0xb2a)+x(0xcc0)+x(0x13c4)+x(0x11c1)+x(0x128c)+x(0x1072)+x(0x499)+x(0xe95)+x(0x6f6)+x(0x430)+x(0x959)+x(0xcc1)+x(0x42f)+x(0x1339)+x(0xb8d)+x(0x13a0)+x(0x1513)+x(0x11ec)+x(0x1c2)+x(0xa6b)+x(0xa56)+x(0x1242)+x(0xde5)+x(0xeb3)+x(0x9ac)+x(0x3d4)+x(0x3cb)+x(0x13c7)+x(0x1259)+x(0x514)+x(0x507)+x(0x872)+x(0x98d)+x(0xe67)+x(0x10d3)+x(0x747))+(x(0xa7d)+x(0x50c)+x(0x1314)+x(0xfc5)+x(0x274)+x(0x60a)+x(0xee3)+x(0x884)+x(0x47c)+x(0x12e0)+x(0x364)+x(0x424)+x(0x882)+x(0xea9)+x(0xea0)+x(0x159)+x(0xc57)+x(0x1216)+x(0x113)+x(0x155)+x(0x1342)+x(0x9e8)+x(0x1210)+x(0x1201)+x(0x364)+x(0x6c0)+x(0x602)+x(0x10f8)+x(0x364)+x(0x986)+x(0x1481)+x(0xf43)+x(0xa4c)+x(0xff9)+x(0xf7c)+x(0xadf)+x(0x1111)+x(0x5f0)+x(0x13ce)+x(0x5bb)+x(0x609)+x(0x434)+x(0x1116)+x(0x226)+x(0xfe1)+x(0x7a6)+x(0xc1d)+x(0x7a7)+x(0x13b4)+x(0x886)+x(0x276)+x(0xdf1)+x(0x161)+x(0x119c)+x(0x536)+x(0xe57)+x(0x38e)+x(0xb09)+x(0x12aa)+x(0xef2)+x(0x975)+x(0xc6c)+x(0x373)+x(0xca3)+x(0x12b)+x(0x1096)+x(0x794)+x(0x754)+x(0x6e6)+x(0xc90)+x(0x1333)+x(0x10ba)+x(0x8f6)+x(0xc91)+x(0x2f4)+x(0x831)+x(0x147e)+x(0x582)+x(0x1202)+x(0x735)+x(0x14c3)+x(0x1258)+x(0x22c)+x(0xfe3)+x(0x111c)+x(0xa75)+x(0x774)+x(0x96a)+x(0x941)+x(0x460)+x(0xc9f)+x(0x13b2)+x(0x426)+x(0x8ce)+x(0xd2b)+x(0x987)+x(0xa30)+x(0xf4a)+x(0x108f)+x(0x1152))+(x(0x1214)+x(0x85f)+x(0x152d)+x(0x184)+x(0x265)+x(0xcc7)+x(0x146)+x(0x82a)+x(0xdb0)+x(0xca0)+x(0x258)+x(0x60b)+x(0xe06)+x(0x566)+x(0x12a6)+x(0xf98)+x(0x14b7)+x(0x10bf)+x(0x13df)+x(0xfd9)+x(0x105a)+x(0x1310)+x(0x9fb)+x(0x5d4)+x(0x4a7)+x(0xacf)+x(0x14a7)+x(0x11fe)+x(0x19f)+x(0xc82)+x(0x41b)+x(0x757)+x(0xfe4)+x(0xdc0)+x(0x14ac)+x(0x134e)+x(0x736)+x(0xacb)+x(0x100a)+x(0x143b)+x(0x13ef)+x(0xff8)+x(0x83a)+x(0x337)+x(0xde1)+x(0x627)+x(0x13d5)+x(0x12fb)+x(0xd28)+x(0xc45)+x(0x1bf)+x(0x11c6)+x(0x13d3)+x(0x137b)+x(0x14d6)+x(0x73c)+x(0x892)+x(0x126c)+x(0x1196)+x(0x606)+x(0x380)+x(0xb25)+x(0xa61)+x(0x8e9)+x(0x364)+x(0x9de)+x(0x1187)+x(0xa61)+x(0x1183)+x(0xdac)+x(0x98b)+x(0x13b8)+x(0x12c5)+x(0x14b3)+x(0xa0e)+x(0x3f2)+x(0xad7)+x(0x679)+x(0xef2)+x(0x975)+x(0x34f)+x(0x569)+x(0xcd7)+x(0x1516)+x(0xcca)+x(0xf64)+x(0x14e3)+x(0x13d6)+x(0xe50)+x(0xb5b)+x(0x601)+x(0x2d6)+x(0x14bf)+x(0x12a7)+x(0xdfa)+x(0xa25)+x(0xddd)+x(0xb30)+x(0x1dd)+x(0xa42))+(x(0x7c6)+x(0x567)+x(0x675)+x(0xbb2)+x(0x117f)+x(0xa25)+x(0xddd)+x(0xb30)+x(0x1dd)+x(0x125)+x(0xad7)+x(0x55f)+x(0x1497)+x(0xc77)+x(0xdfc)+x(0x151c)+x(0x841)+x(0x689)+x(0xc35)+x(0x688)+x(0xec3)+x(0x136d)+x(0x8d4)+x(0x707)+x(0x30b)+x(0x623)+x(0x501)+x(0x9cf)+x(0xb1d)+x(0x8d4)+x(0x710)+x(0x9d3)+x(0x528)+x(0x13c3)+x(0x1456)+x(0x214)+x(0xd5d)+x(0x30b)+x(0xa3a)+x(0xbcd)+x(0x134a)+x(0x5ef)+x(0xfe1)+x(0x3a6)+x(0x103e)+x(0x130)+x(0x50c)+x(0xa27)+x(0x15e)+x(0x12c7)+x(0x6ab)+x(0xbdc)+x(0x188)+x(0x78f)+x(0x134a)+x(0x448)+x(0x9d3)+x(0xc6e)+x(0x3db)+x(0xad7)+x(0xcb0)+x(0x1180)+x(0xf3d)+x(0x321)+x(0x34f)+x(0x256)+x(0x10bf)+x(0x13df)+x(0x20a)+x(0x14c8)+x(0xb16)+x(0x67a)+x(0xb30)+x(0x68d)+x(0xb30)+x(0x95a)+x(0x483)+x(0x9d3)+x(0xa29)+x(0xa61)+x(0x12f6)+x(0x88a)+x(0x14df)+x(0x34f)+x(0xdbd)+x(0x30b)+x(0x62c)+x(0xad7)+x(0x43e)+x(0xad7)+x(0x14d2)+x(0x9d3)+x(0x146f)+x(0xdfe)+x(0x1329)+x(0xf47)+x(0xe7a)+x(0x2f3)+x(0x46e)+x(0x345))+(x(0x34f)+x(0x77a)+x(0xa61)+x(0x115e)+x(0xbb3)+x(0x28b)+x(0x34f)+x(0x1255)+x(0xc25)+x(0x9d3)+x(0x153b)+x(0x1456)+x(0x813)+x(0x9d3)+x(0x4dd)+x(0x14c8)+x(0x770)+x(0x14c8)+x(0xee4)+x(0x346)+x(0x9d3)+x(0x10ad)+x(0x364)+x(0xec0)+x(0x1456)+x(0x9e0)+x(0xa61)+x(0x115e)+x(0xced)+x(0x898)+x(0x6c5)+x(0xe02)+x(0x3f6)+x(0x81a)+x(0x5a6)+x(0xa61)+x(0x1463)+x(0x606)+x(0x127d)+x(0xb68)+x(0x9d3)+x(0x5cb)+x(0xfe1)+x(0xbcb)+x(0xf41)+x(0x9d3)+x(0x11cf)+x(0x41d)+x(0xaaf)+x(0x12b)+x(0xa61)+x(0x1183)+x(0x4bd)+x(0x220)+x(0xb30)+x(0x110f)+x(0x91d)+x(0x7b0)+x(0x105a)+x(0x56d)+x(0xa61)+x(0x3f8)+x(0x22d)+x(0x11a2)+x(0xaad)+x(0xd53)+x(0xaa8)+x(0xa7f)+x(0x7c2)+x(0xc60)+x(0x6fc)+x(0xbd6)+x(0x1bb)+x(0x1126)+x(0x9cc)+x(0x152)+x(0x1479)+x(0x94e)+x(0xa7f)+x(0xb15)+x(0xc60)+x(0x6fc)+x(0x1205)+x(0x13ab)+x(0xafc)+x(0x11dd)+x(0x66c)+x(0x101b)+x(0x605)+x(0xb90)+x(0xc49)+x(0xfb5)+x(0x890)+x(0x89b)+x(0x1479)+x(0x227)+x(0xc60)+x(0x6fc)+x(0x117c)+x(0x1bb))+(x(0xdae)+x(0x263)+x(0x125f)+x(0xc49)+x(0xa04)+x(0x14d1)+x(0xfab)+x(0x1324)+x(0x13e6)+x(0xff6)+x(0xc60)+x(0x6fc)+x(0x7a2)+x(0x119e)+x(0x919)+x(0x1447)+x(0x267)+x(0xe93)+x(0x605)+x(0xb04)+x(0xc49)+x(0x4aa)+x(0x13f0)+x(0x9c0)+x(0x9cc)+x(0x152)+x(0x1227)+x(0xb47)+x(0xe2b)+x(0xe98)+x(0xf31)+x(0x13ee)+x(0x7d8)+x(0xb8e)+x(0x7d5)+x(0x5a0)+x(0x2aa)+x(0xfb5)+x(0xe3f)+x(0x144f)+x(0xde2)+x(0x3e8)+x(0xfb3)+x(0xe04)+x(0x62d)+x(0x144f)+x(0xde2)+x(0xcb1)+x(0xfb3)+x(0x1147)+x(0xd7d)+x(0x7d5)+x(0x5a0)+x(0x81c)+x(0xa18)+x(0x48c)+x(0xe82)+x(0x12b5)+x(0x89b)+x(0x1479)+x(0xbba)+x(0x1447)+x(0x267)+x(0xca2)+x(0xb9c)+x(0xede)+x(0x48c)+x(0xe82)+x(0xe8c)+x(0x89b)+x(0x51f)+x(0xaad)+x(0xd53)+x(0x185)+x(0xa7f)+x(0x84a)+x(0xc60)+x(0x9aa)+x(0x676)+x(0x13f0)+x(0x8a5)+x(0x9cc)+x(0x152)+x(0xd2d)+x(0xb47)+x(0xb42)+x(0xe98)+x(0xf31)+x(0x449)+x(0x143)+x(0xbc5)+x(0xb52)+x(0x11dd)+x(0xd2c)+x(0xf35)+x(0x7ba)+x(0x144f)+x(0xde2)+x(0x97d)+x(0xfb3))+(x(0x1147)+x(0x42b)+x(0x7d5)+x(0x504)+x(0x1064)+x(0x10cb)+x(0x48c)+x(0xe82)+x(0x2c5)+x(0x89b)+x(0x49c)+x(0xaad)+x(0xd53)+x(0x14ca)+x(0x74e)+x(0x990)+x(0x8f7)+x(0x5e3)+x(0x45d)+x(0x23b)+x(0xd31)+x(0xb22)+x(0x163)+x(0x1149)+x(0xcc5)+x(0xa17)+x(0x776)+x(0x6ff)+x(0xf5d)+x(0x992)+x(0x1cd)+x(0x1457)+x(0xff5)+x(0x14ec)+x(0xd20)+x(0x1192)+x(0xab2)+x(0xd88)+x(0xc31)+x(0x1ab)+x(0x31f)+x(0x6d1)+x(0x12bb)+x(0x1a6)+x(0xf0f)+x(0x807)+x(0xf17)+x(0xecb)+x(0x716)+x(0x7bf)+x(0xc63)+x(0x96e)+x(0x1179)+x(0xd38)+x(0xfda)+x(0x275)+x(0xe75)+x(0x3df)+x(0x56f)+x(0x6a5)+x(0x54e)+x(0x1009)+x(0xf09)+x(0x64b)+x(0x1262)+x(0x9b7)+x(0xa5e)+x(0x1417)+x(0x76a)+x(0xbe3)+x(0x1279)+x(0x172)+x(0xa67)+x(0xb73)+x(0xabc)+x(0xb4c)+x(0x94a)+x(0x364)+x(0x95c)+x(0x3cd)+x(0xcc9)+x(0x1222)+x(0x14b0)+x(0xb54)+x(0xbb3)+x(0xf22)+x(0xebc)+x(0x98e)+x(0x20b)+x(0x1307)+x(0x6b0)+x(0xa8b)+x(0xb34)+x(0xcc7)+x(0x4b2)+x(0x1092)+x(0x112d)+x(0x5b7)+x(0x5e2)+x(0x4dc))+(x(0xdc5)+x(0x892)+x(0x126c)+x(0xba4)+x(0xf6a)+x(0x1528)+x(0x419)+x(0x288)+x(0x977)+x(0x150f)+x(0x1d6)+x(0x2f6)+x(0xe94)+x(0x10fc)+x(0x220)+x(0xdef)+x(0xf41)+x(0x179)+x(0x341)+x(0x1356)+x(0x410)+x(0x14f)+x(0x13c2)+x(0x732)+x(0xad9)+x(0xb67)+x(0x14b9)+x(0x142e)+x(0x111e)+x(0xb82)+x(0x3aa)+x(0x11e6)+x(0xfce)+x(0xbfd)+x(0x580)+x(0xf49)+x(0x3dc)+x(0x1440)+x(0x25e)+x(0xab8)+x(0x32b)+x(0x27b)+x(0x108b)+x(0xe1a)+x(0x14eb)+x(0x432)+x(0xb8b)+x(0xab1)+x(0xf62)+x(0xe21)+x(0x86d)+x(0xbf3)+x(0x963)+x(0x1131)+x(0x1204)+x(0x12af)+x(0x1b7)+x(0xa37)+x(0x136d)+x(0xb58)+x(0xee7)+x(0xad7)+x(0xd89)+x(0x1087)+x(0x6ab)+x(0x31e)+x(0x1456)+x(0xe35)+x(0x501)+x(0x13d9)+x(0x5ee)+x(0xb30)+x(0xd54)+x(0xbcd)+x(0x134a)+x(0x308)+x(0xab9)+x(0xa61)+x(0xefb)+x(0xcc7)+x(0xb7a)+x(0x9d3)+x(0x1bd)+x(0x1001)+x(0x10a2)+x(0xb0e)+x(0x1f4)+x(0x1456)+x(0xd7f)+x(0x34f)+x(0x7e8)+x(0x134a)+x(0xb43)+x(0x717)+x(0x1240)+x(0x1052)+x(0x9d3)+x(0xeb6)+x(0xa61)+x(0x1351))+(x(0xb5e)+x(0x30b)+x(0x10e)+x(0x364)+x(0x424)+x(0x321)+x(0x34f)+x(0x10cf)+x(0x677)+x(0x134a)+x(0x60e)+x(0x9d3)+x(0xc1f)+x(0x13e7)+x(0xe1a)+x(0x1456)+x(0x17d)+x(0xb30)+x(0xdc3)+x(0x1434)+x(0x9d3)+x(0x122f)+x(0x1184)+x(0xf03)+x(0x11fa)+x(0x653)+x(0x8e3)+x(0x653)+x(0xa97)+x(0xb30)+x(0x41c)+x(0x94a)+x(0x364)+x(0x95c)+x(0x3cd)+x(0xcc9)+x(0x1222)+x(0xbbe)+x(0x13d9)+x(0x56b)+x(0xad7)+x(0x8dd)+x(0x44b)+x(0x501)+x(0x14b)+x(0x239)+x(0x109d)+x(0x30b)+x(0x14ef)+x(0x5f0)+x(0xafa)+x(0x30b)+x(0x107e)+x(0x577)+x(0x9d3)+x(0x753)+x(0x188)+x(0x441)+x(0xad7)+x(0xfe)+x(0xfe1)+x(0x13a9)+x(0x2e9)+x(0x14e7)+x(0x9d3)+x(0x122f)+x(0xa61)+x(0xefb)+x(0x6c5)+x(0xc83)+x(0x3f6)+x(0x81a)+x(0x5a6)+x(0xa61)+x(0x4ab)+x(0x606)+x(0x97b)+x(0x557)+x(0x6f0)+x(0x975)+x(0xbb8)+x(0x10b3)+x(0x91d)+x(0x859)+x(0x5e8)+x(0x10ec)+x(0x3a1)+x(0x27e)+x(0x121c)+x(0x8e0)+x(0x12db)+x(0x2cd)+x(0xf38)+x(0x6fc)+x(0xa48)+x(0x549)+x(0x72c)+x(0x11d)+x(0x1406)+x(0x838))+(x(0xbf0)+x(0x525)+x(0x2fe)+x(0x84e)+x(0x1147)+x(0x8bb)+x(0x1156)+x(0xd7c)+x(0xffe)+x(0x9ab)+x(0x109f)+x(0x51b)+x(0x429)+x(0xb6a)+x(0xe7f)+x(0x124c)+x(0xe60)+x(0x39a)+x(0x8c4)+x(0xfe6)+x(0x149e)+x(0x429)+x(0xb6a)+x(0xd32)+x(0x14b6)+x(0x3d7)+x(0xb6a)+x(0x1125)+x(0xfaa)+x(0xbcf)+x(0x219)+x(0x414)+x(0xf5b)+x(0x10d2)+x(0x151b)+x(0x1079)+x(0xa8c)+x(0x106b)+x(0x8e6)+x(0xbe8)+x(0x1a4)+x(0xae4)+x(0x11a8)+x(0x864)+x(0x1030)+x(0x5ff)+x(0x1396)+x(0xa61)+x(0x8e9)+x(0x364)+x(0x106d)+x(0x827)+x(0x1486)+x(0x149)+x(0x138b)+x(0xc4a)+x(0x97c)+x(0x407)+x(0xc3e)+x(0x1484)+x(0x9a8)+x(0xa69)+x(0xf96)+x(0xd00)+x(0x518)+x(0x34f)+x(0xdff)+x(0x9d3)+x(0xccb)+x(0xa27)+x(0x55b)+x(0x710)+x(0x9d3)+x(0x933)+x(0x106d)+x(0x57d)+x(0x432)+x(0xea1)+x(0xb30)+x(0x69a)+x(0xfc8)+x(0xad7)+x(0x6c7)+x(0x10bf)+x(0xd16)+x(0xab1)+x(0x127b)+x(0x576)+x(0x717)+x(0x519)+x(0xc9b)+x(0x9cf)+x(0x5ca)+x(0x7c9)+x(0x1403)+x(0xad7)+x(0x534)+x(0x134a)+x(0x1369)+x(0x3db))+(x(0x1180)+x(0x1437)+x(0x717)+x(0x519)+x(0xb5e)+x(0x30b)+x(0x478)+x(0x364)+x(0x424)+x(0x321)+x(0x34f)+x(0x3fa)+x(0x1120)+x(0xad7)+x(0x153a)+x(0xad7)+x(0x8c3)+x(0xc57)+x(0xbbe)+x(0x898)+x(0xdf8)+x(0xb7f)+x(0x9fe)+x(0x9ed)+x(0x30b)+x(0x7b3)+x(0x134a)+x(0x61d)+x(0x9d3)+x(0xdca)+x(0x9d3)+x(0x695)+x(0xbbe)+x(0x898)+x(0xbb3)+x(0x130c)+x(0xd27)+x(0xbab)+x(0xd56)+x(0x71b)+x(0x527)+x(0x30b)+x(0xe86)+x(0xbbe)+x(0x1334)+x(0x240)+x(0x54b)+x(0xb30)+x(0x7f2)+x(0x550)+x(0xa61)+x(0x8b2)+x(0x1179)+x(0x12d5)+x(0xa61)+x(0x135c)+x(0x383)+x(0x1231)+x(0x383)+x(0xf24)+x(0xfee)+x(0xa61)+x(0x4ac)+x(0x188)+x(0x452)+x(0x34f)+x(0xb05)+x(0xa61)+x(0x115e)+x(0xced)+x(0x898)+x(0x6c5)+x(0xc83)+x(0x3f6)+x(0x81a)+x(0x5a6)+x(0xa61)+x(0x1140)+x(0x11f7)+x(0xd2a)+x(0x2f9)+x(0xf65)+x(0x13c1)+x(0xdac)+x(0x98b)+x(0x13b8)+x(0x5b0)+x(0xf94)+x(0x927)+x(0x738)+x(0x99a)+x(0x151f)+x(0xda3)+x(0x4e0)+x(0x35d)+x(0x5ff)+x(0x137e)+x(0x85c)+x(0xa72)+x(0x134a))+(x(0x9f5)+x(0x10bc)+x(0x9b1)+x(0x10fd)+x(0x84c)+x(0x1291)+x(0x14a5)+x(0xb48)+x(0x1f5)+x(0x34a)+x(0x579)+x(0x34f)+x(0x120c)+x(0x78b)+x(0x8ff)+x(0x4a9)+x(0x13d7)+x(0x143c)+x(0xc17)+x(0x1108)+x(0x22b)+x(0x51d)+x(0x717)+x(0x12f6)+x(0x2bd)+x(0xb30)+x(0xfb4)+x(0xa27)+x(0x12c1)+x(0xe61)+x(0x364)+x(0xdf0)+x(0x501)+x(0x13d9)+x(0x5ee)+x(0xb30)+x(0xd54)+x(0xbcd)+x(0x134a)+x(0x308)+x(0xab9)+x(0xa27)+x(0x719)+x(0xee4)+x(0x1224)+x(0xa61)+x(0x1351)+x(0x1179)+x(0x205)+x(0x364)+x(0x14af)+x(0x1044)+x(0x1046)+x(0x30b)+x(0x8af)+x(0xa61)+x(0x378)+x(0x1184)+x(0x763)+x(0x1052)+x(0x717)+x(0x12f6)+x(0x12c5)+x(0x4c6)+x(0xab7)+x(0xad7)+x(0x1091)+x(0x188)+x(0x10f)+x(0x30a)+x(0xab1)+x(0x3cc)+x(0xa66)+x(0xa27)+x(0x719)+x(0xb1d)+x(0x682)+x(0x6b5)+x(0x527)+x(0x103e)+x(0x109a)+x(0x9d3)+x(0x40d)+x(0x364)+x(0x13bb)+x(0x1456)+x(0x4e9)+x(0xab1)+x(0x32d)+x(0x134a)+x(0xc56)+x(0x134a)+x(0xecf)+x(0xa27)+x(0x719)+x(0x240)+x(0x103)+x(0x132c)+x(0x123b)+x(0x50a))+(x(0x12be)+x(0xb55)+x(0xad7)+x(0x10b9)+x(0x10eb)+x(0x1456)+x(0x5e0)+x(0x1384)+x(0xad7)+x(0x12a3)+x(0x1456)+x(0x106d)+x(0xc83)+x(0x42d)+x(0x96d)+x(0xc0d)+x(0xc83)+x(0x10cc)+x(0xf0c)+x(0xab1)+x(0x801)+x(0xf29)+x(0x11f8)+x(0x1044)+x(0x6e9)+x(0x11c6)+x(0xa61)+x(0x4ab)+x(0xe53)+x(0xad7)+x(0x796)+x(0xf96)+x(0x1415)+x(0xc9b)+x(0x713)+x(0x36a)+x(0x77f)+x(0xd62)+x(0x9d3)+x(0xd17)+x(0x11f7)+x(0xbe1)+x(0x6b4)+x(0x134a)+x(0x9f5)+x(0xd45)+x(0xf0b)+x(0x27e)+x(0x134a)+x(0x4b9)+x(0x1179)+x(0xeb8)+x(0xf41)+x(0x9d3)+x(0x11cf)+x(0x5e8)+x(0x10ec)+x(0x34f)+x(0xefd)+x(0x13b8)+x(0x12c5)+x(0x14b3)+x(0xa06)+x(0x66d)+x(0x1032)+x(0x772)+x(0x2c0)+x(0xf4c)+x(0x37e)+x(0x11e1)+x(0xbc6)+x(0x1f1)+x(0xa54)+x(0x1453)+x(0x3b0)+x(0xcf5)+x(0x1f5)+x(0x34a)+x(0x1cf)+x(0x34f)+x(0x7da)+x(0x512)+x(0x4b0)+x(0x33b)+x(0xad6)+x(0x6dd)+x(0xf4f)+x(0xb0f)+x(0x591)+x(0x6a4)+x(0x737)+x(0x12c3)+x(0x5af)+x(0x1001)+x(0xcfa)+x(0x133b)+x(0xb41)+x(0x133b)+x(0xd2e)+x(0x306))+(x(0xd06)+x(0x1102)+x(0x737)+x(0x12bf)+x(0x1001)+x(0x1443)+x(0xc83)+x(0x34a)+x(0xc11)+x(0x34f)+x(0xaf4)+x(0x14d8)+x(0xaed)+x(0x188)+x(0xa84)+x(0xc59)+x(0xb5a)+x(0x368)+x(0x737)+x(0x105)+x(0x694)+x(0x2a0)+x(0x1247)+x(0x34f)+x(0xb6b)+x(0xd06)+x(0x335)+x(0x12eb)+x(0xd86)+x(0x563)+x(0x188)+x(0x1533)+x(0x16a)+x(0x1e7)+x(0x1009)+x(0xf09)+x(0xe9f)+x(0x133b)+x(0x1c5)+x(0x105a)+x(0x110a)+x(0x1311)+x(0x1336)+x(0x7c9)+x(0x1323)+x(0xf83)+x(0x700)+x(0xf69)+x(0x737)+x(0x1033)+x(0x364)+x(0x13ac)+x(0x1456)+x(0x8c8)+x(0xd06)+x(0x10ef)+x(0x700)+x(0x876)+x(0x700)+x(0x151d)+x(0x737)+x(0x10a1)+x(0x364)+x(0x6c0)+x(0x602)+x(0x10f8)+x(0x364)+x(0x986)+x(0xa08)+x(0xd06)+x(0x2e2)+x(0xe42)+x(0x14b)+x(0x240)+x(0xc37)+x(0xd06)+x(0xca6)+x(0x550)+x(0x16a)+x(0x8b2)+x(0x1179)+x(0x12d5)+x(0x16a)+x(0x135c)+x(0x383)+x(0x1158)+x(0x7c9)+x(0x7a3)+x(0x1116)+x(0xe42)+x(0x7d2)+x(0x24f)+x(0x1494)+x(0x826)+x(0xeb2)+x(0x10ca)+x(0x1456)+x(0x873)+x(0x34f)+x(0x6e2))+(x(0x826)+x(0xb80)+x(0x892)+x(0x126c)+x(0x427)+x(0x34f)+x(0x325)+x(0x152f)+x(0x1471)+x(0xc1c)+x(0x34f)+x(0x767)+x(0x12a1)+x(0x6f0)+x(0x1292)+x(0x34f)+x(0x10a0)+x(0x60d)+x(0x35e)+x(0xc6a)+x(0xd06)+x(0x818)+x(0x24b)+x(0x16a)+x(0x1183)+x(0x738)+x(0x99a)+x(0x700)+x(0x406)+x(0x13fd)+x(0x61f)+x(0x4d4)+x(0x498)+x(0xb53)+x(0xe52)+x(0x1450)+x(0x1123)+x(0xb30)+x(0x11e2)+x(0x58f)+x(0x9d3)+x(0x7f1)+x(0x13dc)+x(0x121f)+x(0x1450)+x(0x486)+x(0x30b)+x(0x1372)+x(0x7fc)+x(0xd57)+x(0x9de)+x(0x8fe)+x(0x7fc)+x(0x875)+x(0x2a9)+x(0x1203)+x(0x632)+x(0x1396)+x(0xfdf)+x(0x300)+x(0xe0e)+x(0x1a9)+x(0x8f4)+x(0xf1e)+x(0x11c4)+x(0x737)+x(0x5cb)+x(0xfe1)+x(0x2ac)+x(0x651)+x(0xbf5)+x(0x1188)+x(0x282)+x(0x18c)+x(0x81f)+x(0x1f2)+x(0x1124)+x(0xe43)+x(0x28f)+x(0x880)+x(0x133b)+x(0xac9)+x(0x5af)+x(0x1001)+x(0xcfa)+x(0x39f)+x(0x3a7)+x(0x16a)+x(0x44e)+x(0xeba)+x(0x133b)+x(0x11aa)+x(0x1445)+x(0x14b)+x(0x34a)+x(0xc11)+x(0x34f)+x(0x134)+x(0x165)+x(0x826))+(x(0x120f)+x(0xc63)+x(0xbbb)+x(0x34f)+x(0xb3e)+x(0xc59)+x(0x700)+x(0x4f8)+x(0x39f)+x(0x363)+x(0x16a)+x(0x1351)+x(0x1247)+x(0x34f)+x(0x315)+x(0xa9f)+x(0x91e)+x(0x1321)+x(0xd06)+x(0x195)+x(0x826)+x(0x202)+x(0x1138)+x(0x144)+x(0x137c)+x(0x1e3)+x(0x4a8)+x(0x16a)+x(0x12a5)+x(0x1001)+x(0x723)+x(0x383)+x(0x1336)+x(0x7c9)+x(0xa7b)+x(0xf83)+x(0x700)+x(0xcd1)+x(0x133b)+x(0x1284)+x(0xc8d)+x(0x1443)+x(0x3c9)+x(0x8fd)+x(0x34f)+x(0x5da)+x(0xd06)+x(0x4e7)+x(0xd06)+x(0x10e7)+x(0x700)+x(0x11e7)+x(0x138)+x(0xa8b)+x(0xac2)+x(0x389)+x(0x376)+x(0xd60)+x(0xcf5)+x(0xedb)+x(0x90b)+x(0x700)+x(0x8dd)+x(0x44b)+x(0x1445)+x(0x14b)+x(0x239)+x(0x65a)+x(0x826)+x(0x14ef)+x(0x5f0)+x(0x118c)+x(0x826)+x(0x107e)+x(0x93e)+x(0x737)+x(0x734)+x(0x364)+x(0x19a)+x(0x826)+x(0x1ed)+x(0x11c6)+x(0x16a)+x(0x980)+x(0x6eb)+x(0x826)+x(0x6af)+x(0x700)+x(0xc08)+x(0x133b)+x(0x13f6)+x(0x886)+x(0x276)+x(0x626)+x(0x826)+x(0x7e5)+x(0x1193)+x(0xc76)+x(0xf0d)+x(0xd06))+(x(0x1dd)+x(0x7e2)+x(0x288)+x(0xc6a)+x(0xd06)+x(0x850)+x(0x1337)+x(0xe8a)+x(0xdb5)+x(0x826)+x(0x12e2)+x(0x5a7)+x(0x739)+x(0x14b3)+x(0x3a1)+x(0x905)+x(0x133b)+x(0x386)+x(0x2d6)+x(0x1c9)+x(0x93b)+x(0x5f3)+x(0x16f)+x(0x303)+x(0x295)+x(0x5c4)+x(0xfbf)+x(0xcad)+x(0xd1f)+x(0xa74)+x(0x498)+x(0x950)+x(0x1439)+x(0x1273)+x(0x1a7)+x(0xaf9)+x(0x1273)+x(0x128)+x(0xf88)+x(0xd96)+x(0x99c)+x(0xd4f)+x(0xe13)+x(0x2db)+x(0x89f)+x(0x4b3)+x(0xd23)+x(0xa08)+x(0xd06)+x(0x1dd)+x(0xe87)+x(0xb5a)+x(0xeec)+x(0x281)+x(0x11d2)+x(0x639)+x(0x12b0)+x(0x906)+x(0x126b)+x(0x493)+x(0x461)+x(0x1392)+x(0x129a)+x(0x34f)+x(0xe4c)+x(0x133b)+x(0x79c)+x(0x14e9)+x(0x144c)+x(0x1336)+x(0xd86)+x(0x1229)+x(0x347)+x(0x257)+x(0xc58)+x(0xd06)+x(0xd48)+x(0x559)+x(0x133b)+x(0x308)+x(0xab9)+x(0x16a)+x(0x2a8)+x(0xcc7)+x(0x1478)+x(0x737)+x(0x311)+x(0x105a)+x(0x1144)+x(0xb32)+x(0x1164)+x(0xe1e)+x(0x1144)+x(0xb32)+x(0x1247)+x(0x1044)+x(0x215)+x(0x7b6)+x(0x597)+x(0x516))+(x(0x826)+x(0xe55)+x(0x826)+x(0x8ae)+x(0xe3c)+x(0xf49)+x(0x137c)+x(0x1e3)+x(0x4a8)+x(0x16a)+x(0x2a8)+x(0xea9)+x(0xfcf)+x(0x34f)+x(0x9f3)+x(0xa9f)+x(0xc1b)+x(0x946)+x(0x16a)+x(0x2a8)+x(0xee5)+x(0x7c9)+x(0x1d7)+x(0x10fa)+x(0x700)+x(0x2ed)+x(0x737)+x(0x6e1)+x(0x1164)+x(0x713)+x(0x1445)+x(0x713)+x(0x9c5)+x(0x7c9)+x(0xebd)+x(0x819)+x(0xc1a)+x(0x8b1)+x(0x766)+x(0x46c)+x(0x11c4)+x(0x694)+x(0x2f7)+x(0x8ec)+x(0x826)+x(0xc12)+x(0xd95)+x(0x16a)+x(0x115e)+x(0xebc)+x(0x655)+x(0xd06)+x(0x1160)+x(0xa5f)+x(0x783)+x(0xd06)+x(0x11e0)+x(0xc74)+x(0x133b)+x(0x43f)+x(0x364)+x(0x19a)+x(0x826)+x(0x952)+x(0x10bf)+x(0x279)+x(0xbc5)+x(0xce2)+x(0x737)+x(0x12e8)+x(0x16a)+x(0x2a8)+x(0xa49)+x(0xc83)+x(0x3f6)+x(0x81a)+x(0x5a6)+x(0x347)+x(0x257)+x(0xe4b)+x(0xb2e)+x(0x1011)+x(0x16a)+x(0x8e9)+x(0x364)+x(0x9de)+x(0x1187)+x(0x16a)+x(0x1183)+x(0xdac)+x(0x98b)+x(0x13b8)+x(0x739)+x(0x14b3)+x(0x37a)+x(0xdaf)+x(0x826)+x(0x65f)+x(0x2f6)+x(0x752))+(x(0x1001)+x(0xcbd)+x(0x133f)+x(0xc16)+x(0xcb2)+x(0x917)+x(0x12ea)+x(0xae5)+x(0x225)+x(0x31a)+x(0x128f)+x(0x459)+x(0x94b)+x(0xd56)+x(0xa9a)+x(0x144c)+x(0x67e)+x(0x1085)+x(0x832)+x(0x1268)+x(0x1294)+x(0x7d4)+x(0xde8)+x(0xbe1)+x(0xafb)+x(0x527)+x(0x30b)+x(0x11f9)+x(0x9e1)+x(0x134a)+x(0x981)+x(0x342)+x(0x1228)+x(0x95d)+x(0x1121)+x(0xbc7)+x(0xa8d)+x(0xddf)+x(0x1ad)+x(0x45f)+x(0x656)+x(0xd86)+x(0xee7)+x(0xad7)+x(0xd89)+x(0x1087)+x(0x1523)+x(0xb1d)+x(0x8d4)+x(0x710)+x(0x9d3)+x(0xa09)+x(0x13c3)+x(0x14eb)+x(0xcd9)+x(0xd5d)+x(0x30b)+x(0x151e)+x(0x835)+x(0x717)+x(0xe6c)+x(0xcc7)+x(0xb7a)+x(0x9d3)+x(0x311)+x(0x105a)+x(0xfa8)+x(0xb32)+x(0xc9b)+x(0xe1e)+x(0xfa8)+x(0xb32)+x(0x721)+x(0x34f)+x(0x910)+x(0xb30)+x(0xab5)+x(0x5ce)+x(0xd86)+x(0xee6)+x(0x1456)+x(0x551)+x(0x134a)+x(0xbf1)+x(0xcc7)+x(0x1186)+x(0x269)+x(0x103e)+x(0x141e)+x(0x1065)+x(0x1379)+x(0x14fc)+x(0x31e)+x(0x364)+x(0x1401)+x(0xb55)+x(0x1180)+x(0x283)+x(0xa61)+x(0x12f6))+(x(0x88a)+x(0x14df)+x(0x34f)+x(0x13fc)+x(0x103e)+x(0x1015)+x(0x9d3)+x(0xd4d)+x(0xa61)+x(0x866)+x(0xb21)+x(0x188)+x(0x4fb)+x(0xf07)+x(0x1043)+x(0x35a)+x(0x10a3)+x(0xe09)+x(0xbac)+x(0xa61)+x(0x4ab)+x(0x1436)+x(0x30b)+x(0xe15)+x(0xd95)+x(0xa61)+x(0x57c)+x(0xebc)+x(0x415)+x(0xb30)+x(0x6fb)+x(0x5f0)+x(0xafa)+x(0x30b)+x(0xc33)+x(0xb01)+x(0xa27)+x(0x1388)+x(0xee4)+x(0x346)+x(0x717)+x(0xe6c)+x(0x14b1)+x(0x5f5)+x(0xb30)+x(0x2e2)+x(0x7fb)+x(0xc3a)+x(0xc96)+x(0x188)+x(0x918)+x(0x30b)+x(0x3e6)+x(0x44b)+x(0xf15)+x(0x70a)+x(0xb30)+x(0xc06)+x(0xa54)+x(0xcb7)+x(0xd83)+x(0xf41)+x(0x790)+x(0xe5d)+x(0x588)+x(0x135e)+x(0x11d3)+x(0x1287)+x(0xf71)+x(0x2f6)+x(0xe94)+x(0x836)+x(0x48a)+x(0x234)+x(0x765)+x(0xaa6)+x(0xf01)+x(0x211)+x(0xde8)+x(0xf73)+x(0x1036)+x(0xccf)+x(0x1206)+x(0x139c)+x(0x11fc)+x(0x1383)+x(0x139f)+x(0x124f)+x(0x8e5)+x(0xab3)+x(0x487)+x(0x95e)+x(0x853)+x(0x6c4)+x(0xd3d)+x(0x141)+x(0x1280)+x(0x34f)+x(0x7cd)+x(0x147c))+(x(0x79c)+x(0xc43)+x(0x188)+x(0x9db)+x(0xe5c)+x(0xe17)+x(0x7ea)+x(0x2e9)+x(0x895)+x(0x14ba)+x(0xc86)+x(0xe24)+x(0x1066)+x(0x8d5)+x(0x1179)+x(0x99d)+x(0x383)+x(0xf24)+x(0x747)+x(0x40c)+x(0xb32)+x(0x1179)+x(0xcd4)+x(0x1456)+x(0x6aa)+x(0x188)+x(0xb87)+x(0xe5c)+x(0x48d)+x(0x147c)+x(0x11d1)+x(0x1383)+x(0xe58)+x(0x12f8)+x(0x1206)+x(0x1430)+x(0x1206)+x(0x104b)+x(0x309)+x(0xb7f)+x(0x137c)+x(0x1e3)+x(0x4a8)+x(0x122)+x(0x12a5)+x(0x1001)+x(0xf7a)+x(0x383)+x(0xd43)+x(0x364)+x(0x1401)+x(0xccf)+x(0x1206)+x(0xe3a)+x(0x147c)+x(0xfb9)+x(0xc8d)+x(0x100f)+x(0x3c9)+x(0x423)+x(0x34f)+x(0x439)+x(0x129c)+x(0xb0a)+x(0x7a1)+x(0x401)+x(0x40c)+x(0x898)+x(0xbb3)+x(0x130c)+x(0xd27)+x(0xbab)+x(0xd56)+x(0x71b)+x(0xd34)+x(0x14ba)+x(0xeb2)+x(0x3b1)+x(0x3c9)+x(0xe1b)+x(0x299)+x(0x14ba)+x(0x13f4)+x(0xe02)+x(0x158)+x(0x139)+x(0x6ec)+x(0x1307)+x(0x5c9)+x(0x188)+x(0xbd2)+x(0x492)+x(0x147c)+x(0x5ef)+x(0xfe1)+x(0x14f8)+x(0xe5c)+x(0x37b)+x(0x116d)+x(0x1383))+(x(0x14f5)+x(0x11ee)+x(0x14ba)+x(0xf00)+x(0x1206)+x(0x1c7)+x(0xdda)+x(0x1347)+x(0xbb3)+x(0xd61)+x(0x877)+x(0x147c)+x(0xdcb)+x(0x1249)+x(0x1301)+x(0xbc9)+x(0x150b)+x(0x590)+x(0x41d)+x(0xaaf)+x(0x12b)+x(0x253)+x(0x49d)+x(0x10a5)+x(0x738)+x(0x1ea)+x(0x413)+x(0x13fe)+x(0xb18)+x(0xa0a)+x(0x81b)+x(0x234)+x(0xbd5)+x(0x1480)+x(0xcc0)+x(0xf9c)+x(0x87e)+x(0xd22)+x(0x6d9)+x(0x12a2)+x(0x1d3)+x(0x1055)+x(0x12a2)+x(0x13f2)+x(0xceb)+x(0x10a9)+x(0x11e5)+x(0xeeb)+x(0x12df)+x(0x5c0)+x(0x14ae)+x(0x3be)+x(0x12a2)+x(0x108d)+x(0x379)+x(0x1354)+x(0x88f)+x(0x6e8)+x(0x7a4)+x(0x10ce)+x(0x1147)+x(0x143f)+x(0x5e4)+x(0x93f)+x(0x650)+x(0x1190)+x(0xcc0)+x(0xf58)+x(0x139a)+x(0x408)+x(0xb0b)+x(0x67d)+x(0x7a4)+x(0xdcf)+x(0x150)+x(0x117b)+x(0x1438)+x(0x10f7)+x(0x121e)+x(0x1148)+x(0x10f7)+x(0xbca)+x(0x420)+x(0x56a)+x(0xeeb)+x(0x144a)+x(0x631)+x(0xeeb)+x(0xded)+x(0xd56)+x(0x13b1)+x(0x1322)+x(0x1190)+x(0x3ec)+x(0x263)+x(0xec8)+x(0xd36)+x(0x9f6)+x(0xa24)+x(0x791))+(x(0xd41)+x(0xf10)+x(0x333)+x(0x1402)+x(0x10c)+x(0xe5f)+x(0x168)+x(0x1266)+x(0x20d)+x(0x9da)+x(0x61b)+x(0xcdc)+x(0x6a1)+x(0x4e2)+x(0x45d)+x(0x598)+x(0xea3)+x(0xc04)+x(0xb31)+x(0x92c)+x(0x1381)+x(0x840)+x(0x555)+x(0x6d8)+x(0xd5b)+x(0xfa1)+x(0xcc7)+x(0x1478)+x(0xc75)+x(0x9c6)+x(0x11a9)+x(0xc22)+x(0xa59)+x(0xc9a)+x(0xa35)+x(0xa02)+x(0xbb0)+x(0x3a5)+x(0x10bf)+x(0x13df)+x(0x57b)+x(0x105a)+x(0x402)+x(0xff0)+x(0x483)+x(0x310)+x(0x5ec)+x(0xf52)+x(0x1412)+x(0x149a)+x(0x12d6)+x(0xc4e)+x(0x94a)+x(0x364)+x(0x95c)+x(0x3cd)+x(0xcc9)+x(0x1222)+x(0x1303)+x(0x28c)+x(0xbb3)+x(0x15d)+x(0xebc)+x(0x3ae)+x(0x113a)+x(0x96d)+x(0x105c)+x(0x14c8)+x(0x7ec)+x(0x364)+x(0x2ae)+x(0xba5)+x(0x10a4)+x(0xf77)+x(0xd8e)+x(0x521)+x(0xb06)+x(0x8ef)+x(0x38a)+x(0x11cb)+x(0x89f)+x(0x759)+x(0xbc9)+x(0x150b)+x(0x590)+x(0x41d)+x(0xaaf)+x(0x12b)+x(0xe0c)+x(0x14b5)+x(0x361)+x(0xb59)+x(0x186)+x(0x3e9)+x(0x1306)+x(0x1296)+x(0x1bc)+x(0x1313)+x(0xcb8)+x(0x17a))+(x(0xf26)+x(0x263)+x(0x411)+x(0x1077)+x(0x586)+x(0x79e)+x(0x1487)+x(0x1057)+x(0x170)+x(0x13be)+x(0xd5c)+x(0x66b)+x(0xc6b)+x(0x230)+x(0xaa0)+x(0x8e2)+x(0xf8f)+x(0xa95)+x(0xbc6)+x(0x1038)+x(0x985)+x(0x1459)+x(0x11a1)+x(0x3c3)+x(0x529)+x(0x147c)+x(0x9f5)+x(0x11a5)+x(0x122)+x(0xa2c)+x(0xb4d)+x(0x4a4)+x(0x1b6)+x(0xd9d)+x(0xef1)+x(0xf04)+x(0x3ab)+x(0xec5)+x(0x13e)+x(0x996)+x(0xe5c)+x(0x5c3)+x(0x122)+x(0xa01)+x(0xc19)+x(0xe5c)+x(0x302)+x(0xe5c)+x(0xc48)+x(0x320)+x(0x1456)+x(0x145a)+x(0x7a1)+x(0x183)+x(0x105a)+x(0x982)+x(0x1529)+x(0x34a)+x(0x63a)+x(0x34f)+x(0xd8f)+x(0x6f5)+x(0x628)+x(0xb0e)+x(0x432)+x(0x14ce)+x(0xe5c)+x(0x1217)+x(0x14ba)+x(0x615)+x(0x14ba)+x(0x8af)+x(0x122)+x(0x5b9)+x(0xa7a)+x(0x151a)+x(0x566)+x(0x1383)+x(0xeb6)+x(0x122)+x(0x1351)+x(0x100b)+x(0x14ba)+x(0xc18)+x(0x364)+x(0x424)+x(0x102f)+x(0x34f)+x(0x3fa)+x(0x118e)+x(0x1206)+x(0x47d)+x(0x1206)+x(0x6f9)+x(0xc57)+x(0x40c)+x(0x898)+x(0x12ff)+x(0x144)+x(0x9fe))+(x(0x221)+x(0x5a5)+x(0x23e)+x(0x1383)+x(0x8d2)+x(0x122)+x(0x866)+x(0x982)+x(0x1529)+x(0x95b)+x(0x34f)+x(0x6d5)+x(0x819)+x(0xc1a)+x(0x8b1)+x(0x766)+x(0x46c)+x(0x673)+x(0x1383)+x(0x14f5)+x(0x12c8)+x(0x129c)+x(0x630)+x(0xd95)+x(0x10c9)+x(0x70f)+x(0x239)+x(0x4a6)+x(0x14ba)+x(0x108c)+x(0x6c8)+x(0xeb5)+x(0x1206)+x(0x88c)+x(0x506)+x(0x7dd)+x(0x898)+x(0xcc7)+x(0x5a1)+x(0x147c)+x(0xa76)+x(0xfe1)+x(0x1413)+x(0x2e9)+x(0x10d1)+x(0x1066)+x(0xce1)+x(0x63e)+x(0x898)+x(0x137)+x(0xf40)+x(0x908)+x(0x8ef)+x(0x38a)+x(0x40c)+x(0x13d9)+x(0xe4b)+x(0x2ce)+x(0x4c3)+x(0x156)+x(0x353)+x(0x1179)+x(0x142a)+x(0x14f4)+x(0xd9e)+x(0x14b3)+x(0xbb8)+x(0x10b3)+x(0x91d)+x(0x1061)+x(0x105a)+x(0x14b8)+x(0x262)+x(0x1206)+x(0x679)+x(0xef2)+x(0x3c5)+x(0x34f)+x(0x6f2)+x(0xae1)+x(0xb18)+x(0x748)+x(0x6d3)+x(0x9bf)+x(0x137f)+x(0x3e4)+x(0x20c)+x(0x1286)+x(0x1320)+x(0x1060)+x(0xa9c)+x(0x90f)+x(0x1208)+x(0xe89)+x(0x12c2)+x(0x7fc)+x(0xc01)+x(0x12ac)+x(0x12ed)+x(0x48a))+(x(0x5c7)+x(0xfd1)+x(0x1071)+x(0x61c)+x(0x965)+x(0xe49)+x(0x13e3)+x(0x329)+x(0xfe7)+x(0x14a8)+x(0x8f4)+x(0x4c3)+x(0x673)+x(0x1383)+x(0x5cb)+x(0xfe1)+x(0x982)+x(0xb95)+x(0x107)+x(0xd49)+x(0xc89)+x(0x649)+x(0x54c)+x(0x2da)+x(0xccc)+x(0xdce)+x(0xed7)+x(0x760)+x(0x1206)+x(0x20e)+x(0x242)+x(0x105a)+x(0x11b4)+x(0x1206)+x(0x668)+x(0x147c)+x(0xbc2)+x(0x1410)+x(0x14ba)+x(0x116e)+x(0x1383)+x(0x12bf)+x(0x1001)+x(0x100f)+x(0xc83)+x(0x34a)+x(0x63a)+x(0x34f)+x(0xd8f)+x(0x6f5)+x(0x628)+x(0xb0e)+x(0x432)+x(0x14ce)+x(0xe5c)+x(0x1217)+x(0x14ba)+x(0xdad)+x(0x1206)+x(0x5ba)+x(0x156)+x(0x13a8)+x(0x84d)+x(0xf56)+x(0xf2b)+x(0x40c)+x(0x130b)+x(0x114f)+x(0xb0e)+x(0x670)+x(0x147c)+x(0xc7e)+x(0xcc7)+x(0x1186)+x(0xe46)+x(0x14ba)+x(0xcda)+x(0x11f6)+x(0x1383)+x(0xaba)+x(0x1383)+x(0x11d5)+x(0x13e7)+x(0xd3e)+x(0x383)+x(0x1544)+x(0x34f)+x(0xc51)+x(0x781)+x(0x147c)+x(0x2b3)+x(0x122)+x(0x12a5)+x(0x36d)+x(0x713)+x(0x982)+x(0x713)+x(0x98a)+x(0x383)+x(0xe1b))+(x(0x1023)+x(0x12f0)+x(0x364)+x(0x140)+x(0xeae)+x(0x529)+x(0x147c)+x(0x30f)+x(0x708)+x(0x1456)+x(0x5e0)+x(0x5d2)+x(0x1206)+x(0x12a3)+x(0x1456)+x(0x100f)+x(0xc83)+x(0x42d)+x(0x96d)+x(0x105b)+x(0xc83)+x(0x10cc)+x(0x60f)+x(0xe5c)+x(0x1328)+x(0x7b7)+x(0x309)+x(0x14c8)+x(0x24f)+x(0x140a)+x(0x14ba)+x(0xe86)+x(0x14cc)+x(0x3c9)+x(0x13b)+x(0x383)+x(0xc24)+x(0x34f)+x(0x592)+x(0xfd0)+x(0xf18)+x(0x4d1)+x(0xedb)+x(0xe4b)+x(0x11ef)+x(0x1378)+x(0xe57)+x(0x186)+x(0x7f6)+x(0x12aa)+x(0xef2)+x(0x3c5)+x(0xc87)+x(0xd84)+x(0x1097)+x(0x12b)+x(0x5d8)+x(0xe07)+x(0x40e)+x(0xa92)+x(0xedd)+x(0x1507)+x(0x857)+x(0x10f9)+x(0x7cc)+x(0xabe)+x(0x86f)+x(0x9f4)+x(0x2d1)+x(0x394)+x(0xd56)+x(0x124e)+x(0x8d1)+x(0x6fe)+x(0xb97)+x(0x381)+x(0x3fe)+x(0x79b)+x(0x1271)+x(0x5f1)+x(0x10cd)+x(0xa64)+x(0xf55)+x(0x10e6)+x(0x685)+x(0xa55)+x(0x9b3)+x(0x1305)+x(0x1127)+x(0x125b)+x(0x385)+x(0x10b8)+x(0xf1a)+x(0x4d2)+x(0x914)+x(0x711)+x(0x11b6)+x(0x2fc)+x(0x1022)+x(0xb93))+(x(0x10a8)+x(0x372)+x(0xc97)+x(0x1001)+x(0xaf3)+x(0x105a)+x(0xd75)+x(0xfe1)+x(0x444)+x(0xae2)+x(0xa2f)+x(0xc88)+x(0x354)+x(0xdb1)+x(0x4c1)+x(0x10e9)+x(0xbd8)+x(0x136e)+x(0x88d)+x(0x837)+x(0x127a)+x(0x1452)+x(0x6ea)+x(0xa52)+x(0x989)+x(0xa51)+x(0x1118)+x(0x88a)+x(0x8dc)+x(0xf2f)+x(0x949)+x(0x1f0)+x(0x138d)+x(0x819)+x(0xc1a)+x(0x8b1)+x(0x766)+x(0x46c)+x(0xe3d)+x(0x9c4)+x(0x47f)+x(0x886)+x(0x1375)+x(0x133e)+x(0xcf6)+x(0x290)+x(0xc71)+x(0xa45)+x(0x506)+x(0x1530)+x(0xfe1)+x(0x1367)+x(0x8a9)+x(0x5c5)+x(0xe08)+x(0x1476)+x(0xa34)+x(0x3e0)+x(0x81a)+x(0x5a6)+x(0xae7)+x(0x6ee)+x(0x53d)+x(0x1ef)+x(0x1187)+x(0xbe6)+x(0x1d4)+x(0x393)+x(0x210)+x(0x78d)+x(0x5fe)+x(0x744)+x(0xef2)+x(0x3c5)+x(0xaa1)+x(0x1420)+x(0x2ff)+x(0x13cc)+x(0xb49)+x(0xf85)+x(0xcb8)+x(0x543)+x(0xab4)+x(0x53a)+x(0x109)+x(0x5c8)+x(0x50a)+x(0x995)+x(0x138c)+x(0x885)+x(0x144c)+x(0x2a1)+x(0x9d2)+x(0x1393)+x(0x1502)+x(0xbe2)+x(0xa61)+x(0x8e9)+x(0x364)+x(0x742))+(x(0x1150)+x(0xb25)+x(0xfe0)+x(0x134a)+x(0x9f5)+x(0x11a5)+x(0xa61)+x(0xe8e)+x(0xcfe)+x(0xfd)+x(0x6d4)+x(0xee2)+x(0x21d)+x(0x7ef)+x(0x7fa)+x(0x136b)+x(0x12f2)+x(0x1133)+x(0x30b)+x(0x10ff)+x(0xbbe)+x(0x14b3)+x(0x7b8)+x(0x30b)+x(0x12fa)+x(0xad7)+x(0x6bd)+x(0xb62)+x(0xb30)+x(0x110c)+x(0x717)+x(0xb7c)+x(0x1179)+x(0xe64)+x(0xd86)+x(0xcd9)+x(0xd5d)+x(0x30b)+x(0x120f)+x(0xc63)+x(0x1265)+x(0x34f)+x(0xb3e)+x(0x13ec)+x(0xad7)+x(0x1051)+x(0x134a)+x(0xf93)+x(0x9d3)+x(0x13d8)+x(0xf27)+x(0xd86)+x(0x1395)+x(0x34f)+x(0x17c)+x(0x5ce)+x(0x1456)+x(0x9c3)+x(0x34f)+x(0x13e4)+x(0xa61)+x(0x147)+x(0x1009)+x(0xf09)+x(0xff7)+x(0x134a)+x(0xc0e)+x(0x1065)+x(0xad8)+x(0x898)+x(0x1184)+x(0x1360)+x(0x11b)+x(0xddd)+x(0xb30)+x(0x1300)+x(0x30b)+x(0x115d)+x(0x14ad)+x(0xa27)+x(0xba7)+x(0xed6)+x(0x383)+x(0x532)+x(0x34f)+x(0x1058)+x(0xb30)+x(0x243)+x(0x134a)+x(0x1172)+x(0x757)+x(0xfe4)+x(0xdc0)+x(0x14ac)+x(0x134e)+x(0x736)+x(0xe1a)+x(0x1456)+x(0xe10)+x(0x717))+(x(0xb7c)+x(0xbb3)+x(0x28b)+x(0x1044)+x(0xa05)+x(0x550)+x(0xa61)+x(0xc67)+x(0x290)+x(0xc71)+x(0xbbe)+x(0xa5b)+x(0x10cc)+x(0xf0c)+x(0xb30)+x(0x1328)+x(0x7b7)+x(0x20a)+x(0x14c8)+x(0x24f)+x(0x1eb)+x(0x30b)+x(0xeb2)+x(0x10a6)+x(0x188)+x(0x10e2)+x(0xb30)+x(0xa4a)+x(0x30b)+x(0x14a)+x(0x44b)+x(0xf15)+x(0x70a)+x(0xb30)+x(0xc06)+x(0xc42)+x(0xa13)+x(0xd83)+x(0xf41)+x(0x790)+x(0xe5d)+x(0x588)+x(0x135e)+x(0x5dd)+x(0xf5e)+x(0xf71)+x(0x2f6)+x(0xe94)+x(0x836)+x(0x48a)+x(0x446)+x(0x687)+x(0x2c0)+x(0xbdb)+x(0xd5a)+x(0xfb6)+x(0xbbe)+x(0x14b3)+x(0x4e3)+x(0x395)+x(0xeac)+x(0xa95)+x(0x250)+x(0x86a)+x(0x1241)+x(0x1459)+x(0x2ce)+x(0xf1e)+x(0x11c4)+x(0x737)+x(0x5cb)+x(0xfe1)+x(0x1445)+x(0x763)+x(0xf16)+x(0xf21)+x(0x5ed)+x(0xb5f)+x(0xd8a)+x(0xe00)+x(0xe5b)+x(0xe4f)+x(0x45c)+x(0xb60)+x(0x826)+x(0x14bb)+x(0x16a)+x(0xa01)+x(0xab0)+x(0xd06)+x(0x922)+x(0xd06)+x(0xe17)+x(0x6c3)+x(0xedb)+x(0xc58)+x(0xd06)+x(0xd48)+x(0x559)+x(0x133b))+(x(0x308)+x(0xab9)+x(0x16a)+x(0xf48)+x(0xcc7)+x(0x1478)+x(0x694)+x(0xf23)+x(0x1179)+x(0x2d3)+x(0x188)+x(0x4b8)+x(0xd06)+x(0xe39)+x(0xa9f)+x(0x11bd)+x(0x16a)+x(0x53e)+x(0x84b)+x(0x763)+x(0xaee)+x(0x737)+x(0x1a2)+x(0x694)+x(0xf23)+x(0x725)+x(0x826)+x(0xd74)+x(0x364)+x(0x424)+x(0x1007)+x(0x34f)+x(0x619)+x(0xe76)+x(0x133b)+x(0x13ed)+x(0x737)+x(0xe05)+x(0x13e7)+x(0x8b5)+x(0x1456)+x(0x49a)+x(0xd06)+x(0xb1a)+x(0xf11)+x(0x737)+x(0x12e8)+x(0x84b)+x(0x1482)+x(0x129d)+x(0x653)+x(0xf92)+x(0x653)+x(0xa99)+x(0xd06)+x(0x897)+x(0x94a)+x(0x364)+x(0x95c)+x(0x3cd)+x(0xcc9)+x(0x1222)+x(0xe42)+x(0x490)+x(0x8ec)+x(0x826)+x(0xc12)+x(0xd95)+x(0x16a)+x(0x115e)+x(0xebc)+x(0x655)+x(0xd06)+x(0x1160)+x(0xa5f)+x(0x783)+x(0xd06)+x(0x11e0)+x(0xc74)+x(0x133b)+x(0xbf2)+x(0x364)+x(0x19a)+x(0x826)+x(0xe30)+x(0x10bf)+x(0x44f)+x(0x490)+x(0xbb9)+x(0x700)+x(0xf67)+x(0x133b)+x(0x318)+x(0x16a)+x(0x470)+x(0xbb3)+x(0xd61)+x(0x10d5)+x(0x133b)+x(0x5a8))+(x(0x126e)+x(0x2f8)+x(0x86c)+x(0x826)+x(0x11f9)+x(0xeaf)+x(0xe57)+x(0xdb5)+x(0x826)+x(0xbf8)+x(0xe5d)+x(0x588)+x(0x99a)+x(0x700)+x(0x8db)+x(0x49d)+x(0x9f9)+x(0x1001)+x(0xe70)+x(0x12b)+x(0x16a)+x(0x1183)+x(0x1067)+x(0xdde)+x(0xbe9)+x(0xf1c)+x(0x750)+x(0xf9a)+x(0x9e3)+x(0x517)+x(0xe9a)+x(0x631)+x(0x54f)+x(0x147f)+x(0x1316)+x(0xeb1)+x(0x1130)+x(0x9ec)+x(0x13c0)+x(0x1026)+x(0x148f)+x(0x451)+x(0x9d2)+x(0x1393)+x(0x1502)+x(0xbe2)+x(0xa61)+x(0x8e9)+x(0x364)+x(0x1106)+x(0x11ac)+x(0x10b4)+x(0x1448)+x(0x769)+x(0x345)+x(0x34f)+x(0x767)+x(0xbf6)+x(0x30b)+x(0x128a)+x(0x96c)+x(0x10c6)+x(0x61a)+x(0x404)+x(0x1107)+x(0x1e1)+x(0x468)+x(0x1db)+x(0x915)+x(0x136d)+x(0x8d4)+x(0x707)+x(0x30b)+x(0x623)+x(0x501)+x(0x9cf)+x(0xb1d)+x(0x8d4)+x(0x710)+x(0x9d3)+x(0x937)+x(0x13c3)+x(0x1456)+x(0x134)+x(0xd5d)+x(0x30b)+x(0x151e)+x(0x835)+x(0x9d3)+x(0x734)+x(0x364)+x(0xed2)+x(0xad7)+x(0x497)+x(0x50c)+x(0xa61)+x(0x1351)+x(0xc9b)+x(0x9cf)+x(0x10a2))+(x(0xb0e)+x(0x8bf)+x(0x30b)+x(0x443)+x(0xad7)+x(0x2d7)+x(0x10c3)+x(0x30b)+x(0x1288)+x(0x30b)+x(0x202)+x(0x20a)+x(0xb7f)+x(0x137c)+x(0x1e3)+x(0x4a8)+x(0xa61)+x(0x12a5)+x(0x1001)+x(0xec0)+x(0x383)+x(0x31e)+x(0x364)+x(0x1401)+x(0xb55)+x(0xad7)+x(0xb1f)+x(0x134a)+x(0xfb9)+x(0xc8d)+x(0x106d)+x(0x3c9)+x(0xff2)+x(0x34f)+x(0x118d)+x(0xb30)+x(0xba1)+x(0x30b)+x(0x132a)+x(0x9d3)+x(0x146f)+x(0xdfe)+x(0x1329)+x(0xf47)+x(0xe7a)+x(0x2f3)+x(0x46e)+x(0x345)+x(0x34f)+x(0x1024)+x(0xa61)+x(0xbec)+x(0xbb3)+x(0x28b)+x(0x34f)+x(0x978)+x(0xc25)+x(0x9d3)+x(0x123d)+x(0x1179)+x(0x12d5)+x(0xa61)+x(0x866)+x(0xa8b)+x(0x135a)+x(0x34f)+x(0xd8f)+x(0x1116)+x(0xbbe)+x(0x898)+x(0x14b1)+x(0x5f5)+x(0xb30)+x(0x14ed)+x(0x7fb)+x(0x3c9)+x(0xc96)+x(0x383)+x(0x532)+x(0x34f)+x(0x83f)+x(0xd59)+x(0xc5f)+x(0x610)+x(0xd86)+x(0xb03)+x(0x96f)+x(0x5ff)+x(0x13a9)+x(0x1f5)+x(0x34a)+x(0x666)+x(0x150b)+x(0x7b0)+x(0x105a)+x(0xb98)+x(0x1d6)+x(0x2f6)+x(0x3de)+x(0x1001))+(x(0x14fb)+x(0x2bb)+x(0x134a)+x(0x2ec)+x(0x35e)+x(0x977)+x(0xb30)+x(0xf4b)+x(0x1aa)+x(0x14db)+x(0xe6e)+x(0x477)+x(0xe1d)+x(0x4e4)+x(0xd92)+x(0xb22)+x(0x1470)+x(0x7c7)+x(0xb3b)+x(0xebf)+x(0xc8b)+x(0x4ed)+x(0x4d3)+x(0x125c)+x(0x90a)+x(0xb38)+x(0x1be)+x(0x1112)+x(0xbf4)+x(0x4b1)+x(0x116a)+x(0xf80)+x(0x709)+x(0xc10)+x(0xa82)+x(0x66a)+x(0x11ff)+x(0x960)+x(0x1409)+x(0x1cb)+x(0x7b5)+x(0x1104)+x(0x1468)+x(0xfbe)+x(0xc63)+x(0x68a)+x(0x1179)+x(0x77e)+x(0x2cc)+x(0xce5)+x(0x1182)+x(0x3d5)+x(0x7d3)+x(0x247)+x(0x1483)+x(0x22e)+x(0x604)+x(0xb1e)+x(0x57a)+x(0x480)+x(0x10e4)+x(0x84f)+x(0xfce)+x(0x5b2)+x(0xc8d)+x(0x926)+x(0x14d6)+x(0x5cd)+x(0x1491)+x(0x1363)+x(0x1023)+x(0x12f0)+x(0x364)+x(0x140)+x(0xeae)+x(0x2b7)+x(0x1370)+x(0x33c)+x(0xd95)+x(0x166)+x(0xe02)+x(0x11a)+x(0x1456)+x(0x14d0)+x(0x1267)+x(0xb01)+x(0x706)+x(0xf29)+x(0xe6d)+x(0x14b1)+x(0xfaf)+x(0x7