int main(){
	return 42;
}
