// stateful-teal-auction-demo/sovauc_approve.teal
digraph {
rankdir=LR
"node0" [label="Start", color=red]
"node534" [label="Region(0)", color=red]
"node0" -> "node534" [style=dashed]
"node1067" [label="txn.ApplicationID: uint64", shape=diamond]
"node1600" [label="0: uint64", shape=rectangle]
node2133 [label="==", shape=circle]
"node1600" -> "node2133" [label="rhs"]
"node1067" -> "node2133" [label="lhs"]
"node2666" [label="Switch", color=red]
"node2133" -> "node2666" [label="condition"]
"node534" -> "node2666" [style=dashed]
"node989" [label="Region(cond1)", color=red]
"node2666" -> "node989" [label="non-zero", style=dashed]
"node6833" -> "node989" [label="zero", style=dashed]
"node1522" [label="base64 YXg=: []byte", shape=rectangle]
"node2055" [label="txn.Sender: []byte", shape=diamond]
"node2588" [label="Store Global", color=red]
"node1522" -> "node2588" [label="key"]
"node2055" -> "node2588" [label="value"]
"node989" -> "node2588" [style=dashed]
"node3121" [label="base64 c3g=: []byte", shape=rectangle]
"node3654" [label="txn.ApplicationArgs[0]: []byte", shape=diamond]
"node4187" [label="Store Global", color=red]
"node3121" -> "node4187" [label="key"]
"node3654" -> "node4187" [label="value"]
"node2588" -> "node4187" [style=dashed]
"node4720" [label="base64 ZXM=: []byte", shape=rectangle]
"node5253" [label="\"Program\": []byte", shape=rectangle]
"node5786" [label="TMPL_EPREFIX: []byte", shape=rectangle]
node6319 [label="Concat", shape=circle]
"node5786" -> "node6319" [label="rhs"]
"node5253" -> "node6319" [label="lhs"]
"node6852" [label="global.CurrentApplicationID: any", shape=diamond]
"node7385" [label="As []byte"]
"node6852" -> "node7385" [label="value"]
node7918 [label="Concat", shape=circle]
"node7385" -> "node7918" [label="rhs"]
"node6319" -> "node7918" [label="lhs"]
"node8451" [label="txn.ApplicationArgs[11]: []byte", shape=diamond]
node8984 [label="Concat", shape=circle]
"node8451" -> "node8984" [label="rhs"]
"node7918" -> "node8984" [label="lhs"]
node9517 [label="Hash sha512_256"]
"node8984" -> "node9517" [label="value"]
"node10050" [label="Store Global", color=red]
"node4720" -> "node10050" [label="key"]
"node9517" -> "node10050" [label="value"]
"node4187" -> "node10050" [style=dashed]
"node10583" [label="base64 YiQ=: []byte", shape=rectangle]
"node11116" [label="txn.ApplicationArgs[1]: []byte", shape=diamond]
"node11649" [label="As uint64"]
"node11116" -> "node11649" [label="value"]
"node12182" [label="Store Global", color=red]
"node10583" -> "node12182" [label="key"]
"node11649" -> "node12182" [label="value"]
"node10050" -> "node12182" [style=dashed]
"node12715" [label="base64 cyQ=: []byte", shape=rectangle]
"node13248" [label="txn.ApplicationArgs[2]: []byte", shape=diamond]
"node13781" [label="As uint64"]
"node13248" -> "node13781" [label="value"]
"node14314" [label="Store Global", color=red]
"node12715" -> "node14314" [label="key"]
"node13781" -> "node14314" [label="value"]
"node12182" -> "node14314" [style=dashed]
"node14847" [label="base64 YWM=: []byte", shape=rectangle]
"node15380" [label="txn.ApplicationArgs[3]: []byte", shape=diamond]
"node15913" [label="As uint64"]
"node15380" -> "node15913" [label="value"]
"node16446" [label="Store Global", color=red]
"node14847" -> "node16446" [label="key"]
"node15913" -> "node16446" [label="value"]
"node14314" -> "node16446" [style=dashed]
"node16979" [label="base64 bnQ=: []byte", shape=rectangle]
"node17512" [label="txn.ApplicationArgs[4]: []byte", shape=diamond]
"node18045" [label="As uint64"]
"node17512" -> "node18045" [label="value"]
"node18578" [label="Store Global", color=red]
"node16979" -> "node18578" [label="key"]
"node18045" -> "node18578" [label="value"]
"node16446" -> "node18578" [style=dashed]
"node19111" [label="base64 c3A=: []byte", shape=rectangle]
"node19644" [label="txn.ApplicationArgs[5]: []byte", shape=diamond]
"node20177" [label="As uint64"]
"node19644" -> "node20177" [label="value"]
"node20710" [label="Store Global", color=red]
"node19111" -> "node20710" [label="key"]
"node20177" -> "node20710" [label="value"]
"node18578" -> "node20710" [style=dashed]
"node21243" [label="base64 cnM=: []byte", shape=rectangle]
"node21776" [label="txn.ApplicationArgs[6]: []byte", shape=diamond]
"node22309" [label="As uint64"]
"node21776" -> "node22309" [label="value"]
"node22842" [label="Store Global", color=red]
"node21243" -> "node22842" [label="key"]
"node22309" -> "node22842" [label="value"]
"node20710" -> "node22842" [style=dashed]
"node23375" [label="base64 ZnM=: []byte", shape=rectangle]
"node23908" [label="txn.ApplicationArgs[7]: []byte", shape=diamond]
"node24441" [label="As uint64"]
"node23908" -> "node24441" [label="value"]
"node24974" [label="Store Global", color=red]
"node23375" -> "node24974" [label="key"]
"node24441" -> "node24974" [label="value"]
"node22842" -> "node24974" [style=dashed]
"node25507" [label="base64 bGs=: []byte", shape=rectangle]
"node26040" [label="txn.ApplicationArgs[8]: []byte", shape=diamond]
"node26573" [label="As uint64"]
"node26040" -> "node26573" [label="value"]
"node27106" [label="Store Global", color=red]
"node25507" -> "node27106" [label="key"]
"node26573" -> "node27106" [label="value"]
"node24974" -> "node27106" [style=dashed]
"node27639" [label="base64 bXM=: []byte", shape=rectangle]
"node28172" [label="txn.ApplicationArgs[9]: []byte", shape=diamond]
"node28705" [label="As uint64"]
"node28172" -> "node28705" [label="value"]
"node29238" [label="Store Global", color=red]
"node27639" -> "node29238" [label="key"]
"node28705" -> "node29238" [label="value"]
"node27106" -> "node29238" [style=dashed]
"node29771" [label="base64 ZHI=: []byte", shape=rectangle]
"node30304" [label="txn.ApplicationArgs[10]: []byte", shape=diamond]
"node30837" [label="As uint64"]
"node30304" -> "node30837" [label="value"]
"node31370" [label="Store Global", color=red]
"node29771" -> "node31370" [label="key"]
"node30837" -> "node31370" [label="value"]
"node29238" -> "node31370" [style=dashed]
node31903 [label="Hash sha512_256"]
"node8451" -> "node31903" [label="value"]
"node32436" [label="TMPL_ESUFFIXH: []byte", shape=rectangle]
node32969 [label="==", shape=circle]
"node32436" -> "node32969" [label="rhs"]
"node31903" -> "node32969" [label="lhs"]
node33502 [label="==", shape=circle]
"node1600" -> "node33502" [label="rhs"]
"node1067" -> "node33502" [label="lhs"]
node34035 [label="&&", shape=circle]
"node33502" -> "node34035" [label="rhs"]
"node32969" -> "node34035" [label="lhs"]
"node34568" [label="txn.NumAppArgs: uint64", shape=diamond]
"node35101" [label="12: uint64", shape=rectangle]
node35634 [label="==", shape=circle]
"node35101" -> "node35634" [label="rhs"]
"node34568" -> "node35634" [label="lhs"]
node36167 [label="&&", shape=circle]
"node35634" -> "node36167" [label="rhs"]
"node34035" -> "node36167" [label="lhs"]
"node36700" [label="txn.NumAccounts: uint64", shape=diamond]
node37233 [label="==", shape=circle]
"node1600" -> "node37233" [label="rhs"]
"node36700" -> "node37233" [label="lhs"]
node37766 [label="&&", shape=circle]
"node37233" -> "node37766" [label="rhs"]
"node36167" -> "node37766" [label="lhs"]
"node38299" [label="txn.OnCompletion: uint64", shape=diamond]
node38832 [label="==", shape=circle]
"node1600" -> "node38832" [label="rhs"]
"node38299" -> "node38832" [label="lhs"]
node39365 [label="&&", shape=circle]
"node38832" -> "node39365" [label="rhs"]
"node37766" -> "node39365" [label="lhs"]
"node1066" [label="Region(cond_end0)", color=red]
"node31370" -> "node1066" [style=dashed]
"node6833" -> "node1066" [label="non-zero", style=dashed]
"node1501" -> "node1066" [label="non-zero", style=dashed]
"node-1" [label="ϕ", shape=circle]
"node-99" -> "node-1" [label="from cond_end4"]
"node6300" -> "node-1" [label="from cond2"]
"node39365" -> "node-1" [label="from cond1"]
"node1066" -> "node-1" [style=dashed]
"node1599" [label="return", color=red]
"node-1" -> "node1599" [label="value"]
"node1066" -> "node1599" [style=dashed]
"node538" [label="Region(4)", color=red]
"node2666" -> "node538" [label="zero", style=dashed]
"node1071" [label="1: uint64", shape=rectangle]
node1604 [label="==", shape=circle]
"node1071" -> "node1604" [label="rhs"]
"node38299" -> "node1604" [label="lhs"]
"node2137" [label="5: uint64", shape=rectangle]
node2670 [label="==", shape=circle]
"node2137" -> "node2670" [label="rhs"]
"node38299" -> "node2670" [label="lhs"]
node3203 [label="||", shape=circle]
"node2670" -> "node3203" [label="rhs"]
"node1604" -> "node3203" [label="lhs"]
"node3736" [label="Switch", color=red]
"node3203" -> "node3736" [label="condition"]
"node538" -> "node3736" [style=dashed]
"node970" [label="Region(cond2)", color=red]
"node3736" -> "node970" [label="non-zero", style=dashed]
"node1501" -> "node970" [label="zero", style=dashed]
node1503 [label="==", shape=circle]
"node1600" -> "node1503" [label="rhs"]
"node34568" -> "node1503" [label="lhs"]
node2036 [label="==", shape=circle]
"node1600" -> "node2036" [label="rhs"]
"node36700" -> "node2036" [label="lhs"]
node2569 [label="&&", shape=circle]
"node2036" -> "node2569" [label="rhs"]
"node1503" -> "node2569" [label="lhs"]
node3102 [label="==", shape=circle]
"node1071" -> "node3102" [label="rhs"]
"node38299" -> "node3102" [label="lhs"]
"node3635" [label="base64 dGk=: []byte", shape=rectangle]
"node4168" [label="Load Global", shape=diamond]
"node3635" -> "node4168" [label="key"]
"node970" -> "node4168" [style=dashed]
"node4701" [label="Load Global", shape=diamond]
"node16979" -> "node4701" [label="key"]
"node970" -> "node4701" [style=dashed]
node5234 [label="==", shape=circle]
"node4701" -> "node5234" [label="rhs"]
"node4168" -> "node5234" [label="lhs"]
node5767 [label="||", shape=circle]
"node5234" -> "node5767" [label="rhs"]
"node3102" -> "node5767" [label="lhs"]
node6300 [label="&&", shape=circle]
"node5767" -> "node6300" [label="rhs"]
"node2569" -> "node6300" [label="lhs"]
"node6833" [label="Switch", color=red]
"node1071" -> "node6833" [label="condition"]
"node970" -> "node6833" [style=dashed]
"node546" [label="Region(12)", color=red]
"node3736" -> "node546" [label="zero", style=dashed]
node1079 [label="==", shape=circle]
"node1600" -> "node1079" [label="rhs"]
"node38299" -> "node1079" [label="lhs"]
"node1612" [label="Switch", color=red]
"node1079" -> "node1612" [label="condition"]
"node546" -> "node1612" [style=dashed]
"node551" [label="Region(assert3)", color=red]
"node1612" -> "node551" [label="non-zero", style=dashed]
node1084 [label="==", shape=circle]
"node1071" -> "node1084" [label="rhs"]
"node36700" -> "node1084" [label="lhs"]
"node1617" [label="Switch", color=red]
"node1084" -> "node1617" [label="condition"]
"node551" -> "node1617" [style=dashed]
"node874" [label="Region(cond5)", color=red]
"node1617" -> "node874" [label="non-zero", style=dashed]
"node1405" -> "node874" [label="zero", style=dashed]
node1407 [label="==", shape=circle]
"node1600" -> "node1407" [label="rhs"]
"node34568" -> "node1407" [label="lhs"]
"node1940" [label="Switch", color=red]
"node1407" -> "node1940" [label="condition"]
"node874" -> "node1940" [style=dashed]
"node915" [label="Region(unless16)", color=red]
"node1940" -> "node915" [label="non-zero", style=dashed]
"node22198" -> "node915" [label="non-zero", style=dashed]
"node1448" [label="base64 cmM=: []byte", shape=rectangle]
"node1981" [label="Load Global", shape=diamond]
"node1448" -> "node1981" [label="key"]
"node915" -> "node1981" [style=dashed]
"node2514" [label="base64 YnI=: []byte", shape=rectangle]
"node3047" [label="Load Local", shape=diamond]
"node2514" -> "node3047" [label="key"]
"node1071" -> "node3047" [label="account"]
"node915" -> "node3047" [style=dashed]
node3580 [label="-", shape=circle]
"node3047" -> "node3580" [label="rhs"]
"node1981" -> "node3580" [label="lhs"]
"node4113" [label="Store Global", color=red]
"node1448" -> "node4113" [label="key"]
"node3580" -> "node4113" [label="value"]
"node915" -> "node4113" [style=dashed]
"node4646" [label="Delete Global", color=red]
"node1071" -> "node4646" [label="account"]
"node2514" -> "node4646" [label="key"]
"node4113" -> "node4646" [style=dashed]
"node5179" [label="global.LatestTimestamp: any", shape=diamond]
"node5712" [label="base64 YWQ=: []byte", shape=rectangle]
"node6245" [label="Load Global", shape=diamond]
"node5712" -> "node6245" [label="key"]
"node4646" -> "node6245" [style=dashed]
node6778 [label="<", shape=circle]
"node6245" -> "node6778" [label="rhs"]
"node5179" -> "node6778" [label="lhs"]
"node7311" [label="Not"]
"node6778" -> "node7311" [label="value"]
node7844 [label="==", shape=circle]
"node1071" -> "node7844" [label="rhs"]
"node34568" -> "node7844" [label="lhs"]
"node8377" [label="Switch", color=red]
"node7844" -> "node8377" [label="condition"]
"node4646" -> "node8377" [style=dashed]
"node950" [label="Region(if18)", color=red]
"node8377" -> "node950" [label="non-zero", style=dashed]
"node6265" -> "node950" [label="zero", style=dashed]
"node1483" [label="txn.GroupIndex: uint64", shape=diamond]
node2016 [label="==", shape=circle]
"node1071" -> "node2016" [label="rhs"]
"node1483" -> "node2016" [label="lhs"]
"node2549" [label="gtxn[2].Sender: []byte", shape=diamond]
"node3082" [label="Load Global", shape=diamond]
"node4720" -> "node3082" [label="key"]
"node950" -> "node3082" [style=dashed]
node3615 [label="==", shape=circle]
"node3082" -> "node3615" [label="rhs"]
"node2549" -> "node3615" [label="lhs"]
node4148 [label="&&", shape=circle]
"node3615" -> "node4148" [label="rhs"]
"node2016" -> "node4148" [label="lhs"]
"node4681" [label="gtxn[2].XferAsset: uint64", shape=diamond]
"node5214" [label="Load Global", shape=diamond]
"node12715" -> "node5214" [label="key"]
"node950" -> "node5214" [style=dashed]
node5747 [label="==", shape=circle]
"node5214" -> "node5747" [label="rhs"]
"node4681" -> "node5747" [label="lhs"]
node6280 [label="&&", shape=circle]
"node5747" -> "node6280" [label="rhs"]
"node4148" -> "node6280" [label="lhs"]
"node6813" [label="gtxn[2].AssetReceiver: []byte", shape=diamond]
"node7346" [label="txn.Accounts[1]: []byte", shape=diamond]
node7879 [label="==", shape=circle]
"node7346" -> "node7879" [label="rhs"]
"node6813" -> "node7879" [label="lhs"]
node8412 [label="&&", shape=circle]
"node7879" -> "node8412" [label="rhs"]
"node6280" -> "node8412" [label="lhs"]
"node967" [label="Region(if_end19)", color=red]
"node950" -> "node967" [style=dashed]
"node6265" -> "node967" [label="non-zero", style=dashed]
"node-100" [label="ϕ", shape=circle]
"node5732" -> "node-100" [label="from 401"]
"node8412" -> "node-100" [label="from if18"]
"node967" -> "node-100" [style=dashed]
"node-633" [label="ϕ", shape=circle]
"node-132" -> "node-633" [label="from 401"]
"node-117" -> "node-633" [label="from if18"]
"node967" -> "node-633" [style=dashed]
node1500 [label="&&", shape=circle]
"node-100" -> "node1500" [label="rhs"]
"node-633" -> "node1500" [label="lhs"]
"node968" [label="Region(cond_end4)", color=red]
"node967" -> "node968" [style=dashed]
"node1405" -> "node968" [label="non-zero", style=dashed]
"node1501" [label="Switch", color=red]
"node1071" -> "node1501" [label="condition"]
"node968" -> "node1501" [style=dashed]
"node935" [label="Region(401)", color=red]
"node8377" -> "node935" [label="zero", style=dashed]
node1468 [label="==", shape=circle]
"node1600" -> "node1468" [label="rhs"]
"node34568" -> "node1468" [label="lhs"]
"node2001" [label="Load Global", shape=diamond]
"node12715" -> "node2001" [label="key"]
"node935" -> "node2001" [style=dashed]
"node2534" [label="Asset.AssetBalance: uint64", shape=diamond]
"node1071" -> "node2534" [label="account"]
"node2001" -> "node2534" [label="asset"]
"node3067" [label=opted_in, color=blue]
"node1071" -> "node3067" [label="account"]
"node2001" -> "node3067" [label="asset"]
"node3600" [label="Store Scratch(6)", color=red]
"node3067" -> "node3600" [label="value"]
"node935" -> "node3600" [style=dashed]
"node4133" [label="", color=red]
"node3600" -> "node4133" [style=dashed]
"node4666" [label="Load Scratch(6)", shape=diamond]
"node4133" -> "node4666" [style=dashed]
node5199 [label="==", shape=circle]
"node1600" -> "node5199" [label="rhs"]
"node4666" -> "node5199" [label="lhs"]
node5732 [label="&&", shape=circle]
"node5199" -> "node5732" [label="rhs"]
"node1468" -> "node5732" [label="lhs"]
"node6265" [label="Switch", color=red]
"node1071" -> "node6265" [label="condition"]
"node4133" -> "node6265" [style=dashed]
"node878" [label="Region(344)", color=red]
"node1940" -> "node878" [label="zero", style=dashed]
"node1411" [label="As uint64"]
"node3654" -> "node1411" [label="value"]
"node1944" [label="base64 YXI=: []byte", shape=rectangle]
"node2477" [label="Load Global", shape=diamond]
"node1944" -> "node2477" [label="key"]
"node878" -> "node2477" [style=dashed]
node3010 [label="<", shape=circle]
"node2477" -> "node3010" [label="rhs"]
"node1411" -> "node3010" [label="lhs"]
"node3543" [label="base64 YXM=: []byte", shape=rectangle]
"node4076" [label="Load Global", shape=diamond]
"node3543" -> "node4076" [label="key"]
"node878" -> "node4076" [style=dashed]
"node4609" [label="Load Local", shape=diamond]
"node2514" -> "node4609" [label="key"]
"node1071" -> "node4609" [label="account"]
"node878" -> "node4609" [style=dashed]
node5142 [label="* high", shape=circle]
"node4609" -> "node5142" [label="rhs"]
"node4076" -> "node5142" [label="lhs"]
node5675 [label="* low", shape=circle]
"node4609" -> "node5675" [label="rhs"]
"node4076" -> "node5675" [label="lhs"]
"node6208" [label="Store Scratch(0)", color=red]
"node5675" -> "node6208" [label="value"]
"node878" -> "node6208" [style=dashed]
"node6741" [label="Store Scratch(1)", color=red]
"node5142" -> "node6741" [label="value"]
"node6208" -> "node6741" [style=dashed]
"node7274" [label="Load Global", shape=diamond]
"node1944" -> "node7274" [label="key"]
"node6741" -> "node7274" [style=dashed]
"node7807" [label="gtxn[2].AssetAmount: uint64", shape=diamond]
node8340 [label="* high", shape=circle]
"node7807" -> "node8340" [label="rhs"]
"node7274" -> "node8340" [label="lhs"]
node8873 [label="* low", shape=circle]
"node7807" -> "node8873" [label="rhs"]
"node7274" -> "node8873" [label="lhs"]
"node9406" [label="Store Scratch(2)", color=red]
"node8873" -> "node9406" [label="value"]
"node6741" -> "node9406" [style=dashed]
"node9939" [label="Store Scratch(3)", color=red]
"node8340" -> "node9939" [label="value"]
"node9406" -> "node9939" [style=dashed]
"node10472" [label="As uint64"]
"node3654" -> "node10472" [label="value"]
"node11005" [label="", color=red]
"node9939" -> "node11005" [style=dashed]
"node11538" [label="Load Scratch(2)", shape=diamond]
"node11005" -> "node11538" [style=dashed]
node12071 [label="+ low", shape=circle]
"node11538" -> "node12071" [label="rhs"]
"node10472" -> "node12071" [label="lhs"]
node12604 [label="+ low", shape=circle]
"node11538" -> "node12604" [label="rhs"]
"node10472" -> "node12604" [label="lhs"]
"node13137" [label="Store Scratch(4)", color=red]
"node12604" -> "node13137" [label="value"]
"node11005" -> "node13137" [style=dashed]
"node13670" [label="Store Scratch(5)", color=red]
"node12071" -> "node13670" [label="value"]
"node13137" -> "node13670" [style=dashed]
"node14203" [label="", color=red]
"node13670" -> "node14203" [style=dashed]
"node14736" [label="Load Scratch(1)", shape=diamond]
"node14203" -> "node14736" [style=dashed]
"node15269" [label="", color=red]
"node14203" -> "node15269" [style=dashed]
"node15802" [label="Load Scratch(3)", shape=diamond]
"node15269" -> "node15802" [style=dashed]
"node16335" [label="", color=red]
"node15269" -> "node16335" [style=dashed]
"node16868" [label="Load Scratch(5)", shape=diamond]
"node16335" -> "node16868" [style=dashed]
node17401 [label="+", shape=circle]
"node16868" -> "node17401" [label="rhs"]
"node15802" -> "node17401" [label="lhs"]
node17934 [label="==", shape=circle]
"node17401" -> "node17934" [label="rhs"]
"node14736" -> "node17934" [label="lhs"]
"node18467" [label="", color=red]
"node16335" -> "node18467" [style=dashed]
"node19000" [label="Load Scratch(0)", shape=diamond]
"node18467" -> "node19000" [style=dashed]
"node19533" [label="", color=red]
"node18467" -> "node19533" [style=dashed]
"node20066" [label="Load Scratch(4)", shape=diamond]
"node19533" -> "node20066" [style=dashed]
node20599 [label="==", shape=circle]
"node20066" -> "node20599" [label="rhs"]
"node19000" -> "node20599" [label="lhs"]
node21132 [label="&&", shape=circle]
"node20599" -> "node21132" [label="rhs"]
"node17934" -> "node21132" [label="lhs"]
node21665 [label="&&", shape=circle]
"node21132" -> "node21665" [label="rhs"]
"node3010" -> "node21665" [label="lhs"]
"node22198" [label="Switch", color=red]
"node21665" -> "node22198" [label="condition"]
"node19533" -> "node22198" [style=dashed]
"node914" [label="Region(380)", color=red]
"node22198" -> "node914" [label="zero", style=dashed]
"node1447" [label="err", color=red]
"node914" -> "node1447" [style=dashed]
"node555" [label="Region(21)", color=red]
"node1617" -> "node555" [label="zero", style=dashed]
node1088 [label="==", shape=circle]
"node1600" -> "node1088" [label="rhs"]
"node36700" -> "node1088" [label="lhs"]
"node1621" [label="3: uint64", shape=rectangle]
node2154 [label="<", shape=circle]
"node1621" -> "node2154" [label="rhs"]
"node34568" -> "node2154" [label="lhs"]
node2687 [label="&&", shape=circle]
"node2154" -> "node2687" [label="rhs"]
"node1088" -> "node2687" [label="lhs"]
"node3220" [label="Switch", color=red]
"node2687" -> "node3220" [label="condition"]
"node555" -> "node3220" [style=dashed]
"node564" [label="Region(assert6)", color=red]
"node3220" -> "node564" [label="non-zero", style=dashed]
node1097 [label="==", shape=circle]
"node1071" -> "node1097" [label="rhs"]
"node34568" -> "node1097" [label="lhs"]
"node1630" [label="Switch", color=red]
"node1097" -> "node1630" [label="condition"]
"node564" -> "node1630" [style=dashed]
"node723" [label="Region(cond8)", color=red]
"node1630" -> "node723" [label="non-zero", style=dashed]
"node37933" -> "node723" [label="zero", style=dashed]
"node1256" [label="Load Global", shape=diamond]
"node5712" -> "node1256" [label="key"]
"node723" -> "node1256" [style=dashed]
node1789 [label="==", shape=circle]
"node1600" -> "node1789" [label="rhs"]
"node1256" -> "node1789" [label="lhs"]
"node2322" [label="Load Global", shape=diamond]
"node3635" -> "node2322" [label="key"]
"node723" -> "node2322" [style=dashed]
"node2855" [label="Load Global", shape=diamond]
"node16979" -> "node2855" [label="key"]
"node723" -> "node2855" [style=dashed]
node3388 [label="<", shape=circle]
"node2855" -> "node3388" [label="rhs"]
"node2322" -> "node3388" [label="lhs"]
node3921 [label="&&", shape=circle]
"node3388" -> "node3921" [label="rhs"]
"node1789" -> "node3921" [label="lhs"]
"node4454" [label="Switch", color=red]
"node3921" -> "node4454" [label="condition"]
"node723" -> "node4454" [style=dashed]
"node735" [label="Region(assert11)", color=red]
"node4454" -> "node735" [label="non-zero", style=dashed]
"node1268" [label="gtxn[4].AssetAmount: uint64", shape=diamond]
"node1801" [label="Store Global", color=red]
"node3543" -> "node1801" [label="key"]
"node1268" -> "node1801" [label="value"]
"node735" -> "node1801" [style=dashed]
"node2334" [label="Load Global", shape=diamond]
"node29771" -> "node2334" [label="key"]
"node1801" -> "node2334" [style=dashed]
node2867 [label="+", shape=circle]
"node2334" -> "node2867" [label="rhs"]
"node5179" -> "node2867" [label="lhs"]
"node3400" [label="Store Global", color=red]
"node5712" -> "node3400" [label="key"]
"node2867" -> "node3400" [label="value"]
"node1801" -> "node3400" [style=dashed]
node3933 [label="==", shape=circle]
"node1071" -> "node3933" [label="rhs"]
"node1483" -> "node3933" [label="lhs"]
"node4466" [label="Load Global", shape=diamond]
"node1522" -> "node4466" [label="key"]
"node3400" -> "node4466" [style=dashed]
node4999 [label="==", shape=circle]
"node4466" -> "node4999" [label="rhs"]
"node2055" -> "node4999" [label="lhs"]
node5532 [label="&&", shape=circle]
"node4999" -> "node5532" [label="rhs"]
"node3933" -> "node5532" [label="lhs"]
"node6065" [label="Load Global", shape=diamond]
"node4720" -> "node6065" [label="key"]
"node3400" -> "node6065" [style=dashed]
node6598 [label="==", shape=circle]
"node6065" -> "node6598" [label="rhs"]
"node2549" -> "node6598" [label="lhs"]
node7131 [label="&&", shape=circle]
"node6598" -> "node7131" [label="rhs"]
"node5532" -> "node7131" [label="lhs"]
"node7664" [label="Load Global", shape=diamond]
"node10583" -> "node7664" [label="key"]
"node3400" -> "node7664" [style=dashed]
node8197 [label="==", shape=circle]
"node7664" -> "node8197" [label="rhs"]
"node4681" -> "node8197" [label="lhs"]
node8730 [label="&&", shape=circle]
"node8197" -> "node8730" [label="rhs"]
"node7131" -> "node8730" [label="lhs"]
"node9263" [label="gtxn[3].XferAsset: uint64", shape=diamond]
"node9796" [label="Load Global", shape=diamond]
"node12715" -> "node9796" [label="key"]
"node3400" -> "node9796" [style=dashed]
node10329 [label="==", shape=circle]
"node9796" -> "node10329" [label="rhs"]
"node9263" -> "node10329" [label="lhs"]
node10862 [label="&&", shape=circle]
"node10329" -> "node10862" [label="rhs"]
"node8730" -> "node10862" [label="lhs"]
"node11395" [label="gtxn[4].TypeEnum: uint64", shape=diamond]
"node11928" [label="4: uint64", shape=rectangle]
node12461 [label="==", shape=circle]
"node11928" -> "node12461" [label="rhs"]
"node11395" -> "node12461" [label="lhs"]
node12994 [label="&&", shape=circle]
"node12461" -> "node12994" [label="rhs"]
"node10862" -> "node12994" [label="lhs"]
"node13527" [label="gtxn[4].XferAsset: uint64", shape=diamond]
"node14060" [label="Load Global", shape=diamond]
"node12715" -> "node14060" [label="key"]
"node3400" -> "node14060" [style=dashed]
node14593 [label="==", shape=circle]
"node14060" -> "node14593" [label="rhs"]
"node13527" -> "node14593" [label="lhs"]
node15126 [label="&&", shape=circle]
"node14593" -> "node15126" [label="rhs"]
"node12994" -> "node15126" [label="lhs"]
"node15659" [label="gtxn[4].AssetReceiver: []byte", shape=diamond]
"node16192" [label="Load Global", shape=diamond]
"node4720" -> "node16192" [label="key"]
"node3400" -> "node16192" [style=dashed]
node16725 [label="==", shape=circle]
"node16192" -> "node16725" [label="rhs"]
"node15659" -> "node16725" [label="lhs"]
node17258 [label="&&", shape=circle]
"node16725" -> "node17258" [label="rhs"]
"node15126" -> "node17258" [label="lhs"]
"node17791" [label="Load Global", shape=diamond]
"node25507" -> "node17791" [label="key"]
"node3400" -> "node17791" [style=dashed]
"node18324" [label="Load Global", shape=diamond]
"node14847" -> "node18324" [label="key"]
"node3400" -> "node18324" [style=dashed]
node18857 [label="*", shape=circle]
"node18324" -> "node18857" [label="rhs"]
"node17791" -> "node18857" [label="lhs"]
"node19390" [label="Load Global", shape=diamond]
"node21243" -> "node19390" [label="key"]
"node3400" -> "node19390" [style=dashed]
node19923 [label="*", shape=circle]
"node19390" -> "node19923" [label="rhs"]
"node18857" -> "node19923" [label="lhs"]
"node20456" [label="Load Global", shape=diamond]
"node16979" -> "node20456" [label="key"]
"node3400" -> "node20456" [style=dashed]
"node20989" [label="base64 dV8=: []byte", shape=rectangle]
"node21522" [label="Load Global", shape=diamond]
"node20989" -> "node21522" [label="key"]
"node3400" -> "node21522" [style=dashed]
node22055 [label="*", shape=circle]
"node21522" -> "node22055" [label="rhs"]
"node20456" -> "node22055" [label="lhs"]
node22588 [label="+", shape=circle]
"node22055" -> "node22588" [label="rhs"]
"node19923" -> "node22588" [label="lhs"]
"node23121" [label="Store Scratch(7)", color=red]
"node22588" -> "node23121" [label="value"]
"node3400" -> "node23121" [style=dashed]
"node23654" [label="Load Global", shape=diamond]
"node3635" -> "node23654" [label="key"]
"node23121" -> "node23654" [style=dashed]
"node24187" [label="Load Global", shape=diamond]
"node25507" -> "node24187" [label="key"]
"node23121" -> "node24187" [style=dashed]
node24720 [label="<", shape=circle]
"node24187" -> "node24720" [label="rhs"]
"node23654" -> "node24720" [label="lhs"]
"node25253" [label="Switch", color=red]
"node24720" -> "node25253" [label="condition"]
"node23121" -> "node25253" [style=dashed]
"node867" [label="Region(cond13)", color=red]
"node25253" -> "node867" [label="non-zero", style=dashed]
"node2460" -> "node867" [label="zero", style=dashed]
"node1400" [label="Load Global", shape=diamond]
"node23375" -> "node1400" [label="key"]
"node867" -> "node1400" [style=dashed]
node1933 [label="==", shape=circle]
"node1400" -> "node1933" [label="rhs"]
"node1268" -> "node1933" [label="lhs"]
"node871" [label="Region(cond_end12)", color=red]
"node867" -> "node871" [style=dashed]
"node2460" -> "node871" [label="non-zero", style=dashed]
"node1391" -> "node871" [label="non-zero", style=dashed]
"node22141" -> "node871" [label="non-zero", style=dashed]
"node-196" [label="ϕ", shape=circle]
"node21608" -> "node-196" [label="from 287"]
"node1600" -> "node-196" [label="from cond15"]
"node1927" -> "node-196" [label="from cond14"]
"node1933" -> "node-196" [label="from cond13"]
"node871" -> "node-196" [style=dashed]
"node-729" [label="ϕ", shape=circle]
"node-246" -> "node-729" [label="from 287"]
"node-209" -> "node-729" [label="from cond15"]
"node-206" -> "node-729" [label="from cond14"]
"node-200" -> "node-729" [label="from cond13"]
"node871" -> "node-729" [style=dashed]
node1404 [label="&&", shape=circle]
"node-196" -> "node1404" [label="rhs"]
"node-729" -> "node1404" [label="lhs"]
"node872" [label="Region(cond_end7)", color=red]
"node871" -> "node872" [style=dashed]
"node37933" -> "node872" [label="non-zero", style=dashed]
"node14430" -> "node872" [label="non-zero", style=dashed]
"node1405" [label="Switch", color=red]
"node1071" -> "node1405" [label="condition"]
"node872" -> "node1405" [style=dashed]
"node802" [label="Region(268)", color=red]
"node25253" -> "node802" [label="zero", style=dashed]
"node1335" [label="Load Global", shape=diamond]
"node20989" -> "node1335" [label="key"]
"node802" -> "node1335" [style=dashed]
node1868 [label="==", shape=circle]
"node1600" -> "node1868" [label="rhs"]
"node1335" -> "node1868" [label="lhs"]
"node2401" [label="Load Global", shape=diamond]
"node19111" -> "node2401" [label="key"]
"node802" -> "node2401" [style=dashed]
"node2934" [label="Load Global", shape=diamond]
"node21243" -> "node2934" [label="key"]
"node802" -> "node2934" [style=dashed]
node3467 [label="*", shape=circle]
"node2934" -> "node3467" [label="rhs"]
"node2401" -> "node3467" [label="lhs"]
"node4000" [label="base64 dF8=: []byte", shape=rectangle]
"node4533" [label="Load Global", shape=diamond]
"node4000" -> "node4533" [label="key"]
"node802" -> "node4533" [style=dashed]
node5066 [label=">", shape=circle]
"node4533" -> "node5066" [label="rhs"]
"node3467" -> "node5066" [label="lhs"]
node5599 [label="||", shape=circle]
"node5066" -> "node5599" [label="rhs"]
"node1868" -> "node5599" [label="lhs"]
"node6132" [label="Switch", color=red]
"node5599" -> "node6132" [label="condition"]
"node802" -> "node6132" [style=dashed]
"node861" [label="Region(cond14)", color=red]
"node6132" -> "node861" [label="non-zero", style=dashed]
"node1391" -> "node861" [label="zero", style=dashed]
"node1394" [label="Load Global", shape=diamond]
"node27639" -> "node1394" [label="key"]
"node861" -> "node1394" [style=dashed]
node1927 [label="==", shape=circle]
"node1394" -> "node1927" [label="rhs"]
"node1268" -> "node1927" [label="lhs"]
"node2460" [label="Switch", color=red]
"node1071" -> "node2460" [label="condition"]
"node861" -> "node2460" [style=dashed]
"node816" [label="Region(282)", color=red]
"node6132" -> "node816" [label="zero", style=dashed]
"node1349" [label="As uint64"]
"node3654" -> "node1349" [label="value"]
"node1882" [label="", color=red]
"node816" -> "node1882" [style=dashed]
"node2415" [label="Load Scratch(7)", shape=diamond]
"node1882" -> "node2415" [style=dashed]
node2948 [label=">", shape=circle]
"node2415" -> "node2948" [label="rhs"]
"node1349" -> "node2948" [label="lhs"]
"node3481" [label="Switch", color=red]
"node2948" -> "node3481" [label="condition"]
"node1882" -> "node3481" [style=dashed]
"node858" [label="Region(cond15)", color=red]
"node3481" -> "node858" [label="non-zero", style=dashed]
"node22141" -> "node858" [label="zero", style=dashed]
"node1391" [label="Switch", color=red]
"node1071" -> "node1391" [label="condition"]
"node858" -> "node1391" [style=dashed]
"node821" [label="Region(287)", color=red]
"node3481" -> "node821" [label="zero", style=dashed]
"node1354" [label="2: uint64", shape=rectangle]
"node1887" [label="Load Global", shape=diamond]
"node20989" -> "node1887" [label="key"]
"node821" -> "node1887" [style=dashed]
node2420 [label="*", shape=circle]
"node1887" -> "node2420" [label="rhs"]
"node1354" -> "node2420" [label="lhs"]
"node2953" [label="Load Global", shape=diamond]
"node19111" -> "node2953" [label="key"]
"node821" -> "node2953" [style=dashed]
"node3486" [label="Load Global", shape=diamond]
"node21243" -> "node3486" [label="key"]
"node821" -> "node3486" [style=dashed]
node4019 [label="*", shape=circle]
"node3486" -> "node4019" [label="rhs"]
"node2953" -> "node4019" [label="lhs"]
"node4552" [label="Load Global", shape=diamond]
"node4000" -> "node4552" [label="key"]
"node821" -> "node4552" [style=dashed]
node5085 [label="-", shape=circle]
"node4552" -> "node5085" [label="rhs"]
"node4019" -> "node5085" [label="lhs"]
node5618 [label="* high", shape=circle]
"node5085" -> "node5618" [label="rhs"]
"node2420" -> "node5618" [label="lhs"]
node6151 [label="* low", shape=circle]
"node5085" -> "node6151" [label="rhs"]
"node2420" -> "node6151" [label="lhs"]
"node6684" [label="Store Scratch(8)", color=red]
"node6151" -> "node6684" [label="value"]
"node821" -> "node6684" [style=dashed]
"node7217" [label="Store Scratch(9)", color=red]
"node5618" -> "node7217" [label="value"]
"node6684" -> "node7217" [style=dashed]
"node7750" [label="", color=red]
"node7217" -> "node7750" [style=dashed]
"node8283" [label="Load Scratch(7)", shape=diamond]
"node7750" -> "node8283" [style=dashed]
node8816 [label="* high", shape=circle]
"node1268" -> "node8816" [label="rhs"]
"node8283" -> "node8816" [label="lhs"]
node9349 [label="* low", shape=circle]
"node1268" -> "node9349" [label="rhs"]
"node8283" -> "node9349" [label="lhs"]
"node9882" [label="Store Scratch(10)", color=red]
"node9349" -> "node9882" [label="value"]
"node7750" -> "node9882" [style=dashed]
"node10415" [label="Store Scratch(11)", color=red]
"node8816" -> "node10415" [label="value"]
"node9882" -> "node10415" [style=dashed]
"node10948" [label="As uint64"]
"node3654" -> "node10948" [label="value"]
"node11481" [label="", color=red]
"node10415" -> "node11481" [style=dashed]
"node12014" [label="Load Scratch(10)", shape=diamond]
"node11481" -> "node12014" [style=dashed]
node12547 [label="+ low", shape=circle]
"node12014" -> "node12547" [label="rhs"]
"node10948" -> "node12547" [label="lhs"]
node13080 [label="+ low", shape=circle]
"node12014" -> "node13080" [label="rhs"]
"node10948" -> "node13080" [label="lhs"]
"node13613" [label="Store Scratch(12)", color=red]
"node13080" -> "node13613" [label="value"]
"node11481" -> "node13613" [style=dashed]
"node14146" [label="Store Scratch(13)", color=red]
"node12547" -> "node14146" [label="value"]
"node13613" -> "node14146" [style=dashed]
"node14679" [label="", color=red]
"node14146" -> "node14679" [style=dashed]
"node15212" [label="Load Scratch(9)", shape=diamond]
"node14679" -> "node15212" [style=dashed]
"node15745" [label="", color=red]
"node14679" -> "node15745" [style=dashed]
"node16278" [label="Load Scratch(11)", shape=diamond]
"node15745" -> "node16278" [style=dashed]
"node16811" [label="", color=red]
"node15745" -> "node16811" [style=dashed]
"node17344" [label="Load Scratch(13)", shape=diamond]
"node16811" -> "node17344" [style=dashed]
node17877 [label="+", shape=circle]
"node17344" -> "node17877" [label="rhs"]
"node16278" -> "node17877" [label="lhs"]
node18410 [label="==", shape=circle]
"node17877" -> "node18410" [label="rhs"]
"node15212" -> "node18410" [label="lhs"]
"node18943" [label="", color=red]
"node16811" -> "node18943" [style=dashed]
"node19476" [label="Load Scratch(8)", shape=diamond]
"node18943" -> "node19476" [style=dashed]
"node20009" [label="", color=red]
"node18943" -> "node20009" [style=dashed]
"node20542" [label="Load Scratch(12)", shape=diamond]
"node20009" -> "node20542" [style=dashed]
node21075 [label="==", shape=circle]
"node20542" -> "node21075" [label="rhs"]
"node19476" -> "node21075" [label="lhs"]
node21608 [label="&&", shape=circle]
"node21075" -> "node21608" [label="rhs"]
"node18410" -> "node21608" [label="lhs"]
"node22141" [label="Switch", color=red]
"node1071" -> "node22141" [label="condition"]
"node20009" -> "node22141" [style=dashed]
"node734" [label="Region(200)", color=red]
"node4454" -> "node734" [label="zero", style=dashed]
"node1267" [label="err", color=red]
"node734" -> "node1267" [style=dashed]
"node568" [label="Region(34)", color=red]
"node1630" -> "node568" [label="zero", style=dashed]
node1101 [label="==", shape=circle]
"node1354" -> "node1101" [label="rhs"]
"node34568" -> "node1101" [label="lhs"]
"node1634" [label="Switch", color=red]
"node1101" -> "node1634" [label="condition"]
"node568" -> "node1634" [style=dashed]
"node616" [label="Region(cond9)", color=red]
"node1634" -> "node616" [label="non-zero", style=dashed]
"node14430" -> "node616" [label="zero", style=dashed]
"node1149" [label="Load Global", shape=diamond]
"node5712" -> "node1149" [label="key"]
"node616" -> "node1149" [style=dashed]
node1682 [label="<", shape=circle]
"node1149" -> "node1682" [label="rhs"]
"node5179" -> "node1682" [label="lhs"]
"node2215" [label="Not"]
"node1682" -> "node2215" [label="value"]
"node2748" [label="Switch", color=red]
"node2215" -> "node2748" [label="condition"]
"node616" -> "node2748" [style=dashed]
"node623" [label="Region(assert10)", color=red]
"node2748" -> "node623" [label="non-zero", style=dashed]
"node1156" [label="Load Global", shape=diamond]
"node3635" -> "node1156" [label="key"]
"node623" -> "node1156" [style=dashed]
"node1689" [label="Load Global", shape=diamond]
"node25507" -> "node1689" [label="key"]
"node623" -> "node1689" [style=dashed]
node2222 [label="%", shape=circle]
"node1689" -> "node2222" [label="rhs"]
"node1156" -> "node2222" [label="lhs"]
"node2755" [label="As []byte"]
"node2222" -> "node2755" [label="value"]
"node3288" [label="Store Scratch(14)", color=red]
"node2755" -> "node3288" [label="value"]
"node623" -> "node3288" [style=dashed]
"node3821" [label="Load Global", shape=diamond]
"node20989" -> "node3821" [label="key"]
"node3288" -> "node3821" [style=dashed]
"node4354" [label="0x0001: []byte", shape=rectangle]
"node4887" [label="", color=red]
"node3288" -> "node4887" [style=dashed]
"node5420" [label="Load Scratch(14)", shape=diamond]
"node4887" -> "node5420" [style=dashed]
node5953 [label="Concat", shape=circle]
"node5420" -> "node5953" [label="rhs"]
"node4354" -> "node5953" [label="lhs"]
"node6486" [label="Load Global", shape=diamond]
"node5953" -> "node6486" [label="key"]
"node4887" -> "node6486" [style=dashed]
node7019 [label="-", shape=circle]
"node6486" -> "node7019" [label="rhs"]
"node3821" -> "node7019" [label="lhs"]
"node7552" [label="Load Global", shape=diamond]
"node1944" -> "node7552" [label="key"]
"node4887" -> "node7552" [style=dashed]
node8085 [label="+", shape=circle]
"node7552" -> "node8085" [label="rhs"]
"node7019" -> "node8085" [label="lhs"]
"node8618" [label="Store Global", color=red]
"node20989" -> "node8618" [label="key"]
"node8085" -> "node8618" [label="value"]
"node4887" -> "node8618" [style=dashed]
"node9151" [label="", color=red]
"node8618" -> "node9151" [style=dashed]
"node9684" [label="Load Scratch(14)", shape=diamond]
"node9151" -> "node9684" [style=dashed]
node10217 [label="Concat", shape=circle]
"node9684" -> "node10217" [label="rhs"]
"node4354" -> "node10217" [label="lhs"]
"node10750" [label="Load Global", shape=diamond]
"node1944" -> "node10750" [label="key"]
"node9151" -> "node10750" [style=dashed]
"node11283" [label="Store Global", color=red]
"node10217" -> "node11283" [label="key"]
"node10750" -> "node11283" [label="value"]
"node9151" -> "node11283" [style=dashed]
"node11816" [label="Load Global", shape=diamond]
"node4000" -> "node11816" [label="key"]
"node11283" -> "node11816" [style=dashed]
"node12349" [label="0x0002: []byte", shape=rectangle]
"node12882" [label="", color=red]
"node11283" -> "node12882" [style=dashed]
"node13415" [label="Load Scratch(14)", shape=diamond]
"node12882" -> "node13415" [style=dashed]
node13948 [label="Concat", shape=circle]
"node13415" -> "node13948" [label="rhs"]
"node12349" -> "node13948" [label="lhs"]
"node14481" [label="Load Global", shape=diamond]
"node13948" -> "node14481" [label="key"]
"node12882" -> "node14481" [style=dashed]
node15014 [label="-", shape=circle]
"node14481" -> "node15014" [label="rhs"]
"node11816" -> "node15014" [label="lhs"]
"node15547" [label="Load Global", shape=diamond]
"node3543" -> "node15547" [label="key"]
"node12882" -> "node15547" [style=dashed]
node16080 [label="+", shape=circle]
"node15547" -> "node16080" [label="rhs"]
"node15014" -> "node16080" [label="lhs"]
"node16613" [label="Store Global", color=red]
"node4000" -> "node16613" [label="key"]
"node16080" -> "node16613" [label="value"]
"node12882" -> "node16613" [style=dashed]
"node17146" [label="", color=red]
"node16613" -> "node17146" [style=dashed]
"node17679" [label="Load Scratch(14)", shape=diamond]
"node17146" -> "node17679" [style=dashed]
node18212 [label="Concat", shape=circle]
"node17679" -> "node18212" [label="rhs"]
"node12349" -> "node18212" [label="lhs"]
"node18745" [label="Load Global", shape=diamond]
"node3543" -> "node18745" [label="key"]
"node17146" -> "node18745" [style=dashed]
"node19278" [label="Store Global", color=red]
"node18212" -> "node19278" [label="key"]
"node18745" -> "node19278" [label="value"]
"node17146" -> "node19278" [style=dashed]
"node19811" [label="Load Global", shape=diamond]
"node3635" -> "node19811" [label="key"]
"node19278" -> "node19811" [style=dashed]
node20344 [label="+", shape=circle]
"node19811" -> "node20344" [label="rhs"]
"node1071" -> "node20344" [label="lhs"]
"node20877" [label="Store Global", color=red]
"node3635" -> "node20877" [label="key"]
"node20344" -> "node20877" [label="value"]
"node19278" -> "node20877" [style=dashed]
"node21410" [label="Delete Global", color=red]
"node1944" -> "node21410" [label="key"]
"node20877" -> "node21410" [style=dashed]
"node21943" [label="Delete Global", color=red]
"node3543" -> "node21943" [label="key"]
"node21410" -> "node21943" [style=dashed]
"node22476" [label="Delete Global", color=red]
"node5712" -> "node22476" [label="key"]
"node21943" -> "node22476" [style=dashed]
node23009 [label="==", shape=circle]
"node1071" -> "node23009" [label="rhs"]
"node1483" -> "node23009" [label="lhs"]
"node23542" [label="Load Global", shape=diamond]
"node1522" -> "node23542" [label="key"]
"node22476" -> "node23542" [style=dashed]
node24075 [label="==", shape=circle]
"node23542" -> "node24075" [label="rhs"]
"node2055" -> "node24075" [label="lhs"]
node24608 [label="&&", shape=circle]
"node24075" -> "node24608" [label="rhs"]
"node23009" -> "node24608" [label="lhs"]
"node25141" [label="Load Global", shape=diamond]
"node1448" -> "node25141" [label="key"]
"node22476" -> "node25141" [style=dashed]
node25674 [label="==", shape=circle]
"node1600" -> "node25674" [label="rhs"]
"node25141" -> "node25674" [label="lhs"]
node26207 [label="&&", shape=circle]
"node25674" -> "node26207" [label="rhs"]
"node24608" -> "node26207" [label="lhs"]
"node26740" [label="Load Global", shape=diamond]
"node4720" -> "node26740" [label="key"]
"node22476" -> "node26740" [style=dashed]
node27273 [label="==", shape=circle]
"node26740" -> "node27273" [label="rhs"]
"node2549" -> "node27273" [label="lhs"]
node27806 [label="&&", shape=circle]
"node27273" -> "node27806" [label="rhs"]
"node26207" -> "node27806" [label="lhs"]
"node28339" [label="Load Global", shape=diamond]
"node10583" -> "node28339" [label="key"]
"node22476" -> "node28339" [style=dashed]
node28872 [label="==", shape=circle]
"node28339" -> "node28872" [label="rhs"]
"node4681" -> "node28872" [label="lhs"]
node29405 [label="&&", shape=circle]
"node28872" -> "node29405" [label="rhs"]
"node27806" -> "node29405" [label="lhs"]
"node29938" [label="gtxn[2].AssetCloseTo: []byte", shape=diamond]
"node30471" [label="Load Global", shape=diamond]
"node3121" -> "node30471" [label="key"]
"node22476" -> "node30471" [style=dashed]
node31004 [label="==", shape=circle]
"node30471" -> "node31004" [label="rhs"]
"node29938" -> "node31004" [label="lhs"]
node31537 [label="&&", shape=circle]
"node31004" -> "node31537" [label="rhs"]
"node29405" -> "node31537" [label="lhs"]
"node32070" [label="Load Global", shape=diamond]
"node12715" -> "node32070" [label="key"]
"node22476" -> "node32070" [style=dashed]
node32603 [label="==", shape=circle]
"node32070" -> "node32603" [label="rhs"]
"node9263" -> "node32603" [label="lhs"]
node33136 [label="&&", shape=circle]
"node32603" -> "node33136" [label="rhs"]
"node31537" -> "node33136" [label="lhs"]
"node33669" [label="gtxn[3].AssetCloseTo: []byte", shape=diamond]
"node34202" [label="Load Global", shape=diamond]
"node3121" -> "node34202" [label="key"]
"node22476" -> "node34202" [style=dashed]
node34735 [label="==", shape=circle]
"node34202" -> "node34735" [label="rhs"]
"node33669" -> "node34735" [label="lhs"]
node35268 [label="&&", shape=circle]
"node34735" -> "node35268" [label="rhs"]
"node33136" -> "node35268" [label="lhs"]
"node35801" [label="gtxn[4].CloseRemainderTo: []byte", shape=diamond]
"node36334" [label="Load Global", shape=diamond]
"node3121" -> "node36334" [label="key"]
"node22476" -> "node36334" [style=dashed]
node36867 [label="==", shape=circle]
"node36334" -> "node36867" [label="rhs"]
"node35801" -> "node36867" [label="lhs"]
node37400 [label="&&", shape=circle]
"node36867" -> "node37400" [label="rhs"]
"node35268" -> "node37400" [label="lhs"]
"node37933" [label="Switch", color=red]
"node1071" -> "node37933" [label="condition"]
"node22476" -> "node37933" [style=dashed]
"node622" [label="Region(88)", color=red]
"node2748" -> "node622" [label="zero", style=dashed]
"node1155" [label="err", color=red]
"node622" -> "node1155" [style=dashed]
"node572" [label="Region(38)", color=red]
"node1634" -> "node572" [label="zero", style=dashed]
"node1105" [label="Load Local", shape=diamond]
"node2514" -> "node1105" [label="key"]
"node1600" -> "node1105" [label="account"]
"node572" -> "node1105" [style=dashed]
"node1638" [label="gtxn[0].AssetAmount: uint64", shape=diamond]
node2171 [label="+", shape=circle]
"node1638" -> "node2171" [label="rhs"]
"node1105" -> "node2171" [label="lhs"]
"node2704" [label="Store Local", color=red]
"node1600" -> "node2704" [label="account"]
"node2514" -> "node2704" [label="key"]
"node2171" -> "node2704" [label="value"]
"node572" -> "node2704" [style=dashed]
"node3237" [label="Load Global", shape=diamond]
"node1448" -> "node3237" [label="key"]
"node2704" -> "node3237" [style=dashed]
node3770 [label="+", shape=circle]
"node1638" -> "node3770" [label="rhs"]
"node3237" -> "node3770" [label="lhs"]
"node4303" [label="Store Global", color=red]
"node1448" -> "node4303" [label="key"]
"node3770" -> "node4303" [label="value"]
"node2704" -> "node4303" [style=dashed]
"node4836" [label="Load Global", shape=diamond]
"node1944" -> "node4836" [label="key"]
"node4303" -> "node4836" [style=dashed]
node5369 [label="+", shape=circle]
"node1638" -> "node5369" [label="rhs"]
"node4836" -> "node5369" [label="lhs"]
"node5902" [label="Store Global", color=red]
"node1944" -> "node5902" [label="key"]
"node5369" -> "node5902" [label="value"]
"node4303" -> "node5902" [style=dashed]
"node6435" [label="Load Global", shape=diamond]
"node5712" -> "node6435" [label="key"]
"node5902" -> "node6435" [style=dashed]
node6968 [label="<", shape=circle]
"node6435" -> "node6968" [label="rhs"]
"node5179" -> "node6968" [label="lhs"]
node7501 [label="==", shape=circle]
"node1071" -> "node7501" [label="rhs"]
"node1483" -> "node7501" [label="lhs"]
node8034 [label="&&", shape=circle]
"node7501" -> "node8034" [label="rhs"]
"node6968" -> "node8034" [label="lhs"]
"node8567" [label="gtxn[0].TypeEnum: uint64", shape=diamond]
node9100 [label="==", shape=circle]
"node11928" -> "node9100" [label="rhs"]
"node8567" -> "node9100" [label="lhs"]
node9633 [label="&&", shape=circle]
"node9100" -> "node9633" [label="rhs"]
"node8034" -> "node9633" [label="lhs"]
"node10166" [label="gtxn[0].XferAsset: uint64", shape=diamond]
"node10699" [label="Load Global", shape=diamond]
"node10583" -> "node10699" [label="key"]
"node5902" -> "node10699" [style=dashed]
node11232 [label="==", shape=circle]
"node10699" -> "node11232" [label="rhs"]
"node10166" -> "node11232" [label="lhs"]
node11765 [label="&&", shape=circle]
"node11232" -> "node11765" [label="rhs"]
"node9633" -> "node11765" [label="lhs"]
"node12298" [label="gtxn[0].AssetReceiver: []byte", shape=diamond]
"node12831" [label="Load Global", shape=diamond]
"node4720" -> "node12831" [label="key"]
"node5902" -> "node12831" [style=dashed]
node13364 [label="==", shape=circle]
"node12831" -> "node13364" [label="rhs"]
"node12298" -> "node13364" [label="lhs"]
node13897 [label="&&", shape=circle]
"node13364" -> "node13897" [label="rhs"]
"node11765" -> "node13897" [label="lhs"]
"node14430" [label="Switch", color=red]
"node1071" -> "node14430" [label="condition"]
"node5902" -> "node14430" [style=dashed]
"node563" [label="Region(29)", color=red]
"node3220" -> "node563" [label="zero", style=dashed]
"node1096" [label="err", color=red]
"node563" -> "node1096" [style=dashed]
"node550" [label="Region(16)", color=red]
"node1612" -> "node550" [label="zero", style=dashed]
"node1083" [label="err", color=red]
"node550" -> "node1083" [style=dashed]
"node-78" [label="ϕ", shape=circle]
"node6300" -> "node-78" [label="from cond2"]
"node989" -> "node-78" [style=dashed]
"node-117" [label="ϕ", shape=circle]
"node7311" -> "node-117" [label="from unless16"]
"node5732" -> "node-117" [label="from 401"]
"node950" -> "node-117" [style=dashed]
"node-99" [label="ϕ", shape=circle]
"node-195" -> "node-99" [label="from cond_end7"]
"node1500" -> "node-99" [label="from if_end19"]
"node968" -> "node-99" [style=dashed]
"node-632" [label="ϕ", shape=circle]
"node-728" -> "node-632" [label="from cond_end7"]
"node-100" -> "node-632" [label="from if_end19"]
"node968" -> "node-632" [style=dashed]
"node-1165" [label="ϕ", shape=circle]
"node-1261" -> "node-1165" [label="from cond_end7"]
"node-633" -> "node-1165" [label="from if_end19"]
"node968" -> "node-1165" [style=dashed]
"node-132" [label="ϕ", shape=circle]
"node7311" -> "node-132" [label="from unless16"]
"node935" -> "node-132" [style=dashed]
"node-344" [label="ϕ", shape=circle]
"node37400" -> "node-344" [label="from assert10"]
"node723" -> "node-344" [style=dashed]
"node-332" [label="ϕ", shape=circle]
"node-344" -> "node-332" [label="from cond8"]
"node735" -> "node-332" [style=dashed]
"node-200" [label="ϕ", shape=circle]
"node17258" -> "node-200" [label="from assert11"]
"node1927" -> "node-200" [label="from cond14"]
"node867" -> "node-200" [style=dashed]
"node-733" [label="ϕ", shape=circle]
"node-332" -> "node-733" [label="from assert11"]
"node-206" -> "node-733" [label="from cond14"]
"node867" -> "node-733" [style=dashed]
"node-195" [label="ϕ", shape=circle]
"node13897" -> "node-195" [label="from 38"]
"node37400" -> "node-195" [label="from assert10"]
"node1404" -> "node-195" [label="from cond_end12"]
"node872" -> "node-195" [style=dashed]
"node-728" [label="ϕ", shape=circle]
"node-444" -> "node-728" [label="from assert10"]
"node-196" -> "node-728" [label="from cond_end12"]
"node872" -> "node-728" [style=dashed]
"node-1261" [label="ϕ", shape=circle]
"node-729" -> "node-1261" [label="from cond_end12"]
"node872" -> "node-1261" [style=dashed]
"node-265" [label="ϕ", shape=circle]
"node17258" -> "node-265" [label="from assert11"]
"node802" -> "node-265" [style=dashed]
"node-798" [label="ϕ", shape=circle]
"node-332" -> "node-798" [label="from assert11"]
"node802" -> "node-798" [style=dashed]
"node-206" [label="ϕ", shape=circle]
"node-265" -> "node-206" [label="from 268"]
"node1600" -> "node-206" [label="from cond15"]
"node861" -> "node-206" [style=dashed]
"node-739" [label="ϕ", shape=circle]
"node-798" -> "node-739" [label="from 268"]
"node-209" -> "node-739" [label="from cond15"]
"node861" -> "node-739" [style=dashed]
"node-251" [label="ϕ", shape=circle]
"node-265" -> "node-251" [label="from 268"]
"node816" -> "node-251" [style=dashed]
"node-784" [label="ϕ", shape=circle]
"node-798" -> "node-784" [label="from 268"]
"node816" -> "node-784" [style=dashed]
"node-209" [label="ϕ", shape=circle]
"node-251" -> "node-209" [label="from 282"]
"node21608" -> "node-209" [label="from 287"]
"node858" -> "node-209" [style=dashed]
"node-742" [label="ϕ", shape=circle]
"node-784" -> "node-742" [label="from 282"]
"node-246" -> "node-742" [label="from 287"]
"node858" -> "node-742" [style=dashed]
"node-246" [label="ϕ", shape=circle]
"node-251" -> "node-246" [label="from 282"]
"node821" -> "node-246" [style=dashed]
"node-779" [label="ϕ", shape=circle]
"node-784" -> "node-779" [label="from 282"]
"node821" -> "node-779" [style=dashed]
"node-333" [label="ϕ", shape=circle]
"node-344" -> "node-333" [label="from cond8"]
"node734" -> "node-333" [style=dashed]
"node-451" [label="ϕ", shape=circle]
"node13897" -> "node-451" [label="from 38"]
"node616" -> "node-451" [style=dashed]
"node-444" [label="ϕ", shape=circle]
"node-451" -> "node-444" [label="from cond9"]
"node623" -> "node-444" [style=dashed]
"node-445" [label="ϕ", shape=circle]
"node-451" -> "node-445" [label="from cond9"]
"node622" -> "node-445" [style=dashed]
"node-97" [label="ϕ", shape=circle]
"node-99" -> "node-97" [label="from cond_end4"]
"node970" -> "node-97" [style=dashed]
"node-630" [label="ϕ", shape=circle]
"node-632" -> "node-630" [label="from cond_end4"]
"node970" -> "node-630" [style=dashed]
"node-1163" [label="ϕ", shape=circle]
"node-1165" -> "node-1163" [label="from cond_end4"]
"node970" -> "node-1163" [style=dashed]
"node-193" [label="ϕ", shape=circle]
"node-195" -> "node-193" [label="from cond_end7"]
"node874" -> "node-193" [style=dashed]
"node-726" [label="ϕ", shape=circle]
"node-728" -> "node-726" [label="from cond_end7"]
"node874" -> "node-726" [style=dashed]
"node-1259" [label="ϕ", shape=circle]
"node-1261" -> "node-1259" [label="from cond_end7"]
"node874" -> "node-1259" [style=dashed]
"node-152" [label="ϕ", shape=circle]
"node-193" -> "node-152" [label="from cond5"]
"node-189" -> "node-152" [label="from 344"]
"node915" -> "node-152" [style=dashed]
"node-685" [label="ϕ", shape=circle]
"node-726" -> "node-685" [label="from cond5"]
"node-722" -> "node-685" [label="from 344"]
"node915" -> "node-685" [style=dashed]
"node-1218" [label="ϕ", shape=circle]
"node-1259" -> "node-1218" [label="from cond5"]
"node-1255" -> "node-1218" [label="from 344"]
"node915" -> "node-1218" [style=dashed]
"node-650" [label="ϕ", shape=circle]
"node-152" -> "node-650" [label="from unless16"]
"node-132" -> "node-650" [label="from 401"]
"node950" -> "node-650" [style=dashed]
"node-1183" [label="ϕ", shape=circle]
"node-685" -> "node-1183" [label="from unless16"]
"node-665" -> "node-1183" [label="from 401"]
"node950" -> "node-1183" [style=dashed]
"node-1716" [label="ϕ", shape=circle]
"node-1218" -> "node-1716" [label="from unless16"]
"node-1198" -> "node-1716" [label="from 401"]
"node950" -> "node-1716" [style=dashed]
"node-665" [label="ϕ", shape=circle]
"node-152" -> "node-665" [label="from unless16"]
"node935" -> "node-665" [style=dashed]
"node-1198" [label="ϕ", shape=circle]
"node-685" -> "node-1198" [label="from unless16"]
"node935" -> "node-1198" [style=dashed]
"node-1731" [label="ϕ", shape=circle]
"node-1218" -> "node-1731" [label="from unless16"]
"node935" -> "node-1731" [style=dashed]
"node-189" [label="ϕ", shape=circle]
"node-193" -> "node-189" [label="from cond5"]
"node878" -> "node-189" [style=dashed]
"node-722" [label="ϕ", shape=circle]
"node-726" -> "node-722" [label="from cond5"]
"node878" -> "node-722" [style=dashed]
"node-1255" [label="ϕ", shape=circle]
"node-1259" -> "node-1255" [label="from cond5"]
"node878" -> "node-1255" [style=dashed]
"node-153" [label="ϕ", shape=circle]
"node-189" -> "node-153" [label="from 344"]
"node914" -> "node-153" [style=dashed]
"node-686" [label="ϕ", shape=circle]
"node-722" -> "node-686" [label="from 344"]
"node914" -> "node-686" [style=dashed]
"node-1219" [label="ϕ", shape=circle]
"node-1255" -> "node-1219" [label="from 344"]
"node914" -> "node-1219" [style=dashed]
"node-877" [label="ϕ", shape=circle]
"node-444" -> "node-877" [label="from assert10"]
"node723" -> "node-877" [style=dashed]
"node-865" [label="ϕ", shape=circle]
"node-877" -> "node-865" [label="from cond8"]
"node735" -> "node-865" [style=dashed]
"node-1266" [label="ϕ", shape=circle]
"node-865" -> "node-1266" [label="from assert11"]
"node-739" -> "node-1266" [label="from cond14"]
"node867" -> "node-1266" [style=dashed]
"node-1331" [label="ϕ", shape=circle]
"node-865" -> "node-1331" [label="from assert11"]
"node802" -> "node-1331" [style=dashed]
"node-1272" [label="ϕ", shape=circle]
"node-1331" -> "node-1272" [label="from 268"]
"node-742" -> "node-1272" [label="from cond15"]
"node861" -> "node-1272" [style=dashed]
"node-1317" [label="ϕ", shape=circle]
"node-1331" -> "node-1317" [label="from 268"]
"node816" -> "node-1317" [style=dashed]
"node-1275" [label="ϕ", shape=circle]
"node-1317" -> "node-1275" [label="from 282"]
"node-779" -> "node-1275" [label="from 287"]
"node858" -> "node-1275" [style=dashed]
"node-1312" [label="ϕ", shape=circle]
"node-1317" -> "node-1312" [label="from 282"]
"node821" -> "node-1312" [style=dashed]
"node-866" [label="ϕ", shape=circle]
"node-877" -> "node-866" [label="from cond8"]
"node734" -> "node-866" [style=dashed]
"node-611" [label="ϕ", shape=circle]
"node-97" -> "node-611" [label="from cond2"]
"node989" -> "node-611" [style=dashed]
"node-1144" [label="ϕ", shape=circle]
"node-630" -> "node-1144" [label="from cond2"]
"node989" -> "node-1144" [style=dashed]
"node-1677" [label="ϕ", shape=circle]
"node-1163" -> "node-1677" [label="from cond2"]
"node989" -> "node-1677" [style=dashed]
"node-2249" [label="ϕ", shape=circle]
"node-1731" -> "node-2249" [label="from 401"]
"node950" -> "node-2249" [style=dashed]
"node-1799" [label="ϕ", shape=circle]
"node-1272" -> "node-1799" [label="from cond14"]
"node867" -> "node-1799" [style=dashed]
"node-1805" [label="ϕ", shape=circle]
"node-1275" -> "node-1805" [label="from cond15"]
"node861" -> "node-1805" [style=dashed]
"node-1808" [label="ϕ", shape=circle]
"node-1312" -> "node-1808" [label="from 287"]
"node858" -> "node-1808" [style=dashed]
"node-2332" [label="ϕ", shape=circle]
"node-1805" -> "node-2332" [label="from cond14"]
"node867" -> "node-2332" [style=dashed]
"node-2338" [label="ϕ", shape=circle]
"node-1808" -> "node-2338" [label="from cond15"]
"node861" -> "node-2338" [style=dashed]
"node-2865" [label="ϕ", shape=circle]
"node-2338" -> "node-2865" [label="from cond14"]
"node867" -> "node-2865" [style=dashed]
}
