In Stellar Laboratory, in the Transaction Builder tab, the Transaction Sequence Number is required, there is button which gets the next Sequence Number.
Does Stellar Laboratory gets the sequence Number information from the stellar-core database?
If it does, how does it query it, and is it in anyway similar to how a thin-client works in Bitcoin?