Я, владелец авторских прав на это произведение, добровольно публикую его на условиях следующей лицензии:

Этот файл доступен на условиях Creative Commons CC0 1.0 Универсальной передачи в общественное достояние (Universal Public Domain Dedication).

Лица, связанные с работой над этим произведением, решили передать данное произведение в общественное достояние, отказавшись от всех прав на произведение по всему миру в рамках закона об авторских правах (а также связанных и смежных прав), в той степени, которую допускает закон. Вы можете копировать, изменять, распространять, исполнять данное произведение в любых целях, в том числе в коммерческих, без получения на это разрешения автора. http://creativecommons.org/publicdomain/zero/1.0/deed.enCC0Creative Commons Zero, Public Domain Dedicationfalsefalse

filenametemplate "%j-%1c.svg";
prologues:=3;
%linecap:=butt;
linejoin:=mitered;

outputformat := "svg";

beginfig(1);
save u;
u:=1cm;

setbounds currentpicture to (-2.1,-2.1)*u--(-2.1,2.1)*u--(6.1,2.1)*u--(6.1,-2.1)*u--cycle;

z0=(-2,0)*u;
z1=(-1,1)*u;
z2=(-1,2)*u;
z3=(0,2)*u;
z4=(0,1)*u;
z5=(1,1)*u;
z6=(1,0)*u;
z7=(3,0)*u;
z8=(3,1)*u;
z9=(4,1)*u;
z10=(4,2)*u;
z11=(5,1)*u;
z12=(6,1)*u;
z13=(6,0)*u;
z14=(5,0)*u;
z15=(5,-1)*u;
z16=(4,-2)*u;
z17=(4,-1)*u;
z18=(3,-1)*u;
z19=(2,-2)*u;
z20=(2,-1)*u;
z21=(1,-1)*u;
z22=(0,-2)*u;
z23=(0,-1)*u;
z24=(-1,-1)*u;
z25=(-1,0)*u;

draw z0--z1--z2--z3--z4--z5--z6--z7--z8--z9--z10--z11--z12--z13--z14--z15--z16--z17--z18--z19--z20--z21--z22--z23--z24--z25--cycle withpen pencircle ;

drawdot ((0,0)*u) withpen pencircle scaled 4pt withcolor red;
drawdot ((4,0)*u) withpen pencircle scaled 4pt withcolor .5;
endfig;
end