#include <float.h>
#include <inttypes.h>
#include <limits.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>
#include <unistd.h>
#include <math.h>
#ifdef __cplusplus
#include <bits/stdc++.h>
#endif

char stribuf[4194304];
uint32_t stribufs;

uint32_t nextpint(void){ char c=getchar_unlocked(); while(c<'0'||'9'<c) c=getchar_unlocked(); uint32_t x=0; while('0'<=c && c<='9'){ x=x*10+c-'0'; c=getchar_unlocked(); } return x; }
void printpint(uint32_t x){ int d=0; char s[10]; while(x){ s[d]='0'+x%10; x/=10; d++; } for (int i=d-1; i>=0; i--) stribuf[stribufs++]=s[i]; }
int main(void){
	nextpint();
	uint32_t m=nextpint();
	{
		uint32_t a=m+1;
		for(uint32_t i=m/2; i>0; i--){
			printpint(i);
			stribuf[stribufs++]=32;
			printpint(a-i);
			stribuf[stribufs++]=10;
		}
	}
	{
		uint32_t a=(m+1)*2;
		for(uint32_t i=(m+1)/2; i>0; i--){
			printpint(m+i);
			stribuf[stribufs++]=32;
			printpint(a-i);
			stribuf[stribufs++]=10;
		}
	}
	write(1, stribuf, stribufs);
}


