orTTTorFTTorTFTorFFFandTBBandBTBandFBFandBFFimpTBBimpFBTnotTFnotFTifTB1B2B1ifFB1B2B2eqTTTeqFFTeqTFFeqFTFeqtnilundefinedFeqtnilpidN2FeqtnilintN2FeqtnilconsH2T2FeqtniltupleH2T2FeqtniltuplenilH2FeqtanilFeqtaaTeqtaexclFeqtafalseFeqtalockFeqtalockerFeqtamcrlrecordFeqtaokFeqtapendingFeqtareleaseFeqtarequestFeqtaresourceFeqtatagFeqtatrueFeqtaundefinedFeqtapidN2FeqtaintN2FeqtaconsH2T2FeqtatupleH2T2FeqtatuplenilH2FeqtexclnilFeqtexclaFeqtexclexclTeqtexclfalseFeqtexcllockFeqtexcllockerFeqtexclmcrlrecordFeqtexclokFeqtexclpendingFeqtexclreleaseFeqtexclrequestFeqtexclresourceFeqtexcltagFeqtexcltrueFeqtexclundefinedFeqtexclpidN2FeqtexcleqtfalseintN2FeqtfalseconsH2T2FeqtfalsetupleH2T2FeqtfalsetuplenilH2FeqtlocknilFeqtlockaFeqtlockexclFeqtlockfalseFeqtlocklockTeqtlocklockerFeqtlockmcrlrecordFeqtlockokFeqtlockpendingFeqtlockreleaseFeqtlockrequestFeqtlockresourceFeqtlocktagFeqtlocktrueFeqtlockundefinedFeqtlockpidN2FeqtlockintN2FeqtlockconsH2T2FeqtlocktupleH2T2FeqtlocktuplenilH2FeqtlockernilFeqtlockeraFeqtlockerexclFeqtlockerfalseFeqtlockerlockFeqtlockerlockerTeqtlockermcrlrecordFeqtlockerokFeqtlockerpendingFeqtlockerreleaseFeqtlockerrequestFeqtlockerresourceFeqtlockertagFeqtlockertrueFeqtlockerundefinedFeqtlockerpidN2FeqtlockerintN2FeqtlockerconsH2T2FeqtlockertupleH2T2FeqtlockertuplenilH2FeqtmcrlrecordnilFeqtmcrlrecordaFeqtmcrlrecordexclFeqtmcrlrecordfalseFeqtmcrlrecordlockFeqtmcrlrecordlockerFeqtmcrlrecordmcrlrecordTeqtmcrlrecordokFeqtmcrlrecordpendingFeqtmcrlrecordreleaseFeqtmcrlrecordrequestFeqtmcrlrecordresourceFeqtokresourceFeqtoktagFeqtoktrueFeqtokundefinedFeqtokpidN2FeqtokintN2FeqtokconsH2T2FeqtoktupleH2T2FeqtoktuplenilH2FeqtpendingnilFeqtpendingaFeqtpendingexclFeqtpendingfalseFeqtpendinglockFeqtpendinglockerFeqtpendingmcrlrecordFeqtpendingokFeqtpendingpendingTeqtpendingreleaseFeqtpendingrequestFeqtpendingresourceFeqtpendingtagFeqtpendingtrueFeqtpendingundefinedFeqtpendingpidN2FeqtpendingintN2FeqtpendingconsH2T2FeqtpendingtupleH2T2FeqtpendingtuplenilH2FeqtreleasenilFeqtreleaseaFeqtreleaseexclFeqtreleasefalseFeqtreleaselockFeqtreleaselockerFeqtreleasemcrlrecordFeqtreleaseokFeqtrequestmcrlrecordFeqtrequestokFeqtrequestpendingFeqtrequestreleaseFeqtrequestrequestTeqtrequestresourceFeqtrequesttagFeqtrequesttrueFeqtrequestundefinedFeqtrequestpidN2FeqtrequestintN2FeqtrequestconsH2T2FeqtrequesttupleH2T2FeqtrequesttuplenilH2FeqtresourcenilFeqtresourceaFeqtresourceexclFeqtresourcefalseFeqtresourcelockFeqtresourcelockerFeqtresourcemcrlrecordFeqtresourceokFeqtresourcependingFeqtresourcereleaseFeqtresourcerequestFeqtresourceresourceTeqtresourcetagFeqtresourcetrueFeqtresourceundefinedFeqtresourcepidN2FeqtresourceintN2FeqtresourceconsH2T2FeqtresourcetupleH2T2FeqtresourcetuplenilH2FeqttagnilFeqttagaFeqttagexclFeqttagfalseFeqttaglockFeqttaglockerFeqttagmcrlrecordFeqttagokFeqttagpendingFeqttagreleaseFeqttagrequestFeqttagresourceFeqttagtagTeqttagtrueFeqttagundefinedFeqttagpidN2FeqttagintN2FeqttagconsH2T2FeqttagtupleH2T2FeqttagtuplenilH2FeqttruenilFeqttrueaFeqttrueexclFeqttruefalseFeqttruelockFeqttruelockerFeqttruemcrlrecordFeqttrueokFeqttruependingFeqttruereleaseFeqttruerequestFeqttrueresourceFeqttruetagFeqttruetrueTeqttrueundefinedFeqttruepidN2FeqttrueintN2FeqttrueconsH2T2FeqttruetupleH2T2FeqttruetuplenilH2FeqtundefinednilFeqtundefinedaFeqtundefinedtuplenilH2FeqtpidN1nilFeqtpidN1aFeqtpidN1exclFeqtpidN1falseFeqtpidN1lockFeqtpidN1lockerFeqtpidN1mcrlrecordFeqtpidN1okFeqtpidN1pendingFeqtpidN1releaseFeqtpidN1requestFeqtpidN1resourceFeqtpidN1tagFeqtpidN1trueFeqtpidN1undefinedFeqtpidN1pidN2eqtN1N2eqtpidN1intN2FeqtpidN1consH2T2FeqtpidN1tupleH2T2FeqtpidN1tuplenilH2FeqtintN1nilFeqtintN1aFeqtintN1exclFeqtintN1falseFeqtintN1lockFeqtintN1lockerFeqtintN1mcrlrecordFeqtintN1okFeqtintN1pendingFeqtintN1releaseFeqtintN1requestFeqtintN1resourceFeqtintN1tagFeqtintN1trueFeqtintN1undefinedFeqtconsH1T1resourceFeqtconsH1T1tagFeqtconsH1T1trueFeqtconsH1T1undefinedFeqtconsH1T1pidN2FeqtconsH1T1intN2FeqtconsH1T1consH2T2andeqtH1H2eqtT1T2eqtconsH1T1tupleH2T2FeqtconsH1T1tuplenilH2FeqttupleH1T1nilFeqttupleH1T1aFeqttupleH1T1exclFeqttupleH1T1falseFeqttupleH1T1lockFeqttupleH1T1lockerFeqttupleH1T1mcrlrecordFeqttupleH1T1okFeqttupleH1T1pendingFeqttupleH1T1releaseFeqttupleH1T1requestFeqttupleH1T1resourceFeqttupleH1T1tagFeqttupleH1T1trueFeqttupleH1T1undefinedFeqttupleH1T1pidN2FeqttupleH1T1intN2FeqttupleH1T1consH2T2FeqttupleH1T1tupleH2T2andeqtH1H2eqtT1T2eqttupleH1T1tuplenilH2FeqttuplenilH1nilFeqttuplenilH1aFeqttuplenilH1exclFeqttuplenilH1falseFeqttuplenilH1lockFeqttuplenilH1lockerFeqttuplenilH1mcrlrecordFeqttuplenilH1okFeqttuplenilH1pendingFeqttuplenilH1releaseFeqttuplenilH1requestFeqttuplenilH1resourceFeqttuplenilH1tagFeqttuplenilH1trueFeqttuplenilH1undefinedFeqttuplenilH1pidN2FeqttuplenilH1intN2FeqttuplenilH1consH2T2FeqttuplenilH1tupleH2T2FeqttuplenilH1tuplenilH2eqtH1H2elementints0tuplenilT1T1elementints0tupleT1T2T1elementintssN1tupleT1T2elementintsN1T2record_newlocktuplemcrlrecordtuplelocktupleundefinedtupleniltuplenilnilrecord_extracttuplemcrlrecordtuplelocktupleF0tupleF1tuplenilF2lockresourcetuplemcrlrecordtuplelocktupleF0tupleF1tuplenilF2record_updatetuplemcrlrecordtuplelocktupleF0tupleF1tuplenilF2lockpendingNewFtuplemcrlrecordtuplelocktupleF0tupleF1tuplenilNewFrecord_updatesRecordNamenilRecordrecord_updatesRecordNameconstupleFieldtuplenilNewFFieldsrecord_updatesrecord_updateRecordNameFieldNewFNameFieldslocker2_map_promote_pendingnilPendingnillocker2_map_promote_pendingconsLockLocksPendingconslocker2_promote_pendingLockPendinglocker2_map_promote_pendingLocksPendinglocker2_map_claim_locknilResourcesClientnillocker2_map_claim_lockconsLockLocksResourcesClientconslocker2_claim_lockLockResourcesClientlocker2_map_claim_lockLocksResourcesClientlocker2_map_add_pendingnilResourcesClientnillocker2_promote_pendingLockClientcase0ClientLockrecord_extractLocklockpendingcase0ClientLockconsClientPendingsrecord_updatesLocklockconstupleexcltuplenilClientconstuplependingtuplenilPendingsnilcase0ClientLockMCRLFree0Locklocker2_remove_pendingLockClientrecord_updatesLocklockconstuplependingtuplenilsubtractrecord_extractLocklockpendingconsClientnilnillocker2_add_pendingLockResourcesClientcase1ClientResourcesLockmemberrecord_extractLocklockresourceResourcescase1ClientResourcesLocktruerecord_updatesLocklockconstuplependingtuplenilappendrecord_extractLocklockpendingconsClientnilnilcase1ClientResourcesLockfalseLocklocker2_release_lockLockClientcase2ClientLockgen_modtageqClientrecord_extractLocklockexclcase2ClientLocktruerecord_updatesLocklockconstupleexcllockexclnilcase4ClientLockMCRLFree1falselocker2_obtainablesnilClienttruelocker2_obtainablesconsLockLocksClientcase5ClientLocksLockmemberClientrecord_extractLocklockpendingcase5ClientLocksLocktrueandtlocker2_obtainableLockClientlocker2_obtainablesLocksClientcase5ClientLocksLockfalselocker2_obtainablesLocksClientlocker2_check_availableResourcenilfalselocker2_check_availableResourceconsLockLockscase6LocksLockResourceequalResourcerecord_extractLocklockresourcecase6LocksLockResourcetrueandtequalrecord_extractLocklockexclnilequalrecord_extractLocklockpendingnilcase6LocksLockResourcefalselocker2_check_availableResourceLockslocker2_check_availablesnilLockstruelocker2_check_availablesconsResourceResourcesLocksandtlocker2_check_availableResourceLockslocker2_check_availablesResourcesLockslocker2_adduniqnilListListappendconsHeadTailListconsHeadappendTailListsubtractListnilListsubtractListconsHeadTailsubtractdeleteHeadListTaildeleteEnilnildeleteEconsHeadTailcase8TailHeadEequalEHeadcase8TailHeadEtrueTailcase8TailHeadEfalseconsHeaddeleteETailgen_tagPidtuplePidtupleniltaggen_modtageqClient1Client2equalClient1Client2memberEnilfalsememberEconsHeadTailcase9TailHeadEequalEHeadcase9TailHeadEtruetruecase9TailHeadEfalsememberETaileqsemptyemptyTeqsemptystackE2S2FeqsstackE1S1emptyFeqsstackE1S1stackE2S2andeqtE1E2eqsS1S2pushsE1S1stackE1S1popsstackE1S1S1topsstackE1S1E1istopsE1emptyFistopsE1stackE2S1eqtE1E2eqcnocallsnocallsTeqcnocallscallsE2S2CS2FeqccallsE1S1CS1nocallsFeqccallsE1S1CS1callsE2S2CS2andeqtE1E2andeqsS1S2eqcCS1CS2pushE1E2nocallscallsE1stackE2emptynocallspushE1E2callsE3S1CS1push1E1E2E3S1CS1eqtE1E3push1E1E2E3S1CS1TcallsE3pushsE2S1CS1eqtpidN1pidN2eqtN1N2eqtconsH1T1consH2T2eqtT1T2eqtconsH1T1consH2T2eqtH1H2eqtconsH1T1consH2T2andeqtH1H2eqtT1T2eqttupleH1T1tupleH2T2eqtT1T2eqttupleH1T1tupleH2T2eqtH1H2eqttupleH1T1tupleH2T2andeqtH1H2eqtT1T2eqttuplenilH1tuplenilH2eqtH1H2elementintssN1tupleT1T2elementintsN1T2record_updatesRecordNameconstupleFieldtuplenilNewFFieldsrecord_updateRecordNameFieldNewFrecord_updatesRecordNameconstupleFieldtuplenilNewFFieldsrecord_updatesrecord_updateRecordNameFieldNewFNameFieldslocker2_map_promote_pendingconsLockLocksPendinglocker2_map_promote_pendingLocksPendinglocker2_map_promote_pendingconsLockLocksPendinglocker2_promote_pendingLockPendinglocker2_map_claim_lockconsLockLocksResourcesClientlocker2_map_claim_lockLocksResourcesClientlocker2_promote_pendingLockClientrecord_extractLocklockpendinglocker2_promote_pendingLockClientcase0ClientLockrecord_extractLocklockpendingcase0ClientLockconsClientPendingsrecord_updatesLocklockconstupleexcltuplenilClientconstuplependingtuplenilPendingsnillocker2_remove_pendingLockClientrecord_extractLocklockpendinglocker2_remove_pendingLockClientsubtractrecord_extractLocklockpendingconsClientnillocker2_remove_pendingLockClientrecord_updatesLocklockconstuplependingtuplenilsubtractrecord_extractLocklockpendingconsClientnilnillocker2_add_pendingLockResourcesClientrecord_extractLocklockresourcelocker2_add_pendingLockResourcesClientmemberrecord_extractLocklockresourceResourceslocker2_add_pendingLockResourcesClientcase1ClientResourcesLockmemberrecord_extractLocklockresourceResourcescase1ClientResourcesLocktruerecord_extractLocklockpendingcase1ClientResourcesLocktrueappendrecord_extractLocklockpendingconsClientnilcase1ClientResourcesLocktruerecord_updatesLocklockconstuplependingtuplenilappendrecord_extractLocklockpendingconsClientnilnillocker2_release_lockLockClientrecord_extractLocklockexcllocker2_release_lockLockClientgen_modtageqClientrecord_extractLocklockexcllocker2_release_lockLockClientcase2ClientLockgen_modtageqClientrecord_extractLocklockexclcase2ClientLocktruerecord_updatesLocklockconstupleexcllockexclnillocker2_obtainablesconsLockLocksClientrecord_extractLocklockpendinglocker2_obtainablesconsLockLocksClientmemberClientrecord_extractLocklockpendinglocker2_obtainablesconsLockLocksClientcase5ClientLocksLockmemberClientrecord_extractLocklockpendingcase5ClientLocksLocktruelocker2_obtainablesLocksClientcase5ClientLocksLockfalselocker2_obtainablesLocksClientlocker2_check_availableResourceconsLockLocksrecord_extractLocklockresourcelocker2_check_availableResourceconsLockLockscase6LocksLockResourceequalResourcerecord_extractLocklockresourcecase6LocksLockResourcetruerecord_extractLocklockpendingcase6LocksLockResourcetruerecord_extractLocklockexclcase6LocksLockResourcefalselocker2_check_availableResourceLockslocker2_check_availablesconsResourceResourcesLockslocker2_check_availablesResourcesLockslocker2_check_availablesconsResourceResourcesLockslocker2_check_availableResourceLocksappendconsHeadTailListappendTailListsubtractListconsHeadTaildeleteHeadListsubtractListconsHeadTailsubtractdeleteHeadListTaildeleteEconsHeadTailcase8TailHeadEequalEHeadcase8TailHeadEfalsedeleteETailmemberEconsHeadTailcase9TailHeadEequalEHeadcase9TailHeadEfalsememberETaileqsstackE1S1stackE2S2eqsS1S2eqsstackE1S1stackE2S2eqtE1E2eqsstackE1S1stackE2S2andeqtE1E2eqsS1S2istopsE1stackE2S1eqtE1E2eqccallsE1S1CS1callsE2S2CS2eqcCS1CS2eqccallsE1S1CS1callsE2S2CS2eqsS1S2eqccallsE1S1CS1callsE2S2CS2andeqsS1S2eqcCS1CS2eqccallsE1S1CS1callsE2S2CS2eqtE1E2eqccallsE1S1CS1callsE2S2CS2andeqtE1E2andeqsS1S2eqcCS1CS2pushE1E2callsE3S1CS1eqtE1E3pushE1E2callsE3S1CS1push1E1E2E3S1CS1eqtE1E3push1E1E2E3S1CS1TpushsE2S1trueelementintssN1tupleT1T2elementintsN1T2trueelement22locker2_map_promote_pendingconsLockLocksPendinglocker2_map_promote_pendingLocksPendingtruelocker2_map_promote_pending21locker2_map_promote_pendingconsLockLocksPendinglocker2_promote_pendingLockPendingfalselocker2_promote_pendingLockClientrecord_extractLocklockpendingfalselocker2_promote_pendingLockClientcase0ClientLockrecord_extractLocklockpendingfalselocker2_map_claim_lockconsLockLocksResourcesClientlocker2_map_claim_lockLocksResourcesClienttruelocker2_map_claim_lock31case0ClientLockconsClientPendingsrecord_updatesLocklockconstupleexcltuplenilClientconstuplependingtuplenilPendingsnilfalselocker2_remove_pendingLockClientrecord_extractLocklockpendingfalselocker2_remove_pendingLockClientrecord_updatesLocklockconstuplependingtuplenilsubtractrecord_extractLocklockpendingconsClientnilnilfalselocker2_remove_pendingLockClientsubtractrecord_extractLocklockpendingconsClientnilfalsesubtractListconsHeadTailsubtractdeleteHeadListTailtruesubtract22subtractListconsHeadTaildeleteHeadListfalselocker2_add_pendingLockResourcesClientrecord_extractLocklockresourcefalselocker2_add_pendingLockResourcesClientmemberrecord_extractLocklockresourceResourcesfalselocker2_add_pendingLockResourcesClientcase1ClientResourcesLockmemberrecord_extractLocklockresourceResourcesfalsecase1ClientResourcesLocktruerecord_extractLocklockpendingfalsecase1ClientResourcesLocktruerecord_updatesLocklockconstuplependingtuplenilappendrecord_extractLocklockpendingconsClientnilnilfalsecase1ClientResourcesLocktrueappendrecord_extractLocklockpendingconsClientnilfalseappendconsHeadTailListappendTailListtrueappend21locker2_release_lockLockClientrecord_extractLocklockexclfalselocker2_release_lockLockClientgen_modtageqClientrecord_extractLocklockexclfalselocker2_release_lockLockClientcase2ClientLockgen_modtageqClientrecord_extractLocklockexclfalsecase2ClientLocktruerecord_updatesLocklockconstupleexcllockexclnilfalserecord_updatesRecordNameconstupleFieldtuplenilNewFFieldsrecord_updatesrecord_updateRecordNameFieldNewFNameFieldstruerecord_updates33record_updatesRecordNameconstupleFieldtuplenilNewFFieldsrecord_updateRecordNameFieldNewFfalsecase5ClientLocksLocktruelocker2_obtainablesLocksClientlocker2_obtainablesconsLockLocksClientcase5ClientLocksLockmemberClientrecord_extractLocklockpendingcase5ClientLocksLockfalselocker2_obtainablesLocksClienttruelocker2_obtainables21case542case5ClientLocksLocktruelocker2_obtainablesLocksClientcase5ClientLocksLockfalselocker2_obtainablesLocksClientcase5ClientLocksLockfalselocker2_obtainablesLocksClientfalsecase5ClientLocksLocktruelocker2_obtainablesLocksClientfalselocker2_obtainablesconsLockLocksClientmemberClientrecord_extractLocklockpendingfalselocker2_obtainablesconsLockLocksClientrecord_extractLocklockpendingfalselocker2_check_availablesconsResourceResourcesLockslocker2_check_availablesResourcesLockstruelocker2_check_availables21locker2_check_availablesconsResourceResourcesLockslocker2_check_availableResourceLocksfalselocker2_check_availableResourceconsLockLockscase6LocksLockResourceequalResourcerecord_extractLocklockresourcecase6LocksLockResourcefalselocker2_check_availableResourceLockstruelocker2_check_available22case641case6LocksLockResourcefalselocker2_check_availableResourceLockscase6LocksLockResourcefalselocker2_check_availableResourceLocksfalsecase6LocksLockResourcetruerecord_extractLocklockexclfalsecase6LocksLockResourcetruerecord_extractLocklockpendingfalselocker2_check_availableResourceconsLockLocksrecord_extractLocklockresourcefalsecase8TailHeadEfalsedeleteETaildeleteEconsHeadTailcase8TailHeadEequalEHeadtruedelete22case841case8TailHeadEfalsedeleteETailcase8TailHeadEfalsedeleteETailfalsecase9TailHeadEfalsememberETailmemberEconsHeadTailcase9TailHeadEequalEHeadtruemember22case941case9TailHeadEfalsememberETailcase9TailHeadEfalsememberETailfalseistopsE1stackE2S1eqtE1E2falseeqccallsE1S1CS1callsE2S2CS2eqcCS1CS2trueeqc22eqccallsE1S1CS1callsE2S2CS2andeqtE1E2andeqsS1S2eqcCS1CS2falseeqccallsE1S1CS1callsE2S2CS2eqtE1E2falseeqccallsE1S1CS1callsE2S2CS2andeqsS1S2eqcCS1CS2falseeqccallsE1S1CS1callsE2S2CS2eqsS1S2falseeqsstackE1S1stackE2S2eqsS1S2trueeqs22eqsstackE1S1stackE2S2andeqtE1E2eqsS1S2falseeqsstackE1S1stackE2S2eqtE1E2falsepushE1E2callsE3S1CS1eqtE1E3falseeqtpidN1pidN2eqtN1N2eqtconsH1T1consH2T2eqtT1T2eqtconsH1T1consH2T2eqtH1H2eqttupleH1T1tupleH2T2eqtT1T2eqttupleH1T1tupleH2T2eqtH1H2eqttuplenilH1tuplenilH2eqtH1H2trueeqt22eqttupleH1T1tupleH2T2andeqtH1H2eqtT1T2falseeqtconsH1T1consH2T2andeqtH1H2eqtT1T2falsepushE1E2callsE3S1CS1push1E1E2E3S1CS1eqtE1E3falsepush1E1E2E3S1CS1TpushsE2S1false