[252453]:
[receiver] Proxy.updateState(publicInput=[1, 2847528171510738433776079312722063608921889514575790631336186864800952001218, 1840146715336476165363093671562828385475300332740632026699908642780057131331, 207095555137602068174310225607660532858489993604082708018689543482077973596, 207095555137602068174310225607660532858489993604082708018689543482077973596, 234509899927036175765199296855831129700768175407406160420571847917079746390, 3362898115569467503211199967331667347148618708561753226207829982131239492850, 492255, 31, 31, 251, 6, 0, 0, 0, 1261385395111890716700133266660711676286541729553, 215434494688918762545527610590897547966052317914668824448206652708650545391, 120437307094350110487058912, 1172774309248419587752841062462060009757493623911, 215434494688918762545527610590897547966052317914668824448206652708650545391, 120168021524361726518868544, 1419766091224726099021915979434834930567531250230, 215434494688918762545527610590897547966052317914668824448206652708650545391, 24017503986638981068843264, 397328161757544218600845536945294199141698740121, 215434494688918762545527610590897547966052317914668824448206652708650545391, 120387740693000449578966720, 1234113216732381785785641133847705679485107347281, 215434494688918762545527610590897547966052317914668824448206652708650545391, 120306907060494427785485408, 85830005275720309539252174301111909005939966622, 215434494688918762545527610590897547966052317914668824448206652708650545391, 67265102257442254654435776, 29651772755120662539053465124111297816910341698904243205910481464406323306958, 2], applicationData=[6124, 6123]) => ()
-
[213509]:
(delegate)
[receiver] Proxy[StarkExchange.updateState](publicInput=[1, 2847528171510738433776079312722063608921889514575790631336186864800952001218, 1840146715336476165363093671562828385475300332740632026699908642780057131331, 207095555137602068174310225607660532858489993604082708018689543482077973596, 207095555137602068174310225607660532858489993604082708018689543482077973596, 234509899927036175765199296855831129700768175407406160420571847917079746390, 3362898115569467503211199967331667347148618708561753226207829982131239492850, 492255, 31, 31, 251, 6, 0, 0, 0, 1261385395111890716700133266660711676286541729553, 215434494688918762545527610590897547966052317914668824448206652708650545391, 120437307094350110487058912, 1172774309248419587752841062462060009757493623911, 215434494688918762545527610590897547966052317914668824448206652708650545391, 120168021524361726518868544, 1419766091224726099021915979434834930567531250230, 215434494688918762545527610590897547966052317914668824448206652708650545391, 24017503986638981068843264, 397328161757544218600845536945294199141698740121, 215434494688918762545527610590897547966052317914668824448206652708650545391, 120387740693000449578966720, 1234113216732381785785641133847705679485107347281, 215434494688918762545527610590897547966052317914668824448206652708650545391, 120306907060494427785485408, 85830005275720309539252174301111909005939966622, 215434494688918762545527610590897547966052317914668824448206652708650545391, 67265102257442254654435776, 29651772755120662539053465124111297816910341698904243205910481464406323306958, 2], applicationData=[6124, 6123]) => ()
-
[207704]:
(delegate)
[receiver] Proxy[StarkExState.updateState](publicInput=[1, 2847528171510738433776079312722063608921889514575790631336186864800952001218, 1840146715336476165363093671562828385475300332740632026699908642780057131331, 207095555137602068174310225607660532858489993604082708018689543482077973596, 207095555137602068174310225607660532858489993604082708018689543482077973596, 234509899927036175765199296855831129700768175407406160420571847917079746390, 3362898115569467503211199967331667347148618708561753226207829982131239492850, 492255, 31, 31, 251, 6, 0, 0, 0, 1261385395111890716700133266660711676286541729553, 215434494688918762545527610590897547966052317914668824448206652708650545391, 120437307094350110487058912, 1172774309248419587752841062462060009757493623911, 215434494688918762545527610590897547966052317914668824448206652708650545391, 120168021524361726518868544, 1419766091224726099021915979434834930567531250230, 215434494688918762545527610590897547966052317914668824448206652708650545391, 24017503986638981068843264, 397328161757544218600845536945294199141698740121, 215434494688918762545527610590897547966052317914668824448206652708650545391, 120387740693000449578966720, 1234113216732381785785641133847705679485107347281, 215434494688918762545527610590897547966052317914668824448206652708650545391, 120306907060494427785485408, 85830005275720309539252174301111909005939966622, 215434494688918762545527610590897547966052317914668824448206652708650545391, 67265102257442254654435776, 29651772755120662539053465124111297816910341698904243205910481464406323306958, 2], applicationData=[6124, 6123]) => ()
-
[20547]:
GpsFactRegistryAdapter.isValid(fact=0x05f100519efe259c4408c4d1156880e8c6f0601c4acf337ccd0ef8dfef8f0a32) => (True)
-
[2461]:
Committee.isValid(fact=0x345f14568cf9621e9d9837653c72e9e21987d6686f4c66ccb0bccf741f26e233) => (True)