#include<stdio.h>

int main(void){
	int a,b,c,k;

	scanf("%d %d %d %d",&a,&b,&c,&k);

	int ten=0;
	while(k!=0){

		if(a!=0){
			a--;
			ten=ten+1;
		}else if(b!=0){
			b--;
		}else{
			c--;
			ten--;
		}
		printf("[%d][%d][%d][%d]\n",a,b,c,k);

		k--;
	}
	printf("%d",ten);

	return 0;
}
