Vraagstelling
	Lees de 1ste 3 elementen uit de cijferrij en schrijf dat naar Nak[] en naar uitvoer.

Strategie

Formele probleemspecificatie
	pre: (Invoer = <a0, a1, .., ak>) ^ (2<=k<=9) ^ (Uitvoer = <>)
	post:(Invoer = <a3, a4, .., ak>) ^ (5<=k<=9) ^ (Nak[0 .. 2] = (a0, a1, a2)) ^ (Uitvoer = <a0, a1, a2>)

* Eindrelatie
	R:(Invoer = <a3, a4, .., ak>) ^ (5<=k<=9) ^ (Nak[0 .. 2] = (a0, a1, a2)) ^ (Uitvoer = <a0, a1, a2>)

* Invariant
	I(p):(Invoer = <ap + 1, .., ak>) ^ (Nak[0 .. p] = (a0, .., ap)) ^ (Uitvoer = <a0, .., ap>) ^ (-1<=p<=2)

* Stopcriterium
	p == 2;

Initialisatie
	p = -1;

Stap richting stopcriterium
	P++;

Actie herstel invariant
	// Dit is een beetje vaag en heb ik zelf verzonnen:
	(Nak[0..p-1] = {a0, .., ap-1}) ^ (Nak[p] = {ap}) ^
	(Uitvoer = <a0, .., ap-1>) ^ (Uitvoer = <ap>)


Algoritme

p = -1;
while (p ! = 2){
	p++;
	Nak[p] = Invoer.readlnt( );
	Uitvoer.print(Nak[p]);
}