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_modtageqClient1Client2equalClient1Client2memberEnilfalsememberEconsHeadTailcase9TailHeadEequalEHeadcase9TailHeadEtruetruecase9TailHeadEfalsememberETaileqsemptyemptyTeqsemptystackE2S2FeqsstackE1S1emptyFeqsstackE1S1stackE2S2andeqtE1E2eqsS1S2pushsE1S1stackE1S1popsstackE1S1S1topsstackE1S1E1istopsE1emptyFistopsE1stackE2S1eqtE1E2eqcnocallsnocallsTeqcnocallscallsE2S2CS2FeqccallsE1S1CS1nocallsFeqccallsE1S1CS1callsE2S2CS2andeqtE1E2andeqsS1S2eqcCS1CS2pushE1E2nocallscallsE1stackE2emptynocallspushE1E2callsE3S1CS1push1E1E2E3S1CS1eqtE1E3push1E1E2E3S1CS1TcallsE3pushsE2S1CS1eqtpidN1pidN2eqtN1N2eqtconsH1T1consH2T2andeqtH1H2eqtT1T2eqtconsH1T1consH2T2eqtH1H2eqtconsH1T1consH2T2eqtT1T2eqttupleH1T1tupleH2T2andeqtH1H2eqtT1T2eqttupleH1T1tupleH2T2eqtH1H2eqttupleH1T1tupleH2T2eqtT1T2eqttuplenilH1tuplenilH2eqtH1H2elementintssN1tupleT1T2elementintsN1T2record_updatesRecordNameconstupleFieldtuplenilNewFFieldsrecord_updatesrecord_updateRecordNameFieldNewFNameFieldsrecord_updatesRecordNameconstupleFieldtuplenilNewFFieldsrecord_updateRecordNameFieldNewFlocker2_map_promote_pendingconsLockLocksPendinglocker2_promote_pendingLockPendinglocker2_map_promote_pendingconsLockLocksPendinglocker2_map_promote_pendingLocksPendinglocker2_map_claim_lockconsLockLocksResourcesClientlocker2_map_claim_lockLocksResourcesClientlocker2_promote_pendingLockClientcase0ClientLockrecord_extractLocklockpendinglocker2_promote_pendingLockClientrecord_extractLocklockpendingcase0ClientLockconsClientPendingsrecord_updatesLocklockconstupleexcltuplenilClientconstuplependingtuplenilPendingsnillocker2_remove_pendingLockClientrecord_updatesLocklockconstuplependingtuplenilsubtractrecord_extractLocklockpendingconsClientnilnillocker2_remove_pendingLockClientsubtractrecord_extractLocklockpendingconsClientnillocker2_remove_pendingLockClientrecord_extractLocklockpendinglocker2_add_pendingLockResourcesClientcase1ClientResourcesLockmemberrecord_extractLocklockresourceResourceslocker2_add_pendingLockResourcesClientmemberrecord_extractLocklockresourceResourceslocker2_add_pendingLockResourcesClientrecord_extractLocklockresourcecase1ClientResourcesLocktruerecord_updatesLocklockconstuplependingtuplenilappendrecord_extractLocklockpendingconsClientnilnilcase1ClientResourcesLocktrueappendrecord_extractLocklockpendingconsClientnilcase1ClientResourcesLocktruerecord_extractLocklockpendinglocker2_release_lockLockClientcase2ClientLockgen_modtageqClientrecord_extractLocklockexcllocker2_release_lockLockClientgen_modtageqClientrecord_extractLocklockexcllocker2_release_lockLockClientrecord_extractLocklockexclcase2ClientLocktruerecord_updatesLocklockconstupleexcllockexclnillocker2_obtainablesconsLockLocksClientcase5ClientLocksLockmemberClientrecord_extractLocklockpendinglocker2_obtainablesconsLockLocksClientmemberClientrecord_extractLocklockpendinglocker2_obtainablesconsLockLocksClientrecord_extractLocklockpendingcase5ClientLocksLocktruelocker2_obtainablesLocksClientcase5ClientLocksLockfalselocker2_obtainablesLocksClientlocker2_check_availableResourceconsLockLockscase6LocksLockResourceequalResourcerecord_extractLocklockresourcelocker2_check_availableResourceconsLockLocksrecord_extractLocklockresourcecase6LocksLockResourcetruerecord_extractLocklockexclcase6LocksLockResourcetruerecord_extractLocklockpendingcase6LocksLockResourcefalselocker2_check_availableResourceLockslocker2_check_availablesconsResourceResourcesLockslocker2_check_availableResourceLockslocker2_check_availablesconsResourceResourcesLockslocker2_check_availablesResourcesLocksappendconsHeadTailListappendTailListsubtractListconsHeadTailsubtractdeleteHeadListTailsubtractListconsHeadTaildeleteHeadListdeleteEconsHeadTailcase8TailHeadEequalEHeadcase8TailHeadEfalsedeleteETailmemberEconsHeadTailcase9TailHeadEequalEHeadcase9TailHeadEfalsememberETaileqsstackE1S1stackE2S2andeqtE1E2eqsS1S2eqsstackE1S1stackE2S2eqtE1E2eqsstackE1S1stackE2S2eqsS1S2istopsE1stackE2S1eqtE1E2eqccallsE1S1CS1callsE2S2CS2andeqtE1E2andeqsS1S2eqcCS1CS2eqccallsE1S1CS1callsE2S2CS2eqtE1E2eqccallsE1S1CS1callsE2S2CS2andeqsS1S2eqcCS1CS2eqccallsE1S1CS1callsE2S2CS2eqsS1S2eqccallsE1S1CS1callsE2S2CS2eqcCS1CS2pushE1E2callsE3S1CS1push1E1E2E3S1CS1eqtE1E3pushE1E2callsE3S1CS1eqtE1E3push1E1E2E3S1CS1TpushsE2S1trueeqccallsE1S1CS1callsE2S2CS2eqcCS1CS2true2410122333345253541eqc212calls3223or20T00F00and24142imp2212not10if31213eq20eqt20nil00undefined02pid10int171cons212122tuple21112tuplenil121a00excl01false00lock00locker00mcrlrecord00ok00pending00release00request00resource00tag01true00element27122s171000record_new14record_extract311record_update41112344record_updates31113locker2_map_promote_pending251locker2_promote_pending2151locker2_map_claim_lock311locker2_claim_lock311locker2_map_add_pending34case0311243locker2_remove_pending245172subtract211locker2_add_pending34714273case144413263member20append211locker2_release_lock247142case2333142gen_modtageq261excllock00case437locker2_obtainables211case5411223andt20locker2_obtainable20locker2_check_available20case640equal20locker2_check_availables272locker2_adduniq212delete212case8412122gen_tag1461case940eqs20empty00stack21112pushs22112pops111tops111istops2462eqc20nocalls00push35417223push162314245eqccallsE1S1CS1callsE2S2CS2eqsS1S2false2413233537eqsstackE1S1stackE2S2eqsS1S2true28213132501eqs242stack214142or21T00F00and22142imp212not10if31213eq25eqt20nil00undefined00pid10int10cons22142tuple24112tuplenil121a00excl00false00lock00locker00mcrlrecord00ok00pending00release00request00resource00tag00true00element222s10000record_new14record_extract311record_update4117334record_updates31113locker2_map_promote_pending261locker2_promote_pending261locker2_map_claim_lock30locker2_claim_lock30locker2_map_add_pending34case031243locker2_remove_pending2461subtract211locker2_add_pending37614273case1473253member20append211locker2_release_lock277142case2373142gen_modtageq221excllock00case437locker2_obtainables20case540andt20locker2_obtainable20locker2_check_available242case6471equal20locker2_check_availables20locker2_adduniq212delete212case844122gen_tag1741case940eqs20empty00pushs217142pops111tops111istops22142eqc20nocalls00calls30push3112push160eqsstackE1S1stackE2S2eqtE1E2false211213335istopsE1stackE2S1eqtE1E2false619293048eqccallsE1S1CS1callsE2S2CS2eqtE1E2false91931pushE1E2callsE3S1CS1eqtE1E3false101820303543eqtconsH1T1consH2T2eqtH1H2eqtpidN1pidN2eqtN1N2eqtconsH1T1consH2T2eqtT1T2eqttupleH1T1tupleH2T2eqtH1H2eqttupleH1T1tupleH2T2eqtT1T2eqttuplenilH1tuplenilH2eqtH1H2true1017291eqt21122cons221112pid1321tuple21112tuplenil121or20T00F00and22122imp212not12if31213eq20eqt20nil01undefined01int131a00excl04false00lock00locker00mcrlrecord00ok00pending00release00request00resource00tag00true01element26122s131000record_new16record_extract311record_update4111324record_updates311113locker2_map_promote_pending251locker2_promote_pending2251locker2_map_claim_lock321locker2_claim_lock3211locker2_map_add_pending31case0321243locker2_remove_pending244172subtract211locker2_add_pending34512243case14441125314member20append221locker2_release_lock264142case236312223gen_modtageq20excllock00case432locker2_obtainables2271case54272andt20locker2_obtainable20locker2_check_available2312case64411equal20locker2_check_availables21locker2_adduniq212delete212case8421112gen_tag161case9424eqs20empty00stack22112pushs24122pops111tops111istops244112eqc20nocalls00calls30push3131push16131eqttupleH1T1tupleH2T2eqtH1H2eqttupleH1T1tupleH2T2eqtT1T2eqttuplenilH1tuplenilH2eqtH1H21eqt242tuple21112tuplenil1111or22T00F00and24142imp212not14if31213eq21eqt20nil00undefined00pid10int10cons211122a00excl00false02lock00locker00mcrlrecord06ok00pending00release00request00resource00tag00true00element242s10000record_new17record_extract311record_update44111314record_updates31123locker2_map_promote_pending271locker2_promote_pending2671locker2_map_claim_lock311locker2_claim_lock311locker2_map_add_pending30case0361263locker2_remove_pending2441subtract211locker2_add_pending37414243case144413233member23append211locker2_release_lock264142case2353142gen_modtageq242excllock00case435locker2_obtainables20case540andt20locker2_obtainable20locker2_check_available2422case6434114equal20locker2_check_availables243112locker2_adduniq212delete212case8412112gen_tag1221case94344eqs20empty00stack24122pushs245142pops111tops111istops20eqc20nocalls00calls30push3442push1642eqttupleH1T1tupleH2T2eqtH1H2eqttupleH1T1tupleH2T2eqtT1T21eqt242tuple212112or20T00F00and24122imp2212not10if31213eq20eqt20nil00undefined00pid10int171cons221112tuplenil111a00excl00false04lock00locker00mcrlrecord00ok00pending00release00request00resource04tag00true00element27122s171000record_new14record_extract31123record_update4114324record_updates311123locker2_map_promote_pending261locker2_promote_pending2761locker2_map_claim_lock341locker2_claim_lock3241locker2_map_add_pending30case0331253locker2_remove_pending274172subtract211locker2_add_pending37714243case1473263member25append221locker2_release_lock274162case2376122gen_modtageq221excllock00case436locker2_obtainables21case541andt21locker2_obtainable20locker2_check_available2412case6441174equal20locker2_check_availables21locker2_adduniq212delete212case8421112gen_tag1451case9424eqs20empty00stack24112pushs246122pops111tops111istops24122eqc20nocalls00calls321push3215243push16211233eqtconsH1T1consH2T2andeqtH1H2eqtT1T2false1117383940eqttupleH1T1tupleH2T2andeqtH1H2eqtT1T2false111841elementintssN1tupleT1T2elementintsN1T2true1323241element221int121s1421tuple24112or24T00F00and21142imp2312not17if31213eq21eqt20nil00undefined00pid10cons21142tuplenil111a00excl00false04lock00locker00mcrlrecord00ok00pending00release00request00resource00tag00true00element222000record_new17record_extract311record_update4117344record_updates31143locker2_map_promote_pending271locker2_promote_pending271locker2_map_claim_lock30locker2_claim_lock30locker2_map_add_pending32case032243locker2_remove_pending2761subtract211locker2_add_pending37714273case14713263member26append211locker2_release_lock277142case2373142gen_modtageq2241excllock00case437locker2_obtainables241case5442andt20locker2_obtainable20locker2_check_available2471case6427324equal20locker2_check_availables20locker2_adduniq212delete212case844112gen_tag171case9424eqs20empty00stack21112pushs241122pops111tops111istops24eqc20nocalls00calls313push323push1615locker2_map_promote_pendingconsLockLocksPendinglocker2_map_promote_pendingLocksPendingtrue1222231locker2_map_promote_pending221cons211142or20T00F00and22142imp2212not10if31213eq24eqt20nil00undefined00pid10int10tuple24112tuplenil111a00excl00false00lock00locker00mcrlrecord00ok00pending00release00request00resource00tag02true00element222s10000record_new14record_extract341record_update411114record_updates31113locker2_map_promote_pending261locker2_promote_pending2461locker2_map_claim_lock321locker2_claim_lock30locker2_map_add_pending30case0342213locker2_remove_pending266172subtract21142locker2_add_pending35714273case144713263member24append211locker2_release_lock257142case2323142gen_modtageq2342excllock00case434locker2_obtainables2621case54672andt21locker2_obtainable20locker2_check_available21case641equal212locker2_check_availables21142locker2_adduniq212delete212case8414112gen_tag1251case944eqs20empty00stack22122pushs224142pops111tops111istops2641eqc20nocalls00calls30push34142push1642locker2_map_promote_pendingconsLockLocksPendinglocker2_promote_pendingLockPendingfalse112122locker2_promote_pendingLockClientcase0ClientLockrecord_extractLocklockpendingfalse102021case0ClientLockconsClientPendingsrecord_updatesLocklockconstupleexcltuplenilClientconstuplependingtuplenilPendingsnilfalse1022locker2_remove_pendingLockClientrecord_updatesLocklockconstuplependingtuplenilsubtractrecord_extractLocklockpendingconsClientnilnilfalse921locker2_add_pendingLockResourcesClientcase1ClientResourcesLockmemberrecord_extractLocklockresourceResourcesfalse820case1ClientResourcesLocktruerecord_updatesLocklockconstuplependingtuplenilappendrecord_extractLocklockpendingconsClientnilnilfalse719locker2_release_lockLockClientcase2ClientLockgen_modtageqClientrecord_extractLocklockexclfalse7282930case2ClientLocktruerecord_updatesLocklockconstupleexcllockexclnilfalse6272829record_updatesRecordNameconstupleFieldtuplenilNewFFieldsrecord_updatesrecord_updateRecordNameFieldNewFNameFieldstrue7301record_updates313cons211112tuple24112tuplenil111record_update41114or20T00F00and22112imp2212not10if31213eq20eqt20nil00undefined00pid10int131a00excl00false02lock00locker00mcrlrecord00ok00pending00release00request00resource03tag00true00element21122s111000record_new17record_extract32113record_updates31113locker2_map_promote_pending241locker2_promote_pending2241locker2_map_claim_lock321locker2_claim_lock3121locker2_map_add_pending32case0311213locker2_remove_pending273162subtract21152locker2_add_pending37614243case147413253member22append2621locker2_release_lock252142case2323112gen_modtageq221excllock00case432locker2_obtainables20case540andt20locker2_obtainable20locker2_check_available251112case64411121324equal20locker2_check_availables242locker2_adduniq212delete212case84111224gen_tag141case9424eqs20empty00stack22112pushs214142pops111tops111istops20eqc241nocalls00calls343push3612213push16112245record_updatesRecordNameconstupleFieldtuplenilNewFFieldsrecord_updateRecordNameFieldNewFfalse9232430locker2_map_claim_lockconsLockLocksResourcesClientlocker2_map_claim_lockLocksResourcesClienttrue82223291locker2_map_claim_lock361cons222142or22T00F00and24112imp212not16if31213eq20eqt20nil00undefined03pid10int171tuple21112tuplenil111a00excl00false00lock00locker00mcrlrecord00ok00pending00release00request00resource01tag00true00element26142s171000record_new14record_extract31123record_update41114record_updates31113locker2_map_promote_pending271locker2_promote_pending2171locker2_map_claim_lock341locker2_claim_lock30locker2_map_add_pending30case032253locker2_remove_pending254172subtract211locker2_add_pending36713273case145713263member222append221locker2_release_lock265142case2351142gen_modtageq20excllock00case437locker2_obtainables233132case544314253andt221locker2_obtainable2111locker2_check_available20case640equal20locker2_check_availables2122locker2_adduniq212delete212case8424122gen_tag1341case9414112eqs20empty00stack211112pushs264112pops111tops111istops2261eqc222nocalls00calls343push34143push1665locker2_promote_pendingLockClientrecord_extractLocklockpendingfalse1011locker2_remove_pendingLockClientsubtractrecord_extractLocklockpendingconsClientnilfalse12locker2_remove_pendingLockClientrecord_extractLocklockpendingfalse2223locker2_add_pendingLockResourcesClientmemberrecord_extractLocklockresourceResourcesfalse23locker2_add_pendingLockResourcesClientrecord_extractLocklockresourcefalse23case1ClientResourcesLocktrueappendrecord_extractLocklockpendingconsClientnilfalse22case1ClientResourcesLocktruerecord_extractLocklockpendingfalse22locker2_release_lockLockClientgen_modtageqClientrecord_extractLocklockexclfalse21locker2_release_lockLockClientrecord_extractLocklockexclfalse20case5ClientLocksLocktruelocker2_obtainablesLocksClientfalse23case5ClientLocksLockfalselocker2_obtainablesLocksClientfalselocker2_obtainablesconsLockLocksClientcase5ClientLocksLockmemberClientrecord_extractLocklockpendingfalselocker2_obtainablesconsLockLocksClientmemberClientrecord_extractLocklockpendingfalselocker2_obtainablesconsLockLocksClientrecord_extractLocklockpendingfalsecase6LocksLockResourcefalselocker2_check_availableResourceLocksfalselocker2_check_availablesconsResourceResourcesLockslocker2_check_availablesResourcesLockstrue1locker2_check_availables221cons211142or20T00F00and22142imp2212not10if31213eq24eqt20nil00undefined00pid10int10tuple24112tuplenil111a00excl00false00lock00locker00mcrlrecord00ok00pending00release00request00resource00tag02true00element222s10000record_new14record_extract341record_update411114record_updates31113locker2_map_promote_pending261locker2_promote_pending2461locker2_map_claim_lock321locker2_claim_lock30locker2_map_add_pending30case0342213locker2_remove_pending266172subtract21142locker2_add_pending35714273case144713263member24append211locker2_release_lock257142case2323142gen_modtageq2342excllock00case434locker2_obtainables2621case54672andt21locker2_obtainable20locker2_check_available21case641equal212locker2_check_availables21142locker2_adduniq212delete212case8414112gen_tag1251case944eqs20empty00stack22122pushs224142pops111tops111istops2641eqc20nocalls00calls30push34142push1642locker2_check_availablesconsResourceResourcesLockslocker2_check_availableResourceLocksfalselocker2_check_availableResourceconsLockLockscase6LocksLockResourceequalResourcerecord_extractLocklockresourcefalselocker2_check_availableResourceconsLockLocksrecord_extractLocklockresourcefalsecase6LocksLockResourcetruerecord_extractLocklockexclfalsecase6LocksLockResourcetruerecord_extractLocklockpendingfalseappendconsHeadTailListappendTailListtrue1append221cons211142or20T00F00and22142imp2212not10if31213eq24eqt20nil00undefined00pid10int10tuple24112tuplenil111a00excl00false00lock00locker00mcrlrecord00ok00pending00release00request00resource00tag02true00element222s10000record_new14record_extract341record_update411114record_updates31113locker2_map_promote_pending261locker2_promote_pending2461locker2_map_claim_lock321locker2_claim_lock30locker2_map_add_pending30case0342213locker2_remove_pending266172subtract21142locker2_add_pending35714273case144713263member24append211locker2_release_lock257142case2323142gen_modtageq2342excllock00case434locker2_obtainables2621case54672andt21locker2_obtainable20locker2_check_available21case641equal212locker2_check_availables21142locker2_adduniq212delete212case8414112gen_tag1251case944eqs20empty00stack22122pushs224142pops111tops111istops2641eqc20nocalls00calls30push34142push1642subtractListconsHeadTailsubtractdeleteHeadListTailtrue1subtract212cons212142delete212or20T00F00and22122imp2512not14if31213eq20eqt20nil00undefined01pid10int111tuple22112tuplenil121a00excl00false00lock00locker00mcrlrecord00ok00pending00release00request00resource00tag01true01element21122s131000record_new15record_extract311record_update41114344record_updates31113locker2_map_promote_pending261locker2_promote_pending2151locker2_map_claim_lock321locker2_claim_lock30locker2_map_add_pending31case0311243locker2_remove_pending2451subtract211locker2_add_pending35614273case144413253member24append211locker2_release_lock241142case2313112gen_modtageq22142excllock00case437locker2_obtainables2141case54272andt20locker2_obtainable20locker2_check_available2242case64471equal20locker2_check_availables2122locker2_adduniq212case8414122gen_tag1531case944eqs20empty00stack21112pushs21122pops111tops111istops264122eqc20nocalls00calls3322push34415233push164115264subtractListconsHeadTaildeleteHeadListfalsecase8TailHeadEfalsedeleteETailfalsedeleteEconsHeadTailcase8TailHeadEequalEHeadfalsecase9TailHeadEfalsememberETailfalsememberEconsHeadTailcase9TailHeadEequalEHeadfalseeqsstackE1S1stackE2S2andeqtE1E2eqsS1S2falseeqccallsE1S1CS1callsE2S2CS2andeqtE1E2andeqsS1S2eqcCS1CS2falseeqccallsE1S1CS1callsE2S2CS2andeqsS1S2eqcCS1CS2falsepushE1E2callsE3S1CS1push1E1E2E3S1CS1eqtE1E3falsepush1E1E2E3S1CS1TpushsE2S1false