1## args: long long 2## ret: int 3## includes: string.h 40xedada05aba9463 50x7c4e52bbc75241 60x16ab7ad 70x20ec623a4ccdb 80x1e24e9ed059d 90x3acf 100x6eb28fbb803a274 110xc1 120x25fc2148c092529f 130x1d10ba752e5 140x322bd878b3 150x26fa11b70e20 160x30cd6a05a17ca14b 170x1591d3a2d0cc7 180x8119d76e910c1a 190x2b24d878fee314 200x1c 210x3022a3955 220xedc7b7b6a818 230x40 240xf28 250xa2ecb 260x56a7e4211a2ca38 270x6a0ee2316382 280x634 290x58 300x4fad66fb43f5 310x1f004b76 320x7 330x6ff84575bb70af 340x5d5b4e 350xaa614b130 360x15504 370x1a2e2e7e 380x54b0f28b383cc 390x6 400x2a2a3440b7 410x158a132dc0c20836 420x77aa8e9c91c43b1 430x33f526901fc08594 440x7bf156c 450xb458b5e 460x6289fcb44 470x4d84973bbd8c00 480x2e8c2de648 490x150fab 500x16ebb7bae02934 510x485285b6065272 520xfdde0b16299 530x747d3c940cb 540x1bdb379 550xfcb26a 560x20b90cc92bbef 570x46 580xf0e681aaec28b2d5 590x10c738cf1109 600x8509bef69993908 610x3332 620x219167d 630x7eb19c6f88f 640x32a1b4ead441e65 650xdc93 660x327a7e6676802312 670xcc7296c957 680xb0b20c47c6b500a 690x55d614072f1 700x3c8e4 710x1a 720x5809b7ae 730x2 740x1525 750x13 760x6e 770x1b 780x7c58cf 790x2f5347197bcf6 800x516a0d576e2c3 810x4f3cf315 820x3c16a7531f3a1 830xa929f8 840x1ce88e5 850x6ab464e92bc3 860x3ff39bb2 870xea9921 880xb3009 890x39b037793bef0da0 900x5d 910x39a9989019c92 920x108bae 930x239c1c 940x1851dc9178f4 950x1fc6f70 960x38 970xa8f606a147 980x30dac66b 990x76d377c20b0e836 1000x2425 1010x4e5a82884 1020x7a1f128a894728 1030xb5f0af24e3f7347 104