[{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"message","type":"string"}],"name":"PHE_Log","type":"event"},{"inputs":[{"components":[{"internalType":"uint8","name":"rank","type":"uint8"},{"internalType":"uint8","name":"suit","type":"uint8"}],"internalType":"struct PokerHandEvaluatorv2.Card[2]","name":"holeCards","type":"tuple[2]"},{"components":[{"internalType":"uint8","name":"rank","type":"uint8"},{"internalType":"uint8","name":"suit","type":"uint8"}],"internalType":"struct PokerHandEvaluatorv2.Card[5]","name":"communityCards","type":"tuple[5]"}],"name":"evaluateHand","outputs":[{"components":[{"internalType":"enum PokerHandEvaluatorv2.HandRank","name":"rank","type":"uint8"},{"internalType":"uint256","name":"score","type":"uint256"},{"components":[{"internalType":"uint8","name":"rank","type":"uint8"},{"internalType":"uint8","name":"suit","type":"uint8"}],"internalType":"struct PokerHandEvaluatorv2.Card[5]","name":"bestHand","type":"tuple[5]"}],"internalType":"struct PokerHandEvaluatorv2.Hand","name":"","type":"tuple"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"string[7]","name":"cards","type":"string[7]"}],"name":"findBestHandExternal","outputs":[{"components":[{"internalType":"enum PokerHandEvaluatorv2.HandRank","name":"rank","type":"uint8"},{"internalType":"uint256","name":"score","type":"uint256"},{"components":[{"internalType":"uint8","name":"rank","type":"uint8"},{"internalType":"uint8","name":"suit","type":"uint8"}],"internalType":"struct PokerHandEvaluatorv2.Card[5]","name":"bestHand","type":"tuple[5]"}],"internalType":"struct PokerHandEvaluatorv2.Hand","name":"","type":"tuple"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"string[7]","name":"cards","type":"string[7]"}],"name":"findBestHandExternal2","outputs":[{"components":[{"internalType":"enum PokerHandEvaluatorv2.HandRank","name":"rank","type":"uint8"},{"internalType":"uint256","name":"score","type":"uint256"},{"components":[{"internalType":"uint8","name":"rank","type":"uint8"},{"internalType":"uint8","name":"suit","type":"uint8"}],"internalType":"struct PokerHandEvaluatorv2.Card[5]","name":"bestHand","type":"tuple[5]"}],"internalType":"struct PokerHandEvaluatorv2.Hand","name":"","type":"tuple"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"string","name":"cardStr","type":"string"}],"name":"humanReadableToCard","outputs":[{"components":[{"internalType":"uint8","name":"rank","type":"uint8"},{"internalType":"uint8","name":"suit","type":"uint8"}],"internalType":"struct PokerHandEvaluatorv2.Card","name":"","type":"tuple"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"string","name":"s","type":"string"}],"name":"parseInt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"string","name":"a","type":"string"},{"internalType":"string","name":"b","type":"string"}],"name":"strEq","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"string","name":"cardStr","type":"string"}],"name":"stringToCard","outputs":[{"components":[{"internalType":"uint8","name":"rank","type":"uint8"},{"internalType":"uint8","name":"suit","type":"uint8"}],"internalType":"struct PokerHandEvaluatorv2.Card","name":"","type":"tuple"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"string","name":"cardStr","type":"string"}],"name":"stringToHumanReadable","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"uint8","name":"value","type":"uint8"}],"name":"uintToString","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"}]

