procedure main(){
	printmodels(allmodels(T,S,Vout))
}