0x608060405234801561000f575f5ffd5b5060043610610091575f3560e01c80638ed3d9c3116100645780638ed3d9c314610155578063a4b90df214610185578063aa8a4f41146101b5578063b2843776146101e5578063c04407a41461021557610091565b806342346c5e1461009557806363a70174146100c557806368b471d8146100f557806369a684f614610125575b5f5ffd5b6100af60048036038101906100aa9190613158565b610245565b6040516100bc91906131b7565b60405180910390f35b6100df60048036038101906100da91906132a0565b6102e0565b6040516100ec9190613488565b60405180910390f35b61010f600480360381019061010a9190613158565b610358565b60405161011c91906134cf565b60405180910390f35b61013f600480360381019061013a91906132a0565b610453565b60405161014c9190613488565b60405180910390f35b61016f600480360381019061016a9190613512565b6104cb565b60405161017c919061359d565b60405180910390f35b61019f600480360381019061019a9190613158565b610638565b6040516101ac919061359d565b60405180910390f35b6101cf60048036038101906101ca9190613158565b61092b565b6040516101dc91906134cf565b60405180910390f35b6101ff60048036038101906101fa919061376a565b611016565b60405161020c9190613488565b60405180910390f35b61022f600480360381019061022a91906137a9565b6110fb565b60405161023c9190613839565b60405180910390f35b5f5f8290505f5f90505f5f90505b82518110156102d5575f8382815181106102705761026f613852565b5b602001015160f81c60f81b60f81c905060308160ff1610158015610298575060398160ff1611155b156102c7576030816102aa91906138ac565b60ff16600a846102ba91906138e0565b6102c49190613921565b92505b508080600101915050610253565b508092505050919050565b6102e8612ef6565b6102f0612f2d565b5f5f90505b60078110156103465761031e84826007811061031457610313613852565b5b602002015161092b565b82826007811061033157610330613852565b5b602002018190525080806001019150506102f5565b5061035081611153565b915050919050565b610360612f5a565b600182511480610371575060028251145b6103b0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103a79061399e565b60405180910390fd5b5f6103ba83610245565b905060348160ff1610610402576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103f990613a06565b60405180910390fd5b5f600d826104109190613a51565b90505f6002600d846104229190613a81565b61042c9190613ab1565b905060405180604001604052808260ff1681526020018360ff168152509350505050919050565b61045b612ef6565b610463612f2d565b5f5f90505b60078110156104b95761049184826007811061048757610486613852565b5b6020020151610358565b8282600781106104a4576104a3613852565b5b60200201819052508080600101915050610468565b506104c381611153565b915050919050565b60605f8260ff1603610514576040518060400160405280600181526020017f30000000000000000000000000000000000000000000000000000000000000008152509050610633565b5f5f90505f8390505b5f8160ff161461054957818061053290613ae5565b925050600a816105429190613a51565b905061051d565b5f8260ff1667ffffffffffffffff81111561056757610566613034565b5b6040519080825280601f01601f1916602001820160405280156105995781602001600182028036833780820191505090505b5090505f8390505b5f8660ff161461062b57600a866105b89190613a81565b60306105c49190613ab1565b60f81b82826105d290613b0d565b92508260ff16815181106105e9576105e8613852565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600a866106249190613a51565b95506105a1565b819450505050505b919050565b60605f61064483610245565b905060348160ff161061068c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161068390613a06565b60405180910390fd5b5f600d8261069a9190613a51565b90505f6002600d846106ac9190613a81565b6106b69190613ab1565b905060605f8360ff1611610701576040518060400160405280600181526020017f480000000000000000000000000000000000000000000000000000000000000081525090506107cc565b60018360ff1611610749576040518060400160405280600181526020017f440000000000000000000000000000000000000000000000000000000000000081525090506107cb565b60028360ff1611610791576040518060400160405280600181526020017f430000000000000000000000000000000000000000000000000000000000000081525090506107ca565b6040518060400160405280600181526020017f530000000000000000000000000000000000000000000000000000000000000081525090505b5b5b6060600a8360ff16116107e9576107e2836104cb565b90506108fd565b600b8360ff1603610831576040518060400160405280600181526020017f4a0000000000000000000000000000000000000000000000000000000000000081525090506108fc565b600c8360ff1603610879576040518060400160405280600181526020017f510000000000000000000000000000000000000000000000000000000000000081525090506108fb565b600d8360ff16036108c1576040518060400160405280600181526020017f4b0000000000000000000000000000000000000000000000000000000000000081525090506108fa565b6040518060400160405280600181526020017f410000000000000000000000000000000000000000000000000000000000000081525090505b5b5b5b8082604051602001610910929190613b6e565b60405160208183030381529060405295505050505050919050565b610933612f5a565b5f82905060605f600167ffffffffffffffff81111561095557610954613034565b5b6040519080825280601f01601f1916602001820160405280156109875781602001600182028036833780820191505090505b509050600283511180156109f957507f3100000000000000000000000000000000000000000000000000000000000000835f815181106109ca576109c9613852565b5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b8015610a6457507f300000000000000000000000000000000000000000000000000000000000000083600181518110610a3557610a34613852565b5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b15610b06576040518060400160405280600281526020017f3130000000000000000000000000000000000000000000000000000000000000815250915082600281518110610ab557610ab4613852565b5b602001015160f81c60f81b815f81518110610ad357610ad2613852565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350610ead565b8260018451610b159190613b91565b81518110610b2657610b25613852565b5b602001015160f81c60f81b815f81518110610b4457610b43613852565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600167ffffffffffffffff811115610b8d57610b8c613034565b5b6040519080825280601f01601f191660200182016040528015610bbf5781602001600182028036833780820191505090505b509150825f81518110610bd557610bd4613852565b5b602001015160f81c60f81b825f81518110610bf357610bf2613852565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a9053507f4a00000000000000000000000000000000000000000000000000000000000000835f81518110610c5557610c54613852565b5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191603610cc4576040518060400160405280600281526020017f31310000000000000000000000000000000000000000000000000000000000008152509150610eac565b7f5100000000000000000000000000000000000000000000000000000000000000835f81518110610cf857610cf7613852565b5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191603610d67576040518060400160405280600281526020017f31320000000000000000000000000000000000000000000000000000000000008152509150610eab565b7f4b00000000000000000000000000000000000000000000000000000000000000835f81518110610d9b57610d9a613852565b5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191603610e0a576040518060400160405280600281526020017f31330000000000000000000000000000000000000000000000000000000000008152509150610eaa565b7f4100000000000000000000000000000000000000000000000000000000000000835f81518110610e3e57610e3d613852565b5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191603610ea9576040518060400160405280600281526020017f313400000000000000000000000000000000000000000000000000000000000081525091505b5b5b5b5b5f610eb783610245565b90505f5f9050610efc836040518060400160405280600181526020017f48000000000000000000000000000000000000000000000000000000000000008152506110fb565b15610f09575f9050610fef565b610f48836040518060400160405280600181526020017f44000000000000000000000000000000000000000000000000000000000000008152506110fb565b15610f565760019050610fee565b610f95836040518060400160405280600181526020017f43000000000000000000000000000000000000000000000000000000000000008152506110fb565b15610fa35760029050610fed565b610fe2836040518060400160405280600181526020017f53000000000000000000000000000000000000000000000000000000000000008152506110fb565b15610fec57600390505b5b5b5b60405180604001604052808360ff1681526020018260ff1681525095505050505050919050565b61101e612ef6565b611026612f2d565b835f6002811061103957611038613852565b5b6020020151815f6007811061105157611050613852565b5b60200201819052508360016002811061106d5761106c613852565b5b60200201518160016007811061108657611085613852565b5b60200201819052505f5f90505b60058110156110e8578381600581106110af576110ae613852565b5b6020020151826002836110c29190613921565b600781106110d3576110d2613852565b5b60200201819052508080600101915050611093565b506110f281611153565b91505092915050565b5f8160405160200161110d9190613bc4565b60405160208183030381529060405280519060200120836040516020016111349190613bc4565b6040516020818303038152906040528051906020012014905092915050565b61115b612ef6565b5f5f90505b6001600761116e9190613b91565b811015611287575f5f90505b60018260076111899190613b91565b6111939190613b91565b81101561127957836001826111a89190613921565b600781106111b9576111b8613852565b5b60200201515f015160ff168482600781106111d7576111d6613852565b5b60200201515f015160ff16111561126c575f8482600781106111fc576111fb613852565b5b60200201519050846001836112119190613921565b6007811061122257611221613852565b5b602002015185836007811061123a57611239613852565b5b602002018190525080856001846112519190613921565b6007811061126257611261613852565b5b6020020181905250505b808060010191505061117a565b508080600101915050611160565b50611290612ef6565b5f5f90505f5f90506112a18561163c565b80935081925050505f8211156112f6576009835f019060098111156112c9576112c86132e7565b5b908160098111156112dd576112dc6132e7565b5b8152505081836020018181525050829350505050611637565b6112ff856117f1565b80935081925050505f821115611354576008835f01906009811115611327576113266132e7565b5b9081600981111561133b5761133a6132e7565b5b8152505081836020018181525050829350505050611637565b61135d85611b67565b80935081925050505f8211156113b2576007835f01906009811115611385576113846132e7565b5b90816009811115611399576113986132e7565b5b8152505081836020018181525050829350505050611637565b6113bb85611ce3565b80935081925050505f821115611410576006835f019060098111156113e3576113e26132e7565b5b908160098111156113f7576113f66132e7565b5b8152505081836020018181525050829350505050611637565b61141985611eea565b80935081925050505f82111561146e576005835f01906009811115611441576114406132e7565b5b90816009811115611455576114546132e7565b5b8152505081836020018181525050829350505050611637565b61147785612308565b80935081925050505f8211156114cc576004835f0190600981111561149f5761149e6132e7565b5b908160098111156114b3576114b26132e7565b5b8152505081836020018181525050829350505050611637565b6114d585612744565b80935081925050505f82111561152a576003835f019060098111156114fd576114fc6132e7565b5b90816009811115611511576115106132e7565b5b8152505081836020018181525050829350505050611637565b611533856129a0565b80935081925050505f821115611588576002835f0190600981111561155b5761155a6132e7565b5b9081600981111561156f5761156e6132e7565b5b8152505081836020018181525050829350505050611637565b61159185612bac565b80935081925050505f8211156115e6576001835f019060098111156115b9576115b86132e7565b5b908160098111156115cd576115cc6132e7565b5b8152505081836020018181525050829350505050611637565b6115ef85612dcd565b80935081925050505f835f0190600981111561160e5761160d6132e7565b5b90816009811115611622576116216132e7565b5b81525050818360200181815250508293505050505b919050565b5f5f5f5f90505b60048160ff1610156117e4575f5f90505f5f90505f5f90505f5f90505f5f90505f5f90505b60078160ff16101561178e578660ff168a8260ff166007811061168e5761168d613852565b5b60200201516020015160ff160361178157600e8a8260ff16600781106116b7576116b6613852565b5b60200201515f015160ff16036116cc57600195505b600d8a8260ff16600781106116e4576116e3613852565b5b60200201515f015160ff16036116f957600194505b600c8a8260ff166007811061171157611710613852565b5b60200201515f015160ff160361172657600193505b600b8a8260ff166007811061173e5761173d613852565b5b60200201515f015160ff160361175357600192505b600a8a8260ff166007811061176b5761176a613852565b5b60200201515f015160ff160361178057600191505b5b8080600101915050611668565b508480156117995750835b80156117a25750825b80156117ab5750815b80156117b45750805b156117d257600a66038d7ea4c68000975097505050505050506117ec565b50505050508080600101915050611643565b505f5f915091505b915091565b5f5f5f5f90505b60048160ff161015611b5a575f600767ffffffffffffffff8111156118205761181f613034565b5b60405190808252806020026020018201604052801561184e5781602001602082028036833780820191505090505b5090505f5f90505f5f90505b60078110156118ec578360ff1687826007811061187a57611879613852565b5b60200201516020015160ff16036118df5786816007811061189e5761189d613852565b5b60200201515f0151838360ff16815181106118bc576118bb613852565b5b602002602001019060ff16908160ff168152505081806118db90613ae5565b9250505b808060010191505061185a565b5060058160ff1610611b4b575f5f90505b60018261190a91906138ac565b60ff168160ff161015611a5e575f5f90505b6001828461192a91906138ac565b61193491906138ac565b60ff168160ff161015611a50578360018261194f9190613ab1565b60ff168151811061196357611962613852565b5b602002602001015160ff16848260ff168151811061198457611983613852565b5b602002602001015160ff161115611a43575f848260ff16815181106119ac576119ab613852565b5b60200260200101519050846001836119c49190613ab1565b60ff16815181106119d8576119d7613852565b5b6020026020010151858360ff16815181106119f6576119f5613852565b5b602002602001019060ff16908160ff16815250508085600184611a199190613ab1565b60ff1681518110611a2d57611a2c613852565b5b602002602001019060ff16908160ff1681525050505b808060010191505061191c565b5080806001019150506118fd565b505f5f90505b600582611a7191906138ac565b60ff168160ff1611611b49576004838260ff1681518110611a9557611a94613852565b5b6020026020010151611aa79190613ab1565b60ff1683600483611ab89190613ab1565b60ff1681518110611acc57611acb613852565b5b602002602001015160ff1603611b3657600983600483611aec9190613ab1565b60ff1681518110611b0057611aff613852565b5b602002602001015160ff166603328b944c4000611b1d9190613bec565b8066ffffffffffffff1690509550955050505050611b62565b8080611b4190613ae5565b915050611a64565b505b505080806001019150506117f8565b505f5f915091505b915091565b5f5f5f5f90505b6007811015611cd6575f5f90505f858360078110611b8f57611b8e613852565b5b60200201515f015190505f5f90505b6007811015611bea578160ff16878260078110611bbe57611bbd613852565b5b60200201515f015160ff1603611bdd578280611bd990613ae5565b9350505b8080600101915050611b9e565b5060048260ff1603611cc7575f5f90505f5f90505b6007811015611c87578260ff16888260078110611c1f57611c1e613852565b5b60200201515f015160ff1614158015611c5757508160ff16888260078110611c4a57611c49613852565b5b60200201515f015160ff16115b15611c7a57878160078110611c6f57611c6e613852565b5b60200201515f015191505b8080600101915050611bff565b5060088160ff1660648460ff16611c9e91906138e0565b6602d79883d20000611cb09190613921565b611cba9190613921565b9550955050505050611cde565b50508080600101915050611b6e565b505f5f915091505b915091565b5f5f5f5f90505f5f90505f5f90505b6007811015611da0575f5f90505f878360078110611d1357611d12613852565b5b60200201515f015190505f5f90505b6007811015611d6e578160ff16898260078110611d4257611d41613852565b5b60200201515f015160ff1603611d61578280611d5d90613ae5565b9350505b8080600101915050611d22565b5060038260ff1610158015611d8857508460ff168160ff16115b15611d91578094505b50508080600101915050611cf2565b505f8260ff1603611db8575f5f935093505050611ee5565b5f5f90505b6007811015611e93578260ff16868260078110611ddd57611ddc613852565b5b60200201515f015160ff1614611e86575f5f90505f878360078110611e0557611e04613852565b5b60200201515f015190505f5f90505b6007811015611e60578160ff16898260078110611e3457611e33613852565b5b60200201515f015160ff1603611e53578280611e4f90613ae5565b9350505b8080600101915050611e14565b5060028260ff1610158015611e7a57508360ff168160ff16115b15611e83578093505b50505b8080600101915050611dbd565b505f8160ff161115611edc5760078160ff1660648460ff16611eb591906138e0565b66027ca57357c000611ec79190613921565b611ed19190613921565b935093505050611ee5565b5f5f9350935050505b915091565b5f5f611ef4612f78565b5f5f90505b60048160ff1610156122fa575f600767ffffffffffffffff811115611f2157611f20613034565b5b604051908082528060200260200182016040528015611f4f5781602001602082028036833780820191505090505b5090505f5f90505f5f90505b60078160ff161015611ff6578360ff16888260ff1660078110611f8157611f80613852565b5b60200201516020015160ff1603611fe957878160ff1660078110611fa857611fa7613852565b5b60200201515f0151838360ff1681518110611fc657611fc5613852565b5b602002602001019060ff16908160ff16815250508180611fe590613ae5565b9250505b8080600101915050611f5b565b5060058160ff16106122eb575f5f90505b60018261201491906138ac565b60ff168160ff161015612168575f5f90505b6001828461203491906138ac565b61203e91906138ac565b60ff168160ff16101561215a57836001826120599190613ab1565b60ff168151811061206d5761206c613852565b5b602002602001015160ff16848260ff168151811061208e5761208d613852565b5b602002602001015160ff16101561214d575f848260ff16815181106120b6576120b5613852565b5b60200260200101519050846001836120ce9190613ab1565b60ff16815181106120e2576120e1613852565b5b6020026020010151858360ff1681518110612100576120ff613852565b5b602002602001019060ff16908160ff168152505080856001846121239190613ab1565b60ff168151811061213757612136613852565b5b602002602001019060ff16908160ff1681525050505b8080600101915050612026565b508080600101915050612007565b505f5f90505b60058160ff1610156121cc57828160ff16815181106121905761218f613852565b5b6020026020010151858260ff16600581106121ae576121ad613852565b5b602002019060ff16908160ff1681525050808060010191505061216e565b505f660221b262dd800090506305f5e100855f600581106121f0576121ef613852565b5b602002015160ff1661220291906138e0565b8161220d9190613921565b9050620f42408560016005811061222757612226613852565b5b602002015160ff1661223991906138e0565b816122449190613921565b90506127108560026005811061225d5761225c613852565b5b602002015160ff1661226f91906138e0565b8161227a9190613921565b905060648560036005811061229257612291613852565b5b602002015160ff166122a491906138e0565b816122af9190613921565b9050846004600581106122c5576122c4613852565b5b602002015160ff16816122d89190613921565b9050600681965096505050505050612303565b50508080600101915050611ef9565b505f5f92509250505b915091565b5f5f5f600f67ffffffffffffffff81111561232657612325613034565b5b6040519080825280602002602001820160405280156123545781602001602082028036833780820191505090505b5090505f5f90505f5f90505b60078160ff16101561244b575f5f90505f5f90505b8360ff168160ff1610156123e057878360ff166007811061239957612398613852565b5b60200201515f015160ff16858260ff16815181106123ba576123b9613852565b5b602002602001015160ff16036123d357600191506123e0565b8080600101915050612375565b508061243d57868260ff16600781106123fc576123fb613852565b5b60200201515f0151848460ff168151811061241a57612419613852565b5b602002602001019060ff16908160ff1681525050828061243990613ae5565b9350505b508080600101915050612360565b505f5f90505f5f90505b8260ff168160ff1610156124a157600e848260ff168151811061247b5761247a613852565b5b602002602001015160ff160361249457600191506124a1565b8080600101915050612455565b5080156124e3576001838360ff16815181106124c0576124bf613852565b5b602002602001019060ff16908160ff168152505081806124df90613ae5565b9250505b5f5f90505b6001836124f591906138ac565b60ff168160ff161015612649575f5f90505b6001828561251591906138ac565b61251f91906138ac565b60ff168160ff16101561263b578460018261253a9190613ab1565b60ff168151811061254e5761254d613852565b5b602002602001015160ff16858260ff168151811061256f5761256e613852565b5b602002602001015160ff16111561262e575f858260ff168151811061259757612596613852565b5b60200260200101519050856001836125af9190613ab1565b60ff16815181106125c3576125c2613852565b5b6020026020010151868360ff16815181106125e1576125e0613852565b5b602002602001019060ff16908160ff168152505080866001846126049190613ab1565b60ff168151811061261857612617613852565b5b602002602001019060ff16908160ff1681525050505b8080600101915050612507565b5080806001019150506124e8565b5060058260ff1610612735575f5f90505b60058361266791906138ac565b60ff168160ff1611612733576004848260ff168151811061268b5761268a613852565b5b602002602001015161269d9190613ab1565b60ff16846004836126ae9190613ab1565b60ff16815181106126c2576126c1613852565b5b602002602001015160ff1603612720576005846004836126e29190613ab1565b60ff16815181106126f6576126f5613852565b5b602002602001015160ff166601c6bf526340006127139190613921565b955095505050505061273f565b808061272b90613ae5565b91505061265a565b505b5f5f945094505050505b915091565b5f5f61274e612f9a565b5f5f90505b60048111612992575f600190505f86836007811061277457612773613852565b5b60200201515f015190505f60018461278c9190613921565b90505b60078110156127db578160ff168882600781106127af576127ae613852565b5b60200201515f015160ff16036127ce5782806127ca90613ae5565b9350505b808060010191505061278f565b5060038260ff160361297d575f5f90505f600690505b5f8112158015612804575060028260ff16105b15612894578260ff168982600781106128205761281f613852565b5b60200201515f015160ff16146128815788816007811061284357612842613852565b5b60200201515f0151868360ff166002811061286157612860613852565b5b602002019060ff16908160ff1681525050818061287d90613ae5565b9250505b808061288c90613c2f565b9150506127f1565b505f66016bcc41e900009050620f42408360ff166128b291906138e0565b816128bd9190613921565b905060028260ff161061292a57856001600281106128de576128dd613852565b5b602002015160ff16612710875f600281106128fc576128fb613852565b5b602002015160ff1661290e91906138e0565b6129189190613921565b816129239190613921565b905061296b565b60018260ff160361296a576064865f6002811061294a57612949613852565b5b602002015160ff1661295c91906138e0565b816129679190613921565b90505b5b6004819750975050505050505061299b565b5050808061298a90613c76565b915050612753565b505f5f92509250505b915091565b5f5f5f5f90505f5f90505f600690505b5f811115612a7f57856001826129c69190613b91565b600781106129d7576129d6613852565b5b60200201515f015160ff168682600781106129f5576129f4613852565b5b60200201515f015160ff1603612a6c575f8360ff1603612a4957858160078110612a2257612a21613852565b5b60200201515f015192506001811115612a44578080612a4090613cbd565b9150505b612a6b565b858160078110612a5c57612a5b613852565b5b60200201515f01519150612a7f565b5b8080612a7790613cbd565b9150506129b0565b505f8260ff16118015612a9457505f8160ff16115b15612b9e575f5f90505f600690505b5f8112612b34578360ff16878260078110612ac157612ac0613852565b5b60200201515f015160ff1614158015612afa57508260ff16878260078110612aec57612aeb613852565b5b60200201515f015160ff1614155b15612b2157868160078110612b1257612b11613852565b5b60200201515f01519150612b34565b8080612b2c90613c2f565b915050612aa3565b505f660110d9316ec0009050620f42408460ff16612b5291906138e0565b81612b5d9190613921565b90506127108360ff16612b7091906138e0565b81612b7b9190613921565b90508160ff1681612b8c9190613921565b90506003819550955050505050612ba7565b5f5f9350935050505b915091565b5f5f612bb6612fbc565b5f5f90505f600690505b5f811115612c4a5785600182612bd69190613b91565b60078110612be757612be6613852565b5b60200201515f015160ff16868260078110612c0557612c04613852565b5b60200201515f015160ff1603612c3757858160078110612c2857612c27613852565b5b60200201515f01519150612c4a565b8080612c4290613cbd565b915050612bc0565b505f8160ff161115612dbf575f5f90505f600690505b5f8112158015612c73575060038260ff16105b15612d03578260ff16878260078110612c8f57612c8e613852565b5b60200201515f015160ff1614612cf057868160078110612cb257612cb1613852565b5b60200201515f0151848360ff1660038110612cd057612ccf613852565b5b602002019060ff16908160ff16815250508180612cec90613ae5565b9250505b8080612cfb90613c2f565b915050612c60565b506002835f60038110612d1957612d18613852565b5b602002015160ff16606485600160038110612d3757612d36613852565b5b602002015160ff16612d4991906138e0565b61271086600260038110612d6057612d5f613852565b5b602002015160ff16612d7291906138e0565b620f42408660ff16612d8491906138e0565b65b5e620f48000612d959190613921565b612d9f9190613921565b612da99190613921565b612db39190613921565b94509450505050612dc8565b5f5f9350935050505b915091565b5f5f5f655af3107a40009050620f424084600660078110612df157612df0613852565b5b60200201515f015160ff16612e0691906138e0565b81612e119190613921565b905061271084600560078110612e2a57612e29613852565b5b60200201515f015160ff16612e3f91906138e0565b81612e4a9190613921565b90506103e884600460078110612e6357612e62613852565b5b60200201515f015160ff16612e7891906138e0565b81612e839190613921565b9050606484600360078110612e9b57612e9a613852565b5b60200201515f015160ff16612eb091906138e0565b81612ebb9190613921565b905083600260078110612ed157612ed0613852565b5b60200201515f015160ff1681612ee79190613921565b90506001819250925050915091565b60405180606001604052805f6009811115612f1457612f136132e7565b5b81526020015f8152602001612f27612fde565b81525090565b6040518060e001604052806007905b612f44612f5a565b815260200190600190039081612f3c5790505090565b60405180604001604052805f60ff1681526020015f60ff1681525090565b6040518060a00160405280600590602082028036833780820191505090505090565b6040518060400160405280600290602082028036833780820191505090505090565b6040518060600160405280600390602082028036833780820191505090505090565b6040518060a001604052806005905b612ff5612f5a565b815260200190600190039081612fed5790505090565b5f604051905090565b5f5ffd5b5f5ffd5b5f5ffd5b5f5ffd5b5f601f19601f8301169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b61306a82613024565b810181811067ffffffffffffffff8211171561308957613088613034565b5b80604052505050565b5f61309b61300b565b90506130a78282613061565b919050565b5f67ffffffffffffffff8211156130c6576130c5613034565b5b6130cf82613024565b9050602081019050919050565b828183375f83830152505050565b5f6130fc6130f7846130ac565b613092565b90508281526020810184848401111561311857613117613020565b5b6131238482856130dc565b509392505050565b5f82601f83011261313f5761313e61301c565b5b813561314f8482602086016130ea565b91505092915050565b5f6020828403121561316d5761316c613014565b5b5f82013567ffffffffffffffff81111561318a57613189613018565b5b6131968482850161312b565b91505092915050565b5f819050919050565b6131b18161319f565b82525050565b5f6020820190506131ca5f8301846131a8565b92915050565b5f67ffffffffffffffff8211156131ea576131e9613034565b5b602082029050919050565b5f5ffd5b5f61320b613206846131d0565b613092565b90508060208402830185811115613225576132246131f5565b5b835b8181101561326c57803567ffffffffffffffff81111561324a5761324961301c565b5b808601613257898261312b565b85526020850194505050602081019050613227565b5050509392505050565b5f82601f83011261328a5761328961301c565b5b60076132978482856131f9565b91505092915050565b5f602082840312156132b5576132b4613014565b5b5f82013567ffffffffffffffff8111156132d2576132d1613018565b5b6132de84828501613276565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b600a8110613325576133246132e7565b5b50565b5f81905061333582613314565b919050565b5f61334482613328565b9050919050565b6133548161333a565b82525050565b6133638161319f565b82525050565b5f60059050919050565b5f81905092915050565b5f819050919050565b5f60ff82169050919050565b61339b81613386565b82525050565b604082015f8201516133b55f850182613392565b5060208201516133c86020850182613392565b50505050565b5f6133d983836133a1565b60408301905092915050565b5f602082019050919050565b6133fa81613369565b6134048184613373565b925061340f8261337d565b805f5b8381101561343f57815161342687826133ce565b9650613431836133e5565b925050600181019050613412565b505050505050565b61018082015f82015161345c5f85018261334b565b50602082015161346f602085018261335a565b50604082015161348260408501826133f1565b50505050565b5f6101808201905061349c5f830184613447565b92915050565b604082015f8201516134b65f850182613392565b5060208201516134c96020850182613392565b50505050565b5f6040820190506134e25f8301846134a2565b92915050565b6134f181613386565b81146134fb575f5ffd5b50565b5f8135905061350c816134e8565b92915050565b5f6020828403121561352757613526613014565b5b5f613534848285016134fe565b91505092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f61356f8261353d565b6135798185613547565b9350613589818560208601613557565b61359281613024565b840191505092915050565b5f6020820190508181035f8301526135b58184613565565b905092915050565b5f67ffffffffffffffff8211156135d7576135d6613034565b5b602082029050919050565b5f5ffd5b5f604082840312156135fb576135fa6135e2565b5b6136056040613092565b90505f613614848285016134fe565b5f830152506020613627848285016134fe565b60208301525092915050565b5f613645613640846135bd565b613092565b9050806040840283018581111561365f5761365e6131f5565b5b835b81811015613688578061367488826135e6565b845260208401935050604081019050613661565b5050509392505050565b5f82601f8301126136a6576136a561301c565b5b60026136b3848285613633565b91505092915050565b5f67ffffffffffffffff8211156136d6576136d5613034565b5b602082029050919050565b5f6136f36136ee846136bc565b613092565b9050806040840283018581111561370d5761370c6131f5565b5b835b81811015613736578061372288826135e6565b84526020840193505060408101905061370f565b5050509392505050565b5f82601f8301126137545761375361301c565b5b60056137618482856136e1565b91505092915050565b5f5f6101c0838503121561378157613780613014565b5b5f61378e85828601613692565b925050608061379f85828601613740565b9150509250929050565b5f5f604083850312156137bf576137be613014565b5b5f83013567ffffffffffffffff8111156137dc576137db613018565b5b6137e88582860161312b565b925050602083013567ffffffffffffffff81111561380957613808613018565b5b6138158582860161312b565b9150509250929050565b5f8115159050919050565b6138338161381f565b82525050565b5f60208201905061384c5f83018461382a565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6138b682613386565b91506138c183613386565b9250828203905060ff8111156138da576138d961387f565b5b92915050565b5f6138ea8261319f565b91506138f58361319f565b92508282026139038161319f565b9150828204841483151761391a5761391961387f565b5b5092915050565b5f61392b8261319f565b91506139368361319f565b925082820190508082111561394e5761394d61387f565b5b92915050565b7f496e76616c6964206361726420737472696e67206c656e6774680000000000005f82015250565b5f613988601a83613547565b915061399382613954565b602082019050919050565b5f6020820190508181035f8301526139b58161397c565b9050919050565b7f496e76616c69642063617264206e756d626572000000000000000000000000005f82015250565b5f6139f0601383613547565b91506139fb826139bc565b602082019050919050565b5f6020820190508181035f830152613a1d816139e4565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f613a5b82613386565b9150613a6683613386565b925082613a7657613a75613a24565b5b828204905092915050565b5f613a8b82613386565b9150613a9683613386565b925082613aa657613aa5613a24565b5b828206905092915050565b5f613abb82613386565b9150613ac683613386565b9250828201905060ff811115613adf57613ade61387f565b5b92915050565b5f613aef82613386565b915060ff8203613b0257613b0161387f565b5b600182019050919050565b5f613b1782613386565b91505f8203613b2957613b2861387f565b5b600182039050919050565b5f81905092915050565b5f613b488261353d565b613b528185613b34565b9350613b62818560208601613557565b80840191505092915050565b5f613b798285613b3e565b9150613b858284613b3e565b91508190509392505050565b5f613b9b8261319f565b9150613ba68361319f565b9250828203905081811115613bbe57613bbd61387f565b5b92915050565b5f613bcf8284613b3e565b915081905092915050565b5f66ffffffffffffff82169050919050565b5f613bf682613bda565b9150613c0183613bda565b9250828201905066ffffffffffffff811115613c2057613c1f61387f565b5b92915050565b5f819050919050565b5f613c3982613c26565b91507f80000000000000000000000000000000000000000000000000000000000000008203613c6b57613c6a61387f565b5b600182039050919050565b5f613c808261319f565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203613cb257613cb161387f565b5b600182019050919050565b5f613cc78261319f565b91505f8203613cd957613cd861387f565b5b60018203905091905056fea26469706673582212209f6b2f64f2da5b0b54b755abab8cc70b8caf96de83d4f0ff02e6dcc15baa316d64736f6c634300081d0033